pith. sign in

arxiv: 2606.22598 · v1 · pith:4RIL2DT2new · submitted 2026-06-21 · ✦ hep-th · math-ph· math.MP· quant-ph

Nonlinear Geometrizability of State-Dependent Proto-Area in Approximate Holographic Codes

Ruiliang Li This is my paper

Pith reviewed 2026-06-26 09:45 UTC · model grok-4.3

classification ✦ hep-th math-phmath.MPquant-ph
keywords approximate holographic codesproto-areaAdS3geometrizabilitygeodesic X-ray transformJacobi equationstate-dependent geometryrecovery maps
0
0 comments X

The pith

State-dependent proto-area data in approximate holographic codes arises from a bulk metric precisely when a gauge-invariant quadratic obstruction vanishes.

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

The paper derives exact finite-resolution criteria and, near the hyperbolic disk, necessary and sufficient conditions for a regular proto-area two-jet produced by approximate recovery to arise from a metric two-jet on a time-reflection-symmetric asymptotically AdS3 slice. Recovery maps are calibrated on the code channel and held fixed along a logical-state family. A sympathetic reader would care because this supplies concrete tests separating geometric from nongeometric behavior in holographic codes. Finite networks reduce to a polyhedral realization problem with certificates and witnesses of nongeometry, while the continuum uses the range of the rank-two geodesic X-ray transform together with a metric-forced Jacobi equation that produces the obstruction.

Core claim

Necessary and sufficient conditions hold for a regular proto-area two-jet to arise from a metric two-jet, with the geometric tangent space given by the range of the rank-two geodesic X-ray transform and a metric-forced Jacobi equation determining the normal Hessian of the renormalized boundary-length image to yield a gauge-invariant quadratic obstruction. Under a split-regularity hypothesis nearby geometric data form a local graph; the two-jet criterion itself is unconditional for regular data. Hamiltonian-skewed codes realize both first-order nongeometry and a response whose first obstruction appears only at quadratic order. The compatible metric perturbation is reconstructed modulo boundar

What carries the argument

The rank-two geodesic X-ray transform, whose range supplies the geometric tangent space, together with the metric-forced Jacobi equation that produces the gauge-invariant quadratic obstruction.

Load-bearing premise

The split-regularity hypothesis under which nearby geometric data form a local graph over the code channel.

What would settle it

An explicit computation, in a Hamiltonian-skewed code, of a proto-area two-jet that satisfies all linear conditions yet produces a nonzero value for the quadratic obstruction extracted from the Jacobi equation.

read the original abstract

State-dependent proto-area data produced by approximate recovery need not be compatible with a single local bulk metric. Using recovery maps calibrated on the code channel and held fixed along a logical-state family, we derive exact finite-resolution criteria and, near the hyperbolic disk, necessary and sufficient conditions for a regular proto-area two-jet to arise from a metric two-jet on a time-reflection-symmetric asymptotically AdS$_3$ slice. Finite networks give a polyhedral realization problem with primal and dual certificates, stable reconstruction, and explicit witnesses of nongeometry. In the continuum, the geometric tangent space is the range of the rank-two geodesic X-ray transform. A metric-forced Jacobi equation determines the normal Hessian of the renormalized boundary-length image and yields a gauge-invariant quadratic obstruction. Under a split-regularity hypothesis, nearby geometric data form a local graph; the two-jet criterion itself is unconditional for regular data. Hamiltonian-skewed codes realize both first-order nongeometry and a response whose first obstruction appears only at quadratic order. The compatible metric perturbation is reconstructed modulo boundary-fixing diffeomorphisms.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The paper derives exact finite-resolution criteria and, near the hyperbolic disk, necessary and sufficient conditions for a regular proto-area two-jet arising from approximate recovery maps (calibrated on the code channel and fixed along a logical-state family) to be compatible with a metric two-jet on a time-reflection-symmetric asymptotically AdS3 slice. It identifies the geometric tangent space as the range of the rank-two geodesic X-ray transform, derives a gauge-invariant quadratic obstruction via a metric-forced Jacobi equation on the renormalized boundary-length image, and shows that under a split-regularity hypothesis nearby geometric data form a local graph (while the two-jet criterion itself is unconditional for regular data). Finite networks realize a polyhedral problem with primal/dual certificates, stable reconstruction, and explicit nongeometry witnesses; Hamiltonian-skewed codes realize both first-order nongeometry and responses whose first obstruction appears only at quadratic order. The compatible metric perturbation is reconstructed modulo boundary-fixing diffeomorphisms.

