REVIEW 3 major objections 5 minor 1 cited by
Large deviations in quantum dynamics and complexity
T0 review · 3 major / 5 minor · reviewed 2026-08-01 · deepseek-v4-flash
Pith's one-line read This paper argues that large deviations in many-body quantum dynamics split into three distinct phenomena whose equilibration times differ enormously: the full distribution of an observable settles in size-independent O(1) time, monitored m
desk verdict The Mattis-model large-deviation computation is solid and the sliding-cutoff picture is attractive, but the exp(e^N) time scale is a heuristic that the numerics are far too small to support. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The argument rests on a statistical-mechanics mapping. The phase factors s_i(t)=e^{-iε_i t} built from the pseudo-energy eigenvalues of the unitary evolution are treated as XY spins living on the torus U(1)^D, where D~e^N is the Hilbert-space dimension. The return probability and the spectral form factor become Hamiltonians of a Mattis model with these spins as degrees of freedom, and the long-time distribution of their values is obtained from the model's entropy density S(-a). The finite-time distribution is then predicted by the sliding-cutoff formula P_{t_max}(a) ~ e^{D S(-a)} for a ≤ a*, with S(-a*) = -D^{-1} ln t_max, which forces the equilibration time to be double-exponential. The sam
What would settle it
Numerically compute the time distribution of the spectral form factor in an integrable (e.g., noninteracting) spin chain and check whether the cutoff a*(t_max) obeys S(-a*) = -D^{-1} ln t_max with a Mattis-model entropy; if the cutoff grows much slower or the distribution fails to match the truncated large-deviation form, the ergodicity assumption is violated and the paper's central prediction for expectation values collapses.
Extended reading notes
Core claim
The paper's central claim is a trichotomy of equilibration time scales for large deviations in generic, non-integrable many-body quantum dynamics without conservation laws. For an extensive observable A, the full distribution ⟨δ(A(t)-Na)⟩ reaches its long-time (infinite-temperature) form at t ~ O(1), independently of system size N. The distribution of measurement outcomes of a continuously monitored extensive observable over 0 ≤ t ≤ t_max reaches its infinite-time form only at t_max ~ e^N. And the distribution of expectation values ⟨A⟩_t over 0 ≤ t ≤ t_max—including return probability, spectral form factor, autocorrelation function, and operator size—reaches its infinite-time form only at t_
Load-bearing premise
The entire double-exponential time scale and sliding-cutoff prediction rest on the assumption that the sequence of phase factors s_i(t)=e^{-iε_i t} samples the full torus U(1)^D uniformly, i.e., that the time trajectory of the wavefunction is ergodic over the Hilbert-space configuration space; if this ergodicity fails, the exp(e^N) scale does not follow.
Editorial extensions
If this is right
- The full distribution of an extensive quantity is not a useful complexity measure: it equilibrates in size-independent O(1) time, unlike classical deterministic systems.
- Monitored quantum large deviations reproduce the classical story: atypical measurement outcomes are observed only after exponentially long times t ~ e^N.
- Expectation-value spikes—brief, one-shot-observable rare fluctuations—occur on the Hilbert-space recurrence scale t ~ exp(e^N), matching known recurrence bounds.
- The slowly drifting cutoff furnishes a concrete, operator-dependent measure of quantum complexity, with a single-parameter (number of independent samples) that is nearly operator independent.
- For Hamiltonian systems with a conserved energy, the double-exponential scale survives as long as the initial state has nonzero entropy density, with D replaced by the effective thermal Hilbert-space dimension.
Reading between the lines
- If the mapping is robust, the same trichotomy should appear in other chaotic quantum models, e.g., random circuits, and the sliding cutoff could be measured in current quantum simulators over times much shorter than exp(e^N) by looking at the frontier position for moderately rare events.
- The expectation-value complexity, with its exp(e^N) saturation time, is a natural candidate holographic dual to continued black-hole interior growth; the paper hints at this but does not develop a gravitational dictionary.
- A testable corollary: in integrable or many-body-localized systems where the XY-spin trajectory does not sample U(1)^D uniformly, the exp(e^N) cutoff growth should fail or slow dramatically, providing a clean diagnostic of quantum chaos.
- The proposed 'number of independent samples' M ≈ ln(t_max/t_c) offers an operator-independent complexity that could be compared across different observables and measurement schemes; verifying that M grows as predicted would distinguish this notion from Krylov/Nielsen complexity.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies large deviations in many-body quantum dynamics and proposes a trichotomy of time scales. It distinguishes (i) the full distribution of an extensive observable, argued to equilibrate at t ~ O(1) independently of N; (ii) the time distribution of monitored measurement outcomes, whose finite-time cutoff drifts on an e^N scale; and (iii) the time distribution of expectation values such as the return probability and the spectral form factor, whose cutoff drifts on an exp(e^N) scale. The latter is derived by mapping the unitary evolution to variables s_i(t)=e^{-i ε_i t}, treating them as XY spins, and computing the infinite-time distribution from an analytically solvable Mattis model (Appendix A). A classical rare-region argument is then used to predict a sliding cutoff. The paper proposes the evolution of these cutoffs as a measure of quantum complexity. Numerical support is provided for the kicked Ising model.
Significance. If the trichotomy holds, the paper gives a new, operationally defined notion of quantum complexity with time scales distinct from Nielsen and Krylov complexity, and connects large deviations to Hilbert-space recurrence. The analytic Mattis-model solution in Appendix A is a clear strength: it is parameter-free and directly yields the infinite-time distribution for the return probability and SFF. The numerical comparison in Figs. 3-4 supports the distribution prediction. The paper is clearly written and provocative. However, the central exp(e^N) time scale rests on a heuristic hitting-time assumption that is not derived or directly tested, and the mode of convergence to the longtime limit is left ambiguous.
major comments (3)
- [§3.3, Eqs. (22)–(29)] The double-exponential time scale is the central claim, but it rests on the unproved assertion that the linear flow s_i(t)=e^{-i ε_i t} samples U(1)^D uniformly and that the first-passage time to {r>a} is exp[D|S(-a)|]. For a Kronecker flow on a torus, ergodicity and hitting-time laws are controlled by Diophantine properties of the eigenphases ε_i; they are not consequences of the Haar measure. The numerics in Figs. 3–4 use D≤128 and t_max≤10^7, which is many orders of magnitude below e^D; they test the shape of P_{t_max}(a) at moderate a but cannot test the claimed exp(e^N) scaling. Please either prove or derive the hitting-time estimate under explicit assumptions, or clearly label it as a conjecture and provide a test of the D-dependence of the cutoff position (e.g., collapse of a* versus D^{-1} ln t_max for several N).
- [Abstract and §3.3, Eq. (29)] The abstract states that (iii) 'reach[es] its longtime limit at t∼exp(e^N)'. However, Eq. (29) combined with Eq. (50) (S∼(1/2)ln(1−a)) implies S is unbounded below, so the cutoff a* satisfies a*<1 for every finite t_max and the support of P_{t_max} never equals that of P∞. The text itself notes that the cutoff 'always exists and approaches 1 as t_max→∞'. The mode of convergence is therefore unclear: pointwise convergence of the large-deviation rate on a fixed interval is different from convergence of the probability measure, which can occur much earlier because the missing tail has small probability. Please state precisely in what sense the longtime limit is attained and adjust the abstract accordingly.
- [§3.2, Eq. (15)] The monitored-outcome result is presented through a single realization (N=18, Fig. 2) with no ensemble average or error bars. The central prediction of Eq. (15) is a cutoff with f*=N^{-1} ln t_max; to support this, the paper should extract the empirical cutoff and compare it with the predicted relation for more than one N. The same applies to the claim that the result is independent of measurement scheme, which is not tested.
minor comments (5)
- [§3.3, near Eq. (29)] The text writes S(−a)∼ln(1−a), but Appendix A Eq. (50) gives (1/2) ln(1−a). Correct the typo.
- [Eq. (24)] The notation '−h = r or SFF' is confusing; define h explicitly in the partition function.
- [Figures 3–4] Clarify whether panel (b) combines N=5 and N=7 data or shows one; the caption is ambiguous.
- [§4] The assertion that t_c scales at most as a power law for generic operators and measurement schemes is not demonstrated; add a reference or a test.
- [General presentation] There are several typos ('atpyical', 'an double exponential', 'The R_ij' capital letter, 'Dlnt'). Please proofread.
Circularity Check
Core large-deviation predictions are independent of their inputs; no circular derivation.
full rationale
The core derivation is self-contained and not circular. For the two flagship observables (return probability and SFF), the infinite-time large-deviation rate is computed analytically from the Mattis model (Eqs. (24)-(28), Appendix A) using only the Haar-uniformity assumption for s_i(t) and Gaussian eigenvector weights; no quantity fitted to the r/SFF time series enters this calculation. The finite-time cutoff prediction (29) is parameter-free: it determines a*(t_max) from S(-a*) = -D^{-1} ln t_max and the entropy computed in (26)-(28). The numerical comparisons in Figs. 3-4 are therefore nontrivial tests. The monitored-outcome section similarly compares a histogram to the binomial rate with a t_max-dependent cutoff, with no fitted constants. Self-citations ([24], [26]) are peripheral and appear in citation clusters with independent works, so they are not load-bearing. The general-operator subsection (Fig 5) does not claim an analytic rate prediction; it extracts the rate from the same time series and observes large-deviation scaling and cutoffs. That is a weaker test and an admitted limitation ('we numerically extract its energy large deviation rate function'), but it is not a case of renaming a fitted parameter as a prediction, and the central r/SFF claim does not depend on it. The main unproven assumption—that the quasiperiodic flow s_i(t)=e^{-iε_i t} has rare-region hitting times governed by the Haar entropy—is a physical assumption subject to correctness risk, but it is not circular.
Assumptions & free parameters
free parameters (1)
- t_c (correlation time) =
1
assumptions (6)
- domain assumption The long-time dynamics of the XY spin variables s_i(t)=e^{-iε_i t} samples the U(1)^D configuration space uniformly.
- domain assumption Off-diagonal matrix elements of a local operator A in the eigenbasis of U are random with variance 1/D (ETH).
- domain assumption The initial-state coefficients c_i = ⟨ε_i|ψ⟩ are real Gaussian random variables with zero mean and variance 2^{-N}.
- domain assumption The classical rare-region argument (exponential-in-N visit times) applies to the quantum time series of measurement outcomes and expectation values.
- domain assumption The kicked Ising model (5) is a generic chaotic many-body system with no local conserved quantities.
- standard math The Mattis-model partition function is evaluated in the D→∞ limit by a saddle point (Hubbard-Stratonovich).
Cite this review
Pith. "Pith review of Large deviations in quantum dynamics and complexity." pith.science (2026). https://pith.science/paper/AFUTOEET
@misc{pith2026260720959,
author = {Pith},
title = {Pith review of: Large deviations in quantum dynamics and complexity},
year = {2026},
howpublished = {\url{https://pith.science/paper/AFUTOEET}},
note = {Machine review of arXiv:2607.20959}
}
abstract
We study three definitions of large deviation in many-body quantum dynamics: (i) via the full distribution of an extensive observable, (ii) via the distribution of measurement outcomes (from a continuous monitoring of the observable) over a time interval $t \le t_{\max}$, and (iii) via the distribution of expectation values over $t \le t_{\max}$. In generic systems without conservation laws, the large deviation function (i) reaches its longtime limit at $t \sim \mathcal{O}(1)$, independently of system size $N$. (ii) and (iii) reach their longtime limit at $t \sim e^{ N}$ and $t \sim \exp(e^{N})$, respectively. Before that, there is a {\it sharp} frontier between the explored and unexplored outcomes/expectation values; their distribution equals the longtime limit truncated at values that drift with $t_{\max}$. We propose that the evolution of these values with $t_{\max}$ provides a measure of quantum complexity.
Figures
Figures from the paper (3 more)
Forward citations
Cited by 1 Pith paper
-
The Quantum Mechanics of Rare Events: From Quantum Walks to Stochastic Inflation
Rare fluctuations in quantum walks are ruled by a measurement-induced relative entropy, and applying this to stochastic inflation yields a steady state that violates detailed balance.
Reference graph
Works this paper leans on
-
[1]
A Universal Operator Growth Hypothesis , author =. Phys. Rev. X , volume =. 2019 , month =. doi:10.1103/PhysRevX.9.041017 , url =
-
[2]
First Principles Numerical Demonstration of Emergent Decoherent Histories , author =. Phys. Rev. X , volume =. 2024 , month =. doi:10.1103/PhysRevX.14.041027 , url =
-
[3]
Entropy increase in K -step Markovian and consistent dynamics of closed quantum systems , author =. Phys. Rev. E , volume =. 2014 , month =. doi:10.1103/PhysRevE.89.042113 , url =
-
[4]
Philipp Strasberg , journal=. 2023 , publisher=. doi:10.21468/SciPostPhys.15.1.024 , url=
-
[5]
Taking snapshots of a quantum thermalization process: Emergent classicality in quantum jump trajectories , author =. Phys. Rev. E , volume =. 2020 , month =. doi:10.1103/PhysRevE.102.042115 , url =
-
[6]
Numerical evidence for approximate consistency and Markovianity of some quantum histories in a class of finite closed spin systems , author =. Phys. Rev. E , volume =. 2016 , month =. doi:10.1103/PhysRevE.93.012125 , url =
-
[7]
Planckian Bound on Quantum Dynamical Entropy , author =. Phys. Rev. Lett. , volume =. 2026 , month =. doi:10.1103/wd91-v58h , url =
-
[8]
Quantum Kolmogorov-Sinai entropy and Pesin relation , author =. Phys. Rev. Res. , volume =. 2021 , month =. doi:10.1103/PhysRevResearch.3.023234 , url =
Show all 38 references
-
[9]
Consistent monitoring of quantum fluctuations , author =. Phys. Rev. A , volume =. 2026 , month =. doi:10.1103/f54p-cy4f , url =
2026 doi
-
[10]
, title =
Nielsen, Michael A. , title =. Quantum Inf. Comput. , year =
-
[11]
Nielsen and Mark R
Michael A. Nielsen and Mark R. Dowling and Mile Gu and Andrew C. Doherty , title =. Science , volume =. 2006 , doi =. https://www.science.org/doi/pdf/10.1126/science.1121541 , abstract =
2006 doi
-
[12]
Time Irreversibility in Statistical Mechanics , url =
Levesque, Dominique and Sourlas, Nicolas , date =. Time Irreversibility in Statistical Mechanics , url =. Journal of Statistical Physics , number =. 2025 , bdsk-url-1 =. doi:10.1007/s10955-025-03467-0 , id =
2025 doi
-
[13]
and S \'a nchez-Garrido, A
Rabinovici, E. and S \'a nchez-Garrido, A. and Shir, R. and Sonner, J. Operator complexity: a journey to the edge of Krylov space. JHEP. 2021. doi:10.1007/JHEP06(2021)062. arXiv:2009.01862
2021 arXiv
-
[14]
Krylov Complexity
Rabinovici, Eliezer and S \'a nchez-Garrido, Adri \'a n and Shir, Ruth and Sonner, Julian. Krylov Complexity. 2025. arXiv:2507.06286
2025 arXiv
-
[15]
Quantum chaos and the complexity of spread of states , author =. Phys. Rev. D , volume =. 2022 , month =. doi:10.1103/PhysRevD.106.046007 , url =
2022 doi
-
[16]
Matsoukas-Roubeas and Pablo Martínez-Azcona and Anatoly Dymarsky and Adolfo
Pratik Nandy and Apollonas S. Matsoukas-Roubeas and Pablo Martínez-Azcona and Anatoly Dymarsky and Adolfo. Quantum dynamics in Krylov space: Methods and applications , journal =. 2025 , note =. doi:https://doi.org/10.1016/j.physrep.2025.05.001 , url =
2025 doi
-
[17]
A Relation between Krylov and Nielsen Complexity , author =. Phys. Rev. Lett. , volume =. 2024 , month =. doi:10.1103/PhysRevLett.132.160402 , url =
2024 doi
-
[18]
Tight bounds on recurrence time in closed quantum systems , author =. Phys. Rev. Lett. , pages =. 2026 , month =. doi:10.1103/crwj-qfw5 , url =
2026 doi
-
[19]
Short , title =
Chaitanya Gupta and Anthony J. Short , title =. 2026 , eprint =
2026
-
[20]
2015 , eprint =
Lorenzo Campos Venuti , title =. 2015 , eprint =
2015
-
[21]
Physical review letters , volume=
Achieving the threshold regime with an overscreened Josephson junction , author=. Physical review letters , volume=. 2009 , publisher=
2009
-
[22]
Annalen der Physik , volume=
Josephson junctions as detectors for non-Gaussian noise , author=. Annalen der Physik , volume=. 2007 , publisher=
2007
-
[23]
Physical review letters , volume=
Stochastic dynamics of a Josephson junction threshold detector , author=. Physical review letters , volume=. 2007 , publisher=
2007
-
[24]
Random-energy model: An exactly solvable model of disordered systems , author =. Phys. Rev. B , volume =. 1981 , month =. doi:10.1103/PhysRevB.24.2613 , url =
1981 doi
-
[25]
1997 , month =
Jean-Philippe Bouchaud and Marc Mézard , title =. 1997 , month =. doi:10.1088/0305-4470/30/23/004 , url =
1997 doi
-
[26]
and Milburn, Gerard J
Wiseman, Howard M. and Milburn, Gerard J. , year=. Quantum Measurement and Control , publisher=
-
[27]
Chaos and quantum thermalization , author =. Phys. Rev. E , volume =. 1994 , month =. doi:10.1103/PhysRevE.50.888 , url =
1994 doi
-
[28]
Mattis , abstract =
D.C. Mattis , abstract =. Solvable spin systems with random interactions , journal =. 1976 , issn =. doi:https://doi.org/10.1016/0375-9601(76)90396-0 , url =
1976 doi
-
[29]
Advances in Physics , volume =
D'Alessio, Luca and Kafri, Yariv and Polkovnikov, Anatoli and Rigol, Marcos , title =. Advances in Physics , volume =. 2016 , doi =. 1509.06411 , archivePrefix =
2016 arXiv
-
[30]
Physical Review E , volume =
Foini, Laura and Kurchan, Jorge , title =. Physical Review E , volume =. 2019 , doi =. 1803.10658 , archivePrefix =
2019 arXiv
-
[31]
Physical Review Letters , volume =
Gabay, Marc and Toulouse, Gérard , title =. Physical Review Letters , volume =. 1981 , doi =
1981
-
[32]
Quantum Information and Quantum Gravity , publisher =
Susskind, Leonard , title =. Quantum Information and Quantum Gravity , publisher =. 2020 , pages =
2020
-
[33]
Quenched properties of the spectral form factor , author =. Phys. Rev. E , volume =. 2026 , month =. doi:10.1103/kz6h-gp1n , url =
2026 doi
-
[34]
Random matrix universality in dynamical correlation functions at late times , pages =
Bouverot-Dupuis, Oscar and Pappalardi, Silvia and Kurchan, Jorge and Polkovnikov, Anatoli and Foini, Laura , journal =. Random matrix universality in dynamical correlation functions at late times , pages =. 2025 , publisher =. doi:10.21468/SciPostPhys.19.2.050 , url =
2025 doi
-
[35]
Fisher zeroes and the fluctuations of the spectral form factor of chaotic systems , pages =
Bunin, Guy and Foini, Laura and Kurchan, Jorge , journal =. Fisher zeroes and the fluctuations of the spectral form factor of chaotic systems , pages =. 2024 , publisher =. doi:10.21468/SciPostPhys.17.4.114 , url =
2024 doi
-
[36]
and Lesovik, Gennadii B
Levitov, Leonid S. and Lesovik, Gennadii B. , title =. JETP Letters , volume =. 1993 , url =
1993
-
[37]
and Lee, H
Levitov, Leonid S. and Lee, H. and Lesovik, G. B. , title =. Journal of Mathematical Physics , volume =. 1996 , doi =
1996
-
[38]
2002 , eprint=
Full Counting Statistics: An elementary derivation of Levitov's formula , author=. 2002 , eprint=
2002
Reviewed August 1, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.