Sign in to use this feature.

Years

Between: -

Subjects

remove_circle_outline
remove_circle_outline
remove_circle_outline
remove_circle_outline
remove_circle_outline
remove_circle_outline
remove_circle_outline
remove_circle_outline
remove_circle_outline

Journals

Article Types

Countries / Regions

Search Results (142)

Search Parameters:
Keywords = idempotents

Order results
Result details
Results per page
Select all
Export citation of selected articles as:
31 pages, 5940 KB  
Article
Hierarchies of Arnold Tongues Generated by High-Dimensional Nilpotent Matrices
by Rasa Smidtaite, Ugne Orinaite and Minvydas Ragulskis
Fractal Fract. 2026, 10(6), 400; https://doi.org/10.3390/fractalfract10060400 - 11 Jun 2026
Viewed by 172
Abstract
Arnold tongues are wedge-shaped regions in parameter space associated with mode locking and synchronization phenomena in nonlinear dynamical systems. The Caputo fractional standard map extends the classical standard map by incorporating long-memory effects through fractional derivatives and is known to generate Arnold tongue [...] Read more.
Arnold tongues are wedge-shaped regions in parameter space associated with mode locking and synchronization phenomena in nonlinear dynamical systems. The Caputo fractional standard map extends the classical standard map by incorporating long-memory effects through fractional derivatives and is known to generate Arnold tongue structures as the fractionality parameter approaches unity. In this paper, we investigate the fractional standard map applied to matrix-valued state variables, with particular emphasis on systems governed by high-dimensional nilpotent matrices. We show that the interplay between fractional memory and nilpotent algebra produces hierarchical families of Arnold tongues associated with divergent dynamics. This phenomenon is not observed in either the classical standard map or the non-fractional standard map of nilpotent matrices alone. For idempotent matrices, the fractional standard map retains the same level of dynamical complexity as its scalar counterpart. For nilpotent matrices, higher-order terms induce coupling between the map coefficients, giving rise to substantially richer dynamical behavior. This combination of fractional memory and nilpotent algebra provides a systematic framework for studying higher-dimensional nonlinear dynamics beyond the scalar setting. To support numerical investigations, an efficient computational scheme for the auxiliary parameters is derived and calibrated using the H-rank algorithm, which provides a concise measure of algebraic complexity in sequences generated by dynamical systems. Numerical simulations reveal hierarchical structures of Arnold tongues of divergence together with characteristic divergence rates of the auxiliary parameters. The hierarchical level of a given auxiliary parameter is identified as a key quantity determining the algebraic complexity of the transient dynamics, with potential implications for information encoding in applications exploiting transient dynamical processes. Full article
(This article belongs to the Special Issue Nonlinear Fractional Maps: Dynamics and Control)
Show Figures

Figure 1

