Pith. sign in

REVIEW 2 major objections 4 minor 34 references

Schmidt-Gauge Non-Local Magic: Representation, Optimality, and Mathematical Properties

T0 review · 2 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read For every pure state of a 1×N bipartition, the Schmidt representative achieves the minimum of second-order non-local magic over all local unitaries.

desk verdict A solid mathematical companion that proves the 1xN optimality theorem cleanly, with one load-bearing unverified inequality and a self-citation burden that are both manageable. read the letter →

arxiv 2608.02745 v2 pith:Y3V7UC4M submitted 2026-08-03 quant-ph

Fabio Franchini , Salvatore Marco Giampaolo This is my paper · ORCID
classification quant-ph MSC 81P4081P6842C10
keywords non-localmagicstabilizerRényientropySchmidtgaugeWalsh-Hadamardtransformentanglementspectrumlocalunitaryorbitnon-stabilizerness
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

This paper aims to show that the genuinely non-local part of quantum magic is fixed by the entanglement spectrum, not by the local basis in which the state is written. For a bipartition with one qubit on one side and N qubits on the other, it proves that the Schmidt representative—the canonical state obtained by aligning local bases with the Schmidt decomposition—attains the minimum of the second-order stabilizer Rényi entropy over every local unitary rotation. This makes the equality between non-local magic and Schmidt-gauge magic exact for all 1×N bipartitions. The proof runs through a Walsh-Hadamard representation of the Schmidt spectrum, which also yields an entanglement-entropy bound, selection rules, and an inverse-participation-ratio interpretation. A reader should care because the result turns a hard variational problem into a spectral quantity computable from the reduced density matrix.

What carries the argument

The load-bearing object is the family of shifted spectral correlation functions $f_s(x)=\sqrt{\lambda_x\lambda_{x\oplus s}}$ and their Walsh-Hadamard transforms $A_s(k)=\sum_x(-1)^{k\cdot x}f_s(x)$. Equation (18), $M_2^{\mathrm{Sch}}=-\log_2[2^{-m}\sum_{s,k}A_s(k)^4]$, converts non-local magic into the normalized fourth moment of these Walsh spectra. In the $1\times N$ optimality proof, the central mechanism is the algebraic inequality (50), which bounds the quartic Pauli sum after an arbitrary single-qubit rotation under Bessel constraints; saturation of every inequality by computational-basis Schmidt vectors proves the minimum.

What would settle it

Numerically search for a $1\times N$ pure state and local unitaries $U_A,U_B$ with $M_2[(U_A\otimes U_B)|\psi\rangle] < M_2(|\psi_{\mathrm{Sch}}\rangle)$; equivalently, look for a counterexample to inequality (50) inside its allowed domain $t\le\min(1-a^2,1-b^2)$, $u+v=1$, which would falsify the proof in a direct calculation.

Watch

Extended reading notes

Core claim

The central discovery is that the Schmidt-gauge second-order stabilizer Rényi entropy $M_2^{\mathrm{Sch}}$ admits an exact Walsh-Hadamard representation over binary strings: with Schmidt eigenvalues $\lambda_x$, the shifted correlation functions $f_s(x)=\sqrt{\lambda_x\lambda_{x\oplus s}}$ have Walsh transforms $A_s(k)$, and $M_2^{\mathrm{Sch}}=-\log_2[2^{-m}\sum_{s,k} A_s(k)^4]$. The representation survives arbitrary bipartitions because the extra qubits on the larger side only multiply the Pauli sum by a factor that cancels the normalization. For $1\times N$ systems the paper proves $M_2^{\mathrm{NL}}=M_2^{\mathrm{Sch}}$ by bounding the quartic Pauli sum for arbitrary local unitaries and showing that the Schmidt representative saturates the bound. From the same representation follow $M_2^{\mathrm{Sch}}\le 2S_2(\rho_A)$, the selection rule $A_s(k)=0$ whenever $k\cdot s=1$, the fixed second moment $\sum_{s,k} A_s(k)^2=2^m$, and the interpretation of the measure as the excess Rényi entropy of the normalized Walsh distribution over the baseline $m$.

Load-bearing premise

The central proof rests on the algebraic inequality (50) bounding a quartic Pauli sum after an arbitrary single-qubit rotation, verified in the appendix; if that inequality fails for some allowed $\lambda_0,\lambda_1,a,b,|c|$, the equality $M_2^{\mathrm{NL}}=M_2^{\mathrm{Sch}}$ is not established.

Editorial extensions

