Pith. sign in

REVIEW 6 major objections 5 minor 25 references

New conditions for multipartite entanglement wedge connectivity in $n$-to-$n$ holographic scattering

T0 review · 6 major / 5 minor · reviewed 2026-08-03 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read A single 2-to-all causal intersection is enough to connect the multipartite entanglement wedge in n-to-n holographic scattering.

desk verdict Genuinely weaker sufficient condition for n-to-n wedge connectivity, but Lemma 2.1 has a real proof gap that everything downstream depends on. read the letter →

arxiv 2512.06815 v4 pith:HM3TAKIK submitted 2025-12-07 hep-th gr-qc

Bowen Zhao This is my paper · ORCID
classification hep-thgr-qc
keywords AdS/CFTcorrespondenceholographicscatteringentanglementwedgemultipartitecausalstructureconnectedtheoremnullhypersurfacesridges
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper claims that for n-to-n holographic scattering with n>2, a strictly weaker causal condition than previously known suffices to guarantee that the input entanglement wedge is connected: if just one pair of input regions has causal futures that intersect inside the causal pasts of all output wedges, then the full input wedge E(V1∪...∪Vn) is connected. The author also derives necessary conditions, showing that a connected input wedge forces some output ridge to enter it, and that iterating this on the boundary lattice yields a layered reduction. A further condition on such entering ridges guarantees that the generalized bulk scattering region S_E is nonempty. For n>2, this is a genuinely multipartite constraint, stronger than simple connectedness of input and output wedges. If correct, these results tighten the holographic dictionary between bulk geometric connectivity and multipartite boundary entanglement.

What carries the argument

The ridge: the intersection of two bulk causal boundaries (null sheets) that are anchored on boundary null rays. Lemma 2.1 asserts that two such boundaries always intersect in a single connected, continuous, spacelike, simple curve with endpoints on the boundary, and Corollary 2.3 extends this to a single triple-intersection point for three boundaries. All distinctness and carving arguments—the curves C_i on Z_in, the avoidance of partially connected phases, and the area comparisons—rely on this one-intersection-per-null-generator topology. The other load-bearing tool is the focusing property (non-positive null expansion, θ≤0) on null sheets emanating from HRRT surfaces, which turns the geom

What would settle it

Construct a smooth asymptotically AdS3 spacetime satisfying the paper's other assumptions but where two future causal boundaries anchored on a single pair of boundary null rays intersect in two disjoint spacelike curves or a closed loop; then check whether a single 2-to-all causal intersection still forces E(V1∪...∪Vn) to be connected. If connectivity fails, Lemma 2.1 is the breaking point. A more direct check is to search for non-convex spacelike sets in Minkowski-like limits whose causal futures violate the four-region separation property used in the lemma.

Watch

Extended reading notes

Core claim

On its own terms, the central claim is Theorem 1.3: under the standard assumptions (null curvature condition, maximin HRRT construction, AdS hyperbolicity, a singularity-free intermediate region, and a pure boundary state), if for some pair i≠j the intersection J+[E(Vi)] ∩ J+[E(Vj)] ∩ ∩_{k=1}^n J^-[E(Wk)] is nonempty, then E(V1∪...∪Vn) is connected. This strictly weakens the previously known sufficient condition that the 2-to-all graph be connected, reducing the requirement from n−1 edges to a single edge. The proof works by carving the null surface Z_in, formed by future horizons of entanglement wedges, into simple curves C_i using past null sheets from output wedges; if these curves are al

Load-bearing premise

The claim rests on the geometric premise that two bulk causal boundaries anchored on boundary null rays meet in exactly one simple spacelike ridge; if a non-generic spacetime permits multiple or looping intersections, the carving and area-comparison construction collapses.

Editorial extensions

If this is right

  • A single pair of input regions with causal futures reaching all output pasts is sufficient to enforce connectedness of the entire multipartite input wedge, not just pairwise mutual information.
  • If the input wedge is connected, at least one output ridge must enter it; for n>3, this constraint is propagated through a layered boundary-lattice reduction rather than following from pairwise statements alone.
  • Nonemptiness of the generalized bulk scattering region S_E requires conditions strictly stronger than mere connectedness of the input and output wedges, reflecting intrinsically multipartite structure.
  • The geometric proofs extend to semiclassical spacetimes satisfying quantum maximin and quantum focusing, so the CWT-style conclusion survives beyond classical gravity.

