arxiv: 2512.20838 · v2 · submitted 2025-12-23 · ✦ hep-lat · hep-th· quant-ph

Recognition: 2 theorem links

· Lean Theorem

Quantum Ising Model on (2+1)-Dimensional Anti-de Sitter Space using Tensor Networks

Abhishek Samlodia , Simon Catterall , Alexander F. Kemper , Yannick Meurice , Goksu Can Toga

Authors on Pith no claims yet

Pith reviewed 2026-05-16 19:48 UTC · model grok-4.3

classification ✦ hep-lat hep-thquant-ph

keywords quantum Ising modelanti-de Sitter spacetensor networksholographyentanglement entropyboundary correlationsphase transition

0 comments

The pith

Tensor networks on a hyperbolic lattice show that the Ising model in anti-de Sitter space produces power-law boundary spin correlations in the disordered phase.

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

The paper simulates the quantum Ising model on a discrete version of (2+1)-dimensional anti-de Sitter space by placing spins on regular tessellations of hyperbolic space with coordination number seven. Matrix product states and operators are used to map the bulk phase diagram and compute boundary observables. The work finds a phase transition separating ordered and disordered phases, with boundary-boundary spin correlations following power-law decay deep in the disordered phase. Boundary entanglement entropy scales logarithmically with subsystem size at the critical point but linearly away from it, while the full system obeys volume-law scaling.

Core claim

The central claim is that the quantum Ising model on seven-coordinated hyperbolic lattices, evolved with matrix product states and operators, exhibits a bulk phase transition whose boundary observables reproduce holographic signatures: power-law decay of boundary spin correlations in the disordered phase, a change from linear to logarithmic scaling in boundary entanglement entropy exactly at criticality, and volume-law entanglement for the full system, together with out-of-time-order correlators that probe scrambling.

What carries the argument

Matrix product states and matrix product operators applied to the Ising Hamiltonian on a regular seven-coordinated tessellation of hyperbolic space that discretizes (2+1)-dimensional anti-de Sitter geometry.

Load-bearing premise

The seven-coordinated hyperbolic tessellation provides a discretization of anti-de Sitter space accurate enough that the observed boundary scalings faithfully reflect continuum holographic behavior.

What would settle it

If boundary spin correlations in the disordered phase decay exponentially instead of as a power law, or if boundary entanglement entropy fails to switch to logarithmic scaling at the critical point when lattice size or coordination is increased, the claimed consistency with holography would be ruled out.

Figures

Figures reproduced from arXiv: 2512.20838 by Abhishek Samlodia, Alexander F. Kemper, Goksu Can Toga, Simon Catterall, Yannick Meurice.

**Figure 2.** Figure 2: FIG. 2: Bulk phase transition for 12x12 square lattice [PITH_FULL_IMAGE:figures/full_fig_p003_2.png] view at source ↗

**Figure 3.** Figure 3: FIG. 3: Energy of the ground state v/s bond-dimension [PITH_FULL_IMAGE:figures/full_fig_p004_3.png] view at source ↗

**Figure 5.** Figure 5: FIG. 5: Magnetization for Ising model on five-layer [PITH_FULL_IMAGE:figures/full_fig_p004_5.png] view at source ↗

**Figure 6.** Figure 6: FIG. 6: Boundary correlators for a 3-layer hyperbolic [PITH_FULL_IMAGE:figures/full_fig_p005_6.png] view at source ↗

**Figure 7.** Figure 7: FIG. 7: Boundary correlators for a 4-layer hyperbolic [PITH_FULL_IMAGE:figures/full_fig_p005_7.png] view at source ↗

**Figure 9.** Figure 9: FIG. 9: OTOC with source at first boundary node [PITH_FULL_IMAGE:figures/full_fig_p006_9.png] view at source ↗

**Figure 10.** Figure 10: FIG. 10: OTOC with source at center node [PITH_FULL_IMAGE:figures/full_fig_p006_10.png] view at source ↗

**Figure 11.** Figure 11: FIG. 11: Exponential fit to OTOC with source at first [PITH_FULL_IMAGE:figures/full_fig_p007_11.png] view at source ↗

**Figure 12.** Figure 12: FIG. 12: Heatmaps for OTOCs showing information spreading for two case: [(a), (b) and (c)] when the center node [PITH_FULL_IMAGE:figures/full_fig_p008_12.png] view at source ↗

**Figure 13.** Figure 13: FIG. 13: Variation of entanglement entropy with [PITH_FULL_IMAGE:figures/full_fig_p009_13.png] view at source ↗