Significance. If the central claims hold, the work supplies the first explicit necessary-and-sufficient two-jet criteria linking state-dependent proto-area data in approximate holographic codes to bulk geometry, together with concrete polyhedral certificates and Hamiltonian-skewed examples that witness nongeometry. The identification of the geometric tangent space with the range of the rank-two X-ray transform and the derivation of the gauge-invariant Jacobi obstruction provide a mathematically precise diagnostic for when approximate codes produce geometric versus non-geometric data, strengthening the interface between quantum error correction and AdS/CFT geometry.

minor comments (3)
  1. [§3] §3 (finite-network section): the statement that the polyhedral realization problem admits 'stable reconstruction' would benefit from an explicit bound on the reconstruction error in terms of the code distance or the approximation parameter of the recovery map.
  2. The notation for the 'renormalized boundary-length image' is introduced without a displayed equation relating it to the proto-area functional; adding the defining relation would improve readability.
  3. [Introduction] The split-regularity hypothesis is invoked only for the local-graph property, yet the abstract does not restate this limitation when summarizing the two-jet criterion; a single clarifying sentence in the introduction would prevent misreading.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the detailed summary of our work and the positive assessment of its significance. The recommendation for minor revision is noted; however, the report lists no specific major comments to address. We therefore provide no point-by-point responses and maintain that the manuscript requires no revisions on the basis of this report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper derives explicit necessary-and-sufficient two-jet criteria for a regular proto-area two-jet to arise from a metric two-jet, identifies the geometric tangent space as the range of the rank-two geodesic X-ray transform, and obtains a gauge-invariant quadratic obstruction from the metric-forced Jacobi equation on a time-reflection-symmetric asymptotically AdS3 slice. These steps are stated as unconditional for regular data; the split-regularity hypothesis is used only for the local-graph property of nearby data. Finite-network polyhedral certificates and Hamiltonian-skewed code examples supply independent witnesses. No load-bearing step reduces by the paper's own definitions or equations to a fitted input, self-definition, or self-citation chain; the derivation chain remains self-contained against external mathematical benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review yields no visible free parameters, axioms, or invented entities; no details on any quantities fitted to data or postulated without independent evidence.

pith-pipeline@v0.9.1-grok · 5722 in / 1245 out tokens · 27526 ms · 2026-06-26T09:45:26.244872+00:00 · methodology

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

