Quantum Ergodicity and Thermalization in Interval Quantum Mechanics

Abstract: We combine Reimann's spectral typicality theorem -- a modern formulation of quantum ergodicity -- with the framework of Interval Quantum Mechanics (IQM). In IQM, quantum states are represented not by points but by \emph{quantum parcels}: weak open convex sets of density matrices defined by finitely many expectation intervals. Such parcels are the exact mathematical representation of the epistemic knowledge obtained from finite-precision measurements of macroscopic observables. We prove that for a single parcel in which every state has large effective dimension (a condition that ensures thermalization), the expectation interval of any bounded observable becomes concentrated around the microcanonical value for most late times. The asymptotic bound depends only on the minimal effective dimension within the parcel, not on its detailed shape. For a double parcel ((O_1,O_2)) with both components contained in an energy shell, separated by a conserved quantity (Q^*) that is supported on the range of the measurement projector, we show that the expectation intervals of both parcels become concentrated near the microcanonical values of bounded observables, the separation is preserved exactly, and the updated double parcel after a fuzzy measurement remains valid.

• The paper extends Reimann’s spectral typicality theorem to interval-valued epistemic parcels, demonstrating uniform thermalization for states with high effective dimension.
• The methodology leverages finite-resolution open convex parcels to model experimental uncertainties, linking geometric properties of state space with thermodynamic behavior.
• The results imply that macroscopic irreversibility and thermalization can be rigorously quantified via an operational, finite-precision formulation of quantum mechanics.

Quantum Ergodicity and Thermalization in Interval Quantum Mechanics

Introduction

This paper rigorously develops the intersection between quantum ergodicity, as formulated via Reimann’s spectral typicality theorem, and the interval-valued epistemic framework of Interval Quantum Mechanics (IQM). The standard formulation of quantum mechanics assumes idealized knowledge—each quantum system is fully specified by a single density operator. IQM, by contrast, argues for a more operational approach where quantum states are represented by open convex "parcels" in the state space, defined through finite-resolution data. This work investigates the dynamical evolution and long-time properties of such parcels, especially concerning thermalization and ergodicity.

Quantum Ergodicity Revisited

Following the lineage from von Neumann’s quantum ergodic theorem to Reimann’s generalization, the context is set in finite-dimensional Hilbert spaces with Hamiltonians admitting an energy-shell decomposition. Reimann’s result demonstrates that for initial states with large effective dimension, time-averaged expectation values of bounded observables sharply concentrate around their microcanonical averages, with fluctuations suppressed as the effective dimension increases.

The effective dimension for a density matrix $\rho$ is $$d_{\mathrm{eff}}(\rho) = 1 / \max_n \langle n | \rho | n \rangle$$, quantifying the "spread" across energy eigenstates. States with $d_{\mathrm{eff}}(\rho) \gg 1$—those not peaked on single eigenstates—yield strong equilibration properties under time evolution.

Interval Quantum Mechanics: Epistemic State Spaces

IQM postulates that the proper mathematical object representing experimental knowledge is not a singleton density matrix but an open set (parcel) in state space, compatible with finitely many expectation intervals arising from finite-precision measurement. Such parcels are weak open convex subsets of $\mathcal{D}(\mathcal{H})$, defined as

$$O = \{ \rho \in \mathcal{D}(\mathcal{H}) : a_j < \operatorname{Tr}(\rho H_j) < b_j, \; j=1,\dots,m \}$$

for bounded observables $H_j$ and intervals $(a_j, b_j)$. Thermalization and ergodicity must therefore hold uniformly over all states within such parcels to be physically meaningful.

A critical technical assumption is that the parcel $O$ should be restricted to those with large minimal effective dimension:

$$d_{\mathrm{eff}}(O) = \inf_{\rho \in O} d_{\mathrm{eff}}(\rho) \geq D$$

for $D \gg 1$, ensuring all compatible states are in the thermalizing regime.

Uniform Ergodicity and Parcel Thermalization

A central result is the extension of Reimann's spectral typicality from singleton states to parcels. For any parcel $$d_{\mathrm{eff}}(\rho) = 1 / \max_n \langle n | \rho | n \rangle$$0 contained in an energy shell with $$d_{\mathrm{eff}}(\rho) = 1 / \max_n \langle n | \rho | n \rangle$$1, and any target precision $$d_{\mathrm{eff}}(\rho) = 1 / \max_n \langle n | \rho | n \rangle$$2, there exists a set of "good times" $$d_{\mathrm{eff}}(\rho) = 1 / \max_n \langle n | \rho | n \rangle$$3 of large measure such that for any bounded observable $$d_{\mathrm{eff}}(\rho) = 1 / \max_n \langle n | \rho | n \rangle$$4, the range of possible expectation values over $$d_{\mathrm{eff}}(\rho) = 1 / \max_n \langle n | \rho | n \rangle$$5 is uniformly close to the microcanonical value:

