{"id":"6f4f5d2b-8df2-4d0e-9a1c-c5a60255030e","arxiv_id":"2502.01734","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Symmetric product orbifolds have large-N thermal correlators identical to BTZ, undercutting the claim that a type III1 von Neumann algebra implies a sharp emergent horizon.","lead":"Thermal two-point functions in symmetric product orbifolds at large N reproduce the BTZ black hole form for every seed CFT, even though these theories are not dual to Einstein gravity. The authors argue this similarity makes a purely algebraic criterion, continuous spectral density in the infinite-N thermal state, insufficient to certify an emergent horizon or spacetime.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The exact BTZ form in Eq. (3.17)/(5.1) rests on an unproven saddle-dominance step: only the representative pair g=(1)^{N-L}(L), h=1 is computed, and the full sum over commuting pairs, especially h=g^k with k != 0, is argued by analogy rather than shown to be subleading or seed-independent.","rationale":"The central claim is that symmetric product orbifolds reproduce BTZ thermal two-point functions at leading large N, and that this undermines using such two-point functions as a sufficient criterion for emergent horizons. The cleanest route is (3.7) -> (3.15). The step from one representative to the full sum is the weakest link: it is explicitly flagged by the authors as an argument ('it is not hard to see', 'we can argue') and not a computation. Everything downstream, including the coefficient of the image sum, seed independence, and the philosophical conclusion, depends on this. Alternative concerns such as untwisted-only scope and unpublished references in App. B are real but less central: the twisted-sector results are presented as partial, and App. B is a complementary route rather than the main derivation. The paper does have independent support: the coincidence-limit check (3.10), consistency with the [17] criteria in App. B, and prior results for specific seeds. The concern is not an accusation of error; it is an unfulfilled requirement for proving the headline statement. If the suggested test confirms that h != 1 terms are suppressed, the conditional verdict can be upgraded to ACCEPT. If not, the mirage conclusion is not established.","tokens_in":40305,"tokens_out":18019,"duration_ms":188200,"concrete_test":"Compute the contribution to (3.7) from g=(1)^{N-L}(L) summed over all h in its centralizer, for a solvable seed (e.g., a free boson or c=1/2 minimal model), at large L with beta<2 pi. Use the exact free-field torus two-point function with modular parameter tau_xi=(k+i beta/(2 pi))/L, perform the sum over k=0,...,L-1, and compare with the h=1 term (3.15). If the k != 0 terms are suppressed by e^{-const * L} or cancel to leave (3.15), the universality claim is supported; if they contribute at O(1), the exact BTZ form fails or acquires seed-dependent coefficients. This direct test can be done numerically for L=O(100) before taking the continuum limit.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The load-bearing step is the passage from the single-covering computation (3.13)-(3.15) to the universal claim (3.16)/(5.1). The authors evaluate the correlator only for g=(1)^{N-L}(L), h=1, and then assert in 'Regimes of validity' (p.22) that any long-cycle configuration gives the same leading result and that light probes do not shift the saddle. This is not a derivation from (3.7): the full Bantay sum includes commuting pairs with h=g^k on the long cycle, whose orbits have kappa=k != 0 and hence seed modular parameter tau_xi=(k+i beta/(2 pi))/L (Eq. (3.5)). The high-temperature seed correlator in (3.14) is written for imaginary tau; for nonzero tau_1 it can acquire phases or additional image terms. Whether these contributions cancel, are exponentially suppressed, or are seed-independent is not shown. Likewise, configurations with several long cycles or with the two insertions on different long cycles are not analyzed. Because the final result is an exact equality to the BTZ two-point function with coefficient unity, any unsuppressed correction from these configurations would break the claimed universality and the 'mirage' conclusion. The heuristic 'light probe does not affect the saddle' is plausible for the partition function, but it is exactly the type of step that needs proof for correlators, where the probe sums over images can be sensitive to subleading saddles.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies large-N correlation functions in symmetric product orbifolds. For untwisted single-trace scalar probes on the torus, it derives a Bantay-type formula for the thermal two-point function and evaluates the contribution of a single long twist cycle, obtaining Eq. (3.17), which equals the BTZ boundary two-point function for β < 2π independently of the seed theory. For four-point functions with two heavy twisted ground states and two light probes, the paper computes universal results for untwisted and twist-2 probes, e.g., Eqs. (4.16), (4.29), and (4.59), again with no dependence on seed OPE coefficients. The authors interpret these results as showing that infinite-N thermal two-point functions cannot distinguish symmetric product orbifolds from a theory with a sharp emergent horizon, thereby challenging the sufficiency of type III₁ algebra criteria for emergent spacetime. The paper also corrects a claim in the literature about typical twisted sectors and reviews the sparseness-based approach of Ref. [17] in an appendix.","tokens_in":40590,"tokens_out":3886,"duration_ms":42364,"significance":"If the central result holds, this is a significant contribution to the debate on what constitutes a holographic CFT: it provides an explicit large class of non-holographic CFTs whose thermal two-point functions exactly mimic BTZ correlators, directly undermining proposals that continuous spectral density or type III₁ operator algebras are sufficient for an emergent horizon. The paper's strengths are its explicit Bantay-based formalism, the clean computation of the representative long-cycle contribution, the coincidence-limit check of Eq. (3.10), and the detailed cover-map computations in Sec. 4. The authors are also honest about several limitations, including the lack of invertible cover maps for unequal-length cycles and the heuristic nature of the saddle-dominance step. However, the central universal claim is not fully established because the paper does not analyze the complete sum over commuting pairs in Eq. (3.7); the conclusion therefore rests on an unproven dominance assumption.","major_comments":[{"comment":"The derivation of the universal BTZ result evaluates only the representative pair (g,h) = ((1)^{N-L}(L), 1). The full Bantay sum in Eq. (3.7) also contains commuting pairs with h nontrivial on the long cycle; for h = g^k, Eq. (3.5) gives κξ = k, so the seed two-point function is evaluated at a complex modular parameter with nonzero real part. The high-temperature seed formula in Eq. (3.14) is written for imaginary τ, and the analytic continuation to complex τ is not discussed. Since Eq. (5.1) is an exact equality with coefficient unity, any unsuppressed or seed-dependent correction from these configurations would invalidate the universality claim. The authors should either prove that such contributions are exponentially suppressed or clearly state the result as a conjecture with a precise validity regime.","section":"Sec. 3.2, Eqs. (3.7), (3.13)–(3.17)"},{"comment":"The passage from the single-covering computation to Eq. (3.16) is argued heuristically: the text says 'it is not hard to see' and 'we can argue' that any long-cycle configuration gives the same leading result and that light insertions do not shift the dominant saddle. This is plausible for the partition function, but for correlators the probe sums over images can be sensitive to subleading saddles. In particular, configurations with several long cycles have combinatorial multiplicities that could compete with the single-long-cycle term, and the paper does not bound such contributions. This step is load-bearing because Eq. (3.17) is the basis for the paper's main interpretation. A complete derivation or an explicit estimate of the neglected terms is needed.","section":"Sec. 3.2, 'Regimes of validity' (p. 22)"},{"comment":"The summary result Eq. (5.3) is phrased for a general permutation g with cycles of length n, but the explicit derivation in Sec. 4.2 covers only the case of equal-length cycles that are joined by the twist-2 probe. The authors themselves state, for cycles of unequal length, that 'there is no cover map that is invertible' and hence they 'cannot make statements about universality.' This limitation should be reflected in the abstract or in Eq. (5.3) so that the scope of the claimed universal result for twisted probes is not overstated.","section":"Sec. 4.2.1 and Sec. 5.1, Eq. (5.3)"},{"comment":"The claim that symmetric product orbifolds satisfy all four conditions of Ref. [17] is used to argue universality of thermal correlators for all light operators, including twisted operators in Sec. 5.2. The discussion of the medium-state growth condition (B.5) is a sketch: the text refers to a 'similar argument' and to Ref. [50] rather than providing the required large-N estimate. Since this appendix is part of the evidence for the broader universality claim, the authors should either provide the explicit check or mark this as a conjecture.","section":"Appendix B, condition (B.5)"}],"minor_comments":[{"comment":"The notation 'iJOseed CχχOseed' is unexplained and appears to contain a typo or undefined symbol; please clarify or correct it.","section":"Eq. (3.12)"},{"comment":"The notation g = (1)^{N-L}(L) is clear to experts but should be defined explicitly for readers unfamiliar with cycle notation in permutation orbifolds.","section":"Sec. 3.2"},{"comment":"The normalization factor N in Eq. (4.45) is easily confused with the total number of copies N; consider renaming it (e.g., \\mathcal{N}) to avoid ambiguity.","section":"Eqs. (4.43)–(4.53)"},{"comment":"The correction to Refs. [36,81,82] would be more useful if it identified the precise statement being corrected rather than referring to the papers collectively.","section":"Sec. 4.1.1"}],"recommendation":"major_revision","confidential_remarks":"The paper is well written and honest about its limitations, but the central claim of exact BTZ universality rests on an unproven saddle-dominance step in the sum over commuting permutations. This is a genuine load-bearing gap rather than a cosmetic issue, so major revision is appropriate. The reliance on unpublished work (Refs. [77] and [96]) for part of the argument should also be addressed in the revised version, either by making the relevant results available or by removing the dependence."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nHere's my take on Belin–Bintanja–Castro–Knop. The headline result is real and worth knowing: symmetric product orbifolds at large N reproduce the BTZ thermal two-point function for untwisted single-trace scalars above Hawking–Page, and the authors use that to argue that a continuous spectral density plus BTZ-looking correlators cannot certify emergent spacetime. That is a significant correction to the operator-algebra criteria of Leutheusser–Liu and Gesteau–Liu.\n\nWhat is actually new: the explicit all-images formula (3.17) for arbitrary seed CFTs, and the universality in twisted ground states (Sec. 4), including the correction to Balasubramanian–Kraus–Shigemori about typical partitions. The Bantay-based torus correlator (3.7) is a clean tool. The paper also gives a complementary route via the Kraus–Sivaramakrishnan–Snively conditions in App. B, which checks that the light-sector criteria are satisfied. That is a useful cross-check, though it depends on unpublished notes [96].\n\nThe main soft spot is the one the authors themselves flag in 'Regimes of validity' (p. 22). The derivation computes only the representative g=(1)^{N−L}(L), h=1, and then argues that any long cycle gives the same leading answer and that light probes do not shift the saddle. The stress-test note is correct that h=g^k configurations produce seed modular parameters (k + iβ/2π)/L with a real part, and the high-temperature seed formula (3.14) is written for imaginary τ. Whether those terms cancel, are exponentially suppressed, or are seed-independent is not shown. This is a genuine gap in the proof, not a demonstrable error. The section on twisted probes has a similar gap: genus-one cover contributions are left uncomputed, so the normalization N0 for the two-cycle ground state is unfixed; the authors fix it only for q-cycle configurations. These are the places a referee should push.\n\nI think the central claim is probably right—the partition-function long-cycle dominance is well established, and the correlator computation is natural. But 'probably right' is not the same as 'proven', and the paper is honest about that. The writing is clear and the authors do not oversell.\n\nFor peer review: yes, send it out. The significance is high, the gaps are identifiable and potentially fixable, and a good referee can either close them or find a counter-configuration. I'd bring it to reading group. I would cite it if I worked on symmetric orbifolds or thermal algebraic properties.","headline":"High-impact challenge to emergent-spacetime criteria, with a real but acknowledged gap in the saddle-dominance argument.","tokens_in":41169,"tokens_out":3482,"would_cite":true,"duration_ms":37067,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81T40","83C57"],"pacs":[],"model":"deepseek-v4-flash","headline":"Symmetric product orbifolds reproduce BTZ thermal correlators exactly","keywords":["symmetric product orbifolds","thermal two-point functions","BTZ black hole","Hawking-Page transition","universality at large N","emergent spacetime","von Neumann algebras","twisted sectors"],"falsifier":"Compute the full sum over all commuting (g,h) in Eq. (3.7) for a specific solvable seed, such as a free boson, at large but finite N, keeping all multi-cycle and off-diagonal contributions to the two-point function; if any family of commuting pairs contributes at order $N^{0}$ and modifies the sum over images, the exact BTZ form fails. A more direct test is to find one seed CFT for which Eq. (3.17) is violated above the Hawking-Page transition at leading order in N, which would falsify universality.","tokens_in":1835,"feed_emoji":"🕳️","tokens_out":1694,"duration_ms":64960,"temperature":0.7,"pith_summary":"This paper argues that in symmetric product orbifolds, the large-N thermal two-point function of any untwisted single-trace scalar operator is universal: above the Hawking-Page transition it equals the BTZ boundary two-point function, for any choice of seed CFT. The same universality extends to two-point functions of light probes in typical twisted ground states, which reproduce the two-point function on a conical defect geometry that becomes massless BTZ as N grows. The authors' point is that this exact match with black-hole correlators occurs in theories that are not dual to semiclassical gravity, because they have higher spin currents, Hagedorn spectra, and no chaos. From this they conclude that requiring the infinite-N thermal two-point function to look like BTZ, or the associated von Neumann algebra to be type III₁, cannot be a sufficient criterion for emergent spacetime or a sharp horizon. A reader should care because it pins down what thermal data can and cannot certify about holography.","feed_headline":"Symmetric product orbifolds reproduce BTZ thermal correlators exactly","feed_subtitle":"Their thermal two-point functions match the black hole answer, so such matches alone cannot certify an emergent horizon.","key_machinery":"The central machinery is the sum over pairs of commuting permutations (g,h) that gives torus correlators of permutation orbifolds, with each orbit contributing a seed partition function or seed correlator on a covering torus with modular parameter τ_ξ=(μ_ξ τ+κ_ξ)/λ_ξ. The paper isolates the contribution from a long cycle g=(1)^{N-L}(L) with L∼N; long cycles generate two effects: an enhanced effective temperature τ/L for the seed correlators, forcing them into the universal β→0 form, and a sum over periodic images that yields the sum over j∈Z in Eq. (3.17). The claim is that these two effects are universal and dominate all other commuting pairs at large N, making the seed theory drop out.","core_discovery":"The central discovery is Eq. (3.17)/(5.1): at large N and β<2π, the thermal two-point function of an untwisted single-trace scalar in Sym^N(C) takes the exact BTZ form, independent of the seed CFT. The mechanism is that the dominant cover surface comes from a long twist cycle of length L∼N; the seed two-point function is evaluated at an effective temperature enhanced by L, so it is in its universal high-temperature regime, and the periodic images on the cover produce the sum over images that is exactly the BTZ answer. The paper also shows that two-point functions of light operators in twisted ground states with long cycles are universal, giving the same functional form as the M=0 BTZ geometry in the limit. Because symmetric product orbifolds are explicitly not dual to Einstein gravity, the paper interprets the match as evidence that thermal two-point data alone cannot single out holographic theories.","pith_inferences":["If the paper is right, the BTZ form is likely a generic property of sparse large-N CFTs, so a convincing holography test must use data beyond two-point functions, such as OTOCs, higher-point functions, or 1/N corrections.","One can test the proposal by computing thermal two-point functions of twisted-sector operators on the torus; if universality persists there, even more algebraic criteria lose discriminating power, and if it fails, different probes would see different effective geometries.","A natural extension is to resum the full tower of exponentially many light single-trace operators and ask whether the full von Neumann algebra remains type III₁ or collapses to type I, which would sharpen the 'mirage' interpretation.","The paper's corrected statement about partitions (no typical partition, but a typical N-scaling) could be used to derive statistical predictions for microstate correlators in other orbifold-like ensembles."],"forward_implications":["Protected single-trace operators in the D1-D5 system have thermal two-point functions that are unchanged by the coupling at leading order in the large-N limit, even though thermal correlators are not generally protected.","Each single-trace operator generates a subalgebra that formally looks type III₁ with infinite causal depth, matching the algebraic criterion for a horizon, while the full symmetric product orbifold is not a standard gravitational dual.","The sparse-spectrum and factorization conditions used in earlier large-c analyses are satisfied, so those conditions cannot distinguish holographic CFTs from non-holographic ones.","Two-point functions in twisted ground states match conical-defect or massless-BTZ answers for typical partitions, not just in the thermal ensemble.","The results imply that a condition on the infinite-N thermal two-point functions cannot be stringent enough to define an emergent spacetime or a sharp horizon."],"supporting_citations":[{"why":"Establishes Hagedorn growth and the Hawking-Page phase structure of symmetric product orbifolds that Sec. 3.2 builds on.","marker":"[18]"},{"why":"Supplies the sparseness condition that yields the universal thermal phase structure which the paper extends to correlators.","marker":"[15]"},{"why":"Provides the large-c thermal correlator universality criteria that the paper compares with its explicit computations.","marker":"[17]"},{"why":"Gives the cover-space method for correlation functions with twisted insertions used throughout Sec. 4.","marker":"[43]"},{"why":"Companion cover-space computation used for the twisted probe correlators.","marker":"[44]"},{"why":"The DMVV product formula for the grand canonical partition function, which underlies the large-N analysis.","marker":"[45]"},{"why":"Analyzes permutation orbifolds at large N and the dominance of twisted sectors with long cycles.","marker":"[39]"},{"why":"Identifies the effective geometries (massless BTZ and conical defects) that the universal correlators reproduce.","marker":"[36]"},{"why":"Earlier derivation of the boundary two-point function in BTZ that identifies Eq. (3.17) as the bulk answer.","marker":"[79]"}],"fun_headline_variants":["Symmetric orbifolds mimic BTZ correlators, but no gravity","BTZ correlators from orbifolds: no emergent spacetime","Universal BTZ mimics from symmetric product orbifolds","Orbifold thermal correlators fool us: no emergent horizon"],"cache_read_input_tokens":43136,"weakest_assumption_plain":"The load-bearing premise is that, in the large-N sum over commuting permutations, the leading contribution comes from long twist cycles, and that inserting light operators does not change which saddles dominate; this is argued heuristically rather than proven by evaluating the full sum over all commuting pairs.","fun_headline_variants_meta":{"raw":{"variants":["Symmetric orbifolds mimic BTZ correlators, but no gravity","BTZ correlators from orbifolds: no emergent spacetime","Universal BTZ mimics from symmetric product orbifolds","Orbifold thermal correlators fool us: no emergent horizon"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000863,"raw_usage":{"total_tokens":3696,"prompt_tokens":849,"completion_tokens":2847,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":465,"completion_tokens_details":{"reasoning_tokens":2775}},"tokens_in":465,"tokens_out":2847,"duration_ms":17177,"temperature":1.0,"reasoning_tokens":2775,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-09T14:37:40.703535+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the full sum over all commuting (g,h) in Eq. (3.7) for a specific solvable seed, such as a free boson, at large but finite N, keeping all multi-cycle and off-diagonal contributions to the two-point function; if any family of commuting pairs contributes at order $N^{0}$ and modifies the sum over images, the exact BTZ form fails. A more direct test is to find one seed CFT for which Eq. (3.17) is violated above the Hawking-Page transition at leading order in N, which would falsify universality.","supporting_citations":[{"cited_title":"Phase transitions in symmetric orbifold CFTs and universality","cited_arxiv_id":"1101.4937","evidence_quote":"Establishes Hagedorn growth and the Hawking-Page phase structure of symmetric product orbifolds that Sec. 3.2 builds on."}],"review_version":1}