Search Results (12)

This paper comprehensively examines symmetric difference operators within logical systems generated by nilpotent t-norms and t-conorms, specifically addressing their behavior and applicability in bounded and Łukasiewicz fuzzy logic systems. We identify two distinct symmetric difference operators and analyze their fundamental properties, revealing their inherent non-associativity. Recognizing the limitations posed by non-associative behavior in practical multi-step logical operations, we introduce a novel aggregated symmetric difference operator constructed through the arithmetic mean of the previously defined operators. The primary theoretical contribution of our research is establishing the associativity of this new aggregated operator, significantly enhancing its effectiveness for consistent multi-stage computations. Moreover, this operator retains critical properties including symmetry, neutrality, antitonicity, and invariance under negation, thus making it particularly valuable for various computational and applied domains such as image processing, pattern recognition, fuzzy neural networks, cryptographic schemes, and medical data analysis. The demonstrated theoretical robustness and practical versatility of our associative operator provide a clear improvement over existing methodologies, laying a solid foundation for future research in fuzzy logic and interdisciplinary applications. Our broader aim is to derive and study symmetric difference operators in both bounded and Łukasiewicz systems, as this represents a new direction of research. Full article

This paper investigates the role of solvable and nilpotent Lie algebras in the domains of cryptography and steganography, emphasizing their potential in enhancing security protocols and covert communication methods. In the context of cryptography, we explore their application in public-key infrastructure, secure data verification, and the resolution of commutator-based problems that underpin data protection strategies. In steganography, we examine how the algebraic properties of solvable Lie algebras can be leveraged to embed confidential messages within multimedia content, such as images and video, thereby reinforcing secure communication in dynamic environments. We introduce a key exchange protocol founded on the structural properties of solvable Lie algebras, offering an alternative to traditional number-theoretic approaches. The proposed Lie Exponential Diffie–Hellman Problem (LEDHP) introduces a novel cryptographic challenge based on Lie group structures, offering enhanced security through the complexity of non-commutative algebraic operations. The protocol utilizes the non-commutative nature of Lie brackets and the computational difficulty of certain algebraic problems to ensure secure key agreement between parties. A detailed security analysis is provided, including resistance to classical attacks and discussion of post-quantum considerations. The algebraic complexity inherent to solvable Lie algebras presents promising potential for developing cryptographic protocols resilient to quantum adversaries, positioning these mathematical structures as candidates for future-proof security systems. Additionally, we propose a method for secure message embedding using the Lie algebra in combination with frame deformation techniques in animated objects, offering a novel approach to steganography in motion-based media. Full article

Thestability of a control system is essential for its effective operation. Stability implies that small changes in input, initial conditions, or parameters do not lead to significant fluctuations in output. Various stability properties, such as inner stability, asymptotic stability, and BIBO (Bounded Input, Bounded Output) stability, are well understood for classical linear control systems in Euclidean spaces. This paper aims to thoroughly address the stability problem for a class of linear control systems defined on matrix Lie groups. This approach generalizes classical models corresponding to the latter when the group is Abelian and non-compact. It is important to note that this generalization leads to a very difficult control system, due to the complexity of the state space and the special dynamics resulting from the drift and control vectors. Several mathematical concepts help us understand and characterize stability in the classical case. We first show how to extend these algebraic, topological, and dynamical concepts from Euclidean space to a connected Lie group of matrices. Building on classical results, we identify a pathway that enables us to formulate conjectures about stability in this broader context. This problem is closely linked to the controllability and observability properties of the system. Fortunately, these properties are well established for both classes of linear systems, whether in Euclidean spaces or on Lie groups. We are confident that these conjectures can be proved in future work, initially for the class of nilpotent and solvable groups, and later for semi-simple groups. This will provide valuable insights that will facilitate, through Jouan’s Equivalence Theorem, the analysis of an important class of nonlinear control systems on manifolds beyond Lie groups. We provide an example involving a three-dimensional solvable Lie group of rigid motions in a plane to illustrate these conjectures. Full article

In this paper, two classes of near-Hamiltonian systems with a nilpotent center are considered: the coexistence of algebraic limit cycles and small limit cycles. For the first class of systems, there exist $2n+1$ limit cycles, which include an algebraic limit cycle and $2n$ small limit cycles. For the second class of systems, there exist $\frac{n^2+3n+2}{2}$ limit cycles, including an algebraic limit cycle and $\frac{n^2+3n}{2}$ small limit cycles. Full article

