Integrability vs. Information Loss: A Simple Example

Bartlomiej Czech; Joan Simon; Klaus Larjo; Vijay Balasubramanian

REVIEW

Integrability vs. Information Loss: A Simple Example

Vijay Balasubramanian, Bartlomiej Czech, Klaus Larjo, Joan Simon

High Energy Physics - Theory · Submitted 24 Feb 2006 · 9 references

Pith's verdict: A clean, explicit computation showing half-BPS conserved charges appear as asymptotic multipoles, with a plausible but heuristic inaccessibility argument; the global-observable loophole does not close.

T0 · AI review

How this review was made: An AI referee (deepseek-v4-flash) read the paper on August 28, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

T0 AI review An AI read the paper and answered a fixed list of questions.
T1 Audit Automatic checks that the references and files the paper relies on exist and match.
T2 Compute The paper's code or calculations re-run with the same results.
T3 Formal statement The claims written out in a formal math language a computer can read.
T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 3 major objections · 4 minor · Ask about this paper · The compiled record · Read the full review →

Challenge this review Comment (0) Read on arXiv ↗

Cite ▾

arXiv IDhep-th/0602263 (version 1)

Pith IDDZWLWLXS, Pith's permanent record of this paper and its review

CitationBartlomiej Czech, Joan Simon, Klaus Larjo, Vijay Balasubramanian. "Integrability vs. Information Loss: A Simple Example." arXiv:hep-th/0602263 (2006). https://pith.science/paper/DZWLWLXS

Cite this reviewBibTeX for Pith's review of this paper

Claim paper

Why Pith says this

Highlight any text to comment on it.

Editor's note

read the letter

Dear Colleague,

This paper is worth your attention: it explicitly shows that in the LLM geometries dual to half-BPS states, the l-th asymptotic multipole of the scalar u is a linear combination of the conserved charges M_k (k ≤ l), so the full tower of commuting charges is formally encoded in the metric. That computation is new, and the semiclassical limit is clean: the l-th multipole is dominated by M_l, with subleading corrections from lower moments. The paper then argues that a semiclassical observer cannot read off the microstate because high multipoles require sub-Planckian resolution while low multipoles are statistically universal across typical states. The information-loss conclusion is plausible, and I do not think the stress-test's loophole actually works.

The stress-test worries that multipole moments are global observables, extractable by integrals over a large sphere, and thus do not require resolving individual angular nodes. That is true for the mathematical extraction, but to evaluate such an integral you need to sample the field at enough points to see the oscillatory pattern. If the pattern has l nodes around a circle of circumference L, the sampling spacing must be O(L/l), and for l > N^{1/4} that spacing is below the Planck length. A long-baseline interferometer likewise gives you a Fourier coefficient at a particular angular scale; the largest l you can reach is still set by L/l_p. So the bound k < γN^{1/4} survives, although the derivation in Sec. 4.1 is heuristic rather than rigorous.

What is genuinely good: the explicit polynomials A_l(f), the Newton-Girard inversion, and the demonstration that the Wigner, Husimi, and grayscale distributions give identical semiclassical multipoles. The appendix provides the first few metric components. The typicality argument in Sec. 4.2 is careful and appropriately cited.

Soft spots: (1) Eq. (46) is a reasonable but hand-wavy resolution criterion; a sharper treatment of what a semiclassical observer can measure would strengthen the paper, but I suspect the conclusion is right. (2) The paper itself concedes that high-order multipoles are not classically reliable in quantum gravity; this creates a mild tension between saying the spacetime encodes the charges and saying the quantum wavefunction does. The encoding is really in the exact solution, not the coarse-grained semiclassical geometry. (3) The universality of low multipoles leans on the typicality results of [2], which are cited but not re-derived.

Who this is for: people working on the half-BPS sector, LLM geometries, or information loss in AdS/CFT. It is a useful proof of principle, not a new framework. I would cite it if I worked on these questions.

