{"id":"c6f2980a-f398-4ce3-89ac-da8ff6f68e96","arxiv_id":"2508.16977","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Cross-boundary entanglement thread flux in a planar BTZ wormhole is computed explicitly (Eq. 53) and shown to integrate to the standard thermal entropy density.","lead":"The paper derives explicit formulas for entanglement threads that connect the two boundaries of a planar BTZ black hole wormhole, and shows their total flux equals the standard thermal entropy density. It then argues these threads must form perfect-tensor quantum entanglement with internal threads, giving a refined picture of where black hole entanglement lives.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The appendix lemma (75) supporting the central sum rule (54) is not proven: the derivation contains a sign/range error and the final matching to the CMI is merely asserted.","rationale":"The reader's weakest assumption is exactly the appendix lemma, and our review confirms it is the right target. The derivation of Eq. (53) itself uses only the well-established CMI formula on the Poincaré disk and is not in question. What is in question is the subsequent identification of the integrated cross-boundary flux with the thermal entropy density: Eq. (54) is asserted to follow from Eq. (75), and Eq. (75) is not established. We found specific algebraic difficulties in the appendix: the sign/range claim in Eq. (78) is false for k<1, the step to Eq. (84) restricts parameters without justification, and the final matching to the CMI is not shown. These are internal-consistency issues, not a disagreement with consensus, and they can be resolved by a correct derivation or a direct numerical check. Until then the paper's central consistency claim is conditional, matching the reader's verdict.","tokens_in":26470,"tokens_out":9315,"duration_ms":96836,"concrete_test":"Evaluate both sides of Eq. (75) for R=1 with two representative configurations, e.g., (b,c)=(0.5,0.7) and (1.5,0.8), with a=π-b-c. Compute dσ from the integral (82)-(83) using the exact θ values from (77)-(79), and compute 1/2 I(a:D|b) using the standard Poincaré disk geodesic length l=2 ln[(2R/ε) sin(Δ/2)] with cyclic order b-a-c-D, sending ε→0. If equality holds only for b>R, the lemma has an unstated restriction; if it fails, the sum rule (54), and hence the claimed recovery of ρ=πc/(3β_CFT), is unsupported by the current proof.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central consistency check of the paper—summing the cross-boundary flux (53) over all mirror regions and obtaining the thermal entropy density (56)—rests entirely on the geometric lemma in Appendix A, dσ = 1/2 I(a:D|b) (Eq. (75)). The proof of this lemma is not merely abbreviated; it contains a concrete algebraic error. Eq. (77) gives cosθ1 = -2(k-1)/(k^2-2k+2), which for k=b/R<1 is positive (e.g., k=1/2 gives cosθ1=0.8), contradicting the claimed range cosθ1∈[-1/√2,0) in Eq. (78). The transition from Eq. (83) to Eq. (84) also drops absolute values and uses (2R-b)/b and (2R-c)/c, which requires k,m∈(1,2), a restriction neither stated nor justified. Finally, the last step asserts, without calculation, that (84) matches exactly the right-hand side of (75); the RHS is never expanded in terms of b,c,R, so no equality is demonstrated. Since Eq. (54) is the only link between the refined thread flux (53) and the standard thermal entropy density, this unproved lemma is the load-bearing point. The paper provides no independent check, such as a direct summation of (53) or a numerical evaluation of (75).","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops an entanglement-thread description of the planar BTZ black hole, building on the author's earlier thread framework. Using the equivalence between the two-sided planar BTZ slice and the Poincaré disk, it derives explicit formulas for the number of threads connecting a boundary region A_i on one side to a same-side region A_j (Eq. (27)/(48)) and to a mirror region \\bar{A}_j on the other side (Eq. (53)). The central quantitative claim is that summing the cross-boundary flux (53) over all mirror regions reproduces the thermal entropy density \\rho = \\pi c/(3\\beta_{\\rm CFT}) of the dual CFT, as stated in Eqs. (54)-(56). The paper also discusses connections to bit threads, RT phase transitions, partial entanglement entropy, and perfect-tensor states. The derivation of the individual flux formulas is coherent and cutoff-independent, but the sum rule (54) rests on the geometric lemma (75) whose proof in Appendix A is incomplete and contains algebraic inconsistencies.","tokens_in":26763,"tokens_out":6836,"duration_ms":70746,"significance":"If the central claim holds, the paper provides a quantitative thread-level decomposition of thermal interval entanglement into same-side and wormhole-crossing contributions, which is a meaningful refinement of the bit-thread picture and gives new support for a perfect-tensor interpretation of black-hole entanglement. The paper's derivations of (48) and (53) from geodesic lengths and conditional mutual information are transparent, and the RT phase-transition analysis in Section 4.2 correctly reproduces the known critical point. The main obstacle is that the geometric lemma (75) supporting the central sum rule (54) is not proven in the appendix; without that lemma, the connection between the refined flux (53) and the standard thermal entropy density is not established.","major_comments":[{"comment":"The claimed range in Eq. (78) is inconsistent with Eq. (77) for the stated parameter regime. For k = b/R < 1, Eq. (77) gives cos\\theta_1 = -2(k-1)/(k^2-2k+2) > 0 (e.g., k = 1/2 gives cos\\theta_1 = 0.8), while Eq. (78) asserts cos\\theta_1 \\in [-1/\\sqrt{2}, 0). This contradiction indicates a sign or angle-convention error in Eqs. (76)-(78), and it prevents the reader from following the subsequent evaluation of the integral (81).","section":"Appendix A, Eqs. (77)-(78)"},{"comment":"The simplification from Eq. (83) to Eq. (84) is not valid as written. Each factor in Eq. (83) reduces to ((m-2)^2)/m^2 or ((k-2)^2)/k^2, so the logarithm gives \\log|2-m|/m + \\log|2-k|/k rather than \\log[(2R-c)/c \\cdot (2R-b)/b], unless one assumes 0 < b,c < 2R and chooses signs appropriately; neither the restriction nor the sign choice is stated or justified. The intermediate geodesic-length computations that would justify Eq. (84) are omitted.","section":"Appendix A, Eqs. (83)-(84)"},{"comment":"The key identity (75) is not proven: after Eq. (84) the text asserts 'it is evident' that the result matches the right-hand side of Eq. (75), but the right-hand side (1/2)(d_{ab} + d_{ac} - d_b - d_c) is never expanded in terms of b, c, and R. Since Eq. (75) is the only support for the sum rule (54), and Eq. (54) is the link between the refined flux (53) and the thermal entropy density (56), this is a load-bearing gap. A direct summation of Eq. (53) over all \\bar{A}_j, or a numerical evaluation of Eq. (75), would provide the needed independent check.","section":"Appendix A, final matching and Eq. (54)"}],"minor_comments":[{"comment":"The notation \\sigma_i is introduced in Section 2.2, but in the two-sided disk representation its length is identified with L\\Delta\\Phi' without an explicit derivation; please state this identification and the IR cutoff convention used to make the horizon segment finite.","section":"Section 3.2.2, Eq. (54)"},{"comment":"The horizontal axis is labeled only by \\tilde{a}, and the normalization of the plotted F_{ij} and F_{i\\bar{j}} curves is not specified; please add axis labels and state the fixed elementary-region size and temperature used.","section":"Figure 9"},{"comment":"The substitution (49) assumes an orientation convention for the endpoints of \\bar{A}_j; please spell out which endpoint is \\bar{\\xi}_{j1} and which is \\bar{\\xi}_{j2} so that the absolute values in Eq. (50) are unambiguous.","section":"Section 3.2.2, Eq. (50)"},{"comment":"The caption contains the typo 'BZT boundary region'; it should read 'BTZ boundary region'.","section":"Figure 12 caption"},{"comment":"The word 'horizon' is used for both the BTZ horizon and the geodesic \\Sigma in the appendix; please clarify explicitly that \\Sigma is the image of the BTZ horizon in the chosen upper-half-plane representation.","section":"Appendix A, around Eq. (75)"}],"recommendation":"major_revision","confidential_remarks":"The main technical gap is confined to Appendix A, and the central claim may well be correct, so I recommend major revision rather than rejection. Please also ask the authors to state explicitly how the present results go beyond their earlier thread/state papers [17] and [23], since the framework and notation rely heavily on those works."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: the genuinely new piece is Eq. (53), the cross-boundary thread flux F_{i\\bar{j}}, and the sum rule (54) that integrates it to the standard thermal entropy density. The derivation of (53) from the known pure-AdS conditional mutual information formula via coordinate transformation is coherent and easy to follow, and the authors are honest that the same-side flux (27) was already known. The reconciliation with partial entanglement entropy in Eq. (74) is also a nice consistency check.\n\nWhere the paper is soft is exactly where the stress-test note says it is soft: Appendix A. The lemma d\\sigma = (1/2) I(a:D|b) is the only bridge between the refined thread flux and the thermal entropy density, and the proof as written does not work. Eq. (77) gives cos\\theta_1 = -2(k-1)/(k^2-2k+2), which is positive for k<1, contradicting the claimed range in Eq. (78). The step from Eq. (83) to Eq. (84) either drops absolute values or silently assumes k and m lie in (1,2), a restriction that is neither stated nor justified. And the final line, where (84) is said to match the right-hand side of (75), is exactly where the calculation is needed: the RHS is never expanded in terms of b, c, and R, so no equality is actually demonstrated. There is also no independent check, such as a direct summation of (53) or a numerical evaluation of (75). This is a load-bearing gap, not a cosmetic one.\n\nThe perfect-tensor discussion in Sec. 4.2 is also more interpretive than derived. It is reasonable as a tensor-network reading of the thread competition, but the paper presents it as a conclusion rather than a proof. That would be fine in a discussion section, but it should not be advertised as one of the main results.\n\nAll that said, the core quantitative framework is not incoherent. The same-side and cross-side flux formulas are explicit, cutoff-independent, and reduce correctly to known entropies at the level of (48) and (53). The flaws are concentrated and addressable: rewrite the appendix with a real geodesic-length computation, state the ranges on b and c, expand the RHS of (75), or replace the lemma with a direct summation argument. If that gets repaired, this becomes a solid contribution to the kinematic-space/bit-thread/PEE literature. As it stands, I would not cite the sum rule as established, though the cross-flux formula (53) is likely worth citing on its own.\n\nFor peer review: yes, send it to a serious referee. It is an honest, useful paper with one fixable but genuine proof gap. The referee should be asked to focus on Appendix A and on whether the thermal-entropy sum rule can be proven independently.","headline":"Useful new cross-boundary thread-flux formula for planar BTZ, but the appendix lemma that anchors the thermal-entropy sum rule is genuinely unproven and needs to be fixed before the central claim can be cited as established.","tokens_in":27310,"tokens_out":3562,"would_cite":true,"duration_ms":41556,"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 claims that the entanglement entropy of a boundary interval in the planar BTZ black hole has a thread-level decomposition into same-side and wormhole-crossing contributions, with the cross-wormhole flux summing exactly to the…","keywords":["entanglement threads","BTZ black hole","holographic entanglement entropy","conditional mutual information","thermal CFT","wormhole","partial entanglement entropy","perfect tensor state"],"falsifier":"Choose generic values of the interval sizes $b$ and $c$ and the disk radius $R$ in the upper-half-plane model, compute the horizon segment length $d\\sigma$ by direct numerical integration of the hyperbolic metric, and compare it with $\\tfrac12(d_{ab}+d_{ac}-d_b-d_c)$ obtained from standard geodesic lengths; any mismatch falsifies Eq. (75). Alternatively, sum the $\\cosh$-ratio flux (53) numerically over many mirror intervals and check that it approaches $a_i\\cdot \\pi c/(3\\beta_{\\mathrm{CFT}})$ without using the lemma.","tokens_in":26282,"feed_emoji":"🧵","tokens_out":8903,"duration_ms":83286,"temperature":0.7,"pith_summary":"This paper extends the entanglement-thread picture of holographic entanglement, previously developed for the vacuum, to the planar BTZ black hole and its dual finite-temperature CFT. The central proposal is that the von Neumann entropy of a boundary interval can be decomposed into threads whose endpoints lie on the same boundary and threads that pass through the wormhole to the opposite asymptotic boundary. The quantitative core is a formula for the cross-wormhole flux between an interval and its mirror interval, and the statement that summing this flux over the entire opposite boundary reproduces the standard thermal entropy density $\\rho = \\pi c/(3\\beta_{\\mathrm{CFT}})$. If correct, this gives a thread-by-thread account of how thermal entropy is distributed in a holographic state and ties the apparent RT-surface phase transition to a competition between two thread flows.","feed_headline":"Thermal entropy emerges from wormhole-crossing threads","feed_subtitle":"One flux formula, summed over the mirror boundary, yields the known entropy density of a finite-temperature CFT.","key_machinery":"The load-bearing mechanism is the entanglement-thread flux function $F_{ij} = \\tfrac12 I(A_i, A_j | \\tilde L)$, half the conditional mutual information between two elementary boundary regions separated by an interval $\\tilde L$; in the thread picture this counts the number of threads connecting the two regions. The paper computes these fluxes in the two-sided planar BTZ black hole by mapping its equal-time slice to the Poincaré disk, with the horizon as the disk diameter, exploiting the cutoff-independence of conditional mutual information to switch between BTZ and global-AdS cutoff schemes. The geometric lemma in the appendix, $d\\sigma = \\tfrac12 I(a:D|b)$, asserts that the horizon segment cut out by two orthogonally intersecting reference geodesics has length equal to half the conditional mutual information between the boundary interval $a$ and the opposite boundary $D$; this lemma is what converts the thread-flux sum into the thermal entropy density.","core_discovery":"On the paper's own terms, the discovery is that a boundary interval $A_i$ in the two-sided planar BTZ geometry receives entanglement threads from two sources with explicit fluxes: from an interval $A_j$ on the same side, $F_{ij} = \\frac{c}{6}\\ln\\big[\\sinh(\\pi(a_i+\\tilde a)/\\beta)\\sinh(\\pi(a_j+\\tilde a)/\\beta)/(\\sinh(\\pi(a_i+\\tilde a+a_j)/\\beta)\\sinh(\\pi\\tilde a/\\beta))\\big]$, and from its mirror $\\bar A_j$ on the other side, $F_{i\\bar j} = \\frac{c}{6}\\ln\\big[\\cosh(\\pi(a_i+\\tilde a+a_j)/\\beta)\\cosh(\\pi\\tilde a/\\beta)/(\\cosh(\\pi(a_i+\\tilde a)/\\beta)\\cosh(\\pi(a_j+\\tilde a)/\\beta))\\big]$. Summing $F_{i\\bar j}$ over all mirror intervals gives exactly the area of the horizon segment $\\sigma_i$ divided by $4G_N$, which translates to $\\rho = \\pi c/(3\\beta_{\\mathrm{CFT}})$, the known thermal entropy density. The paper further shows that the RT phase transition for a disconnected region $A = A_1 \\cup A_2$ is a continuous competition between the flows $F_{A_1A_2}$ and $F_{\\bar A D}$, with equality at $\\alpha' = (\\ln 2)/2$, and argues that this continuity requires the wormhole-crossing threads and the internal same-side threads to pair into rank-4 perfect-tensor states.","pith_inferences":["A direct numerical summation of Eq. (53) over mirror intervals, without invoking the appendix lemma, would independently verify the thermal-entropy sum rule and isolate whether the asserted geometric matching is the only fragile step.","The same cut-and-glue argument suggests explicit thread-flux formulas for multi-boundary wormholes in AdS3; computing and testing one such flux against RT surfaces would extend the paper's central claim beyond the two-sided case.","The perfect-tensor claim predicts that at the critical point the four-party state on $A_1, A_2, \\bar A, D$ is absolutely maximally entangled; a tensor-network calculation of its tripartite mutual information (which should vanish for a perfect state) would test this prediction directly.","Following the paper's kinematic-space reasoning, one would expect an analogue of the cosh-ratio flux in higher-dimensional planar black holes; whether such an exact formula exists is left open, so deriving it would show the three-dimensional result is not an artefact of the Poincaré-disk construction."],"forward_implications":["For every elementary boundary interval $A_i$, the horizon contribution to its entropy is resolved into a sum of mirror-interval fluxes given by the cosh-ratio formula, so the coarse-grained uniform horizon flow of earlier bit-thread pictures is replaced by a fine-grained distribution.","The partial entanglement entropy of a subregion in the single-sided BTZ black hole is given by $s_A(A_i) = \\sum_{j\\in U\\setminus A}F_{ij} + \\sum_{\\bar j\\in D}F_{i\\bar j}$, which reproduces the earlier PEE formulas once the explicit fluxes are inserted.","The RT phase transition for a disconnected region is continuous in the thread picture: the two candidate surfaces correspond to which of $F_{A_1A_2}$ and $F_{\\bar A D}$ is larger, and the transition occurs at $\\alpha' = (\\ln 2)/2$ where both fluxes equal $(c/6)\\ln 2$.","At the critical point the thread configuration cannot be described by independent Bell pairs; it requires rank-4 perfect-tensor states, so the wormhole-crossing and internal threads must share perfect-type multipartite entanglement.","The construction generalizes in principle to multi-boundary wormholes obtained by quotienting the Poincaré disk, where thread flows would be cut and reglued along identified geodesics."],"supporting_citations":[{"why":"Introduces the bit-thread picture and the representation of thermal entropy as threads crossing the horizon.","marker":"[10]"},{"why":"Defines holographic entanglement threads as quantum wires along geodesics and underlies the thread/state interpretation.","marker":"[17]"},{"why":"Supplies the core relation $F_{ij}=\\frac12 I(A_i,A_j|\\tilde L)$ and the locking-thread method used to solve thread configurations.","marker":"[23]"},{"why":"Provides the Ryu-Takayanagi formula and its application to BTZ black holes, which the thread fluxes must reproduce.","marker":"[33,34]"},{"why":"Gives the thermal CFT entanglement entropy formula (20) that the final sum rule is compared against.","marker":"[49]"},{"why":"Lays out the planar BTZ metric and the two-sided black hole geometry from which the thread configuration is built.","marker":"[52,53]"},{"why":"Supplies the Poincaré-disk representation of the BTZ slice used to map the two-sided problem to the pure-AdS computation.","marker":"[45]"},{"why":"Establishes the cutoff-independence of conditional mutual information in BTZ, allowing the switch between cutoff schemes.","marker":"[47]"}],"fun_headline_variants":["Wormhole-crossing threads sum to thermal entropy","Mirror-boundary thread flux yields CFT entropy density","Threads across wormhole reproduce finite-T entropy","Perfect tensors from wormhole thread pairing","Entanglement threads explain BTZ thermal entropy"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The central sum rule rests on the appendix's geometric lemma, and the lemma's final step—equating the directly computed horizon-segment length with half the conditional mutual information—is asserted as 'evident' without showing the intervening geodesic-length algebra; if that equality fails, the claimed thread-flux sum reproducing thermal entropy density does not follow.","fun_headline_variants_meta":{"raw":{"variants":["Wormhole-crossing threads sum to thermal entropy","Mirror-boundary thread flux yields CFT entropy density","Threads across wormhole reproduce finite-T entropy","Perfect tensors from wormhole thread pairing","Entanglement threads explain BTZ thermal entropy"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000593,"raw_usage":{"total_tokens":2815,"prompt_tokens":1020,"completion_tokens":1795,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":636,"completion_tokens_details":{"reasoning_tokens":1723}},"tokens_in":636,"tokens_out":1795,"duration_ms":12550,"temperature":1.0,"reasoning_tokens":1723,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T17:09:56.143932+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Choose generic values of the interval sizes $b$ and $c$ and the disk radius $R$ in the upper-half-plane model, compute the horizon segment length $d\\sigma$ by direct numerical integration of the hyperbolic metric, and compare it with $\\tfrac12(d_{ab}+d_{ac}-d_b-d_c)$ obtained from standard geodesic lengths; any mismatch falsifies Eq. (75). Alternatively, sum the $\\cosh$-ratio flux (53) numerically over many mirror intervals and check that it approaches $a_i\\cdot \\pi c/(3\\beta_{\\mathrm{CFT}})$ without using the lemma.","supporting_citations":[{"cited_title":"The thread embodiment of holographic quantum entanglement","cited_arxiv_id":"2501.10691","evidence_quote":"Defines holographic entanglement threads as quantum wires along geodesics and underlies the thread/state interpretation."},{"cited_title":"Equivalence of Emergent de Sitter Spaces from Conformal Field Theory","cited_arxiv_id":"1604.02687","evidence_quote":"Supplies the Poincaré-disk representation of the BTZ slice used to map the two-sided problem to the pure-AdS computation."},{"cited_title":"Cluster algebraic description of entanglement patterns for the BTZ black hole","cited_arxiv_id":"2108.10638","evidence_quote":"Establishes the cutoff-independence of conditional mutual information in BTZ, allowing the switch between cutoff schemes."}],"review_version":2}