Pith. sign in

REVIEW 2 major objections 5 minor 28 references

Only matter-controlled bond motion produces state-dependent boundary entropy in a four-qubit holographic code, and a certified boundary witness detects it.

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-14 10:07 UTC pith:PNDFO5YX

load-bearing objection Exact four-qubit calculation that cleanly isolates one bond-moving deformation and defines a finite-code boundary witness, with the paper's own scope limits already stated. the 2 major comments →

arxiv 2607.10663 v1 pith:PNDFO5YX submitted 2026-07-12 hep-th quant-ph

Certified boundary-magic witness for state-dependent proto-area in a holographic code

Luis Lozano This is my paper
classification hep-th quant-ph
keywords AdS-CFT CorrespondenceModels of Quantum Gravityholographic codesstabilizer Rényi entropystate-dependent proto-areaquantum error correctionboundary witness
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.

This paper builds the smallest product-EPR holographic code that still contains both matter and a geometry bond, then systematically deforms it with seven controlled operators. Exact spectra show that only one deformation—a matter-controlled move of the geometry bond—makes the boundary entropy depend on the logical state at leading quadratic order. A single fixed physical recovery, chosen by maximizing coherent information, preserves that dependence as a nonzero variational proto-area while matching the optimal entanglement fidelity of any recovery channel. Total stabilizer magic fails to pick out the same deformation, so the authors construct a leading-order boundary witness by projecting the stabilizer-Rényi quadratic form away from all one- and two-block Pauli directions; the witness is strictly positive only for the bond-moving generator. The result is a finite-code certificate that isolates the nonlocal residual responsible for state-dependent proto-area, without claiming a continuum gravitational law or a universal magic-to-geometry dictionary.

Core claim

Among seven explicitly defined deformations of a four-qubit product-EPR holographic code, only the matter-controlled bond-moving generator produces a leading quadratic logical-state dependence of the boundary entropy. After a state-independent physical recovery is fixed by coherent-information optimization, a nonzero variational proto-area survives, and a certified quadratic boundary witness—obtained by projecting the stabilizer-Rényi form away from all pairwise Pauli tangents—is strictly positive solely for that generator and zero for the six comparisons.

What carries the argument

The certified boundary witness W_∂(H) = min_c Q(H - ∑ c_i T_i), where Q is the exact quadratic form of the second stabilizer Rényi entropy at the product-EPR base and the T_i run over the 36 non-identity one- and two-block Paulis of the boundary partition {M}|{G_a}|{G_b}; its global convex minimum isolates the irreducible three-block residual that moves the Bell bond.

Load-bearing premise

The paper assumes that subtracting every one- and two-block Pauli tangent from the stabilizer-Rényi quadratic form at the product-EPR base correctly isolates the nonlocal residual that produces state-dependent proto-area.

What would settle it

Compute the same quadratic projection for a different boundary partition or a larger encoder whose resource pairwise tangents do not span the full tangent space; if a deformation with vanishing boundary-entropy response yields a positive witness (or vice versa), the certificate fails.

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

2 major / 5 minor

Summary. The manuscript studies a four-qubit product-EPR holographic code with reconstructing region A = {M, Ga} and seven controlled deformations of the encoder. Exact reduced spectra (Appendix A) show that only the matter-controlled bond-moving generator H_signal produces a leading quadratic logical-state dependence of the boundary entropy S(A), while the six local, bipartite, cut-crossing and bond-stabilizing comparisons remain flat. A state-independent recovery is selected by maximizing coherent information of the channel Choi state inside a two-qubit unitary ansatz; an independent SDP over all CPTP maps certifies that this recovery attains the global entanglement-fidelity optimum at fixed coupling, leaving a nonzero recovery-conditioned variational proto-area. Total stabilizer Rényi magic does not discriminate the families. Projecting the exact M2 quadratic form away from the 36 one- and two-block Pauli tangents of the boundary partition defines a leading-order witness W_∂ that is strictly positive for H_signal (1/(4 ln 2)) and exactly zero for the comparisons. On the CCKLP resource partition the same construction is identically degenerate (Proposition 1). A two-bond extension supplies a structural residual and a logical-state-dependent cut switch but retains resource degeneracy. The paper explicitly frames the result as a finite-code witness, not a universal magic law or continuum dynamics.

