{"id":"bf48b5e0-92fe-42bc-8a27-cfbbaef9b31d","arxiv_id":"2509.09763","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"An asymptotic observer can check a proposed quantum gravity microstate with a probe tuned to the state's creating operator, because extra wormhole saddles make the response O(1) larger than any generic probe.","lead":"This paper shows that carefully chosen boundary probes can test a proposed quantum state of a black hole or baby universe, even when the information is hidden behind a horizon or in a disconnected universe. The effect comes from wormhole geometries in the gravitational path integral that contribute only when the probe matches the operator used to prepare the state.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Single-boundary detection of a two-boundary state rests on an unproven orientation rule imported from [21]; if wrong, the 3/2 detection ratio and the headline claim change.","rationale":"Good faith reading: the paper's central technical claim is that a fine-tuned probe changes the gravitational path integral answer by an O(1) factor, allowing verification of a proposed microstate, while generic probes give a universal response. The single-boundary state detection in Sec. 2 and the two-sided probe in Sec. 3.1 are self-contained saddlepoint computations and appear internally consistent. The weakest link is Sec. 3.2, where the one-boundary probe of a two-boundary state depends on a bulk orientation rule that is only quoted from [21] and not derived here. This is not a disagreement with consensus; the rule could well be correct, but it is the single unproven input on which the paper's most striking claim rests. The reader identified the same assumption, so I recommend keeping the CONDITIONAL verdict. Secondary issues are real but subordinate: the many-copies requirement weakens the abstract's 'detect a baby universe' phrasing, and the torus-versus-sphere topology mismatch affects only the subleading fourth detection saddle in the microcanonical 3/2 estimate. No fatal error is apparent, so rejection is not warranted.","tokens_in":22244,"tokens_out":14050,"duration_ms":107702,"concrete_test":"Recompute the Sec. 3.2 saddle sum for |<i|O_R|i>|^2 by enumerating all shell-pairing topologies that satisfy the Israel junction conditions and homology, without imposing the orientation rule of [21]; assign each topology its large-shell-mass action and compare the universal/detection split with (3.11)-(3.13). If any additional saddle contributes at leading order, the 3/2 ratio changes and the one-boundary detection claim fails. To test the rule itself rather than its application, evaluate the same overlap directly in a toy model with an exact path integral (e.g., JT gravity with matter shells or the random-matrix model of [21]) and check whether the orientation-selected saddles reproduce the exact answer.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing assumption is the bulk orientation rule introduced in Sec. 3.2 (Universal saddles paragraph): 'the flow of Euclidean boundary time induces a natural orientation to the boundary condition computing overlaps... Only the saddles in which this orientation is smoothly continued into the bulk contribute.' This rule is not derived in the paper; it is imported from Appendix B of [21]. It is exactly what selects the two universal saddles in (3.11) and the four detection saddles in (3.12), so the canonical ratio (3.13) and the microcanonical 3/2 estimate depend on it. If the rule is wrong or is being applied too broadly, additional pairings of the O_R and O_i shell endpoints that satisfy the junction conditions could contribute at the same order, changing both the universal baseline and the detection enhancement. The paper itself says the rule did not matter in the earlier sections, so the Sec. 2 and Sec. 3.1 results are not endangered, but the paper's strongest claim — a single-boundary probe detects a two-boundary black hole — stands or falls on this unproven input. I also flag a smaller internal inconsistency: the text calls the fourth detection saddle a twice punctured torus while the Fig. 18 caption calls it a twice punctured sphere; it is subleading in the microcanonical estimate, so it is not the main issue.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper uses Euclidean gravitational path-integral saddles built from heavy dust-shell operator insertions ('shell states') to argue that asymptotic observers can verify, but not efficiently find, the state of a quantum-gravity universe. For single-boundary universes, the magnitude-squared probe correlator |<i|O_P|i>|^2 is computed by summing wormhole saddles; when O_P = O_i, four additional 'detection' saddles appear, making the normalized response larger by an O(1) factor than the universal baseline (Eqs. (2.4)-(2.8); microcanonical version in (2.18)). The construction is then extended to two-boundary states, where detection works with correlated probes on both boundaries (Sec. 3.1) and, remarkably, with a probe on a single boundary (Sec. 3.2), giving a microcanonical detection-to-universal ratio of 3/2. The paper concludes that these features realize a QMA-like asymmetry: checking a proposed state is easy, while finding the state from scratch is exponentially hard.","tokens_in":22452,"tokens_out":9669,"duration_ms":80288,"significance":"If the computations are correct, the paper provides an explicit gravitational setting in which the 'easy to verify, hard to find' scenario conjectured for black-hole microstates is realized by concrete wormhole saddles, and it extends this scenario to baby-universe states and to two-sided black holes probed from one boundary. The main strengths are the explicit saddle constructions, the cancellation of the state-dependent shell factors Z_mi and Z_mP in the detection-to-universal ratios, and the absence of fitted parameters: the O(1) ratios (2.18), (3.4), and (3.13) are derived rather than assumed. The principal weakness is that the single-boundary detection of a two-boundary state rests on an orientation rule imported from reference [21] that is not proved in this paper, and the paper also contains an internal inconsistency in the formula for the fourth detection saddle. Both issues are localizable and, in my view, repairable.","major_comments":[{"comment":"The 'natural orientation' rule for continuing the Euclidean boundary-time flow into the bulk is load-bearing but unproven here. This rule selects exactly the two universal saddles in (3.11) and the four detection saddles in (3.12); if it is wrong or is being applied too broadly, other pairings of the O_R and O_i shell endpoints that satisfy the junction conditions could contribute at the same order and change the ratio (3.13), on which the headline claim of single-boundary detection of a two-boundary state rests. Please either prove the rule from the cut-open path-integral boundary conditions, state it explicitly as an assumption with a careful discussion of its domain of validity, or enumerate all saddle pairings to show that no others survive.","section":"Sec. 3.2 (Universal saddles paragraph)"},{"comment":"There is a concrete internal inconsistency in the fourth detection saddle. The text preceding (3.12) says that this saddle contributes a factor Z(2*beta_L + 2*beta_R) * Z_mi^2 * Z_mP, while Eq. (3.12) contains an additional factor Z(beta_R). The two versions scale differently under the microcanonical Laplace transform: with E_L = E_R = E, the text version gives e^{-2E(beta_L+beta_R)+S(E)}, matching the claim that every class of saddle contributes an equal factor, whereas the equation version would give e^{-2E*beta_L-3E*beta_R+...}. Please correct the equation or the text and rederive the 3/2 ratio accordingly. The topology should also be reconciled: the text calls the saddle a twice punctured torus, while the Fig. 18 caption calls it a twice punctured sphere.","section":"Eq. (3.12) and Fig. 18"},{"comment":"The normalized correlators are defined by computing the observable and the state norm separately in the gravitational path integral and then dividing. Since the paper's ratios are leading-order saddlepoint results in the m_i -> infinity limit, with no estimate of G_N or shell-mass corrections, the O(1) detection factors may receive subleading corrections. Please state the expected size of the omitted terms and discuss whether they could mask the detection signal in the regimes where the paper predicts a factor of 2 or 3.","section":"Sec. 2.1 and footnote 6"}],"minor_comments":[{"comment":"There are several typos: 'wehther' should be 'whether', and similar misspellings appear elsewhere ('wether', 'analagously', 'annilihate', 'schwarschild', 'geomtries'). A careful proofread is needed.","section":"Sec. 2.1, after Eq. (2.6)"},{"comment":"The QMA statement is heuristic. If the complexity claim is meant literally, the paper should define the witness, the verification procedure, and the error bounds; as written, 'putting this problem in QMA' is an analogy rather than a formal result.","section":"Sec. 4"},{"comment":"The verification protocol assumes access to many identically prepared copies of the state and the ability to measure the nonlocal Hermitian operators A = (O_P + O_P^dagger)/2 and B = (O_P - O_P^dagger)/(2i). This operational assumption should be stated already in the abstract or introduction, since it is essential to the practical claim that an observer can 'check' a microstate proposal.","section":"Sec. 4"},{"comment":"The caveat that detecting the interior state from one boundary is not the same as reconstructing low-energy EFT excitations in the interior is useful and should be stated earlier, in Sec. 3.2, to prevent overreading of the single-boundary detection result.","section":"Sec. 5.2"}],"recommendation":"major_revision","confidential_remarks":"The manuscript relies heavily on the authors' companion papers [15,16,22] for the shell-state construction and the Euclidean toolkit. If those papers are not yet published, the editor may wish to ask the authors to include a self-contained appendix covering the techniques that are load-bearing here. The 'natural orientation' rule imported from [21] is the key technical assumption and should receive special scrutiny in revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Let me skip the throat-clearing. The genuinely new thing here is explicit: a gravitational path-integral construction of \"detection saddles\" that only contribute when the probe operator matches the operator that prepared the state. The O(1) ratios — factor 2/3 in the single-boundary case, 3/2 in the single-boundary probe of a two-boundary state — are derived from saddlepoint combinatorics, not fitted to anything, and the normalization cancelation is satisfying. The paper also gives the first concrete version of the Library of Babel idea, which previously was qualitative. I agree with the reader's conditional verdict, and I think the strongest claim is the one the stress-test flags.\n\nWhat does the paper do well? The construction is explicit and follows the prior shell-state framework carefully. The classification of universal versus detection saddles is the core contribution, and it is credible. Generic probes give universal, state-independent responses; matched probes see extra wormhole saddles. The microcanonical estimates are clean, and the conclusion that one can check a proposal but not efficiently find the state is well argued.\n\nThe soft spot is exactly the orientation rule in Sec. 3.2. The paper imports from Appendix B of [21] the rule that only saddles with smoothly continued boundary-time orientation contribute, and it is this rule that selects the two universal and four detection saddles in (3.11)-(3.12). The 3/2 ratio and the single-boundary detection of a two-boundary state stand or fall on that unproven input. The paper is honest about the import — it says the rule didn't matter in earlier sections — but honest import is still a gap. If a referee can get the authors to derive or at least evidence that rule, the paper's headline claim becomes much firmer.\n\nMinor points. The text calls the fourth detection saddle a twice punctured torus while Figure 18 calls it a twice punctured sphere; that term is subleading in the microcanonical estimate, so cosmetic. The abstract's claim about detecting information in a baby universe is stronger than the protocol, which verifies a proposed state and needs many identically prepared copies. The QMA discussion is more sketch than theorem, fine as discussion. And the saddlepoint ratios carry no estimate of G_N or shell-mass corrections; for leading-order work in this literature that is acceptable, but it should be said explicitly.\n\nCitation pattern: heavily self-referential, but appropriately so — the construction is built on [15,22,18-21]. Not padding.\n\nWho should read this: anyone working on wormhole saddles, black hole microstate detection, baby universes, or Hilbert space factorization. It deserves a serious referee, not a desk reject. A referee should focus on the orientation rule and ask for a derivation or a clearly stated assumption.","headline":"Explicit detection saddles and O(1) ratios make this a real step beyond the Library of Babel, but the single-boundary two-sided claim rests on an imported orientation rule that still needs justification.","tokens_in":23012,"tokens_out":2931,"would_cite":true,"duration_ms":355497,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Using the gravitational path integral, this paper shows that an asymptotic observer can verify a proposed quantum-gravity microstate with a Lorentzian probe matched to the state-preparing operator, while generic probes reveal nothing.","keywords":["gravitational path integral","wormhole saddles","black hole microstates","baby universes","state verification","asymptotic observer","quantum gravity","QMA"],"falsifier":"Compute $|\\langle i|O_i|i\\rangle|^2$ by summing all wormhole saddles exactly in a toy model that needs no orientation rule; if the exact result shows no excess over the generic-probe response—a detection-to-universal ratio of 1 rather than $3/2$ or 2–3—the central claim is falsified.","tokens_in":21987,"feed_emoji":"🕳️","tokens_out":16663,"duration_ms":117938,"temperature":0.7,"pith_summary":"This paper argues that the information hidden behind black-hole horizons or in disconnected baby universes is not completely invisible: an asymptotic observer who already has a candidate microstate in hand can verify it, even though determining the microstate from scratch is exponentially hard. The central claim is that the gravitational path integral gives a universal, state-independent response to generic Lorentzian probes, but a probe built from the same heavy shell operator that prepared the state receives extra wormhole contributions that make the response larger by an $O(1)$ factor. This turns state detection into a check: propose an operator, measure the probe correlator on many copies, and compare. The same mechanism lets a single boundary verify the state of a two-boundary black hole, despite the interior lying outside that boundary's entanglement wedge. If true, the results sharpen the picture of black-hole microstates as complex states that are easy to certify but hard to find.","feed_headline":"A matched probe can verify a black hole's hidden microstate","feed_subtitle":"Random probes give a universal answer; using the state's own operator adds wormhole saddles and an O(1) signal boost.","key_machinery":"The central objects are heavy dust shell states $|i\\rangle$, defined by cutting open the Euclidean gravitational path integral and inserting a shell operator $O_i$ on the asymptotic boundary, then evolving in Euclidean time; depending on the preparation temperature they describe a black hole with a shell behind the horizon (type A) or thermal space entangled with a compact big-crunch baby universe (type B). The mechanism that carries the argument is the classification of wormhole saddlepoints in the path integral for $|\\langle i|O_P|i\\rangle|^2$: universal saddles, which contribute for any $O_P$, and detection saddles, which require $O_P = O_i$ and add an $O(1)$ contribution. A bulk orientation rule—that Euclidean boundary time induces an orientation on the boundary condition which must be smoothly continued into the bulk—selects which saddles contribute. The ratio of detection to universal contributions is then computed in the large-shell-mass limit, where the shell homology regions pinch off and partition functions such as $Z(\\beta)$ and $Z_{\\mathrm{TAdS}}(\\alpha)$ combine to give ratios such as $3/2$ for the one-boundary probe of a two-boundary microcanonical state.","core_discovery":"Working in the gravitational path integral with heavy dust shell states, the paper shows that the magnitude-squared probe correlator $|\\langle i|O_P|i\\rangle|^2$ has two classes of saddles. When $O_P$ differs from $O_i$, only universal wormhole saddles contribute and the normalized response is just $Z_{m_P}$, independent of the state. When $O_P = O_i$, four additional detection saddles exist, so the response is strictly larger; for single-boundary states the detection-to-universal ratio is about 2 or 3 depending on whether the state is above or below the black-hole threshold, and for microcanonical two-boundary states probed from one boundary it is $3/2$. Because the extra saddles exist only when the probe matches the preparing operator, a Lorentzian boundary observer can verify a proposed microstate, including the state of a disconnected baby universe. The paper further shows that a two-boundary black-hole state can be verified using operators localized on a single boundary, and argues that finding the state from scratch requires exponentially many trials, placing verification in QMA.","pith_inferences":["Editorial inference: the same detection mechanism should apply whenever a state is prepared by a structurally simple operator and probed by that same operator, suggesting a general operator-alignment criterion for when non-perturbative effects reveal hidden data.","Editorial inference: the $3/2$ ratio for the one-boundary probe of a two-boundary state is a sharp quantitative prediction that could be tested in an exactly solvable low-dimensional toy model, where summing all saddles without relying on the orientation rule would either confirm or refute the mechanism.","Editorial inference: because the orientation rule is the only thing selecting the detection saddles, varying the preparation temperature $\\beta$ should change the ratios in a predicted step-like way near the threshold where the dominant Euclidean saddle switches between black hole and thermal space, giving a concrete signature to look for.","Editorial inference: the fact that a baby universe state with vanishing total energy behaves as a hard-to-probe complex state suggests that causal disconnection from the asymptotic boundary is itself a semiclassical manifestation of state complexity, and the same complexity could appear in other low-energy systems with fine quantum hair."],"forward_implications":["Generic Lorentzian probes of a shell-state microstate give a universal response proportional only to the probe's own mass, with no information about which operator prepared the state.","Probing with the same operator that prepared the state adds detection wormhole saddles, raising the response by an $O(1)$ factor: about 2–3 for single-boundary states and $3/2$ for a one-boundary probe of a two-boundary microcanonical state.","An asymptotic observer with many identically prepared copies can verify a proposed microstate by measuring Hermitian combinations $A=(O_P+O_P^\\dagger)/2$ and $B=(O_P-O_P^\\dagger)/(2i)$ and checking whether $|\\langle i|O_P|i\\rangle|^2$ exceeds the universal baseline.","The state of a two-boundary black hole can be verified from a single boundary, even though the interior is not in that boundary's entanglement wedge; coordinated two-boundary probes give an exponentially large signal.","Finding the state from scratch is hard: testing $N$ candidate operators takes $O(N)$ measurements ($O(\\sqrt N)$ with a quantum search algorithm), while tomography is blocked by the coarse-graining of the path integral, so verification belongs to QMA rather than being an efficient discovery procedure."],"supporting_citations":[{"why":"Constructs the single-boundary shell states and computes their Gram matrix, including the wormhole contributions that make $|\\langle i|j\\rangle|^2$ nonzero.","marker":"[15]"},{"why":"Supplies the two-boundary shell-state toolkit and the folded-wormhole constructions used for the single-boundary probe of a two-boundary state.","marker":"[22]"},{"why":"Introduces the two-boundary shell states, shows they carry only fine quantum hair, and establishes the wormhole overlap $|\\langle i|j\\rangle|^2 = Z_2 + \\delta_{ij} Z_1^2$.","marker":"[18]"},{"why":"Provides the bulk orientation rule in Appendix B that selects which universal and detection saddles contribute.","marker":"[21]"},{"why":"Argues that generic probes of complex black-hole microstates give universal responses while fine-tuned probes can give large signals, the scenario this paper realizes.","marker":"[13]"},{"why":"Shows the path integral with a periodic boundary condition computes the thermal partition function $Z(\\beta)$ used throughout to evaluate saddle actions.","marker":"[16]"},{"why":"Provides the heavy-operator-statistics wormhole construction underlying the two-boundary detection saddles.","marker":"[17]"},{"why":"Gives the universal construction of black-hole microstates on which the shell-state bases build.","marker":"[24]"}],"fun_headline_variants":["Fine-tuned probe reveals hidden black hole state","State-matched probe outs baby universe data","Wormhole saddles let observers verify microstates","One-boundary probe detects two-boundary black hole","Quantum gravity: verify, not find, hidden states"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The calculation assumes an unproven bulk orientation rule—only saddles in which the Euclidean-time orientation flows smoothly into the bulk contribute—so if that rule is wrong, the set of contributing saddles and the predicted detection ratios change; the verification protocol also assumes access to many identically prepared copies to measure the probe correlator.","fun_headline_variants_meta":{"raw":{"variants":["Fine-tuned probe reveals hidden black hole state","State-matched probe outs baby universe data","Wormhole saddles let observers verify microstates","One-boundary probe detects two-boundary black hole","Quantum gravity: verify, not find, hidden states"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000185,"raw_usage":{"total_tokens":1311,"prompt_tokens":922,"completion_tokens":389,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":538,"completion_tokens_details":{"reasoning_tokens":317}},"tokens_in":538,"tokens_out":389,"duration_ms":3381,"temperature":1.0,"reasoning_tokens":317,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T15:59:15.706848+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute $|\\langle i|O_i|i\\rangle|^2$ by summing all wormhole saddles exactly in a toy model that needs no orientation rule; if the exact result shows no excess over the generic-probe response—a detection-to-universal ratio of 1 rather than $3/2$ or 2–3—the central claim is falsified.","supporting_citations":[],"review_version":1}