Pith. sign in

REVIEW 3 major objections 4 minor 1 cited by

Non-local magic is fixed by the harmonic structure of the entanglement spectrum and cannot exceed twice a Rényi entanglement entropy.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · grok-4.5

2026-07-10 17:38 UTC pith:YMUV3QZW

load-bearing objection Clean spectral rewrite of non-local magic with a real bound and exact scalings; the only load-bearing soft spot is that the Walsh form is proved equal to the original min only for 1 imes L cuts and only numerically equal to Ref. [20]. the 3 major comments →

arxiv 2607.07808 v1 pith:YMUV3QZW submitted 2026-07-08 quant-ph cond-mat.str-el

Non-Local Magic from the Entanglement Spectrum

Gianpaolo Torre , Fabio Franchini , Salvatore Marco Giampaolo This is my paper
classification quant-ph cond-mat.str-el
keywords non-local magicentanglement spectrumWalsh-Hadamard transformstabilizer Rényi entropySchmidt decompositionquantum criticalityarea lawvolume law
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper asks what makes non-local magic large or small and answers that it is the organization of the entanglement spectrum, not the amount of entanglement alone. By rewriting Schmidt-gauged non-local magic as a fourth Walsh moment of the spectrum’s binary autocorrelations, the authors turn an intractable local-unitary minimization into an object that can be analyzed with spectral tools. They prove a universal upper bound by the second Rényi entanglement entropy, show that flat or nearly flat spectra give vanishing or O(1) magic even under volume-law entanglement, and obtain exact additive formulas for product entanglement modes that produce volume-law magic. The same spectral picture yields an area law for one-dimensional gapped ground states and a universal logarithmic growth at free-fermion critical points, with a suggested extension to generic critical systems. A sympathetic reader cares because the work supplies a concrete analytical language for a resource that had been almost purely numerical.

Core claim

Schmidt-gauged non-local magic equals the fourth Walsh moment of the binary autocorrelations of the ordered entanglement spectrum, M_Sch_2 = −log₂[2^{−m} ∑_{s,k} A_s(k)⁴], and therefore obeys the bound M_Sch_2 ≤ 2 S₂(ρ_A). The spectral organization of the Schmidt eigenvalues, not the value of the entanglement entropy itself, governs whether the magic is zero, finite, extensive, or logarithmic.

What carries the argument

Walsh–Hadamard autocorrelations of the entanglement spectrum: for each binary shift s the function f_s(x)=√(λ_x λ_{x⊕s}) is transformed to A_s(k); the non-local magic is then the normalized fourth moment of those amplitudes, exposing the harmonic structure that controls scaling.

Load-bearing premise

That the Schmidt-gauged representative really achieves the original minimum over all local unitaries for every bipartition, not only for 1-by-L cuts where the equality is proved.

What would settle it

Compute both the full local-unitary minimization of the stabilizer Rényi entropy and the Walsh-autocorrelation formula on a family of states with balanced bipartitions (for example random pure states or critical spin chains with m_A ≈ m_B) and check whether the two numbers coincide within numerical precision as system size grows.

Watch this falsifier — get emailed when new claim-graph text bears on it.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 4 minor

Summary. The manuscript studies non-local magic via the Schmidt-gauged second-order stabilizer Rényi entropy. It rewrites this quantity as the fourth Walsh–Hadamard moment of the binary autocorrelations of the ordered entanglement spectrum (Eq. 5), proves the universal bound M_Sch_2 ≤ 2 S_2(ρ_A), and derives exact scalings: vanishing for flat spectra, O(1) for Haar-random states, volume-law for product entanglement modes, area-law for 1D gapped systems, and logarithmic growth for critical free-fermion chains (with a suggested extension to generic 1D criticality). The central message is that the spectral organization of the Schmidt eigenvalues, not the amount of entanglement alone, governs non-local magic.

Significance. If the identification of M_Sch_2 with non-local magic holds, the paper supplies a usable analytical language for a previously intractable resource, places it inside entanglement spectroscopy, and yields clean, falsifiable scalings (volume vs O(1) vs log) that distinguish spectral structures invisible to Rényi entropies. The bound M_Sch_2 ≤ 2 S_2 is short, standard, and immediately useful; the product-mode additivity and free-fermion continuum limit are exact and give concrete coefficients. These are genuine contributions even if some equivalences remain numerical. The work is a natural bridge between magic resource theory and many-body entanglement spectra.

