Pith. sign in

REVIEW 2 major objections 5 minor 25 references

Logarithmic lightcones in the multiparticle Anderson model with sparse interactions

T0 review · 2 major / 5 minor · reviewed 2026-08-05 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read A strong local coupling slows quantum spread to a logarithmic lightcone.

desk verdict Solid new theorem and a plausible 1/Δ lightcone result for a single ZZ impurity; the improved Corollary 3 has an unjustified term-dropping step, and the sparse-set claim is only sketched. read the letter →

arxiv 2509.02383 v1 pith:BD2GHFVH submitted 2025-09-02 math-ph cond-mat.dis-nnmath.MPquant-ph

Daniele Toniolo , Sougato Bose This is my paper
classification math-phcond-mat.dis-nnmath.MPquant-ph
keywords Lieb-RobinsonboundsAndersonlocalizationXYmodelsparseinteractionslogarithmiclightconeinteractionpicturedisorderedspinchainsquantumdynamics
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proves that adding one very strong ZZ interaction to a one-dimensional XY spin chain—whether or not a random magnetic field is present—does not destroy locality. Instead, it slows the spread of quantum information down to a logarithmic lightcone, with the spreading amplitude suppressed as the inverse of the coupling strength. The result comes from a general theorem for time-dependent local perturbations, applied after moving to the interaction picture, where the large static ZZ term becomes a high-frequency periodic perturbation. In the disordered case, the bound combines the Anderson-localized dynamics of the unperturbed chain with a 1/Δ suppression, so distant regions remain effectively uncommunicating for an exponentially long time in their separation. In the clean XY case the linear lightcone is only logarithmically modified by the large ZZ term, and all bounds are non-perturbative.

What carries the argument

The central mechanism is Theorem 1, a general Lieb-Robinson bound for a local time-dependent one-dimensional spin Hamiltonian E(t) plus a bounded local perturbation λ(at)C. In the fast-perturbation regime the proof moves to the interaction picture with E as the reference dynamics, writes the full evolution as a time-ordered exponential of oscillating terms, and integrates by parts: each integration converts the primitive of the oscillation into a factor 1/a, and the derivative of the interaction-picture operator reintroduces a factor a, leaving an overall 1/Δ suppression. Applied to (53), the interaction picture with respect to the ZZ term turns the neighboring XY bonds into cos(2Δs)C1 + sin

What would settle it

Compute numerically the exact commutator norm for the Hamiltonian (53) on a chain of, say, 30 sites with A on the far left and B on the far right, scanning Δ/J = 1, 2, 4, 8 at fixed disorder samples; the bound predicts the norm decays at least as J/Δ at fixed t and d. If the norm instead grows with Δ, or if the omitted right-side terms such as [e^{isE} C_{1,[1,2]} e^{-isE}, e^{itE_2} A e^{-itE_2}] are not exponentially small in the distance from supp A to the impurity, the central claim fails.

Watch

Extended reading notes

Core claim

The central claim is the bound (63) for the Hamiltonian (53): a one-dimensional XY chain with random field ω_j and one added ZZ term of strength Δ on sites 0 and 1. For any operators A and B with fixed bounded supports separated by l and at distance d from the impurity region, the disorder-averaged commutator satisfies E_ω ∥[e^{itH_ω}A e^{-itH_ω}, B]∥ ≤ 2K∥A∥∥B∥ e^{-l/ξ} + 16K(J/Δ + 4J²/Δ²)∥A∥∥B∥ e^{-d/ξ} + 64K∥A∥∥B∥ (J/Δ)(4J/π + Ω) t e^{-d/ξ}. Because the last term is linear in t with amplitude of order J/Δ, it describes a logarithmic lightcone: operators on opposite sides of the impurity remain effectively commuting up to times exponentially large in d, and the amplitude of the cone is sup

Load-bearing premise

The 1/Δ suppression in the main corollary rests on the assumption that, inside the integrated commutator, only the part of the perturbation supported on the left of the impurity contributes to the commutator with an operator A on the left; the right-side pieces are dropped without an explicit bound.

Editorial extensions