17 pages, 306 KB  
Article
Idempotent Symmetry and Monogenic Functions in a Commutative Bicomplex-Type Algebra
by Ji Eun Kim
Symmetry 2026, 18(6), 998; https://doi.org/10.3390/sym18060998 - 10 Jun 2026
Viewed by 185
Abstract
Let A={p+Jq:p,qC,J2=1} be the commutative bicomplex-type algebra in which J commutes with the scalar imaginary unit. A Cauchy–Riemann-type operator D¯ is studied on [...] Read more.
Let A={p+Jq:p,qC,J2=1} be the commutative bicomplex-type algebra in which J commutes with the scalar imaginary unit. A Cauchy–Riemann-type operator D¯ is studied on domains in C2. In the active coordinates ξ=z1iz2 and η=z1+iz2, the equation D¯f=0 is diagonal in the idempotent basis: the e+-component is holomorphic in ξ with η as the parameter, while the e-component is holomorphic in η with ξ as the parameter. The expression e+F(ξ)+eG(η) is the parameter-independent subcase. From this decomposition, one obtains a slice characterization, a criterion for separatedness, a comparison with ordinary holomorphic functions of two complex variables, active-variable Cauchy formulas and estimates, local series with parameter-dependent coefficients, reflection symmetry, and Hardy and Bergman kernel lifts on the separated Hilbert spaces. Full article
(This article belongs to the Special Issue Symmetry in Complex Analysis Operators Theory)
39 pages, 5826 KB  
Article
Bonferroni Mean-Based Aggregation Operators on q-Rung Picture Fuzzy Sets for Multi-Criteria Decision Making in Energy Storage Systems
by Ahmet Sarucan, Evrencan Özcan and Büşra Güler
Symmetry 2026, 18(6), 966; https://doi.org/10.3390/sym18060966 - 3 Jun 2026
Viewed by 172
Abstract
Selecting the right energy storage system (ESS) for grid integration is a high-stakes decision involving conflicting technical, economic, environmental, and risk criteria under deep uncertainty. The existing fuzzy multi-criteria decision-making (MCDM) methods either fail to capture neutral or abstaining expert judgments or treat [...] Read more.
Selecting the right energy storage system (ESS) for grid integration is a high-stakes decision involving conflicting technical, economic, environmental, and risk criteria under deep uncertainty. The existing fuzzy multi-criteria decision-making (MCDM) methods either fail to capture neutral or abstaining expert judgments or treat evaluation criteria as independent, which is an unrealistic assumption in complex engineering decisions. To address both limitations simultaneously, this study develops four new aggregation operators by extending the Bonferroni mean (BM) into the q-rung picture fuzzy sets (q-RPFSs) framework: the q-RPFBM-based, q-RPFWBM-based, q-RPFGBM-based, and q-RPFWGBM-based operators. Unlike the existing q-RPFS operator families (Dombi, Frank, Fermatean, Yager, Maclaurin), which aggregate criteria independently, BM-based operators explicitly model pairwise interactions among criteria with a structurally distinct aggregation logic that is especially critical when criteria such as cost, risk, reliability, and environmental impact are mutually correlated. The theoretical validity of the operators is confirmed through proofs of idempotency, monotonicity, and boundedness. Applied to a comprehensive ESS selection problem for Türkiye (covering nine alternatives across nineteen sub-criteria and five main criteria, including an explicit risk dimension), the framework consistently identifies pumped hydro storage as the optimal choice. Sensitivity analyses under varying q, s, and t parameters, as well as perturbed criterion weights, confirm the robustness of this ranking. The proposed framework offers energy planners and decision-makers a principled and transparent tool for evaluating ESS under high uncertainty and criterion interdependence. Full article
Show Figures

Figure 1

