{"id":"ddf35d7a-cdea-4f67-a6aa-a18c44ff4e5c","arxiv_id":"2512.06815","paper_version":4,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"One causal '2-to-all' pair of input regions suffices to make the n-input entanglement wedge connected in AdS3 holographic scattering; new necessary ridge-entering conditions follow.","lead":"The paper proves that in n-to-n holographic scattering, a single input pair whose causal futures overlap inside all output wedges is enough to force the input entanglement wedge to be connected. This weakens the established graph-connected condition and gives new constraints on multipartite holographic entanglement.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 2.1's uniqueness proof for ridges rests on an invalid timelike-curve argument; later claims depend on it.","rationale":"The reader's weakest-assumption analysis identifies Lemma 2.1 as the singular load-bearing geometric premise, and the manuscript text confirms this: the proof of Theorem 1.3 in Section 3.1 introduces Z_in as a union of null sheets, asserts the curves C_i are simple with prescribed endpoints, and reduces the causal condition (3.7) to distinctness of these C_i. Each of these assertions relies on the unique-simple-ridge topology of Lemma 2.1/Corollary 2.3. The specific flaw in Lemma 2.1's proof is concrete and reproducible: achronality forbids timelike separation, but two points on one null generator are null separated, so the stated contradiction does not follow. The appendix referenced in Section 3.2.2 is missing from the manuscript, which further weakens the proof of the entering-ridge claims; however, the deepest unresolved step is the foundational ridge-intersection topology. Since the reader already issued a CONDITIONAL verdict on precisely this basis, my read does not change the verdict. I am not escalating to REJECT because the lemma may be true under Assumption 1 despite the flawed proof; the appropriate action is to require a corrected proof or an explicit external citation, which matches the conditional stance.","tokens_in":18937,"tokens_out":13344,"duration_ms":115907,"concrete_test":"Re-derive Lemma 2.1 without using the invalid 'timelike curve between null-separated points' step, e.g., via the maximum principle for null hypersurfaces (Galloway 1999) or a causal-boundary argument. If the derivation cannot be completed under Assumption 1, the lemma must be flagged as unproven and the theorem's proof incomplete. For a stronger check, run a numerical null-geodesic simulation in a perturbed AdS_3 with a matter shell satisfying the null curvature condition: take two future causal boundaries anchored on the boundary future light cones of two spacelike-separated boundary points and compute their intersection. If the intersection is not a single simple spacelike p–q ridge, Lemma 2.1 is false and Theorem 1.3 is unsupported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 2.3, Lemma 2.1: the proof asserts that a null generator of N1 can intersect N2 at most once because a second intersection would permit constructing a timelike curve between the two points, contradicting achronality of N2. This is invalid: two points on the same null generator are null separated, not timelike separated, so an achronal hypersurface may contain such a segment. The lemma's conclusion—that N1 ∩ N2 is a single connected simple spacelike ridge with endpoints p,q—is therefore not established by the argument given. Corollary 2.3 inherits this gap, since its Step 2 appeals to 'Lemma 2.1 applied to the corresponding pair' to exclude multiple intersections. All later construction (Z_in decomposed into null sheets, the simple-curve status of C_i, the distinctness criterion (3.6), and the area comparisons of Section 3.1, e.g., (3.1)–(3.4)) presupposes this unique-ridge topology. If two causal boundaries can intersect along a null segment or in multiple spacelike components in a spacetime satisfying Assumption 1, the proof of Theorem 1.3 is not closed. This is not a claim that the theorem is false; it is a precise missing premise that the manuscript does not supply.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":19165,"tokens_out":9958,"duration_ms":94746,"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":[{"comment":"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.","section":"2.3, Lemma 2.1"},{"comment":"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.","section":"3.1, partially connected phase"},{"comment":"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.","section":"3.1, Eqs. (3.5)-(3.7)"},{"comment":"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.","section":"3.2.1, proof of (3.8)"},{"comment":"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.","section":"3.2.3, layered reduction"},{"comment":"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.","section":"3.3, Theorem 3.4"}],"minor_comments":[{"comment":"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.","section":"Introduction and Abstract"},{"comment":"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.","section":"3.2.2, footnote 7"},{"comment":"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.).","section":"References"},{"comment":"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.","section":"4.1"},{"comment":"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.","section":"1.1"}],"recommendation":"major_revision","confidential_remarks":"The manuscript depends crucially on a geometric lemma whose proof is incorrect as written, and several other key steps are either deferred to a missing appendix or described as 'analogous' to the fully disconnected case. I would advise the editor to require a fully self-contained proof of Lemma 2.1 and complete arguments for the partially connected phase, the layered reduction, and Theorem 3.4 before considering the paper for publication. The reliance on the author's own reference [11] for a central comparison theorem should also be resolved explicitly."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the short version: this paper has a real new idea—Theorem 1.3, one 2-to-all pair instead of a connected graph, is a strict improvement over the existing n-to-n Connected Wedge Theorem—but the proof is not closed. The stress-test note is correct: Lemma 2.1's argument that a null generator of N1 can intersect N2 at most once is invalid. Two points on the same null generator are null separated, not timelike separated, so achronality of N2 does not forbid a segment of that generator lying in N2. Distinct null hypersurfaces can be tangent along a null segment, and the lemma gives no argument ruling that out. Corollary 2.3 and everything after—the carving of Z_in into simple curves, the distinctness criterion (3.6), the area comparisons—presuppose that N1∩N2 is a single spacelike ridge with endpoints p,q. So Theorem 1.3 is currently a plausible conjecture with a missing geometric premise, not a proven theorem.\n\nWhat is genuinely good: the weakening of the sufficient condition is substantial and the paper correctly identifies that the necessary ridge-entering direction is new. The layered reduction in Section 3.2.3 is interesting, and the comparison of S'_E vs S_E in Section 4.1 is useful. The citation pattern is fine; the self-citations are to the author's own prior work and appear relevant.\n\nSoft spots beyond Lemma 2.1: the partially connected phase is summarized in a short paragraph ('one can perform a length/area comparison analogous to the previous connected case') rather than proved; the layered reduction is asserted, not demonstrated; Theorem 3.4's induction relies on an unstated 'specific convex structure' that needs a real argument; and there is an internal mislabel, calling a sufficient condition necessary in the introduction. There is also a missing appendix referenced in the proof of (3.17). None of these are fatal if Lemma 2.1 gets fixed, but they are exactly where a referee should push.\n\nWho this is for: people working on holographic scattering and entanglement wedge connectivity. It is not a finished paper, but it is a serious research attempt with a plausible central claim. I would send it to peer review, with a strong request that the author prove Lemma 2.1 rigorously or restrict the theorem to a generic case where the ridge structure can be assumed. I would not cite it in its current form.","headline":"Genuinely weaker sufficient condition for n-to-n wedge connectivity, but Lemma 2.1 has a real proof gap that everything downstream depends on.","tokens_in":19693,"tokens_out":4612,"would_cite":false,"duration_ms":40817,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"A single 2-to-all causal intersection is enough to connect the multipartite entanglement wedge in n-to-n holographic scattering.","keywords":["AdS/CFT correspondence","holographic scattering","entanglement wedge","multipartite entanglement","causal structure","connected wedge theorem","null hypersurfaces","ridges"],"falsifier":"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.","tokens_in":18766,"feed_emoji":"🔗","tokens_out":3409,"duration_ms":34260,"temperature":0.7,"pith_summary":"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.","feed_headline":"A single causal pair forces multipartite wedge connectivity","feed_subtitle":"One intersecting pair of input futures suffices to glue the full input entanglement wedge in n-to-n scattering.","key_machinery":"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","core_discovery":"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","pith_inferences":["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."],"forward_implications":["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."],"fun_headline_variants":["Single causal pair suffices for multipartite wedge connectivity","Weaker condition forces full entanglement wedge connection","One intersecting pair glues all input wedges in n-to-n scattering","New theorem: one pair's intersection connects entire input wedge","Multipartite wedge connectivity from a single causal link"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Single causal pair suffices for multipartite wedge connectivity","Weaker condition forces full entanglement wedge connection","One intersecting pair glues all input wedges in n-to-n scattering","New theorem: one pair's intersection connects entire input wedge","Multipartite wedge connectivity from a single causal link"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00021,"raw_usage":{"total_tokens":1274,"prompt_tokens":796,"completion_tokens":478,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":540,"completion_tokens_details":{"reasoning_tokens":398}},"tokens_in":540,"tokens_out":478,"duration_ms":4587,"temperature":1.0,"reasoning_tokens":398,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T18:03:47.310811+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}