If this is right

  • If the main bound (63) is correct, operators on opposite sides of the ZZ impurity stay exponentially close to commuting until a time t_max ~ (Δ/J) e^{d/(2ξ)}, which is the defining signature of a logarithmic lightcone.
  • For large Δ the lightcone amplitude is proportional to J/Δ, so a strong impurity suppresses the disturbance crossing it linearly in 1/Δ even in the absence of disorder.
  • The same theorem generalizes to sparse sets of well-separated ZZ terms: the overall bound is controlled by the closest perturbation, and the exponential decay in distance degrades to roughly e^{-l/(2ξ)}.
  • The paper notes that a logarithmic lightcone has been shown to give at most logarithmic growth of dynamical entanglement entropy; the new bound therefore places the sparse-interaction disordered chain in that class.
  • For the clean XY model, the large ZZ interaction modifies the linear lightcone only by a correction logarithmic in Δ/J rather than replacing it with a slower cone.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Inference: the same integration-by-parts mechanism should apply to any large commuting local term whose oscillation frequency is set by its own strength—for instance a strong σ^z field—yielding a similar 1/strength suppression for operators separated across it, though the paper only proves the ZZ case.
  • Inference: a direct numerical check of the bound would look for the time needed for a left-side operator to develop O(1) commutator with a right-side detector to grow linearly with Δ at fixed separation; observing that scaling would confirm the 1/Δ amplitude, while a growth with Δ would rule it out.
  • Inference: because corollary 3 drops the right-side-supported pieces of the perturbation when commuting with an operator on the left, an explicit estimate of those omitted terms would either complete the proof with a slightly adjusted constant or show that the bound holds with a different distance factor.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. The paper proves Lieb-Robinson-type bounds with logarithmic lightcones for one-dimensional XY/Anderson spin chains perturbed by a large ZZ coupling Δ. The main mechanism is a general theorem (Theorem 1) bounding the effect of a high-frequency local perturbation in the interaction picture. For the Anderson (random field) case, Lemma 2 gives a single-ZZ bound whose correction is ∝ Δ^{-1} t e^{-d/ξ} for large Δ, and Corollary 3 claims an improved bound when the observed operators are on opposite sides of the impurity. Corollary 4 extends the same mechanism to the clean XY model. The paper also sketches an extension to a sparse set of ZZ terms in Section IV. The central idea is attractive, and the derivation of Theorem 1 is careful and explicit.

Significance. If the main results hold, the paper makes a useful contribution to the rigorous study of interaction-induced delocalization in disordered spin chains. The explicit 1/Δ suppression of the lightcone amplitude is a concrete, falsifiable prediction, and the comparison with the existing result by Gebert, Moon, and Nachtergaele is valuable. The paper also supplies a clean general theorem for high-frequency local perturbations and a remarkably short proof of the L-R bound for nearest-neighbour time-dependent Hamiltonians. However, the paper currently overclaims in two directions: Corollaries 3 and 4 contain a genuine proof gap, and the advertised 'sparse set of ZZ terms' result is not proved as a theorem. The single-ZZ bound of Lemma 2 appears defensible, so the gaps are likely fixable, but the manuscript as written needs revision.

major comments (2)
  1. [Corollary 3, Eqs. (111)-(117), (124)] The proof drops the right-side components C1,[1,2] and C2,[0,2] from the inner commutator, and in Eq. (124) it asserts that 'only the terms of I(s) supported on [-L,0] contribute'. This is not justified. The retained inner commutator [e^{is(E1+E2)}C1,[-1,0]e^{-is(E1+E2)}, e^{itE2}Ae^{-itE2}] contains terms whose support extends to site 1, e.g. through [E1, C1,[-1,0]] ∝ J^2 σ^y_{-1} σ^z_0 σ^x_1. The dropped operator e^{is(E1+E3)}C1,[1,2]e^{-is(E1+E3)} acquires support at site 0 through [E1, C1,[1,2]]. These operators therefore have overlapping support at sites 0 and/or 1, so the double commutator in (124) can be nonzero. The bound (125)-(130) estimates a strictly smaller expression than the derivative it claims to bound. Hence Eq. (104) is not proven as written. Corollary 4, whose proof is declared identical, inherits this gap. The missing contributions appear to be of the same order J^2/
  2. [Title, Abstract, Section IV] The abstract and title promise results for a 'sparse set' of ZZ terms, but the rigorous analysis in Section III concerns a single ZZ term. Section IV is a sketch: no theorem states the sparse L-R bound, the claimed convergence of the sum in Eq. (147) is asserted without a quantitative density/locality condition, and the two-step procedure for separated clusters in Fig. 3 would require an intermediate L-R bound that is not derived. As written, the sparse-interaction claim is not established. The authors should either add a rigorous statement and proof for sparse perturbations or narrow the abstract/title to the single-perturbation results of Lemma 2.