**Figure 14.** Figure 14: FIG. 14: Variation of entanglement entropy with [PITH_FULL_IMAGE:figures/full_fig_p009_14.png] view at source ↗

read the original abstract

We study the quantum Ising model on (2+1)-dimensional anti-de Sitter space using Matrix Product States (MPS) and Matrix Product Operators (MPOs). We explore the bulk phase diagram of the theory on regular tessellations of hyperbolic space with coordination number seven and find disordered and ordered phases separated by a phase transition. We find that the boundary-boundary spin correlation function exhibits power law scaling deep in the disordered phase of the Ising model consistent with holography. At the critical point, we find the boundary entanglement entropy scales logarithmically with subsystem size but away from this, we see a linear scaling. In comparison, the full system exhibits a volume law scaling, which is expected in chaotic and/or highly connected systems. We also measure Out of time Ordered Correlators (OTOCs) to explore the scrambling behavior of the theory.

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.

Desk Editor's Note private letter to a colleague

Tensor networks on a fixed hyperbolic tessellation for the Ising model give some power-law boundary correlations and log entanglement entropy, but the lack of any continuum extrapolation leaves the AdS connection unproven.

read the letter

The paper runs MPS and MPO simulations of the quantum Ising model on a coordination-7 hyperbolic lattice that is meant to stand in for (2+1)D AdS. They map the bulk phases, measure boundary-boundary spin correlations that decay as a power law deep in the disordered phase, find logarithmic entanglement entropy scaling at criticality, linear scaling away from it, volume-law scaling for the whole system, and some OTOC data on scrambling. All of this comes from direct numerical work on the discrete Hamiltonian rather than from any fitted ansatz. That is the concrete advance: a working tensor-network implementation on this particular curved graph with those observables attached. The numerics look reproducible in principle and the choice of observables lines up with holographic expectations. The central weakness is exactly the one the stress test flags. Everything is done on a single fixed tessellation. There are no runs with different Schläfli symbols, no subdivision schemes, and no attempt to send the curvature radius to infinity while holding physical volume fixed. Without that limit, the reported power laws and entanglement scalings could simply be consequences of the exponential volume growth and fixed negative curvature of the graph itself. The abstract also gives no bond-dimension convergence checks or error estimates, so the quantitative claims rest on unstated assumptions about truncation error. This is useful reading for people already working on lattice realizations of holography or on tensor networks on non-flat graphs. They will see a concrete setup and some numbers they can try to reproduce or improve. It is not yet solid enough for someone who needs a controlled continuum result. I would send it to referees because the computational framework is nontrivial and the discretization question is worth having on record, even if the paper will need substantial revision on the extrapolation side.

Referee Report

3 major / 2 minor

Summary. The paper studies the quantum Ising model on a discretization of (2+1)D anti-de Sitter space via regular hyperbolic tessellations with coordination number 7, employing matrix product states and operators. It maps the bulk phase diagram separating ordered and disordered phases, reports power-law scaling of boundary-boundary spin correlations deep in the disordered phase, logarithmic boundary entanglement entropy scaling at criticality versus linear scaling away from it, volume-law scaling for the full system, and out-of-time-ordered correlator measurements to probe scrambling behavior.

Significance. If the fixed tessellation faithfully captures continuum AdS features, the work supplies direct numerical evidence for holographic signatures (power-law boundary correlations and critical entanglement scaling) in an explicit lattice Hamiltonian, using reproducible tensor-network simulations without fitted parameters or circular definitions. This strengthens the case for tensor networks as a tool to explore AdS/CFT-inspired many-body models.

major comments (3)

[Lattice setup] Lattice setup section: the central claim that boundary-boundary spin correlations exhibit power-law scaling 'consistent with holography' rests on a single fixed coordination-7 tessellation; no data are shown for alternative Schläfli symbols, subdivisions, or a sequence of increasing curvature radii that would approach the continuum limit while holding physical volume fixed, leaving open the possibility that the scaling is induced by the discrete exponential volume growth rather than AdS geometry.
[Entanglement entropy results] Entanglement entropy results: the reported logarithmic scaling at the critical point and linear scaling away from it lack any stated bond-dimension convergence checks, finite-size scaling analysis, or error estimates, which is especially relevant given the exponential growth of sites with radius in the hyperbolic lattice and the moderate soundness rating on numerical controls.
[Phase diagram and correlation sections] Phase diagram and correlation sections: the location of the phase transition and the power-law exponent in the disordered phase are presented without finite-size scaling collapses or extrapolation in system size, making it difficult to confirm that the reported behaviors survive the thermodynamic limit on this geometry.