Recommendation: yes, send it to peer review. The computations check out, the main claim is likely correct, and the measurability bound deserves a more rigorous formulation rather than rejection.

Referee report

Significance

The paper's positive result is a concrete, parameter-free demonstration that conserved charges of an integrable half-BPS system are dual to asymptotic multipole moments; this is a useful explicit example of the AdS/CFT dictionary. The calculation is self-contained, with explicit formulas in Eqs. (25)-(32), and the Newton-Girard inversion is a clean proof of principle. If the measurement criterion is accepted, the information-loss result provides a quantitative version of the typicality arguments of [2]. The main weakness is that the information-loss conclusion rests on heuristic assumptions about measurement resolution rather than on a derived bound, and the manuscript itself concedes in Section 5 that high-order multipoles are not classically reliable.

Major objections (3)

[Section 4.1, Eq. (46)] The bound λ/k > l_p is the sole basis for the conclusion that only k < γ N^{1/4} multipoles are measurable, but it is not derived. It assumes that measuring the k-th multipole requires resolving O(k) angular nodes or computing a local k-th derivative over a region of size λ. Multipole moments are global observables and can in principle be extracted from integrals of the asymptotic field over a large sphere, or from fitting the full angular dependence of the metric; such estimators do not require resolving individual nodes. The paper does not rule out this possibility, and Section 5 concedes that the classical multipole expansion is not reliable at very high orders. Therefore the central claim that semiclassical observers necessarily lose information is not established as stated; the resolution bound must either be derived from a concrete model of measurement, or its status as an assumption must be made explicit and its consequences softened.
[Section 5, first paragraph] The manuscript acknowledges that the multipole expansion is not classically reliable at very high orders because quantum gravity induces fluctuations in the highly suppressed higher multipoles. This admission directly qualifies the Section 3.1 claim that a measurement of the first N multipoles identifies the underlying eigenstate: if the high-order multipoles are not well-defined classical observables, the operational meaning of 'measuring the first N multipoles' is unclear. The response in the same paragraph, that eigenvalues should still be extractable from the wavefunction of spacetime, is a statement of intent rather than a derivation. The paper should either show how quantum-gravity fluctuations affect the extraction of M_k from the wavefunction, or restrict the reconstruction claim to the semiclassical effective geometry.
[Section 3.1, Eq. (22)] The exact multipole expansion uses the identification u = 2πℏ W(r), where W is the Wigner distribution. For individual eigenstates, W is not non-negative and can exceed the semiclassical bound, so u can take values outside [0,1], violating the usual regularity condition on LLM droplet data. The paper does not justify that such a boundary condition defines a valid supergravity solution; at best the semiclassical limit is universal among the three distributions considered. Since the exact reconstruction argument in Section 3.1 relies on this choice, this gap should be addressed, for instance by showing that the geometry is understood as an effective 'quantum foam' metric in the sense of [2] rather than a classical LLM solution.

Minor objections (4)

[Section 4.2, inequality (53)] The proof of the bound σ(M_k)E1/⟨M_k⟩E1 < σ(M_k)E2/⟨M_k⟩E2 via 'poorer approximations to the integral' is heuristic; a more rigorous derivation of the variance bound would strengthen the claim, although the E2 computation alone already gives the N→∞ suppression for fixed k.
[Notation, Eqs. (25)-(26)] The notation is inconsistent: the multipole coefficient is called A_l(f) in Eq. (25) and A_n(f) in Eq. (26); the indices should be unified. Also, the Pochhammer symbol is defined only after its first use in the text.
[Appendix A, Eq. (59)] The expression for V1 in Eq. (59) is identical to Eq. (31) in the main text; one of the two displays could be omitted to avoid redundancy.
[Abstract and Introduction] The phrase 'Planck scale measurements are required' is used in the abstract for two distinct effects: high multipoles require Planck-scale resolution, while low multipoles require Planck-scale precision to distinguish typical states. The distinction should be stated explicitly in the abstract and in Section 4, since the quantitative arguments are different.

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