Significance. If the calculations hold, the work supplies a fully explicit, machine-checkable finite-code example in which state-dependent proto-area is isolated from a controlled set of deformations, survives a high-fidelity fixed recovery, and is certified by a convex quadratic projection that vanishes on all comparison generators. Exact spectra, an independent SDP fidelity optimum, and an algebraic certificate for W_∂ are genuine strengths that make the classification falsifiable and reproducible. The explicit demonstration of resource-partition degeneracy at the product-EPR base and the careful scope disclaimer further clarify the relation to the CCKLP program. The result is therefore a useful, self-contained benchmark for approximate holographic codes rather than a claim of continuum gravitational dynamics.

major comments (2)
  1. §4, Eq. (4.3) and the surrounding discussion: the paper correctly shows that W_∂ is positive only for H_signal among the seven generators and that the same construction vanishes on the CCKLP resource partition (Proposition 1). Because the abstract and introduction present W_∂ as the “certified boundary-magic witness” for the observed state-dependent proto-area, a short additional paragraph is needed that states explicitly that the projection is a modeling choice defining a finite-code diagnostic, not an independent derivation that the residual is the physical cause of the entropy response. The exact spectra already establish the classification; the witness is secondary. Clarifying this hierarchy would prevent over-reading of the magic language while leaving the technical results intact.
  2. §3 and Appendix B: the physical recovery is optimized inside a two-qubit unitary ansatz and is shown to match the all-CPTP SDP fidelity optimum only at the single coupling ϵ = π/8. For the claim that a fixed recovery leaves a nonzero S_var_PA across the deformation family, either a brief scan of a few additional ϵ values or an explicit statement that the unitary ansatz is not proved globally optimal for coherent information would strengthen the recovery-conditioned result. The existing numerical agreement at one point is already useful; the gap is local.
minor comments (5)
  1. Table 1 caption and §2: the witness column is labeled W_∂ but the numerical value 1/(4 ln 2) appears only later; a forward reference to Eq. (4.5) would help the reader.
  2. Figure 3 right panel: the plotting floor for exact zeros is useful, but the caption should state the numerical tolerance used so that the visual agreement with the SDP can be assessed without consulting Appendix B.
  3. §5, Eq. (5.2): the two-bond base is already nonstabilizer (M2 ≈ 0.056 bits). A one-sentence remark that the zero-magic quotient is therefore unavailable, and that r_split is only a structural residual, would make the diagnostic’s status clearer at first reading.
  4. References: the arXiv numbers for the concurrent CCKLP and Li papers are given; once published versions appear, the citations should be updated for the final journal version.
  5. Appendix E: the environment and solver versions are recorded, which is excellent; adding a short note on the random-seed policy for the four recovery starts would complete the reproducibility checklist.

Circularity Check

0 steps flagged

No significant circularity: spectral classification, recovery SDP, and algebraic witness are independent calculations, not reductions of inputs to outputs by construction.

full rationale

The paper's strongest claims rest on three independent calculations that do not reduce to one another by definition or fit. Exact reduced spectra of the seven deformed states (Appendix A, Eqs. 3.1–3.3 and the α classification) establish that only H_signal produces quadratic logical-state dependence of S(A); this is ordinary diagonalization of four-qubit density matrices and does not invoke the later witness. The physical recovery is obtained by maximizing coherent information of the channel Choi state inside a two-qubit unitary ansatz, then benchmarked against an independent all-CPTP entanglement-fidelity SDP (Eq. 3.7); the numerical agreement and the residual Δq S_var_PA are outputs of those optimizations, not inputs. The boundary witness W_∂ (Eq. 4.3) is the global minimum of the exact M2 quadratic form Q after projection onto the orthogonal complement of the 36 one- and two-block Paulis of the chosen boundary partition; its value 1/(4 ln 2) for H_signal follows algebraically from the bare three-body coefficient 1/4 after pairwise subtraction (Appendix C), while the six controls give exactly zero. Total stabilizer Rényi magic is shown separately to be non-discriminating. The resource-partition degeneracy (Proposition 1) is proved by a rank count of the covariance Gram matrix plus the EPR mirror identity, again without circular reference to the spectral response. No parameters are fitted to data and then re-predicted; no uniqueness theorem is imported from overlapping authors; the construction is explicitly scoped as a finite-code witness rather than a universal law. The derivation chain is therefore self-contained against its own exact and numerical benchmarks.

