pith. sign in

arxiv: 2606.05542 · v1 · pith:KVEWFL6Rnew · submitted 2026-06-04 · 🧮 math-ph · cond-mat.stat-mech· math.MP· quant-ph

Thermalization with Gaussian Quantum Cellular Automata

Roman Geiko , Jake Gerenraich This is my paper

Pith reviewed 2026-06-27 23:46 UTC · model grok-4.3

classification 🧮 math-ph cond-mat.stat-mechmath.MPquant-ph
keywords Gaussian quantum cellular automatathermalizationRiemann-Lebesgue lemmabosonic lattice systemsinfinite temperature statelocal Weyl algebratranslation invarianceparticle density bound
0
0 comments X

The pith

Two sets of conditions on translation-invariant Gaussian quantum cellular automata guarantee thermalization of any locally normal state with uniformly bounded particle density to the infinite temperature state on the local Weyl algebra.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that translation-invariant Gaussian quantum cellular automata on bosonic lattices drive suitable initial states toward infinite temperature. It does so by proving a many-body version of the Riemann-Lebesgue lemma that limits the long-time expectation values of local Weyl operators according to their spatial support and the state's particle density. A reader would care because the result supplies a concrete dynamical mechanism that produces thermalization from unitary evolution alone, without presupposing equilibrium or mixing properties. The argument applies whenever the evolving state remains locally normal and its particle density stays uniformly bounded. Two distinct sets of conditions on the automata each suffice for this conclusion.

Core claim

Under two separate sets of conditions on translation-invariant GQCAs, any locally normal state with uniformly bounded particle density evolves to the infinite temperature state on the local Weyl algebra; the proof rests on a quantum many-body generalization of the Riemann-Lebesgue lemma that bounds the expectation value of any local Weyl operator by a quantity involving the operator's support size and the state's particle density.

What carries the argument

Quantum many-body generalization of the Riemann-Lebesgue lemma: a bound on expectation values of local Weyl operators that incorporates their support and the state's particle density.

If this is right

  • Local observables on the Weyl algebra converge to their infinite-temperature values whenever either set of conditions on the GQCAs holds.
  • The generalized Riemann-Lebesgue bound forces the decay of off-diagonal matrix elements when the operator support is fixed and time grows.
  • Thermalization occurs for every initial state satisfying the local normality and density bound, independent of further details of the state.
  • The result separates the roles of the two sets of conditions, each sufficient on its own.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same bounding technique might be adapted to prove thermalization for non-Gaussian or non-translation-invariant automata if analogous decay estimates can be obtained.
  • Numerical checks on finite lattices with periodic boundaries could test how quickly the bound becomes effective for concrete automata satisfying the conditions.
  • The approach may connect to ergodicity questions for other discrete-time quantum dynamics on infinite lattices.
  • Extensions could examine whether similar lemmas control thermalization when the density bound is allowed to grow slowly with time.

Load-bearing premise

The GQCAs are translation-invariant and Gaussian, and the states remain locally normal with uniformly bounded particle density throughout the evolution.

What would settle it

An explicit translation-invariant Gaussian QCA together with a locally normal state of bounded density for which the expectation of some local Weyl operator fails to approach its infinite-temperature value at long times.

read the original abstract

We study the long-time dynamics of many-body bosonic lattice systems under translation-invariant Gaussian quantum cellular automata. We formulate two sets of conditions on GQCAs which separately guarantee thermalization of any state on the local Weyl algebra to the infinite temperature state, whenever the state is locally normal and has uniformly bounded particle density. Our main intermediate result is a quantum many-body generalization of the classic Riemann-Lebesgue lemma which is a bound on expectation values of local Weyl operators involving their support and the state's particle density.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 0 minor

Summary. The manuscript studies the long-time dynamics of many-body bosonic lattice systems under translation-invariant Gaussian quantum cellular automata (GQCAs). It formulates two sets of conditions on such GQCAs that separately guarantee thermalization of any locally normal state with uniformly bounded particle density to the infinite-temperature state on the local Weyl algebra. The main intermediate result is a quantum many-body generalization of the Riemann-Lebesgue lemma, which bounds expectation values of local Weyl operators in terms of their support size and the state's particle density.

Significance. If the two sets of conditions and the generalized lemma hold, the work supplies rigorous, translation-invariant criteria for thermalization to infinite temperature in infinite bosonic systems, extending classical ergodic ideas to Gaussian quantum dynamics. The parameter-free character of the Riemann-Lebesgue bound (controlled only by support and density) is a technical strength that could be reusable beyond this setting.