Reading between the lines

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

  • The entire theorem's scope hinges on Lemma 2.1; if a non-generic asymptotically AdS3 spacetime allowed two causal boundaries anchored on boundary null rays to intersect in multiple components or a closed loop, the curve-distinctness argument would break before any entropy statement is reached.
  • The layered reduction hints at a possible converse: full multipartite wedge connectivity might be equivalent to the existence of entering ridges at every layer, which could be tested in pure AdS3 where explicit extremal-surface data are available.
  • The inclusion relation S'_E ⊆ S_E, which the author derives by comparing the two null-sheet constructions, suggests a way to unify different generalizations of the connected wedge theorem and could be sharpened into a quantitative relation between the two scattering regions.
  • For n>3, the pairwise entering-ridge conditions may be necessary but not sufficient; one could try using holographic entropy inequalities beyond monogamy of mutual information to identify the missing multipartite constraints.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

6 major / 5 minor

Summary. The paper claims to extend the connected wedge theorem to n-to-n holographic scattering in asymptotically AdS_3 spacetimes. Its central new result, Theorem 1.3, states that a single pair of input regions whose causal futures intersect inside all output wedges suffices to force the input entanglement wedge E(V_1 ∪ ... ∪ V_n) to be connected, strictly weakening the connected 2-to-all graph condition of [13]. The paper also derives necessary geometric consequences of a connected input wedge in terms of entering ridges (Theorem 3.2), organizes these into a layered reduction on the boundary lattice, and gives a sufficient condition, Theorem 3.4, for the generalized bulk scattering region S_E = E(V_1 ∪ ... ∪ V_n) ∩ E(W_1 ∪ ... ∪ W_n) to be nonempty. The proof strategy is based on null sheets emanating from HRRT surfaces, their intersection ridges, and focusing inequalities.

Significance. If correct, the results are a genuine step beyond the 2-to-2 connected wedge theorem: they replace a global connectivity condition with a 2-to-all condition and provide concrete ridge-based signatures of multipartite entanglement in holographic scattering. The paper is also admirably explicit about the standard assumptions (Assumption 1) and about the fact that n>2 is intrinsically more complicated than n=2. However, the current manuscript establishes only the fully disconnected case in real detail; the partially connected case, the key topological lemma, and the layered reduction are asserted rather than proved. I see no circularity with the target result, but the proofs are not yet complete enough to certify the theorems. With a rigorous proof of Lemma 2.1 and full details for the omitted steps, this could become a solid contribution to the holographic scattering literature.

major comments (6)
  1. [2.3, Lemma 2.1] The proof of Lemma 2.1 is invalid in its central step. It asserts that if a null generator of N_1 met N_2 twice, then 'the segment between them would lie entirely on one side of N_2, allowing the construction of a timelike curve between those two points, contradicting the achronality of N_2.' But two points on the same null generator are null separated, not timelike separated, and an achronal hypersurface may contain a null segment; no timelike curve follows. This gap propagates to Corollary 2.3 (whose Step 2 appeals to Lemma 2.1) and to Definition 2.4. Since the rest of Section 3 assumes unique simple spacelike ridges to conclude that the curves C_i are simple and distinct and to run the area comparisons (3.1)-(3.4), this is a load-bearing gap. Please supply a correct proof of the unique-ridge statement under Assumption 1, or state explicitly the additional hypotheses needed.
  2. [3.1, partially connected phase] Theorem 1.3 claims full connectedness of E(V_1 ∪ ... ∪ V_n), so it must exclude both fully disconnected and partially connected phases. The fully disconnected case is described in some detail, but the partially connected case is dismissed in one paragraph: 'one can perform a length/area comparison analogous to the previous connected case.' No definition of the enlarged HRRT surfaces, no specification of which X_j's appear in the sum, no proof that the new surface Z_in has the same simple-curve structure, and no actual inequality leading to a contradiction are given. Since the paper itself acknowledges partially connected phases for n>2 (Remark 2.9, Remark 3.1), this omission leaves Theorem 1.3 unproved in a substantial part of its claim.
  3. [3.1, Eqs. (3.5)-(3.7)] The step from the geometric distinctness criterion to the causal condition (3.7) is asserted without proof. The text says (3.7) 'implies' (3.6), but no argument connects non-emptiness of J^+[E(V_k)]∩J^+[E(V_l)]∩∩_i J^-[E(W_i)] to the distinctness of the curves C_i on Z_in, nor to the set-theoretic intersections in (3.5). Because Theorem 1.3 rests precisely on this implication, the claim that (3.7) is a sufficient and strictly weaker condition is not demonstrated. The notation and logical direction here need to be clarified and proved.
  4. [3.2.1, proof of (3.8)] The proof of the entering-ridge consequence is only a sketch. It assumes all ridges R_{Y_k,Y_l} lie above Z_in, states that the curves C_k are then all distinct, and says that 'one repeats the focusing calculation of Section 3.1 to obtain |RT(X_i)| ≥ |RT(V_i)|.' The actual calculation, the precise role of the assumption that E(V_1 ∪ ... ∪ V_n) is connected, and why the inequality contradicts that assumption are not shown. This is a central new necessary condition and needs a complete derivation.
  5. [3.2.3, layered reduction] The layered reduction is described verbally rather than proved. No inductive invariant is formulated, the construction of the modified input points c~(m)_A and diamonds Y~(m)_A is not made precise beyond a formal causal-diamond equality, and the assertions that at each layer 'there exists at least one ridge ... entering E(V_1 ∪ ... ∪ V_n)' and that 'after finitely many iterations' one recovers the original Y_k are unsupported. This is load-bearing for Theorem 3.2(3) and for the paper's claim that multipartite constraints can be reduced to pairwise data.
  6. [3.3, Theorem 3.4] The proof of Theorem 3.4 relies on an induction over disks D_i on Z_in, but the key geometric assertions are not proved: that each D_i is a disk, that condition (3.25) is equivalent to pairwise intersections D_i∩D_j ≠ ∅, and that the separation of D_{n+1} from D_c forces some D_k∩D_{n+1}=∅. Phrases such as 'Given the specific convex structure of our setup' and 'it follows geometrically' are not substitutes for a rigorous argument. In addition, Theorem 3.4 is a sufficient condition for S_E ≠ ∅, while the abstract and Section 3.3 call the conditions 'necessary'; this mismatch should be corrected.