14 pages, 282 KB  
Article
An Idempotent-Based Generalization of Semicommutative Rings
by Muhammad Saad and Majed Zailaee
Mathematics 2026, 14(11), 1837; https://doi.org/10.3390/math14111837 - 25 May 2026
Viewed by 223
Abstract
We introduce and study several new classes of rings defined by idempotent conditions. A ring R is called i-semicommutative if (1ab)aRb(1ab)=0 whenever ab is a nonzero [...] Read more.
We introduce and study several new classes of rings defined by idempotent conditions. A ring R is called i-semicommutative if (1ab)aRb(1ab)=0 whenever ab is a nonzero idempotent. This property lies strictly between semicommutativity and i-reversibility (where ab nonzero idempotent forces ba idempotent). We also define i-reduced rings (if a2 is a nonzero idempotent then a3=a) and i-domains (if ab is a nonzero idempotent then aI(b) or bI(a)). Basic properties are established, including closure under subrings, behaviour of corners, and connections with classical ring concepts. We characterize these properties for triangular matrix rings and for full matrix rings over commutative rings. Several examples illustrate the independence of the new notions from abelian, reversible and semicommutative rings. Open questions are posed concerning direct finiteness and matrix rings over noncommutative rings. Full article
19 pages, 324 KB  
Article
On Weak e-Reflexive Rings and Their Nil Extensions
by Awn Alqahtani, Eltiyeb Ali and Khalid I. A. Ahmed
Axioms 2026, 15(6), 396; https://doi.org/10.3390/axioms15060396 - 25 May 2026
Viewed by 227
Abstract
In this work, we establish the relationships between weak e-reversibility and weak e-semicommutativity, introducing weak e-reflexive rings as a natural generalization of reflexive and e-reflexive rings. We demonstrate that, under specific conditions, weak e-reflexivity and weak e-reversibility [...] Read more.
In this work, we establish the relationships between weak e-reversibility and weak e-semicommutativity, introducing weak e-reflexive rings as a natural generalization of reflexive and e-reflexive rings. We demonstrate that, under specific conditions, weak e-reflexivity and weak e-reversibility coincide in Baer rings, and we provide characterizations via corner subrings and semicentral idempotents. Furthermore, we introduce e-nilpotent reflexive rings and examine their structural stability and connections within the class of generalized reflexive rings. A comprehensive analysis is provided regarding the behavior of these properties under polynomial and Dorroh extensions, as well as within matrix rings and quotient structures. Full article
(This article belongs to the Section Algebra and Number Theory)
40 pages, 472 KB  
Article
Fractional Fuzzy Tensor-Based Bonferroni Aggregation Operators and Their Application in Cloudburst Disaster Management in Northern Pakistan
by Muhammad Bilal, A. K. Alzahrani and A. K. Aljahdali
Fractal Fract. 2026, 10(5), 333; https://doi.org/10.3390/fractalfract10050333 - 14 May 2026
Viewed by 363
Abstract
The growing complexity of modern decision-making environments, characterized by multi-dimensional data, uncertainty, and dynamic behavior, demands advanced mathematical frameworks for effective information aggregation. Although fractional fuzzy tensor (FFT) models provide a powerful tool for representing such complex systems by integrating fuzzy logic, tensor [...] Read more.
The growing complexity of modern decision-making environments, characterized by multi-dimensional data, uncertainty, and dynamic behavior, demands advanced mathematical frameworks for effective information aggregation. Although fractional fuzzy tensor (FFT) models provide a powerful tool for representing such complex systems by integrating fuzzy logic, tensor structures, and fractional dynamics, the lack of suitable aggregation mechanisms significantly limits their practical applicability. To address this challenge, this paper proposes a novel family of Bonferroni mean-based aggregation operators within the fractional fuzzy tensor environment. The proposed framework extends the classical Bonferroni mean to multi-dimensional fractional fuzzy settings, enabling the effective modeling of interrelationships among criteria while preserving the structural and dynamic properties of FFTs. Specifically, four aggregation operators—namely, the fractional fuzzy tensor Bonferroni mean (FFT-BM), weighted Bonferroni mean (FFT-WBM), ordered Bonferroni mean (FFT-OBM), and hybrid Bonferroni mean (FFT-HBM)—are systematically developed. A comprehensive theoretical analysis is conducted to investigate fundamental properties such as idempotency, monotonicity, boundedness, commutativity, and stability, thereby establishing the mathematical consistency and reliability of the proposed operators. Furthermore, a structured multi-criteria decision-making (MCDM) algorithm is formulated, incorporating tensor construction, aggregation, evaluation, and sensitivity analysis phases to handle complex uncertain information effectively. To demonstrate the practical applicability of the proposed framework, a real-world case study related to disaster management decision-making is presented. The results are further validated through quantitative comparative analysis with classical and recent aggregation operators, revealing improved discrimination power, robustness, and ranking consistency. Additionally, sensitivity analysis confirms the stability of the proposed approach under varying parameters. The findings indicate that the proposed Bonferroni mean-based aggregation framework significantly enhances the capability of FFT models in handling high-dimensional, uncertain, and dynamic decision-making problems. This study not only strengthens the theoretical foundation of aggregation in tensor-based fuzzy environments but also provides a flexible and reliable decision-support tool for complex real-world applications. Full article
(This article belongs to the Section Complexity)
24 pages, 2079 KB  
Article
Advances in Near Soft Sets and Their Applications in Similarity-Based Decision Making
by Alkan Özkan, James Peters, Faruk Özger, Metin Duman and Merve Ersoy
Symmetry 2026, 18(4), 611; https://doi.org/10.3390/sym18040611 - 4 Apr 2026
Viewed by 612
Abstract
In this study, a generalized and advanced form of the near soft set theory (NST) framework is proposed for information aggregation (IA) processes. The primary motivation of the study is to address the lack of similarity-based uncertainty modeling in the literature by integrating [...] Read more.
In this study, a generalized and advanced form of the near soft set theory (NST) framework is proposed for information aggregation (IA) processes. The primary motivation of the study is to address the lack of similarity-based uncertainty modeling in the literature by integrating the parametric structure of soft sets with the similarity-oriented structure of nearness approximation spaces. Within this framework, the AND-product and OR-product operations are introduced as the main methodological tools, and their algebraic structures are analyzed in detail. It is mathematically demonstrated that these operations satisfy fundamental properties such as idempotency, absorption, distributivity, and De Morgan identities. The principal original contribution of the study is the development of a novel Uni–Int-based decision-making mechanism that enables the systematic distinction between strong and acceptable alternatives. In addition, the boundary frequency indicator (br), which quantitatively evaluates the reliability of objects under perceptual uncertainty and is introduced for the first time in the literature, is proposed. The applicability of the proposed model is demonstrated through a real-estate selection problem, and a sensitivity analysis is conducted to reveal the determining effect of the nearness parameter r on decision granularity. The obtained findings indicate that the proposed NST framework provides a more flexible, more discriminative, and structurally robust decision-support model than classical approaches, particularly for similarity-based IA problems. Full article
(This article belongs to the Section Mathematics)
Show Figures

