REVIEW 2 major objections 4 minor 50 references
Magic Without Entanglement: Exact Revivals and Their Fisher Information Origin
T0 review · 2 major / 4 minor · reviewed 2026-08-02 · deepseek-v4-flash
Pith's one-line read This paper proves that at any stabilizer state the initial growth of magic equals the quantum Fisher information, and that acyclic Ising dynamics yield exact revivals with finite magic but vanishing entanglement density.
desk verdict The tangent and forest theorems are real, exact, and hold up under checking; the only real gap is the non-reproducible MPS numerics. 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 two load-bearing objects are (1) the tangent identity M2(e^{-iθK}|s⟩) = (θ²/ln2)F_Q(|s⟩,K) + O(θ³), which identifies the quantum Fisher information — four times the variance of the generator, equivalently four times the squared speed in projective Hilbert space — as the exact curvature of magic at a stabilizer point, and (2) the CNOT pruning circuit C_G, a Clifford product of controlled-NOT gates along a leaf-to-root ordering of each tree, which conjugates every Ising edge gate e^{-iθZ_iZ_j} into an independent single-qubit rotation e^{-iθZ_v}. Together they reduce the entire 4^L-term Pauli distribution of the forest state to L−c(G) identical one-qubit factors, making the magic additive
What would settle it
Two concrete tests. (1) Prepare a stabilizer state, evolve briefly under e^{-iθK}, and measure M2 for small θ: if the quadratic coefficient deviates from F_Q(|s⟩,K)/ln2 — with F_Q fixed independently by the variance, the squared-fidelity curvature, or the dynamical susceptibility — the tangent theorem fails. (2) Compute M_α exactly for commuting Ising evolution on a graph containing a closed loop (e.g., a triangle or a square) at a non-Clifford angle such as θ=π/8: agreement with (L−c(G))m_α(θ) would refute the cycle obstruction, while any deviation confirms the forest condition is necessary;
Extended reading notes
Core claim
On its own terms, the paper claims two theorems. Theorem 1 (tangent geometry of magic): for any stabilizer state |s⟩ and any Hermitian generator K, the second stabilizer Rényi entropy along e^{-iθK}|s⟩ obeys M2 = (θ²/ln2) F_Q(|s⟩,K) + O(θ³), with F_Q = 4(⟨K²⟩_s − ⟨K⟩_s²) the quantum Fisher information; the quadratic term comes entirely from the 2^L stabilizer Pauli strings, while all other strings enter only at order θ⁴. Theorem 2 (forest normal form): for commuting Ising evolution exp(−iθΣZᵢZⱼ)|+⟩^L on a forest graph, M_α(ψ_G(θ)) = (L − c(G)) m_α(θ), where m_α is the one-qubit function, because a CNOT pruning circuit carries each edge parity to an independent Z-rotation. From these, the pap
Load-bearing premise
The exact thermodynamic results rest on two structural conditions the paper states explicitly: the interaction graph must be a forest (acyclic), and the state/generator pair must be Clifford-aligned, |s⟩ = C|+⟩^L with gates C ZᵢZⱼ C†; the text and the Supplemental Material (Secs. S4.E–S4.F) note that arbitrary stabilizer inputs driven by bare, unrotated ZᵢZⱼ gates need not satisfy the product formula, and that cycles break it generically, leaving only the weaker zero-magic re
Editorial extensions
If this is right
- At any stabilizer reference state, measuring the quantum Fisher information through established susceptibility, interferometric, or randomized-measurement protocols directly fixes the leading magic curvature — magic detection without stabilizer tomography.
- In these exact models magic and entanglement are dynamically decoupled: magic revives every π/4 of accumulated Ising angle, entanglement every π/2, so the two resources carry independent clocks in a single quantum simulator.
- At θ=π/8, g=π/2, one kick reaches maximal magic density, two kicks return exactly to zero magic, four kicks restore the entanglement pattern, and eight kicks return the unitary to the identity — a complete, exact many-body stroboscopic cycle.
- The ideal revivals are stable: detuning the field or the kick lifts the magic minimum quadratically with analytic size-dependent coefficients, and the thermodynamic-limit curvature (1/4 + π²/64 and 5/4) matches tensor-network numerics in the Pauli basis.
- Because the forest theorem is purely graph-theoretic, the same exact formulas hold for any acyclic interaction graph in any spatial dimension and any embedding, not just one-dimensional chains.
Reading between the lines
- Editorial inference: the tangent theorem suggests that near any stabilizer point, quantum metrology and magic are not separate optimizations — a probe that saturates the Fisher-information bound should also maximize early magic growth, which could be tested by comparing QFI extracted from M2 curvature with that from spin-squeezing or susceptibility data on the same device.
- Editorial inference: the cycle obstruction is a clean algebraic fact (edge-parity vectors become linearly dependent on loops), so loop graphs can serve as a controlled starting point for perturbation theory: the first corrections to the forest formula should scale with the rank deficiency |E| − (L − c(G)).
- Editorial inference: the distinct revival periods give a resource-resolved diagnostic — in a noisy simulator, the ratio of magic to entanglement revival rates could distinguish Clifford-type errors (which leave magic untouched but alter entanglement) from non-Clifford ones.
- Editorial inference: conversely, under the tangent bridge, measurements of M2 curvature at short times give a thermodynamic-limit route to Fisher information that does not require accessing all Pauli correlators, which may be useful in large systems where the full distribution is inaccessible.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper derives two structural results: (i) a tangent theorem showing that at any stabilizer state the quadratic coefficient of the second stabilizer Rényi entropy along e^{-iθK}|s> equals F_Q/ln2; and (ii) a forest theorem evaluating all M_α for commuting Ising evolution on a forest as (L-c(G))m_α(θ), via a Clifford CNOT-pruning normal form. It applies these to the open Ising chain and a kicked-Ising Floquet chain, giving exact finite-size and thermodynamic magic densities, distinct magic/entanglement revival periods, Clifford points with zero magic but finite entanglement, and quadratic lifting of revivals under perturbations. Pauli-basis MPS checks are reported for finite sizes.
Significance. These are clean, parameter-free analytic results with supplied proofs. The one-qubit Pauli distribution behind m_α(θ) and the CNOT edge-parity identity behind the forest theorem are correct, and the leaf-to-root pruning argument is internally consistent. Theorem 1 gives a striking local bridge between a computational resource (magic) and a metrological quantity (QFI), with a concrete experimental protocol. The forest theorem provides exact many-body examples of extensive magic density with vanishing entanglement density, a useful separation result. No fitted constants appear anywhere. The main limitation is that the perturbative revival-lifting sections rely on an extension of the tangent theorem that is not proved in the manuscript, and the claimed numerical verification is not independently rerunnable from the text alone.
major comments (2)
- [SM §S9–S11; Eqs. (17)–(18)] Theorem 1 is stated and proven only for paths of the form e^{-iθK}|s>. In the perturbative revival calculations, however, the state after stripping the Clifford factor is a time-ordered exponential Texp(-iη∫H_X(u)du)|+> (quench) or a product of two first-order expansions (Floquet), not e^{-iηK_L}|+> or e^{-iεK_F}|+>. The SM simply says 'Eq. (S35) then applies with θ=η and K=K_L'. This is a gap. What is needed is a lemma: any normalized smooth path through a stabilizer state |s> with first-order tangent -iK|s> has M_2(θ)=(θ²/ln2)F_Q(|s>,K)+O(θ³). The lemma is true — the projector identity plus normalization fixes the contribution of the second-order acceleration term — but it is not stated or proved. Without it, the claimed derivations of Eqs. (17) and (18) are not consequences of Theorem 1 as proven.
- [Data Availability; SM §S13] The paper states that 'large-scale Pauli-basis MPS calculations verify all predictions' and reports benchmarks for the QFI, the quench-lifting coefficient A_L, and the Floquet-lifting coefficient B_L. No code, raw data, or machine-readable tables are provided; 'available upon reasonable request' is not sufficient for independent verification. Since the central analytic results stand alone, this does not affect the theorems, but the numerical verification claim should be reproducible. Please provide a public repository with the code and data, or explicitly identify which numerical checks cannot be independently rerun.
minor comments (4)
- [Eq. (6) and SM Eq. (S86)] The typeset formula for m_α(θ) is ambiguous. It should read m_α(θ) = (log₂[1+cos^{2α}(2θ)+sin^{2α}(2θ)] − 1)/(1−α), not log₂[...] − 1/(1−α). Please place the numerator in parentheses.
- [SM §S3.C] The α=1 limit is mentioned but not displayed. State explicitly m_1(θ) = −(1/2)[cos²(2θ)log₂cos²(2θ)+sin²(2θ)log₂sin²(2θ)], which is the Shannon limit used in the text.
- [Fig. 1 caption] The red thermodynamic curve m_2(ϑ) is used for both the quench and Floquet data with different abscissae (ϑ=Jt and ϑ=kθ). State this in the caption to avoid confusion.
- [SM §S2.C] The spectral convention for χ''_{KK}(ω) in Eq. (S75) is nonstandard; the sign convention matters. One sentence defining χ'' as the imaginary part of the retarded response with a fixed sign would make the 4/π prefactor unambiguous.
Circularity Check
No significant circularity: central theorems are self-contained derivations with no fitted inputs or load-bearing self-citations.
full rationale
The paper's derivation chain is self-contained. Theorem 1 (Eq. 3) is proved in SM S2.B by expanding the Pauli fourth moment around a stabilizer state: stabilizer strings contribute at order θ^2 via the projector identity Eq. (S45), while non-stabilizer strings enter only at order θ^4; the coefficient is the independently defined variance Var_s(K), multiplied by 4 to match the standard pure-state QFI convention. There is no step in which QFI is put in by hand or in which M2 curvature is defined as QFI. Theorem 2 (Eq. 7) is proved in SM S4.D from an explicit CNOT pruning circuit, Eq. (S108), which maps every forest edge to an independent single-qubit rotation; the one-qubit function m_α(θ) is computed directly from the Pauli distribution of e^{-iθZ}|+>, Eq. (S86), not fitted. The exact quench and Floquet formulas, Eqs. (13)–(15), are specializations of the forest theorem and the Schmidt decomposition, and the revival-lifting coefficients A_L and B_L are obtained by closed-form Pauli-string sums in SM S9 and S10, with the vanishing cross covariances proven in SM S11.C. The MPS numerics are external checks, not inputs, and the acknowledged scope restriction in SM S4.E—"arbitrary stabilizer inputs with the unrotated Z_iZ_j gates need not obey Eq. (7)"—together with the cycle obstruction in SM S4.F is an honest statement of assumptions, not circularity. Self-citations appear only in the outlook for related dynamical phenomena and do not carry the central argument. The paper therefore warrants a score of 0.
Assumptions & free parameters
assumptions (8)
- standard math Stabilizer Rényi entropy definitions and Clifford invariance (Ref. [12])
- standard math Pure-state QFI equals 4 times the variance
- standard math Stabilizer projector identity |s><s| = 2^{-L} Σ_{S∈S(s)} s_S S
- standard math CNOT conjugation identities: CNOT(Z_p Z_v)CNOT = Z_v and CNOT|++>=|++>
- standard math For a tree with L_a vertices, edge count is L_a - 1; |E| = L - c(G) for forests
- domain assumption A single crossing Ising gate can increase Schmidt rank by at most a factor of 2
- standard math Pauli expectations in |+>^L vanish unless the string contains only I and X on every site
- domain assumption Jordan-Wigner free-fermion solution of the transverse-field Ising chain
Cite this review
Pith. "Pith review of Magic Without Entanglement: Exact Revivals and Their Fisher Information Origin." pith.science (2026). https://pith.science/paper/KWEC6L2R
@misc{pith2026260714222,
author = {Pith},
title = {Pith review of: Magic Without Entanglement: Exact Revivals and Their Fisher Information Origin},
year = {2026},
howpublished = {\url{https://pith.science/paper/KWEC6L2R}},
note = {Machine review of arXiv:2607.14222}
}
read the original abstract
Magic and entanglement are independent quantum resources, yet their exact relation in many-body dynamics has remained elusive. We uncover two structural principles. First, at any stabilizer state, the curvature of the second stabilizer R\'enyi entropy under an arbitrary Hermitian generator equals the quantum Fisher information up to a fixed normalization, creating a bidirectional bridge between computational and metrological resources. Second, for commuting Ising evolution on any forest graph, a Clifford pruning circuit yields the full stabilizer-R\'enyi family at arbitrary size and in any spatial embedding, thereby furnishing a graph-theoretic construction of families with finite magic density and vanishing entanglement density in the thermodynamic limit. We solve two paradigmatic one-dimensional realizations central to quantum simulation -- an Ising quench and a kicked Floquet chain -- exactly for arbitrary system size and directly in the thermodynamic limit, revealing finite magic density with vanishing entanglement density, distinct magic and entanglement revival periods, and Clifford points with zero magic but finite bipartite entanglement. The same tangent geometry fixes initial growth, perturbative revival lifting, and stability of thermodynamic magic minima. Large-scale Pauli-basis matrix-product-state calculations verify all predictions, and the tangent bridge yields a concrete protocol for detecting magic through established quantum-Fisher-information measurements.
Figures
Reference graph
Works this paper leans on
-
[1]
1997 , eprint=
Stabilizer Codes and Quantum Error Correction , author=. 1997 , eprint=
1997
-
[2]
Veitch, Victor and Mousavian, S. A. Hamed and Gottesman, Daniel and Emerson, Joseph , title =. New J. Phys. , volume =. 2014 , month = jan, issn =
2014
-
[3]
Leone, Lorenzo and Oliviero, Salvatore F. E. and Hamma, Alioscia , title =. Phys. Rev. Lett. , volume =. 2022 , month = feb, publisher =
2022
-
[4]
and Caves, Carlton M
Braunstein, Samuel L. and Caves, Carlton M. , title =. Phys. Rev. Lett. , volume =. 1994 , month = may, publisher =
1994
-
[5]
PRX Quantum , volume =
Ding, Yi-Ming and Wang, Zhe and Yan, Zheng , title =. PRX Quantum , volume =. 2025 , month = aug, publisher =
2025
-
[6]
Haug, Tobias and Piroli, Lorenzo , title =. Phys. Rev. B , volume =. 2023 , month = jan, publisher =
2023
-
[7]
Lami, Guglielmo and Collura, Mario , title =. Phys. Rev. Lett. , volume =. 2023 , month = oct, publisher =
2023
-
[8]
Tarabunga, Poetri Sonya and Tirrito, Emanuele and Ba. Phys. Rev. Lett. , volume =. 2024 , month = jul, publisher =
2024
Show all 50 references
-
[9]
Pezz. Rev. Mod. Phys. , volume =. 2018 , month = sep, publisher =
2018
-
[10]
Hauke, Philipp and Heyl, Markus and Tagliacozzo, Luca and Zoller, Peter , title =. Nat. Phys. , volume =. 2016 , month = aug, issn =
2016
-
[11]
Paris, Matteo G. A. , title =. International Journal of Quantum Information , volume =. 2009 , doi =
2009
-
[12]
, title =
Mbeng, Glen Bigan and Russomanno, Angelo and Santoro, Giuseppe E. , title =. SciPost Phys. Lect. Notes , pages =. 2024 , month = jun, issn =
2024
-
[13]
SciPost Phys
Fishman, Matthew and White, Steven and Stoudenmire, Edwin Miles , title =. SciPost Phys. Codebases , pages =. 2022 , month = aug, issn =
2022
-
[14]
Bravyi, Sergey and Kitaev, Alexei , title =. Phys. Rev. A , volume =. 2005 , month = feb, publisher =
2005
-
[15]
Chitambar, Eric and Gour, Gilad , title =. Rev. Mod. Phys. , volume =. 2019 , month = apr, publisher =
2019
-
[16]
Nature , volume =
Howard, Mark and Wallman, Joel and Veitch, Victor and Emerson, Joseph , title =. Nature , volume =. 2014 , month = jun, issn =
2014
-
[17]
Calabrese, Pasquale and Cardy, John , title =. J. Stat. Mech.: Theory Exp. , volume =. 2005 , month = apr, issn =
2005
-
[18]
Calabrese, Pasquale and Cardy, John , title =. J. Stat. Mech.: Theory Exp. , volume =. 2007 , month = jun, issn =
2007
-
[19]
PRX Quantum , volume =
Liu, Zi-Wen and Winter, Andreas , title =. PRX Quantum , volume =. 2022 , month = may, publisher =
2022
-
[20]
Rattacaso, Davide and Leone, Lorenzo and Oliviero, Salvatore F. E. and Hamma, Alioscia , title =. Phys. Rev. A , volume =. 2023 , month = oct, publisher =
2023
-
[21]
and Tirrito, Emanuele and Dalmonte, Marcello and Fazio, Rosario , title =
Fux, Gerald E. and Tirrito, Emanuele and Dalmonte, Marcello and Fazio, Rosario , title =. Phys. Rev. Res. , volume =. 2024 , month = oct, publisher =
2024
-
[22]
and Tarabunga, P
Frau, M. and Tarabunga, P. S. and Collura, M. and Dalmonte, M. and Tirrito, E. , title =. Phys. Rev. B , volume =. 2024 , month = jul, publisher =
2024
-
[23]
L. J. Phys. A: Math. Theor. , volume =. 2024 , month = nov, issn =
2024
-
[24]
Turkeshi, Xhek and Tirrito, Emanuele and Sierant, Piotr , title =. Nat. Commun. , volume =. 2025 , month = mar, issn =
2025
-
[25]
SciPost Phys
Zhou, Shiyu and Yang, Zhicheng and Hamma, Alioscia and Chamon, Claudio , title =. SciPost Phys. , volume =. 2020 , month = dec, issn =
2020
-
[26]
Bertini, Bruno and Kos, Pavel and Prosen, Toma. Phys. Rev. X , volume =. 2019 , month = may, publisher =
2019
-
[27]
Bertini, Bruno and Kos, Pavel and Prosen, Toma. Phys. Rev. Lett. , volume =. 2019 , month = nov, publisher =
2019
-
[28]
T. J. Phys. A: Math. Theor. , volume =. 2014 , month = oct, issn =
2014
-
[29]
Fr. Phys. Rev. Lett. , volume =. 2018 , month = jul, publisher =
2018
-
[30]
Oliviero, Salvatore F. E. and Leone, Lorenzo and Hamma, Alioscia and Lloyd, Seth , title =. npj Quantum Inf. , volume =. 2022 , month = dec, issn =
2022
-
[31]
Science , volume =
Brydges, Tiff and Elben, Andreas and Jurcevic, Petar and Vermersch, Beno. Science , volume =. 2019 , month = apr, issn =
2019
-
[32]
and Hess, P
Zhang, J. and Hess, P. W. and Kyprianidis, A. and Becker, P. and Lee, A. and Smith, J. and Pagano, G. and Potirniche, I.-D. and Potter, A. C. and Vishwanath, A. and Yao, N. Y. and Monroe, C. , title =. Nature , volume =. 2017 , month = mar, issn =
2017
-
[33]
and Basso, Joao and Bengtsson, Andreas and Bilmes, Alexander and Bourassa, Alexandre and Brill, Leon and Broughton, Michael and Buckley, Bob B
Mi, Xiao and Ippoliti, Matteo and Quintana, Chris and Greene, Ami and Chen, Zijun and Gross, Jonathan and Arute, Frank and Arya, Kunal and Atalaya, Juan and Babbush, Ryan and Bardin, Joseph C. and Basso, Joao and Bengtsson, Andreas and Bilmes, Alexander and Bourassa, Alexandre...
2022
-
[34]
Kehrein, Stefan , title =. Phys. Rev. B , volume =. 2024 , month = jun, publisher =
2024
-
[35]
and Kehrein, Stefan , title =
Jha, Rishabh and Manmana, Salvatore R. and Kehrein, Stefan , title =. Phys. Rev. B , volume =. 2025 , month = jun, publisher =
2025
-
[36]
Gadge, Karun and Prem, Abhinav and Jha, Rishabh , title =. Phys. Rev. Lett. , volume =. 2026 , month = mar, publisher =
2026
-
[37]
2026 , eprint=
Quantum Computational Resources and Conformal Field Theory: Unifying Spins, Bosons, and Fermions , author=. 2026 , eprint=
2026
-
[38]
Dowling, Neil and Kos, Pavel and Turkeshi, Xhek , title =. Phys. Rev. Lett. , volume =. 2025 , month = jul, publisher =
2025
-
[39]
and Pezz
Strobel, Helmut and Muessel, Wolfgang and Linnemann, Daniel and Zibold, Tilman and Hume, David B. and Pezz. Science , volume =. 2014 , month = jul, issn =
2014
-
[40]
Yu, Min and Li, Dongxiao and Wang, Jingcheng and Chu, Yaoming and Yang, Pengcheng and Gong, Musang and Goldman, Nathan and Cai, Jianming , title =. Phys. Rev. Res. , volume =. 2021 , month = nov, publisher =
2021
-
[41]
2026 , eprint=
Intrinsic spectral structure of bipartite nonlocal magic resource , author=. 2026 , eprint=
2026
-
[42]
2026 , eprint=
Non-Local Magic from the Entanglement Spectrum , author=. 2026 , eprint=
2026
-
[43]
2026 , eprint=
Correlation is magic in electronic structure Hamiltonians , author=. 2026 , eprint=
2026
-
[44]
2026 , eprint=
Magic-protected entanglement and Clifford-irreducible structure in magic state space , author=. 2026 , eprint=
2026
-
[45]
2026 , eprint=
Universality of Magic in Local Quantum Field Theory , author=. 2026 , eprint=
2026
-
[46]
2026 , eprint=
Magic without a phase: phase-independent stabilizer R\'enyi entropy in gluon scattering , author=. 2026 , eprint=
2026
-
[47]
2026 , eprint=
Quantum magic and non-commutativity as computational resources in quantum reservoir computing , author=. 2026 , eprint=
2026
-
[48]
2026 , eprint=
Magic Gate Teleportation: Structure, Useful Resource States, and Simpler Feedforward , author=. 2026 , eprint=
2026
-
[49]
2025 , eprint=
Nonlocal Magic Generation and Information Scrambling in Noisy Clifford Circuits , author=. 2025 , eprint=
2025
-
[50]
Bravyi, Sergey and Gosset, David , title =. Phys. Rev. Lett. , volume =. 2016 , month = jun, publisher =
2016
Reviewed August 2, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.