REVIEW 2 major objections 5 minor 46 references
Vanishing correlations in stochastic and bistochastic controlled circuits
T0 review · 2 major / 5 minor · reviewed 2026-08-03 · deepseek-v4-flash
Pith's one-line read The paper proves that in brickwork circuits whose gates satisfy controlled-stochastic and controlled-bistochastic conditions, two-point correlation functions vanish unless both operators act on the same site, and multipoint functions vanish
desk verdict The two-point result is solid and worth publishing; the multipoint theorem needs a real proof before the abstract's claim is backed. 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 key objects are the flat state |−⟩, the uniform superposition over local basis states, and its orthogonal complement | ⟩. A two-site controlled gate U acts on a target site conditionally on the control site's state, and the paper isolates two identities: the controlled-stochastic condition U(1⊗|−⟩)=1⊗|−⟩ and the controlled-bistochastic condition (1⊗⟨−|)U=1⊗⟨−|. These identities make |−⟩ a fixed point of the gate from one or both sides, which lets the light cone of a correlation diagram be contracted inward until the inserted operator is surrounded by flat states. The diagram then reduces to a contraction of a flat state with an orthogonal state, and that contraction vanishes. The same co
What would settle it
Simulate a small brickwork chain (say L=5, t=2) with q=3 gates U = Σ_i |i⟩⟨i| ⊗ u_i where each u_i is stochastic and fixes the flat state but is not bistochastic (e.g., a row-stochastic matrix with column sums not all equal). Compute the two-point function C(x,t) for x>0 by exact enumeration. If any such gate yields C(x>0,t)≠0, Theorem 1(i) is false; if it is identically zero, the one-sided condition alone is sufficient.
Extended reading notes
Core claim
The central discovery is Theorem 1: for a brickwork circuit of two-site gates satisfying the controlled-stochastic condition U(1⊗|−⟩)=1⊗|−⟩, the two-point function C(x,t)=⟨−…−|O_x U(t) O_0|−…−⟩ of diagonal traceless observables vanishes for x>0; if the gates also satisfy the controlled-bistochastic condition (1⊗⟨−|)U=1⊗⟨−|, it vanishes for x<0; with both, it vanishes for every x≠0. Theorem 2 extends to multipoint functions: under both conditions C(x_1,t_1,...,x_n,t_n) vanishes whenever the set {x_1,...,x_n} has a unique maximal value. The proof works by simplifying the tensor-network diagram for the correlation using the two fixed-point identities, reducing the light cone to a triangle and t
Load-bearing premise
The proof assumes that the uniform background state is a fixed point of each gate from both sides, which lets the light cone be collapsed before the one-sided condition is used; if that collapse needs both conditions at once, the individual x>0 and x<0 vanishing statements are not established.
Editorial extensions
If this is right
- For any brickwork circuit satisfying both conditions, the only nonvanishing two-point infinite-temperature correlations are autocorrelations; all information about a local operator is captured by its return probability to its own site.
- Multipoint correlations are similarly constrained: any cluster with a unique rightmost probe has zero correlation, so nonzero multipoint signals require two probes on the same rightmost site.
- Random circuits built from controlled Haar-averaged gates fall into this class, so their averaged correlation functions are exactly trivial off the equal-space line, not merely approximately.
- Deterministic classical cellular automata built from controlled permutations (e.g., identity and CNOT for bits) inherit the same correlation structure.
- Autocorrelations escape these theorems; the paper argues they generically decay exponentially to a value exponentially small in system size, and can be exactly zero or constant in special cases.
Reading between the lines
- If the result holds beyond the proof's one-sided caveat, it suggests that these circuits are correlation-trivial at infinite temperature: for the observables considered, operator spreading in the Heisenberg picture must be confined to the spatial origin, which would rule out standard diffusive or ballistic spreading profiles in those correlation functions.
- The paper leaves open a multi-replica generalization of the controlled-stochastic and controlled-bistochastic identities; if such identities can be lifted to the replica structure, quantities like entanglement entropy and out-of-time-ordered correlators may become tractable in the same circuits — an extension the paper notes but does not prove.
- A testable asymmetry: under Eq. (5) alone the theorem predicts vanishing only to the right. Numerically checking left-moving correlations in a deterministic cellular automaton with controlled gates that are stochastic but not bistochastic would distinguish the one-sided from the two-sided contraction mechanism.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies one-dimensional brickwork circuits built from two-site controlled gates U=Σ_i |i><i|⊗u_i. It introduces two simple conditions: the controlled-stochastic condition Eq. (5), u_i|−⟩=|−⟩, and the controlled-bistochastic condition Eq. (6), ⟨−|u_i=⟨−|. Theorem 1 claims that under Eq. (5) the infinite-temperature two-point correlation C(x,t) vanishes for x>0, under Eq. (6) for x<0, and under both conditions for all x≠0. Theorem 2 claims that, when both conditions hold, any n-point correlation C(x_1,t_1,...,x_n,t_n) vanishes if the set {x_1,...,x_n} has a unique maximal value, i.e. the two rightmost operators must act on the same site. The authors then give examples: one-replica averages of random controlled quantum gates reduce to controlled-bistochastic classical stochastic circuits, and deterministic controlled cellular automata satisfy the conditions. Section VI argues that the autocorrelation is generically hard to compute and shows numerical exponential decay, with exceptions. Appendices give a characterization of gates satisfying Eqs. (5)-(6) and a generalized condition.
Significance. The central conceptual claim is attractive and potentially useful: a broad, simply defined class of circuits has correlation functions supported only on the equal-space line, despite generically complex dynamics. The conditions are clean, the diagrammatic method is economical, and the connection to averaged random controlled gates and to East-type cellular automata gives concrete physical content. The paper contains no fitted parameters, and the main statements are falsifiable. The reduction in Sec. V A from an averaged random quantum circuit to an effective classical stochastic circuit is elegant. However, the multipoint theorem is advertised in the abstract and title but is not proved in the submitted text, and the proof of the separate parts of Theorem 1 is displayed only in a form that assumes both conditions. These gaps are repairable in my view, but they must be fixed before the central claims can be considered established.
major comments (2)
- [§IV, Eq. (10), Theorem 1] The proof of Thm. 1(i),(ii) starts from a diagram that the caption says is 'already simplified ... using the bistochasticity of the gates.' That simplification invokes both U|−−⟩=|−−⟩ and ⟨−−|U=⟨−−|. But parts (i) and (ii) are claimed under Eq. (5) alone and Eq. (6) alone, respectively. As written, the displayed proof does not identify which boundary contractions are legitimate in the stochastic-only case. The gap appears repairable — for example, an induction showing that a gate whose right leg is |−⟩ acts as the identity under Eq. (5) supplies the missing step — but the individual statements are not actually proved by the diagram as presented. Please make explicit, for each case, which equations are used at each simplification.
- [§IV, Theorem 2] The proof of Theorem 2 consists only of the paragraph beginning 'The same argument can be extended...'. It provides no induction on n and no treatment of the time orderings in Eq. (9). If the unique rightmost spatial operator acts at an intermediate time, its insertion punctures the flat-state barrier; after that time the evolution can couple the operator to operators on its left through gates with at least one non-flat leg, a situation the paragraph does not analyze. Since the abstract and title advertise the multipoint statement, this missing case is load-bearing. Please give a complete proof, either by strong induction or by explicit diagrams, covering all relative time orderings of the rightmost operator.
minor comments (5)
- [§III, Eq. (8)] The definition of C(x,t) is written with subscripts x and 0 but not with explicit operators O_x and O_0. Because the theorem concerns diagonal traceless observables, please define the observable explicitly and state its expansion in the |−⟩, |(k)⟩ basis.
- [§V A, after Eq. (16)] The statement 'we can reduce the folded space from four to two dimensional' is asserted rather than shown. Please spell out why the averaged evolution superoperator preserves the subspace spanned by |00⟩ and |11⟩ at every site, including the action of the |#⟩⟨#| factor on the target leg.
- [Appendix A, Eqs. (A10)-(A14)] The phrase 'These matrices annihilate the flat state when acting upon it from the left' should presumably read 'from the right,' since B_α|−⟩=0 for α∈S'. In addition, the u'_α/u_α notation in Eqs. (A12)-(A14) is confusing: the first sum in Eq. (A13) uses the stochastic u_α while Eq. (A12) uses u'_α for the same terms. Please rewrite this derivation with clearer notation.
- [§VI, Fig. 1] Please provide axis labels and specify the gate used and the parameters of the numerical simulation. The caption states that the difference between L=27 and L=29 is almost indistinguishable, but the plotted quantity itself is not described.
- [Abstract] The phrasing 'stochastic and bistochastic controlled gates lead to ... vanish everywhere except when the two operators act on the same site' could be misread as applying to the stochastic-only class. Theorem 1 shows that the full statement requires both conditions. Please qualify the abstract accordingly.
Circularity Check
No circularity: correlation vanishing is derived from stated gate conditions; proof gaps are correctness issues, not circular inputs.
full rationale
The derivation of Theorems 1 and 2 is self-contained in the sense relevant to circularity: the controlled-stochastic and controlled-bistochastic conditions (Eqs. (5), (6)) are assumed properties of the gates, and the correlation functions are defined independently in Eqs. (8)-(9). The graphical proof contracts the tensor network using only the flat-state identities U|-->=|--> and <--|U=<--|; no quantity appearing in the conclusion is used to define those conditions and no fitted parameter is renamed as a prediction. The appendix characterization (Thms. 3 and 4) is proved from operator-Schmidt decomposition, not imported from the authors' earlier work. Self-citations (e.g., Refs. [11,26,39,40,44,46]) appear as examples, prior models, or contextual review, and none of them supplies the load-bearing step: the vanishing of C(x,t) is derived diagrammatically from Eqs. (5) and (6). The only noteworthy weakness is a proof gap in the multipoint argument in Sec. IV, where the extension to arbitrary time orderings is sketched rather than proved, and in the individual-case truncation of Eq. (10) that appears to invoke both conditions before each case is established; but a proof gap or missing case is a correctness risk, not circularity. Therefore the paper exhibits no significant circularity.
Assumptions & free parameters
assumptions (5)
- domain assumption Flat-state contractions: stochasticity (Eq. 5) and bistochasticity (Eq. 6) allow pulling |−⟩/⟨−| through gates and truncating light cones.
- standard math Traceless diagonal observables satisfy O|−⟩ orthogonal to |−⟩, so ⟨−|O|−⟩=0.
- standard math Haar-averaging identities for single-qubit unitaries: E[w]=0, E[w⊗w*]=|#⟩⟨#|.
- standard math Operator-Schmidt decomposition and linear independence argument in Appendix A (Thms. 3-4).
- domain assumption Genericity of exponential autocorrelation decay is inferred from a numerical survey, not proven.
Cite this review
Pith. "Pith review of Vanishing correlations in stochastic and bistochastic controlled circuits." pith.science (2026). https://pith.science/paper/653ZOOPK
@misc{pith2026260114379,
author = {Pith},
title = {Pith review of: Vanishing correlations in stochastic and bistochastic controlled circuits},
year = {2026},
howpublished = {\url{https://pith.science/paper/653ZOOPK}},
note = {Machine review of arXiv:2601.14379}
}
read the original abstract
We study the dynamics of circuits composed of stochastic and bistochastic controlled gates. This type of dynamics arises from quantum circuits with random controlled gates, as well as in stochastic circuits and deterministic classical cellular automata. We prove that stochastic and bistochastic controlled gates lead to two-point spatiotemporal correlation functions that vanish everywhere except when the two operators act on the same site. More generally, for multipoint correlations the two rightmost operators must act on the same site. We argue that autocorrelation, while hard to compute, typically decays exponentially toward a value that is exponentially small in the system size. Our results reveal a broad class of quantum systems that exhibit surprisingly simple correlation structures despite their complex microscopic dynamics.
Figures
Reference graph
Works this paper leans on
-
[1]
Polkovnikov, K
A. Polkovnikov, K. Sengupta, A. Silva, and M. Vengalat- tore, Colloquium: Nonequilibrium dynamics of closed in- teracting quantum systems, Rev. Mod. Phys.83, 863 (2011)
2011
-
[2]
Eisert, M
J. Eisert, M. Friesdorf, and C. Gogolin, Quantum many- body systems out of equilibrium, Nature Physics11, 124 (2015)
2015
-
[3]
Calabrese, F
P. Calabrese, F. H. Essler, and G. Mussardo, Introduc- tion to ‘quantum integrability in out of equilibrium sys- tems’, J. Stat. Mech.2016, 064001 (2016)
2016
-
[4]
F. H. L. Essler and M. Fagotti, Quench dynamics and relaxation in isolated integrable quantum spin chains, J. Stat. Mech.2016, 064002 (2016)
2016
-
[5]
Gogolin and J
C. Gogolin and J. Eisert, Equilibration, thermalisation, and the emergence of statistical mechanics in closed quantum systems, Reports on Progress in Physics79, 056001 (2016)
2016
-
[6]
D. A. Abanin, E. Altman, I. Bloch, and M. Serbyn, Col- loquium: Many-body localization, thermalization, and entanglement, Rev. Mod. Phys.91, 021001 (2019)
2019
-
[7]
Bertini, F
B. Bertini, F. Heidrich-Meisner, C. Karrasch, T. Prosen, R. Steinigeweg, and M. ˇZnidariˇ c, Finite-temperature transport in one-dimensional quantum lattice models, Rev. Mod. Phys.93, 025003 (2021)
2021
-
[8]
Bastianello, B
A. Bastianello, B. Bertini, B. Doyon, and R. Vasseur, In- troduction to the special issue on emergent hydrodynam- ics in integrable many-body systems, Journal of Statis- tical Mechanics: Theory and Experiment2022, 014001 (2022)
2022
Show all 46 references
-
[9]
M. P. Fisher, V. Khemani, A. Nahum, and S. Vijay, Random quantum circuits, Annu. Rev. Condens. Matter Phys.14, 335 (2023)
2023
-
[10]
A. C. Potter and R. Vasseur, Entanglement dynamics in hybrid quantum circuits, inEntanglement in Spin Chains: From Theory to Quantum Technology Applica- tions, edited by A. Bayat, S. Bose, and H. Johannes- son (Springer International Publishing, Cham, 2022) pp. 211–249
2022
-
[11]
Bertini, P
B. Bertini, P. W. Claeys, and T. Prosen, Exactly solvable many-body dynamics from space-time duality (2025), arXiv:2505.11489 [cond-mat.stat-mech]
2025 arXiv
-
[12]
A. Chan, A. De Luca, and J. T. Chalker, Solution of a minimal model for many-body quantum chaos, Phys. Rev. X8, 041019 (2018)
2018
-
[13]
A. Chan, A. De Luca, and J. T. Chalker, Spectral statis- tics in spatially extended chaotic quantum many-body 6 systems, Phys. Rev. Lett.121, 060601 (2018)
2018
-
[14]
Bertini, P
B. Bertini, P. Kos, and T. Prosen, Exact spectral form factor in a minimal model of many-body quantum chaos, Phys. Rev. Lett.121, 264101 (2018)
2018
-
[15]
A. J. Friedman, A. Chan, A. De Luca, and J. T. Chalker, Spectral statistics and many-body quantum chaos with conserved charge, Phys. Rev. Lett.123, 210603 (2019)
2019
-
[16]
Bertini, P
B. Bertini, P. Kos, and T. Prosen, Random matrix spec- tral form factor of dual-unitary quantum circuits, Com- mun. Math. Phys. , 1 (2021)
2021
-
[17]
Fritzsch and T
F. Fritzsch and T. Prosen, Eigenstate thermalization in dual-unitary quantum circuits: Asymptotics of spectral functions, Phys. Rev. E103, 062133 (2021)
2021
-
[18]
Fritzsch, M
F. Fritzsch, M. F. I. Kieler, and A. B¨ acker, Eigenstate Correlations in Dual-Unitary Quantum Circuits: Partial Spectral Form Factor, Quantum9, 1709 (2025)
2025
-
[19]
Piroli, B
L. Piroli, B. Bertini, J. I. Cirac, and T. Prosen, Exact dynamics in dual-unitary quantum circuits, Phys. Rev. B101, 094304 (2020)
2020
-
[20]
W. W. Ho and S. Choi, Exact emergent quantum state designs from quantum chaotic dynamics, Phys. Rev. Lett. 128, 060601 (2022)
2022
-
[21]
Ippoliti and W
M. Ippoliti and W. W. Ho, Dynamical purification and the emergence of quantum state designs from the pro- jected ensemble, PRX Quantum4, 030322 (2023)
2023
-
[22]
Nahum, J
A. Nahum, J. Ruhman, S. Vijay, and J. Haah, Quantum entanglement growth under random unitary dynamics, Phys. Rev. X7, 031016 (2017)
2017
-
[23]
Bertini, P
B. Bertini, P. Kos, and T. Prosen, Entanglement spread- ing in a minimal model of maximal many-body quantum chaos, Phys. Rev. X9, 021033 (2019)
2019
-
[24]
Gopalakrishnan and A
S. Gopalakrishnan and A. Lamacraft, Unitary circuits of finite depth and infinite width from quantum channels, Phys. Rev. B100, 064309 (2019)
2019
-
[25]
Zhou and A
T. Zhou and A. W. Harrow, Maximal entanglement ve- locity implies dual unitarity, Phys. Rev. B106, L201104 (2022)
2022
-
[26]
Bertini, P
B. Bertini, P. Kos, and T. Prosen, Exact correlation func- tions for dual-unitary lattice models in 1 + 1 dimensions, Phys. Rev. Lett.123, 210601 (2019)
2019
-
[27]
G. H. Fredrickson and H. C. Andersen, Kinetic ising model of the glass transition, Phys. Rev. Lett.53, 1244 (1984)
1984
-
[28]
Ritort and P
F. Ritort and P. Sollich, Glassy dynamics of kinetically constrained models, Advances in Physics52, 219–342 (2003)
2003
-
[29]
J¨ ackle and S
J. J¨ ackle and S. Eisinger, A hierarchically constrained kinetic ising model, Zeitschrift f¨ ur physik B condensed matter84, 115 (1991)
1991
-
[30]
Biroli and J
G. Biroli and J. P. Garrahan, Perspective: The glass transition, The Journal of Chemical Physics138, 10.1063/1.4795539 (2013)
2013 doi
-
[31]
C. J. Turner, A. A. Michailidis, D. A. Abanin, M. Serbyn, and Z. Papi´ c, Weak ergodicity breaking from quantum many-body scars, Nature Physics14, 745 (2018)
2018
-
[32]
Serbyn, D
M. Serbyn, D. A. Abanin, and Z. Papi´ c, Quantum many- body scars and weak breaking of ergodicity, Nature Physics17, 675 (2021)
2021
-
[33]
van Horssen, E
M. van Horssen, E. Levi, and J. P. Garrahan, Dynam- ics of many-body localization in a translation-invariant quantum glass model, Phys. Rev. B92, 100305 (2015)
2015
-
[34]
Roy and A
S. Roy and A. Lazarides, Strong ergodicity breaking due to local constraints in a quantum system, Phys. Rev. Res. 2, 023159 (2020)
2020
-
[35]
Brighi, M
P. Brighi, M. Ljubotina, and M. Serbyn, Hilbert space fragmentation and slow dynamics in particle-conserving quantum east models, SciPost Physics15, 10.21468/sci- postphys.15.3.093 (2023)
2023 doi
-
[36]
Geissler and J
A. Geissler and J. P. Garrahan, Slow dynamics and non- ergodicity of the bosonic quantum east model in the semi- classical limit (2022), arXiv:2209.06963 [cond-mat.stat- mech]
2022 arXiv
-
[37]
Klobas, C
K. Klobas, C. De Fazio, and J. P. Garrahan, Exact pre- transition effects in kinetically constrained circuits: Dy- namical fluctuations in the floquet-east model, Physical Review E110, 10.1103/physreve.110.l022101 (2024)
2024 doi
-
[38]
Pancotti, G
N. Pancotti, G. Giudice, J. I. Cirac, J. P. Garrahan, and M. C. Ba˜ nuls, Quantum east model: Localization, non- thermal eigenstates, and slow dynamics, Phys. Rev. X 10, 021051 (2020)
2020
-
[39]
Bertini, P
B. Bertini, P. Kos, and T. Prosen, Localized dynamics in the floquet quantum east model, Phys. Rev. Lett.132, 080401 (2024)
2024
-
[40]
Bertini, C
B. Bertini, C. De Fazio, J. P. Garrahan, and K. Klobas, Exact quench dynamics of the floquet quantum east model at the deterministic point, Phys. Rev. Lett.132, 120402 (2024)
2024
-
[41]
J. I. Cirac, D. P´ erez-Garc ´ ıa, N. Schuch, and F. Ver- straete, Matrix product states and projected entangled pair states: Concepts, symmetries, theorems, Rev. Mod. Phys.93, 045003 (2021)
2021
-
[42]
(4) does indeed admitq−1 inde- pendent solutions
The condition in Eq. (4) does indeed admitq−1 inde- pendent solutions
-
[43]
M. A. Nielsen and I. L. Chuang,Quantum Computa- tion and Quantum Information: 10th Anniversary Edi- tion(Cambridge University Press, 2010)
2010
-
[44]
C. D. Fazio, J. P. Garrahan, and K. Klobas, Exact re- sults on the dynamics of the stochastic floquet-east model (2024), arXiv:2406.17464 [cond-mat.stat-mech]
2024 arXiv
-
[45]
Sharipov, M
R. Sharipov, M. Koterle, S. Grozdanov, and T. Prosen, Ergodic behaviors in reversible 3-state cellular automata (2025), arXiv:2503.16593 [cond-mat.stat-mech]
2025 arXiv
-
[46]
if” direction (sufficiency), then the “only if
X.-H. Yu, Z. Wang, and P. Kos, Hierarchical generaliza- tion of dual unitarity, Quantum8, 1260 (2024). APPENDIX Appendix A: Characterization of the family fulfilling Eqs.(5)and(6) In this appendix, we use operator-Schmidt decomposition to prove that gates satisfying the contro...
2024
Reviewed August 3, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.