Rigged Liouville space formulation for quasi-Hermitian Liouville operators

Abstract: We discuss a super bra-ket formalism for quasi-Hermitian Liouvillian operators within the framework of rigged Hilbert spaces (RHS). An RHS in terms of the Liouville space, referred to as a rigged Liouville space (RLS), is reconstructed by exploiting the mathematical fact that the space of Hilbert-Schmidt operators is unitarily equivalent to the tensor product of Hilbert spaces. The obtained RLS endows a rigorous foundation of the construction for the super bra-ket and for the spectral decompositions of both Hermitian and quasi-Hermitian Liouville operators, which are characterized by the generalized eigenvectors in the dual spaces. Furthermore, within this framework, the non-Hermitian Liouvillian operator and its adjoint can be constructed symmetrically, with their symmetric structure preserved. As an application of our RLS methodology, we examine the Liouville operators corresponding to Hermitian and non-Hermitian harmonic oscillators and elucidate the differences between their spectral decomposition forms.

• The paper develops a rigged Liouville space formalism that extends spectral decomposition to both Hermitian and quasi-Hermitian operators.
• It employs RHS construction and bi-orthogonal bases to rigorously resolve adjoint inconsistencies in Liouville operator theory.
• The formalism is validated through applications to harmonic oscillators, offering insights for open quantum and PT-symmetric systems.

Rigged Liouville Space Formulation for Quasi-Hermitian Liouville Operators

Mathematical Framework: Rigged Hilbert Spaces and Liouville Space Construction

This paper develops a rigorous mathematical foundation for the treatment of quasi-Hermitian Liouville operators using the rigged Hilbert space (RHS) formalism. The approach is motivated by the necessity to extend Dirac's bra-ket notation and its spectral decomposition, especially for non-Hermitian operators and quantum systems where traditional Hilbert space techniques are insufficient.

The construction exploits the unitary equivalence between the Liouville space (the space of Hilbert-Schmidt operators) and the tensor product of Hilbert spaces. The central structure, called the rigged Liouville space (RLS), is built upon this equivalence. The RLS is shown to be a triplet

$${\Phi}_\mathcal{L} \subset \mathcal{L}(\mathcal{H}) \subset {\Phi}_\mathcal{L}^{\prime},{\Phi}_\mathcal{L}^{\times}$$

where $\Phi_\mathcal{L}$ inherits a nuclear topology from the tensor product of the nuclear spaces in the underlying RHS.

Within this framework, super bra and super ket vectors are constructed as elements of the dual and anti-dual spaces; spectral decomposition for Liouville operators (including both Hermitian and quasi-Hermitian cases) is formulated by generalized eigenvectors residing in these dual spaces.

Spectral Decomposition for Hermitian Liouville Operators

For a Hermitian Hamiltonian $H$, the corresponding Liouville operator $\mathcal{L}_H$ acts on the Hilbert-Schmidt operator space and possesses a spectral expansion that can be systematically derived using the RLS structure. The eigenvectors for the Liouville operator are built from the tensor product of the eigenvectors of $H$ and those transformed via conjugation $C$ (establishing symmetric treatment of bra and ket).

The paper demonstrates explicitly that the spectral expansion of $\mathcal{L}_H$ in RLS is realized by integrating over the spectrum, utilizing a complete orthonormal basis in the dual spaces. The formalism is illustrated through application to the harmonic oscillator, with explicit spectral expansions and eigenvalue assignments.

Quasi-Hermitian Liouville Operators: Metric Structure and Bi-Orthogonal Basis

The study extends the mathematical framework to quasi-Hermitian operators, characterized by the adjoint relation $A^\dagger = \eta A \eta^{-1}$ for some positive invertible metric operator $\eta$. For such Hamiltonians, the Liouville operator becomes quasi-Hermitian with respect to a derived metric $\zeta = I_C (\eta \otimes \eta) I_C^{-1}$.

The central development is the construction of the $\Phi_\mathcal{L}$0-RLS, where the inner product is deformed by the metric operator $\Phi_\mathcal{L}$1. The quasi-Hermitian Liouville operator $\Phi_\mathcal{L}$2 achieves a symmetric adjoint relation:

$\Phi_\mathcal{L}$3

with spectral decomposition given in terms of bi-orthogonal generalized eigenvectors in the dual spaces. The spectral expansions require insertion of the inverse metric operator $\Phi_\mathcal{L}$4, and the eigenvectors of $\Phi_\mathcal{L}$5 and its adjoint are related through the metric, reflecting the necessity of bi-orthogonal completeness rather than the orthonormality present in the Hermitian case.

A technical refinement is provided: in the Hilbert space context, the adjoint of tensor product operators for non-Hermitian cases generally only satisfies inclusion, not equality. The rigorous RHS-based extension to dual spaces resolves this inconsistency, yielding symmetric adjoint constructions and fully consistent spectral theory.

Application: Hermitian and Non-Hermitian Harmonic Oscillators

The formalism is applied to both Hermitian and Swanson-type non-Hermitian (PT-symmetric) oscillator Hamiltonians. The Hermitian case reduces to known results; the non-Hermitian case, with real spectrum but non-trivial metric, exhibits significant structural differences:

• The spectral expansions include the inverse metric operator and are expressed in terms of bi-orthogonal systems.
• The eigenvalues (e.g., $\Phi_\mathcal{L}$6) remain real, but the generalized eigenvectors of $\Phi_\mathcal{L}$7 and $\Phi_\mathcal{L}$8 are not identical, reflecting the metric deformation.

These distinctions are in direct correspondence with the underlying physical differences between Hermitian and quasi-Hermitian systems in dissipative/open quantum models or PT-symmetric quantum mechanics.

Implications and Future Directions

The RLS formalism provides a mathematically robust platform for analyzing spectral properties of Liouville operators in non-Hermitian quantum theory. It resolves inconsistencies in defining adjoints for composite operators and generalizes spectral expansion methodology beyond the Hermitian domain. Practical implications include:

• Rigorous treatment of Lindblad/Liouvillian dynamics in open quantum systems, where non-Hermitian superoperators are the norm.
• Consistent foundation for quantum systems with deformed metrics, necessary for PT-symmetric, quasi-Hermitian, and non-equilibrium models.
• Extension to broader classes of non-Hermitian operators (including pseudo-Hermitian cases with complex spectra), opening paths toward refined spectral theory for quantum dissipative systems and generalized statistical mechanics.

The theoretical implications underline the necessity of moving beyond conventional Hilbert space techniques in quantum theory, particularly for operators with non-trivial adjoint structure and non-unitary evolution.

Conclusion

The paper rigorously reconstructs the rigged Liouville space formalism, equipping it to handle both Hermitian and quasi-Hermitian Liouville operators via dual/anti-dual spaces and bi-orthogonal spectral expansions. This establishes a consistent mathematical foundation for the super bra-ket formalism in Liouville space, necessary for contemporary treatments of open and non-Hermitian quantum systems. The explicit resolution of adjoint inconsistencies underscores the importance of the RHS framework for advancing spectral analysis and operator theory in quantum dynamics ["Rigged Liouville space formulation for quasi-Hermitian Liouville operators" (2604.26322)].