{"id":"65edf5e7-927d-4c49-95ed-a4addbaa955a","arxiv_id":"2608.12245","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"For holographic states, boundary mutual information between regions A and B implies a lower bound on the bulk geodesic distance that grows as log(1/I), forcing divergent separation as I tends to zero.","lead":"Boundary mutual information is shown to force a lower bound on the bulk geodesic distance between separated probes, a bound that diverges logarithmically as correlations vanish. The paper tests the bound on parallel strips in AdS5/CFT4 and argues that quantum corrections must smooth the classical mutual-information phase transition.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1 relies on an unproven locality assumption: code-compressed probes are not shown to be A/B-side observables, so the Pinsker step at Eq. 3.3 may not apply.","rationale":"The reader's weakest assumption identifies exactly the load-bearing step: the Pinsker inequality requires the two observables to belong to the commuting operator algebras of the two boundary regions (or to act on the corresponding tensor factors), but the code-compressed heavy probes are constructed by applying a nonlocal code projector to local operators. The paper explicitly assumes admissibility in Appendix A, but does not prove that such representatives exist or that the compressed operators commute. This is not a peripheral technicality: Eq. (3.3) is the only bridge between boundary mutual information and the bulk geodesic length, so Theorem 1, Theorem 2, and the parallel-strip conclusion all depend on it. The rest of the argument—the Pinsker derivation in Appendix B, the heavy-probe geodesic dictionary with error budget in Appendix C, and the AdS5/CFT4 strip computation in Appendix I—is extensive and internally consistent; the bottleneck is squarely the locality of the compressed probes. A conditional verdict is appropriate because the gap could be closed by either (i) proving that for holographic codes with complementary recovery the compressed probes are equivalent to A/B-local operators on the code subspace, or (ii) restating the theorem with the code-factor mutual information replacing the physical boundary mutual information, or (iii) explicitly restricting the theorem's domain to codes where the assumption holds. The proposed numerical test would provide direct evidence about whether the assumption is plausible or generically false; until such a test or proof is supplied, the central claim remains a conditional statement. Since the reader has already flagged this same assumption and issued CONDITIONAL, my independent read agrees and does not change the verdict.","tokens_in":71181,"tokens_out":9775,"duration_ms":90449,"concrete_test":"Perform an explicit search over small holographic-style codes: take physical Hilbert space H = (C²)⊗n with regions A and B as disjoint sets of qubits, draw a random 2- or 4-dimensional code subspace H_code (e.g., stabilizer code or random entangled states), set Π_code to the projector, choose local Hermitian operators O_A on A and O_B on B, and compute the compressed observables ~O_A, ~O_B. For several states ρ supported on H_code, check whether |⟨~O_A~O_B⟩−⟨~O_A⟩⟨~O_B⟩| ≤ √(2 ln 2 I(A:B)) holds when normalizing by operator norms. If any violation is found, the 'admissible representatives' assumption fails for that code, and Theorem 1's regime excludes codes of that type; if no violation is found over a broad random ensemble, the assumption gains support.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The derivation of Theorem 1 applies the Pinsker bound (2.3) to the code-compressed, mean-subtracted probes ~O_A = Π_code(O_Δ(x)−⟨O_Δ(x)⟩)Π_code and ~O_B = Π_code(O_Δ(y)−⟨O_Δ(y)⟩)Π_code. Pinsker requires these observables to be affiliated with the two sides of the bipartition used to define I(A:B): in the regulated tensor-product realization, X acting on H_A and Y on H_B; in the algebraic realization, x∈A(A), y∈A(B) with [A(A),A(B)]=0 (Appendix A, Appendix B). The projection Π_code is a nonlocal code projector, so ~O_A is generically not an element of A(A) and need not commute with ~O_B; its action can mix the two sides. The paper states in Appendix A ('admissible bounded representatives') that the compressed insertions are admissible representatives, but gives no construction or proof. Indeed, for a generic holographic code with H_code not factorizing as H_code,A⊗H_code,B aligned with the boundary regions, the commutator [~O_A,~O_B] ≠ 0 and small physical I(A:B) does not constrain the connected correlator of these nonlocal operators. Without this step, Eq. (3.3) and hence Eq. (3.2) do not follow; the multiscale Theorem 2 and the parallel-strip QES consequence inherit the gap. The assumption is explicit but load-bearing: if it fails, the central claim is not a theorem about physical mutual information.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims a rigorous quantitative relation between boundary mutual information and bulk geodesic distance in holographic code subspaces. Its main result, Theorem 1 (Eq. 3.2), states that for boundary insertions x∈A and y∈B with positive mutual information I(A:B), the renormalized bulk geodesic length satisfies L_ren(x,y) ≥ (1/(2Δ)) ln( κ_Δ²(1−ε⋆)² / (2 ln 2 I(A:B)) ). The argument combines a quantum Pinsker inequality bounding all bounded connected correlators by mutual information with a heavy-operator holographic dictionary expressing the correlator as N_Δ e^{−Δ L_ren}. A multiscale iteration is used to promote the pairwise bound into a lower bound on bulk diameter, and the framework is applied to parallel strips in AdS5/CFT4, where the classical RT transition is argued to require quantum corrections to keep mutual information strictly positive. The paper is accompanied by extensive appendices proving the Pinsker bound, the geodesic error budget, the multiscale chaining, and a concrete AdS5 calculation.","tokens_in":71470,"tokens_out":8421,"duration_ms":84660,"significance":"If established, the claimed metric-from-information bound would be a notable quantitative step in the 'entanglement builds geometry' program, turning a qualitative slogan into a testable inequality with a logarithmic divergence as correlations vanish. The paper has genuine strengths: the Pinsker-to-correlator proof in Appendix B is careful and self-contained, the error budget in Appendix C is explicit, and the concrete strip calculation in Appendix I is a useful sanity check. However, the central theorem is only as strong as its key locality assumption, and that assumption is not proved. Since the Pinsker step requires the compressed heavy operators to be observables affiliated with the two sides of the bipartition, and since generic holographic code projectors destroy such factorizability, the main theorem is not established for the physical setting advertised in the abstract. The paper therefore does not yet justify its central claim.","major_comments":[{"comment":"The Pinsker inequality used at Eq. (3.3) is proved in Appendix B (Theorem B.1) only for observables OA∈B(H_A) and OB∈B(H_B) in a tensor-product realization, or for commuting elements of local algebras in the algebraic realization. The objects entering Eq. (3.3) are the code-compressed insertions ~O_A = Π_code(O_Δ(x)−⟨O_Δ(x)⟩)Π_code and ~O_B = Π_code(O_Δ(y)−⟨O_Δ(y)⟩)Π_code. The projection Π_code is a nonlocal projector onto the code subspace, and for a generic holographic code subspace H_code, which does not factorize as H_code,A⊗H_code,B aligned with the boundary regions A and B, the compressed operator ~O_A is not affiliated with the A-side algebra and need not commute with ~O_B. Appendix A simply asserts that these insertions are 'admissible bounded representatives' without proof; Lemma A.1 establishes only boundedness, not locality or commutativity. Consequently, Eq. (3.3) does not follow from the physical mutual information I(A:B), and Theorem 1 is not established as a theorem about boundary mutual information. This is a load-bearing gap: the QES and parallel-strip consequences in Sections 5 and 6 inherit it.","section":"Section 3, Eq. (3.3); Appendix A; Appendix B"},{"comment":"The multiscale diameter bound is conditional on the standing chaining inequality (A.17) or, equivalently, on the δ-alignment condition in Definition E.3, where δ≥0 is a free parameter. Lemma E.4 derives δ-alignment from Gromov hyperbolicity and quasi-geodesic stability, but no argument is given that the operational bulk distance d_ρ in the state class is δ0-hyperbolic, nor that the selected cell points can be arranged on a quasi-geodesic. Without a quantitative control on δ, the right-hand side of Eq. (4.2) can be negative or arbitrarily small, so the claimed global obstruction to bulk connectivity is not established by the provided reasoning.","section":"Section 4, Eq. (4.2); Appendix E"},{"comment":"The derivation of the heavy-probe dictionary requires a state-independent normalization N_code^Δ and a controlled total error ε⋆<1. In the proof of Theorem C.1, the state- and position-dependent prefactor variation C_{Δ,ρ}(x,y)/N_code^Δ − 1 is absorbed into the error term as a6, but no bound is supplied showing that this difference is small in the semiclassical parameters. Since |ε_tot| is bounded by exp(Σ a_j) − 1, an O(1) value of a6 could make ε⋆ comparable to or larger than 1, which would invalidate the logarithmic form of Eq. (3.2), where the factor (1−ε⋆)² is required to be positive. This missing estimate should be supplied or the theorem restated with an explicit bound on the prefactor ratio.","section":"Appendix C, Theorem C.1; Eq. (A.9)"}],"minor_comments":[{"comment":"The blue curve labeled 'MfI bound (QES)' is plotted as a smooth plateau in the disconnected phase, but the paper does not provide a concrete formula for the quantum-corrected QES mutual information in that phase; the curve appears illustrative rather than derived. Please clarify the status of this curve.","section":"Figure 2 and Section 5"},{"comment":"The normalization N_Δ = ℓ_AdS^3 (2Δ−4)Γ(Δ)/(π² Γ(Δ−2)) vanishes at Δ=2, while the text assumes Δ>2. Please state explicitly that the formula is restricted to Δ>2 and clarify the limit Δ→2, if relevant.","section":"Appendix I, Eq. (I.71)"},{"comment":"The manuscript contains numerous equation-rendering artifacts (for example, in Eq. (2.1) and in the caption of Figure 1, where fractions and operator norms are garbled). These should be corrected before any revised submission.","section":"Throughout"}],"recommendation":"reject","confidential_remarks":"The central theorem rests on the unproved and physically questionable assumption that code-compressed heavy operators are admissible A/B-side observables for the Pinsker inequality. In generic holographic codes the code projector is nonlocal across the bipartition, so the assumption is not a technical detail but the linchpin of the derivation. The elaborate appendix machinery does not repair this gap, and the advertised claim about physical boundary mutual information is therefore not supported. If the authors can restrict the theorem to code subspaces with a provable factorization (or otherwise establish admissibility), a substantially revised version could be reconsidered; as it stands, the manuscript does not meet the bar for publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The centerpiece is genuinely simple: quantum Pinsker plus the heavy-operator geodesic dictionary gives L_ren(x,y) ≥ (1/(2∆)) ln(κ_∆²(1−ε⋆)² / (2 ln 2 · I(A:B))). I checked the algebra — it's right — and the 1/(2∆) logarithmic rate is a clean statement. The soft spot is where the reader put it: the Pinsker step (Eq. 3.3) is applied to code-compressed operators ~O_A = Π_code (O_∆(x) − ⟨O_∆⟩) Π_code and ~O_B, and the paper assumes these are admissible A/B-side observables. A nonlocal projector Π_code generically mixes the two sides, so small I(A:B) need not constrain the compressed correlator. The assumption is stated in Appendix A (\"admissible bounded representatives\") but not proven, and it is load-bearing rather than cosmetic. The stress-test note is right on the math; I would only add that the assumption is not obviously false — a large-N or tensor-network argument might well establish it — but the paper doesn't supply one.\n\nWhat the paper does well: the error budget is careful, and the authors are honest that the bound is a constraint, not a reconstruction. The parallel-strip argument is the best part: classical RT gives I = 0 where the bulk geodesic is finite, so the exact mutual information must be lifted by subleading quantum corrections. That is a clean, sound way of seeing why the classical RT transition needs QES smoothing. The AdS5/CFT4 calculation in Appendix I is a real check — the renormalized two-point function, geodesic length, and strip threshold all come out right, and the paper correctly distinguishes the saturating case (bounded regions, I ~ s^{−4∆_min}, giving exactly 2 ln s) from the non-saturated strip case.\n\nSofter spots, in proportion: the multiscale Theorem 2 rests on a δ-alignment hypothesis that is assumed, not controlled; the bound can go trivial for realistic δ, and no model is given where δ is small. The BKM-metric appendix is decorative — standard relative-entropy Taylor expansion that never connects to bulk geometry. Novelty is modest, as the reader says: both ingredients are in the cited literature, and the appendices prove the main theorem in a few lines. That is fine; the paper's value is the packaging plus the applications, not a new mechanism.\n\nThe citation pattern looks clean. Who this is for: people working on entanglement and emergent geometry, holographic codes, and QES transitions. It deserves a serious referee. My recommendation: send it to peer review, with the referee instructed to push hard on the compressed-probe assumption — either a proof in a concrete code model, or the main theorem restated with the assumption explicit.","headline":"The MfI bound is a clean two-line inequality built on Pinsker plus the geodesic dictionary, but its load-bearing locality assumption on code-compressed probes is unproven; worth refereeing with pressure on that step.","tokens_in":72074,"tokens_out":9808,"would_cite":true,"duration_ms":84120,"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":"This paper proves that boundary mutual information imposes a logarithmic lower bound on bulk geodesic distance, so vanishing correlations force spacetime separation to diverge.","keywords":["AdS-CFT correspondence","mutual information","geodesic distance","quantum Pinsker inequality","heavy operator probes","entanglement wedge","holographic code subspace","bulk connectivity"],"falsifier":"Compute the exact mutual information and the code-compressed heavy-primary correlator in a boundary state with an independently known bulk geodesic length; if at any separated pair the correlator magnitude exceeds \\(B_\\$\\Delta$^2\\sqrt{2\\ln 2\\,I(A:B)}\\), the claimed bound is violated. A concrete place to look is the AdS₅/CFT₄ strip at the classical transition \\(s_c=(\\sqrt{3}-1)\\ell\\), where the theorem requires the subleading mutual information to be strictly positive and strong enough to keep the right side of Eq. (3.2) finite.","tokens_in":70926,"feed_emoji":"📏","tokens_out":8431,"duration_ms":73174,"temperature":0.7,"pith_summary":"Boundary entanglement already determines bulk area through the Ryu–Takayanagi formula. This paper claims the missing metric counterpart: in a semiclassical holographic code subspace, the mutual information \\(I(A:B)\\) between two boundary regions forces the renormalized bulk geodesic length \\(L_{\\mathrm{ren}}(x,y)\\) between probes in those regions to obey \\(L_{\\mathrm{ren}}(x,y) \\ge (2\\$\\Delta$)^{-1}\\ln(\\kappa_\\$\\Delta$^2(1-\\epsilon_\\star)^2/(2\\ln 2\\,I(A:B)))\\). As the mutual information vanishes, the allowed distance diverges logarithmically, so a finite bulk separation requires a strictly positive information budget. A multiscale chaining argument promotes this pairwise inequality into a lower bound on bulk diameter, and a parallel-strip check in AdS₅/CFT₄ shows that the bound forces quantum corrections to lift the classical mutual-information transition.","feed_headline":"Mutual information sets a lower bound on bulk distance","feed_subtitle":"The bound grows logarithmically as correlations vanish, so too little entanglement forbids short spacetime distances.","key_machinery":"The load-bearing object is a two-step inequality chain. Quantum Pinsker supplies a state-dependent correlation budget: each bounded observable pair across \\(A,B\\) satisfies \\(|\\langle O_AO_B\\rangle-\\langle O_A\\rangle\\langle O_B\\rangle| \\le \\|O_A\\|_\\infty\\|O_B\\|_\\infty\\sqrt{2\\ln 2\\,I(A:B)}\\). The heavy-probe geodesic dictionary converts the same correlator into an exponentiated renormalized length \\(N_\\$\\Delta$ e^{-\\$\\Delta$ L_{\\mathrm{ren}}}\\). Composing these two relations and taking logarithms produces the metric-from-information bound, with calibration constant \\(\\kappa_\\$\\Delta$=|N_\\$\\Delta$|/B_\\$\\Delta$^2\\) absorbing the probe normalization and the code-subspace operator bound \\(B_\\$\\Delta$\\). A separate multiscale diameter bound (Theorem 2) chains these pairwise estimates along shortest paths, with a single alignment error \\(\\delta\\) per step, to control the entire bulk diameter.","core_discovery":"The paper's central claim is Theorem 1 (Section 3): for disjoint boundary regions \\(A,B\\) with \\(I(A:B)>0\\), the renormalized bulk geodesic length satisfies Eq. (3.2). The argument combines the quantum Pinsker inequality, which bounds every bounded connected bipartite correlator by \\(\\sqrt{2\\ln 2\\,I(A:B)}\\) times the product of operator norms, with the heavy-operator holographic dictionary \\(\\langle \\tilde O_\\$\\Delta$(x)\\tilde O_\\$\\Delta$(y)\\rangle_\\rho = N_\\$\\Delta$ e^{-\\$\\Delta$ L_{\\mathrm{ren}}(x,y)}(1+\\epsilon_{\\mathrm{tot}})\\), whose multiplicative error is controlled below unity. Taking logarithms gives the advertised logarithmic bound. The same logic is iterated over boundary cells at many scales: if neighboring cells lack mutual information at any resolution, the allowed bulk diameter grows, and a connected semiclassical bulk becomes inconsistent with the boundary state.","pith_inferences":["If this bound is saturated in generic states for the lightest primary, then bulk metric power laws become a direct read-off of boundary mutual-information decay exponents, giving a purely boundary diagnostic of bulk curvature.","The multiscale requirement suggests an information-theoretic notion of spatial connectivity: a testable extension would define a threshold mutual information per link in tensor-network models of holography and ask whether link values below threshold reproduce the predicted diameter growth.","Read in reverse, the divergence as \\(I(A:B)\\to 0\\) suggests that exact zero mutual information between separated regions should coincide with the absence of a finite-distance bulk probe, sharpening the meaning of an emergent metric in finite-dimensional toy models."],"forward_implications":["Ryu–Takayanagi is extended from entropy-area to information-distance: boundary mutual information constrains the metric itself, not just extremal areas.","Any proposed semiclassical geometry whose boundary regions carry too little mutual information to support the pairwise geodesic distances is ruled out without reconstructing the metric point by point.","A connected bulk of finite diameter requires positive mutual information between neighboring boundary cells at every resolution; the most information-poor scale controls the diameter.","In the parallel-strip vacuum the classical RT mutual information vanishes at \\(s_c=(\\sqrt{3}-1)\\ell\\) while the actual geodesic distance is finite, so subleading bulk-entropic corrections must lift the mutual information to a strictly positive value.","At large separation the logarithmic growth of the bound matches the semiclassical geodesic scaling \\(L_{\\mathrm{ren}}\\sim 2\\ln s\\) for bounded regions, with exact saturation at \\(\\Delta=\\Delta_{\\min}\\) in the pure AdS vacuum."],"supporting_citations":[{"why":"supplies the quantum Pinsker inequality bounding every bounded connected correlator by mutual information, the information-theoretic input of Theorem 1.","marker":"[13]"},{"why":"establishes the entropy-area dictionary that the paper extends from area to geodesic distance.","marker":"[6]"},{"why":"supplies the quantum extremal-surface prescription used to test and smooth the classical mutual-information transition.","marker":"[7]"},{"why":"provides the Rényi/QES extension used in the compatibility analysis of the transition window.","marker":"[8]"},{"why":"underpins bulk reconstruction inside the entanglement wedge, used in the RT/QES compatibility argument.","marker":"[16]"},{"why":"supplies the approximate-Markov recovery bound used to contrast reconstruction from small conditional mutual information with distance exclusion from small mutual information.","marker":"[18]"},{"why":"provides the typical Page-curve entropy whose insufficiency for determining mutual-information connectivity is demonstrated in Appendix G.","marker":"[17]"}],"fun_headline_variants":["Entanglement bounds spacetime distance from below","Too little entanglement lengthens spacetime paths","Quantum correlations impose spacetime distance floor","Mutual info sets a minimum on bulk geodesic length","Vanishing correlations drive spacetime distance to diverge"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise, flagged in Appendix A, is that compressing heavy operators by the nonlocal code projector still leaves bounded observables on the two boundary regions to which the quantum Pinsker inequality applies; if that compression destroys the tensor-product or commuting-algebra structure, the boundary mutual information can no longer be used to bound the geodesic correlator.","fun_headline_variants_meta":{"raw":{"variants":["Entanglement bounds spacetime distance from below","Too little entanglement lengthens spacetime paths","Quantum correlations impose spacetime distance floor","Mutual info sets a minimum on bulk geodesic length","Vanishing correlations drive spacetime distance to diverge"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00036,"raw_usage":{"total_tokens":1872,"prompt_tokens":795,"completion_tokens":1077,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":411,"completion_tokens_details":{"reasoning_tokens":1011}},"tokens_in":411,"tokens_out":1077,"duration_ms":8888,"temperature":1.0,"reasoning_tokens":1011,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T00:12:50.770293+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the exact mutual information and the code-compressed heavy-primary correlator in a boundary state with an independently known bulk geodesic length; if at any separated pair the correlator magnitude exceeds \\(B_\\$\\Delta$^2\\sqrt{2\\ln 2\\,I(A:B)}\\), the claimed bound is violated. A concrete place to look is the AdS₅/CFT₄ strip at the classical transition \\(s_c=(\\sqrt{3}-1)\\ell\\), where the theorem requires the subleading mutual information to be strictly positive and strong enough to keep the right side of Eq. (3.2) finite.","supporting_citations":[{"cited_title":"Ryu and T","cited_arxiv_id":null,"evidence_quote":"establishes the entropy-area dictionary that the paper extends from area to geodesic distance."},{"cited_title":"Engelhardt and A.C","cited_arxiv_id":null,"evidence_quote":"supplies the quantum extremal-surface prescription used to test and smooth the classical mutual-information transition."},{"cited_title":"Fawzi and R","cited_arxiv_id":null,"evidence_quote":"supplies the approximate-Markov recovery bound used to contrast reconstruction from small conditional mutual information with distance exclusion from small mutual information."},{"cited_title":"Page,Average entropy of a subsystem,Physical Review Letters71(1993) 1291","cited_arxiv_id":null,"evidence_quote":"provides the typical Page-curve entropy whose insufficiency for determining mutual-information connectivity is demonstrated in Appendix G."}],"review_version":1}