Search Results (8)

This work establishes a complete algebraic classification of hypersurfaces with totally symmetric cubic form, including the Codazzi, parallel, and totally geodesic cases, on the 4-dimensional 3-step nilpotent Lie group $Ni{l}^4$ endowed with six left-invariant Lorentzian metrics. Combined with prior results, we achieve a complete classification of such hypersurfaces on 4-dimensional nilpotent Lie groups. The core of our approach lies in the explicit derivation and solution of the Codazzi tensor equations, which directly leads to the construction of these hypersurfaces and provides their explicit parametrizations. Our main results establish the existence of Codazzi hypersurfaces on $Ni{l}^4$, demonstrate the non-existence of totally geodesic hypersurfaces, specify the algebraic condition for a Codazzi hypersurface to become parallel, and provide their explicit parametrizations. This observation highlights fundamental differences between Lorentzian and Riemannian settings within hypersurface theory. This work thus clarifies the distinct geometric properties inherent to the Lorentzian cases on nilpotent Lie groups. Full article

This work investigates the stability analysis of linear control systems defined on Lie groups, with a particular focus on low-dimensional cases. Unlike their Euclidean counterparts, such systems evolve on manifolds with non-Euclidean geometry, where trajectories respect the group’s intrinsic symmetries. Stability notions, such as inner asymptotic, inner, and input–output (BIBO) stability, are studied. The qualitative behavior of solutions is shown to depend critically on the spectral decomposition of derivations associated with the drift, and on the algebraic structure of the underlying Lie algebra. We study two classes of examples in detail: Abelian and solvable two-dimensional Lie groups, and the three-dimensional nilpotent Heisenberg group. These settings, while mathematically tractable, retain essential features of non-commutativity, geometric non-linearity, and sub-Riemannian geometry, making them canonical models in control theory. The results highlight the interplay between algebraic properties, invariant submanifolds, and trajectory behavior, offering insights applicable to robotic motion planning, quantum control, and signal processing. Full article

In this paper, the use of nilpotent Lie algebras as the basis for homomorphic encryption based on additive operations is explored. The $g$-setting is set up over $g{l}_n\left({\mathbb{Z}}_q\right)$) and the group $G=exp\left(g\right)$, and it is noted that the exponential and logarithm series are truncated by nilpotency in a natural way. From this, an additive symmetric conjugation scheme is constructed: given a message element $M$ and a central randomizer $U\in z\left(g\right),$ we encrypt $=Kexp\left(M+U\right)K^{-1}$ and decrypt to $M=log\left(K^{-1}CK\right)-U$. The scheme is additive in nature, with the security defined in the IND-CPA model. Integrity is ensured using an encrypt-then-MAC construction. These properties together provide both confidentiality and robustness while preserving the homomorphic functionality. The scheme realizes additive homomorphism through a truncated BCH-sum, so it is suitable for ciphertext summations. We implemented a prototype and took reproducible measurements (Python 3.11/NumPy) of the series $\{{10,10}^2,{10}^3,{10}^4,{10}^5\}$ over 10 iterations, reporting the medians and 95% confidence intervals. The graphs exhibit that the latency per operation remains constant at fixed values, and the total time scales approximately linearly with the batch size; we also report the throughput, peak memory usage, $\mid C\mid /\mid M\mid$ expansion rate, and achievable aggregation depth. The applications are federated reporting, IoT telemetry, and privacy-preserving aggregations in DBMS; the limitations include its additive nature (lacking general multiplicative homomorphism), IND-CPA (but not CCA), and side-channel resistance requirements. We place our approach in contrast to the standard FHE building blocks BFV/BGV/CKKS nd the emerging NIST PQC standards (FIPS 203/204/205), as a well-established security model with future engineering optimizations. 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

We define a four-dimensional Lie algebra g in this paper and then prove that this Lie algebra is solvable but not nilpotent. Due to the fact that g is a Lie algebra, $\forall x,y\in g$,$[x,y]=-[y,x]$, that is, the operation $[,]$ has anti symmetry. Symmetry is a very important law, and antisymmetry is also a very important law. We studied the structure of Poisson algebras on g using the matrix method. We studied the necessary and sufficient conditions for the automorphism of this class of Lie algebras, and give the decomposition of its automorphism group by $Aut\left(g\right)=G_3{G}_1{G}_2{G}_3{G}_4{G}_7{G}_8{G}_5$, or $Aut\left(g\right)=G_3{G}_1{G}_2{G}_3{G}_4{G}_7{G}_8{G}_5{G}_6$, or $Aut\left(g\right)=G_3{G}_1{G}_2{G}_3{G}_4{G}_7{G}_8{G}_5{G}_3$, where $G_i$ is a commutative subgroup of $Aut\left(g\right)$. We give some subgroups of g’s automorphism group and systematically studied the properties of these subgroups. 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