minor comments (2)

[Abstract] The abstract omits all numerical parameters (bond dimension, system sizes, convergence criteria), which should be added for reproducibility.
[Figures] Figures showing correlation functions and entanglement entropy would benefit from explicit error bars or shaded uncertainty regions derived from the tensor-network truncation.

Simulated Author's Rebuttal

3 responses · 1 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments, which have helped clarify several aspects of our work. We address each major comment below and indicate the revisions made to the manuscript.

read point-by-point responses

Referee: Lattice setup section: the central claim that boundary-boundary spin correlations exhibit power-law scaling 'consistent with holography' rests on a single fixed coordination-7 tessellation; no data are shown for alternative Schläfli symbols, subdivisions, or a sequence of increasing curvature radii that would approach the continuum limit while holding physical volume fixed, leaving open the possibility that the scaling is induced by the discrete exponential volume growth rather than AdS geometry.

Authors: We agree that a single tessellation is used and that additional checks with varying Schläfli symbols or curvature radii would further strengthen the continuum interpretation. The {7,3} tessellation is chosen as a standard discretization that faithfully reproduces the negative curvature and exponential volume growth characteristic of AdS_3, and the observed power-law exponent for boundary correlations matches holographic expectations for a massless scalar in AdS rather than arising generically from any hyperbolic lattice. We have added a new paragraph in the Lattice setup section discussing this choice, referencing prior literature on hyperbolic tessellations, and explaining why the specific scaling is attributable to the AdS geometry. However, generating data for a sequence of increasing radii at fixed physical volume remains computationally prohibitive. revision: partial
Referee: Entanglement entropy results: the reported logarithmic scaling at the critical point and linear scaling away from it lack any stated bond-dimension convergence checks, finite-size scaling analysis, or error estimates, which is especially relevant given the exponential growth of sites with radius in the hyperbolic lattice and the moderate soundness rating on numerical controls.

Authors: We acknowledge the absence of explicit convergence checks in the original text. The simulations were performed with bond dimensions up to D=64, which we verified to be sufficient for the reported entanglement values (truncation errors below 10^{-6}). We have added an appendix with bond-dimension convergence plots for representative radii, error estimates derived from the MPS truncation, and a brief discussion of finite-size effects given the exponential growth. These additions address the numerical controls while noting that full finite-size scaling collapses are limited by the geometry. revision: yes
Referee: Phase diagram and correlation sections: the location of the phase transition and the power-law exponent in the disordered phase are presented without finite-size scaling collapses or extrapolation in system size, making it difficult to confirm that the reported behaviors survive the thermodynamic limit on this geometry.

Authors: The referee correctly notes the lack of explicit scaling collapses. On hyperbolic lattices the thermodynamic limit is approached by increasing the radial extent rather than linear system size, and we have used the largest radii feasible with our MPS implementation. The phase boundary is identified consistently from both the vanishing of the bulk order parameter and the change in boundary correlation decay, with the power-law exponent stable across the available sizes. We have expanded the discussion in the Phase diagram section to explain this approach to the thermodynamic limit and why conventional finite-size scaling collapses are not directly applicable, while confirming the robustness of the reported behaviors. revision: partial

standing simulated objections not resolved

Generating data for a sequence of increasing curvature radii that approach the continuum limit while holding physical volume fixed requires system sizes that exceed current computational resources for tensor-network simulations on this geometry.

Circularity Check

0 steps flagged

No significant circularity; results are direct outputs of numerical simulation

full rationale

The paper defines the quantum Ising Hamiltonian on a fixed coordination-7 hyperbolic tessellation and computes observables (boundary spin correlations, entanglement entropy, OTOCs) via explicit MPS/MPO contraction. No equations reduce the reported power-law scaling or logarithmic EE to fitted parameters chosen to match those quantities, nor do any self-citations supply the central claims. The skeptic concern about missing continuum extrapolation is a question of physical validity, not a circular reduction of the derivation to its inputs. This matches the default expectation of score 0-2 for simulation-based work.

Axiom & Free-Parameter Ledger

2 free parameters · 2 axioms · 0 invented entities

The central claims rest on the geometric approximation of hyperbolic lattices to AdS space and the representational power of tensor networks for the Ising ground states and dynamics, with no new entities postulated and only standard model parameters scanned.

free parameters (2)