minor comments (5)
  1. [Introduction and Abstract] The words 'necessary' and 'sufficient' are used inconsistently. In the Introduction, Theorem 1.2 is called a 'necessary condition' although it is a sufficient condition for connectedness; the Abstract correctly says 'sufficient.' The same issue recurs for Theorem 3.2, which states consequences (necessary conditions) but is introduced as a 'sufficient condition.' Please make the terminology uniform.
  2. [3.2.2, footnote 7] Footnote 7 says that the improvement from (3.16) to (3.17) follows from entanglement wedge nesting together with the null sheet comparison theorem, 'see Appendix A for details.' No Appendix A is present in the manuscript. Either include the argument or remove the reference.
  3. [References] Reference [11], the author's own previous work, is cited for the null-sheet comparison theorem and is used in Section 3.2.2; it is listed as 'JHEP 2025 xxx' and has no page/article number. Since a central comparison theorem is imported from this reference, its status should be made clear (published, preprint, etc.).
  4. [4.1] The claim that N_{V_i} and N_{Y_i} either coincide or have empty intersection is asserted in one sentence and used to justify the inclusion S'_E ⊆ S_E. If this claim is needed, it should be proved or given a precise citation; as written it is another unproved geometric assertion.
  5. [1.1] The notation line 'E(V_1∪...∪V_n):=E(V_1∪...∪V_n)' is tautological and appears to be a typo. The intended abbreviation should be stated differently.

Circularity Check

0 steps flagged · score 2.0 of 10

No constructional circularity: Theorem 1.3 is derived from causal-boundary topology and focusing inequalities, not from its conclusion; minor self-citations are non-load-bearing.

full rationale

The central claim (Theorem 1.3) is not obtained by defining its input in terms of connectedness, nor by fitting a parameter and then predicting the same quantity. Its proof uses the causal anchoring principle from [15], the wedge-horizon geometry developed in Lemma 2.1 and Corollary 2.3 (proved in this paper), and the standard focusing/area comparison on null sheets; the conclusion that E(V1∪...∪Vn) is connected is reached by contradiction against fully disconnected and partially disconnected phases. Theorem 3.2 and Theorem 3.4 similarly derive entering-ridge statements and nonemptiness of S_E from area comparisons and disk-intersection topology, not by assuming the target. The self-citations to [11] appear in the introduction/review, Remark 2.5 (pathological configurations excluded by Lemma 2.1), and as context for null-sheet constructions; they are not load-bearing for Theorem 1.3. There is a genuine support gap: footnote 7 defers the entering-ridge strengthening to 'Appendix A' and a 'null sheet comparison theorem,' but no Appendix A is present in the text; this is a missing-proof/correctness risk, not a circular reduction. Similarly, the skeptical objection to Lemma 2.1's timelike-curve argument concerns the validity of an in-paper lemma, not circularity. The score of 2 reflects only the presence of minor, non-load-bearing self-citations; there is no constructional circularity.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No free parameters are fitted and no new physical entities are postulated. The 'modified input/output regions' and auxiliary diamonds are boundary-constructed auxiliaries, not independent degrees of freedom. The heaviest burden is carried by the causal boundary intersection lemmas (Lemma 2.1 / Corollary 2.3) and the standard holographic assumptions listed in Assumption 1.