major comments (2)
  1. [Abstract] Abstract (and opening paragraphs): the two sets of conditions on the GQCAs are asserted to exist but are never displayed or characterized; without their explicit form it is impossible to verify whether they are independent of the thermalization conclusion or merely restate it. This is load-bearing for the central claim.
  2. [Abstract] Abstract: the generalized Riemann-Lebesgue bound is described only qualitatively ('involving their support and the state's particle density'); no statement of the bound, its hypotheses, or the proof strategy is supplied, preventing assessment of whether the bound actually implies the claimed decay for all locally normal states of bounded density.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their comments. We address each major comment below and agree that the abstract requires revision for clarity while maintaining that the full details appear in the manuscript body.

read point-by-point responses

  1. Referee: [Abstract] Abstract (and opening paragraphs): the two sets of conditions on the GQCAs are asserted to exist but are never displayed or characterized; without their explicit form it is impossible to verify whether they are independent of the thermalization conclusion or merely restate it. This is load-bearing for the central claim.

    Authors: The two sets of conditions are explicitly formulated and characterized in the body of the manuscript (Conditions 3.1 and 3.2), where they are stated as a mixing property of the single-particle Bogoliubov dynamics together with a non-degeneracy condition on the dispersion relation; these are independent of the thermalization statement and serve as hypotheses for the main theorem. We nevertheless agree that the abstract provides no characterization at all. We will revise the abstract to include a concise description of the conditions. revision: yes

  2. Referee: [Abstract] Abstract: the generalized Riemann-Lebesgue bound is described only qualitatively ('involving their support and the state's particle density'); no statement of the bound, its hypotheses, or the proof strategy is supplied, preventing assessment of whether the bound actually implies the claimed decay for all locally normal states of bounded density.

    Authors: Theorem 2.1 states the bound explicitly as |ω(W(φ))| ≤ C · |supp(φ)| · ρ_max, where ρ_max is the uniform particle-density bound and the constant C depends only on the GQCAs dynamics; the proof proceeds by reducing to the single-particle level via the Weyl relations and using the bounded-density assumption to control the many-body expectation. The abstract description is indeed only qualitative. We will revise the abstract to include a brief statement of the bound and its hypotheses. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation proceeds from two sets of conditions on translation-invariant GQCAs to thermalization via an intermediate generalized Riemann-Lebesgue lemma that bounds Weyl-operator expectations by support size and particle density. This lemma is presented as an independent result, not defined in terms of the thermalization claim itself, and the final statement is not obtained by fitting, renaming, or self-citation chains. The provided abstract and description contain no equations that reduce the target result to its inputs by construction, making the argument self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms, or invented entities are identifiable from the abstract alone; the result is stated at the level of operator-algebra conditions without explicit fitting or new postulated objects.

pith-pipeline@v0.9.1-grok · 5606 in / 1113 out tokens · 15392 ms · 2026-06-27T23:46:11.426290+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

191 extracted references · 24 canonical work pages · 6 internal anchors

  1. [1]

    Gütschow, S

    Gütschow, Johannes and Uphoff, Sonja and Werner, Reinhard F. and Zimborás, Zoltán , year=. Time asymptotics and entanglement generation of Clifford quantum cellular automata , volume=. Journal of Mathematical Physics , publisher=. doi:10.1063/1.3278513 , number=

    work page doi:10.1063/1.3278513

  2. [2]

    Ruelle, David , title =

  3. [3]

    Physical Review Letters , volume =

    Reimann, Peter , title =. Physical Review Letters , volume =. 2008 , doi =

    2008

  4. [4]

    Equilibration, thermalisation, and the emergence of statistical mechanics in closed quantum systems

    Gogolin, Christian and Eisert, Jens , title =. Reports on Progress in Physics , volume =. 2016 , doi =. 1503.07538 , archivePrefix =

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  5. [5]

    Thermalization and its mechanism for generic isolated quantum systems

    Rigol, Marcos and Dunjko, Vanja and Olshanii, Maxim , title =. Nature , volume =. 2008 , doi =. 0708.1324 , archivePrefix =

    work page internal anchor Pith review Pith/arXiv arXiv 2008

  6. [6]

    From Quantum Chaos and Eigenstate Thermalization to Statistical Mechanics and Thermodynamics

    From quantum chaos and eigenstate thermalization to statistical mechanics and thermodynamics , journal =. 2016 , doi =. 1509.06411 , archivePrefix =

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  7. [7]

    Equilibrium states of generic quantum systems subject to periodic driving

    Lazarides, Achilleas and Das, Arnab and Moessner, Roderich , title =. Physical Review E , volume =. 2014 , doi =. 1403.2946 , archivePrefix =

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  8. [8]

    Effective Hamiltonians, prethermalization and slow energy absorption in periodically driven many-body systems

    Abanin, Dmitry A. and De Roeck, Wojciech and Ho, Wen Wei and Huveneers, Fran. Effective Hamiltonians, prethermalization, and slow energy absorption in periodically driven many-body systems , journal =. 2017 , doi =. 1510.03405 , archivePrefix =

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  9. [9]

    Werner , title =

    Ole Krüger and Reinhard F. Werner , title =. Quantum Information with Continuous Variables of Atoms and Light , chapter =. 2007 , doi =

    2007

  10. [10]

    2004 , eprint=

    Reversible quantum cellular automata , author=. 2004 , eprint=

    2004

  11. [11]

    2012 , publisher=

    Algebra , author=. 2012 , publisher=

    2012

  12. [12]

    1969 , publisher=

    Geodesic Flows on Closed Riemann Manifolds with Negative Curvature , author=. 1969 , publisher=

    1969

  13. [13]

    Anosov, D. V. , title =

  14. [14]

    and Abanin, Dmitry A

    Ponte, Pedro and Chandran, Anushya and Papić, Z. and Abanin, Dmitry A. , year=. Periodically driven ergodic and many-body localized quantum systems , volume=. doi:10.1016/j.aop.2014.11.008 , journal=

    work page doi:10.1016/j.aop.2014.11.008 2014

  15. [15]

    Many-body energy localization transition in periodically driven systems , volume=

    D’Alessio, Luca and Polkovnikov, Anatoli , year=. Many-body energy localization transition in periodically driven systems , volume=. doi:10.1016/j.aop.2013.02.011 , journal=

    work page doi:10.1016/j.aop.2013.02.011 2013

  16. [16]

    Floquet thermalization: Symmetries and random matrix ensembles , volume=

    Regnault, Nicolas and Nandkishore, Rahul , year=. Floquet thermalization: Symmetries and random matrix ensembles , volume=. Physical Review B , publisher=. doi:10.1103/physrevb.93.104203 , number=

    work page doi:10.1103/physrevb.93.104203

  17. [17]

    1995 , note =

    Kato, Tosio , title =. 1995 , note =

    1995

  18. [18]

    Robinson, D. W. Normal and locally normal states. Commun. Math. Phys. 1970. doi:10.1007/BF01646823

    work page doi:10.1007/bf01646823 1970

  19. [19]

    , title =

    Werner, R. , title =. Journal of Mathematical Physics , volume =. 1984 , month =. doi:10.1063/1.526310 , url =

    work page doi:10.1063/1.526310 1984

  20. [20]

    2026 , eprint=

    On thermalization in many-body classical Floquet systems , author=. 2026 , eprint=

    2026

  21. [21]

    EQUIVARIANT ANDERSON DUALITY AND MACKEY FUNCTOR DUALITY , volume=

    RICKA, NICOLAS , year=. EQUIVARIANT ANDERSON DUALITY AND MACKEY FUNCTOR DUALITY , volume=. Glasgow Mathematical Journal , publisher=. doi:10.1017/s0017089515000397 , number=

    work page doi:10.1017/s0017089515000397

  22. [22]

    K-theory, reality, and duality , volume=

    Heard, Drew and Stojanoska, Vesna , year=. K-theory, reality, and duality , volume=. Journal of K-theory , publisher=. doi:10.1017/is014007001jkt275 , number=

    work page doi:10.1017/is014007001jkt275

  23. [23]

    2025 , eprint=

    A Classification of Invertible Stabilizer Codes , author=. 2025 , eprint=

    2025

  24. [24]

    2019 , url=

    ON CERTAIN GROUPS OF UNITARY OPERATORS , author=. 2019 , url=

    2019

  25. [25]

    2025 , eprint=

    Anomalies on the Lattice, Homotopy of Quantum Cellular Automata, and a Spectrum of Invertible States , author=. 2025 , eprint=

    2025

  26. [26]

    Zhou, D. L. and Zeng, B. and Xu, Z. and Sun, C. P. , year=. Quantum computation based on d-level cluster state , volume=. Physical Review A , publisher=

  27. [27]

    2016 , eprint=

    Tiling by lattices for locally compact abelian groups , author=. 2016 , eprint=

    2016

  28. [28]

    Pacific Journal of Mathematics , year=

    CATEGORY THEORY APPLIED TO PONTRYAGIN DUALITY , author=. Pacific Journal of Mathematics , year=

  29. [29]

    THE WITT GROUP OF QUADRATIC CHARACTERS , urldate =

    RAINER WEISSAUER , journal =. THE WITT GROUP OF QUADRATIC CHARACTERS , urldate =

  30. [30]

    2017 , eprint=

    A K-theoretic approach to Artin maps , author=. 2017 , eprint=

    2017

  31. [31]

    de Vries , journal =

    J. de Vries , journal =. The local weight of an effective locally compact transformation group and the dimension of L^2(G) , url =

  32. [32]

    I. E. SEGAL , journal =. TRANSFORMS FOR OPERATORS AND SYMPLECTIC AUTOMORPHISMS OVER A LOCALLY COMPACT ABELIAN GROUP , urldate =

  33. [33]

    Bulletin of the American Mathematical Society , year=

    On the role of the Heisenberg group in harmonic analysis , author=. Bulletin of the American Mathematical Society , year=

  34. [34]

    Folland , series =

    Gerald B. Folland , series =. Harmonic Analysis in Phase Space. (AM-122) , year =

  35. [35]

    Anomalies on the Lattice, Homotopy of Quantum Cellular Automata, and a Spectrum of Invertible States , author=

  36. [36]

    2025 , eprint=

    Topological description of pure invariant states of the Weyl C^* -algebra , author=. 2025 , eprint=

    2025

  37. [37]

    A classification of invertible phases of bosonic quantum lattice systems in one dimension , volume=

    Kapustin, Anton and Sopenko, Nikita and Yang, Bowen , year=. A classification of invertible phases of bosonic quantum lattice systems in one dimension , volume=. Journal of Mathematical Physics , publisher=

  38. [38]

    2025 , eprint=

    Excitation-detector principle and the algebraic theory of planon-only abelian fracton orders , author=. 2025 , eprint=

    2025

  39. [39]

    Hastings , title =

    Jeongwan Haah and Lukasz Fidkowski and Matthew B. Hastings , title =. 2022 , publisher =

    2022

  40. [40]

    Clifford quantum cellular automata:

    Haah, Jeongwan , journal=. Clifford quantum cellular automata:. 2021 , publisher=

    2021

  41. [41]

    Classifying quantum phases with the Kirby torus trick , author =. Phys. Rev. B , volume =. 2013 , publisher =

    2013

  42. [42]

    Hastings , title =

    Michael Freedman and Matthew B. Hastings , title =. 2020 , publisher =

    2020

  43. [43]

    , journal =

    Fidkowski, Lukasz and Haah, Jeongwan and Hastings, Matthew B. , journal =. Exactly solvable model for a 4+1. 2020 , publisher =

    2020

  44. [44]

    Invertible subalgebras , author=

  45. [45]

    Ellison and Nathanan Tantivasadakarn and Dominic J

    Wilbur Shirley and Yu-An Chen and Arpit Dua and Tyler D. Ellison and Nathanan Tantivasadakarn and Dominic J. Williamson , title =

  46. [46]

    On the structure of the special linear group over polynomial rings , author=. Math. USSR-Izvestiya , volume=

  47. [47]

    Swan , journal=

    Richard G. Swan , journal=. Projective modules over. 1978 , publisher=

    1978

  48. [48]

    Max Karoubi , journal=. P. 1973 , publisher=

    1973

  49. [49]

    Le th \'e or \`e me fondamental de la K -th \'e orie hermitienne

    Karoubi, Max , journal=. Le th \'e or \`e me fondamental de la K -th \'e orie hermitienne. 1980 , publisher=

    1980

  50. [50]

    Suites de Sturm, indice de Maslov et périodicité de Bott

    Jean Barge and Jean Lannes. Suites de Sturm, indice de Maslov et périodicité de Bott. 2008

    2008

  51. [51]

    The K-book: an introduction to algebraic K-theory

    Charles Weibel. The K-book: an introduction to algebraic K-theory. 2013

    2013

  52. [52]

    , journal=

    Ranicki, Andrew A. , journal=. Algebraic. 1973 , publisher=

    1973

  53. [53]

    Journal of Mathematical Physics , volume=

    Automorphisms of the fine grading of sl (n, C) associated with the generalized Pauli matrices , author=. Journal of Mathematical Physics , volume=. 2002 , publisher=

    2002

  54. [54]

    Hermitian

    Schlichting, Marco , journal=. Hermitian. 2017 , publisher=

    2017

  55. [55]

    Classification of interacting Floquet phases with U(1) symmetry in two dimensions , author =. Phys. Rev. B , volume =. 2021 , publisher =

    2021

  56. [56]

    Effective response theory for Floquet topological systems , author =. Phys. Rev. Res. , volume =. 2021 , publisher =

    2021

  57. [57]

    Anomalous Floquet insulators , author =. Phys. Rev. B , volume =. 2019 , publisher =

    2019

  58. [58]

    Bulk-boundary correspondence for interacting

    Carolyn Zhang and Michael Levin , year=. Bulk-boundary correspondence for interacting

  59. [59]

    and Vogts, Holger and Werner, Reinhard F

    Schlingemann, Dirk-M. and Vogts, Holger and Werner, Reinhard F. , journal=. On the structure of. 2008 , publisher=

    2008

  60. [60]

    Manuel Ojanguren , journal=. On. 1984 , publisher=

    1984

  61. [61]

    Swan , isbn=

    Richard G. Swan , isbn=. Algebraic. 1968 , publisher=

    1968

  62. [62]

    Annales scientifiques de l'\'Ecole Normale Sup\'erieure , pages =

    Karoubi, Max , title =. Annales scientifiques de l'\'Ecole Normale Sup\'erieure , pages =

  63. [63]

    Physical review b , volume=

    Local unitary transformation, long-range quantum entanglement, wave function renormalization, and topological order , author=. Physical review b , volume=. 2010 , publisher=

    2010

  64. [64]

    2002 , publisher=

    Classical and Quantum Computation , author=. 2002 , publisher=

    2002

  65. [65]

    Annales Henri Poincar

    Twisted equivariant matter , author=. Annales Henri Poincar. 2013 , organization=

    2013

  66. [66]

    Physical Review B , volume=

    Interacting invariants for Floquet phases of fermions in two dimensions , author=. Physical Review B , volume=. 2019 , publisher=

    2019

  67. [67]

    Theory of Perturbations and Asymptotic Methods [In Russian] , author=. izd. MGU , year=

  68. [68]

    arXiv preprint arXiv:2110.04675 , year=

    Classification of gapped ground state phases in quantum spin systems , author=. arXiv preprint arXiv:2110.04675 , year=

    work page arXiv

  69. [69]

    Communications in Mathematical Physics , volume=

    Nontrivial quantum cellular automata in higher dimensions , author=. Communications in Mathematical Physics , volume=. 2023 , publisher=

    2023

  70. [70]

    Signatures in algebra, topology and dynamics , author=

  71. [71]

    , author=

    Characteristic class entering in quantization conditions. , author=. Funktsional'nyi Analiz i Ego Prilozhenia , pages=

  72. [72]

    Jones, Corey , year=

  73. [73]

    Homotopical foundations of parametrized quantum spin systems , author=

  74. [74]

    Journal of Mathematical Physics , volume=

    Local Noether theorem for quantum lattice systems and topological invariants of gapped states , author=. Journal of Mathematical Physics , volume=. 2022 , publisher=

    2022

  75. [75]

    Voevodsky, Vladimir , journal=. The

  76. [76]

    Non-interacting Spectrally-Gapped One-Dimensional Systems , author=

    Topological Classification of Insulators: I. Non-interacting Spectrally-Gapped One-Dimensional Systems , author=

  77. [77]

    Flow of (higher) Berry curvature and bulk-boundary correspondence in parametrized quantum systems , author=

  78. [78]

    Journal of Mathematical Physics , volume=

    Mixing and localization in random time-periodic quantum circuits of Clifford unitaries , author=. Journal of Mathematical Physics , volume=. 2022 , publisher=

    2022

  79. [79]

    PRX Quantum , volume=

    Absence of localization in two-dimensional Clifford circuits , author=. PRX Quantum , volume=. 2023 , publisher=

    2023

  80. [80]

    Journal of Physics A: Mathematical and Theoretical , volume=

    Minimalist approach to the classification of symmetry protected topological phases , author=. Journal of Physics A: Mathematical and Theoretical , volume=. 2018 , publisher=

    2018

Showing first 80 references.