If this is right

  • For any $1\times N$ pure state, the minimization defining non-local magic is solved: the value equals the second-order stabilizer Rényi entropy of the Schmidt representative, determined by just two Schmidt coefficients.
  • Schmidt-gauge non-local magic is a function of the entanglement spectrum alone for arbitrary bipartitions, so it can be computed from the reduced density matrix without solving a variational problem.
  • Any bipartite pure state obeys $M_2^{\mathrm{Sch}}\le 2S_2(\rho_A)$, so extensive Schmidt-gauge non-local magic requires at least half as much Rényi-2 entanglement entropy.
  • The Walsh spectrum of every shifted overlap function obeys the selection rule $A_s(k)=0$ for $k\cdot s=1$, and the total second Walsh moment is state-independent, $\sum_{s,k}A_s(k)^2=2^m$.
  • The measure can be read as the logarithmic inverse participation ratio of the normalized Walsh distribution relative to the baseline $2^m$, i.e. as excess harmonic delocalization.

Reading between the lines

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

  • If the proved $1\times N$ optimality extends to arbitrary bipartitions, as the accompanying numerical evidence hints, then non-local magic of every bipartite pure state becomes exactly a function of the entanglement spectrum, computable in tensor-network simulations from reduced density matrices.
  • The IPR reading suggests a testable prediction: the Walsh distribution $p_{s,k}=W_s(k)^2$ should show distinct multifractal behavior across phase transitions even when total non-local magic stays small, paralleling multifractal flatness diagnostics.
  • The bound $M_2^{\mathrm{Sch}}\le 2S_2$ places a resource cost on magic per unit entanglement; searching for states that nearly saturate it would identify states where the Walsh weight is spread over the maximum allowed number of modes.
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 / 4 minor

Summary. The paper develops a Walsh–Hadamard representation of the second-order stabilizer Rényi entropy evaluated on the Schmidt representative of a bipartite pure state, which the authors call Schmidt-gauge non-local magic. After deriving the representation from the Pauli sum for symmetric bipartitions, the authors extend it to arbitrary bipartitions, proving that the same formula holds. The central technical result is a proof that for all 1×N bipartitions the Schmidt representative minimizes the second-order stabilizer Rényi entropy over the entire local-unitary orbit, so that M2^NL(|ψ⟩)=M2^Sch(|ψ⟩). The remainder of the paper derives general properties of M2^Sch, including an upper bound in terms of the Rényi-2 entanglement entropy, selection rules for the Walsh coefficients, and an interpretation as a logarithmic inverse participation ratio in Walsh space. The proofs in Sections II and IV are self-contained, while the proof of the key algebraic inequality (50) used in the 1×N optimality theorem is given in Appendix A.

Significance. If the identification with the previously known non-local magic is accepted, the paper provides a clean harmonic-analytic framework that exposes structural properties of Schmidt-gauge non-local magic that were hidden in the spectral formulation. The optimality result for 1×N bipartitions is a rigorous, nontrivial addition to the literature, complementing the numerical evidence in the companion Letter. The bound M2^Sch ≤ 2S2(ρ_A) and the selection rules are simple and testable, and the inverse-participation-ratio interpretation gives a useful intuitive picture. The paper is generally well organized, and the derivations in Sections II and IV are careful and reproducible. However, the paper is not fully self-contained in one crucial respect: the equivalence between Eq. (18) and the spectral representation of Ref. [18] is deferred to the Supplemental Material of the companion Letter [24].

major comments (2)
  1. [Introduction, second paragraph; Section II A, after Eq. (18)] The paper explicitly states that the mathematical equivalence between the Walsh–Hadamard representation (18) and the previously known spectral formulation of Ref. [18] is established only in the Supplemental Material of the companion Letter [24]. This equivalence is what justifies identifying M2^Sch with the existing notion of Schmidt-gauge non-local magic, and it is therefore load-bearing for the central claims of the paper. The authors should either include a full proof of this equivalence in the present manuscript (for example, in an appendix) or explicitly restrict all claims to the quantity M2(|ψSch⟩) as defined in Eq. (5), independent of its identification with Ref. [18]. As written, a reader cannot verify the central identification without consulting an external, not-yet-published companion.
  2. [Section III B, Eq. (50) and Appendix A] The 1×N optimality theorem rests entirely on the algebraic inequality (50), whose proof in Appendix A is a lengthy case analysis. I have checked the reduction to Δ(0) and Δ(t*) and the endpoint analysis, and I found no error; however, the proof is intricate and the nontrivial case u ∈ [0, u_c] is handled with a series of algebraic manipulations that are not easy to verify by hand. Given that this inequality is the sole support for the paper's main theorem, I recommend that the authors streamline the proof, add a more intuitive explanation of why (50) should hold, or provide a short computer-algebra verification to make the result more transparent and independently checkable.