Axiom & Free-Parameter Ledger

3 free parameters · 5 axioms · 3 invented entities

The central claim rests on a standard stabilizer/QEC toolkit plus a small set of modeling choices (product-EPR encoder, boundary vs resource partitions, M2 quadratic form, coherent-information recovery ansatz) and two invented diagnostics (W_∂ and S_var_PA). Free parameters are only numerical evaluation points and the two-bond bias values; they do not fit the witness classification. The load-bearing modeling choice is that the boundary pairwise projection of Q correctly isolates the residual responsible for state-dependent proto-area.

free parameters (3)
  • deformation strength ϵ for recovery/SDP numerics = π/8 (primary); scan over ϵ
    Chosen evaluation point ϵ=π/8 (and scan) for Ic, Fe, and Δ_q responses; not fitted to force the witness sign, which is algebraic at linear order.
  • two-bond Bell biases p_L, p_R = 0.5 and 0.6
    Hand-chosen p=0.5 and p=0.6 in Eq. (5.2) to break stabilizer base and create competing cuts; structural residual is independent of optimizer but the cut-switch location depends on these values.
  • logical meridian family |ψ_q⟩ = q grid (21 or 401 points)
    Real-meridian parameterization q∈[0,1] used for all Δ_q responses; restricts state dependence to one path on the Bloch sphere.
axioms (5)
  • domain assumption The undeformed encoder V0|ψ⟩_L = |ψ⟩_M ⊗ |Φ+⟩_{Ga Gb} is a valid minimal holographic code for studying proto-area and recovery.
    Section 2; standard product-EPR Choi construction used throughout holographic QEC toy models.
  • domain assumption Second stabilizer Rényi entropy M2 and its exact quadratic form Q(H)=4 Var_{J0}(H)/ln 2 correctly supply the leading-order magic geometry at the stabilizer base.
    Section 4, Eqs. (4.1)–(4.2); relies on Leone et al. and the monotone theorem for pure-state stabilizer protocols.
  • ad hoc to paper Projecting Q away from the 36 one- and two-block Pauli tangents of the boundary partition isolates the irreducible residual relevant to state-dependent boundary entropy.
    Eq. (4.3); adaptation of CCKLP pairwise-removal to a boundary partition and linearized global minimum—central modeling choice of the witness.
  • domain assumption Maximizing coherent information of the channel Choi state within a two-qubit unitary ansatz selects a physically meaningful state-independent recovery.
    Section 3, Eqs. (3.4)–(3.5); Schumacher–Nielsen coherent information used as recovery diagnostic, with independent fidelity SDP as check.
  • standard math Standard CPTP channel, Choi, and SDP formulations for recovery and entanglement fidelity.
    Appendices B and C; Fletcher–Shor–Win SDP and standard Kraus/Choi conventions.
invented entities (3)
  • Certified leading-order boundary witness W_∂(H) no independent evidence
    purpose: Convex minimum of the M2 quadratic form after removing pairwise boundary Pauli tangents; used to certify which deformation carries irreducible bond-moving residual.
    Defined in Eq. (4.3); no independent experimental handle outside this code construction; algebraic positivity for H_signal is internal to the model.
  • Recovery-conditioned variational proto-area S_var_PA no independent evidence
    purpose: S(ρ_A)−S(R(ρ_A)) for a fixed physical recovery; residual state-dependent quantity after recovery.
    Eq. (2.6); diagnostic invented for this analysis to separate boundary entropy from recovered matter entropy.
  • Split-geometry structural residual r_split no independent evidence
    purpose: Frobenius residual after Euclidean projection onto pairwise supports under a refined two-bond partition; shows multi-block structure without claiming CCKLP resource magic.
    Eq. (5.4); operator-level diagnostic for the two-bond extension only.

pith-pipeline@v1.1.0-grok45 · 15582 in / 3998 out tokens · 36799 ms · 2026-07-14T10:07:27.473772+00:00 · methodology

0 comments
read the original abstract

