{"id":"b757c482-c8b8-4d40-9cf4-a80e4e524196","arxiv_id":"2608.03459","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"The bounded joint commutant of the Virasoro S and T transformations is scalar, so every modular-invariant vacuum-normalized genus-one pairing in the ordinary nondegenerate sector is diagonal, blocking a Narain-like boundary-averaging ensemble at genus one.","lead":"The paper proves that at genus one, the only modular-invariant way to pair left- and right-moving Virasoro representations in the ordinary nondegenerate sector is the diagonal one, so averaging over ordinary topological boundaries cannot produce distinct torus spectra. This removes a proposed Narain-like ensemble mechanism for 3D gravity at the level of torus data, redirecting such ensembles to higher genus, extra sectors, or generalized boundaries.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified","rationale":"The reader's weakest_assumption correctly identifies the dictionary and the bounded/positive-measure/block-diagonal scope as the main limitation of the physical no-go. However, this is a scoping condition that the paper states clearly and repeatedly, and it does not undermine the validity of the central theorem within the stated classes. The mathematical core is rigorous, the proof of the scalar commutant is a textbook application of a well-established theorem, and the positive-measure extension is carefully justified. Since I found no internal inconsistency or unacknowledged gap, the appropriate verdict remains ACCEPT, and no adjustment is needed.","tokens_in":39711,"tokens_out":21690,"duration_ms":239043,"concrete_test":"Independently verify the representation-theoretic step that underpins Theorem 5.1: recompute the Gaussian matrix element of the even Weil representation under the Cartan dilation, as in Appendix A, and confirm that it decays as e^{-s/2} against the Haar measure weight e^{2s}ds, so that the representation is not square-integrable. Also confirm that the preimage of SL(2,Z) in Mp(2,R) is a lattice with finite covolume. If either of these checks failed, the Cowling–Steger theorem could not be applied; if they pass, the scalar commutant proof is secure.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central mathematical claim, Theorem 5.1, is a rigorous consequence of the Cowling–Steger lattice-restriction theorem applied to the even Weil representation of Mp(2,R), followed by Schur's lemma. The identification of the Virasoro S and T kernels with the even Fourier transform and metaplectic shear is explicit and correct. The positivity upgrade (Proposition 5.14 and Corollary 5.15) is also sound: the two vacuum marginals provide exactly the weighted Schur estimates needed to promote a positive measure to a bounded operator, after which the scalar commutant forces diagonality. The only potential weak point is the scoping assumption: the no-go applies to bounded pairings, or to positive Borel measures satisfying the ordinary block-diagonal vacuum–continuum ansatz. The paper explicitly flags signed/complex/non-kernel data, vacuum–continuum couplings, and extra sectors as outside this class. This is a declared limitation, not an internal inconsistency. No load-bearing concern was found.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper addresses whether ensemble holography in AdS3/CFT2 can be realized by averaging over distinct topological boundary conditions of the doubled Virasoro TQFT. At genus one, a boundary is represented by a left–right multiplicity kernel N(P,Q). The main mathematical result, Theorem 5.1, states that the bounded joint commutant of the Virasoro S and T transformations on the auxiliary L2 label space is scalar: Comm(S,T)=C I. After vacuum normalization, the only allowed bounded genus-one pairing is the diagonal identity. The paper extends this rigidity to entrywise-positive Borel-measure pairings under the ordinary block-diagonal vacuum–continuum ansatz: the two vacuum marginals imply boundedness via a weighted Schur test (Proposition 5.14), after which the scalar commutant forces diagonality (Corollary 5.15). The proof identifies S and T with the even Weil representation of Mp(2,R) and invokes the Cowling–Steger lattice-restriction theorem, with the required square-integrability and phase checks in Appendix A. Elementary proofs for finite-branch and tame classes, numerical checks, and a clear statement of scope are also included.","tokens_in":39938,"tokens_out":19687,"duration_ms":203548,"significance":"If correct, the result is a genuine no-go for Narain-like ensemble mechanisms in the ordinary nondegenerate sector of the Virasoro TQFT at genus one. It cleanly contrasts with the abelian Narain case, where non-diagonal modular-invariant pairings exist. The central theorem is rigorous: the only external input is the Cowling–Steger theorem, and the paper verifies its hypotheses. The positive-measure upgrade is self-contained and the scope limitations are stated explicitly, with vacuum–continuum couplings, extra sectors, and generalized boundary data left open rather than claimed. The paper also ships reproducible code with 54 unit tests, which strengthens confidence in the numerical corroboration. The physical framing depends on the [Yu26] dictionary and on the block-diagonal ansatz, but the mathematical theorem stands independently of that dictionary.","major_comments":[],"minor_comments":[{"comment":"The condition 'a.0 on {u+n>0}' appears to be a typo; it should read 'a ≠ 0' or 'a not identically zero on a positive-measure subset'.","section":"Appendix B.3, Lemma B.3"},{"comment":"The title and the opening sentence are stronger than the theorem's conditional scope. The abstract already qualifies the claim, but the title could include a qualifier such as 'in the bounded/positive-kernel sector' to avoid implying that all possible Virasoro topological boundaries are excluded.","section":"Title and Abstract"},{"comment":"The roadmap figure relies on color (blue/rose/green) to distinguish logical roles. If the journal version is printed in grayscale, the distinction may be lost; adding line styles or labels would improve accessibility.","section":"Figure 1"},{"comment":"The statement that the Gaussian 'spans a one-dimensional K-type' is terse. A sentence explaining that the Gaussian is fixed by the relevant compact subgroup (up to phase) would help readers who are not specialists in the oscillator representation.","section":"Appendix A"}],"recommendation":"accept","confidential_remarks":"The mathematical core is sound, and the paper is unusually careful about its own limitations. The main theorem is a direct application of Cowling–Steger and is not claimed as new representation theory; the novelty is the physical identification and the no-go interpretation. The physical dictionary [Yu26] is a self-citation and not yet peer-reviewed, but the theorem does not depend on it. The paper fits the journal's scope and, in my view, merits acceptance."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The real result here is the bounded joint commutant of the nondegenerate Virasoro S and T transformations being scalar. That is proven by identifying the modular data with the even Weil representation and invoking Cowling–Steger, with the necessary square-integrability checks done in the appendix. The positive-measure upgrade via the two vacuum marginals and the weighted Schur test is also sound. The consequence, that no Narain-like ensemble can be manufactured by averaging ordinary torus pairings within these analytic classes, is a genuine and nontrivial constraint on the Virasoro TQFT program.\n\nThe paper deserves credit for being explicit about what it does not prove. The no-go applies to bounded pairings, or to entrywise-positive Borel measures satisfying the block-diagonal vacuum–continuum ansatz. Signed or complex kernels, vacuum–continuum couplings, extra sectors, and higher-genus data are all flagged as outside scope, not swept under the rug. The elementary hard-edge and tame theorems are separate mechanisms, and they are correctly presented as independent of the representation-theoretic proof rather than as premises for it. The numerical checks are clearly labeled as corroboration, not proof.\n\nThe weakest point is physical rather than mathematical: the dictionary mapping topological boundaries to integral kernels comes from the author's earlier paper [Yu26], a self-citation. The commutant theorem stands on its own, but the no-go interpretation depends on that dictionary. This is an honest dependence, and the paper says so, but it does mean a skeptical reader could question whether every physically relevant boundary falls into the bounded or positive-measure class. That is a scope assumption, not an internal inconsistency.\n\nThe paper is long and has multiple overlapping mechanisms, so it could be tightened. But the central argument holds up, the claims are proportioned to the evidence, and the limitations are stated in the text rather than hidden. This is exactly the kind of paper that should go to a serious referee: it will be useful to people working on Virasoro TQFT, ensemble holography, and nonrational modular data. I would send it to peer review.","headline":"A rigorous genus-one no-go for Narain-like averaging in Virasoro TQFT; the math is solid and the scoping is honest.","tokens_in":40360,"tokens_out":1189,"would_cite":true,"duration_ms":15689,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["11.25.Tq","04.60.Kz","11.25.Hf"],"model":"deepseek-v4-flash","headline":"At genus one, the doubled Virasoro TQFT admits only the diagonal torus pairing: every bounded, modular-invariant, vacuum-normalized left–right pairing is a scalar, so averaging ordinary topological boundaries cannot produce a Narain-like en","keywords":["ensemble holography","Virasoro TQFT","topological boundary conditions","genus-one modular invariance","Weil representation","metaplectic group","Narain average","AdS3/CFT2"],"falsifier":"Exhibit one bounded operator N ≠ cI on L²(R₊, dP) with [N,S] = [N,T] = 0 for the kernels in (4.5), or construct a topological boundary of the doubled Virasoro TQFT whose genus-one pairing is non-diagonal, modular-invariant, and vacuum-normalized. A reader can also search numerically over larger discretized fiber matrices for a second null direction in the commutant of the discrete S — the paper's own SVD checks found only the identity at truncations up to K = 12.","tokens_in":39623,"feed_emoji":"🕳️","tokens_out":12586,"duration_ms":104028,"temperature":0.7,"pith_summary":"This paper asks whether ensemble holography in AdS3/CFT2 could work the way it does for Narain lattices: keep the bulk and the physical boundary fixed, vary the topological boundary of the doubled Virasoro TQFT, and average the resulting 2D CFTs. The paper argues that at genus one this fails. In the ordinary nondegenerate sector, every bounded operator on the Virasoro label space that commutes with both modular generators S and T is a scalar; vacuum normalization then fixes the unique genus-one pairing to the diagonal one, N = I. The same conclusion is extended to entrywise-positive measure kernels, which the two vacuum marginals render bounded automatically. If the argument is right, no Narain-style torus ensemble can be manufactured from ordinary topological boundaries in Virasoro TQFT, and any nontrivial ensemble interpretation must live in information invisible at genus one: higher-genus data, additional sectors, or genuinely generalized boundary conditions.","feed_headline":"3D gravity cannot average like Narain at genus one","feed_subtitle":"Virasoro S,T rigidity forces every bounded torus pairing to be diagonal, blocking boundary-ensemble averaging.","key_machinery":"The load-bearing object is the identification of the Virasoro modular pair with the even Weil (oscillator) representation of the metaplectic group Mp(2,R): T becomes multiplication by e^{iπx²} (the metaplectic shear) and S becomes the even Fourier transform (inversion). The decisive input is the lattice-restriction theorem: the restriction of an irreducible, non-square-integrable unitary representation to a lattice remains irreducible. Applied to the preimage of SL(2,Z) in Mp(2,R), it makes the modular pair's representation irreducible, and Schur's lemma converts that into Comm(S,T) = C·I. Secondary mechanisms — the hard-edge argument near u = 0 and a high-energy frequency-projection for tam","core_discovery":"The central claim is a rigidity theorem: Comm(S,T) = C·I. On the L² space of nondegenerate Virasoro momentum labels (c ≥ 25), the only bounded operator commuting with both modular generators — the cosine kernel S(P,Q) = 2√2 cos(4πPQ) and the phase T(P) = exp(2πi(P²−1/24)) — is a scalar. The proof identifies S and T with the even Weil representation of the metaplectic group (even Fourier transform and shear), applies the lattice-restriction theorem to the SL(2,Z) preimage, and gets irreducibility; Schur's lemma yields the scalar commutant. Vacuum normalization fixes the scalar, selecting the diagonal pairing N = I. A positivity argument extends the result to entrywise-positive measure kernels","pith_inferences":["If the boundary dictionary of [Yu26] is complete, the result suggests that any ensemble interpretation of the Virasoro-TQFT/3D-gravity program must be carried by data invisible at genus one — higher-genus amplitudes, additional sectors, or generalized boundary conditions — rather than by distinct torus spectra.","The proof's reliance on the exact cosine form of the S-kernel points to a testable generalization: repeating the commutant computation for other non-rational chiral algebras (for instance W_N) would locate where the rigidity first breaks and where non-diagonal pairings reappear.","The numerical stability of the one-dimensional commutant across truncations hints at a stronger quantitative statement (the open gap κ_T > 0); if that gap holds, even approximate S,T-invariant pairings stay uniformly far from non-diagonal, strengthening the physical no-go.","The positivity mechanism — two vacuum marginals plus entrywise positivity implies boundedness — is independent of the Virasoro details and could be exported to other SymTFT boundary-averaging proposals whose vacuum row has full support."],"forward_implications":["Every bounded, modular-invariant, vacuum-normalized genus-one pairing equals the diagonal N = I, so averaging any collection of such pairings returns the diagonal pairing: no nontrivial torus ensemble exists in this class.","Entrywise-positive Borel-measure kernels satisfying the two vacuum marginals are automatically bounded contractions and, under modular invariance, collapse to the diagonal measure — closing the route through singular or initially unbounded positive kernels.","Averaging ordinary topological boundaries of the doubled Virasoro TQFT cannot mimic the Narain mechanism, where different lattice data genuinely yield different torus kernels.","The no-go is limited to genus-one data: boundaries that differ only at higher genus, in categorical (Frobenius/Cardy/sewing) data, in extra sectors, or via W-type extensions remain possible, and modular-invariant pairings are not certified as full boundaries.","The elementary hard-edge and tame theorems show the rigidity is robust in explicit regular sectors, not an artifact of the general bounded proof."],"supporting_citations":[{"why":"Supplies the lattice-restriction theorem, the irreducibility input at the core of the bounded commutant proof.","marker":"[CS91]"},{"why":"Provides the theorem in the exact form quoted (irreducible, non-square-integrable representations restrict irreducibly to lattices).","marker":"[Bek97]"},{"why":"Gives the continuous modular S and T kernels for c ≥ 1 Virasoro characters on which the commutant problem is posed.","marker":"[LRZ90]"},{"why":"Establishes the Virasoro TQFT framework whose doubled version carries the left- and right-moving sectors.","marker":"[CEZ23]"},{"why":"Supplies the dictionary expressing a topological boundary as a genus-one multiplicity kernel N(P,Q).","marker":"[Yu26]"},{"why":"The Narain average that serves as the contrast case: averaging over moduli reproduces the abelian bulk sum.","marker":"[MW20]"},{"why":"Ponsot–Teschner fusion rules underpinning the structural remark that no simple currents exist in the ordinary line category.","marker":"[PT01]"},{"why":"The Schur test used to convert the two vacuum marginals into boundedness of positive kernel measures.","marker":"[HS78]"}],"fun_headline_variants":["Virasoro rigidity blocks Narain-like averaging in 3D gravity","Proven: 3D gravity cannot average like Narain at genus one","Genus-one gravity rigidity: no Narain-style averaging","Virasoro S,T force diagonal pairings, killing Narain averages","No Narain averaging: Virasoro boundary rigidity at genus one"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The no-go rests on the assumption that physically relevant boundaries are captured by genus-one data that act boundedly on the auxiliary L² label space, or — under the ordinary block-diagonal vacuum–continuum ansatz — by entrywise-positive Borel measures satisfying the two vacuum marginals; a boundary that yields signed, complex, or non-kernel data, or that couples the vacuum to the continuum, escapes the theorem.","fun_headline_variants_meta":{"raw":{"variants":["Virasoro rigidity blocks Narain-like averaging in 3D gravity","Proven: 3D gravity cannot average like Narain at genus one","Genus-one gravity rigidity: no Narain-style averaging","Virasoro S,T force diagonal pairings, killing Narain averages","No Narain averaging: Virasoro boundary rigidity at genus one"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00016,"raw_usage":{"total_tokens":1116,"prompt_tokens":838,"completion_tokens":278,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":582,"completion_tokens_details":{"reasoning_tokens":200}},"tokens_in":582,"tokens_out":278,"duration_ms":2903,"temperature":1.0,"reasoning_tokens":200,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T18:46:13.515507+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit one bounded operator N ≠ cI on L²(R₊, dP) with [N,S] = [N,T] = 0 for the kernels in (4.5), or construct a topological boundary of the doubled Virasoro TQFT whose genus-one pairing is non-diagonal, modular-invariant, and vacuum-normalized. A reader can also search numerically over larger discretized fiber matrices for a second null direction in the commutant of the discrete S — the paper's own SVD checks found only the identity at truncations up to K = 12.","supporting_citations":[],"review_version":1}