Figure 1

37 pages, 1077 KB  
Article
Is Idempotence “More Fundamental” than Non-Contradiction?
by Odysseus Makridis
Logics 2026, 4(2), 4; https://doi.org/10.3390/logics4020004 - 1 Apr 2026
Viewed by 509
Abstract
We undertake a thorough examination of George Boole’s claim that, as he discovered by means of his algebra, the law of idempotence is “more fundamental” than the law of non-contradiction (The Laws of Thought, Chapter III, Proposition IV). There is a [...] Read more.
We undertake a thorough examination of George Boole’s claim that, as he discovered by means of his algebra, the law of idempotence is “more fundamental” than the law of non-contradiction (The Laws of Thought, Chapter III, Proposition IV). There is a paucity of sources investigating this subject (with a notable exception being (Béziau 2018)). We query Boole’s claim; we examine if and how we can make sense of it; we identify the notable Aristotelian precedent of philosophical reflections on relative fundamentality of logical principles; and we inquire as to what philosophical view of logic is consistent with Boole’s way of thinking about logical principles. Boole’s thinking is apparently burdened by a metaphysically laden view of logic. We argue in detail that it is a radically different way of thinking about logic—a formalist view that regards logic as manipulation of symbolic resources, congenial to logical positivism—which allows us to make some tentative sense of claims about relative fundamentality of logical laws, insofar as we can define such a notion in a meaningful way. However, on the other hand, entanglements in metaphysically laden phantasmagorias fail to support (or perhaps even fail to make sense of) Boole’s claim. In order to substantiate the metalogical and philosophical–logical claims, we advance and construct formal derivations within different Boolean languages with a view to showing how idempotence is primary in some formal systems, but it is derivable (from non-contradiction) in other systems. Hence, Boole’s claim, as we can make sense of it (as relative derivability), is language-dependent, and we argue that this is consistent with a certain philosophical view of what logic is. Full article
13 pages, 308 KB  
Article
Generalized Open Sets and Closure Operators via Point-to-Neighborhood Assignments
by Ahu Açıkgöz
Mathematics 2026, 14(6), 1013; https://doi.org/10.3390/math14061013 - 17 Mar 2026
Viewed by 564
Abstract
We equip a topological space (X,τ) with a function a:Xτ satisfying the single axiom xa(x). The resulting triple (X,τ,a), which we call [...] Read more.
We equip a topological space (X,τ) with a function a:Xτ satisfying the single axiom xa(x). The resulting triple (X,τ,a), which we call an aura topological space, provides a point-to-open-set assignment that differs from all existing auxiliary structures in topology—ideals, filters, grills, primals, and the various non-classical frameworks based on fuzzy, soft, or neutrosophic sets. The aura-closure operator cla(A)={xX:a(x)A} is shown to be an additive Čech closure operator; it satisfies extensivity, monotonicity, and finite additivity, but idempotency fails in general. Iterating cla transfinitely yields a Kuratowski closure whose topology τa satisfies τa=τaτ, where τa is the collection of all a-open sets. We introduce a-semi-open, a-pre-open, a-α-open, and a-β-open sets, determine the complete hierarchy among these classes and their classical counterparts, and separate all non-coinciding classes by counterexamples on finite spaces as well as on the real line. The notions of a-convergence of sequences and the corresponding continuity notions and their decompositions are studied. Separation axioms a-Ti(i = 0, 1, 2) are introduced, and it is proved that a-T1 and a-T2 are equivalent. A detailed comparison with ideals, filters, grills, and primals highlights the distinctive features of the aura framework. Full article
(This article belongs to the Section B: Geometry and Topology)
17 pages, 332 KB  
Article
Fibonacci-Weighted Bicomplex Hardy Spaces: Reproducing Kernels, Shift Bounds, and Germ Sheaves
by Ji Eun Kim
Mathematics 2026, 14(6), 936; https://doi.org/10.3390/math14060936 - 10 Mar 2026
Viewed by 343
Abstract
Motivated by the fact that the Fibonacci sequence is the simplest nontrivial second-order recurrence with a rational generating function, we develop a Fibonacci-weighted Hardy theory for bicomplex holomorphic functions. Starting from the coefficient norm [...] Read more.
Motivated by the fact that the Fibonacci sequence is the simplest nontrivial second-order recurrence with a rational generating function, we develop a Fibonacci-weighted Hardy theory for bicomplex holomorphic functions. Starting from the coefficient norm n0|an|2/Fn+1, we obtain a bicomplex Hilbert module whose reproducing kernel is governed by (1tt2)1 and whose maximal disk of holomorphy is determined sharply by the nearest kernel singularity, giving the radius ρF=φ1/2 (the square-root inverse of the golden ratio φ). The arithmetic recurrence makes several objects fully explicit: we derive closed formulas for the kernels through the idempotent decomposition of BC, compute exact norms of the shift powers and a golden-ratio spectral radius, and package the local theory into a sheaf of Fibonacci-holomorphic germs that are compatible with the bicomplex idempotent splitting. We also treat (p,q)-Fibonacci weights, obtaining a one-parameter family of rational kernels (1ptqt2)1 and corresponding operator bounds. In addition to providing a concrete bicomplex model within weighted Hardy theory, the resulting explicit kernels furnish benchmark examples for kernel-based interpolation and for the operator theory of unilateral weighted shifts. Full article
(This article belongs to the Section C1: Difference and Differential Equations)
Show Figures