63 extracted references · 9 canonical work pages

  1. [1]

    Maldacena,The large N limit of superconformal field theories and supergravity,Advances in Theoretical and Mathematical Physics2(1998) 231 [hep-th/9711200]

    J.M. Maldacena,The large N limit of superconformal field theories and supergravity,Advances in Theoretical and Mathematical Physics2(1998) 231 [hep-th/9711200]

    Pith/arXiv arXiv 1998

  2. [2]

    Gubser, I.R

    S.S. Gubser, I.R. Klebanov and A.M. Polyakov,Gauge theory correlators from non-critical string theory,Physics Letters B428(1998) 105 [hep-th/9802109]

    Pith/arXiv arXiv 1998

  3. [3]

    Witten,Anti de Sitter space and holography,Advances in Theoretical and Mathematical Physics2(1998) 253 [hep-th/9802150]

    E. Witten,Anti de Sitter space and holography,Advances in Theoretical and Mathematical Physics2(1998) 253 [hep-th/9802150]

    Pith/arXiv arXiv 1998

  4. [4]

    Van Raamsdonk,Building up spacetime with quantum entanglement,General Relativity and Gravitation42(2010) 2323 [1005.3035]

    M. Van Raamsdonk,Building up spacetime with quantum entanglement,General Relativity and Gravitation42(2010) 2323 [1005.3035]

    arXiv 2010

  5. [5]

    Swingle,Entanglement renormalization and holography,Physical Review D86(2012) 065007 [0905.1317]

    B. Swingle,Entanglement renormalization and holography,Physical Review D86(2012) 065007 [0905.1317]

    Pith/arXiv arXiv 2012

  6. [6]

    Balasubramanian, B.D

    V. Balasubramanian, B.D. Chowdhury, B. Czech, J. de Boer and M.P. Heller,Bulk curves from boundary data in holography,Phys. Rev. D89(2014) 086004 [1310.4204]

    Pith/arXiv arXiv 2014

  7. [7]

    Czech and L

    B. Czech and L. Lamprou,Holographic definition of points and distances,Physical Review D 90(2014) 106005 [1409.4473]

    Pith/arXiv arXiv 2014

  8. [8]

    Czech, L

    B. Czech, L. Lamprou, S. McCandlish and J. Sully,Integral geometry and holography,JHEP 10(2015) 175 [1505.05515]

    Pith/arXiv arXiv 2015

  9. [9]

    Czech, L

    B. Czech, L. Lamprou, S. McCandlish and J. Sully,Tensor networks from kinematic space, Journal of High Energy Physics2016(2016) 100 [1512.01548]

    Pith/arXiv arXiv 2016

  10. [10]

    Cao, X.-L

    C. Cao, X.-L. Qi, B. Swingle and E. Tang,Building bulk geometry from the tensor Radon transform,Journal of High Energy Physics2020(2020) 033 [2007.00004]

    arXiv 2020

  11. [11]

    Papadodimas and S

    K. Papadodimas and S. Raju,State-dependent bulk-boundary maps and black hole complementarity,Physical Review D89(2014) 086010 [1310.6335]

    Pith/arXiv arXiv 2014

  12. [12]

    Cotler, P

    J. Cotler, P. Hayden, G. Penington, G. Salton, B. Swingle and M. Walter,Entanglement wedge reconstruction via universal recovery channels,Phys. Rev. X9(2019) 031011 [1704.05839]

    arXiv 2019

  13. [13]

    Faulkner and A

    T. Faulkner and A. Lewkowycz,Bulk locality from modular flow,JHEP07(2017) 151 [1704.05464]

    Pith/arXiv arXiv 2017

  14. [14]

    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

  15. [15]

    Headrick,General properties of holographic entanglement entropy,Journal of High Energy Physics2014(2014) 085 [1312.6717]

    M. Headrick,General properties of holographic entanglement entropy,Journal of High Energy Physics2014(2014) 085 [1312.6717]

    Pith/arXiv arXiv 2014

  16. [16]

    Faulkner, A

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

    2013

  17. [17]

    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

    2015

  18. [18]

    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

    2015

  19. [19]

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

    2015

  20. [20]

    Harlow,The ryu–takayanagi formula from quantum error correction,Communications in Mathematical Physics354(2017) 865

    D. Harlow,The ryu–takayanagi formula from quantum error correction,Communications in Mathematical Physics354(2017) 865

    2017

  21. [21]

    C. Cao, G. Cheng, K. Karthikeyan, C. Li and J. Preskill,State-dependent geometries from magic-enriched quantum codes,arXiv preprint arXiv:2603.13475(2026)

    arXiv 2026

  22. [22]

    Witten,A note on corrections to entanglement wedge reconstruction,arXiv preprint arXiv:2606.18639(2026)

    E. Witten,A note on corrections to entanglement wedge reconstruction,arXiv preprint arXiv:2606.18639(2026)

    Pith/arXiv arXiv 2026

  23. [23]

    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]

    arXiv 2024

  24. [24]

    Eptaminitakis, F

    N. Eptaminitakis, F. Monard and Y.J. Zou,Tensor tomography on asymptotically hyperbolic surfaces,arXiv preprint arXiv:2510.04144(2025)

    arXiv 2025

  25. [25]

    Eptaminitakis, F

    N. Eptaminitakis, F. Monard and Y. Zou,The hyperbolic x-ray transform: New range characterizations, mapping properties and functional relations,Inverse Problems and Imaging 22(2026) 65

    2026

  26. [26]

    N. Bao, S. Nezami, H. Ooguri, B. Stoica, J. Sully and M. Walter,The holographic entropy cone,Journal of High Energy Physics2015(2015) 130

    2015

  27. [27]

    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

    2016

  28. [28]

    Freedman and M

    M. Freedman and M. Headrick,Bit threads and holographic entanglement,Communications in Mathematical Physics352(2017) 407 [1604.00354]

    Pith/arXiv arXiv 2017

  29. [29]

    Headrick and V.E

    M. Headrick and V.E. Hubeny,Riemannian and Lorentzian flow-cut theorems,Classical and Quantum Gravity35(2018) 105012 [1710.09516]

    Pith/arXiv arXiv 2018

  30. [30]

    Graham, C

    C.R. Graham, C. Guillarmou, P. Stefanov and G. Uhlmann,X-ray transform and boundary rigidity for asymptotically hyperbolic manifolds,Annales de l’Institut Fourier69(2019) 2857

    2019

  31. [31]

    Eptaminitakis,Stability estimates for the x-ray transform on simple asymptotically hyperbolic manifolds,Pure and Applied Analysis4(2022) 487

    N. Eptaminitakis,Stability estimates for the x-ray transform on simple asymptotically hyperbolic manifolds,Pure and Applied Analysis4(2022) 487

    2022

  32. [32]

    Mazzeo and F

    R. Mazzeo and F. Monard,Doubleb-fibrations and desingularization of the x-ray transform on manifolds with strictly convex boundary,Journal de l’École polytechnique — Mathématiques11 (2024) 809

    2024

  33. [33]

    Lefeuvre,Boundary rigidity of negatively-curved asymptotically hyperbolic surfaces, Commentarii Mathematici Helvetici95(2020) 129

    T. Lefeuvre,Boundary rigidity of negatively-curved asymptotically hyperbolic surfaces, Commentarii Mathematici Helvetici95(2020) 129

    2020

  34. [34]

    Chae,Covariant holographic entanglement entropy inversion to reconstruct bulk geometry, arXiv preprint arXiv:2605.16459(2026)

    J.-S. Chae,Covariant holographic entanglement entropy inversion to reconstruct bulk geometry, arXiv preprint arXiv:2605.16459(2026)

    Pith/arXiv arXiv 2026

  35. [35]

    Schumacher and M.A

    B. Schumacher and M.A. Nielsen,Quantum data processing and error correction,Physical Review A54(1996) 2629

    1996

  36. [36]

    Petz,Monotone metrics on matrix spaces,Linear Algebra and its Applications244(1996) 81

    D. Petz,Monotone metrics on matrix spaces,Linear Algebra and its Applications244(1996) 81

    1996

  37. [37]

    Gallo, M.D

    G. Gallo, M.D. Grigoriadis and R.E. Tarjan,A fast parametric maximum flow algorithm and applications,SIAM Journal on Computing18(1989) 30

    1989

  38. [38]

    Granot, S.T

    F. Granot, S.T. McCormick, M. Queyranne and F. Tardella,Structural and algorithmic properties for parametric minimum cuts,Mathematical Programming135(2012) 337. – 105 –

    2012

  39. [39]

    Korte and J

    B. Korte and J. Vygen,Combinatorial Optimization: Theory and Algorithms, Springer, Berlin, 5 ed. (2012), 10.1007/978-3-642-24488-9

    work page doi:10.1007/978-3-642-24488-9 2012

  40. [40]

    Paternain, M

    G.P. Paternain, M. Salo and G. Uhlmann,Tensor tomography on surfaces,Inventiones Mathematicae193(2013) 229

    2013

  41. [41]

    Paternain, M

    G.P. Paternain, M. Salo and G. Uhlmann,Geometric Inverse Problems: With Emphasis on Two Dimensions, vol. 204 ofCambridge Studies in Advanced Mathematics, Cambridge University Press, Cambridge (2023), 10.1017/9781009039901

    work page doi:10.1017/9781009039901 2023

  42. [42]

    Besse,Einstein Manifolds, vol

    A.L. Besse,Einstein Manifolds, vol. 10 ofErgebnisse der Mathematik und ihrer Grenzgebiete,

  43. [43]

    Folge, Springer, Berlin (1987), 10.1007/978-3-540-74311-8

    work page doi:10.1007/978-3-540-74311-8 1987

  44. [44]

    C. Bény, A. Kempf and D.W. Kribs,Quantum error correction of observables,Physical Review A76(2007) 042303 [0705.1574]

    Pith/arXiv arXiv 2007

  45. [45]

    Audenaert,A sharp continuity estimate for the von neumann entropy,Journal of Physics A: Mathematical and Theoretical40(2007) 8127

    K.M.R. Audenaert,A sharp continuity estimate for the von neumann entropy,Journal of Physics A: Mathematical and Theoretical40(2007) 8127

    2007

  46. [46]

    Engelhardt and S

    N. Engelhardt and S. Fischetti,Surface theory: The classical, the quantum, and the holographic,Classical and Quantum Gravity36(2019) 205002

    2019

  47. [47]

    Gourgoulhon,3+1 Formalism in General Relativity: Bases of Numerical Relativity, vol

    E. Gourgoulhon,3+1 Formalism in General Relativity: Bases of Numerical Relativity, vol. 846 ofLecture Notes in Physics, Springer, Berlin (2012), 10.1007/978-3-642-24525-1

    work page doi:10.1007/978-3-642-24525-1 2012

  48. [48]

    Faulkner, M

    T. Faulkner, M. Guica, T. Hartman, R.C. Myers and M. Van Raamsdonk,Gravitation from entanglement in holographic CFTs,Journal of High Energy Physics2014(2014) 051

    2014

  49. [49]

    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

    2016

  50. [50]

    Hubeny, M

    V.E. Hubeny, M. Rangamani and T. Takayanagi,A covariant holographic entanglement entropy proposal,Journal of High Energy Physics2007(2007) 062

    2007

  51. [51]

    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

    2016

  52. [52]

    Bonnans and A

    J.F. Bonnans and A. Shapiro,Perturbation Analysis of Optimization Problems, Springer, New York (2000), 10.1007/978-1-4612-1394-9

    work page doi:10.1007/978-1-4612-1394-9 2000

  53. [53]

    Higham,Functions of Matrices: Theory and Computation, Society for Industrial and Applied Mathematics, Philadelphia (2008), 10.1137/1.9780898717778

    N.J. Higham,Functions of Matrices: Theory and Computation, Society for Industrial and Applied Mathematics, Philadelphia (2008), 10.1137/1.9780898717778

    work page doi:10.1137/1.9780898717778 2008

  54. [54]

    Lesniewski and M.B

    A. Lesniewski and M.B. Ruskai,Monotone Riemannian metrics and relative entropy on noncommutative probability spaces,Journal of Mathematical Physics40(1999) 5702

    1999

  55. [55]

    Kato,Perturbation Theory for Linear Operators, Springer, Berlin, 2 ed

    T. Kato,Perturbation Theory for Linear Operators, Springer, Berlin, 2 ed. (1995), 10.1007/978-3-662-12678-3

    work page doi:10.1007/978-3-662-12678-3 1995

  56. [56]

    Rockafellar and R.J.-B

    R.T. Rockafellar and R.J.-B. Wets,Variational Analysis, Springer, Berlin (1998), 10.1007/978-3-642-02431-3

    work page doi:10.1007/978-3-642-02431-3 1998

  57. [57]

    and Combettes, Patrick L

    H.H. Bauschke and P.L. Combettes,Convex Analysis and Monotone Operator Theory in Hilbert Spaces, Springer, Cham, 2 ed. (2017), 10.1007/978-3-319-48311-5

    work page doi:10.1007/978-3-319-48311-5 2017

  58. [58]

    Berschneider and Z

    G. Berschneider and Z. Sasvári,On a theorem of Karhunen and related moment problems and quadrature formulae, inSpectral Theory, Mathematical System Theory, Evolution Equations, Differential and Difference Equations, vol. 221 ofOperator Theory: Advances and Applications, (Basel), pp. 173–187, Birkhäuser (2012), DOI. – 106 –

    2012

  59. [59]

    transition probability

    A. Uhlmann,The “transition probability” in the state space of a∗-algebra,Reports on Mathematical Physics9(1976) 273

    1976

  60. [60]

    Jozsa,Fidelity for mixed quantum states,Journal of Modern Optics41(1994) 2315

    R. Jozsa,Fidelity for mixed quantum states,Journal of Modern Optics41(1994) 2315

    1994

  61. [61]

    Reimpell and R.F

    M. Reimpell and R.F. Werner,Iterative optimization of quantum error correcting codes, Physical Review Letters94(2005) 080501 [quant-ph/0307138]

    Pith/arXiv arXiv 2005

  62. [62]

    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

  63. [63]

    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]. – 107 –

    Pith/arXiv arXiv 2008