The asymptotic multipole moments of half-BPS AdS5×S5 spacetimes carry the full tower of commuting conserved charges, yet a semiclassical observer can read only a negligible, universal fraction of that information.

The reading

The paper takes a concrete half-BPS sector of supersymmetric Yang-Mills theory, where the Hilbert space reduces to N free fermions and each state is an eigenstate of N commuting conserved charges M_k. It proves that all these charges survive in the dual gravitational description: they are exactly the angular multipole moments of the asymptotic spacetime. It then shows why no semiclassical observer can use them: resolving the high multipoles requires sub-Planckian distances, and the low multipoles are universal across typical states. The upshot is a microscopic demonstration that integrability and black-hole information loss coexist: the information is present in the exact geometry but inaccessible to coarse-grained measurements.

What carries the argument

The central object is the scalar function $u(x_1,x_2,y)$ that determines the whole IIB supergravity solution, together with its asymptotic multipole expansion in coordinates $\rho,\theta$. The l-th multipole is controlled by polynomials $A_l(f)$ in the fermion energies, generated by $A_n(f)=(d/da)^n a^n(a-1)^f|_{a=2}$ and reducible to the conserved moments $M_k$; the Newton-Girard identity $m\pi_m+\sum_{k=1}^m(-1)^kM_k\pi_{m-k}=0$ inverts this data to recover the fermion spectrum. The measurement-resolution condition $\lambda/k>l_p$, equivalently $k<\gamma N^{1/4}$, is the load-bearing mechanism that turns exact encoding into effective information loss.

Extended reading notes

Core claim

The paper establishes that half-BPS states of the gauge theory are completely identified by their conserved moments $M_k=\sum_i f_i^k$, and that in the gravity dual these moments are encoded in the asymptotic multipole expansion of the metric. In coordinates adapted to the boundary of AdS$_5\times S^5$, the scalar function $u$ that determines the full ten-dimensional solution has an l-th multipole built from sums $\sum_{f\in F} A_l(f)=\sum_{k=0}^l c_k M_k$, so measuring the first $N$ multipoles and applying the Newton-Girard inversion recovers the fermion excitation energies and hence the exact quantum eigenstate. The paper then argues that a semiclassical observer of size $\lambda=\gamma L$ can resolve only multipoles with $k<\gamma N^{1/4}$, because resolving the kth derivative requires distances $\lambda/k>l_p$; meanwhile the lowest moments of almost all states coincide in the large-N typical ensemble, with variance-to-mean ratio $k/\sqrt{N(2k+1)}$. Thus the exact state is fully present in the geometry, but coarse-grained observations cannot distinguish one microstate from another.

Load-bearing premise

The conclusion rests on the assumption, Eq. (46), that a semiclassical apparatus of size $\lambda$ can measure a kth derivative only if $\lambda/k>l_p$; if some probe could extract high-order multipoles without resolving sub-Planckian distances, the microstate information could in principle be recovered.

Editorial extensions

If this is right

If the central claim is correct, the exact gravitational dual of every half-BPS state stores a complete state label in its asymptotic multipoles, with no need for a horizon or singularity to carry the microstate information.
Coarse-grained observers can recover at most $O(N^{1/4})$ of the $N$ conserved charges, so a thermodynamic description is unavoidable for any practical semiclassical observer.
The universality of low multipoles explains why many half-BPS geometries respond like the same extremal black hole to almost all probes.
The Newton-Girard inversion provides an explicit reconstruction algorithm: measure $N$ multipoles, invert to moments, and solve the characteristic polynomial for the fermion energies.
Operator-ordering ambiguities such as Wigner versus Husimi distributions shift only subleading $\hbar$ corrections, so the leading classical multipole predictions are universal.

Reading between the lines

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

