Rigged Liouville Space in Quantum Operator Theory

• Rigged Liouville space is a framework that extends the traditional rigged Hilbert space from state vectors to Hilbert-Schmidt operators, providing a rigorous basis for generalized states.
• It incorporates tensor product constructions and unitary mappings to handle singular operators and ensure well-defined spectral decompositions in quantum dynamics.
• Recent advancements include extensions to quasi-Hermitian Liouvillians with positive-definite metrics and an isomorphic correspondence with the Thermo Field Dynamics triplet.

Rigged Liouville space is a rigged Hilbert space formulated on Liouville space, that is, on the Hilbert space of Hilbert-Schmidt operators on a Hilbert space, rather than on a space of state vectors. In this setting, the triplet $$\Phi_{\mathfrak L} \subset \mathfrak L(\mathcal H) \subset \Phi'_{\mathfrak L}, \Phi^\times_{\mathfrak L}$$ or $$\Phi_{\mathcal L} \subset \mathcal L(\mathcal H) \subset \Phi'_{\mathcal L}, \Phi^\times_{\mathcal L}$$ provides a rigorous operator-level framework for generalized states, singular operators, super bra-kets, and spectral decompositions of Liouvillian superoperators. Recent work constructs this structure from tensor products of rigged Hilbert spaces, proves an isomorphic correspondence with the rigged Thermo Field Dynamics triplet, and extends the formalism to quasi-Hermitian Liouvillians with positive-definite metrics and bi-orthogonal spectral resolutions (Takahashi et al., 9 Aug 2025, Ohmori et al., 29 Apr 2026).

1. Rigged-space background

The conceptual precursor of rigged Liouville space is the rigged Hilbert space, or Gelfand triplet,

$\Phi \subset \mathcal H \subset \Phi^\times ,$

with $\Phi$ a dense subspace of $\mathcal H$ endowed with a topology stronger than the Hilbert topology, and $\Phi^\times$ the space of continuous antilinear functionals. In this framework, discrete orthonormal bases and continuous bases coexist: proper Hilbert vectors remain in $\mathcal H$, whereas generalized eigenvectors associated with continuous spectra are treated as functionals on the dual or anti-dual space. Operators that are continuous on $\Phi$ admit continuous extensions to the dual space, which is the standard mechanism by which Dirac kets, delta-like objects, and generalized eigenvectors become mathematically well defined (Celeghini et al., 2019).

A constructive presentation for $L^2(\mathbb R)$ makes this coexistence explicit by using Hermite functions and an additional discrete operator $N$ related to the degree of the Hermite polynomials. In that construction, the Weyl-Heisenberg algebra is extended to the projective algebra $$\Phi_{\mathcal L} \subset \mathcal L(\mathcal H) \subset \Phi'_{\mathcal L}, \Phi^\times_{\mathcal L}$$0, and the resulting rigged Hilbert space is described as a toy model where, in contrast with the Hilbert spaces, operators with different cardinality are allowed (Celeghini, 2015). This operator-theoretic enlargement is the immediate background for the Liouville-level extension: the same rigging philosophy is transferred from vectors to operators.

2. Construction from Hilbert-Schmidt operators and tensor products

The Liouville space $$\Phi_{\mathcal L} \subset \mathcal L(\mathcal H) \subset \Phi'_{\mathcal L}, \Phi^\times_{\mathcal L}$$1 is the Hilbert space of Hilbert-Schmidt operators on $$\Phi_{\mathcal L} \subset \mathcal L(\mathcal H) \subset \Phi'_{\mathcal L}, \Phi^\times_{\mathcal L}$$2,

$$\Phi_{\mathcal L} \subset \mathcal L(\mathcal H) \subset \Phi'_{\mathcal L}, \Phi^\times_{\mathcal L}$$3

with inner product

$$\Phi_{\mathcal L} \subset \mathcal L(\mathcal H) \subset \Phi'_{\mathcal L}, \Phi^\times_{\mathcal L}$$4

To include generalized, singular, or unbounded operators, such as distributions or projections onto improper eigenstates, the rigged Liouville space triplet is introduced: $$\Phi_{\mathcal L} \subset \mathcal L(\mathcal H) \subset \Phi'_{\mathcal L}, \Phi^\times_{\mathcal L}$$5 The nuclear test space is obtained from a tensor product rigging by

$$\Phi_{\mathcal L} \subset \mathcal L(\mathcal H) \subset \Phi'_{\mathcal L}, \Phi^\times_{\mathcal L}$$6

where $$\Phi_{\mathcal L} \subset \mathcal L(\mathcal H) \subset \Phi'_{\mathcal L}, \Phi^\times_{\mathcal L}$$7 is a unique unitary mapping defined by

$$\Phi_{\mathcal L} \subset \mathcal L(\mathcal H) \subset \Phi'_{\mathcal L}, \Phi^\times_{\mathcal L}$$8

A closely related formulation uses a conjugation $$\Phi_{\mathcal L} \subset \mathcal L(\mathcal H) \subset \Phi'_{\mathcal L}, \Phi^\times_{\mathcal L}$$9 and a unitary map $\Phi \subset \mathcal H \subset \Phi^\times ,$0 sending $\Phi \subset \mathcal H \subset \Phi^\times ,$1 to the rank-one operator $\Phi \subset \mathcal H \subset \Phi^\times ,$2, with $\Phi \subset \mathcal H \subset \Phi^\times ,$3. The corresponding triplet is written

$\Phi \subset \mathcal H \subset \Phi^\times ,$4

In both formulations, the decisive structural fact is the unitary equivalence between the space of Hilbert-Schmidt operators and the Hilbert tensor product $\Phi \subset \mathcal H \subset \Phi^\times ,$5 (Takahashi et al., 9 Aug 2025, Ohmori et al., 29 Apr 2026).

