{"id":"64c7a681-e9b7-431c-8f92-6ff2b34530cb","arxiv_id":"1908.02768","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Explicit superconformal blocks for mixed half-BPS correlators with SU(2) R-symmetry are computed for all contributing multiplets in a dimension-independent way.","lead":"This paper derives the superconformal blocks needed to expand four-point functions of distinct half-BPS operators in superconformal field theories with SU(2) R-symmetry. The result gives bootstrap computations a new tool for exploring theories with eight supercharges in dimensions three through six.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"All-orders completeness of the Ward-identity solution is asserted, not demonstrated; the stated 'reinjection' check is not performed or shipped, leaving the exhaustive coefficient list verified only up to an unspecified truncation.","rationale":"Good-faith reading: the paper extends known superconformal block technology to mixed D-type correlators with SU(2) R-symmetry, uses a standard Casimir + Ward identity strategy, reduces to known momentum-map results, and ships coefficient lists. These are real merits. The single most load-bearing weak point is the all-orders/uniqueness claim. The paper itself flags the needed check but does not provide it, and the ancillary file does not include the verification. Without it, the central claim 'fix the coefficients uniquely' is only established up to an unspecified order. This is not an attack on the authors; it is a request for the missing verification. The reader identified the same assumption, so I agree. Since the gap is addressable and no error is demonstrated, the appropriate verdict remains CONDITIONAL: the claim should be accepted conditional on the all-orders check being supplied (or independently reproduced).","tokens_in":30053,"tokens_out":7790,"duration_ms":87357,"concrete_test":"Take a generic mixed configuration, e.g. (J1,J2,J3,J4) = (0, 1/2, 1, 3/2), with generic Δ and ℓ for a long multiplet. Using the coefficient list in the attached Mathematica file, substitute into the superconformal Ward identity (3.21) and the type (II) Casimir equation (3.17); expand the result in z around z=0 to at least 30th order (well beyond the highest state dimension Δ+4). If the expansion is not identically zero as a rational function of the conformal data, the all-orders claim fails. If it is zero, repeat the authors' order-by-order solving at a higher truncation order to confirm that no new independent constraints appear; passing both would validate the exhaustiveness of the shipped coefficients at the tested order.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central claim—that the Casimir and Ward identities fix the superconformal block coefficients uniquely and exhaustively—depends on an all-orders statement that is not established. In §4 the authors solve the constraints order by order and write: 'If a solution is found to be valid up to some threshold, one can then easily check that it is satisfied to all orders by reinjecting it in the original equation and using the recursion relations (4.2) and (4.3).' The threshold is never stated, and the check is not shown in the paper. The attached Mathematica file contains the final coefficient lists, not the solving or verification code. This matters because for B-type and long multiplets the type (II) Casimir equation is explicitly underdetermined (§4: 'The type (II) Casimir equation is no longer strong enough to fix all of the coefficients'); uniqueness rests entirely on the Ward identity. If matching only to some finite order in the z/radial expansion missed constraints that appear at higher order, the listed coefficients could be incomplete or the solution could be non-unique. The recursion relations (4.2)–(4.3) control the Jack-polynomial expansion of bosonic blocks, so the all-orders check is a nontrivial algebraic verification, not an immediate consequence; it should be supplied. This is a completeness gap, not an identified error; the known-limit reductions and the internal consistency of the D-type and B-type short-block expressions provide real support.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper derives superconformal blocks for four-point functions of four a priori distinct D-type (half-BPS) superconformal primaries in SCFTs with SU(2) R-symmetry, working in a dimension-independent way for 2 < d ≤ 6. The blocks are decomposed into bosonic conformal blocks times SU(2) R-symmetry harmonics, and the coefficients are fixed by combining the superconformal Casimir equation with the superconformal Ward identity. The authors solve the resulting linear constraints order by order using an expansion in Jack polynomials and radial coordinates, provide explicit coefficients for D-type, B-type, and long multiplets, show that A- and C-type multiplets do not contribute, and identify a web of linear transformations relating many of the coefficients. The main output is a set of coefficient lists, with an exhaustive list supplied in a Mathematica file attached to the arXiv submission.","tokens_in":30353,"tokens_out":2908,"duration_ms":38123,"significance":"If the claims are correct, the paper provides a substantial and useful generalization of earlier superconformal block computations: it goes beyond momentum-map or coincident-R-charge correlators to mixed correlators with arbitrary R-charges in theories with eight supercharges, uniformly for 3 ≤ d ≤ 6. The consistency checks against known results for D[1] and D[J] in lower dimensions are real supporting evidence, and the explicit identification of selection rules for A- and C-type multiplets is a useful byproduct. The paper also ships an exhaustive coefficient list in computer-readable form, which is valuable for bootstrap applications. The main weakness is that the all-orders completeness and uniqueness of the coefficient solution are asserted rather than fully demonstrated; this is a central claim, not just a presentation issue.","major_comments":[{"comment":"The paper states: \"If a solution is found to be valid up to some threshold, one can then easily check that it is satisfied to all orders by reinjecting it in the original equation and using the recursion relations (4.2) and (4.3).\" However, the threshold is never specified, and the all-orders reinjection check is neither displayed in the text nor included in the Mathematica attachment, which contains the final coefficients rather than the verification. This matters because, as the paper itself notes in the B-type discussion and in Section 5, the type (II) Casimir equation is underdetermined for B-type and long multiplets, so uniqueness of the listed coefficients rests entirely on the Ward identity. The authors should supply either a closed induction argument using (4.2)-(4.3), or a verification script that checks the Ward identity and Casimir equations to arbitrarily high order, or at minimum state the finite threshold and exhibit the recursive step that proves propagation to all orders.","section":"Section 4, paragraph after Eq. (4.5)"},{"comment":"The abstract and Section 4 claim that the Casimir and Ward identities fix all coefficients uniquely, but the displayed procedure only solves a linear system order by order in the radial expansion. No rank analysis or triangularity argument is given to show that no new independent constraints appear at higher orders. In particular, for B-type and long multiplets the type (II) Casimir equation is underdetermined, so the uniqueness statement depends entirely on the Ward identity constraints at every order. The authors should either prove that the system is triangular in the order-by-order expansion or otherwise demonstrate that the solution space has dimension one at each order; otherwise the claim of uniqueness is stronger than what is shown.","section":"Section 4, linear system (4.5) and uniqueness claim"}],"minor_comments":[{"comment":"\"We excluded≤2 as in that case some of the generators may decouple\" appears to be missing the spacetime dimension variable; it should read \"excluded d ≤ 2\".","section":"Footnote 2, page 3"},{"comment":"The text says the SU(2)_R harmonics a priori depend on J1+J2, but Eq. (2.22) as written depends on J12, J34, and J. This is presumably because the a1 = J1+J2 normalization has already been used; please make this explicit so the reader does not misread Eq. (2.22) as the most general expression.","section":"Section 2.2, Eq. (2.22)"},{"comment":"The printed coefficients in Appendix D contain both ε and ℓ in close proximity, and the Mathematica file is described only briefly. A short note explaining the notation in the file, or a table matching the file's variable names to the paper's, would greatly improve usability.","section":"Section 4, coefficient tables"},{"comment":"There are occasional stylistic slips such as \"in section (4)\" instead of \"Section 4\" and \"the holomorphic/anti-holomorphic variables\" being used inconsistently. These do not affect the physics but should be cleaned up in a revision.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is within the scope of the journal and the central computations appear internally consistent and are supported by known-limit checks. The main issue for the report is not correctness but completeness: the all-orders uniqueness/exhaustiveness claim is load-bearing and is currently supported only by an asserted, unshown induction. I would ask the authors to add a short all-orders argument or a reproducible verification script, and to clarify the exact sense in which the coefficients are uniquely fixed. With that supplied, the paper should be acceptable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this is a useful and careful paper. The genuinely new part is the systematic treatment of mixed four-point functions of D-type (half-BPS) primaries with arbitrary SU(2) R-charges, giving explicit superconformal block coefficients in a dimension-independent form for 2<d≤6. The method is not new—Casimir plus Ward identity with Jack polynomials is the Bobev et al. toolkit—but the application to arbitrary Ji and J12, J34 nonzero is, and the authors ship the full coefficient list in a Mathematica file. The known-limit reductions to momentum-map D[1] and coincident charges check out, and the internal consistency of the D- and B-type short-block expressions is real evidence. No parameters are fitted; the derivation is self-contained. That is a solid contribution for the bootstrap community.\n\nThe soft spot is the all-orders claim. The paper asserts that the Ward identity fixes the coefficients uniquely and that a solution found to finite order can be checked to all orders by reinjecting into the recursion relations, but the threshold and the actual check are not shown, and the attached file contains the final coefficients, not the solving or verification code. This matters because the type (II) Casimir equation is explicitly underdetermined for B-type and long multiplets; uniqueness rests entirely on the Ward identity. If higher-order constraints could change the coefficients, the exhaustive list would be incomplete. This is a completeness gap, not an identified error, and the known-limit cross-checks make an error less likely. But a referee should ask for the verification to be supplied, or at least a sharper statement of the truncation order and why the recursion makes the check immediate.\n\nMinor points: the \"web of linear transformations\" connecting coefficients is interesting but the paper does not pursue whether it implies a more compact closed form; fine as a remark. The references to prior work are fair. The discussion of crossing symmetry is somewhat brief, but it is not load-bearing for the main result.\n\nWho is this for: anyone doing numerical superconformal bootstrap in 6D (1,0) SCFTs or lower-dimensional theories with eight supercharges who needs mixed-correlator blocks. It deserves a serious referee—the derivation is technical, the stakes are concrete, and the missing verification is addressable. I would accept it with a request for the all-orders check, and I would cite it.","headline":"Solid technical extension of superconformal block technology to mixed half-BPS correlators; the all-orders completeness claim is the main thing to press on in review.","tokens_in":30874,"tokens_out":1711,"would_cite":true,"duration_ms":17730,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["11.25.Hf","11.30.Pb"],"model":"deepseek-v4-flash","headline":"The paper determines, uniquely and dimension-independently, the superconformal blocks that appear in four-point functions of mixed half-BPS operators in SCFTs with SU(2) R-symmetry.","keywords":["superconformal blocks","half-BPS operators","SU(2) R-symmetry","conformal bootstrap","superconformal Ward identity","Casimir equation","Jack polynomials","six-dimensional SCFT"],"falsifier":"Use the companion coefficient file for a long multiplet in a mixed correlator with external R-charges (1,2,2,3), expand the left-hand side of the Ward identity (3.21) to one radial order beyond the finite check performed in the paper, and verify that no Jack-polynomial coefficient remains; any nonzero remainder would mean the published coefficients are not the complete all-orders solution.","tokens_in":29851,"feed_emoji":"⚛️","tokens_out":11767,"duration_ms":111621,"temperature":0.7,"pith_summary":"This paper works out the explicit superconformal blocks for the four-point function of four different half-BPS superconformal primaries—operators annihilated by half of the supercharges—in any superconformal field theory with SU(2) R-symmetry, for spacetime dimensions 2<d≤6. Each superconformal block is written as a finite sum of ordinary bosonic conformal blocks, and the coefficients are fixed by combining the superconformal Casimir equation with the superconformal Ward identity; the Ward identity is the constraint that determines them uniquely. The result covers every multiplet that can contribute—long multiplets and the short B- and D-type multiplets—and shows that A- and C-type multiplets never appear. A by-product is a web of linear relations among the coefficients, traced to four accidental Z2 symmetries of the superconformal Casimir, which hints at a more compact underlying form of the blocks.","feed_headline":"Ward identity fixes mixed half-BPS superconformal blocks uniquely","feed_subtitle":"These coefficients are fixed by the Ward identity in any dimension 2<d≤6 and are ready for the conformal bootstrap.","key_machinery":"The central object is the decomposition Gχ(u,v;w)=ΣJ,m,n PJ(w) fJΔ+m,ℓ+n gΔ12,Δ34Δ+m,ℓ+n(u,v), where PJ(w) are the SU(2)R harmonics, g are the bosonic conformal blocks, and the coefficients f carry the superconformal multiplet structure. The argument runs by expanding bosonic blocks in Jack polynomials, applying the superconformal Casimir operator to obtain linear constraints, and imposing the superconformal Ward identity—derived from the auxiliary R-symmetry variables—order by order in a radial expansion. The Ward identity is the mechanism that fixes the coefficients uniquely; the Casimir equation alone leaves the system underdetermined except for the D-type blocks.","core_discovery":"The central claim is that for SCFTs with SU(2) R-symmetry, the superconformal blocks of mixed half-BPS four-point functions are completely fixed by the superconformal Ward identity, as an expansion over bosonic conformal blocks with coefficients that are rational functions of the conformal data and of ε=(d−2)/2, independent of the spacetime dimension. Long multiplets and B- and D-type short multiplets contribute; A- and C-type multiplets are excluded. For D-type multiplets the paper gives closed coefficient formulas; for B-type and long multiplets the coefficients are tabulated and supplied in a companion file. Many coefficients are mapped into one another by the four accidental Z2 transformations (Δ,ℓ)→(−(ℓ+1),−(Δ+1)), Δ→−(Δ+D−4), ℓ→−(ℓ+(D−2)), and JR→−(JR+1), suggesting a hidden symmetry of the blocks.","pith_inferences":["Beyond the paper: the same Ward-identity-plus-Casimir strategy should transfer to SCFTs with larger R-symmetry groups, where the Casimir system is again likely to be underdetermined and the Ward identity decisive.","Beyond the paper: the dimension-independent blocks could be evaluated at non-integer d, where no interacting SCFT exists but the bootstrap equations remain well defined, extending the reach of numerical searches.","Beyond the paper: a systematic search for a closed form invariant under the four Z2 transformations is a natural next step; if one exists, it would accelerate bootstrap codes and reveal the structure behind the long coefficient lists."],"forward_implications":["The explicit blocks make mixed-correlator superconformal bootstrap calculations possible for external operators of arbitrary SU(2) R-charge, not just momentum maps or energy-momentum tensors.","Because the results are dimension-independent for 2<d≤6, the same blocks apply to 6D N=(1,0) SCFTs and their dimensional reductions, with only the parameter ε changing.","The selection rules are fixed: only long, B-, and D-type multiplets contribute, while A- and C-type multiplets are excluded from the block expansion of half-BPS four-point functions.","The coefficient relations under the four Z2 transformations imply a hidden symmetry of the superconformal Casimir that may admit a more compact closed form for the blocks.","The complete coefficient lists supply the input needed to write crossing equations for mixed half-BPS correlators, which is the natural next step for numerical bootstrap applications."],"supporting_citations":[{"why":"Supplies the bosonic conformal blocks, the Casimir differential equation, and the recursion relations used throughout the decomposition.","marker":"[4]"},{"why":"Gives the D>4 superconformal multiplet classification and shortening conditions that select the allowed exchanged multiplets.","marker":"[19]"},{"why":"Provides the dimension-independent classification of superconformal multiplets and the dictionary between 6D notation and lower-dimensional types.","marker":"[20]"},{"why":"Computes the four-dimensional N=2 superconformal blocks for momentum-map operators, the case this work generalizes.","marker":"[23]"},{"why":"Solves the Ward identity for 6D momentum-map blocks and establishes the selection rule excluding A- and C-type multiplets.","marker":"[26]"},{"why":"Introduces the superconformal Casimir equation for eight supercharges and the dimension-independent framework used here.","marker":"[27]"},{"why":"Derives the superconformal Ward identity in terms of SU(2)R auxiliary variables and the inversion formulae for its solution.","marker":"[32]"},{"why":"Provides the superconformal Ward identity solution and the Jacobi-polynomial form of the R-symmetry harmonics.","marker":"[33]"},{"why":"Sets up the Jack-polynomial decomposition of bosonic blocks and the Casimir method that the present computation adapts.","marker":"[34]"}],"fun_headline_variants":["Mixed BPS blocks uniquely fixed by Ward identity","Ward identity fixes mixed BPS blocks in any dimension","Superconformal blocks from Ward identity, any dimension","SU(2) R-symmetry blocks fixed by Ward identity","Unique mixed BPS superconformal blocks via Ward identity"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The listed coefficients are assumed to satisfy the Ward identity at every order, although only a finite-order check is shown; if a higher-order term violates the identity, the coefficient lists would be incomplete.","fun_headline_variants_meta":{"raw":{"variants":["Mixed BPS blocks uniquely fixed by Ward identity","Ward identity fixes mixed BPS blocks in any dimension","Superconformal blocks from Ward identity, any dimension","SU(2) R-symmetry blocks fixed by Ward identity","Unique mixed BPS superconformal blocks via Ward identity"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001329,"raw_usage":{"total_tokens":5355,"prompt_tokens":842,"completion_tokens":4513,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":458,"completion_tokens_details":{"reasoning_tokens":4433}},"tokens_in":458,"tokens_out":4513,"duration_ms":31962,"temperature":1.0,"reasoning_tokens":4433,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:35:13.800128+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Use the companion coefficient file for a long multiplet in a mixed correlator with external R-charges (1,2,2,3), expand the left-hand side of the Ward identity (3.21) to one radial order beyond the finite check performed in the paper, and verify that no Jack-polynomial coefficient remains; any nonzero remainder would mean the published coefficients are not the complete all-orders solution.","supporting_citations":[{"cited_title":"Aspects of Superconformal Multiplets in D>4","cited_arxiv_id":"1606.00810","evidence_quote":"Gives the D>4 superconformal multiplet classification and shortening conditions that select the allowed exchanged multiplets."}],"review_version":1}