{"id":"b0b0bade-c9ba-4569-b69a-286138bc9069","arxiv_id":"2607.21397","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A multi-winding Wilson loop in thermal AdS3 is re-expressed as a sum over single-winding Wilson loops, one per multi-trace primary, so a free bulk field becomes a tower of Wilson lines.","lead":"The paper shows that a known way to compute one-loop effects in 3D gravity—Wilson spools, sums of loops wound many times—can be rewritten as a list of single loops, one for each multi-particle state of a free field. This gives a new way to think of ordinary matter in AdS3 as a tower of Wilson lines, and relates smooth black-hole backgrounds to sums over heavy quantum states.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"BTZ 'microscopic' claim rests on unproven TQFT-skeleton premise (companion paper [9] 'to appear'); thermal AdS3 tower itself is sound.","rationale":"The reader's weakest assumption is exactly the TQFT-skeleton premise in Section 4: heavy primary as a Wilson line, light probe as a Verlinde line with eigenvalue S_{aP}/S_{0P}, and the Cardy density S0P as the heavy spectrum. The paper itself flags this as an unproven premise, and the companion paper [9] is 'to appear'. I agree that this is the most load-bearing concern because the abstract's 'microscopic description of one-loop determinants on the smooth BTZ handlebody' is a central advertised result, and without [9] it cannot be verified. I considered whether the thermal-AdS3 tower itself has a hidden flaw; I found none. The decomposition (2.31) follows from the plethystic exponentiation and the global-character expansion, and the Virasoro dressing (3.4) is the standard factorization of a Verma-module character. The admitted limitation in §4.3 is therefore the decisive issue. Since the reader already assigned CONDITIONAL for this reason, my independent assessment does not change the verdict: the paper's thermal-AdS3 core is defensible, but the BTZ claims are conditional on an external framework that has not yet appeared.","tokens_in":32672,"tokens_out":15340,"duration_ms":148118,"concrete_test":"Compute the defect-twined character Z^tw_{a|P}(τ) = Tr_{V_P}(D_a q^{L0-c/24}) in Liouville theory (or another solvable non-rational CFT) where the Virasoro modular kernel S_{aP} and the topological defect D_a are independently defined, and check whether it equals (S_{aP}/S_{0P}) χ_P(τ). This directly tests the eigenvalue formula (4.6) that underlies the BTZ cycle-exchange argument.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The thermal-AdS3 half (Sections 2–3) is a correct symmetric-function identity: exponentiating the spool (2.9) and decomposing each Sym^N module into global characters gives single-winding loops labeled by multi-trace primaries, and the Virasoro dressing factorizes cleanly in Eq. (3.4). The load-bearing gap is the BTZ half. Equation (4.6) identifies the light probe on a heavy primary with a Verlinde-line eigenvalue S_{aP}/S_{0P}, and Eq. (4.8) obtains the cycle-exchanged light character by integrating against the Cardy density S0P. This is modular covariance dressed as a microscopic derivation; it presupposes the TQFT-skeleton premise that a heavy Virasoro primary is a Wilson line and that a light probe is a topological Verlinde line. The paper concedes this in §4.3: 'if one grants that the underlying UV-complete bulk description of AdS3/CFT2 is a TQFT with Wilson lines…', and the framework is relegated to companion paper [9] 'to appear'. Without [9], the central abstract claim of a 'microscopic' BTZ one-loop determinant is an assumption, not a result. The step from twined characters to the full BTZ one-loop determinant ('the structure of that step is the same as in thermal AdS3') is also explicitly skipped, so the advertised microscopic description is not independently checkable.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims that the Wilson spool representation of the one-loop scalar partition function on thermal AdS3 can be rewritten as a sum over single-winding Wilson loops, one for each multi-trace primary, and that this 'Wilson tower' is the bulk description of a generalized free field. Sections 2 and 3 develop the symmetric-function decomposition: the fixed-N multi-particle characters are decomposed into global SL(2) characters labeled by multi-trace primaries, and a universal boundary-graviton factor promotes each global module to a Virasoro module. Section 4 extends the picture to the BTZ handlebody, where a light probe on a heavy primary is represented by a Verlinde-line eigenvalue and summing over heavy primaries with the Cardy density yields the cycle-exchanged light character. The paper is explicit that this last step is natural only if one accepts the TQFT-skeleton premise developed in a companion paper 'to appear'.","tokens_in":32986,"tokens_out":4824,"duration_ms":50686,"significance":"The thermal-AdS3 half is a clean and useful piece of bookkeeping. The explicit decomposition of the spool into single-winding loops labeled by multi-trace primaries, with detailed counts and honest primary constructions for N=2,3 in Appendices A and B, is a genuine contribution that will be useful for further work on Wilson-line descriptions of matter in AdS3/CFT2. The BTZ half is suggestive and modular-covariant, but it is not an independent derivation; its value is entirely conditional on the TQFT-skeleton framework promised in the companion paper. If that framework is supplied, the BTZ interpretation could be significant; as the manuscript stands, the advertised 'microscopic description' of BTZ one-loop determinants is a reinterpretation of standard modular S-transforms.","major_comments":[{"comment":"The derivation of the defect-twined sum Z^tw_a(τ) = χ_a(-1/τ) is the modular S-transform identity combined with the Verlinde-line eigenvalue S_{aP}/S_{0P}. The physical identification of a heavy Virasoro primary with a Wilson line and a light probe with a topological Verlinde line is assumed from the TQFT skeleton of the companion paper [9], which is 'to appear'. The manuscript itself concedes in §4.3 that this is mysterious from a bulk EFT point of view and requires granting the TQFT premise. Since the abstract presents the BTZ result as a 'microscopic' description, this load-bearing premise must either be proved here or the BTZ section and abstract must be explicitly reframed as conditional on [9].","section":"§4.3, Eqs. (4.7)–(4.8)"},{"comment":"The step from the twined character to the full one-loop determinant on BTZ is explicitly skipped. The paper says the plethystic exponentiation has the same structure as in thermal AdS3 and will not be repeated. But for BTZ the geometry, the contractible cycle, and the role of the heavy-state ensemble are different, so the advertised 'microscopic' one-loop determinant is not actually shown. Either provide the details of this step or state that the BTZ one-loop determinant is only obtained by analogy at the level of an interpretation.","section":"§4.3, 'structure of that step is the same as in thermal AdS3'"},{"comment":"The general multiplicity formula d^{(N)}_{m,\\bar m} is obtained by replacing the true primary condition ker(L^tot_1) ∩ ker(\\bar L^tot_1) with the zero-sum subspace V_N, with the claim that the two spaces 'always have the same dimension'. This is asserted, not proved. The explicit construction in Appendix B shows that the zero-sum representative is not the honest primary already at N=3, level (1,1), so the dimension equality is nontrivial. Since Eq. (2.31) is stated for general N, the paper should either supply a representation-theoretic proof or explicitly restrict the general-N claim to the dimension-counting statement and verify it for the cases actually needed.","section":"Appendix A, Eq. (A.9)"}],"minor_comments":[{"comment":"The relation between global and Virasoro characters assumes generic weights with no null states. For light multi-trace primaries in the large-c generalized-free limit this is reasonable, but the manuscript should state the genericity assumption explicitly, especially since the abstract says 'correctly reproduce the full Virasoro character of each module'.","section":"§3, Eq. (3.4)"},{"comment":"The notation χ1(q2, \\bar q2) is introduced in the expansion but the shorthand χ1(q2) is used without the anti-holomorphic argument. This is clear from context but should be made uniform to avoid confusion in a paper whose main point is the chiral/anti-chiral pairing.","section":"§2.1, Eq. (2.13)"},{"comment":"The sentence 'this was our motivation is using the TQFT language' contains a grammatical error and should be rewritten.","section":"§4.3, grammar"},{"comment":"The companion papers [9] and [10] are listed as 'to appear'. Since the BTZ argument in Section 4 depends on [9], the manuscript should flag clearly which results are dependent on unpublished work, both in the introduction and at the point of use.","section":"References [9], [10]"}],"recommendation":"major_revision","confidential_remarks":"The thermal-AdS3 content is solid and likely publishable after a light revision. The main concern is that the BTZ half, which is advertised in the abstract as a 'microscopic' description, depends on an unpublished companion paper and on an explicitly skipped step. I would advise the editor that the authors should be asked either to supply the missing derivation/framework or to substantially reframe the BTZ section and abstract as a conditional interpretation. The manuscript is honest about the limitation, but the advertised central claim goes beyond what is demonstrated in this paper."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe part of this paper worth taking seriously is Sections 2 and 3. Starting from the GMY determinant, the authors decompose each fixed-N multi-particle character into global SL(2) characters labeled by multi-trace primaries, with multiplicities d^{(N)} computed via a clean S_N / cycle-index argument. The explicit N=2,3 counts are correct, and Appendix B goes further than most such notes: they impose the honest L_1^{tot} primary condition, find h-dependent coefficients, and show that the naive zero-sum states are not the true primaries at N=3. That is real, reproducible work. The boundary-graviton dressing that promotes global characters to full Virasoro modules is also clean. The \"one Wilson loop per multi-trace primary\" reading of the thermal spool is a legitimate new organizational result, even though the underlying symmetric-function identities are standard.\n\nThe soft spot is Section 4. Equation (4.6) assumes that a light probe on a heavy primary is a Verlinde line eigenvalue S_{aP}/S_{0P}, and (4.8) then collapses two S-kernels. That is modular covariance plus an input assumption, not an independent derivation. The authors themselves concede the premise in Section 4.3 (\"if one grants that the underlying UV-complete bulk description ... is a TQFT with Wilson lines\"), and the framework is relegated to companion paper [9], which is not available. They also explicitly skip the step from twined characters to the full BTZ one-loop determinant. So the abstract's \"microscopic\" language oversells what is actually shown. On the thermal AdS3 side the paper is solid; on the BTZ side it is conditional on an unproven framework. That should be fixed either by including the companion argument or by clearly labeling Section 4 as a conjecture.\n\nMinor issue: the promotion to full Virasoro characters assumes large-c generalized-free spectra without addressing null states or mixing, though the authors' modular bookkeeping makes this mostly harmless for the note's scope.\n\nWho is this for? Anyone working on Wilson spools, AdS3/CFT2 dictionaries, or black-hole microstate programs. The thermal half deserves citation; the BTZ half should be cited only with a caveat. I would send this to a serious referee rather than desk-reject it. The referee should be pointed at Section 4 and asked whether the companion paper actually delivers the TQFT skeleton before the \"microscopic\" claim is published as stated.","headline":"Thermal AdS3 half is a careful and correct rewrite; the BTZ 'microscopic' claim is a modular-covariance dressed as a derivation and rests on companion paper [9] 'to appear'.","tokens_in":33518,"tokens_out":1466,"would_cite":true,"duration_ms":18383,"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":"A free scalar field in AdS3 is a tower of Wilson loops, one for each multi-trace primary, and the same tower accounts for one-loop determinants on both thermal AdS3 and the BTZ black hole.","keywords":["Wilson spool","multi-trace primaries","AdS3/CFT2","one-loop partition function","Virasoro characters","BTZ handlebody","Verlinde lines","Wilson towers"],"falsifier":"Compute the defect-twined trace $\\mathrm{Tr}_{V_P}(D_a q^{L_0-c/24})$ for a light defect line on a heavy primary in an exactly solvable holographic CFT; if the eigenvalue is not $S_{aP}/S_{0P}$, the BTZ spool interpretation fails. A simpler spectral test: check whether the double-trace primary spectrum at $N=2$ obeys the claimed parity rule $d=1$ for $m$ congruent to $\\bar m$ modulo 2.","tokens_in":32506,"feed_emoji":"🌀","tokens_out":5735,"duration_ms":58644,"temperature":0.7,"texified_at":"2026-08-05T21:38:50.787966+00:00","pith_summary":"The paper claims that the Wilson spool—the multi-winding Wilson-loop sum that reproduces one-loop determinants of free fields in three-dimensional anti-de Sitter space—is not the fundamental bookkeeping. Using symmetric-function identities, it rewrites the spool as a tower of single-winding Wilson loops, one per multi-trace primary in the dual CFT: the bulk free field is literally a collection of Wilson lines, one per particle sector. It then shows that boundary gravitons dress each global character into a full Virasoro character, so the tower slots directly into a CFT partition function. On the BTZ black-hole handlebody, the same logic gives a microscopic derivation of the one-loop determinant: a light probe on a heavy primary is a Verlinde line, and summing heavy primaries with the Cardy density exchanges the thermal and spatial cycles. If correct, this unifies local bulk fields with the Wilson-network picture of quantum gravity and supports the view that a smooth horizon is an ensemble of heavy Wilson-line microstates.","texify_model":"deepseek-v4-flash","texify_usage":{"total_tokens":4074,"prompt_tokens":852,"completion_tokens":3222,"prompt_tokens_details":{"cached_tokens":0},"prompt_cache_hit_tokens":0,"prompt_cache_miss_tokens":852,"completion_tokens_details":{"reasoning_tokens":2448}},"feed_headline":"A bulk field equals one Wilson loop per multi-trace primary","feed_subtitle":"The spool sum over windings splits into single loops, tying free fields to the black-hole microstate ensemble","key_machinery":"The central object is the Wilson tower: a bulk generalized free field is a sum of single-winding Wilson loops, one per multi-trace primary, instead of multi-winding loops in a fixed representation. The bookkeeping is carried by symmetric-function identities—the cycle-index formula, plethystic exponentiation, and Schur-function (Frobenius–Schur–Weyl) decompositions—which convert the multi-winding trace into a sum over higher-representation single-winding loops. On the BTZ side, the key mechanism is the Verlinde line: a light topological defect $D_a$ inserted on a heavy primary $P$ acts by the modular $S$-matrix eigenvalue $S_{aP}/S_{0P}$, and the vacuum row $S_{0P}$ supplies the heavy-primary Cardy den","core_discovery":"The paper's central claim is that the one-loop partition function of a free scalar on thermal AdS3—the plethystic exponential of the single-particle global character—admits a reorganization in which every multi-particle sector is a sum over single-winding Wilson loops labeled by multi-trace primaries, with multiplicities fixed by symmetric-function counting. Each such loop evaluates to a global $SL(2)$-character; multiplying by the universal vacuum Virasoro character promotes each module to the full Virasoro character. On the BTZ handlebody, a light probe Wilson line around a heavy primary is the defect-twined trace of a Verlinde line with eigenvalue $S_{aP}/S_{0P}$, and summing over the heavy s","pith_inferences":["A testable extension: for a CFT with several light single-trace fields, the same plethystic argument should produce one Wilson tower per field, and cross-field mixings could be checked against the Schur-function channel structure.","The BTZ derivation suggests a CFT-level check: the twined partition function of a light defect on a heavy primary should equal the dual-channel light character, a statement that could be probed in exactly solvable holographic CFTs.","If the TQFT-skeleton program is completed, this paper implies that coupling matter to gravity in AdS3 is not an added interaction but a choice of which primary towers exist; the equivalence principle becomes a property of Wilson-network junctions.","The Virasoro-dressing step is universal, so the tower construction should extend to spinning fields and supersymmetric or higher-spin analogues by replacing the seed global character."],"forward_implications":["Every free bulk field has a precise CFT avatar as a tower of Virasoro-dressed single-winding Wilson loops; the one-loop determinant is a sum of full Virasoro characters, one per multi-trace primary.","The multiplicities of multi-trace primaries are fixed by symmetric-function counting, so the generalized-free-field spectrum follows from the single-particle character rather than being an independent input.","On the BTZ handlebody, the one-loop determinant is a Cardy-density sum over heavy primaries of defect-twined characters; the spatial loop of the probe emerges from summing thermal-channel monodromies.","The smooth BTZ horizon is represented as a coarse-grained ensemble of heavy Wilson-line microstates; the probe one-loop determinant is a sum over that ensemble."],"fun_headline_variants":["Bulk field = one Wilson loop per multi-trace primary","Spool split: single-winding loops for each primary","One-loop per primary: Wilson spool splits into single loops","Bulk fields as towers of Wilson lines, one per primary"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The BTZ result rests on the assumption, deferred to a companion paper, that the UV-complete bulk description of AdS3/CFT2 is a TQFT with Wilson lines, so that a heavy Virasoro primary is literally a Wilson line and a light probe is a Verlinde line with monodromy eigenvalue $S_{aP}/S_{0P}$.","fun_headline_variants_meta":{"raw":{"variants":["Bulk field = one Wilson loop per multi-trace primary","Spool split: single-winding loops for each primary","One-loop per primary: Wilson spool splits into single loops","Bulk fields as towers of Wilson lines, one per primary"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000747,"raw_usage":{"total_tokens":3256,"prompt_tokens":924,"completion_tokens":2332,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":668,"completion_tokens_details":{"reasoning_tokens":2262}},"tokens_in":668,"tokens_out":2332,"duration_ms":16194,"temperature":1.0,"reasoning_tokens":2262,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T07:32:49.341240+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the defect-twined trace $\\mathrm{Tr}_{V_P}(D_a q^{L_0-c/24})$ for a light defect line on a heavy primary in an exactly solvable holographic CFT; if the eigenvalue is not $S_{aP}/S_{0P}$, the BTZ spool interpretation fails. A simpler spectral test: check whether the double-trace primary spectrum at $N=2$ obeys the claimed parity rule $d=1$ for $m$ congruent to $\\bar m$ modulo 2.","supporting_citations":[],"review_version":1}