assumptions (6)
  • domain assumption Null curvature condition: R_ab k^a k^b ≥ 0 for null k
    Assumption 1.1. Needed for the focusing theorem (θ≤0 on null sheets), used in inequalities (3.1) and (3.3).
  • domain assumption HRRT surfaces exist and can be found via a maximin procedure
    Assumption 1.2. Underlies the definition of RT(V_i), RT(X_i), and the area comparisons in Section 3.
  • domain assumption Spacetime is AdS-hyperbolic and singularity-free between the relevant Cauchy slices
    Assumptions 1.3 and 1.4. Ensures global causal structure, well-defined conformal compactification, and applicability of Lemma 2.1.
  • domain assumption Global boundary state is pure
    Assumption 1.5. Ensures complement regions share the same HRRT surface and Lemmas 2.6–2.10 apply.
  • domain assumption Causal anchoring principle: E(V)∩∂M = D_hat(V), J^±[RT(V)]∩∂M = J_hat^±[∂V]
    Cited from [15] and used in Section 2.2 to fix the boundary anchors of all null sheets. This is a nontrivial holographic input.
  • standard math Causal boundary generator property: causal boundaries are ruled by null geodesic generators and achronal; each generator intersects another causal boundary at most once
    Used in Lemma 2.1 to conclude that two anchored causal boundaries intersect in a single simple ridge. The 'at most once' property is the load-bearing topological step.

how reviews work

0 comments
Cite this review

Pith. "Pith review of New conditions for multipartite entanglement wedge connectivity in $n$-to-$n$ holographic scattering." pith.science (2026). https://pith.science/paper/HM3TAKIK

@misc{pith2026251206815,
  author       = {Pith},
  title        = {Pith review of: New conditions for multipartite entanglement wedge connectivity in $n$-to-$n$ holographic scattering},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HM3TAKIK}},
  note         = {Machine review of arXiv:2512.06815}
}
abstract

We investigate the geometry of entanglement wedges for asymptotic $n$-to-$n$ scattering configurations in asymptotically AdS$_3$ spacetimes. Extending the $2$-to-$2$ Connected Wedge Theorem, we establish a strictly weaker sufficient condition for the input entanglement wedge $\mathcal{E}(V_1\cup\cdots\cup V_n)$ to be connected: the existence of a single pair of input regions satisfying a $2$-to-all causal intersection condition already forces full multipartite wedge connectivity. We also derive novel necessary conditions, showing that when the input wedge is connected, certain output ridges must enter the input wedge, and we organize these consequences into a layered reduction on the boundary lattice. Furthermore, we analyze the generalized bulk scattering region $\mathcal{S}_E = \mathcal{E}(V_1\cup\cdots\cup V_n)\cap \mathcal{E}(W_1\cup\cdots\cup W_n)$ and obtain necessary conditions for it to be nonempty; for $n>2$ these conditions are stronger than mere wedge connectedness. Our results provide new geometric restrictions on multipartite entanglement in holography and clarify the holographic dictionary for multi-partite scattering processes, while also highlighting intrinsic limitations for $n>2$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

25 extracted references · 2 linked inside Pith

  1. [13]

    A. May, J. Sorce and B. Yoshida,The connected wedge theorem and its consequences,Journal of High Energy Physics2022(2022) 1

    2022

  2. [1]

    Maldacena,The large-N limit of superconformal field theories and supergravity, International journal of theoretical physics38(1999) 1113

    J. Maldacena,The large-N limit of superconformal field theories and supergravity, International journal of theoretical physics38(1999) 1113

    1999

  3. [2]

    Witten,Anti de Sitter space and holography,arXiv preprint hep-th/9802150(1998)

    E. Witten,Anti de Sitter space and holography,arXiv preprint hep-th/9802150(1998)

    arXiv 1998

  4. [3]

    Gao and R.M

    S. Gao and R.M. Wald,Theorems on gravitational time delay and related issues,Classical and Quantum Gravity17(2000) 4999

    2000

  5. [4]

    Gary, S.B

    M. Gary, S.B. Giddings and J. Penedones,Local bulk S-matrix elements and conformal field theory singularities,Physical Review D—Particles, Fields, Gravitation, and Cosmology80 (2009) 085005

    2009

  6. [5]

    Heemskerk, J

    I. Heemskerk, J. Penedones, J. Polchinski and J. Sully,Holography from conformal field theory,Journal of High Energy Physics2009(2009) 079. – 26 –

    2009

  7. [6]

    Penedones,Writing CFT correlation functions as AdS scattering amplitudes,Journal of High Energy Physics2011(2011) 1

    J. Penedones,Writing CFT correlation functions as AdS scattering amplitudes,Journal of High Energy Physics2011(2011) 1

    2011

  8. [7]

    Maldacena, D

    J. Maldacena, D. Simmons-Duffin and A. Zhiboedov,Looking for a bulk point,Journal of High Energy Physics2017(2017) 1

    2017

