Rigged Liouville Space: Foundations of Quantum Operators

• Rigged Liouville Space (RLS) is a Gel'fand-triplet extension of Liouville space that rigorously incorporates generalized eigenoperators and operator-valued distributions.
• Its construction via tensor-product RHS and a unitary operator–tensor correspondence unifies operator formulations with Thermo Field Dynamics, linking pure and mixed state descriptions.
• The framework supports spectral decomposition and quasi-Hermitian analysis, enabling precise treatment of decaying states and non-equilibrium dynamics in quantum statistical mechanics.

Rigged Liouville Space (RLS) is the rigged-space analogue of Liouville space: a Gel'fand-triplet extension of the Hilbert space of Hilbert–Schmidt operators that allows generalized operators, distributional kernels, and generalized Liouvillian eigenoperators to be treated rigorously. In the formulation developed for finite-temperature quantum statistical mechanics, RLS is induced from a rigged Hilbert space (RHS) on the underlying state space by tensor-product methods and a unitary operator–tensor correspondence, and it is isomorphic, one-to-one, to the rigged thermal space of Thermo Field Dynamics (TFD). In this sense, RLS provides a unified topological foundation for the operator and doubled-state descriptions of quantum statistical mechanics (Takahashi et al., 9 Aug 2025).

1. Rigged-space background and the operator-space problem

The starting point is the standard RHS, or Gel'fand triplet,

$$\Phi \subset \mathcal{H} \subset \Phi',\;\Phi^\times,$$

with $\mathcal{H}$ a Hilbert space, $\Phi$ a dense subspace endowed with a finer locally convex topology $\tau_\Phi$, and $\Phi'$ and $\Phi^\times$ the spaces of continuous linear and antilinear functionals. In the formulation used for RLS, $(\Phi,\tau_\Phi)$ is a nuclear space, so generalized eigenvectors such as plane waves, Gamow vectors, and delta distributions can be represented as elements of the dual spaces rather than as vectors of the central Hilbert space (Takahashi et al., 9 Aug 2025).

This rigged enlargement is motivated by the same issue that appears already for state vectors: conventional Hilbert space is too small for resonances and other generalized objects. The RHS literature on irreversible quantum dynamics makes this explicit by treating decaying states as Gamow vectors in $\Phi^\times$ rather than in $\mathcal{H}$, with semigroup behavior emerging after restriction to appropriate Hardy-type test spaces (Marcucci et al., 2016). In operator language, the analogous limitation is that ordinary Liouville space contains Hilbert–Schmidt operators but not projector-like operators onto improper eigenvectors, operator-valued distributions, or generalized eigenoperators associated with continuous spectra and non-selfadjoint generators (Takahashi et al., 9 Aug 2025).