Figure 1

52 pages, 661 KB  
Article
Graph-Theoretic Idealization of Semigroups via Bruck-Reilly Extensions
by Suha Wazzan and David A. Oluyori
Mathematics 2026, 14(5), 891; https://doi.org/10.3390/math14050891 - 5 Mar 2026
Viewed by 561
Abstract
This paper establishes a graph-theoretic framework for idealization semigroups arising from Bruck–Reilly extensions. Building on a recent study by Wazzan and Ozalan, we introduce five graph families—ΓE, Γ0, ΓCay, ΓK, and [...] Read more.
This paper establishes a graph-theoretic framework for idealization semigroups arising from Bruck–Reilly extensions. Building on a recent study by Wazzan and Ozalan, we introduce five graph families—ΓE, Γ0, ΓCay, ΓK, and Γ(Gk)—each encoding a distinct algebraic facet of SBi()B. We prove explicit correspondences linking combinatorial invariants to algebraic structure: diameter captures generating efficiency and semilattice height; girth signals short relations; chromatic number bounds idempotent cardinalities and D-class counts; clique number measures maximal commuting subsets; and Laplacian spectra encode ideal size and Schützenberger groups. Our central result demonstrates that Green’s relations are combinatorially recoverable from graph pairs. For commutative SBi()B, (ΓE,ΓK) uniquely determines J-order, D-classes, and H-classes via neighborhood inclusions, bipartite components, and automorphism orbits, yielding the first algorithmic reconstruction of ideal-theoretic structure from graph data. The framework is implemented in SageMath as a reproducible open-source toolkit validated on concrete examples. This work synthesizes algebraic graph theory, semigroup theory, and computational mathematics into a unified algebraic-combinatorial dictionary, providing both new analytical tools and a methodological template for studying algebraic constructions via graph invariants. Full article
(This article belongs to the Special Issue New Perspectives of Graph Theory and Combinatorics)
Show Figures