In this paper, we consider the influence of a nonlinear contact rate caused by multiple contacts in classical SIR model. In this paper, we unversal unfolding a nilpotent cusp singularity in such systems through normal form theory, we reveal that the system undergoes a Bogdanov-Takens bifurcation with codimension 2. During the bifurcation process, numerous lower codimension bifurcations may emerge simultaneously, such as saddle-node and Hopf bifurcations with codimension 1. Finally, employing the Matcont and Phase Plane software, we construct bifurcation diagrams and topological phase portraits. Additionally, we emphasize the role of symmetry in our analysis. By considering the inherent symmetries in the system, we provide a more comprehensive understanding of the dynamical behavior. Our findings suggest that if this occurrence rate is applied to the SIR model, it would yield different dynamical phenomena compared to those obtained by reducing a 3-dimensional dynamical model to a planar system by neglecting the disease mortality rate, which results in a stable nilpotent cusp singularity with codimension 2. We found that in SIR models with the same occurrence rate, both stable and unstable Bogdanov-Takens bifurcations occur, meaning both stable and unstable limit cycles appear in this system. Full article

Cayley and nilpotent graphs arise from the interaction between graph theory and algebra and are used to visualize the structures of some algebraic objects as groups and commutative rings. On the other hand, Green and Schroll introduced Brauer graph algebras and Brauer configuration algebras to investigate the algebras of tame and wild representation types. An appropriated system of multisets (called a Brauer configuration) induces these algebras via a suitable bounded quiver (or bounded directed graph), and the combinatorial properties of such multisets describe corresponding indecomposable projective modules, the dimensions of the algebras and their centers. Undirected graphs are examples of Brauer configuration messages, and the description of the related data for their induced Brauer configuration algebras is said to be the Brauer analysis of the graph. This paper gives closed formulas for the dimensions of Brauer configuration algebras (and their centers) induced by Cayley and nilpotent graphs defined by some finite groups and finite commutative rings. These procedures allow us to give examples of Hamiltonian digraph constructions based on Cayley graphs. As an application, some quantum entangled states (e.g., Greenberger–Horne–Zeilinger and Dicke states) are described and analyzed as suitable Brauer messages. Full article

This article proposes a comprehensive stable control strategy for the planar multi-link underactuated manipulator (PMLUM), considering several uncertainties. According to the nilpotent approximation property, the control procedure is split into two stages. In the first stage of control, we postulate the idea of model degradation, reducing the PMLUM to a planar virtual Pendubot (PVP). This occurs by controlling the active link (AL) to a specific desired position and the passive link (PL) moves along with it. When the AL moves to the desired position, the second phase of control is entered. Meanwhile, all ALs are regarded as a whole, so the PMLUM can be regarded as a mechanical arm with 2-DOF. In the second stage of control, due to the nilpotent approximation feature of the PVP, the PVP is guided to the desired angle using the iterative steering technique. Simulation experiments are carried out on active–active–passive (AAP) and active–active–active–passive (AAAP) systems under major uncertainties, which contain initial velocity and torque disturbances. The final results validate the effectiveness of the method proposed. Full article

The limit cycles have a main role in understanding the dynamics of planar differential systems, but their study is generally challenging. In the last few years, there has been a growing interest in researching the limit cycles of certain classes of piecewise differential systems due to their wide uses in modeling many natural phenomena. In this paper, we provide the upper bounds for the maximum number of crossing limit cycles of certain classes of discontinuous piecewise differential systems (simply PDS) separated by a straight line and consequently formed by two differential systems. A linear plus cubic polynomial forms six families of Hamiltonian nilpotent centers. First, we study the crossing limit cycles of the PDS formed by a linear center and one arbitrary of the six Hamiltonian nilpotent centers. These six classes of PDS have at most one crossing limit cycle, and there are systems in each class with precisely one limit cycle. Second, we study the crossing limit cycles of the PDS formed by two of the six Hamiltonian nilpotent centers. There are systems in each of these 21 classes of PDS that have exactly four crossing limit cycles. Full article