Several functional-analytic constructions underwrite this perspective. One route constructs $\Phi$ as a strict inductive limit of finite-dimensional Hilbert spaces, yielding a complete nuclear locally convex space densely and continuously embedded in a Hilbert space (Pol'shin, 2014). Another shows that projective and inductive limits of a directed contractive family of Hilbert spaces produce a canonical RHS associated with a family of closable operators when the required conditions are satisfied (Bellomonte et al., 2013). Related RHS work also generalizes Bessel-like sequences, Riesz–Fischer-like sequences, and Riesz-like bases to the rigged setting, giving a basis-theoretic language for generalized spectral expansions on dense test spaces and their duals (Bellomonte et al., 2015). A broader structural theme is that discrete and continuous bases can coexist on a rigged space while meaningful operators remain continuous on the test space and its dual (Celeghini et al., 2019).

2. Definition and construction of Rigged Liouville Space

The central Hilbert space for RLS is the Liouville space of Hilbert–Schmidt operators,

$\mathcal{H}$0

equipped with the Hilbert–Schmidt inner product

$\mathcal{H}$1

RLS is then defined as a rigged triplet over this operator Hilbert space,

$\mathcal{H}$2

where $\mathcal{H}$3 is a dense nuclear subspace of test operators and the dual spaces contain operator distributions acting continuously on $\mathcal{H}$4 (Takahashi et al., 9 Aug 2025).

The construction used in the finite-temperature formulation begins from the tensor-product RHS

$\mathcal{H}$5

A standard operator–tensor correspondence provides a unitary map

$\mathcal{H}$6

such that, for $\mathcal{H}$7,

$\mathcal{H}$8

with $\mathcal{H}$9 a conjugation on $\Phi$0 and

$\Phi$1

that is, the rank-one operator $\Phi$2 (Takahashi et al., 9 Aug 2025). By a general lemma on unitary transport of rigged structures, if $\Phi$3 is an RHS and $\Phi$4 is unitary, then there exists a dense nuclear subspace $\Phi$5 such that $\Phi$6 is again an RHS and the restriction of $\Phi$7 is a topological isomorphism. Applied here, this yields

$\Phi$8

and therefore the RLS triplet (Takahashi et al., 9 Aug 2025).

A parallel construction is used in the super bra-ket formalism for quasi-Hermitian Liouvillians. There the unitary equivalence is written as

$\Phi$9

with

$\tau_\Phi$0

and the rigged operator test space is

$\tau_\Phi$1

again producing a triplet

$\tau_\Phi$2

by transport of the tensor-product RHS (Ohmori et al., 29 Apr 2026).

Framework	Central Hilbert space	Generalized objects
Standard Liouville space	$\tau_\Phi$3	Hilbert–Schmidt operators
Rigged Liouville Space	$\tau_\Phi$4	operator distributions, generalized eigenoperators
TFD rigged space	$\tau_\Phi$5	thermal vectors, generalized thermal states

The conceptual point is that test two-particle vectors in $\tau_\Phi$6 are sent by $\tau_\Phi$7 or $\tau_\Phi$8 to test operators, while dual generalized two-particle states are sent to generalized operators. RLS is therefore not an additional Hilbert space beyond Liouville space, but a rigged enlargement of it.

3. Relation to Thermo Field Dynamics

In TFD, thermal expectation values are rewritten as pure-state expectation values in a doubled Hilbert space. Starting from the physical Hilbert space $\tau_\Phi$9 and a fictitious tilde copy $\Phi'$0, one forms the thermal Hilbert space

$\Phi'$1

For inverse temperature $\Phi'$2, with $\Phi'$3, energy eigenbasis $\Phi'$4, and $\Phi'$5, the thermal vacuum is

$\Phi'$6

and thermal averages take the form

$\Phi'$7

The construction is basis independent in the sense that $\Phi'$8 is a purification of $\Phi'$9 in the doubled Hilbert space (Takahashi et al., 9 Aug 2025).

If the physical system carries an RHS

$\Phi^\times$0

and the tilde system carries the analogous triplet

$\Phi^\times$1

then the TFD test space is the nuclear tensor product

$\Phi^\times$2

giving the thermal triplet

$\Phi^\times$3

The topology on $\Phi^\times$4 is the projective nuclear tensor-product topology inherited from $\Phi^\times$5 and $\Phi^\times$6, and this guarantees that $\Phi^\times$7 is nuclear and dense in the thermal Hilbert space (Takahashi et al., 9 Aug 2025).

The decisive structural statement is that RLS corresponds isomorphically one-to-one with this TFD rigged space. The paper states that there is an isomorphic mapping

$\Phi^\times$8

which is a nuclear-space isomorphism and extends continuously to the duals. Conceptually, $\Phi^\times$9 is the composition of the inverse operator–tensor map with the identification of the second tensor factor with the tilde space, schematically

$(\Phi,\tau_\Phi)$0

on suitable dense subspaces (Takahashi et al., 9 Aug 2025).

Under this correspondence, a pure-state operator $(\Phi,\tau_\Phi)$1 corresponds to the vector $(\Phi,\tau_\Phi)$2, and a density operator $(\Phi,\tau_\Phi)$3 corresponds to a thermal vector $(\Phi,\tau_\Phi)$4 that generalizes the thermal vacuum. The significance is not merely notational. It means that the operator formulation of statistical mechanics and the purification-based TFD formulation are linked by a topologically controlled isomorphism even at the level of generalized, distribution-like states.

4. Topology, duality, and generalized operators

The distinguishing feature of RLS is its topology. Because $(\Phi,\tau_\Phi)$5 is nuclear, the tensor product $(\Phi,\tau_\Phi)$6 is again nuclear, and the continuous inclusion

$(\Phi,\tau_\Phi)$7

transports, under the unitary operator–tensor map, to a nuclear locally convex structure on $(\Phi,\tau_\Phi)$8. The same is true for the thermal space $(\Phi,\tau_\Phi)$9, and the map $\Phi^\times$0 is a nuclear isomorphism (Takahashi et al., 9 Aug 2025).

This topological refinement is what makes unbounded and distributional objects manageable. Continuity is understood with respect to the nuclear topology: an operator is continuous on $\Phi^\times$1 if it is continuous as a map in the locally convex topology $\Phi^\times$2. In that setting, Liouvillians or Hamiltonians that may be unbounded on the Hilbert space $\Phi^\times$3 can act continuously on the test space. Their generalized eigenoperators then belong naturally to the anti-dual $\Phi^\times$4, just as generalized eigenvectors of an unbounded Hamiltonian belong to $\Phi^\times$5 in ordinary RHS theory (Takahashi et al., 9 Aug 2025).

The super bra-ket formulation makes this explicit. For $\Phi^\times$6, one defines the super bra and super ket by

$\Phi^\times$7

so that

$\Phi^\times$8

For rank-one operators $\Phi^\times$9, the notation

$\mathcal{H}$0

realizes double super bra-kets as images of tensor-product bras and kets under the extended unitary map (Ohmori et al., 29 Apr 2026).

A common misconception is to identify RLS with the Hilbert space of Hilbert–Schmidt operators itself. The literature distinguishes them sharply. Standard Liouville space works for trace-class density matrices, bounded observables, and equilibrium situations where everything is Hilbert–Schmidt. RLS augments that structure precisely because ordinary Hilbert–Schmidt space is too small to contain projector-like operators onto improper eigenvectors, operator-valued distributions, or generalized Liouvillian eigenoperators (Takahashi et al., 9 Aug 2025). Another important limitation is that the concrete form of the test-operator space is not fixed universally: operators with nice kernels, finite rank, or sufficiently fast decay are mentioned as typical examples, but the detailed realization is constructed abstractly rather than specified once and for all (Takahashi et al., 9 Aug 2025).

5. Spectral decomposition, quasi-Hermiticity, and irreversible dynamics

In the Hermitian setting, RLS supports a rigorous spectral calculus for Liouvillians. If $\mathcal{H}$1 is self-adjoint and continuous on the underlying test space, the nuclear spectral theorem yields generalized eigenvectors in the dual space of the RHS. Passing to the tensor-product and then to Liouville space, one obtains generalized super eigenvectors of the Liouvillian

$\mathcal{H}$2

with eigenvalues given by spectral differences $\mathcal{H}$3, together with spectral expansions, completeness relations, and orthonormality relations in the super bra-ket formalism (Ohmori et al., 29 Apr 2026).

The quasi-Hermitian extension preserves this structure with a metric operator. If $\mathcal{H}$4 and $\mathcal{H}$5 commutes with $\mathcal{H}$6, then the tensor-space operator

$\mathcal{H}$7

is $\mathcal{H}$8–quasi-Hermitian, and the induced Liouvillian satisfies

$\mathcal{H}$9

On the RLS duals, the quasi-Hermitian symmetry is preserved as an exact identity, and the spectral decomposition takes biorthogonal form rather than orthonormal form (Ohmori et al., 29 Apr 2026). The paper illustrates this difference by comparing the Hermitian harmonic oscillator Liouvillian with the Liouvillian induced by the Swanson Hamiltonian. In both cases the eigenvalues are $\Phi$0, but in the quasi-Hermitian case the generalized super eigenvectors occur in biorthogonal families and the metric operators $\Phi$1 and $\Phi$2 appear explicitly in the expansions (Ohmori et al., 29 Apr 2026).

The relation to irreversible dynamics is conceptual rather than identical in current formulations. RHS treatments of the reversed harmonic oscillator show how Gamow vectors, Hardy subspaces, and one-sided semigroups encode decaying states and time asymmetry at the level of generalized vectors rather than Hilbert-space vectors (Marcucci et al., 2016). That literature states explicitly that RLS is, conceptually, for density operators what RHS is for state vectors. This suggests that generalized Liouvillian eigenoperators in $\Phi$3 play the operator-level role of Gamow vectors, with resonant decay and non-unitary semigroup behavior represented in the dual space rather than in the Hilbert–Schmidt core. The papers on RLS adopt this viewpoint when they describe generalized eigenoperators, decaying modes, and non-selfadjoint Liouvillians as natural inhabitants of the rigged dual (Takahashi et al., 9 Aug 2025).

6. Physical interpretation, applications, and open directions

Physically, RLS is a rigged extension of the space of density operators and correlation operators. In equilibrium statistical mechanics, ordinary thermal states

$\Phi$4

are trace-class and sit inside $\Phi$5, hence in $\Phi$6 when that test space is chosen appropriately. Thermal correlation functions may then be written either as Hilbert–Schmidt inner products in Liouville space or as expectation values in the TFD rigged space, with the RLS–TFD isomorphism guaranteeing that the two descriptions are topologically consistent even when singular limits are approached (Takahashi et al., 9 Aug 2025).

The framework is particularly relevant when $\Phi$7 or the Liouvillian has continuous spectrum, when scattering-like finite-temperature states are involved, or when generalized operator kernels arise. In these regimes, the dual spaces $\Phi$8 and $\Phi$9 accommodate operator distributions such as projections onto continuous-spectrum eigenstates, delta-like kernels in operator form, and unbounded operator-valued objects appearing in dynamical generators (Takahashi et al., 9 Aug 2025). This is the sense in which RLS extends the reach of Liouville-space methods beyond the Hilbert–Schmidt setting.

For non-equilibrium and open-system problems, the literature is suggestive but not yet exhaustive. The finite-temperature construction identifies RLS as a natural platform for future generalizations to open and non-equilibrium quantum systems (Takahashi et al., 9 Aug 2025). The quasi-Hermitian Liouvillian formulation states that RLS should be useful in non-equilibrium and open quantum systems where non-Hermitian Liouvillians play a key role, but it also notes that full open-system Lindbladians are not worked out there and that extension to more general non-Hermitian cases with complex eigenvalues is left for future work (Ohmori et al., 29 Apr 2026). A plausible implication is that current RLS theory has established the operator-topological and spectral scaffolding, while model-specific realizations for dissipative generators remain an active area for development.

Within the broader rigged-space literature, this places RLS at the intersection of several established themes: tensor-product RHS methods, pure-state thermalization by purification, generalized spectral theory for unbounded operators, and biorthogonal or quasi-Hermitian decompositions. Its distinctive contribution is to reconcile operator and doubled-state formulations within a single rigged framework,

$\mathcal{H}$00

so that mixed states, thermal purifications, and generalized Liouvillian modes can be treated within the same nuclear-topological architecture (Takahashi et al., 9 Aug 2025).