An extension not made in the paper: the information-loss conclusion is a metrology bound, so a non-local probe that extracts high-order multipoles without resolving sub-Planckian distances would in principle reconstruct the microstate.
Not in the paper, but a natural consequence: the relation $\lambda\sim N^{3/4}L$ between apparatus size and required precision exhibits a UV/IR trade-off that could be studied in other holographic settings.
One testable extension is to simulate the free-fermion model with a finite-resolution observer and check numerically whether low-moment differences between typical states fall below any fixed precision as $N$ grows.
The paper's final remark gestures at quantum-gravity fluctuations of subleading multipoles; a precise formulation would require quantizing the metric sector and asking whether the conserved charges survive as expectation values rather than as properties of a single classical geometry.

Original abstract

The half-BPS sector of Yang-Mills theory with 16 supercharges is integrable: there is a set of commuting conserved charges, whose eigenvalues can completely identify a state. We show that these charges can be measured in the dual gravitational description from asymptotic multipole moments of the spacetime. However, Planck scale measurements are required to separate the charges of different microstates. Thus, semiclassical observers making coarse-grained measurements necessarily lose information about the underlying quantum state.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 3,558 input tokens, $0.0001 reported.

What the abstract itself states, as probabilities: claims first 0.03 · states limitation 0.76 · human participants 0.01 · controlled comparison 0.02 · randomized assignment 0.01 · states quantitative result 0.07 · compares with prior results 0.12 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; show every role.

The half-BPS sector of Yang-Mills theory with 16 supercharges is integrable: there is a set of commuting conserved charges, whose eigenvalues can completely identify a state. We show that these charges can be measured in the dual gravitational description from asymptotic multipole moments of the spacetime. However, Planck scale measurements are required to separate the charges of different microstates. Thus, semiclassical observers making coarse-grained measurements necessarily lose information about the underlying quantum state.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#	sentence	role	the authors' own work	states the main conclusion	strength
s0	The half-BPS sector of Yang-Mills theory with 16 supercharges is integrable: there is a set of commuting conserved charges, whose eigenvalues can completely identify a state.	background 0.95	0.15	0.08	asserted 1.00
s1	We show that these charges can be measured in the dual gravitational description from asymptotic multipole moments of the spacetime.	result 0.70	0.83	0.10	asserted 1.00
s2	However, Planck scale measurements are required to separate the charges of different microstates.	result 0.86	0.56	0.10	asserted 0.99
s3	Thus, semiclassical observers making coarse-grained measurements necessarily lose information about the underlying quantum state.	interpretation 0.97	0.63	0.83	asserted 1.00

What kind of paper the classifier reports this is: theoretical result 0.99 · evidence from proof or derivation 0.74.

What was examined, and what was not

sources read

arXiv listing abstract v1

not examined

full text
figures and tables
references and citing sentences
relations to other papers

levels run

P abstract

not run

S sections
T body sentences
C citations
R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

References

Works cited (9)

[2]

V. Balasubramanian, V. Jejjala and J. Simon, “The library of Babe l,” Int. J. Mod. Phys. D 14, 2181 (2005) [arXiv:hep-th/0505123]; V. Balasubramanian, J. de Boer, V. Jejjala and J. Simon, “The library of Babel: On the orig in of gravitational thermodynamics,” JHEP 0512, 006 (2005) [arXiv:hep-th/0508023]

View on Pith Pith review arXiv 2005
[1]

H. Lin, O. Lunin and J. Maldacena, “Bubbling AdS space and 1/2 BPS geome- tries,” JHEP 0410, 025 (2004) [arXiv:hep-th/0409174]

View on Pith Pith review arXiv 2004
[3]

S. Corley, A. Jevicki, and S. Ramgoolam, “Exact correlators of g iant gravi- tons from dual N = 4 SYM theory,” Adv. Theor. Math. Phys. 5, 809 (2002) [arXiv:hep-th/0111222]