major comments (3)
  1. The strongest claim equates M_Sch_2 (Eq. 5) with the non-local magic of Ref. [20]. The manuscript proves that the Schmidt gauge realises the local-unitary minimum only for 1×L bipartitions (Supplemental Material) and relies on “extensive numerical evidence” for general cuts. All subsequent analytic results (bound, volume law, free-fermion log scaling) are derived from Eq. 5. Either (i) prove the equivalence for balanced bipartitions, or (ii) reframe the paper as results about the Schmidt-gauged spectral quantity, with the identification as a conjecture supported by numerics, and state clearly for which cuts the theorems are unconditional.
  2. The text states that analytic identity between Eq. 5 and the multi-XOR spectral formula (Eq. 55 of Ref. [20]) has not been established, only checked numerically. Because the paper presents Eq. 5 as an equivalent representation of that quantity, this gap is load-bearing. Provide a proof of equality, or restrict claims of equivalence to the regimes where the two expressions have been shown to coincide and mark the rest as numerical.
  3. The extension from free-fermion criticality (Eq. 16, controlled by Peschel’s spectrum) to generic 1D critical systems (Eq. 17) rests on the unproved assumption that “the associated Walsh amplitudes remain sufficiently delocalized.” This is an axiom of the paper, not a derivation. Either supply evidence (analytic or numerical) that the fourth Walsh moment tracks the Calabrese–Lefevre distribution, or present Eq. 17 as a conjecture rather than a prediction of the framework.
minor comments (4)
  1. Typos and wording: “in this was” → “in this way”; “distribuion” → “distribution”; “R ´enyi” spacing is inconsistent; “truncmB PA” notation is hard to parse.
  2. The coefficient κ in Eq. 16 is defined by an integral of f(p); a numerical value or a short evaluation would help readers compare with other critical exponents.
  3. The paper would benefit from one explicit small-system numerical table comparing M_Sch_2, the multi-XOR formula of Ref. [20], and a brute-force local-unitary minimisation for a balanced cut (e.g. 3+3 or 4+4), so the “extensive numerical evidence” is documented in the main text or SM.
  4. Clarify early that m = min(m_A, m_B) and that padding with zeros is part of the canonical ordering; this affects the domain of the Walsh transform.

Circularity Check

0 steps flagged

No significant circularity: Walsh representation, bound, and scalings are derived by direct substitution into the stabilizer Rényi definition on the Schmidt-gauged state plus standard Fourier identities.

full rationale

The derivation chain begins from the established definition of the second-order stabilizer Rényi entropy M2 applied to the Schmidt-gauged pure state (Eqs. 2–4), which immediately produces the Walsh–Hadamard fourth-moment expression (Eq. 5) by elementary restriction of the Pauli sum. The universal bound M_Sch_2 ≤ 2 S2 follows from that expression via Parseval’s identity and Cauchy–Schwarz (Eqs. 12–13) with no external input. Exact results for flat spectra, product entanglement modes (Eqs. 8–11), Haar fluctuations, and free-fermion critical spectra (Eqs. 14–16) are obtained by substituting the corresponding known Schmidt eigenvalues into the same expression; the free-fermion logarithmic scaling further uses only the standard Peschel/Calabrese–Lefevre entanglement energies. Prior work supplies the original non-local-magic definition and known spectral facts but is not invoked as an unexamined black-box uniqueness theorem or fitted ansatz that forces the new formulae. The acknowledged gaps (analytic equivalence of the Walsh form to Ref. [20]’s multi-sum formula, and the Schmidt gauge realizing the global minimum only for 1×L cuts) are correctness/scope limitations, not circular reductions of a claimed prediction to its own inputs. No fitted parameters, self-definitional loops, or load-bearing self-citation chains appear.

Axiom & Free-Parameter Ledger

0 free parameters · 5 axioms · 0 invented entities

The paper rests on standard linear algebra (Schmidt decomposition, Walsh–Hadamard orthogonality, Parseval, Cauchy–Schwarz), the accepted definition of the second stabilizer Rényi entropy, and well-known spectral facts for free-fermion and gapped 1-D systems. No free parameters are fitted. The only non-standard modelling steps are the identification of Schmidt-gauge magic with the original local-unitary minimum for general bipartitions and the delocalisation assumption used for generic critical spectra.