We study a four-qubit product-EPR holographic code whose reconstructing region contains matter and one leg of a geometry bond. Seven deformations compare local, bipartite, bond-stabilizing, and bond-moving operators. Exact spectra show that only matter-controlled bond motion produces a leading quadratic logical-state dependence of the boundary entropy. We select one state-independent physical recovery by optimizing coherent information of the channel Choi state. A separate semidefinite program maximizes entanglement fidelity over all channels. At fixed coupling the physical recovery attains that optimum to numerical precision, while recovered-entropy subtraction leaves a nonzero variational proto-area response. Total stabilizer Renyi magic is also nonzero for deformations with no boundary response, so it does not characterize the effect. Projecting the exact stabilizer-Renyi quadratic form away from pairwise Pauli tangents defines a leading-order boundary witness. Its global convex minimum is positive for the bond-moving deformation and zero for the six comparisons. For the reference-matter-geometry resource partition, however, pairwise tangents span the full projective tangent space at the product-EPR base, so the witness vanishes for every Hermitian deformation. A two-bound extension retains this degeneracy but exhibits a split-geometry structural residual and a logical-state-dependent cut switch. These results establish a finite-code witness, not a universal magic law or continuum gravitational dynamics.

discussion (0)

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

Reference graph

Works this paper leans on