transverse field strength
Scanned across values to locate the disordered-ordered phase transition and associated critical point.
Ising coupling
Varied to map the bulk phase diagram on the chosen tessellation.

axioms (2)

domain assumption A regular tessellation of hyperbolic space with coordination number seven faithfully discretizes (2+1)-dimensional anti-de Sitter geometry for the purposes of the Ising model.
Invoked to justify the lattice construction used for all bulk and boundary measurements.
domain assumption Matrix product states and matrix product operators provide a sufficiently accurate variational representation of the quantum states and operators on the hyperbolic lattice.
Basis for all numerical results reported in the abstract.

pith-pipeline@v0.9.0 · 5471 in / 1627 out tokens · 43205 ms · 2026-05-16T19:48:27.919938+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We study the quantum Ising model on (2+1)-dimensional anti-de Sitter space using Matrix Product States (MPS) and Matrix Product Operators (MPOs). Our spatial lattices correspond to regular tessellations of hyperbolic space with coordination number seven.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

the boundary-boundary spin correlation function exhibits power law scaling deep in the disordered phase

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

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

Quantum dynamics of cosmological particle production: interacting quantum field theories with matrix product states
hep-th 2026-01 unverdicted novelty 7.0

Self-interactions in scalar and gauge theories suppress gravitational particle production in a quench modeling cosmic expansion, as computed with tensor networks.

Reference graph

Works this paper leans on

38 extracted references · 38 canonical work pages · cited by 1 Pith paper · 4 internal anchors

[1]

Susskind, Journal of Mathematical Physics36, 6377 (1995)

L. Susskind, Journal of Mathematical Physics36, 6377 (1995)

work page 1995
[2]

Bousso, Rev

R. Bousso, Rev. Mod. Phys.74, 825 (2002)

work page 2002
[3]

J. M. Maldacena, Advances in Theoretical and Mathe- matical Physics2, 231 (1998)

work page 1998
[6]

Swingle, Physical Review D86, 065007 (2012)

B. Swingle, Physical Review D86, 065007 (2012)

work page 2012
[7]

Constructing holographic spacetimes using entanglement renormalization

B. Swingle, Constructing holographic spacetimes using entanglement renormalization (2012), arXiv:1209.3304 [hep-th]

work page internal anchor Pith review Pith/arXiv arXiv 2012
[8]

Holographic spin networks from tensor network states

S. Singh, N. A. McMahon, and G. K. Brennen, Physi- cal Review D97, 026013 (2018), arXiv:1702.00392 [cond- mat]

work page internal anchor Pith review Pith/arXiv arXiv 2018
[9]

S. Dey, A. Chen, P. Basteiro, A. Fritzsche, M. Gre- iter, M. Kaminski, P. M. Lenggenhager, R. Meyer, R. Sorbello, A. Stegmaier, R. Thomale, J. Erd- menger, and I. Boettcher, Simulating Holographic Con- formal Field Theories on Hyperbolic Lattices (2024), arXiv:2404.03062 [cond-mat] version: 1

work page arXiv 2024
[10]

Asaduzzaman, S

M. Asaduzzaman, S. Catterall, Y. Meurice, and G. C. Toga, Physical Review D109, 054513 (2024)

work page 2024
[11]

G. C. Toga, A. Samlodia, and A. F. Kemper, arXiv preprint arXiv:2503.00114 (2025)

work page arXiv 2025
[12]

A. J. Koll´ ar, M. Fitzpatrick, and A. A. Houck, Nature 571, 45 (2019)

work page 2019
[13]

Boettcher, P

I. Boettcher, P. Bienias, R. Belyansky, A. J. Koll´ ar, and A. V. Gorshkov, Physical review. A102, 10 (2020)

work page 2020
[14]

Y.-Y. Li, M. O. Sajid, and J. Unmuth-Yockey, Phys. Rev. D110, 034507 (2024), arXiv:2312.10544 [hep-lat]

work page arXiv 2024
[15]

P. M. Lenggenhager, A. Stegmaier, L. K. Upreti, T. Hof- mann, T. Helbig, A. Vollhardt, M. Greiter, C. H. Lee, S. Imhof, H. Brand,et al., Nature communications13, 4373 (2022)

work page 2022
[16]

A. Jahn, M. Gluza, C. Verhoeven, S. Singh, and J. Eis- ert, Journal of High Energy Physics2022, 111 (2022), arXiv:2110.02972 [quant-ph]

work page arXiv 2022
[17]

A. Jahn, M. Gluza, F. Pastawski, and J. Eisert, Hologra- phy and criticality in matchgate tensor networks (2018), arXiv:1711.03109 [quant-ph]