Show all 25 references
  1. [8]

    A. May, G. Penington and J. Sorce,Holographic scattering requires a connected entanglement wedge,Journal of High Energy Physics2020(2020) 1

    2020

  2. [9]

    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

    2006

  3. [10]

    Hubeny, M

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

    2007

  4. [11]

    Zhao,A proof of generalized connected wedge theorem,JHEP2025(2025) xxx [2509.23119]

    B. Zhao,A proof of generalized connected wedge theorem,JHEP2025(2025) xxx [2509.23119]

    2025

  5. [12]

    C. Lima, S. Pasterski and C. Waddell,On sufficient conditions for holographic scattering, arXiv preprint arXiv:2509.26264(2025)

    2025

  6. [14]

    Wald,General relativity, University of Chicago press (2024)

    R.M. Wald,General relativity, University of Chicago press (2024)

    2024

  7. [15]

    Headrick, V.E

    M. Headrick, V.E. Hubeny, A. Lawrence and M. Rangamani,Causality & holographic entanglement entropy,Journal of High Energy Physics2014(2014) 1

    2014

  8. [16]

    Witten,A mini-introduction to information theory,La Rivista del Nuovo Cimento43 (2020) 187

    E. Witten,A mini-introduction to information theory,La Rivista del Nuovo Cimento43 (2020) 187

    2020

  9. [17]

    Witten,Introduction to black hole thermodynamics,The European Physical Journal Plus 140(2025) 430

    E. Witten,Introduction to black hole thermodynamics,The European Physical Journal Plus 140(2025) 430

    2025

  10. [18]

    Hern´ andez-Cuenca, V.E

    S. Hern´ andez-Cuenca, V.E. Hubeny and H.F. Jia,Holographic entropy inequalities and multipartite entanglement,Journal of High Energy Physics2024(2024) 1

    2024

  11. [19]

    Wall,Maximin surfaces, and the strong subadditivity of the covariant holographic entanglement entropy,Classical and Quantum Gravity31(2014) 225007

    A.C. Wall,Maximin surfaces, and the strong subadditivity of the covariant holographic entanglement entropy,Classical and Quantum Gravity31(2014) 225007

    2014

  12. [20]

    Akers, N

    C. Akers, N. Engelhardt, G. Penington and M. Usatyuk,Quantum maximin surfaces, Journal of High Energy Physics2020(2020) 1

    2020

  13. [21]

    Bousso, Z

    R. Bousso, Z. Fisher, S. Leichenauer and A.C. Wall,Quantum focusing conjecture,Physical Review D93(2016) 064044

    2016

  14. [22]

    Galloway,Maximum principles for null hypersurfaces and null splitting theorems,arXiv preprint math/9909158(1999)

    G.J. Galloway,Maximum principles for null hypersurfaces and null splitting theorems,arXiv preprint math/9909158(1999)

    1999 arXiv

  15. [23]

    May,Holographic quantum tasks with input and output regions,Journal of High Energy Physics2021(2021) 1

    A. May,Holographic quantum tasks with input and output regions,Journal of High Energy Physics2021(2021) 1

    2021

  16. [24]

    Leutheusser and H

    S. Leutheusser and H. Liu,Superadditivity in large N field theories and performance of quantum tasks,Physical Review D112(2025) 046001

    2025

  17. [25]

    Balasubramanian, M.J

    V. Balasubramanian, M.J. Kang, C. Cummings, C. Murdia and S.F. Ross,Purely GHZ-like entanglement is forbidden in holography,arXiv preprint arXiv:2509.03621(2025) . – 27 –

    2025

Pith tools

Reviewed August 3, 2026 · model on record in the stance chip above.