{"id":"69d47050-b332-4872-bb7d-ed6938bc160b","arxiv_id":"2509.09765","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A new explicit level-by-level series for four-point Virasoro conformal blocks on the sphere, with coefficients fixed by singular-vector weights, differing from Zamolodchikov recursion and AGT forms.","lead":"This paper derives a new explicit series formula for the mathematical building blocks used in two-dimensional conformal field theory, the Virasoro conformal blocks. It checks the formula against known recursion relations and studies what happens when the central charge becomes very large.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Central block formula rests on an unproved two-variable polynomial identity (2.19); the paper's checks only probe a slice of it.","rationale":"The reader's weakest_assumption identifies exactly the same step: the unproved identification of the generalized Pochhammer with the fusion-rule product. My reading of the derivation confirms that this is the load-bearing point. The OPE and block formulas would all be invalid if (2.19) fails, because the coefficients in (3.6) depend on the full α and h dependence of those Pochhammers. The residue comparison is not an independent full check: it tests the polynomial on a slice, and the large-c limits probe only asymptotic scaling. Since no direct computation of singular-vector coefficients is presented in the paper, the identity remains conjectural as presented, despite being plausible and consistent with the small set of checks. The appropriate verdict is conditional, which is what the reader already assigned; therefore I do not move the verdict. If the proposed symbolic test were run and passed, the concern would be retired and the central claim would be on much firmer ground; if it failed, the verdict would need to move to REJECT.","tokens_in":24868,"tokens_out":7724,"duration_ms":93593,"concrete_test":"Directly verify (2.19) as a polynomial identity. For a fixed generic c (e.g. c=2 and c=25/2) and for ⟨r,s⟩ = ⟨2,2⟩, ⟨2,3⟩, and ⟨3,3⟩, construct [α,β]_{⟨r,s⟩} from the definition [α,β]_{⟨r,s⟩}=v^μ_{⟨r,s⟩}[α,β]_μ using an explicit singular-vector coefficient formula (e.g. Benoit–Saint-Aubin) in a computer algebra system. Then symbolically compute the difference between this polynomial and the right-hand side of (2.19), simplifying with (2.4)–(2.7). Require the difference to be identically zero in the variables α, β. If it is nonzero for any generic α,β at one of these low-lying cases, the central formula (3.6) is incorrect. A weaker but useful first pass is to evaluate both sides at 30 randomly chosen real values of (α,β,c) and check agreement to high precision before attempting the symbolic identity.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The entire block formula (3.6) inherits its coefficient functions from the generalized Pochhammer [α,β]_{⟨r,s⟩}, defined as v^μ_{⟨r,s⟩}[α,β]_μ and then replaced by the explicit product (2.19)/(2.20). This replacement is the single load-bearing step: every coefficient at every descendant level uses the α-dependent, h-dependent version of this identity, not just its value at a degenerate internal dimension.\n\nThe paper's justification in Section 2.3 is not a derivation. The BPZ fusion rules fix the zero locus of the three-point coupling of a degenerate primary with two external primaries, but the text jumps from that to the conclusion that the polynomial [α,β]_{⟨r,s⟩} itself has exactly those zeros with multiplicity one and no other h_i,h_j,c dependence. Matching the leading power (h_i−h_j)^{rs} in (2.18) fixes only the overall scale of a polynomial whose zero set is already assumed. A polynomial in α and β of total degree rs is not determined by its leading homogeneous term and the requirement that it vanish on a set of lines unless one also proves the absence of additional factors, multiplicities, or lower-degree terms with the same zero set.\n\nThe checks offered later do not close this gap. The residue comparison with Zamolodchikov in Section 3.2 evaluates the generalized Pochhammers only at α = h_{⟨r,s⟩}−h_j (or the shifted version in the residue), a codimension-one slice of the full polynomial. The large-central-charge limits in Section 4 probe only the leading b-scaling. Neither test exercises the generic α/h dependence that enters (3.6). Thus the central claim is conditional on an unverified algebraic identity.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper derives explicit expressions for the Virasoro OPE and four-point conformal blocks on the sphere using a resolution of the identity based on the inverse Shapovalov form obtained by the same authors in [1]. The central result is Eq. (3.6), which gives the level-ℓ coefficient of the conformal block as a finite sum over factorizations r·s=ℓ of q-coefficients times products of generalized Pochhammer symbols. The key simplification is Eq. (2.19)/(2.20), where the generalized Pochhammer symbol [α,β]_{⟨r,s⟩}, originally defined through singular-vector coefficients, is replaced by an explicit product over rs fusion-rule factors. The authors verify that the poles in h match Zamolodchikov's h-recursion, and they analyze several large-central-charge limits, recovering global blocks and leading semiclassical asymptotics, with some new conjectured asymptotic formulas. A Mathematica notebook is provided.","tokens_in":25158,"tokens_out":2691,"duration_ms":34203,"significance":"If the central identity (2.19) is correct, the paper supplies a genuinely new and comparatively explicit series expansion for generic four-point Virasoro conformal blocks in the standard cross-ratio x, with coefficients that depend only on the conformal dimensions and singular-vector weights. The comparison with Zamolodchikov's h-recursion is a meaningful nontrivial check, and the ancillary notebook is a useful resource. The paper is clear about the distinction between its formula and the recursion-based representations, and the large-c limits, where proven, are consistent with known results. However, the correctness of the entire construction rests on an unproved polynomial identity whose full domain is not tested by the checks presented. The paper also contains explicit limitations and conjectures in Section 4, which must be addressed before the central claim can be considered established.","major_comments":[{"comment":"The derivation of the explicit product form for [α,β]_{⟨r,s⟩} is not a proof. The text uses pole cancellation in the OPE to fix the zero locus and then matches the leading power (h_i−h_j)^{rs} in (2.18), but a polynomial of total degree rs is not determined by its zero set and leading homogeneous term unless one also proves the absence of multiplicities, extra c- or h-dependent factors, and lower-degree terms that vanish on the same set. Since (2.19) is used inside (3.6) for arbitrary h and ℓ, not only for α at the residue values, this gap is load-bearing for every coefficient of the claimed block formula.","section":"§2.3, Eq. (2.19)"},{"comment":"The residue comparison with Zamolodchikov's h-recursion evaluates the generalized Pochhammers only at α=h_{⟨r,s⟩}−h_j (or the shifted values h+rs). This is a codimension-one slice of the two-variable object [α,β]_{⟨r,s⟩} used in (3.6). The comparison therefore does not test the full h-dependence of the numerators in (3.6), where α=h−h_1 and h−h_4 vary independently of the singular-vector dimensions. The claim that the residues match is a useful consistency check, but it cannot substitute for a proof of (2.19).","section":"§3.2, Eq. (3.12)"},{"comment":"The paper itself states that the semiclassical treatment 'may look convincing but is not completely rigorous' and then restricts the more detailed argument in Appendix C to the all-heavy generic case. The conjectured asymptotics (4.31) and (4.32) are presented without proof, as are the heavy-light results (4.37)–(4.40) to the extent they rely on the same incomplete scaling arguments. Since these sections are presented as checks and possible applications of the main formula, the conjectural status of several displayed results should be clearly marked or, ideally, supported by an independent derivation.","section":"§4.2.2 and Appendix C"},{"comment":"The identity (4.7), which is later used to derive large-c asymptotics, is obtained by equating the series (4.5) with the known three-point result. This is a check of (3.6) only if one already accepts (2.19); it is not an independent verification of the generalized Pochhammer replacement. Moreover, the identity is used at finite ℓ and arbitrary h_2,h_3,h_4, so it does not supply the missing proof of (2.19) either.","section":"§4.1, Eq. (4.7)"}],"minor_comments":[{"comment":"The notation q_{⟨r,s⟩} for a product of many factors is introduced without an example; a short example for m=2 or m=3 would improve readability, especially because the denominator shifts depend on the ordering of the pairs.","section":"§2.2, Eq. (2.12)"},{"comment":"The sentence 'both expressions share the same complexity in sums' is somewhat informal: the comparison is between a series in x and a recursion expressed in the nome q. A more precise statement about the number of terms at a given level in each representation would be helpful.","section":"§3.2, Eq. (3.15)"},{"comment":"The conjectured formulas (4.31) and (4.32) are stated without the same level-by-level verification that is given for other cases. If these are meant as new results, the authors should provide at least numerical evidence or a more explicit derivation; if not, they should be labelled as speculative.","section":"§4.2.2, Eq. (4.31)"},{"comment":"The double-Gamma representation is elegant but the counting of zeros is not shown. A brief explanation of how the two numerator Gamma functions compensate the denominator poles would make the formula easier to trust.","section":"Appendix B, Eq. (B.4)"}],"recommendation":"major_revision","confidential_remarks":"The paper relies heavily on the authors' previous work [1] for the resolution of the identity, and the crucial factorization (2.19) is only justified by an argument that is not a derivation. The rest of the paper is well-structured and the checks are suggestive, but the central claim cannot be accepted without a complete proof or an explicit independent verification of (2.19) for generic α and β. I would encourage the authors to provide such a proof (perhaps using known singular-vector coefficient formulas or an induction on r and s) or, failing that, to state clearly the status of (3.6) as a conjecture. The paper is otherwise suitable in scope for the journal if the mathematical gap is closed."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things you should know about arXiv:2509.09765. First, the central result is real: equation (3.6) is an explicit level-organized series for four-point Virasoro blocks on the sphere that is not the h-recursion solution, not the AGT double sum, and not Perlmutter's c-recursion. It uses only the singular-vector weights, not the singular-vector coefficients. Second, the main formula is in good shape, but the derivation leans on an algebraic identity that is argued, not proved; I don't think the gap is as large as the stress-test note suggests, but it deserves closing.\n\nThe paper does several things well. The resolution-of-identity program from the authors' 2025 paper gives a clean OPE (2.14) and then the block formula (3.6). The residue comparison with Zamolodchikov's h-recursion in Section 3.2 is a nontrivial check: the residues of (3.6) match, and that tests the generalized Pochhammers for all external dimensions. The large-c global limit reproduces the 2F1 block, and the all-heavy semiclassical limit reproduces the known exponentiation. The authors are also honest: (4.31)-(4.32) are labeled conjectures, and Appendix C fills a real gap they spotted themselves in the all-heavy argument. The ancillary Mathematica notebook is a plus.\n\nThe soft spot is (2.19), the replacement of the generalized Pochhammer [α,β]_{⟨r,s⟩} by an explicit product of fusion-rule factors. The paper justifies it by demanding pole cancellation and matching the leading power (2.18). That is the standard BPZ argument for the three-point coupling of a degenerate field, and it is probably right, but it is not a proof of the polynomial identity. The stress-test's specific worry—that the residue comparison only probes a codimension-one slice—is overstated: since h_i and h_j are two independent variables, the restriction α = h_{⟨r,s⟩} - h_j actually covers the entire (α,β) plane, so the checks are much stronger than a single slice. What is missing is the standard but unstated assumption that the three-point coupling has exactly the fusion-rule zeros, with no extra factors or multiplicities. That is standard BPZ lore, and a referee could reasonably ask the authors to either prove (2.19) directly for small r,s or verify symbolically for low levels.\n\nThe self-citation to the resolution-of-identity paper [1] is heavy, but it is the authors' own prior work, and the block formula stands or falls with that paper. Given the legitimate novelty, the honest treatment of limits, and the fact that the whole formula is checkable, I would send this to a serious referee. The main request would be a direct verification of (2.19) and, if possible, numerical benchmarks for the conjectured semiclassical asymptotics.","headline":"New explicit level-organized Virasoro block series, sound overall; key algebraic identity (2.19) needs direct proof, but the stress-test's slice objection doesn't hold.","tokens_in":25752,"tokens_out":8967,"would_cite":true,"duration_ms":88682,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B68","81T40"],"pacs":["11.25.Hf"],"model":"deepseek-v4-flash","headline":"This paper derives an explicit series for four-point Virasoro conformal blocks whose coefficients are finite sums over level factorizations, depending only on conformal weights and never on detailed singular-vector polynomials.","keywords":["Virasoro algebra","conformal blocks","Virasoro OPE","resolution of identity","inverse Shapovalov form","generalized Pochhammer","fusion rules","large central charge"],"falsifier":"Compute the level-4 or level-6 coefficient of a generic four-point block (non-degenerate external dimensions) from the product formula and compare it with the coefficient obtained from the standard h-recursion relation, which is checked by the community to high order. Any discrepancy at a finite level would disprove the product identity and hence the block formula.","tokens_in":24703,"feed_emoji":"📐","tokens_out":5205,"duration_ms":52353,"temperature":0.7,"pith_summary":"This paper derives a new closed-form series expansion for four-point Virasoro conformal blocks on the sphere. The level-by-level coefficients are written as finite sums over factorizations of the level, with each term a product of q-coefficients and two generalized Pochhammer factors that depend only on the conformal dimensions of the external and exchanged operators. Because the Pochhammer factors are simplified to explicit products using Virasoro fusion rules, the formula does not require the detailed form of any singular vector. The result is compatible with—but structurally different from—the standard h-recursion, and it reproduces known global and semiclassical limits. If correct, it gives an efficient and representation-theoretically transparent route to Virasoro blocks.","feed_headline":"Virasoro conformal blocks now explicit, level by level","feed_subtitle":"A new route via the inverse Shapovalov form gives closed-form coefficients, matching known recursion results in limits.","key_machinery":"The inverse Shapovalov form resolution of the identity, which expresses the projector onto a Verma module as a sum over products of singular-vector operators, converts the sewing of three-point functions into explicit coefficients. The load-bearing simplification is the generalized Pochhammer identity (2.19), which replaces an exponentially large sum over partitions in the singular-vector coefficients by a simple product of rs fusion-rule factors. This identity is fixed by requiring cancellation of poles in the Virasoro OPE and by matching the leading power in the external dimensions.","core_discovery":"The central claim is that the four-point Virasoro conformal block F_h^h(x) equals a power series in the cross-ratio x whose coefficient at descendant level ell is a finite sum over multi-sets of singular-vector labels (r_a, s_a) with product r_a s_a summing to ell. Each term in the sum multiplies a q-coefficient (built from regularized singular-vector norms) by two generalized Pochhammer symbols evaluated on the block's conformal dimensions. The authors further determine these generalized Pochhammers explicitly as a product of rs fusion-rule factors, eliminating any reference to singular-vector coefficient polynomials. As a consequence, every coefficient of the block expansion is given in cl","pith_inferences":["This construction suggests that Virasoro conformal blocks may belong to a class of special functions based on double Gamma functions, which would generalize hypergeometric functions beyond a single lattice; the paper hints at this via its double Gamma representation of the Pochhammer factors.","The explicit coefficient form could be used to settle the radius of convergence of the conformal block expansion in x by extracting the growth rate of coefficients, a question the paper mentions as open.","The same resolution-of-identity technique might extend to higher-point blocks or torus one-point blocks, where the sewing procedure would produce analogous factorized sums; this goes beyond the paper's four-point sphere result.","The product identity (2.19) could in principle be proven directly from the representation theory of singular vectors, rather than by pole matching; if such a proof exists, it would remove the main unproven element of the derivation."],"forward_implications":["The block coefficients at all descendant levels are given by explicit algebraic expressions that depend only on conformal weights, so no singular-vector coefficient polynomials need to be computed.","The formula has the same summation complexity as the h-recursion solution but is organized directly in the standard cross-ratio x, with the same poles in the exchanged dimension.","The derived non-trivial summation identities (e.g., the partition-sum analogues of 1/ell!) hold and can be used to evaluate blocks in special limits.","In the global (large central charge, light operators) limit the formula reduces to the standard hypergeometric sl(2,R) block.","In several semiclassical limits (all-heavy, heavy-light, heavy-external with light exchange) the formula exponentiates to known or new leading asymptotic expressions."],"fun_headline_variants":["Inverse Shapovalov gives closed-form Virasoro blocks","Virasoro blocks: explicit finite sums, no singular-vector data","New route to Virasoro OPE via inverse Shapovalov form","Virasoro conformal blocks coefficient-by-coefficient, exactly","Closed-form Virasoro blocks from regularized norms only"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The entire formula rests on the claim that the generalized Pochhammer symbol (defined through the singular-vector coefficients) equals the simple product of rs fusion-rule factors; this equality is justified by pole cancellation and leading-power matching rather than by a direct algebraic proof.","fun_headline_variants_meta":{"raw":{"variants":["Inverse Shapovalov gives closed-form Virasoro blocks","Virasoro blocks: explicit finite sums, no singular-vector data","New route to Virasoro OPE via inverse Shapovalov form","Virasoro conformal blocks coefficient-by-coefficient, exactly","Closed-form Virasoro blocks from regularized norms only"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000172,"raw_usage":{"total_tokens":1073,"prompt_tokens":668,"completion_tokens":405,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":412,"completion_tokens_details":{"reasoning_tokens":313}},"tokens_in":412,"tokens_out":405,"duration_ms":4542,"temperature":1.0,"reasoning_tokens":313,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T18:44:39.700388+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the level-4 or level-6 coefficient of a generic four-point block (non-degenerate external dimensions) from the product formula and compare it with the coefficient obtained from the standard h-recursion relation, which is checked by the community to high order. Any discrepancy at a finite level would disprove the product identity and hence the block formula.","supporting_citations":[],"review_version":1}