{"id":"a6fa08d3-9710-48be-96ac-fdab02006f36","arxiv_id":"2507.05364","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"One-loop partition functions of massive spinning fields on any smooth cusp-free hyperbolic 3-manifold are expressed as Wilson spools, sums over free loops of holonomy traces in lowest-weight sl(2,R) representations.","lead":"Massive fields on odd-shaped three-dimensional spaces (made by cutting and gluing a hyperbolic ball) get a clean formula: their one-loop quantum correction is a sum of topological loop operators, one per closed loop in the space. This extends the 'Wilson spool' trick from simple black hole backgrounds to all smooth, cusp-free hyperbolic spaces, including multi-boundary wormholes and compact manifolds.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The new s≥2 content rests on an unverified spin-s Selberg trace formula and an asserted Stückelberg reduction; no independent check against a known BTZ determinant is given.","rationale":"The reader's CONDITIONAL verdict is appropriate, and I agree with its identification of the weakest assumption. The s=0,1 agreement with Giombi-Maloney-Yin and the worldline matching for scalars provide real support, and I found no internal contradiction. I would not REJECT: the logic is coherent and the paper is honest about its unproved parts. However, the central new claim, the s≥2 product (3.10), depends on the quoted spin-s Selberg trace formula and on the Stückelberg reduction asserted in (2.35), neither of which is verified for s≥2. The proposed BTZ comparison is feasible because the paper cites the relevant higher-spin determinant literature, and one check would settle whether the extension is valid. Until then, CONDITIONAL remains the correct verdict. The off-shell claim is a separate conjecture and is not the load-bearing item for the on-shell result.","tokens_in":24900,"tokens_out":11486,"duration_ms":150212,"concrete_test":"Recompute the s=2 one-loop determinant on thermal AdS3/BTZ (the cyclic quotient H3/⟨γ0⟩) directly from the known spin-2 quasinormal-mode spectrum, as in Datta-David [22], and compare it with the s=2 specialization of Eq. (3.10), including the exponents ℓ+(Δ±2)/2 and all prefactors. This is a non-trivial check because the same quotient matches for s=0,1; a mismatch would isolate the trace-formula or Stückelberg assumption behind the new s≥2 result.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The main result is new only for s≥2, and both steps that extend it from the checked s=0,1 cases are assumed rather than demonstrated. First, Eq. (3.11) is quoted as the Selberg trace formula for the STT spin-s Laplacian, with eigenvalue normalization λ_m^{(s)} = t_m^2 + s + 1, the factor (1+δ_{s,0}), the volume term (s^2 H(0) − H''(0)), and the geometric term cos(sθ)/(cosh l − cosθ). For s=0,1 this is standard, but for s≥2 no derivation or independent reference is supplied; the formula could carry extra s-dependent factors in the Plancherel density or the geometric sum without affecting the s=0,1 checks. Second, Eq. (2.35) asserts that the massive spin-s path integral, including the Stückelberg tower, equals the inverse square root of det(−∇^2_{(s)} + m̄_s^2 ℓ^2). That reduction is standard for s=0,1 but is not shown for s≥2. If either assumption is off, the central product (3.10) fails for exactly the new range of spins, while the s=0,1 checks pass. The off-shell promotion is a separate conjecture; the on-shell s≥2 formula is the load-bearing new claim.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a Wilson-spool prescription, Eqs. (3.1)-(3.2), expressing the one-loop determinant of a massive spin-s field on any smooth cusp-free hyperbolic three-manifold M = H^3/Γ as a sum over conjugacy classes of Γ of products of Wilson loops in lowest-weight sl(2,R) representations. On-shell the prescription gives the product formula (3.10), which matches Giombi-Maloney-Yin for s=0,1 and is claimed to be new for s≥2. The authors offer three supporting derivations: a Selberg trace formula argument (Sec. 3.2.1), a worldline path integral (Sec. 3.2.2), and a quasinormal-mode argument (Sec. 3.2.3), and they conjecture an off-shell extension within diffeomorphism-invariant correlators.","tokens_in":25115,"tokens_out":7574,"duration_ms":76952,"significance":"If fully established, the result would be a substantial advance: it expresses matter one-loop determinants on all these geometries as topological data (holonomies of the Chern-Simons connections), and extends the spool program beyond single-cycle geometries and beyond s≤1. The paper's checks against GMY for s=0,1 are explicit, and the worldline derivation provides a non-circular route to the scalar formula. The genuinely new s≥2 on-shell formula, however, rests on two unverified inputs — the spin-s Selberg trace formula in Eq. (3.11) and the Stückelberg reduction in Eq. (2.35) — and the off-shell claim is explicitly conjectural. These gaps are load-bearing for the advertised new content, so the paper is promising but not yet conclusive.","major_comments":[{"comment":"The Selberg trace formula for the symmetric transverse-traceless spin-s Laplacian is quoted with a specific normalization, including the factor (1+δ_{s,0}), the parametrization λ_m^{(s)} = (t_m^{(s)})^2 + s + 1, the volume term (s^2 H(0) − H''(0)), and the geometric term cos(sθ)/(cosh l − cos θ). For s=0,1 this is standard, but for s≥2 no derivation or independent verification is supplied. Since the central new product (3.10) for s≥2 follows directly from this formula, the authors should either derive the formula in their normalization or check it against an independent result (e.g., a known BTZ or thermal-AdS determinant at fixed s), and clarify which parts of [26] apply for all s.","section":"3.2.1, Eq. (3.11)"},{"comment":"The path integral of the massive spin-s system, including the Stückelberg tower, is asserted to reduce to det(−∇²_(s) + m̄_s²ℓ²)^{-1/2}. This reduction is standard for s=0 and 1 but is not demonstrated for s≥2; the ghost fields, measure factors, and any additional determinants are not specified. This is load-bearing because the eigenvalues of −∇²_(s) are exactly the input to the trace formula (3.11); a different mode count or normalization would invalidate the s≥2 product (3.10) while leaving the s=0,1 checks intact.","section":"2.3, Eq. (2.35)"},{"comment":"The main result (3.1)-(3.2) is stated for all smooth, cusp-free hyperbolic three-manifolds, which includes non-compact examples such as thermal AdS and multi-boundary wormholes, but the Selberg trace formula (3.11) is formulated only for compact quotients, where the spectrum is discrete. The paper acknowledges this and says the non-compact case 'suggests' an extension, but for s≥2 no derivation for non-compact quotients is given. The theorem should either be restricted to compact quotients or supplemented with a proof or a precise continuity argument covering the non-compact cusp-free case.","section":"3.2.1, first paragraph (scope)"},{"comment":"The off-shell promotion of (3.2), namely that the spool equals the one-loop determinant also off-shell inside expectation values of diffeomorphism-invariant operators, is explicitly posited rather than proven. The worldline derivation in Sec. 3.2.2 is performed for a scalar and is matched to the spool only on-shell; the spinning and off-shell generalizations are asserted. This does not invalidate the on-shell result, but the abstract and introduction should clearly separate the proven on-shell statement from the conjectural off-shell one.","section":"3.2, second paragraph (off-shell claim)"}],"minor_comments":[{"comment":"The diagrammatic equations are not labeled in the text; in the provided manuscript the left-hand sides appear blank, so the claimed two-loop exactness cannot be checked from the text. Please ensure the diagrams are rendered and clearly identified.","section":"3.2.2, Eqs. (3.39)-(3.42)"},{"comment":"The notation [Γ]+ and [Γ0]+ is clear, but the relation between the quotient by Z2 and the choice of positive geodesic length could be stated more explicitly to avoid confusion about why only one orientation appears in the spool sum.","section":"2.2, Eq. (2.32)"},{"comment":"The renormalization prescription for the volume divergence is not specified; since the final determinant depends on the subtraction, the authors should state the scheme (e.g., minimal subtraction) used to obtain (3.17).","section":"3.2.1, Eqs. (3.16)-(3.17)"},{"comment":"The contour C is described qualitatively as 'wrapping tightly clockwise' around the positive Re(α) axis; a precise definition of the contour segments would make the integral representation unambiguous.","section":"1, Eq. (1.4)"},{"comment":"There are a few typographical slips (e.g., 'with with either' in Section 2.2) and the Stückelberg name is garbled by the LaTeX encoding; these should be cleaned up in the final version.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The main technical risk is the unverified spin-s Selberg trace formula (3.11) and the Stückelberg reduction (2.35) for s≥2. If the authors can supply a derivation or independent check of both, the s≥2 product (3.10) would be placed on solid ground and the paper could become acceptable. The overlap with upcoming work [15] is acknowledged by the authors; the editor may wish to confirm that the overlap does not constitute duplicate publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here is my read. The genuinely new thing is the on-shell Wilson spool formula for massive fields of any spin on every smooth cusp-free hyperbolic three-manifold, specifically the product (3.10) for s≥2. The previous spool papers handled only single-cycle backgrounds, and GMY only scalars and vectors. The authors also give a worldline derivation with a claimed two-loop exactness and a clean interpretation of the multiplicity factor nγ as a symmetry factor. That is real progress within the AdS3/Chern-Simons program.\n\nThe Selberg trace formula derivation is the load-bearing part, and it is coherent. Given a spin-s trace formula in the stated normalization, the reduction to characters is straightforward and the final product is the natural generalization of the known GMY results. The paper is also honest: the off-shell statement is explicitly called a posit, and the cusp/orbifold limitations are flagged.\n\nWhere it is soft: the quoted trace formula (3.11) comes from an external math paper and the authors do not verify its normalization for s≥2. In particular the eigenvalue shift λ = t^2 + s + 1 and the (1+δ_{s,0}) factor are asserted, not derived. The Stückelberg reduction in (2.35) is also standard but not demonstrated for higher spin. These are exactly the steps that take the result beyond the checked s=0,1 cases. A short check against the known BTZ higher-spin determinant (e.g., Datta-David) would close the loop. The quasinormal mode section assumes a factorization over centralizers; that is heuristic and not the reason to trust the main formula. I would not call any of this a fatal flaw, but it is enough to make the paper 'conditional' rather than 'unconditionally verified.'\n\nWho is this for? People working on one-loop effects in AdS3 gravity and on the Wilson spool program. If the trace formula check comes back clean, the s≥2 formula will be a standard reference. My recommendation: send to a serious referee. The central claim is important and plausibly correct; the referee should ask for the BTZ s=2 comparison and a comment on the trace formula normalization.","headline":"Genuinely extends the Wilson spool to all smooth cusp-free hyperbolic quotients and gives the first s≥2 one-loop formulas on them; plausible and well-motivated, but the s≥2 steps rest on quoted rather than verified input.","tokens_in":25730,"tokens_out":3970,"would_cite":true,"duration_ms":50159,"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 single topological formula—the Wilson spool—gives one-loop matter determinants on every smooth, cusp-free hyperbolic AdS3 quotient.","keywords":["Wilson spool","one-loop determinants","AdS3 gravity","hyperbolic three-manifolds","Chern-Simons gravity","Selberg trace formula","massive higher-spin fields","quasinormal modes"],"falsifier":"Compute the one-loop determinant of a massive spin-2 field on thermal AdS3 by direct summation over the known quasinormal-mode poles in the complex conformal dimension plane and compare the pole locations and multiplicities with the s=2 case of the product formula; any mismatch would falsify the new s>=2 claim.","tokens_in":2261,"feed_emoji":"🧵","tokens_out":2629,"duration_ms":142297,"temperature":0.7,"pith_summary":"This paper aims to show that the one-loop determinant of a massive spinning field on any smooth, cusp-free hyperbolic three-manifold—the class that includes multi-boundary wormholes and compact hyperbolic manifolds—is exactly a sum of Wilson-loop observables in the topological Chern-Simons formulation of three-dimensional gravity. The sum runs over all nontrivial free-homotopy classes of loops in the manifold, with each class weighted by one over its multiplicity and by a product of characters of lowest-weight $\\mathrm{sl}(2,\\mathbb{R})$ representations fixed by the field's mass and spin. On-shell, this \"Wilson spool\" collapses to a product over primitive geodesics that reproduces the known one-loop determinants for scalars and vectors and gives new determinants for massive spin $s\\ge 2$ fields. A sympathetic reader would care because it turns a spectral problem on a complicated quotient geometry into a topological, gauge-invariant object that can also be inserted off-shell into the gravitational path integral.","feed_headline":"Spool formula gives one-loop determinants on all smooth AdS3 quotients","feed_subtitle":"Massive spin-s matter becomes a sum of Wilson loops around every nontrivial cycle, new for spin 2 and above.","key_machinery":"The central object is the Wilson spool, a topological line operator defined as a sum over all unoriented nontrivial conjugacy classes $[\\gamma]_+$ of the fundamental group, weighted by $1/n_\\gamma$, of the product of holonomy traces $\\mathrm{Tr}_{R_L} P\\exp(\\oint_\\gamma A_L)\\, \\mathrm{Tr}_{R_R} P\\exp(-\\oint_\\gamma A_R)$, with $R_L\\otimes R_R$ ranging over the lowest-weight representations selected by the mass-shell condition $j_\\pm = (\\Delta\\pm s)/2$. The key mechanism is the length–holonomy correspondence: around a geodesic, the connection holonomy equals $q_\\gamma^{L_0}$ with $q_\\gamma = e^{-(l_\\gamma+i\\theta_\\gamma)}$, so every geometric quantity in the trace formula becomes a product of representation characters. The multiplicity $n_\\gamma$, coming from writing each group element as a power of a primitive element, is reinterpreted in the worldline derivation as the symmetry factor of a loop lifted to the covering space, which makes the sum topological rather than geometric.","core_discovery":"On the paper's own terms, the central discovery is the identity $\\log Z^M_{\\Delta,s}[g] = W_\\Gamma[A_L,A_R]$, where $W_\\Gamma = \\sum_{[\\gamma]_+} \\sum_{R^{LW}_{\\Delta,s}} \\frac{1}{n_\\gamma} \\mathrm{Tr}_{R_L} P\\exp(\\oint_\\gamma A_L)\\, \\mathrm{Tr}_{R_R} P\\exp(-\\oint_\\gamma A_R)$, and $A_{L/R}$ are the connections built from the coframe and spin connection. Because the quotient group $\\Gamma$ is torsion-free, every nontrivial loop is classified by a conjugacy class $[\\gamma]$ and a complex length $\\hat{l}_\\gamma = l_\\gamma + i\\theta_\\gamma$, and the holonomy traces evaluate to lowest-weight characters. The authors show that on-shell this identity is equivalent to the primitive-loop product $\\exp(W_\\Gamma) = \\prod_{[\\gamma_0]_+}\\prod_\\pm \\prod_{\\ell,\\bar\\ell=0}^\\infty (1 - q_{\\gamma_0}^{\\ell+(\\Delta\\pm s)/2}\\bar q_{\\gamma_0}^{\\bar\\ell+(\\Delta\\mp s)/2})^{-1}$, which for $s=0,1$ matches the known scalar and vector determinants and for $s\\ge 2$ is claimed to be new. They support the identity by three derivations: the trace formula, a worldline path integral that is two-loop exact, and the quasinormal-mode method.","pith_inferences":["Editorial inference: the on-shell product is structurally a zeta function for the symmetric transverse-traceless spin-s Laplacian; if the identity holds, the Wilson spool could be analytically continued in the conformal dimension and used to extract spectral data, such as determinant ratios or zeta-regularized volumes, from geodesic length spectra alone.","Editorial inference: the worldline derivation suggests a concrete off-shell test: compute the scalar determinant on a handlebody with a non-hyperbolic, perturbatively off-shell metric by worldline methods and check that the spool, evaluated on the same holonomies, agrees to the two-loop order shown.","Editorial inference: for s>=2 the missing check is the auxiliary-field reduction; a direct comparison on the thermal AdS3 background between the pole spectrum of the massive spin-2 determinant and the s=2 product would settle the most exposed step before moving to more complicated quotients.","Editorial inference: the divergence of parabolic characters noted in the discussion suggests that a regularized limit of the spool might capture cusp contributions, potentially extending the formula to finite-volume quotients with cusps, where the trace formula has a continuous spectrum."],"forward_implications":["On every smooth cusp-free hyperbolic three-manifold, the one-loop determinant of a massive scalar or vector is a topological object: it depends on the background only through the holonomies of A_L and A_R, so it is invariant under metric deformations that preserve those holonomies.","The product formula provides one-loop determinants for massive spin s>=2 fields on quotients where no such determinants were previously known, including multi-boundary wormholes and compact hyperbolic manifolds.","Because the spool is expressed in terms of gauge-invariant Wilson loops, it can be promoted to an off-shell operator in the gravitational path integral about a saddle, meaning matter one-loop effects can be included inside diffeomorphism-invariant observables without fixing a particular metric.","For quotients with a single primitive generator, the sum over conjugacy classes collapses to the earlier spool results on the torus/black-hole background, and the integral form with the contour wraps the positive real axis to reproduce the known spool representation.","If the identity survives quantization of the gravitational sector, the spool gives a route to coupling matter to the fully quantized topological formulation of three-dimensional gravity, since the spool's Wilson loops are the natural extended operators of that theory."],"supporting_citations":[{"why":"Supplies the previously established one-loop determinants for massive scalars and vectors on hyperbolic quotients that the on-shell spool reproduces.","marker":"[14]"},{"why":"Introduced the spool for matter in de Sitter quantum gravity and supplied the integral-form technology used here.","marker":"[5]"},{"why":"Showed that coupling fields to three-dimensional topological gravity produces effective Wilson-line operators, the single-cycle prototype of the spool.","marker":"[6]"},{"why":"Constructed the spinning spool on the black-hole/torus background and developed the representation-theoretic conditions generalized here.","marker":"[7]"},{"why":"Provides the trace formula for the spin-s transverse traceless Laplacian in the normalization used to derive the on-shell determinant.","marker":"[26]"},{"why":"Supplies the quasinormal-mode method that reconstructs one-loop determinants from pole spectra and organizes modes into representations.","marker":"[24]"},{"why":"Provides the worldline path-integral machinery, including its two-loop exactness, used to derive the spool and identify the multiplicity as a symmetry factor.","marker":"[27]"},{"why":"Supplies the auxiliary-field formulation of massive higher-spin fields in AdS that underlies the one-loop determinant.","marker":"[21]"},{"why":"Gives the Casimir relation that identifies the Laplace operator with representation-theoretic Casimirs and fixes the mass-shell representations.","marker":"[23]"},{"why":"Supplies the structural facts about centralizers of loxodromic group elements and primitive multiplicities used to organize the conjugacy-class sum.","marker":"[25]"}],"fun_headline_variants":["Wilson spool yields one-loop determinants on every smooth AdS3 quotient","Massive spins on any smooth AdS3 quotient from a Wilson spool","Spin-2 and beyond: one-loop determinants from Wilson spool on any quotient","One-loop partition functions via Wilson spool on all smooth quotients","Every quotient gets its spool: one-loop determinants in AdS3 gravity"],"cache_read_input_tokens":27776,"weakest_assumption_plain":"The load-bearing premise is that, for every spin, the massive field's auxiliary component fields reduce exactly to the spectrum of the symmetric transverse-traceless Laplacian that enters the quoted trace formula, with the stated normalization and constant-mode counting; if the reduction or normalization fails for s>=2, the new product formula for spinning fields fails even though the s=0,1 checks pass.","fun_headline_variants_meta":{"raw":{"variants":["Wilson spool yields one-loop determinants on every smooth AdS3 quotient","Massive spins on any smooth AdS3 quotient from a Wilson spool","Spin-2 and beyond: one-loop determinants from Wilson spool on any quotient","One-loop partition functions via Wilson spool on all smooth quotients","Every quotient gets its spool: one-loop determinants in AdS3 gravity"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000644,"raw_usage":{"total_tokens":2990,"prompt_tokens":1007,"completion_tokens":1983,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":623,"completion_tokens_details":{"reasoning_tokens":1884}},"tokens_in":623,"tokens_out":1983,"duration_ms":15565,"temperature":1.0,"reasoning_tokens":1884,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T19:29:11.672537+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the one-loop determinant of a massive spin-2 field on thermal AdS3 by direct summation over the known quasinormal-mode poles in the complex conformal dimension plane and compare the pole locations and multiplicities with the s=2 case of the product formula; any mismatch would falsify the new s>=2 claim.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the structural facts about centralizers of loxodromic group elements and primitive multiplicities used to organize the conjugacy-class sum."}],"review_version":1}