minor comments (5)
  1. [Eq. (99)] The inequality ∥[E,C1]∥≤8J(J+2Ω) is said to 'be checked numerically'. This is a finite computation and should be replaced by an explicit algebraic verification or a clear derivation.
  2. [Eq. (94)] The sentence 'we consider n ∈ N such that . Then' is missing the condition on n. It should read 'such that (n-1)π/(4Δ) < t ≤ nπ/(4Δ)'.
  3. [Throughout Section III] The reference to 'lemma 1' in the proof of Lemma 2 should be 'Theorem 1'. The manuscript uses both names; please make the numbering consistent.
  4. [Eq. (62)] Minor typographical issues: the first displayed line of (62) is missing the factor 2 in front of K in some occurrences, and Eq. (125)-(127) contain stray double brackets such as ∥C1,[−1,0]]∥.
  5. [Corollary 3 statement] The condition 'dist(suppA, [0,1]) > dist(suppB, [0,1])}' has an extra brace and should be cleaned up.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the large-Δ logarithmic lightcone is derived from the interaction-picture fluctuation of the perturbation and external Anderson LR bounds; self-citations are not load-bearing for the central claim.

full rationale

The paper's main claim is the 1/Δ suppression of a logarithmic lightcone for a sparse ZZ perturbation. The derivation decomposes e^{-itH} exactly via the interaction picture with respect to the ZZ term, obtaining an effective Hamiltonian Gω(t) with zero-average cos/sin coefficients, and then applies Theorem 1. Theorem 1 is proved in the text via Dyson-type identities and integration by parts, and uses as input only the LR bound of the unperturbed E, which is cited to Hamza-Sims-Stolz [8] (external, not fitted). No parameter is fitted to the predicted commutator; the predicted bound (63)/(104) follows from explicit commutator norms such as ∥[E,C1]∥ ≤ 8J(J+2Ω). The references to the authors' earlier work [5] and [13] are normal self-citations: [5] covers only the small-Δ regime (Δ≤J) and is not needed for the large-Δ suppression, and [13] concerns entanglement growth rather than the LR bound. The proof of Corollary 3 contains a genuine proof gap: equation (124) asserts that only terms of I(s) supported on [-L,0] contribute to the inner commutator, but the dropped terms C1,[1,2] and C2,[0,2] acquire support on site 0 through [E1, ·] and can overlap the kept commutator at sites 0/1. This is a mathematical oversight, not circularity: the conclusion is not assumed among the inputs, and the missing contributions are of the same order, so the claim is likely fixable with modified constants. Because no step reduces the conclusion to its own input, the circularity score is at most 2.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No free parameters are fitted. The paper relies on known LR bounds for the unperturbed models, on support assumptions for the operators and perturbations, and on the standard Jordan-Wigner mapping. No new physical entities are introduced.

assumptions (5)
  • domain assumption The unperturbed XY model with random field satisfies the strong dynamical localization bound (54) with constants K and ξ (Hamza-Sims-Stolz).
    Used throughout: e.g., equation (54) and to bound E in (81).
  • domain assumption The XY model without disorder satisfies the standard LR bound (133) with velocity v_LR = 8eJ (Wang-Hazzard, Toniolo-Bose).
    Used in corollary 4.
  • domain assumption The support of [E(s), C] is time-independent for the interaction-picture Hamiltonian.
    Assumed in theorem 1 and satisfied by the periodic terms in (79).
  • domain assumption At least one of [A,C], [B,C] vanishes (support separation condition).
    Needed to apply theorem 1; in corollary 3, A is on the left and B on the right of the impurity.
  • standard math The Jordan-Wigner transformation maps the spin Hamiltonian to free fermions with density-density interaction.
    Used for the physical interpretation in section III.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Logarithmic lightcones in the multiparticle Anderson model with sparse interactions." pith.science (2026). https://pith.science/paper/BD2GHFVH

@misc{pith2026250902383,
  author       = {Pith},
  title        = {Pith review of: Logarithmic lightcones in the multiparticle Anderson model with sparse interactions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BD2GHFVH}},
  note         = {Machine review of arXiv:2509.02383}
}
abstract