Figure 1

25 pages, 390 KB  
Article
On Enumeration and Distance Bounds of Double-Circulant Codes over a Semi-Local Ring
by Sami H. Saif and Alhanouf Ali Alhomaidhi
Symmetry 2026, 18(3), 418; https://doi.org/10.3390/sym18030418 - 27 Feb 2026
Viewed by 299
Abstract
We study double-circulant codes over a class of semi-local rings arising from the idempotent construction R=Zp2+uZp2, where u2=u, and p is an odd prime. Although both algebraic settings considered [...] Read more.
We study double-circulant codes over a class of semi-local rings arising from the idempotent construction R=Zp2+uZp2, where u2=u, and p is an odd prime. Although both algebraic settings considered admit this presentation, they correspond to two distinct rings depending on whether the additional relation pu=0 is imposed or not. These two configurations induce different ideal lattices and symmetry properties, which play a decisive role in the structure and enumeration of codes. Exploiting the Chinese Remainder Theorem, we describe self-dual and linear complementary dual (LCD) double-circulant codes in a unified, componentwise manner. Exact enumeration formulas are derived by reducing the corresponding duality constraints to norm equations over finite fields and unramified Galois extensions of Zp2. We further construct explicit Fp-linear Gray maps from R2n to Fp6n in the degenerate case pu=0 and to Fp8n in the standard case pu0, and show that these maps preserve self-duality and the LCD property. Assuming a standard primitive-root hypothesis on the code length, as predicted by Artin’s primitive root conjecture, we establish asymptotic existence bounds for the Gray images of both LCD and self-dual double-circulant codes via a probabilistic argument. The degenerate case pu=0 yields a shorter Gray expansion and a stronger self-dual entropy threshold, while the case pu0 leads to a larger self-dual ensemble with distinct asymptotic characteristics. Full article
(This article belongs to the Section Mathematics)
Show Figures

Figure 1