axioms (5)
  • domain assumption The second-order stabilizer Rényi entropy M_2 is a valid magic monotone whose minimum over local unitaries defines non-local magic.
    Taken from Ref. [20] and used as the starting definition throughout.
  • standard math For any pure bipartite state there exist local unitaries that map the Schmidt bases onto the computational basis, yielding the ordered Schmidt-gauged representative.
    Standard consequence of the Schmidt decomposition; used to define |ψ⟩_Sch.
  • ad hoc to paper The Schmidt-gauged value coincides with the true minimum over local unitaries for arbitrary bipartitions.
    Proved only for 1×L cuts; asserted for general cuts on the basis of numerical evidence only.
  • domain assumption Reduced density matrices of free-fermion chains factor into independent entanglement modes whose occupation probabilities are set by the single-particle entanglement energies.
    Standard Peschel result used to obtain the exact sum for M_Sch_2.
  • ad hoc to paper For generic 1-D critical systems the Walsh amplitudes remain sufficiently delocalised that the fourth-moment sum still yields a logarithmic scaling.
    Explicitly labelled as an assumption when extrapolating beyond free fermions.

pith-pipeline@v1.1.0-grok45 · 12984 in / 2852 out tokens · 36999 ms · 2026-07-10T17:38:40.889523+00:00 · methodology

0 comments
read the original abstract

Non-local magic has recently emerged as a fundamental resource for characterizing genuinely non-local non-stabilizer correlations. However, its direct calculation is an intractable numerical problem, except for small systems, and its understanding remains limited. We derive a representation of non-local magic in terms of the Walsh--Hadamard autocorrelations of the entanglement spectrum. Our representation makes the underlying harmonic structure explicit and enables a systematic analysis of its behaviors for various scenarios. We prove that non-local magic can be upper-bounded by an entanglement entropy and we derive exact analytical results for broad classes of quantum states, characterizing the scaling of non-local magic for volume-law states, as well as ground states of one-dimensional gapped and critical systems. Our results identify the spectral organization of the entanglement spectrum as the key ingredient governing non-local magic and provide a framework for further systematic analytical investigation.

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Revealing Entanglement-Growth Mechanisms through the Magic Barrier

    quant-ph 2026-07 accept novelty 6.0

    Relative timing of the entropy-growth-rate peak and the magic-barrier peak diagnoses whether bipartite entanglement grows by local build or by transport/redistribution.

Reference graph

Works this paper leans on