minor comments (4)
  1. [Section II B, Eq. (21)] In Eq. (21), the notation "⟨X_sA Z_kA ⊗ X_sB0 Z_kB0⟩ ⟨0|X_sE Z_kE|0⟩" leaves the state with respect to which the first expectation value is taken implicit; please write explicitly something like ⟨ψSch|...|ψSch⟩.
  2. [Section II B, after Eq. (19)] The ancillary register B_E is not explicitly assigned a dimension; stating that it contains m_B − m qubits would remove ambiguity.
  3. [Section IV C, after Eq. (76)] The statement that Haar-random states are expected to yield a finite but non-extensive Schmidt-gauge non-local magic is presented without proof and is based on the companion Letter [24]; please qualify this as a conjecture or give a reference.
  4. [Appendix A] The symbol t* is used both for the endpoint of the allowed interval and for the stationary point of the quadratic F0; renaming one of these would avoid confusion.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular derivation: the Walsh-Hadamard representation and the 1xN Schmidt-gauge optimality proof are self-contained; only minor self-citations to the companion Letter are non-load-bearing.

full rationale

The paper's central representation, Eq. (18), is derived directly from the definition of the second-order stabilizer Renyi entropy on the Schmidt representative, through Eqs. (4)-(17); no fitted parameter or target quantity is inserted. The main optimality theorem, Eq. (27), is proven by bounding Q(UA, phi0, phi1) using the algebraic inequality Eq. (50), whose proof in Appendix A is an independent case analysis over the Bessel-constrained parameters a, b, t, u. The right-hand side of Eq. (52) is then matched by an explicit computation of QSch, Eq. (56), so the equality M2^NL = M2^Sch is not assumed by construction. The only self-citations to the authors' companion Letter [24] are (i) the statement that equivalence to the spectral representation of Ref. [18] is established in [24]'s Supplemental Material, and (ii) numerical evidence that the Schmidt gauge continues to minimize for generic bipartitions. Neither claim is load-bearing for the 1xN proof or for the Walsh-Hadamard derivation: the representation is re-derived from scratch in Section II, and the generic-bipartition statement is explicitly left as an open problem. Thus no prediction reduces to an input by construction. The un-machine-checked Appendix A is a correctness risk, not circularity.

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

The paper introduces no free parameters or fitted constants. It relies on standard mathematical facts (Parseval, Bessel, Cauchy-Schwarz) and on domain definitions of stabilizer Rényi entropy and non-local magic from Refs. [16,18]. No new physical entities are introduced; the normalized Walsh distribution is a derived representational device.

assumptions (4)
  • standard math Walsh-Hadamard transform on F_2^m satisfies Parseval's identity: sum_k |f_hat(k)|^2 = 2^m sum_x |f(x)|^2.
    Used in Section IV A and IV B to derive the second-moment identity (Eq. 72) and the entanglement bound (Eq. 59).
  • standard math The phase-free Pauli operators form an orthogonal basis with sum_P |<phi|P|phi>|^2 = 2^N for every normalized N-qubit state |phi>.
    Invoked as Parseval's identities in Eq. (38) of the 1xN optimality proof.
  • domain assumption The second-order stabilizer Rényi entropy of Ref. [16] is the accepted measure of non-stabilizerness, and the non-local magic is defined as the minimum over local unitaries as in Ref. [18].
    The paper adopts these definitions without re-deriving the resource-theoretic framework.
  • standard math Bessel's inequality gives a_P^2 + |c_P|^2 <= 1 and b_P^2 + |c_P|^2 <= 1 for unitary P_B and orthonormal Schmidt vectors.
    Required by the algebraic inequality (50) and used in Appendix A.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Schmidt-Gauge Non-Local Magic: Representation, Optimality, and Mathematical Properties." pith.science (2026). https://pith.science/paper/Y3V7UC4M

@misc{pith2026260802745,
  author       = {Pith},
  title        = {Pith review of: Schmidt-Gauge Non-Local Magic: Representation, Optimality, and Mathematical Properties},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/Y3V7UC4M}},
  note         = {Machine review of arXiv:2608.02745}
}
abstract