We prove that the dynamics of the one-dimensional $ XY $ model with random magnetic field perturbed by a sparse set of $ ZZ $ terms with a large coupling constant $ \Delta $ gives rise to Lieb-Robinson (L-R) bounds with a logarithmic lightcone and amplitude proportional to $ \Delta^{-1} $. These spin systems are equivalent to a set of spinless lattice fermions subjected to a random on site potential and sparse density-density interactions. In the absence of the random magnetic field we also obtain a suppression of the L-R bounds as $ \Delta^{-1} $. These results follow from the application of a general theorem about the L-R bound of a generic local time-dependent one-dimensional spin system with local time-dependent perturbations. Adopting the interaction picture of the dynamics, the large and sparse $ ZZ $ perturbations of the $ XY $ model, with or without disorder, are mapped into high-frequency periodic perturbations. All our results are non-perturbative.

Figures

Figures reproduced from arXiv: 2509.02383 by the authors.

Figure 1
Figure 1. FIG. 1. Sketching a possible configuration of supports of the operators [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. FIG. 2. A set of perturbations [PITH_FULL_IMAGE:figures/full_fig_p015_2.png] view at source ↗
Figure 3
Figure 3. FIG. 3. A set of perturbations [PITH_FULL_IMAGE:figures/full_fig_p016_3.png] view at source ↗

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

25 extracted references · 21 canonical work pages

  1. [1]

    smaller” the influence on the dynamics of the interaction will be. To quantify what “smaller

    Similarly we obtain: eis∆σz 0 σz 1 σx 1 σx 2 e−is∆σz 0 σz 1 = cos(2s∆)σx 1 σx 2 − sin(2s∆)σz 0σy 1 σx 2 (74) And for the Y Y terms we get: eis∆σz 0 σz 1 σy −1σy 0 e−is∆σz 0 σz 1 = cos(2s∆)σy −1σy 0 + sin(2s∆)σy −1σx 0 σz 1 (75) eis∆σz 0 σz 1 σy 1 σy 2 e−is∆σz 0 σz 1 = cos(2s∆)σy 1 σy 2 + sin(2s∆)σz 0σx 1 σy 2 (76) The RHS of (73) and (75) have different s...

    work page

  2. [2]

    M. B. Hastings, Lieb-Schultz-Mattis in higher dimensions, Phys. Rev. B 69, 104431 (2004), arXiv:cond-mat/0305505 [cond-mat.str-el]

    arXiv 2004

  3. [3]

    Corollary 3

    Assuming that the supports of A and B are respectively on the left and on the right of {0, 1}, as we will assume in the corollary 4, a better bound arises due to the decomposition of E in commuting operators E = E1 + E2 + E3. Corollary 3. Given the setting of lemma 2, under the further assumption that two operators A and B are such that suppA ⊂ [−L, −3], ...

    work page

  4. [4]

    In the following we also consider, for simplicity, the setting where the operators A and B are supported respectively on the left and on the right of the perturbation

    The application of theorem 1 implies again that in the case of a large local ZZ perturbation the amplitude of the L-R bound is suppressed, becoming proportional to J ∆ . In the following we also consider, for simplicity, the setting where the operators A and B are supported respectively on the left and on the right of the perturbation. The L-R bound of th...

    work page

  5. [5]

    Our fist goal is to evaluate the first term at the exponent inside the time-ordered operator

    to consider perturbations of the dynamics of the many-body Anderson model, at the level of the Lieb-Robinson bounds, we used as the reference dynamics, we call reference dynamics the one that is factorized in the interaction picture, the one generated by the Anderson model itself, see equation (16) of [5], here instead we are using as the reference dynami...

    work page

  6. [6]

    The overall decay in distance will be of O(e− l ξ )

    In the second step we consider the dynamics resulting from the first step as the unperturbed one and consider the effect of the perturbations given by region right. The overall decay in distance will be of O(e− l ξ ). supp(A) supp( B) | {z } l ⇐= unperturbed Hamiltonian ⇐= perturbations {Cj} FIG. 3. A set of perturbations {Cj} that cover the support of A ...

    work page

  7. [7]

    E. H. Lieb and D. Robinson, The finite group velocity of quantum spin systems, Commun. Math. Phys. 28, 251 (1972)

    work page 1972

  8. [8]

    Bounds in Nonequilibrium Quantum Dynamics

    Z. Gong and R. Hamazaki, Bounds in nonequilibrium quantum dynamics, International Journal of Modern Physics B 36, 10.1142/s0217979222300079 (2022), arXiv:2202.02011 [quant-ph]

    work page Pith review arXiv 2022

Show all 25 references
  1. [9]

    (Anthony) Chen, A

    C.-F. (Anthony) Chen, A. Lucas, and C. Yin, Speed limits and locality in many-body quantum dynamics, Reports on Progress in Physics 86, 116001 (2023), arXiv:2303.07386 [quant-ph]

    2023 arXiv

  2. [10]

    Toniolo and S

    D. Toniolo and S. Bose, Stability of slow hamiltonian dynamics from Lieb-Robinson bounds (2024), arXiv:2405.05958 [quant-ph]

    2024 arXiv

  3. [11]

    Gebert, A

    M. Gebert, A. Moon, and B. Nachtergaele, A Lieb–Robinson bound for quantum spin chains with strong on-site impurities, Reviews in Mathematical Physics 34, 2250007 (2022), arXiv:arXiv:2104.00968v1 [math-ph]

    2022 arXiv

  4. [12]

    Nachtergaele, R

    B. Nachtergaele, R. Sims, and A. Young, Quasi-locality bounds for quantum lattice systems. I. Lieb-Robinson bounds, quasi-local maps, and spectral flow automorphisms, Journal of Mathematical Physics 60, 061101 (2019), arXiv:1810.02428 [math-ph]

    2019 arXiv

  5. [13]

    Hamza, R

    E. Hamza, R. Sims, and G. Stolz, Dynamical localization in disordered quantum spin systems, Commun. Math. Phys. 315, 215 (2012), arXiv:1108.3811 [math-ph]

    2012 arXiv

  6. [14]

    Abdul-Rahman, B

    H. Abdul-Rahman, B. Nachtergaele, R. Sims, and G. Stolz, Entanglement dynamics of disordered quantum xy chains, Letters in Mathematical Physics 106, 649 (2016), arXiv:1510.00262 [math-ph]

    2016 arXiv

  7. [15]

    Stolz, An introduction to the mathematics of Anderson localization, Contemp Math 552, 71 (2011), arXiv:1104.2317 [math-ph]

    G. Stolz, An introduction to the mathematics of Anderson localization, Contemp Math 552, 71 (2011), arXiv:1104.2317 [math-ph]

    2011 arXiv

  8. [16]

    Elgart and A

    A. Elgart and A. Klein, Slow propagation of information on the random xxz quantum spin chain, Commun. Math. Phys. 405, 239 (2024), arXiv:2311.14188 [math-ph]

    2024 arXiv

  9. [17]

    Y. Zeng, A. Hamma, Y.-R. Zhang, Q. Liu, R. Li, H. Fan, and W.-M. Liu, Logarithmic light cone, slow entanglement growth and scrambling, and quantum memory (2023), arXiv:2305.08334 [quant-ph]

    2023

  10. [18]

    Toniolo and S

    D. Toniolo and S. Bose, Dynamics of many-body localized systems: logarithmic lightcones and logt-law of α-R´ enyi entropies (2024), arXiv:2408.02016 [cond-mat.dis-nn]

    2024 arXiv

  11. [19]

    Dietlein, M

    A. Dietlein, M. Gebert, and P. M¨ uller, Perturbations of continuum random schr¨ odinger operators with applications to ander- son orthogonality and the spectral shift function, Journal of Spectral Theory9, 10.4171/jst/267 (2019), arXiv:1701.02956v2 [math-ph]

    2019 arXiv

  12. [20]

    A. O. Gogolin, A. A. Nerseyan, and A. M. Tsvelik, Bosonization and Strongly Correlated Systems(CAMBRIDGE UNI- VERSITY PRESS, 1998)

    1998

  13. [21]

    Kitaev and C

    A. Kitaev and C. Laumann, Topological phases and quantum computation (2009), arXiv:0904.2771v1 [cond-mat.mes-hall]

    2009 arXiv

  14. [22]

    Wang and K

    Z. Wang and K. R. Hazzard, Tightening the lieb-robinson bound in locally interacting systems, PRX Quantum 1, 010303 (2020), arXiv:1908.03997 [quant-ph]

    2020 arXiv

  15. [23]

    Toniolo and S

    D. Toniolo and S. Bose, Dynamical α-R´ enyi entropies of local hamiltonians grow at most linearly in time, Phys. Rev. X 15, 031046 (2025), arXiv:2408.00743 [quant-ph]

    2025 arXiv

  16. [24]

    T. J. Osborne, Simulating evolution of spin systems

  17. [25]

    T. J. Osborne, Simulating adiabatic evolution of gapped spin systems, Phys. Rev. A 75, 032321 (2007), arXiv:quant- ph/0601019

    2007

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.