28 extracted references · 26 linked inside Pith

  1. [1]

    Almheiri, X

    A. Almheiri, X. Dong and D. Harlow,Bulk locality and quantum error correction in AdS/CFT, Journal of High Energy Physics2015(2015) 163 [1411.7041]. – 14 –

    Pith/arXiv arXiv 2015

  2. [2]

    Pastawski, B

    F. Pastawski, B. Yoshida, D. Harlow and J. Preskill,Holographic quantum error-correcting codes: Toy models for the bulk/boundary correspondence,Journal of High Energy Physics2015 (2015) 149 [1503.06237]

    Pith/arXiv arXiv 2015

  3. [3]

    Harlow,The Ryu–Takayanagi formula from quantum error correction,Communications in Mathematical Physics354(2017) 865 [1607.03901]

    D. Harlow,The Ryu–Takayanagi formula from quantum error correction,Communications in Mathematical Physics354(2017) 865 [1607.03901]

    Pith/arXiv arXiv 2017

  4. [4]

    Ryu and T

    S. Ryu and T. Takayanagi,Holographic derivation of entanglement entropy from the anti-de Sitter space/conformal field theory correspondence,Physical Review Letters96(2006) 181602 [hep-th/0603001]

    Pith/arXiv arXiv 2006

  5. [5]

    Hayden, S

    P. Hayden, S. Nezami, X.-L. Qi, N. Thomas, M. Walter and Z. Yang,Holographic duality from random tensor networks,Journal of High Energy Physics2016(2016) 009 [1601.01694]

    Pith/arXiv arXiv 2016

  6. [6]

    Faulkner, A

    T. Faulkner, A. Lewkowycz and J. Maldacena,Quantum corrections to holographic entanglement entropy,Journal of High Energy Physics2013(2013) 074 [1307.2892]

    Pith/arXiv arXiv 2013

  7. [7]

    Engelhardt and A.C

    N. Engelhardt and A.C. Wall,Quantum extremal surfaces: Holographic entanglement entropy beyond the classical regime,Journal of High Energy Physics2015(2015) 073 [1408.3203]

    Pith/arXiv arXiv 2015

  8. [8]

    Jafferis, A

    D.L. Jafferis, A. Lewkowycz, J. Maldacena and S.J. Suh,Relative entropy equals bulk relative entropy,Journal of High Energy Physics2016(2016) 004 [1512.06431]

    Pith/arXiv arXiv 2016

  9. [9]

    X. Dong, D. Harlow and A.C. Wall,Reconstruction of bulk operators within the entanglement wedge in gauge-gravity duality,Physical Review Letters117(2016) 021601 [1601.05416]

    Pith/arXiv arXiv 2016

  10. [10]

    Nezami and M

    S. Nezami and M. Walter,Multipartite entanglement in stabilizer tensor networks,Physical Review Letters125(2020) 241602 [1608.02595]

    Pith/arXiv arXiv 2020

  11. [11]

    Akers and P

    C. Akers and P. Rath,Holographic R´ enyi entropy from quantum error correction,Journal of High Energy Physics2019(2019) 052 [1811.05171]

    Pith/arXiv arXiv 2019

  12. [12]

    Cao and B

    C. Cao and B. Lackey,Approximate Bacon–Shor code and holography,Journal of High Energy Physics2021(2021) 127 [2010.05960]

    Pith/arXiv arXiv 2021

  13. [13]

    B´ eny and O

    C. B´ eny and O. Oreshkov,General conditions for approximate quantum error correction and near-optimal recovery channels,Physical Review Letters104(2010) 120501 [0907.5391]

    Pith/arXiv arXiv 2010

  14. [14]

    Kretschmann, D

    D. Kretschmann, D. Schlingemann and R.F. Werner,The information-disturbance tradeoff and the continuity of Stinespring’s representation,IEEE Transactions on Information Theory54 (2008) 1708 [quant-ph/0605009]

    Pith/arXiv arXiv 2008

  15. [15]

    C. Cao, G. Cheng, K. Karthikeyan, C. Li and J. Preskill,State-dependent geometries from magic-enriched quantum codes,2603.13475

    Pith/arXiv arXiv

  16. [16]

    Cao,Non-trivial area operators require non-local magic,Journal of High Energy Physics 2024(2024) 105 [2306.14996]

    C. Cao,Non-trivial area operators require non-local magic,Journal of High Energy Physics 2024(2024) 105 [2306.14996]

    Pith/arXiv arXiv 2024

  17. [17]

    C. Cao, G. Cheng, A. Hamma, L. Leone, W. Munizzi and S.F.E. Oliviero,Gravitational backreaction is magical,PRX Quantum6(2025) 040375 [2403.07056]

    arXiv 2025

  18. [18]

    Li,Nonlinear geometrizability of state-dependent proto-area in approximate holographic codes,2606.22598

    R. Li,Nonlinear geometrizability of state-dependent proto-area in approximate holographic codes,2606.22598

    Pith/arXiv arXiv

  19. [19]

    Akers and G

    C. Akers and G. Penington,Quantum minimal surfaces from quantum error correction, SciPost Physics12(2022) 157 [2109.14618]

    Pith/arXiv arXiv 2022

  20. [20]

    Akers, N

    C. Akers, N. Engelhardt, D. Harlow, G. Penington and S. Vardhan,The black hole interior from non-isometric codes and complexity,Journal of High Energy Physics2024(2024) 155 [2207.06536]. – 15 –

    Pith/arXiv arXiv 2024

  21. [21]

    Laflamme, C

    R. Laflamme, C. Miquel, J.P. Paz and W.H. Zurek,Perfect quantum error correcting code, Physical Review Letters77(1996) 198 [quant-ph/9602019]

    Pith/arXiv arXiv 1996

  22. [22]

    Schumacher and M.A

    B. Schumacher and M.A. Nielsen,Quantum data processing and error correction,Physical Review A54(1996) 2629 [quant-ph/9604022]

    Pith/arXiv arXiv 1996

  23. [23]

    Schumacher,Sending entanglement through noisy quantum channels,Physical Review A54 (1996) 2614 [quant-ph/9604023]

    B. Schumacher,Sending entanglement through noisy quantum channels,Physical Review A54 (1996) 2614 [quant-ph/9604023]

    Pith/arXiv arXiv 1996

  24. [24]

    Fletcher, P.W

    A.S. Fletcher, P.W. Shor and M.Z. Win,Optimum quantum error recovery using semidefinite programming,Physical Review A75(2007) 012338 [quant-ph/0606035]

    Pith/arXiv arXiv 2007

  25. [25]

    Haque, G

    S.S. Haque, G. Jafari and B. Underwood,Inflation is not magic,2512.10126

    arXiv

  26. [26]

    Veitch, S.A.H

    V. Veitch, S.A.H. Mousavian, D. Gottesman and J. Emerson,The resource theory of stabilizer quantum computation,New Journal of Physics16(2014) 013009 [1307.7171]

    Pith/arXiv arXiv 2014

  27. [27]

    Leone, S.F.E

    L. Leone, S.F.E. Oliviero and A. Hamma,Stabilizer R´ enyi entropy,Physical Review Letters 128(2022) 050402 [2106.12587]

    Pith/arXiv arXiv 2022

  28. [28]

    Leone and L

    L. Leone and L. Bittel,Stabilizer entropies are monotones for magic-state resource theory, Physical Review A110(2024) L040403 [2404.11652]. – 16 –

    Pith/arXiv arXiv 2024