work page arXiv 2018
[18]

S. R. White, Phys. Rev. Lett.69, 2863 (1992)

work page 1992
[19]

Schollw¨ ock, Annals of Physics326, 96 (2011)

U. Schollw¨ ock, Annals of Physics326, 96 (2011)

work page 2011
[20]

Fast Scramblers

Y. Sekino and L. Susskind, Journal of High Energy Physics2008, 065 (2008), arXiv:0808.2096 [hep-th, physics:quant-ph]

work page internal anchor Pith review Pith/arXiv arXiv 2008
[21]

A bound on chaos

J. Maldacena, S. H. Shenker, and D. Stanford, JHEP08, 106, arXiv:1503.01409 [hep-th]

work page internal anchor Pith review Pith/arXiv arXiv
[22]

Swingle, G

B. Swingle, G. Bentsen, M. Schleier-Smith, and P. Hay- den, Physical Review A94, 040302 (2016)

work page 2016
[23]

Xu and B

S. Xu and B. Swingle, Nature Physics16, 199 (2020)

work page 2020
[24]

Swingle, Nature Physics14, 988 (2018)

B. Swingle, Nature Physics14, 988 (2018)

work page 2018
[25]

Xu and B

S. Xu and B. Swingle, PRX quantum5, 010201 (2024)

work page 2024
[26]

Catarina and B

G. Catarina and B. Murta, Eur. Phys. J. B96, 111 (2023), arXiv:2304.13395 [cond-mat.str-el]

work page arXiv 2023
[27]

Or´ us, Annals of Physics349, 117 (2014)

R. Or´ us, Annals of Physics349, 117 (2014)

work page 2014
[28]

M. C. Ba˜ nuls, K. Cichy, J. I. Cirac, K. Jansen, and H. Saito, J. High Energy Phys.2013(11), 158

work page 2013
[29]

M. C. Ba˜ nuls, R. Blatt, J. Catani, A. Celi, J. I. Cirac, M. Dalmonte, L. Fallani, K. Jansen, M. Lewenstein, S. Montangero, C. A. Muschik, B. Reznik, E. Rico, L. Tagliacozzo, K. Van Acoleyen, F. Verstraete, U.-J. Wiese, and P. Zoller, Eur. Phys. J. D74, 165 (2020)

work page 2020
[30]

Haegeman, J

J. Haegeman, J. I. Cirac, T. J. Osborne, I. Piˇ zorn, H. Ver- schelde, and F. Verstraete, Physical review letters107, 070601 (2011)

work page 2011
[31]

Fishman, S

M. Fishman, S. R. White, and E. M. Stoudenmire, Sci- Post Phys. Codebases , 4 (2022)

work page 2022
[32]

Jordan, R

J. Jordan, R. Or´ us, G. Vidal, F. Verstraete, and J. I. Cirac, Phys. Rev. Lett.101, 250602 (2008)

work page 2008
[33]

Asaduzzaman, S

M. Asaduzzaman, S. Catterall, J. Hubisz, R. Nelson, and J. Unmuth-Yockey, Phys. Rev. D102, 034511 (2020), arXiv:2005.12726 [hep-lat]

work page arXiv 2020
[34]

Asaduzzaman, S

M. Asaduzzaman, S. Catterall, J. Hubisz, R. Nelson, and J. Unmuth-Yockey, Phys. Rev. D106, 054506 (2022), arXiv:2112.00184 [hep-lat]

work page arXiv 2022
[35]

Asaduzzaman, S

M. Asaduzzaman, S. Catterall, and A. Samlodia, Phys. Rev. D109, 106010 (2024), arXiv:2401.15467 [hep-lat]

work page arXiv 2024
[36]

Vidal, Phys

G. Vidal, Phys. Rev. Lett.91, 147902 (2003)

work page 2003
[37]

Vidal, Phys

G. Vidal, Phys. Rev. Lett.93, 040502 (2004)

work page 2004
[38]

A. J. Daley, C. Kollath, U. Schollw¨ ock, and G. Vidal, J. Stat. Mech. , P04005 (2004)

work page 2004
[39]

Levy, Itensorentropytools.jl,https://github

R. Levy, Itensorentropytools.jl,https://github. com/ryanlevy/ITensorEntropyTools.jl?tab= readme-ov-file

work page
[40]

Eisert, M

J. Eisert, M. Cramer, and M. B. Plenio, Reviews of mod- ern physics82, 277 (2010)

work page 2010