{"id":"3742bc94-413d-4c0c-8e4f-8bece58c3ca3","arxiv_id":"2607.29635","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"Semiclassical pure AdS3 gravity states, labelled by fixed-area geodesic networks, are mapped to CFT2 primary states whose wavefunctions are networks of OPE coefficients.","lead":"This paper gives an explicit recipe for translating quantum states of pure gravity in three-dimensional anti-de Sitter space into states of a two-dimensional conformal field theory, using cutting surfaces made of geodesics. If the recipe holds, it gives physicists a new tool for probing black hole interiors, understanding gauge symmetry, and studying closed universes.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Approximate isometry of the holographic map rests entirely on conjecture (4.5), which is unproven in the h~c and non-handlebody regimes; the paper supplies no independent check, so the central claim is conditional.","rationale":"The reader correctly identifies (4.5) as the load-bearing premise. I agree: the map's isometry claim is essentially a restatement of that conjecture, and the paper honestly lists regimes where it is known to fail. The bulk and boundary calculations use the same crossing-kernel technology (Virasoro 6j-symbols), so the agreement for the non-degenerate parts is partly built in; the open question is whether the full OPE statistics—including Gaussian δ-function contractions and non-identity blocks—reproduce all the bulk saddles in a single CFT. The paper's failure modes are physical rather than fatal, but they mean the central claim is conditional. The proposed test would settle whether the h~c regime, which is the one relevant for interior geodesics, satisfies (4.5). If it does not, the map's applications to interior operators and closed universes lose their semiclassical justification; if it does, the conditional verdict can be upgraded.","tokens_in":53400,"tokens_out":10878,"duration_ms":98319,"concrete_test":"Compute both sides of (4.5) for a four-vertex network with external Liouville momenta P_i of order c^0 and internal momentum P_s of order 1 (h_s ~ c/24), using the exact crossing kernel (B.20) in a specific large-c CFT (e.g., the symmetric product orbifold) and keeping all OPE density contributions including the δ-function contractions of (3.20); compare with the bulk tetrahedron (6j-symbol) with the same length assignments. If the ratio differs from 1 by O(c^0) or O(1), then (4.5) fails in the semiclassical regime and the map's approximate isometry does not extend to interior geodesics.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The derivation of approximate isometry in §4 (eq. 4.4) replaces the product of OPE coefficients with its microcanonical average and then invokes (4.5) to identify that average with the bulk GPI four-vertex network. (4.5) is imported from [13,14,45]; the paper provides no derivation and its own list of known failure modes—bulk field condensation, non-handlebody saddles without CFT derivation, and off-shell topologies—shows that the equality is not generic. The semiclassical states for which the map is claimed to be isometric include states smeared over O(GN) windows, which can have support on configurations where the identity block is not dominant (e.g., h~c external/internal lines or coincident geodesic lengths producing δ-function contractions in (3.20)); in those configurations the RHS of (4.5) is not reproduced by the identity-block-dominated OPE statistics. Since internal geodesic lengths enter only through the wavefunction and are the basis for the interior-operator and closed-universe applications (§6,§7), a failure of (4.5) at h~c or for non-handlebody topologies removes the map's isometry exactly where the claimed new physics lies. Thus the central claim is not yet established; it is an input assumption, not a derived consequence.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a holographic map from a semiclassical bulk Hilbert space of pure AdS3 gravity with ETW branes, quantized in a fixed-area network basis, to the primary Hilbert space of a single holographic CFT2. The map, given in (4.1) and exemplified for four-boundary wormholes, sends external geodesic lengths and angular momenta to conformal weights and charges, and assigns to each pair-of-pants vertex a normalized OPE coefficient; internal geodesic lengths appear only in the wavefunction. The central claim is that this map becomes approximately isometric on semiclassical states, with the justification reduced to conjecture (4.5), which equates microcanonical OPE averages to the bulk GPI four-vertex diagram. The paper then applies the map to bulk gauge transformations as emergent basis changes, constructs boundary operators for interior geodesic lengths under a typicality assumption, and studies closed universes, finding a breakdown of semiclassicality that can be partially cured by massive probes.","tokens_in":53769,"tokens_out":6762,"duration_ms":73319,"significance":"If the central claim holds, this is a substantial contribution: it packages recent results on OPE statistics and Virasoro TQFT into a concrete, state-dependent bulk-to-boundary map for pure 3d gravity, and it gives explicit proposals for emergent bases and interior length operators. The paper is commendably explicit about the conjectural inputs and the regimes in which they may fail, and the tensor-network formulation in §4.1 is a useful conceptual simplification. However, the approximate isometry is not derived within the paper but imported as conjecture (4.5), and the applications in §§5–6 inherit the same unproven statistical assumptions. As it stands, the paper establishes a framework and a research program rather than a fully established dictionary, though the framework is well-motivated and carefully developed.","major_comments":[{"comment":"There is an inconsistency of a factor of 2 in the central definition of the map. For a non-rotating scalar geodesic (ℓ = ℓ̄, P = P̄), Eq. (4.2) gives δ(2ℓ − 4πbP) = δ(ℓ − 2πbP), whereas Eq. (1.4) states δ(ℓ − 4πbP). Since (4.1)–(4.2) are the operative definition of the map and the identification of external lengths with conformal weights is load-bearing for every application, this must be corrected or the conventions reconciled.","section":"§1, Eq. (1.4) vs §4, Eq. (4.2)"},{"comment":"The approximate isometry of the holographic map is precisely the content of conjecture (4.5), not a derived consequence. The paper lists three regimes where (4.5) is known to fail, and the semiclassicality conditions (4.3) do not exclude those regimes: states smeared over O(G_N) windows can have support at h ∼ c or on configurations where identity-block domination is not established (see footnote 18 and App. B). The abstract's statement that 'there is an agreement between bulk and boundary inner products' is therefore conditional on a conjecture that is not proved here. The authors should either prove (4.5) in a sharply delimited regime of validity, add an independent check, or state the isometry as a conjecture in the abstract and conclusions.","section":"§4, Eq. (4.5)"},{"comment":"The reconstruction of interior length operators relies on the typicality/factorization assumption (6.11), which the text immediately admits is not known how to calculate for a single CFT. Since interior operators are one of the advertised applications, this is a second load-bearing unproven input. The reconstruction should be presented as conditional on (6.11), and ideally a testable consequence of that assumption should be identified so that the claim 'we have found a candidate reconstruction' is not read as a derivation.","section":"§6, Eq. (6.11)"},{"comment":"There is a circularity concern that deserves attention: the bulk inner products are assembled from degenerate double tori and Virasoro 6j symbols, and those same crossing kernels are used to derive the OPE statistics (Eqs. (3.18)–(3.22), App. B). Equation (4.5) then identifies two objects with essentially identical diagrammatic content. The paper would be materially strengthened by an independent check in a case where the bulk and boundary sides are evaluated without invoking the same elementary kernels — for example, a four-boundary example with non-trivial moduli where the OPE density is not simply the kernel used to construct the bulk inner product. Without such a check, the 'agreement' may be partly a consistency condition of the diagrammatic calculus.","section":"§2.4, §3.3, App. B; Eq. (4.5)"}],"minor_comments":[{"comment":"Attributing a mathematical proof to 'Deepseek v4' inside a proof footnote is unconventional and may conflict with journal policy on AI assistance/disclosure. Please clarify authorship or remove the attribution.","section":"Footnote 8"},{"comment":"The exponential factor appears as 'e^{ℓ_s+ℓ'_s}_{8GN}' without a clearly typeset denominator/division symbol. This makes the formula hard to read; please reformat.","section":"Eq. (2.43) and surrounding text"},{"comment":"The displayed OPE-statistics formula is garbled: the terms involving δ-functions, ρ_p factors, and the C_{123} coefficient are not cleanly separated. A clearer layout or an explicit 'where' block would improve readability.","section":"Eq. (3.19)"},{"comment":"The tensor-network notation involving abstract indices and the FANOUT and Π_spec operators is terse. A figure explicitly matching the network of (4.11) to the map (4.1) would help the reader verify that the tensor network represents the same object.","section":"§4.1"},{"comment":"Small grammar issue: 'there is an infinity of saddles' should be 'there is an infinite number of saddles' or 'there are infinitely many saddles.'","section":"§A.1"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the quick read. The paper is a careful, honest synthesis that makes an implicit dictionary explicit: an explicit holographic map from fixed-area networks in AdS3 to OPE-coefficient networks in a single CFT2, with a clean external/internal geodesic split. The applications—emergent bases, interior length operators, closed universes—are new, and the closed-universe analysis gives a concrete, surprising result. The authors are transparent about the status: the central isometry claim rests on conjecture (4.5), imported from earlier work, and they list three regimes where it is known to fail. Footnote 18 also concedes the spectrum formula lacks a rigorous derivation for h≠h̄.\n\nThe bulk Hilbert space construction and the worked examples in Appendix A are genuinely careful. The angular momentum quantization via braiding phases is a nice touch. The writing is plain and honest; no overclaiming.\n\nThe soft spot is the load-bearing one. The agreement between bulk and boundary inner products is largely a consistency condition: the bulk side is assembled from degenerate double tori and Virasoro 6j symbols, which are the same crossing kernels used to compute OPE statistics on the boundary. So the agreement is partly built in, and conjecture (4.5) is the unproven bridge. It fails in the very regimes—h~c, non-handlebody, off-shell—where the claimed new physics (interior operators, closed universes with probes) lives. The paper would be much stronger with one independent test of (4.5) that does not share the same technology. That said, the authors do not pretend otherwise; the map is explicitly a proposal, and the limitations are flagged.\n\nWho should read it: anyone working on AdS3/CFT2, tensor network models of holography, or closed universes. It deserves a serious referee. The central claim is conditional, but the paper is important enough and honest enough to warrant the referee time. I would engage with it and would want the referee to focus on (4.5) and on independent evidence for the isometry.","headline":"A careful, honest synthesis that makes an implicit AdS3/CFT2 map explicit; the central isometry claim is conditional on an unproven conjecture, but it deserves a serious referee.","tokens_in":54226,"tokens_out":2892,"would_cite":true,"duration_ms":27982,"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":"The paper proposes an explicit holographic map from semiclassical pure gravity in AdS3 to a single CFT2, so that geodesic lengths become conformal weights and bulk and boundary inner products agree for semiclassical states.","keywords":["AdS3/CFT2","holographic map","fixed-area states","Wheeler-DeWitt quantization","OPE coefficients","semiclassical gravity","closed universes","conformal bootstrap"],"falsifier":"Compute the microcanonical average E_μc[C_{12s}C_{s34}C^*_{12s'}C^*_{s'34}] at leading order in 1/c in any large-c CFT with a known spectrum, for weights h, h̄ near c; if it does not equal the square-root combination of OPE coefficients times the bulk double-tetrahedron diagram, the central conjecture (4.5) is false. A cleaner observable: the norm of a closed-universe coherent state should be dominated by the factorized saddle; seeing the kinematical inner product dominate would signal a breakdown consistent with the paper's closed-universe claim.","tokens_in":53269,"feed_emoji":"🗺️","tokens_out":5961,"duration_ms":60193,"temperature":0.7,"pith_summary":"This paper proposes an explicit holographic map from the semiclassical Hilbert space of pure general relativity in three-dimensional anti-de Sitter space to the Hilbert space of a single two-dimensional conformal field theory. On a Cauchy slice, states are labelled by a fixed-area network — a maximal set of non-intersecting geodesics with prescribed lengths and angular momenta — and the map sends external geodesics to primary conformal weights while building the wavefunction from OPE coefficients. The map is highly non-isometric in general, but the paper argues it becomes approximately isometric on semiclassical states, so bulk and boundary inner products agree. If correct, this gives a concrete state-level dictionary for pure AdS3 gravity, turns bulk gauge choices into emergent basis changes, provides boundary operators for interior geodesic lengths, and explains a striking failure of semiclassicality for closed universes.","feed_headline":"New map embeds semiclassical 3D gravity into one CFT2","feed_subtitle":"External geodesic lengths become conformal weights; bulk gauges become emergent bases and inner products match.","key_machinery":"The central object is the fixed-area network: a maximal non-intersecting set of geodesics on a Cauchy slice, with each geodesic's length and angular momentum fixed. Each pair of pants in the network becomes a trivalent vertex carrying an OPE coefficient, and each external geodesic length ℓ is identified with a Liouville momentum P via ℓ = 4πbP, making it a conformal weight. The load-bearing identity is conjecture (4.5): the microcanonical average of the four-vertex OPE network equals the square root of OPE coefficient products times the bulk inner-product diagram (a Virasoro 6j-symbol / double tetrahedron), which is what lets the boundary inner product reproduce the bulk path integral. This","core_discovery":"The central claim is equation (4.1)/(1.4): a fixed-area network on a Cauchy slice maps to a sum over primaries, V|network⟩ = Σ_P N(P) ∏_I δ(ℓ_I − 4πbP_I) C_{12s}C_{s34}|P1...P4⟩, where external geodesic lengths become conformal weights and internal geodesic lengths appear only through the wavefunction. For 'sufficiently semiclassical' states — those with O(G_N) smearing of lengths — the paper claims that bulk and boundary inner products agree, term by term, in a transseries sense. The agreement rests on the conjecture that microcanonical averages of OPE coefficients in a single holographic CFT reproduce the bulk gravitational path integral including a sum over topologies. The paper is explic","pith_inferences":["If conjecture (4.5) survives direct checks in the h∼c window, the map would make the bulk 'sum over topologies' an emergent consequence of OPE statistics in one CFT, not an added rule.","A testable extension: in any large-c CFT with a known spectrum, compute the microcanonical four-vertex OPE density at O(c^0) and compare directly with the bulk 6j-symbol expression; agreement outside identity-dominated channels would strengthen the map.","The closed-universe result suggests a general criterion: a bulk topology yields a classical phase space only if a probe or boundary anchor breaks the factorization that makes all pure states parallel; this could be checked in boundary-CFT models with end-of-the-world branes.","The reconstruction of interior length operators via typicality assumes OPE densities factorize; verifying this factorization in a concrete CFT would also sharpen the relation between bulk relational observables and boundary operators."],"forward_implications":["Bulk Hamiltonian gauge transformations — changing which geodesics are fixed — map to changes between emergent, overcomplete bases in the boundary, not exact basis changes.","Boundary operators can be constructed whose matrix elements reproduce interior geodesic-length operators on semiclassical states, making lengths behind horizons boundary-measurable at this level.","For closed universes without matter, any two semiclassical pure states are exponentially close to parallel and no classical phase space emerges; adding a massive probe below the black-hole threshold restores semiclassicality.","The map annihilates most fixed-area basis elements, so the bulk Hilbert space contains many non-semiclassical states with no direct boundary meaning; only microcanonically smeared semiclassical states lie in the approximate-isometry domain.","The same construction can be adapted to a map into an ensemble of CFTs, connecting the single-CFT map to ensemble-averaged descriptions."],"fun_headline_variants":["Fixed-area networks map AdS3 gravity to CFT2 primaries","External geodesic lengths become conformal weights in new map","Semiclassical AdS3/CFT2: inner products match via OPE networks","Holographic map: AdS3 states are CFT2 primary networks","New AdS3/CFT2 map: bulk gauges become emergent bases"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing premise is conjecture (4.5) — that microcanonical averages of OPE coefficients in a single holographic CFT reproduce the bulk gravitational path integral, including the sum over topologies — which the paper notes is established only for identity-block-dominated channels and is not rigorously proven for h∼c or h≠h̄; if it fails outside a narrow semiclassical window, the map's approximate isometry collapses.","fun_headline_variants_meta":{"raw":{"variants":["Fixed-area networks map AdS3 gravity to CFT2 primaries","External geodesic lengths become conformal weights in new map","Semiclassical AdS3/CFT2: inner products match via OPE networks","Holographic map: AdS3 states are CFT2 primary networks","New AdS3/CFT2 map: bulk gauges become emergent bases"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000412,"raw_usage":{"total_tokens":2020,"prompt_tokens":847,"completion_tokens":1173,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":591,"completion_tokens_details":{"reasoning_tokens":1082}},"tokens_in":591,"tokens_out":1173,"duration_ms":11907,"temperature":1.0,"reasoning_tokens":1082,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T03:01:28.756990+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the microcanonical average E_μc[C_{12s}C_{s34}C^*_{12s'}C^*_{s'34}] at leading order in 1/c in any large-c CFT with a known spectrum, for weights h, h̄ near c; if it does not equal the square-root combination of OPE coefficients times the bulk double-tetrahedron diagram, the central conjecture (4.5) is false. A cleaner observable: the norm of a closed-universe coherent state should be dominated by the factorized saddle; seeing the kinematical inner product dominate would signal a breakdown consistent with the paper's closed-universe claim.","supporting_citations":[],"review_version":1}