While the full non-stabilizerness (magic) of a quantum state contains local, basis-dependent contributions, a non-local formulation based on a minimization over local unitaries isolates the component associated with genuinely non-local correlations. Within such a framework, the Schmidt-gauge formulation of non-local magic provides a direct connection between genuinely non-local non-stabilizer correlations and the entanglement spectrum of quantum many-body states. Building on the exact Walsh--Hadamard representation introduced in our accompanying Letter, we develop the mathematical theory associated with this formulation. We extend the formalism to arbitrary bipartitions, prove the exactness of the Schmidt gauge for arbitrary $1\times N$ bipartitions, and derive general analytical properties of Schmidt-gauge non-local magic, including entanglement bounds, selection rules, and exact relations with the moments of the normalized Walsh spectrum. This representation also provides an interpretation of Schmidt-gauge non-local magic as a logarithmic inverse participation ratio normalized by a universal harmonic baseline, thereby relating it to excess delocalization in Walsh space. These results demonstrate that the Walsh--Hadamard representation reveals an underlying discrete harmonic structure that is hidden in the original spectral formulation and provides considerably more than an equivalent expression for Schmidt-gauge non-local magic. Rather, it furnishes the natural mathematical framework for its analytical investigation, placing the theory within the broader context of discrete harmonic analysis.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

34 extracted references · 9 canonical work pages

  1. [24]

    Non-Local Magic from the Entanglement Spectrum

    G. Torre, F. Franchini, and S. M. Giampaolo, Non-Local Magic from the Entanglement Spectrum, arXiv:2607.07808 (2026), doi:10.48550/arXiv.2607.07808

    work page Pith review arXiv doi:10.48550/arxiv.2607.07808 2026

  2. [18]

    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) doi:10.1103/z3vr-w5c5

    doi:10.1103/z3vr-w5c5 2025

  3. [1]

    Coecke, T

    B. Coecke, T. Fritz, and R. W. Spekkens, A mathemati- cal theory of resources, Inf. and Comp.250, 59 (2016) doi: 10.1016/j.ic.2016.02.008

    doi:10.1016/j.ic.2016.02.008 2016

  4. [2]

    Chitambar, and G

    E. Chitambar, and G. Gour, Quantum resource the- ories, Rev. Mod. Phys.91, 025001 (2019) doi: 10.1103/RevModPhys.91.025001

    doi:10.1103/revmodphys.91.025001 2019

  5. [3]

    Bravyi and A

    S. Bravyi and A. Kitaev, Universal Quantum Computation with Ideal Clifford Gates and Noisy Ancillas, Phys. Rev. A71 022316 (2005) doi:10.1103/PhysRevA.71.022316

    doi:10.1103/physreva.71.022316 2005

  6. [4]

    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) doi:10.1088/1367- 2630/16/1/013009

    doi:10.1088/1367- 2014

  7. [5]

    Howard, J

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

    doi:10.1038/nature13460 2014

  8. [6]

    E. T. Campbell, B. M. Terhal, and C. Vuillot, Roads towards fault-tolerant universal quantum computation, Nature549, 172 (2017) doi:10.1038/nature23460

    doi:10.1038/nature23460 2017