$$d_{\mathrm{eff}}(\rho) = 1 / \max_n \langle n | \rho | n \rangle$$6

outside a set of asymptotic time density at most $$d_{\mathrm{eff}}(\rho) = 1 / \max_n \langle n | \rho | n \rangle$$7, where $$d_{\mathrm{eff}}(\rho) = 1 / \max_n \langle n | \rho | n \rangle$$8 is the covering number of $$d_{\mathrm{eff}}(\rho) = 1 / \max_n \langle n | \rho | n \rangle$$9 in trace norm. The bound depends solely on the minimal effective dimension in $d_{\mathrm{eff}}(\rho) \gg 1$0 and not on its detailed geometry.

The width of the expectation interval contractively approaches $d_{\mathrm{eff}}(\rho) \gg 1$1 for sufficiently large $d_{\mathrm{eff}}(\rho) \gg 1$2 and long time averages. Moreover, for any observable that is a constant of motion ($d_{\mathrm{eff}}(\rho) \gg 1$3), the interval of possible expectation values remains invariant under time evolution, reflecting strict conservation at the parcel level.

It is emphasized that for practical macroscopic systems, $d_{\mathrm{eff}}(\rho) \gg 1$4 scales exponentially with the system's Hilbert space dimension, making sufficiently large $d_{\mathrm{eff}}(\rho) \gg 1$5 essential for meaningful bounds on non-thermalizing times.

Double Parcels and Conservation-Induced Separation

The analysis generalizes to "double parcels" $d_{\mathrm{eff}}(\rho) \gg 1$6, which model epistemic uncertainty partitioned according to a measurement outcome or a conserved quantity. Both $d_{\mathrm{eff}}(\rho) \gg 1$7 and $d_{\mathrm{eff}}(\rho) \gg 1$8 are contained in the same energy shell but separated by a second conserved quantity $d_{\mathrm{eff}}(\rho) \gg 1$9 (e.g., particle number, magnetization), which has non-overlapping expectation intervals on $\mathcal{D}(\mathcal{H})$0 and $\mathcal{D}(\mathcal{H})$1. The main results are summarized as follows:

• Each parcel admits the same uniform microcanonical concentration bound for all thermalizing (non-conserved) observables.
• The separation induced by $\mathcal{D}(\mathcal{H})$2 is exactly preserved at all times, reflecting the strict conservation and operational distinguishability even after long-time evolution.
• After performing a finite-precision fuzzy measurement associated with the projector onto $\mathcal{D}(\mathcal{H})$3, the updated double parcel remains a pair of valid, separated open sets, provided the measurement strength is close to ideal.
• The "geometric information" quotient $\mathcal{D}(\mathcal{H})$4 is preserved under unitary evolution but strictly increases under measurement—a geometric realization of information gain.

These results illustrate how epistemic separation is maintained only by exact conservation laws in the finite-precision formalism, while all thermalizing observables lose any memory of the initial parcel's detailed structure.

Implications and Future Directions

The work bridges the operational reality of finite-precision measurement with rigorous ergodic and thermalization results. It demonstrates that genuinely macroscopic thermalization, at the level of possible epistemic states, requires not just an initial "typical" state but an entire parcel of states, all of which must have large effective dimension.

The approach motivates a geometric theory of quantum thermodynamics, where the refinement of epistemic parcels—rather than dynamics of points or ensembles—encodes the emergence of equilibrium and the arrow of time. Parcel volume contraction under measurement is interpreted as information gain, providing a precise quantitative link between knowledge acquisition and quantum state space geometry.

This framework has potential applications in finite-resource quantification, quantum state and process tomography, and resource-theoretic approaches to thermodynamics—especially for macroscopic systems where only expectation intervals are experimentally accessible. Extensions to infinite-dimensional Hilbert spaces and AQFT settings, as well as the statistical analysis of measurement protocols in the IQM context, are natural directions for further research.

Conclusion

The results establish a mathematically rigorous and operationally meaningful framework for quantum thermalization based on parcels in IQM. By quantifying thermalization and ergodicity over entire parcels under physical hypotheses on effective dimension, the work provides a finite-precision, epistemic perspective on quantum statistical mechanics, demonstrating explicit connections between geometry of state space, ergodic bounds, and the thermodynamic arrow derived from experimental limitations. Future developments in this direction may yield new formulations of macroscopic irreversibility and constraints in quantum theory under operationally realistic assumptions.