Dynamical Lie algebra and conditional operators for many fermion Green functions

Joseph L. Birman, A. I. Solomon

A. I. Solomon, Joseph L. Birman

Jay D. Mancini

Abstract A method is introduced to calculate thermodynamic Green functions. A powerful theorem by Masson is the motivation for expressing the Fourier-time transform of the Green function as a super space matrix element of the resolvent of the Liouville operator. The eigenvalues of the Liouville operator are then expressed in a form first suggested by Judd for atomic systems and which are shown to be members of a Lie group.

Joseph L. Birman, A. I. Solomon

The Thermal Matsubara Green Functions, and their zero temperature analogs, in many-fermion systems are shown to be built up from products, or sums of products, of factors each of which is determined by a Lie Algebra. These factors are: the structure constants of a mapping φ of the B2N+1 Fermion Algebra (consisting of singles and pairs of fermion operators) onto itself; and the structure constants of a mapping φ′ of the D2N+1 Dynamical Algebra of the Hamiltonian (consisting of pairs of fermion operators) onto itself; and eigenvalues of the generators of the Abelian Cartan subalgebra. Eigenstates of the many-fermion Hamiltonian typically relate to different types or numbers of elementary excitations (quasi-particles); these states are shwon to be bases for irreducible representations of the Dynamical Algebra. The contribution of each such irreducible set of states to the Green Functions is exhibited. These results are exact for mean-field Hamiltonians; generalization to include effects of fluctuations may be possible. The Green Functions for a model BCS singlet superconductor are determined (Dynamical Algebra SU (2)) to illustrate the various steps in the analysis.

Yibin Wang

Every finite-dimensional real or complex Lie algebra has a largest solvable ideal, its radical. In the compact dynamical Lie algebra (DLA) of a closed quantum system, this radical is the center; projecting onto it isolates directions that commute with the supplied algebra. With sparse Lie-bracket data and a known spectral gap, we construct a quantum circuit that approximately encodes this coefficient-space projector. The general construction combines the derived-algebra map with the Killing form, whereas compactness makes the Killing form alone sufficient. This distinction matters for numerical sensitivity, and our main theorem gives its exact law under an invariant-orthonormal basis adapted to the center and semisimple part. In a compact real algebra with a nonzero semisimple part, the condition number of the general operator is the three-halves power of the Killing-form condition number on that part. The compact projector in turn yields a bounded-error test for whether the center is trivial, provided that any nonzero center has at least a stated minimum dimension. This gives a controlled test for internal conserved directions in compact quantum dynamics.

J. I. Horváth, I.K. Gyémánt