Show all 34 references
  1. [7]

    S. F. E. Oliviero, L. Leone, and A. Hamma, Magic-state resource theory for the ground state of the transverse- field Ising model, Phys. Rev. A106, 042426 (2022) doi: 10.1103/PhysRevA.106.042426

    2022 doi

  2. [8]

    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) doi: 10.21468/SciPostPhys.15.4.131

    2023 doi

  3. [9]

    D. A. Korbany, M. J. Gullans, and L. Piroli, Long-Range Nonstabilizerness and Phases of Matter, Phys. Rev. Lett.135, 160404 (2025) doi:10.1103/1hlj-h6t9

    2025 doi

  4. [10]

    Liu, and J

    L.-Y .-N. Liu, and J. Cui, Nonlocal nonstabilizerness for slightly entangled quantum many-body states, arXiv:2607.10714 (2026) doi:10.48550/arXiv.2607.10714

    2026 doi arXiv

  5. [11]

    P. S. Tarabunga, E. Tirrito, T. Chanda, and M. Dalmonte, Many-Body Magic Via Pauli-Markov Chains—From Critical- ity to Gauge Theories PRX Quantum4, 040317 (2023) doi: 10.1103/PRXQuantum.4.040317

    2023 doi

  6. [12]

    Turkeshi, E

    X. Turkeshi, E. Tirrito and P. Sierant, Magic spreading in random quantum circuits, Nature Communications16, 2575 (2025) doi:10.1038/s41467-025-57704-x

    2025 doi

  7. [13]

    A. G. Catalano, S. B. Ko ˇzi´c, G. Torre, C. Ciaramelletti, S. Pa- ganelli, F. Franchini, and S. M. Giampaolo, Resource complex- ity of Symmetry Protected Topological phases, Phys. Rev. B 113, 155126 (2026) doi:10.1103/t4fm-t7tc

    2026 doi

  8. [14]

    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) doi:10.21468/SciPostPhysCore.8.4.078

    2025 doi

  9. [15]

    Heinrich, and D

    M. Heinrich, and D. Gross, Robustness of Magic and Symme- tries of the Stabiliser Polytope, Quantum3, 132 (2019) doi: 10.22331/q-2019-04-08-132

    2019 doi

  10. [16]

    Leone, S

    L. Leone, S. F. E. Oliviero and A. Hamma, Stabilizer R´enyi Entropy, Phys. Rev. Lett.128, 050402 (2022) doi: 10.1103/PhysRevLett.128.050402

    2022 doi

  11. [17]

    Haug, and, L

    T. Haug, and, L. Piroli Quantifying nonstabilizerness of ma- trix product states, Phys. Rev. B107, 035148 – (2023) doi: 10.1103/PhysRevB.107.035148

    2023 doi

  12. [19]

    Timsina, Y .-M

    H. Timsina, Y .-M. Ding, E. Tirrito, P. S. Tarabunga, B.-B. Mao, M. Collura, Z. Yan, and M. Dalmonte, Robustness of non- stabilizerness in the quantum Ising chain via quantum Monte Carlo tomography, Phys. Rev. B112, 165135 (2025) doi: 10.1103/4hpw-6mq3

    2025 doi

  13. [20]

    Andreadakis and P

    F. Andreadakis and P. Zanardi, Exact link between nonlocal nonstabilizerness and operator entanglement, Phys. Rev. A113, L010404 (2026) doi:10.1103/9x56-2b45

    2026 doi

  14. [21]

    Qian, and J

    D. Qian, and J. Wang, Quantum Non-Local Nonsta- bilizerness, Phys. Rev. A111, 052443 (2025) doi: 10.1103/PhysRevA.111.052443

    2025 doi

  15. [22]

    Cepollaro, S

    S. Cepollaro, S. Cusumano, A. Hamma, G. Lo Giudice and J. Odavi ´c, Harvesting stabilizer entropy and nonlocality from a quantum field, Phys. Rev. D112, 105012 (2025), doi: 10.1103/4brj-cl26

    2025 doi

  16. [23]

    C.-J Cao, Non-trivial area operators require non-local magic, J. of H. Ener. Phys.2024, 105 (2024) doi: 10.1007/JHEP11(2024)105

    2024 doi

  17. [25]

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

    1975

  18. [26]

    Terras, Fourier Analysis on Finite Groups and Applications, Cambridge University Press, (1999)

    A. Terras, Fourier Analysis on Finite Groups and Applications, Cambridge University Press, (1999)

    1999

  19. [27]

    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) doi:10.48550/arXiv.quant-ph/9807006

    1999 doi

  20. [28]

    Aaronson, and D

    S. Aaronson, and D. Gottesman, Improved Simulation of Stabilizer Circuits, Phys. Rev. A70, 052328 (2004) doi: 10.1103/PhysRevA.70.052328

    2004 doi

  21. [29]

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

    2010

  22. [30]

    Tirrito, P

    E. Tirrito, P. S. Tarabunga, G. Lami, T. Chanda, L. Leone, S. F. E. Oliviero, M. Dalmonte, M. Collura, and A. Hamma, Quantifying nonstabilizerness through entanglement spectrum flatness, Phys. Rev. A109, L040401 (2024) doi: 10.1103/PhysRevA.109.L040401

    2024 doi

  23. [31]

    Odavi ´c, M

    J. Odavi ´c, M. Viscardi, and A. Hamma, Stabilizer entropy in nonintegrable quantum evolutions, Phys. Rev. B112, 104301 (2025) doi:10.1103/y9r6-dx7p

    2025 doi

  24. [32]

    Ebner, B

    L. Ebner, B. M ¨uller, A. Sch ¨afer, L. Schmotzer, C. Seidl, and X. Yao, Magic Barrier before Thermalization, Phys. Rev. Lett. 136, 230403 (2026) doi:10.1103/wtq7-qy11

    2026 doi

  25. [33]

    Turkeshi, M

    X. Turkeshi, M. Schir `o, and P. Sierant, Measuring nonstabi- lizerness via multifractal flatness, Phys. Rev. A108, 042408 (2023) doi:10.1103/PhysRevA.108.042408

    2023 doi

  26. [34]

    Horodecki, P

    R. Horodecki, P. Horodecki, M. Horodecki, and K. Horodecki, Quantum entanglement, Rev. Mod. Phys.81, 865, (2009) doi: 10.1103/RevModPhys.81.865

    2009 doi

Pith tools

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