Non-Local Magic from the Entanglement Spectrum

Fabio Franchini; Gianpaolo Torre; Salvatore Marco Giampaolo

REVIEW 3 major objections 4 minor 2 cited by

Non-Local Magic from the Entanglement Spectrum

T0 review · 3 major / 4 minor · reviewed 2026-07-10 · grok-4.5

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

Pith's one-line read Non-local magic is fixed by the harmonic structure of the entanglement spectrum and cannot exceed twice a Rényi entanglement entropy.

desk verdict 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]. read the letter →

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

Gianpaolo Torre , Fabio Franchini , Salvatore Marco Giampaolo This is my paper · ORCID

classification quant-phcond-mat.str-el

keywords non-localmagicentanglementspectrumWalsh-HadamardtransformstabilizerRényientropySchmidtdecompositionquantumcriticalityarealawvolume

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 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.

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.

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

Extended reading notes

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.

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.

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.

Desk Editor's Note

read the letter

The useful thing here is a usable analytic handle on non-local magic. They rewrite the Schmidt-gauged M2 as the fourth Walsh moment of the binary autocorrelations of the ordered entanglement spectrum (Eq. 5). From that they get an elementary bound M_Sch2 ≤ 2 S2 via Parseval + Cauchy–Schwarz on the k=0 sector, exact additivity for product entanglement modes (volume law when a finite density of modes have p eq 0,1/2), O(1) for Haar-random and gapped 1d states, and an explicit log coefficient κ for free-fermion critical chains from Peschel’s spectrum. Those pieces are new relative to Ref. [20] and are the parts people will actually use.

What works: the bound is three clean lines and is correctly stated as necessary but not sufficient (Haar is the counter-example). The product-mode formula is exact. The free-fermion log scaling is a direct continuum limit of a known spectrum; no free parameters. The flat-spectrum vanishing and the Haar O(1) result are immediate once you have the Walsh form. Citation pattern is normal for the subfield; they flag their own gaps rather than burying them.

Soft spots, in proportion. The manuscript proves that the Schmidt gauge realises the original local-unitary min only for 1 imes L bipartitions (Supplemental); for general cuts it says “extensive numerical evidence.” Analytic identity with the multi-XOR formula of Ref. [20] is also only numerical. Everything after Eq. 5 (bound, volume law, free-fermion κ, the suggested Calabrese–Lefevre log for generic critical systems) is derived from the Walsh expression. If that expression systematically exceeds the true min on balanced cuts, or differs from the multi-sum on non-product spectra, the strongest claim weakens. The generic-critical γ log L further assumes Walsh amplitudes stay delocalised; that is clearly labelled as a suggestion, not a theorem. None of this sinks the paper; the core identities that are proved are solid and the gaps are stated.

This is for people already working on magic measures or entanglement spectroscopy who want analytic scalings instead of brute-force optimisation. It deserves a serious referee. I would engage with it, cite the bound and the free-fermion coefficient, and keep an eye on whether the general-bipartition equivalence gets closed.

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)

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.
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.
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)

Typos and wording: “in this was” → “in this way”; “distribuion” → “distribution”; “R ´enyi” spacing is inconsistent; “truncmB PA” notation is hard to parse.
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.
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.
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 · score 0.0 of 10

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.

Assumptions & free parameters 0 free parameters · 5 assumptions · 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.

assumptions (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.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Non-Local Magic from the Entanglement Spectrum." pith.science (2026). https://pith.science/paper/YMUV3QZW

@misc{pith2026260707808,
  author       = {Pith},
  title        = {Pith review of: Non-Local Magic from the Entanglement Spectrum},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/YMUV3QZW}},
  note         = {Machine review of arXiv:2607.07808}
}

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). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

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

Schmidt-Gauge Non-Local Magic: Representation, Optimality, and Mathematical Properties
quant-ph 2026-08 conditional novelty 6.0 of 10

For every 1xN bipartition, the Schmidt-gauge non-local magic equals the true local-unitary minimum, and the Walsh-Hadamard representation yields bounds, selection rules, and an inverse-participation-ratio interpretation.
Revealing Entanglement-Growth Mechanisms through the Magic Barrier
quant-ph 2026-07 accept novelty 6.0 of 10

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.

Pith tools

Reviewed July 10, 2026 · model on record in the stance chip above.