3. Super bra-kets and Hermitian Liouvillians

The super bra-ket formalism is the operator-level analogue of Dirac’s bra-ket calculus. For $\Phi \subset \mathcal H \subset \Phi^\times ,$6, the super-bra and super-ket are defined by

$\Phi \subset \mathcal H \subset \Phi^\times ,$7

$\Phi \subset \mathcal H \subset \Phi^\times ,$8

Accordingly, $\Phi \subset \mathcal H \subset \Phi^\times ,$9 and $\Phi$0. This gives a rigorous formulation of operator-valued bras and kets acting on density operators or, more generally, on Hilbert-Schmidt operators (Ohmori et al., 29 Apr 2026).

For a Hermitian Hamiltonian $\Phi$1, the Liouvillian is represented through

$\Phi$2

Generalized eigenvectors of $\Phi$3 induce generalized eigenvectors of $\Phi$4, and the corresponding super-bra and super-ket admit spectral expansions over the Liouvillian spectrum. In the Hermitian case, orthonormal completeness takes the form

$\Phi$5

For the harmonic oscillator, the spectral picture becomes discrete: the Liouvillian superoperator has eigenvalues $\Phi$6 and eigenvectors $\Phi$7, so the expansions reduce to sums over $\Phi$8 (Ohmori et al., 29 Apr 2026).

4. Quasi-Hermitian Liouvillians and metric structures

The quasi-Hermitian extension of rigged Liouville space is rooted in the positive-definite metric formalism already developed for non-Hermite systems and quasi-Hermitian composite systems. In the vector-level theory, a positive-definite metric operator $\Phi$9 defines the modified inner product

$\mathcal H$0

and the corresponding triplet

$\mathcal H$1

For quasi-Hermitian operators one has

$\mathcal H$2

and spectral expansions are written in terms of generalized eigenvectors and complete bi-orthogonal systems. In composite settings, the metric is tensorized as $\mathcal H$3, yielding the composite quasi-Hermitian RHS (Ohmori et al., 2022, Ohmori, 2024).

At the Liouville level, the metric becomes

$\mathcal H$4

and one works in the $\mathcal H$5-RLS,

$\mathcal H$6

The quasi-Hermitian Liouvillian satisfies

$\mathcal H$7

Its generalized super-eigenvectors form a bi-orthogonal system, and spectral decompositions acquire the characteristic insertion of the inverse metric operator: $\mathcal H$8 A central technical point is the treatment of adjoints. At the Hilbert-space level,

$\mathcal H$9

is only a strict inclusion in general. In the dual-space formulation of the rigged Liouville space, the symmetric structure is restored for the extensions, and the non-Hermitian Liouvillian operator and its adjoint can be constructed symmetrically (Ohmori et al., 29 Apr 2026).

5. Correspondence with Thermo Field Dynamics

A major recent development is the construction of the rigged Hilbert space for Thermo Field Dynamics and its mapping to rigged Liouville space. In Thermo Field Dynamics, thermal averages are reformulated as vacuum expectation values in a doubled Hilbert space, with $\Phi^\times$0 an identical but fictitious copy of $\Phi^\times$1. The TFD triplet is

$\Phi^\times$2

The core result is an isomorphic one-to-one correspondence between the test spaces,

$\Phi^\times$3

together with continuous extensions to the dual and anti-dual spaces. Singular operators in Liouville space thus correspond to generalized vectors in the TFD formalism, and trace duality is preserved by the mapping (Takahashi et al., 9 Aug 2025).

Rigged Liouville space	TFD triplet	Relation
$\Phi^\times$4	$\Phi^\times$5	Isomorphic correspondence
Generalized states, delta-like density operators	Generalized thermal vacuum, pure-state representations	Transfer of generalized objects
$\Phi^\times$6	$\Phi^\times$7	Tensor-product construction

This correspondence is presented as a unified topological foundation for quantum statistical mechanics at finite temperature and as a framework for future generalizations to open and non-equilibrium quantum systems (Takahashi et al., 9 Aug 2025).

6. Irreversibility, resonance theory, and conceptual boundaries

The deeper physical motivation for rigged formulations comes from the need to treat states and observables that do not belong to the conventional Hilbert space. In the Gamow-state theory, resonant states are generalized eigenvectors with complex energies and purely outgoing boundary conditions; they are rigorously handled in a rigged Hilbert space whose test functions must decay at infinity faster than Gaussians. Their time evolution is semigroup-like,

$\Phi^\times$8

which expresses time-asymmetric irreversibility of decay processes (Madrid, 2012).

The same semigroup logic appears in rigged Hilbert space treatments of irreversible wave-packet evolution. There, Gamow vectors model decay processes, and the formalism is explicitly said to generalize to density matrices and open quantum systems via Rigged Liouville Space; the essential structure is similar—evolution operators become semigroups, and the spectrum admits complex resonance poles (Marcucci et al., 2016). This suggests an operator-level continuation of the same resonance-theoretic and irreversible dynamics program.

A recurrent source of confusion is the term “Liouville.” In rigorous quantum Liouville theory, the relevant framework is not a rigged Hilbert space or rigged Liouville space. That approach is based on Gaussian Multiplicative Chaos, random distributions, and $\Phi^\times$9 spaces of random variables, and it explicitly does not construct or use the terminology of Rigged Hilbert Spaces/Gel'fand Triplets in the context of Liouville theory (Chatterjee et al., 2024). Rigged Liouville space therefore refers to a rigged operator space for Liouvillian quantum dynamics, not to the probabilistic functional-analytic structures of Liouville conformal field theory.