The idea of a canonical ensemble from Gibbs has been extended by Jean-Marie Souriau for a symplectic manifold where a Lie group has a Hamiltonian action. A novel symplectic thermodynamics and information geometry known as “Lie group thermodynamics” then explains foliation structures of thermodynamics. We then infer a geometric structure for heat equation from this archetypal model, and we have discovered a pure geometric structure of entropy, which characterizes entropy in coadjoint representation as an invariant Casimir function. The coadjoint orbits form the level sets on the entropy. By using the KKS 2-form in the affine case via Souriau’s cocycle, the method also enables the Fisher metric from information geometry for Lie groups. The fact that transverse dynamics to these symplectic leaves is dissipative, whilst dynamics along these symplectic leaves characterize non-dissipative phenomenon, can be used to interpret this Lie group thermodynamics within the context of an open system out of thermodynamics equilibrium. In the following section, we will discuss the dissipative symplectic model of heat and information through the Poisson transverse structure to the symplectic leaf of coadjoint orbits, which is based on the metriplectic bracket, which guarantees conservation of energy and non-decrease of entropy. Baptiste Coquinot recently developed a new foundation theory for dissipative brackets by taking a broad perspective from non-equilibrium thermodynamics. He did this by first considering more natural variables for building the bracket used in metriplectic flow and then by presenting a methodical approach to the development of the theory. By deriving a generic dissipative bracket from fundamental thermodynamic first principles, Baptiste Coquinot demonstrates that brackets for the dissipative part are entirely natural, just as Poisson brackets for the non-dissipative part are canonical for Hamiltonian dynamics. We shall investigate how the theory of dissipative brackets introduced by Paul Dirac for limited Hamiltonian systems relates to transverse structure. We shall investigate an alternative method to the metriplectic method based on Michel Saint Germain’s PhD research on the transverse Poisson structure. We will examine an alternative method to the metriplectic method based on the transverse Poisson structure, which Michel Saint-Germain studied for his PhD and was motivated by the key works of Fokko du Cloux. In continuation of Saint-Germain’s works, Hervé Sabourin highlights the, for transverse Poisson structures, polynomial nature to nilpotent adjoint orbits and demonstrated that the Casimir functions of the transverse Poisson structure that result from restriction to the Lie–Poisson structure transverse slice are Casimir functions independent of the transverse Poisson structure. He also demonstrated that, on the transverse slice, two polynomial Poisson structures to the symplectic leaf appear that have Casimir functions. The dissipative equation introduced by Lindblad, from the Hamiltonian Liouville equation operating on the quantum density matrix, will be applied to illustrate these previous models. For the Lindblad operator, the dissipative component has been described as the relative entropy gradient and the maximum entropy principle by Öttinger. It has been observed then that the Lindblad equation is a linear approximation of the metriplectic equation. Full article

In some of the physically interesting gauge systems, we show that the application of the Noether theorem does not lead to the deduction of the Becchi–Rouet–Stora–Tyutin (BRST) and anti-BRST charges that obey precisely the off-shell nilpotency property despite the fact that these charges are $\left(i\right)$ derived by using the off-shell nilpotent (anti-)BRST symmetry transformations, $\left(ii\right)$ found to be the generators of the above continuous symmetry transformations, and $\left(iii\right)$ conserved with respect to the time-evolution due to the Euler–Lagrange equations of motion derived from the Lagrangians/Lagrangian densities (that describe the dynamics of these suitably chosen physical systems). We propose a systematic method for the derivation of the off-shell nilpotent (anti-)BRST charges from the corresponding non-nilpotent Noether (anti-)BRST charges. To corroborate the sanctity and preciseness of our proposal, we take into account the examples of $\left(i\right)$ the one (0 + 1)-dimensional (1D) system of a massive spinning (i.e., SUSY) relativistic particle, $\left(ii\right)$ the D-dimensional non-Abelian one-form gauge theory, and $\left(iii\right)$ the Abelian two-form and the St$\ddot{u}$ckelberg-modified version of the massive Abelian three-form gauge theories in any arbitrary D-dimension of spacetime. Our present endeavor is a brief review where some decisive proposals have been made and a few novel results have been obtained as far as the nilpotency property is concerned. Full article

This paper explains a method of constructing algebras, starting with the properties of discrimination in elementary discrete systems. We show how to use points of view about these systems to construct what we call iterant algebras and how these algebras naturally give rise to the complex numbers, Clifford algebras and matrix algebras. The paper discusses the structure of the Schrödinger equation, the Dirac equation and the Majorana Dirac equations, finding solutions via the nilpotent method initiated by Peter Rowlands. Full article

We study two nilpotent affine control systems derived from the dynamic and control of a vertical rolling disc that is a simplification of a differential drive wheeled mobile robot. For both systems, their controllable Lie algebras are calculated and optimal control problems are formulated, and their Hamiltonian systems of ODEs are derived using the Pontryagin maximum principle. These optimal control problems completely determine the energetically optimal trajectories between two states. Then, a novel numerical algorithm based on optimisation for finding the Maxwell points is presented and tested on these control systems. The results show that the use of such numerical methods can be beneficial in cases where common analytical approaches fail or are impractical. Full article