View on Pith Pith review arXiv 2002
[4]

D. Berenstein, “A toy model for the AdS/CFT correspondence ,” JHEP 0407, 018 (2004) [arXiv:hep-th/0403110]

View on Pith Pith review arXiv 2004
[5]

A. Dhar, G. Mandal and N. V. Suryanarayana, “Exact operato r bosonization of ﬁnite number of fermions in one space dimension,” JHEP 0601, 118 (2006) [arXiv:hep-th/0509164]

View on Pith Pith review arXiv 2006
[6]

M. Hillery, R. F. O’Connell, M .O. Scully, and E. P. Wigner, “Distribution functions in Physics : Fundamentals”, Physics reports 106, No. 3 ( 1984) 121- 167

View on Pith 1984
[7]

K. Husimi, Proc. Phys. Math. Soc. Japan 22, 264 (1940); A. M. Ozorio de Almeida, “The Weyl representation on classical and quantum mecha nics,” Phys. Rept. 295, 265 (1998); P. Leboeuf and M. Saraceno, “Eigenfunctions of no n- integrable systems in generalised phase spaces,” J. Phys. A: Math. Gen. 23, 1745 (1990)

View on Pith 1940
[8]

R. C. Myers and O. Tafjord, “Superstars and giant gravitons,” JHEP 0111, 009 (2001) [arXiv:hep-th/0109127]

View on Pith Pith review arXiv 2001
[9]

S. Weinzierl, “Introduction to Monte Carlo methods,” arXiv:hep-p h/0006269

View on Pith arXiv

Forward citations

Cited by 7 Pith papers

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

Degeneracy graph determinants and higher-dimensional Young diagrams
hep-th 2026-10 accept novelty 7.0 of 10

The Kemp-Ramgoolam determinant conjecture for degeneracy graphs is proved for any number of generators, and the exponents are shown to be overlap volumes of higher-dimensional Young diagrams.
Branes, Anti-Branes and Brauer Algebras in Gauge-Gravity duality
hep-th 2007-09 accept novelty 7.0 of 10

Brauer algebra projectors yield an orthogonal basis of multi-trace operators proposed as the gauge duals of giant-anti-giant brane systems, with a new exclusion principle bounding their combined angular momentum by N.
Observing Spacetime
hep-th 2025-09 conditional novelty 6.0 of 10

An asymptotic observer can check a proposed quantum gravity microstate with a probe tuned to the state's creating operator, because extra wormhole saddles make the response O(1) larger than any generic probe.
New D1-D5-P geometries from string amplitudes
hep-th 2011-08 conditional novelty 6.0 of 10

Disk amplitudes for a D1-D5-P bound state yield asymptotic supergravity fields with new three-charge multipole moments that preserve four supersymmetries and lie outside known 1/8-BPS solution classes.
Diagonal multi-matrix correlators and BPS operators in N=4 SYM
hep-th 2007-11 accept novelty 6.0 of 10

A complete basis of multi-trace multi-matrix operators is constructed whose free-field two-point function is diagonal at finite N, using symmetric-group Clebsch-Gordan coefficients to intertwine the gauge group U(N) a...

Show 2 more citing papers

Information Recovery From Black Holes
hep-th 2006-04 accept novelty 6.0 of 10

In any quantum gravity theory with a finite number of black hole microstates, measuring the energy and other conserved charges at infinity completely identifies the microstate, so information is never truly lost.
Black Holes as Effective Geometries
hep-th 2008-11 conditional novelty 3.0 of 10

Supersymmetric black holes can be viewed as effective coarse-grained geometries built from horizon-free microstates, but the finite-area case rests on heuristic quantization arguments.

How the literature uses it

20 arXiv papers cite this in 31 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers citing it · 26 sentences without a confident label

Cites it as support 2 papers

