{"id":"1f59eac2-c86f-4da7-adc8-b2d8641d673f","arxiv_id":"1908.04572","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The authors extend their momentum-space Polyakov block construction for scalar conformal four-point functions from three dimensions to general spacetime dimension d, with explicit formulas for arbitrary-spin exchanges.","lead":"This paper constructs, in general spacetime dimension, a momentum-space basis for scalar conformal four-point functions that makes crossing symmetry manifest, extending a previous three-dimensional construction. It provides explicit formulas for Polyakov blocks with arbitrary-spin intermediate operators using spherical harmonics.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"General-d discontinuity factorization (3.29) is the load-bearing input and is only cited to Ref. [1]; the step to (4.11) also relies on an asserted commutation of A(m) with discontinuities.","rationale":"The reader's weakest assumption correctly identifies Eq. (3.29) as the point where general-dimensional validity is asserted rather than proven. The identity is dimensionally consistent and probably true, but it is the load-bearing premise: the cubic vertex (3.31) is defined from it, and the Polyakov block (4.11) inherits its entire discontinuity structure from that vertex. A failure of the general-d factorization would invalidate the central construction, so the lack of a derivation in this paper is a real soft spot. I also note an apparent typographical inconsistency in the z^s weight: Eq. (3.29) contains z^s, while Eq. (3.31) as printed does not; Eq. (4.9) uses z^{d+1-s}, which suggests the z^s was intended in (3.31). This does not change the verdict, but it should be fixed. Since the reader already assigned CONDITIONAL, and this concern supports that assessment without escalating it, the verdict remains unchanged.","tokens_in":15464,"tokens_out":31233,"duration_ms":301964,"concrete_test":"Derive (3.29) from the standard discontinuity of Kν: for k→e^{iπ}k, Kν(e^{iπ}kz)=e^{-iπν}Kν(kz)-iπIν(kz). Compute Disc_{k^2}[k^ν Kν(kz)] and check that the resulting RHS equals Eq. (3.29) with the stated -Γ(1-ν3)/2^{ν3} and z^s factor for generic d. Then re-check Eq. (3.31): substitute the result into (3.27)-(3.30) and verify the z^s weight is present; if not, correct the measure in Eq. (4.9) and recompute Eq. (4.11).","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central construction rests on the factorization of the three-point non-analytic part, Eq. (3.29). This identity is stated for general spacetime dimension in §3.4 with the justification 'see Sec. 3 of Ref. [1] for details'; it is not derived here. It feeds directly into the cubic vertex (3.31) and hence into the s-channel Polyakov block (4.9)/(4.11) through (4.2) and (4.5). If the relative coefficient, the k3^{-ν3} Iν3 kernel, or the z^s weight differs for general d, the block will not reproduce the required s-channel discontinuity and the claimed crossing-symmetric basis is not established. The subsequent assertion in §4.2 that the differential operators A(m) do not change non-analytic properties is likewise used without proof; combined with the frame-dependent prefactors (k2 sinθ)^m, this is what guarantees property 2 of the block (no t,u discontinuities). A secondary inconsistency: Eq. (3.31) omits the z^s factor that appears in (3.29) and is needed to match the measure z^{d+1-s} in (4.9); as printed, (3.31) and (4.9) are not mutually consistent.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper extends the authors' earlier d=3 construction of a manifestly crossing-symmetric basis for scalar CFT four-point functions to general spacetime dimension d. The technical novelty is a helicity decomposition of symmetric traceless operators using spherical harmonics on S^{d-2}, which replaces the Fourier expansion used in the d=3 paper. After reviewing the Funk-Hecke formula and its derivation, the paper writes momentum-space two- and three-point functions in helicity form (Sections 3.1-3.3), derives explicit integral expressions in Appendices A and B, and then uses the factorization of three-point discontinuities (Section 3.4) to define cubic vertices. These vertices are assembled into the s-channel Polyakov block in Section 4, with the final general-spin formula given by Eq. (4.11); t- and u-channel blocks are defined analogously. The paper has no fitted parameters and the main formulas are explicit and checkable.","tokens_in":15715,"tokens_out":4442,"duration_ms":43658,"significance":"If the construction is correct, it provides a manifestly crossing-symmetric basis of scalar four-point functions in arbitrary dimension, with Polyakov blocks built from scalar Witten-exchange integrals dressed by explicit differential operators. This would be a useful technical tool for conformal bootstrap and holographic applications, and it generalizes a nontrivial result from d=3 to general d. The paper is commendably explicit in Sections 2-3: the spherical-harmonic formalism, the two-point coefficient (3.14), and the three-point helicity amplitude (3.26) are derived in detail, with the integral identities proven in Appendices A and B. However, the load-bearing factorization identity (3.29) is imported from the d=3 paper rather than derived, and there is a z^s mismatch between (3.31) and (4.9) as printed. These issues affect the central claim and require repair before the construction can be considered established.","major_comments":[{"comment":"The general-dimensional factorization of the three-point discontinuity is stated with the justification 'see Sec. 3 of Ref. [1] for details,' but Ref. [1] treats d=3. This identity is load-bearing: it defines the cubic vertex (3.31) and, through (4.2) and (4.5), fixes the s-channel Polyakov block (4.9)/(4.11). If the relative coefficients, the k3^{-ν3} Iν3 kernel, or the z^s weight differ for general d, the block will not reproduce the required s-channel discontinuity and the claimed crossing-symmetric basis is not established. Please supply a derivation of (3.29) in general dimension, or a precise statement of which theorem in Ref. [1] already covers general d.","section":"§3.4, Eq. (3.29)"},{"comment":"As printed, the cubic vertex in Eq. (3.31) omits the z^s factor that appears in the factorization (3.29) and that is needed to match the measure z1^{-(d+1-s)} z2^{-(d+1-s)} in Eq. (4.9). With (3.31) taken literally, the s-channel block constructed in (4.9) has the wrong weight in the radial coordinates and does not reproduce the discontinuity (3.29). This is not a mere typo in an auxiliary formula; it is an inconsistency between two formulas that must be consistent for the construction to work. Please correct (3.31) and verify the overall power counting in z in (4.9).","section":"Eqs. (3.31) and (4.9)"},{"comment":"The assertion that the differential operators A^{(m)}_{12O} and their conjugates 'do not change the non-analytic properties' is not demonstrated. The argument in Section 3.4 establishes only that k3 D12O is polynomial in the momenta and that the prefactors in (3.27) are polynomial in k2 and cosθ; it does not show that A^{(m)} commutes with the discontinuity in k12^2, nor that applying the operator to the scalar Witten exchange does not introduce t- or u-channel discontinuities. These properties are precisely property 2 of the Polyakov block in (4.5), so this gap affects the load-bearing claim that W^{(s)}_O has no non-analyticity other than that required by s-channel factorization. A proof, or a precise reference containing the proof, is required.","section":"§4.2, Eqs. (4.8)-(4.9)"}],"minor_comments":[{"comment":"The paper uses d for the spacetime dimension and D for the dimension of the sphere S^{D-1} in Section 2; please clarify this distinction in one place, since D is also used for the differential operator D12O in Section 3.","section":"Notation, §2"},{"comment":"The affiliations contain line-break artifacts: 'Chulalongkorn U niversity', 'Ja pan', and 'M adison' appear in the header; these should be fixed.","section":"Page 1 affiliations"},{"comment":"In Eq. (2.2), SO(2) has an unintended space, and the phases of Y_{m\\pm} are not specified; please define them explicitly so that the sign conventions in (2.5) are unambiguous.","section":"Eq. (2.2)"},{"comment":"The notation Disck2_3 is used for the discontinuity but is not defined; please state explicitly that it denotes the discontinuity across the branch cut in k3^2, and similarly for the s-channel discontinuity in Section 4.","section":"Eqs. (3.29)-(3.33)"},{"comment":"The statement that there is 'no conceptual obstruction' to generalizing to external conserved currents is stronger than what is demonstrated here; please soften it or cite Ref. [40] more precisely as a first step.","section":"§5, Conclusion"}],"recommendation":"major_revision","confidential_remarks":"The paper is technically promising and the d=3 predecessor provides independent support, but the general-d factorization (3.29) is imported without proof and the z^s inconsistency between (3.31) and (4.9) undermines the central formula as printed. These are fixable in a revision if the authors can provide the missing derivation or a precise citation that covers general d; if the factorization fails, the main claim would need to be reconsidered."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper generalizes the authors' d=3 momentum-space Polyakov block construction to arbitrary spacetime dimension. The new ingredient is the use of Funk-Hecke / spherical harmonic decomposition on the little group S^{d-2} to handle symmetric traceless operators of arbitrary spin. That part is worked out cleanly: the two-point helicity coefficients (3.14) and three-point vertex (3.26) are derived in appendices and are checkable. If you work on conformal bootstrap or cosmological correlators in momentum space, this is a useful technical tool.\n\nThe main result, Eq. (4.11), gives an explicit s-channel Polyakov block for scalar four-point functions with an intermediate spin-s operator. It has the correct structure: two differential operators A(m) act on a scalar Witten exchange diagram, and the addition theorem sums the helicity indices. The logic is sound.\n\nThe soft spots are real but fixable. First, the central factorization of the three-point discontinuity, Eq. (3.29), is load-bearing; it is simply cited to Ref. [1] (\"see Sec. 3 of Ref. [1] for details\"). In a paper whose whole point is extending to general d, the dimension-dependence of that discontinuity is exactly what must be shown. It probably carries over, but as written the reader cannot verify it without going to the previous paper and doing the matching. Second, and more concrete: Eq. (3.31), the cubic vertex, omits the z^s factor that appears in (3.29) and is needed to match the measure z^{d+1-s} in (4.9)/(4.11). As printed, (3.31) and (4.9) are mutually inconsistent. That looks like a typo, but it sits in the central derivation and a reader who tries to reproduce the factorization from (3.31) will fail. Third, the claim that the differential operators A(m) do not change non-analytic properties is asserted rather than proved; this is the step that guarantees the block has only the s-channel discontinuity. Probably true, but it deserves a few sentences.\n\nNone of this shakes the central construction. The paper is a genuine extension, not a repackaging. It deserves a serious referee: the referee should ask for the missing derivation of (3.29), the z^s fix, and a more careful run-through of the analyticity argument. After those revisions it will be a solid reference.\n\nI'd bring it to the reading group if anyone cares about momentum-space bootstrap; otherwise a skim suffices. I'd accept it for review.","headline":"A genuine general-dimensional extension of momentum-space Polyakov blocks with explicit spinning formulas, but the load-bearing factorization is only cited from prior work and one equation has a z^s typo that needs fixing.","tokens_in":16219,"tokens_out":2977,"would_cite":true,"duration_ms":30589,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper constructs a manifestly crossing-symmetric basis for scalar conformal four-point functions in arbitrary spacetime dimension, extending the earlier three-dimensional construction to general dimension.","keywords":["conformal field theory","crossing symmetry","Polyakov block","momentum space","spherical harmonics","Funk-Hecke formula","Witten exchange diagram","conformal bootstrap"],"falsifier":"Evaluate both sides of Eq. (3.29) for a concrete case outside $d=3$, for example $d=4$ with an intermediate spin $s=2$ operator and generic external dimensions; if the discontinuity of the three bulk-to-boundary integral does not factor with the stated prefactor, the cubic vertex (3.31) and the Polyakov block (4.11) fail the defining factorization (4.5). A complementary check is to compute the block (4.11) and verify directly that it has no $t$- or $u$-channel discontinuities.","tokens_in":15270,"feed_emoji":"📐","tokens_out":11307,"duration_ms":102661,"temperature":0.7,"pith_summary":"This paper establishes that the manifestly crossing-symmetric basis for scalar conformal four-point functions, previously available in three spacetime dimensions, can be built in any spacetime dimension $d$. The construction expresses each exchanged primary operator of spin $s$ through a helicity decomposition on the sphere $S^{d-2}$, and uses spherical harmonics to sum over helicities. The result is an explicit $s$-channel Polyakov block, Eq. (4.11): a scalar Witten-exchange integral dressed by differential operators and weighted by Gegenbauer polynomials. If correct, any scalar four-point function in a $d$-dimensional CFT can be expanded as the sum of $s$-, $t$-, and $u$-channel Polyakov blocks plus analytic terms, so crossing symmetry is manifest by construction while the OPE is hidden.","feed_headline":"Crossing-symmetric CFT blocks built for any dimension","feed_subtitle":"Polyakov blocks sewn from Witten exchanges and spherical harmonics now work for any spin and dimension.","key_machinery":"The load-bearing machinery is the Funk-Hecke formula on the unit sphere. It states that any scalar function of two unit vectors $\\hat w, \\hat z$ in $D$ dimensions expands as $f(\\hat w\\cdot\\hat z)=\\sum_m \\lambda_m \\Pi_m(\\hat w,\\hat z)$, where $\\Pi_m(\\hat w,\\hat z)=\\sum_n Y_{mn}(\\hat w)Y_{mn}^*(\\hat z)=\\dim Y_m^D\\, P_m^{(D)}(\\hat w\\cdot\\hat z)$ is the projector onto the spin-$m$ sector and $P_m^{(D)}$ is a normalized Gegenbauer polynomial. The paper uses this to decompose symmetric traceless tensor operators into helicity components labeled by the little-group spin $m$ of a fixed momentum, turning the two- and three-point functions into scalar functions on $S^{d-2}$ whose helicity coefficients are extracted by the integral (2.11). The addition theorem then resums the helicity sum in the four-point block, yielding Eq. (4.11).","core_discovery":"The central claim is that the Polyakov block for external scalars with an intermediate symmetric traceless operator of arbitrary spin $s$ takes the explicit form in Eq. (4.11): $$$W_O^{{(s)}}$ = \\sum_{m=0}^s \\dim $Y_m^{{d-1}}$\\, (k_2\\sin\\theta_2\\, k_4\\sin\\theta_4)^m $P_m^{{(d-1)}}$(\\hat\\kappa_2\\cdot\\hat\\kappa_4)\\, $A^{{(m)}}$_{12O}\\, \\frac{\\left($A^{{(m)}}$_{34O}\\right)^*}{a_{\\nu_O,s}(m)} \\int \\frac{dz_1}{$z_1^{{d+1-s}}$} \\int \\frac{dz_2}{$z_2^{{d+1-s}}$} B_{\\nu_1}B_{\\nu_2}G_{\\nu_O}B_{\\nu_3}B_{\\nu_4},$$ where $P_m^{(d-1)}$ is a normalized Gegenbauer polynomial, $A^{(m)}_{12O}$ are differential operators built from cubic-vertex data, $G_{\\nu_O}$ is the scalar bulk-to-bulk propagator, and the integral is the scalar Witten exchange. The block is constructed to satisfy the factorization criterion (4.5) and to have no non-analyticity beyond the $s$-channel cut. The paper further claims that summing over intermediate operators in all channels gives a basis of the form (4.4), so crossing symmetry is automatic.","pith_inferences":["A purely momentum-space bootstrap program could be built on this basis: treat the undetermined analytic terms as free parameters and fix them by OPE consistency or dispersion relations.","The explicit spin dependence in Eq. (4.11) makes it possible to test the basis in weakly coupled large-$N$ theories by checking whether the summed blocks reproduce tree-level Witten diagrams to all spins; this would be a numerical check the paper does not perform.","The same helicity/Funk-Hecke decomposition should extend to de Sitter and inflationary correlators, where a crossing-symmetric basis might simplify the study of non-Gaussianities; the paper lists this as a direction but does not develop it."],"forward_implications":["Any scalar CFT four-point function in general dimension admits a crossing-symmetric expansion as a sum of $s$, $t$, and $u$ Polyakov blocks plus analytic terms, so crossing symmetry is manifest by construction.","Each Polyakov block is the momentum-space avatar of a Witten exchange diagram, so in holographic theories the basis organizes the correlator into bulk exchanges with analytic terms playing the role of contact interactions.","Because the expansion hides the OPE, demanding consistency with the OPE constrains the analytic terms and the spectrum; this is a concrete bootstrap condition in general $d$.","The same spherical-harmonic technology is pointed to as the route to four-point functions involving external conserved currents and the stress tensor, with no conceptual obstruction expected."],"supporting_citations":[{"why":"Supplies the three-dimensional construction and the factorization of the bulk-to-boundary discontinuity (Eq. 3.29) on which the general-dimension argument relies.","marker":"[1]"},{"why":"Polyakov's original ansatz that four-point functions expand into s, t, u blocks plus analytic terms; this is the framework being generalized.","marker":"[2]"},{"why":"Shows in Mellin space that the Polyakov block is the Witten exchange diagram, grounding the identification used here.","marker":"[3]"},{"why":"Develops the Mellin-space conformal bootstrap and reinforces the Witten-exchange interpretation of Polyakov blocks.","marker":"[4]"},{"why":"Introduces the helicity decomposition for momentum-space correlators that the paper adapts to general dimension.","marker":"[5]"},{"why":"Provides the Funk-Hecke expansion of functions on the unit sphere in general dimension, the main technical tool.","marker":"[6]"},{"why":"Standard reference for spherical harmonics and addition theorems used in the helicity decomposition.","marker":"[7]"},{"why":"Supplies the characterization of little-group-invariant spherical harmonics and the Funk-Hecke formula used in Sec. 2.","marker":"[8]"},{"why":"Introduces the null polarization-vector formalism for symmetric traceless tensors used throughout.","marker":"[45]"},{"why":"Provides the spinning conformal correlator technology, including the polarization-vector contraction, that the paper relies on for spin-s operators.","marker":"[46]"}],"fun_headline_variants":["Polyakov blocks for any spin and dimension","CFT crossing blocks now in general spacetime","Crossing-symmetric basis for any-dim CFT","Arbitrary spin and dimension for CFT blocks","From 3D to any dimension: CFT crossing blocks"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that a specific identity about how a three-point momentum-space integral behaves at its branch cut holds in every dimension, not just $d=3$; if that identity fails, the cubic vertex and the explicit Polyakov block are not justified.","fun_headline_variants_meta":{"raw":{"variants":["Polyakov blocks for any spin and dimension","CFT crossing blocks now in general spacetime","Crossing-symmetric basis for any-dim CFT","Arbitrary spin and dimension for CFT blocks","From 3D to any dimension: CFT crossing blocks"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000661,"raw_usage":{"total_tokens":3000,"prompt_tokens":902,"completion_tokens":2098,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":518,"completion_tokens_details":{"reasoning_tokens":2024}},"tokens_in":518,"tokens_out":2098,"duration_ms":15675,"temperature":1.0,"reasoning_tokens":2024,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:37:43.805387+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evaluate both sides of Eq. (3.29) for a concrete case outside $d=3$, for example $d=4$ with an intermediate spin $s=2$ operator and generic external dimensions; if the discontinuity of the three bulk-to-boundary integral does not factor with the stated prefactor, the cubic vertex (3.31) and the Polyakov block (4.11) fail the defining factorization (4.5). A complementary check is to compute the block (4.11) and verify directly that it has no $t$- or $u$-channel discontinuities.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Polyakov's original ansatz that four-point functions expand into s, t, u blocks plus analytic terms; this is the framework being generalized."},{"cited_title":"Bateman and A","cited_arxiv_id":null,"evidence_quote":"Provides the Funk-Hecke expansion of functions on the unit sphere in general dimension, the main technical tool."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Standard reference for spherical harmonics and addition theorems used in the helicity decomposition."},{"cited_title":"Atkinson and W","cited_arxiv_id":null,"evidence_quote":"Supplies the characterization of little-group-invariant spherical harmonics and the Funk-Hecke formula used in Sec. 2."},{"cited_title":"Bargmann and I","cited_arxiv_id":null,"evidence_quote":"Introduces the null polarization-vector formalism for symmetric traceless tensors used throughout."}],"review_version":1}