20 pages, 317 KB  
Article
The Moore–Penrose Inverse and Product Decomposition of Idempotent Operators on Hilbert C*-Modules
by Wei Luo
Axioms 2026, 15(2), 141; https://doi.org/10.3390/axioms15020141 - 14 Feb 2026
Viewed by 463
Abstract
We study the Moore–Penrose inverse of idempotent operators on Hilbert C*-modules. First, we extend the computation of the Moore–Penrose inverse of an idempotent operator and its difference from the range projection to this setting. This leads to an explicit formula for [...] Read more.
We study the Moore–Penrose inverse of idempotent operators on Hilbert C*-modules. First, we extend the computation of the Moore–Penrose inverse of an idempotent operator and its difference from the range projection to this setting. This leads to an explicit formula for the Moore–Penrose inverse of the sum of an idempotent and its adjoint. Furthermore, we establish a decomposition of an idempotent operator into a product of two commuting idempotents and clarify the relationship between their Moore–Penrose inverses and that of the original operator. We also analyze spectral properties and operator norms, obtaining sharp norm bounds. Full article
(This article belongs to the Section Mathematical Analysis)
24 pages, 5682 KB  
Article
An Ontology-Driven Digital Twin for Hotel Front Desk: Real-Time Integration of Wearables and OCC Camera Events via a Property-Defined REST API
by Moises Segura-Cedres, Desiree Manzano-Farray, Carmen Lidia Aguiar-Castillo, Rafael Perez-Jimenez, Vicente Matus Icaza, Eleni Niarchou and Victor Guerra-Yanez
Electronics 2026, 15(3), 567; https://doi.org/10.3390/electronics15030567 - 28 Jan 2026
Cited by 2 | Viewed by 1017
Abstract
This article presents an ontology-driven Digital Twin (DT) for hotel front-desk operations that fuses two real-time data streams: (i) physiological and activity signals from wrist-worn wearables assigned to staff, and (ii) 3D people-positioning and occupancy events captured by reception-area cameras using a proprietary [...] Read more.
This article presents an ontology-driven Digital Twin (DT) for hotel front-desk operations that fuses two real-time data streams: (i) physiological and activity signals from wrist-worn wearables assigned to staff, and (ii) 3D people-positioning and occupancy events captured by reception-area cameras using a proprietary implementation of Optical Camera Communication (OCC). Building on a previously proposed front-desk ontology, the semantic model is extended with positional events, zone semantics, and wearable-derived workload indices to estimate queue state, staff workload, and service demand in real time. A vendor-agnostic, property-based REST API specifies the DT interface in terms of observable properties, including authentication and authorization, idempotent ingestion, timestamp conventions, version negotiation, integrity protection for signed webhooks, rate limiting and backoff, pagination and filtering, and privacy-preserving identifiers, enabling any compliant backend to implement the specification. The proposed layered architecture connects ingestion, spatial reasoning, and decision services to dashboards and key performance indicators (KPIs). This article details the positioning pipeline (calibration, normalized 3D coordinates, zone mapping, and confidence handling), the wearable workload pipeline, and an evaluation protocol covering localization error, zone classification, queue-length estimation, and workload accuracy. The results indicate that a spatially aware, ontology-based DT can support more balanced staff allocation and improved guest experience while remaining technology-agnostic and privacy-conscious. Full article
Show Figures

Figure 1

31 pages, 388 KB  
Article
Truncating and Shifting Weights for Max-Plus Automata
by Jelena Matejić, Miroslav Ćirić, Jelena Ignjatović and Ivana Micić
Axioms 2026, 15(1), 79; https://doi.org/10.3390/axioms15010079 - 22 Jan 2026
Viewed by 469
Abstract
In this paper, for any real number λ, we transform the complete max-plus semiring R into a commutative, complete, additively idempotent semiring Rλ, called the lower λ-truncation of R. It is obtained by removing from R [...] Read more.
In this paper, for any real number λ, we transform the complete max-plus semiring R into a commutative, complete, additively idempotent semiring Rλ, called the lower λ-truncation of R. It is obtained by removing from R all real numbers smaller than λ, inheriting the addition operation, shifting the original products by −λ, and appropriately modifying the residuum operation. The purpose of lower truncations is to transfer the iterative procedures for computing the greatest presimulations and prebisimulations between max-plus automata, in cases where they cannot be completed in a finite number of iterations over R, to Rλ, where they could terminate in a finite number of iterations. For instance, we prove that this necessarily happens when working with max-plus automata with integer weights. We also show how presimulations and prebisimulations computed over Rλ can be transformed into presimulations and prebisimulations between the original automata over R. Although they do not play a significant role from the standpoint of computing presimulations and prebisimulations, for theoretical reasons we also introduce two types of upper truncations of the complete max-plus semiring R. Full article
Back to TopTop