We study the von Neumann algebra \mathcal{M} = \{P,Q\}'' generated by two orthogonal projections on a separable Hilbert space. Using the Halmos direct integral decomposition in the sense of Dixmier and Takesaki, we show that \mathcal{M} decomposes into abelian parts and a measurable field of copies of M_2(\mathbb{C}). For \mu-almost every \theta \in \Theta, the self-adjoint part of the fiber M_2(\mathbb{C}), equipped with the commutator i[\cdot,\cdot], carries a three-dimensional real Lie algebra structure isomorphic to \mathfrak{su}(2). This provides a purely algebraic, fiberwise mechanism for the appearance of \mathfrak{su}(2) from minimal non-commutative data. We then consider a quantum dynamical semigroup in the standard GKSL form with noise operators P and Q. Using the Frigerio–Evans theorem, we prove that its fixed-point algebra is \{P,Q\}', which is always abelian. Consequently, \mathfrak{su}(2) does not appear in the fixed-point algebra; instead, dissipative dynamics induce a collapse from the non-commutative fiber structure to classical abelian observables. This work provides the rigorous mathematical foundation for the non-commutative projection framework developed in the author’s previous preprints and clarifies the distinction between algebraic generation and dissipative selection.
We study the von Neumann algebra \mathcal{M} = {P,Q}'' generated by two orthogonal projections on a separable Hilbert space. Using the Halmos direct integral decomposition in the sense of Dixmier and Takesaki, we show that \mathcal{M} decomposes into abelian parts and a measurable field of copies of M_2(\mathbb{C}). For \mu-almost every \theta \in \Theta, the self-adjoint part of the fiber M_2(\mathbb{C}), equipped with the commutator i[\cdot,\cdot], carries a three-dimensional real Lie algebra structure isomorphic to \mathfrak{su}(2). This provides a purely algebraic, fiberwise mechanism for the appearance of \mathfrak{su}(2) from minimal non-commutative data. We then consider a quantum dynamical semigroup in the standard GKSL form with noise operators P and Q. Using the Frigerio–Evans theorem, we prove that its fixed-point algebra is {P,Q}', which is always abelian. Consequently, \mathfrak{su}(2) does not appear in the fixed-point algebra; instead, dissipative dynamics induce a collapse from the non-commutative fiber structure to classical abelian observables. This work provides the rigorous mathematical foundation for the non-commutative projection framework developed in the author’s previous preprints and clarifies the distinction between algebraic generation and dissipative selection.
The present work develops a classification of finite-dimensional irreducible invariant subspaces for quantum Markov semigroups (GKSL semigroups) whose generators are algebraically generated from two non-commuting orthogonal projections. The central mechanism is commutant collapse: a Hermitian rank-1 operator—the “bridge”—couples a two-dimensional Halmos fiber to a trivial direction, forces the commutant of the generated C^*-algebra to become trivial, and thereby saturates the algebra to a full matrix algebra by the double commutant theorem. We identify i-axis symmetry—the requirement that the noise operators generate a *-closed algebra—as the structural condition that guarantees bridges appear in Hermitian form. A single bridge connecting one Halmos fiber to one trivial direction forces the algebra M_3(\mathbb{C}); the resulting semigroup is primitive on that subspace. For k\ge 2 trivial directions coupled to the same fiber, we introduce the concept of center-breaking bridges. Whether the algebra saturates to M_{2+k}(\mathbb{C}) or stabilises at an intermediate barrier subalgebra depends on whether each successive bridge breaks the centre of the intermediate algebra. The dimension of the minimal non-trivial irreducible block is 2+k when all k bridges act in a centre-breaking manner. The Lie envelope of the three-dimensional sector is \mathfrak{su}(3) for generic parameters, with degeneracies at symmetric projection angles. We discuss dynamical closure rigidity—the property that a finitely generated operator system becomes irreducible under C^*-closure—and distinguish kinematic capacity from dynamical accessibility.
Lie algebras describe how control Hamiltonians combine in closed quantum systems. In open Markovian systems, however, dissipation introduces irreversible directions that the Lie algebra alone does not retain. A dynamical Lie wedge preserves this information as a convex cone of locally admissible generators. The classical Levi decomposition separates a finite-dimensional Lie algebra into semisimple and solvable parts. In this work, we prove a corresponding decomposition and reconstruction theorem for dynamical Lie wedges.
The theorem decomposes the wedge into semisimple and solvable data, records how these components are coupled, and provides a converse reconstruction of the wedge. The framework yields four structural types of the generated algebra. We further prove that the total dissipation strength of every admissible generator depends only on its coordinate in the solvable radical. In particular, if the generated Lie algebra is semisimple, every admissible generator is Hamiltonian. Together, these results extend Lie-algebraic structural methods to irreversible Markovian control and clarify how dissipation is encoded in the generator geometry.
On the Refinement of Cartan Decomposition: An Implicit Commutative Substructure in su(2n)
Abstract The Cartan decomposition of a semisimple Lie algebra is pivotal in both theoretical exploration and practical application. It generalizes the classical spectral, polar, and singular value decompositions found in linear algebra. This paper explores an advanced refinement of the Cartan decomposition of su(2n) su ( 2 n ) , arising from the parameterization of a Hamiltonian for quantum simulation. Specifically, given an AI-type Cartan decomposition g=k⊕p g = k ⊕ p of any Lie subalgebra g g in su(2n) su ( 2 n ) , where p=p⊕h p = p ~ ⊕ h and h h is the maximal abelian subalgebra in p p , it is revealed that both the subalgebra k k and the corresponding p p ~ (which is generally not a subalgebra) can further be partitioned, respectively, as the direct sums of equal-dimensional commutative Lie subalgebras. With respect to the involution θ(g)=−g⊤ θ ( g ) = - g ⊤ , any Lie subalgebra g g in su(2n) su ( 2 n ) with nondegenerate Cartan decomposition can thus be fully decomposed as the orthogonal direct sum of h h and pairs of commutative Lie subalgebras over k k and p p ~ , all of which, except h h , share the same dimension.
We develop a Lie-Jordan geometric formulation of finite-dimensional open quantum dynamics, building on the algebraic framework introduced in our previous work (arXiv:2606.26477). The Hilbert-Schmidt operator space is endowed with an orthonormal Hermitian basis, in which the commutator and anticommutator are encoded by the structure tensors Cμνλ and Bμνλ. Within this formulation, the von Neumann and Gorini-Kossakowski-Lindblad-Sudarshan equations admit a direct component representation. Our central result is the identification of a basis-independent universal trilinear dissipative map, D(X,Y)Z=XZY−21{YX,Z}, whose components define a universal operator-space tensor depending only on the Lie-Jordan structure tensors. The physical dissipator is obtained by contracting this tensor with the expansion coefficients of the Lindblad operators and the Kossakowski matrix, thereby separating the universal algebraic structure from the model-dependent physical information. We further show that the combinations (B+C) and (B−C) generate internal left and right transports, allowing the elementary dissipative map to be expressed as a left-right bimodule action corrected by an ordered Jordan contribution. The universal map satisfies basis-independent trace and Hermitian-conjugation identities, from which trace preservation, Hermiticity preservation of the complete dissipator, and the reality of its component representation in a Hermitian Hilbert-Schmidt basis follow. We also derive its Hilbert-Schmidt adjoint and illustrate the formalism for a qubit with pure dephasing and amplitude-damping channels. This construction provides a tensorial and affine-geometric interpretation of the universal superoperator structure derived in arXiv:2606.26477 while keeping the algebraic and model-dependent sectors explicitly separated.
Background: Operator algebras and quantum dynamical semigroups are the mathematical tools of choice for understanding open quantum systems, especially in infinite-dimensional spaces. Such tools are extremely important for the time development of quantum systems out of equilibium under the influence of environment, where conventional finite dimensional methods do not include all possibilities for interaction. Objective: The objects of the present research are the r-properties and the decompositions of generators of quantum dynamical semigroups on infinite-dimensional spaces including their Hamiltonian and dissipative part, semigroup continuity, stationary states, and positivity improvement. The aim is to set a fundament in order to think about long-time dynamics in open quantum systems. Methods: The theorem Hille–Yosida is used to get conditions for the semigroup strongly continuous generated by unbounded operators. The time-evolution operator of the system is approximated with both Gaussian quadrature and Monte Carlo integration during infinitesimal time slices, by using Inf-LCHS in conjunction. Generators were studied under decomposition of their Hamiltonian and dissipative parts, while commutant algebras were investigated for irreducibility and positivity enhancement. Results: Most systems studied for these properties presented a singular decomposition, strong and weak semigroup continuity, existence of stationary states and positivity improvement. The counterexamples were the systems with in a lack of verification for dissipative parts, and they lost smoothing property, uniqueness of decomposition, partial semigroup continuity or large errors in approximation when we perform numerically. Conclusions: The combination of the methods of operator algebra with state-of-the-art simulation techniques yields a powerful approach to study infinite-dimensional quantum dynamics. Although dissipative components are not yet completely characterized, the results improve our understanding of generator structures and long-term system behavior which will help future work in quantum statistical mechanics and quantum information theory.
In this paper we examine in detail the non-commutative symplectic algebra underlying quantum dynamics. We show that this algebra contains both the Weyl-von Neumann algebra and the Moyal algebra. The latter contains the Wigner distribution as the kernel of the density matrix. The underlying non-commutative geometry can be projected into either of two Abelian spaces, so-called `shadow phase spaces'. One of these is the phase space of Bohmian mechanics, showing that it is a fragment of the basic underlying algebra. The algebraic approach is much richer, giving rise to two fundamental dynamical time development equations which reduce to the Liouville equation and the Hamilton-Jacobi equation in the classical limit. They also include the Schrödinger equation and its wave function, showing that these features are a partial aspect of the more general non-commutative structure. We discuss briefly the properties of this more general mathematical background from which the non-commutative symplectic algebra emerges.