Our calculation supports the conjecture that individual states should have backreactions with non-trivial multipole moments, whilst an appropriate thermodynamic ensemble average would average out these moments to zero, obtaining the `unique' classical black hole solution with horizon [ref] .

New D1-D5-P geometries from string amplitudes · Introduction · 0.99
Almost no semiclassical probes will be able to distinguish different foam states [ref] , and the resulting effective description gives a singular geometry [ref] .

Emergent Spacetime · New Geometries · 0.97

Cites it as background 3 papers

Information theoretic perspectives on the gravitational thermodynamics for AdS/CFT have been developed using this toy model [ref] .

Permutation invariant matrix quantum thermodynamics and negative specific heat capacities in large N systems · Hagedorn transitions in $U(N)$ invariant models and negative SHC in tensor models · 0.95
The problem of identifying the quantum state associated with the operator $_R ( Z )$ in the half-BPS sector of $=4$ SYM with $U(N)$ gauge group is related to interesting questions related to the black hole information paradox [ref] and also connects with interesting structural properties of the centres of symmetric group algebras [ref] .

Matrix and tensor witnesses of hidden symmetry algebras · Summary and Outlook · 0.93
Conserved charges may also be helpful to understand gravitational duals or space-time interpretations (see [ref] for such discussions).

Non-holomorphic multi-matrix gauge invariant operators based on Brauer algebra · Quantum mechanics and conserved charges measuring representation labels · 0.90

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.

[1] [2]

V. Balasubramanian, V. Jejjala and J. Simon, “The library of Babe l,” Int. J. Mod. Phys. D 14, 2181 (2005) [arXiv:hep-th/0505123]; V. Balasubramanian, J. de Boer, V. Jejjala and J. Simon, “The library of Babel: On the orig in of gravitational thermodynamics,” JHEP 0512, 006 (2005) [arXiv:hep-th/0508023]

View on Pith Pith review arXiv 2005

[2] [1]

H. Lin, O. Lunin and J. Maldacena, “Bubbling AdS space and 1/2 BPS geome- tries,” JHEP 0410, 025 (2004) [arXiv:hep-th/0409174]

View on Pith Pith review arXiv 2004

[3] [3]

S. Corley, A. Jevicki, and S. Ramgoolam, “Exact correlators of g iant gravi- tons from dual N = 4 SYM theory,” Adv. Theor. Math. Phys. 5, 809 (2002) [arXiv:hep-th/0111222]

View on Pith Pith review arXiv 2002

[4] [4]

D. Berenstein, “A toy model for the AdS/CFT correspondence ,” JHEP 0407, 018 (2004) [arXiv:hep-th/0403110]

View on Pith Pith review arXiv 2004

[5] [5]

A. Dhar, G. Mandal and N. V. Suryanarayana, “Exact operato r bosonization of ﬁnite number of fermions in one space dimension,” JHEP 0601, 118 (2006) [arXiv:hep-th/0509164]

View on Pith Pith review arXiv 2006

[6] [6]

M. Hillery, R. F. O’Connell, M .O. Scully, and E. P. Wigner, “Distribution functions in Physics : Fundamentals”, Physics reports 106, No. 3 ( 1984) 121- 167

View on Pith 1984

[7] [7]

K. Husimi, Proc. Phys. Math. Soc. Japan 22, 264 (1940); A. M. Ozorio de Almeida, “The Weyl representation on classical and quantum mecha nics,” Phys. Rept. 295, 265 (1998); P. Leboeuf and M. Saraceno, “Eigenfunctions of no n- integrable systems in generalised phase spaces,” J. Phys. A: Math. Gen. 23, 1745 (1990)

View on Pith 1940

[8] [8]

R. C. Myers and O. Tafjord, “Superstars and giant gravitons,” JHEP 0111, 009 (2001) [arXiv:hep-th/0109127]

View on Pith Pith review arXiv 2001

[9] [9]

S. Weinzierl, “Introduction to Monte Carlo methods,” arXiv:hep-p h/0006269

View on Pith arXiv