REVIEW
Monogamous quantum corrections to holographic mutual information
High Energy Physics - Theory · Submitted 30 Sep 2026 · 102 references
Pith's verdict: A clean conditional — extensive plus positive bulk MI pushes the boundary entropy vector into the HEC — backed by a genuinely new fermion realization and an exact AdS3 result; the one load-bearing citation is an unpublished preprint reviewers should chase.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
Positive and exactly extensive bulk mutual information suffices to force the quantum-corrected boundary entropy vector into the holographic entropy cone, and a free massive Dirac fermion kernel realizes the model.
The reading
What carries the argument
The central object is the bilocal extensive mutual-information functional $I(A,B) = -\kappa \int_A \int_B d\sigma_A d\sigma_B\, n^\mu_A n^\nu_B J_{\mu\nu}(x_A,x_B)$, built from a covariantly conserved current--current correlator in AdS whose tensor structure is fixed by the geodesic distance $\ell(x,x')$ and the parallel propagator (Eq.~14). The quantity doing the work is $k(\ell) \equiv G(\ell) - F(\ell)$: conservation forces $k'(\ell) \le 0$, and positivity of the kernel (conditions $2F \ge G \ge 0$) makes $k$ a non-negative decreasing function interpretable as an RG monotone. For the massive Dirac fermion realization, Wick-contracting the current gives $F$ and $G$ in terms of closed hypergeometric functions $a(\ell), b(\ell)$ (Eqs.~21--23). At the conformal fixed point, the Weyl equivalence between AdS and Minkowski half-space (Eq.~48) turns the bulk EMI integral into a flat-space boundary integral (Eq.~26), which is what permits the exact evaluation of the half-disk mutual information in Eq.~29.
Extended reading notes
Core claim
The central claim is that positive and exactly extensive bulk mutual information is sufficient for the quantum-corrected boundary entropy vector to lie in the holographic entropy cone: $S^b \in \mathrm{HEC} \Rightarrow S^{\mathrm{holo}} \in \mathrm{HEC}$ (Eq.~13). The argument passes to the multipartite-information basis: extensivity forces every $n$-party information $I_n^b$ with $n \ge 3$ to vanish, so all nonredundant cone inequalities except subadditivity are saturated, and subadditivity follows from positivity of MI. The paper then constructs an extensive model of bulk MI in rigid AdS from a covariantly conserved current--current kernel (Eq.~14), realized explicitly by the current of a free massive Dirac fermion whose two-point functions yield closed hypergeometric forms for $a(\ell)$ and $b(\ell)$. The same correlator defines $k(\ell) \equiv G(\ell) - F(\ell)$, non-negative and monotonically decreasing, which the paper interprets as an RG monotone. At long distances the boundary MI falls off as $|x_A - x_B|^{-4\Delta}$ with shape-dependent coefficients $C_X$ (Eq.~25), matching a fermionic generalized free field; at short distances, through a Weyl equivalence to Minkowski half-space, the MI acquires the GFF divergence structure (Eq.~28). For disjoint concentric half-disks in $AdS_3$ the conformal-point MI is computed exactly (Eq.~29), with long-distance $s^{-4}$ falloff and short-distance area-law plus logarithmic terms, the log coefficient being $c_0 = -\kappa k_J$.
Load-bearing premise
The load-bearing premise is that the model's conformal fixed point is characterized by a non-flowing RG charge $k(\ell) = k_J$ constant — an assumption the authors impose and acknowledge is not reached as the $\nu \to 0$ limit of the massive fermion solution (footnote 78) — so all short-distance GFF structure and the exact coefficient $c_0 = -\kappa k_J$ describe this imposed kernel; a second unproven ingredient, $b^2 \ge a^2$ for all $\ell$, is what makes $k(\ell)$ non-negative and gives it meaning as an RG monotone.
Editorial extensions
If this is right
- Any bulk MI model that is positive and exactly extensive on the entanglement wedges produces a boundary entropy vector satisfying monogamy and all holographic entropy cone inequalities at first subleading order in $1/N$ (Eq.~13).
- The Dirac-fermion realization predicts a concrete shape dependence of the long-distance boundary MI through the coefficients $C_X = \int_X d^{d-1}x\, z^{2\Delta-(d-1)}$, which can be tested in free theories.
- The universal short-distance coefficients $c_i$ in Eq.~(28), including the log coefficient $c_0 = -\kappa k_J$, are regulator-independent data of the theory at the conformal point.
- The exact half-disk result (Eq.~29) provides a closed-form benchmark against which recent analytic approximations to generalized-free-field MI in higher dimensions can be checked.
Reading between the lines
- The sufficiency direction of Eq.~(13) suggests that extensivity itself, not the full geometric RT structure, carries the monogamy content of holography; one might test whether approximate extensivity keeps the boundary vector within a small neighborhood of the cone.
- If the true fixed point of the massive fermion realization flows rather than sitting at constant $k(\ell) = k_J$, the log coefficient would become an integral over the flow history instead of $-\kappa k_J$ — a distinction checkable by computing the deep short-distance limit of $k(\ell)$ from Eq.~(24).
- The unproven inequality $b^2 \ge a^2$ for all $\ell$ is what makes $k(\ell)$ non-negative and interpretable as an RG monotone; a direct proof, or a counterexample at some $\ell$, would confirm or refute the monotonicity claim for the entire fermion family.
Original abstract
We construct an extensive model of bulk mutual information (MI) in anti-de Sitter spacetime and use it to describe the leading quantum corrections to the MI of certain holographic theories. The equivalence between bulk and boundary MI follows from the Faulkner--Lewkowycz--Maldacena prescription. We show that the extensivity of the bulk MI is sufficient for the quantum-corrected boundary entropy vector to satisfy monogamy of MI and all other holographic entropy cone inequalities. Our model is built from a covariantly conserved current-current kernel in AdS and is realized explicitly by a free massive Dirac fermion, whose boundary MI at long distances is that of a fermionic generalized free field (GFF). The construction also reproduces the expected short-distance divergence structure of a GFF, and the current-current correlator defines a positive and monotonically decreasing function along the renormalization-group flow. We illustrate this explicitly for disjoint half-disks at the conformal fixed point of the model in AdS$_3$, where we present the exact result.
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.
The abstract, sentence by sentence
We construct an extensive model of bulk mutual information (MI) in anti-de Sitter spacetime and use it to describe the leading quantum corrections to the MI of certain holographic theories. The equivalence between bulk and boundary MI follows from the Faulkner--Lewkowycz--Maldacena prescription. We show that the extensivity of the bulk MI is sufficient for the quantum-corrected boundary entropy vector to satisfy monogamy of MI and all other holographic entropy cone inequalities. Our model is built from a covariantly conserved current-current kernel in AdS and is realized explicitly by a free massive Dirac fermion, whose boundary MI at long distances is that of a fermionic generalized free field (GFF). The construction also reproduces the expected short-distance divergence structure of a GFF, and the current-current correlator defines a positive and monotonically decreasing function along the renormalization-group flow. We illustrate this explicitly for disjoint half-disks at the conformal fixed point of the model in AdS$_3$, where we present the exact result.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We construct an extensive model of bulk mutual information (MI) in anti-de Sitter spacetime and use it to describe the leading quantum corrections to the MI of certain holographic theories. | contribution 0.98 | 0.96 | 0.12 | asserted 1.00 |
| s1 | The equivalence between bulk and boundary MI follows from the Faulkner--Lewkowycz--Maldacena prescription. | background 0.88 | 0.10 | 0.04 | asserted 1.00 |
| s2 | We show that the extensivity of the bulk MI is sufficient for the quantum-corrected boundary entropy vector to satisfy monogamy of MI and all other holographic entropy cone inequalities. | result 0.97 | 0.93 | 0.76 | asserted 1.00 |
| s3 | Our model is built from a covariantly conserved current-current kernel in AdS and is realized explicitly by a free massive Dirac fermion, whose boundary MI at long distances is that of a fermionic generalized free field (GFF). | method 0.95 | 0.91 | 0.06 | asserted 1.00 |
| s4 | The construction also reproduces the expected short-distance divergence structure of a GFF, and the current-current correlator defines a positive and monotonically decreasing function along the renormalization-group flow. | result 0.98 | 0.87 | 0.05 | asserted 1.00 |
| s5 | We illustrate this explicitly for disjoint half-disks at the conformal fixed point of the model in AdS$_3$, where we present the exact result. | contribution 0.56 | 0.94 | 0.05 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
Figures
Figures reproduced from arXiv:2610.00670 by the authors.
References
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.