{"id":"151255de-f2bf-41f9-95a5-55f139a92c23","arxiv_id":"2505.00695","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A zigzag sequence of antinormal lightsheets defines a unique outermost simple wedge in arbitrary spacetimes, and it reduces to the known AdS/CFT simple wedge as a special case.","lead":"This paper defines the 'simple wedge', the portion of a spacetime that can be holographically reconstructed with modest effort, in arbitrary geometries rather than only in anti-de Sitter space. It builds the wedge from an alternating sequence of future and past lightsheets, called a zigzag, and proves the result is unique and nested inside every other candidate region.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 27's uniqueness proof is incomplete: the intersection j=k∩z_N is never shown to be a lightsheet wedge, so the alleged contradiction with Definition 18 does not follow; the central containment claim remains unproven even granting Conjecture 14.","rationale":"I read the central claim as: the infinite zigzag z(a) is a well-defined throat, is contained in every throat accessible from a, and therefore is the unique simple wedge. The paper is transparent about Conjecture 14, and the reader's conditional verdict is appropriate. But the more immediate load-bearing weakness is the proof of Theorem 27, which carries the containment/uniqueness claim. The proof's contradiction step is not supported: Definition 18's property B excludes only proper PNC future lightsheet subwedges of the previous zigzag, while j=k∩z_N is an arbitrary intersection and is not shown to be a lightsheet wedge of z_{N-1}. The existence of the minimal index N is also not established if H(k) is met only in the limit. These gaps are internal to the argument, independent of the conjectured Discrete Max-Focusing. The finite-zigzag construction and Lemma 16 are plausible, but the final step needs either a missing argument (e.g., proving that a suitable lightsheet subwedge exists inside j from accessibility of k and minimality of N) or a counterexample. Since the reader already recommends conditional acceptance and this concern reinforces rather than overturns that, I leave the verdict unchanged.","tokens_in":12567,"tokens_out":12284,"duration_ms":123345,"concrete_test":"Test the missing step in Theorem 27 directly: for the minimal N, check whether j = k ∩ z_N(a) is a future/past lightsheet wedge of z_{N-1}(a) by checking whether the new edge of j lies on Z_N(a) and whether j is the wedge union of z_{N-1}(a) with a single nonexpanding lightsheet per Def. 13. In Minkowski space, take an input wedge a whose zig Z_1 is a light cone and take k to be a throat whose boundary crosses Z_1 transversely; if H(k) contributes to the edge of k∩z_1(a), then the intersection is not a lightsheet wedge. If such an accessible throat k exists, the contradiction in Theorem 27 fails; alternatively, attempt to re-derive Theorem 27 without identifying j as a lightsheet wedge.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing defect is in Theorem 27, which establishes that z(a) is contained in every throat accessible from a and hence unique. Granting Conjecture 14, the proof still does not go through as written. It defines j = k ∩ z_N(a) and, using Lemma 16, concludes that j is a PNC/FNC proper subwedge of z_N(a). It then says this contradicts the definition of the zigzag. But Definition 18 only forbids z_N(a) from containing a proper PNC future lightsheet wedge of z_{N-1}(a) (property B); it places no restriction on arbitrary PNC proper subwedges. The proof never shows that j is a lightsheet wedge of z_{N-1}(a): j is an intersection with k, and its new boundary will generically include points on H(k) rather than on Z_N(a), so Def. 13 is not met. Also, the selected index N need not exist: H(k) may intersect z(a) only in the infinite limit, so no finite Z_N(a) intersects H(k). A different auxiliary wedge l⊂j might repair the argument, but that repair is absent; the contradiction as written is a non sequitur, and the central containment/uniqueness theorem is unproven even conditional on Discrete Max-Focusing.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a covariant definition of the 'simple wedge' (outermost wedge) in arbitrary globally hyperbolic spacetimes. Starting from an input wedge a, it defines a 'zigzag' sequence of antinormal lightsheet wedges, alternating future and past lightsheets, and defines the simple wedge z(a) as the infinite limit of this sequence. The authors claim that z(a) is accessible from a, that it is a throat (future- and past-marginally accessible), that it is contained in every other throat accessible from a (Theorem 27), and hence that it is unique and contained in the generalized entanglement wedge (max-hologram). They further claim that in the AdS boundary case the construction reproduces the standard simple/outermost wedge prescription, and that the zigzag supplies a preferred piecewise-null Cauchy slice not previously identified. The proofs rely on a 'Discrete Max-Focusing' conjecture and on higher-order conjectural entropy inequalities, as the paper acknowledges.","tokens_in":12835,"tokens_out":7115,"duration_ms":69570,"significance":"The conceptual contribution is substantial: a definition of the simple wedge outside AdS, with an explicit preferred Cauchy slice, and a candidate 'outermost' property proved modulo stated conjectures. The paper is unusually explicit about its definitions and about its reliance on conjectural input, and it identifies a genuinely new structure (the piecewise-null zigzag slice) even in the AdS setting. If Theorem 27 can be repaired and the limit step made rigorous, this would be a valuable step toward extending the holographic dictionary to general spacetimes and toward tensor-network models of broken null hypersurfaces. At present, however, the central containment/uniqueness claim is not established as written, so the significance is conditional on a repaired proof.","major_comments":[{"comment":"The contradiction step in the proof of Theorem 27 does not follow from the definitions. The wedge j ≡ k ∩ z_N(a) is claimed, via Lemma 16, to be a PNC/FNC proper subwedge of z_N(a). But Definition 18 only forbids z_N(a) from containing a proper PNC/FNC lightsheet wedge of z_{N-1}(a); it imposes no restriction on arbitrary PNC/FNC proper subwedges. The proof never shows that j is a lightsheet wedge of z_{N-1}(a): in general the new boundary of j will include points on H(k) rather than on Z_N(a), so Definition 13 is not met. In addition, the chosen index N need not exist, since H(k) may intersect z(a) only in the infinite limit, with no finite Z_N(a) intersecting H(k). Thus the central containment/uniqueness theorem is unproven even conditional on Conjecture 14.","section":"4.1, Theorem 27"},{"comment":"The infinite limit z(a) ≡ lim_{n→∞} z_n(a) is asserted to 'share all properties of the finite-n zigzags,' but no definition of the limit is given and no proof is provided that the limit is a wedge, that it is accessible from a, that it is FNC and PNC, or that Z(a) is a Cauchy slice. These properties are load-bearing for Corollary 26 and for Theorem 27; the limit step needs a lemma with explicit hypotheses ensuring convergence before the main claims are established.","section":"4.1, Definition 25 and Corollary 26"},{"comment":"The paper's main theorems are conditional on unproved input: Discrete Max-Focusing (Conjecture 14) and the higher-order (beyond leading order in G) versions of strong subadditivity and the chain rule for Hmax,gen are described as conjectural. Since Theorem 22, Corollary 26, and Theorem 27 all invoke these ingredients, the abstract's unconditional wording ('We show...') overstates the present status. I do not object to conjectural input in a physics paper, but the final theorems should be labeled as conditional on these conjectures, and the precise set of conjectures used by each theorem should be stated.","section":"3.2, Conjecture 14 and Theorems 8-9; also Theorem 22"},{"comment":"The telescoping argument that derives Hmax,gen[z_n|h] ≤ 0 is not fully justified. The first inequality applies Conjecture 14 to h ⋓ z_{n-1} as a null deformation of z_{n-1}; subsequent inequalities involve h ⋓ z_i, but these are not shown to be lightsheet wedges of z_{i-1}, and the text switches to h ∩ z_{n-1} in an intermediate step without explaining how Discrete Subadditivity is applied to the union. The chain rule (Theorem 9) is then used on a sequence whose nesting is not explicitly verified. This step needs a detailed proof; as written it is a gap in the accessibility claim.","section":"4.1, Theorem 22 proof, Eqs. (4.5)-(4.8)"}],"minor_comments":[{"comment":"The statement 'k is antinormal at points p ∈ ðf\\ða' uses the symbol ðf, which is not defined; it should presumably read ðk\\ða.","section":"3.2, Definition 11, condition II"},{"comment":"The notation z[c(B)] is used without comment; either define square brackets as function application or write z(c(B)) consistently.","section":"4.2, Eq. (4.13)"},{"comment":"The phrase 'proper subset' should be 'proper subwedge' to match the rest of the paper; a subset of a wedge need not itself be a wedge.","section":"4.1, Definition 18, property B"},{"comment":"Reference [36] is listed as 'To appear' with no title or arXiv number, yet Definitions 6 and 7 are attributed to it; a full citation is needed. Also, Corollary 48 of the companion paper Ref. [35] is used in Lemma 19 and should be stated or quoted so the proof is self-contained.","section":"References"},{"comment":"The footnote says 'we will use \"extremal\" instead of \"stationary\" below,' but the surrounding text continues to use 'stationary'; the wording should be reconciled.","section":"2.1, footnote 4"}],"recommendation":"major_revision","confidential_remarks":"The correctness of the main uniqueness result depends on the companion paper Ref. [35] and on Conjecture 14; the editor may wish to ensure that the companion is available and has been vetted. The proof gap in Theorem 27 is substantial and is not a mere presentation issue: the stated contradiction does not follow from Definition 18, and the existence of the finite index N is not established. I would not accept the paper without a repaired proof of the containment/uniqueness claim."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear Colleague,\n\nThe paper gives a genuinely new definition of a simple wedge for arbitrary spacetimes, built from a zigzag of antinormal lightsheet wedges, with a preferred Cauchy slice thrown in. The exposition is clear, the examples help, and the reduction to the AdS outermost wedge in the boundary limit is a nice sanity check. If the construction stands, it fills a real gap in the holographic dictionary outside AdS.\n\nThat 'if' is doing heavy lifting. The paper is honest that the proofs depend on Discrete Max-Focusing (Conjecture 14) and on higher-order entropy inequalities that are conjectural beyond leading order. That is a limitation, not a flaw, as long as it is flagged. The bigger problem is Theorem 27, the claim that the simple wedge is contained in every throat. The stress-test note is right: the proof takes j = k ∩ z_N(a), invokes Lemma 16 to call it PNC/FNC, and then says this contradicts Definition 18. But Definition 18 forbids proper PNC *future lightsheet wedges of the previous zigzag*, and j is never shown to be one. Its boundary includes pieces of H(k), not just the lightsheet Z_N(a). So the contradiction does not follow. There is also the question whether a finite N with Z_N(a) ∩ H(k) nonempty exists at all. These are fixable gaps — maybe an auxiliary wedge l ⊂ j would do — but as written the central uniqueness theorem is unproven even granting Conjecture 14.\n\nThe construction is plausible and the authors are not hiding their assumptions. I think this deserves a serious referee, but the referee should send it back for a repaired proof of Theorem 27, or a revised claim that uniqueness is conjectural. I would not cite the uniqueness result as established yet.\n\nFor the reading group, it is a good discussion piece, though I'd pair it with the stress-test note so people don't walk away thinking the theorem is airtight.","headline":"A novel, clearly presented construction of the simple wedge in general spacetimes, but a real gap in the uniqueness proof (Theorem 27) makes the central claim unproven as written.","tokens_in":13339,"tokens_out":3123,"would_cite":true,"duration_ms":28812,"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":"This paper defines the 'simple wedge' of holographic reconstruction in arbitrary spacetimes via a zigzag of antinormal lightsheets, and proves it is unique and contained in every other accessible throat.","keywords":["holography","simple wedge","outermost wedge","entanglement wedge","zigzag lightsheets","generalized entropy","AdS/CFT","Discrete Max-Focusing"],"falsifier":"Find a spacetime with an input wedge $a$ for which two different accessible throats exist, neither containing the other; even one such example would refute Theorem 27. More directly, any pair of nested future lightsheet wedges of the same wedge with positive $H_{\\mathrm{max,gen}}$ would violate Discrete Max-Focusing and break the step in Theorem 22 that proves accessibility.","tokens_in":12311,"feed_emoji":"🌌","tokens_out":12080,"duration_ms":111200,"temperature":0.7,"pith_summary":"In AdS/CFT, the simple (or outermost) wedge is the part of the bulk that can be reconstructed from boundary data with only polynomial effort, while the rest of the entanglement wedge is exponentially hard to reconstruct. This paper extends that notion to arbitrary spacetimes, with no assumed boundary field theory. It defines the simple wedge $z(a)$ of an input wedge $a$ as the infinite limit of a zigzag: a sequence of alternating future and past antinormal lightsheet wedges, each step growing the region outward. The paper proves that $z(a)$ is a throat accessible from $a$, that it is contained in every other such throat and is therefore unique, and that it lies inside the generalized entanglement wedge. For AdS boundary regions the construction reduces to the familiar outermost-wedge prescription while adding a preferred piecewise-null Cauchy slice that makes the wedge manifestly accessible.","feed_headline":"Simple wedge is now defined for any spacetime—and it is unique","feed_subtitle":"The zigzag of lightsheets defines the simple wedge in any spacetime, uniquely inside the entanglement wedge.","key_machinery":"The load-bearing object is the zigzag: alternating future (zig) and past (zag) steps, where each step is the wedge union of all lightsheet wedges of the current wedge that are antinormal — nonexpanding in both future and past outgoing null directions — on their newly added edge and contain no proper noncontracting lightsheet wedge. Each step is antinormal on its newly added edge, and the construction carries a preferred piecewise-null Cauchy slice $Z_n=H(z_n)\\setminus I(z_{n-1})$ on which the generalized conditional max entropy of the final wedge relative to any intermediate wedge is non-positive; this is what makes each $z_n$ accessible from $a$. The proofs run on Discrete Max-Focusing — the conjecture that two nested future (or past) lightsheet wedges of the same wedge have non-positive generalized max entropy difference — together with discrete subadditivity and a chain rule for the generalized max entropy, and on the fact that the intersection of two noncontracting wedges is again noncontracting (Lemma 16).","core_discovery":"The central claim is that the simple wedge admits a purely geometric, spacetime-covariant definition. Starting from an input wedge $a$, the zig is the wedge union of all future lightsheet wedges of $a$ that are antinormal on their newly added edge, contain no proper noncontracting future lightsheet wedge, and stay within the complement of $a$'s fundamental complement; the zag is the time-reversed step. Iterating with $z_0=a$ and $z_n=z_+(z_{n-1})$ for odd $n$, $z_n=z_-(z_{n-1})$ for even $n$, the simple wedge is defined as $z(a)=\\lim_{n\\to\\infty} z_n$. The paper proves that every finite zigzag $z_n$ is accessible from $a$ through the preferred Cauchy slice $Z_n=H(z_n)\\setminus I(z_{n-1})$, and that the limit $z(a)$ is a throat accessible from $a$ and is contained in every other throat accessible from $a$, hence unique and contained in the max-hologram $e_{\\max}(a)$. In the AdS/CFT case, applying the construction to the causal wedge of a boundary region reproduces the traditional simple/outermost wedge.","pith_inferences":["Because the zigzag is null rather than spacelike, the paper's own examples suggest (but do not prove) that tensor-network models of holography should be built from broken null hypersurfaces rather than from a single time-symmetric Cauchy slice; this is an extension beyond the paper's explicit results.","The use of Discrete Max-Focusing in place of the full Quantum Focusing Conjecture implies the construction should remain valid at caustics and corners where smooth quantum expansions are undefined, a regime where conventional quantum extremal surface prescriptions become difficult to state.","If uniqueness of the accessible throat holds generally, the edge of the simple wedge could serve as a covariant quasi-local horizon in cosmological or evaporating spacetimes where no global extremal surface exists; this would be a new diagnostic, not derived in the paper.","A direct numerical test in a simple 2+1 spacetime (e.g., comparing the zigzag limit with the outermost extremal surface on a time-symmetric slice) would either corroborate the claim that the null construction is the right covariant generalization or show where accessibility fails."],"forward_implications":["The simple wedge is unique: the zigzag and the time-reversed zagzig have the same limit $z(a)$.","$z(a)$ is contained in the max-hologram $e_{\\max}(a)$, so the zigzag never extends into the Python's lunch region of the entanglement wedge.","For an AdS boundary region $B$, the prescription $z(B)=z[c(B)]$ recovers the traditional simple/outermost wedge and adds a preferred piecewise-null Cauchy slice that exists even where a time-symmetric-slice construction fails.","The accessibility criterion gives a covariant, slice-based notion of which wedges can be reconstructed from an input wedge, the missing ingredient for formulating reconstruction complexity in spacetimes without a known dual field theory.","In semiclassical gravity the quantum version applies to evaporating black holes: before the Page time the simple wedge ends at a quantum extremal surface near the horizon, leaving the interior as a Python's lunch, and after the Page time it agrees with the max-hologram."],"supporting_citations":[{"why":"Supplies Discrete Max-Focusing (Conj. 14) and the persistence-of-nonexpansion corollary used in Lemma 19 and the accessibility proof of Theorem 22.","marker":"[35]"},{"why":"Defines accessibility, the max-hologram e_max(a), and the generalized max-entanglement wedge that the zigzag is shown to enter.","marker":"[16]"},{"why":"Provide the definitions of wedges, wedge union, spacelike complement, and hologram maps used throughout the construction.","marker":"[15, 16]"},{"why":"Supplies the one-shot holography formalism, generalized max-entropy definitions, and the proof of Discrete Subadditivity without assuming separability of the area term.","marker":"[30]"},{"why":"Defines lightsheets and lightsheet wedges, the building blocks of every zig and zag.","marker":"[21]"},{"why":"Supplies the definitions of conformal shadow and fundamental complement that bound where the zigzag may grow.","marker":"[36]"},{"why":"Proves the causal wedge is contained in the simple/outermost wedge in AdS, ensuring the zigzag starting from c(B) does not overshoot.","marker":"[42]"}],"fun_headline_variants":["Zigzag lightsheets define simple wedge in any spacetime","Simple wedge: now unique in all spacetimes","General spacetimes get a unique simple wedge via lightsheet zigzag","Unique simple wedge for arbitrary spacetimes from zigzag","Uniqueness of simple wedge extended to all spacetimes"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Everything rests on Discrete Max-Focusing, the assumption that generalized conditional max entropy never increases between two nested future (or past) lightsheet wedges of the same wedge, together with higher-order strong subadditivity and a chain rule for the generalized max entropy that the paper itself flags as proven only at leading order in Newton's constant $G$.","fun_headline_variants_meta":{"raw":{"variants":["Zigzag lightsheets define simple wedge in any spacetime","Simple wedge: now unique in all spacetimes","General spacetimes get a unique simple wedge via lightsheet zigzag","Unique simple wedge for arbitrary spacetimes from zigzag","Uniqueness of simple wedge extended to all spacetimes"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000904,"raw_usage":{"total_tokens":3911,"prompt_tokens":985,"completion_tokens":2926,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":601,"completion_tokens_details":{"reasoning_tokens":2842}},"tokens_in":601,"tokens_out":2926,"duration_ms":22096,"temperature":1.0,"reasoning_tokens":2842,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T04:35:58.804668+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a spacetime with an input wedge $a$ for which two different accessible throats exist, neither containing the other; even one such example would refute Theorem 27. More directly, any pair of nested future lightsheet wedges of the same wedge with positive $H_{\\mathrm{max,gen}}$ would violate Discrete Max-Focusing and break the step in Theorem 22 that proves accessibility.","supporting_citations":[{"cited_title":"Bousso and S","cited_arxiv_id":null,"evidence_quote":"Supplies the definitions of conformal shadow and fundamental complement that bound where the zigzag may grow."}],"review_version":1}