29 extracted references · 29 canonical work pages · cited by 1 Pith paper

  1. [1]

    Vidal and J

    G. Vidal and J. I. Latorre and E. Rico and A. Kitaev, Entan- glement in Quantum Critical Phenomena, Phys. Rev. Lett.,90, 227902 (2003)

    work page 2003

  2. [2]

    Hamma, R

    A. Hamma, R. Ionicioiu and, P. Zanardi, Ground state entan- glement and geometric entropy in the Kitaev model, Physics Letters A337, 22 (2005)

    work page 2005

  3. [3]

    Amico and R

    L. Amico and R. Fazio and A. Osterloh and V . Vedral, Entangle- ment in many-body systems, Rev. Mod. Phys.80, 517 (2008)

    work page 2008

  4. [4]

    Eisert and M

    J. Eisert and M. Cramer and M. B. Plenio, Area laws for the entanglement entropy, Rev. Mod. Phys.82, 277 (2010)

    work page 2010

  5. [5]

    Or ´us, A Practical Introduction to Tensor Networks, Annals of Physics349, 117 (2014)

    R. Or ´us, A Practical Introduction to Tensor Networks, Annals of Physics349, 117 (2014)

    work page 2014

  6. [6]

    Laflorencie, Quantum entanglement in condensed matter systems, Physics Reports,646, 1 (2016)

    N. Laflorencie, Quantum entanglement in condensed matter systems, Physics Reports,646, 1 (2016)

    work page 2016

  7. [7]

    Hamma, R

    A. Hamma, R. Ionicioiu and, P. Zanardi, Bipartite entanglement and entropic boundary law in lattice spin systems, Phys. Rev. A 71, 022315 (2005)

    work page 2005

  8. [8]

    Li and F

    H. Li and F. D. M. Haldane, Entanglement Spectrum as a Generalization of Entanglement Entropy, Phys. Rev. Lett.101, 010504 (2008)

    work page 2008

  9. [9]

    Peschel and V

    I. Peschel and V . Eisler, Reduced density matrices and entan- glement entropy in free lattice models, J. Phys. A42, 504003 (2009)

    work page 2009

  10. [10]

    Calabrese and A

    P. Calabrese and A. Lefevre, Entanglement spectrum in one- dimensional systems, Phys. Rev. A787, 032329 (2008)

    work page 2008

  11. [11]

    D. Gottesman, The Heisenberg Representation of Quantum Computers, Proceedings of the XXII International Collo- quium on Group Theoretical Methods in Physics arXiv quant- ph/9807006 (1999)

    work page arXiv 1999

  12. [12]

    Bravyi and A

    S. Bravyi and A. Kitaev, Universal Quantum Computation with Ideal Clifford Gates and Noisy Ancillas, Phys. Rev. A71 022316 (2005)

    work page 2005

  13. [13]

    Veitch, S

    V . Veitch, S. A. H. Mousavian, D. Gottesman and J. Emer- son, The Resource Theory of Stabilizer Quantum Computation, New Journal of Physics16, 013009 (2014)

    work page 2014

  14. [14]

    Howard, J

    M. Howard, J. Wallman, V . Veitch and J. Emerson, Contextual- ity Supplies the Magic for Quantum Computation, Nature510, 351 (2014)

    work page 2014

  15. [15]

    Leone, S

    L. Leone, S. F. E. Oliviero and A. Hamma, Resource Theory of Magic and Quantum Computation, PRX Quantum3, 020217 (2022)

    work page 2022

  16. [16]

    Turkeshi, L

    X. Turkeshi, L. Leone, and M. Dalmonte, Order and Criticality from Magic-Resource Theory, PRX Quantum4, 020334 (2023)

    work page 2023

  17. [17]

    S. F. E. Oliviero, L. Leone, and A. Hamma, Magic-state re- source theory for the ground state of the transverse-field Ising model, Phys. Rev. A106, 042426 (2022)

    work page 2022

  18. [18]

    Odavi ´c, T

    J. Odavi ´c, T. Haug, G. Torre, A. Hamma, F. Franchini, and S. M. Giampaolo, Complexity of frustration: a new source of non- local non-stabilizerness, SciPost Phys.15, 131 (2023)

    work page 2023

  19. [19]

    A. G. Catalano, J. Odavi ´c, G. Torre, A. Hamma, F. Franchini, and S. M. Giampaolo, Magic phase transition and non-local complexity in generalized W State, SciPost Phys. Core8, 078 (2025)

    work page 2025

  20. [20]

    C.-J. Cao, G. Cheng, A. Hamma, L. Leone, W. Munizzi, and S. F.E. Oliviero, Gravitational back-reaction is magical, PRX Quantum6, 040375 (2025)

    work page 2025

  21. [21]

    K. G. Beauchamp, Walsh Functions and Their Applications, Academic Press, (1975)

    work page 1975

  22. [22]

    C .Carlet, Boolean Functions for Cryptography and Coding Theory, Cambridge: Cambridge University Press (2021)

    work page 2021

  23. [23]

    A.Nielsen & I

    M. A.Nielsen & I. L. Chuang, Quantum computation and quan- tum information (10th Anniversary ed.). Cambridge University Press (2010)

    work page 2010

  24. [24]

    Streltsov, G

    A. Streltsov, G. Adesso, and M. B. Plenio, Quantum Coherence as a Resource, Rev. Mod. Phys.89, 041003 (2017)

    work page 2017

  25. [25]

    Adesso, T

    G. Adesso, T. R. Bromley, and M. Cianciaruso, Measures and applications of quantum correlations, J. Phys. A: Math. Theor. 49, 473001 (2016)

    work page 2016

  26. [26]

    S. B. Ko ˇzi´c, G. Torre, K. Deli ´c, F. Franchini, and S. M. Gi- ampaolo, Quantum Coherence of Topologically Frustrated Spin Chains, Phys. Rev. B112, 144426 (2025)

    work page 2025

  27. [27]

    D. N. Page, Average Entropy of a Subsystem, Phys. Rev. Lett.71, 1291 (1993)

    work page 1993

  28. [28]

    Peschel, Calculation of reduced density matrices from corre- lation functions, J

    I. Peschel, Calculation of reduced density matrices from corre- lation functions, J. Phys. A36, L205 (2003)

    work page 2003

  29. [29]

    Chung and I

    M.-C. Chung and I. Peschel, Density-matrix spectra of solvable fermionic systems, Phys. Rev. B64, 064412 (2001)

    work page 2001