{"id":"ea96f1ef-e3ae-4791-b855-5e5bfedd337e","arxiv_id":"2502.10269","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"A bootstrap combining lightcone OPEs with chiral algebra and a topological twist determines the six-point supergraviton Mellin amplitude in AdS5 x S5 up to an overall constant, passing a flat-space KLT check.","lead":"The paper computes the six-point correlation function of supergravitons in AdS5 x S5 for the first time, using only symmetry and consistency constraints rather than direct Feynman-diagram calculations. The new method combines lightcone limits with the chiral algebra twist, and the result matches an independent flat-space scattering computation.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Ansatz completeness is the load-bearing gap: (4.1) truncates poles at δij=1 and at δ12+δ13+δ23+m=2 with m≤2, but Appendix A.3 only shows truncation for individual 4-4/3-5 factorization residues, not that no other singularities or exchanges contribute.","rationale":"The reader's weakest assumption, completeness of ansatz (4.1), is also the most load-bearing condition for the paper's central claim. The constraints imposed in Sections 5-7 can only determine the coefficients inside a given ansatz; they cannot detect an omitted pole topology unless the omission is inconsistent with the imposed constraints. The appendix provides a partial justification for the pole truncation by deriving explicit m-truncation in the factorization residues of the lower-point functions that are known, but it does not establish the absence of additional singularities in the full six-point amplitude, especially in channels involving multiple spinning lines. I did not find an internal contradiction or a circular use of the flat-space KLT result as a constraint; the flat-space amplitude is used as a check, with only growth and graviton-dominance used as inputs. The proposed enlarged-ansatz test would settle whether the truncation is exhaustive: if extra pole types are forced to zero by the same constraints, the concern is resolved; if they can be nonzero, the bootstrap has not uniquely fixed the correlator. Because the paper already receives a CONDITIONAL verdict reflecting this uncertainty, my stress test does not move the verdict; it sharpens the condition that should be met for acceptance.","tokens_in":31866,"tokens_out":6650,"duration_ms":78259,"concrete_test":"Run an enlarged-ansatz test in the ancillary notebook: add trial singularities of the next descendant levels not present in (4.1), in particular single poles at δij=3 and three-sum poles δ12+δ13+δ23+m=2 with m=3, while preserving the degree bounds from the flat-space limit, and re-solve the same chiral-algebra and Drukker-Plefka constraints. If the enlarged system admits a solution with nonzero trial coefficients, ansatz (4.1) is incomplete and the six-point amplitude is not uniquely fixed; if consistency forces all such coefficients to vanish, completeness is supported. As a second check, extract the residue at δ12=1 for a non-planar partition, e.g. {13|2456}, and compare with the factorization formulas (A.9)-(A.21) built from the known four-point functions.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim that the six-point amplitude is fully fixed depends on ansatz (4.1) being exhaustive. The paper assumes the only Mellin singularities are simple poles at δij=1, three-sum poles δ12+δ13+δ23+m=2 with m=0,1,2, and products of these, plus a degree-one regular term; the only exchanged single-trace operators are the 20', the R-symmetry current, and the stress tensor. Section 4 states this follows from the underlying Witten diagrams, and Appendix A.3 computes the lower-point gluings L_m, R_m for scalar, current, and stress-tensor exchanges in the 4-4 and 3-5 factorizations, finding Gamma functions that cut off m at 0, 1, or 2 in those specific gluings. That is evidence for, but not a proof of, global completeness: the same truncation is assumed for all permutations and for multi-factorization channels with two or three spinning lines, where the needed lower-point spinning Mellin amplitudes are explicitly stated to be unavailable (Section 3.1). If a Witten-diagram topology with a different pole location, such as a descendant at δij=3 or a three-sum pole with m>2, entered with nonzero coefficient, the bootstrap constraints could still be satisfied by an amplitude that solves for a wrong object. The flat-space KLT check does not fully close this gap: it probes the high-energy limit, which is insensitive to subleading pole terms.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a bootstrap strategy to compute the tree-level six-point correlation function of 20' operators in N=4 SYM at strong coupling, equivalently the supergraviton six-point Mellin amplitude in AdS5 x S5. The authors parameterize the Mellin amplitude by the ansatz (4.1), whose poles correspond to exchanges of the supergraviton, the R-symmetry current, and the stress tensor, and then fix the coefficients in three steps: the chiral algebra condition in the triple-lightcone (snowflake) channel, the chiral algebra condition with two simultaneous lightcone limits, and the Drukker-Plefka twist. The resulting amplitude is compared with the flat-space KLT graviton amplitude in the high-energy limit and is reported to match. The claimed novelty is the use of lightcone OPEs to implement chiral algebra constraints directly in Mellin space, allowing different parts of the correlator to be fixed separately.","tokens_in":32103,"tokens_out":4740,"duration_ms":49070,"significance":"If correct, this is a significant technical advance: it produces a six-point holographic correlator involving protected and unprotected OPE data without explicitly computing Witten diagrams, and it gives a detailed picture of which bootstrap constraints fix which sectors of the amplitude. The paper contains several concrete checks: factorization into known lower-point Mellin amplitudes, conservation equations for the current and stress tensor, the chiral algebra and Drukker-Plefka twist conditions, and the flat-space KLT comparison. The ancillary notebook provides the final result and intermediate expressions, which aids reproducibility. The main limitation is that the central claim depends on the ansatz (4.1) being exhaustive, and this exhaustiveness is asserted more than proved; the flat-space check, while nontrivial, probes the leading high-energy behavior and is not sensitive to all subleading terms that an incomplete ansatz could miss.","major_comments":[{"comment":"The completeness of the ansatz in (4.1) is the load-bearing assumption of the paper, but it is only checked, not proved. The pole truncation is justified by factorization of a limited set of 4-4 and 3-5 channels in Appendix A.3, and Section 3.1 explicitly states that multi-factorization with two or three spinning lines is not handled by a general Mellin factorization formula: 'It is not clear how to further extend the Mellin representation (3.2) to handle the generic case'. Since the bootstrap solves for the coefficients inside this ansatz, any contribution with a pole location not contained in (4.1), such as a descendant at δij=3, a three-sum pole with m>2, or an exchange topology with different singularity structure, would change the resulting amplitude. The flat-space KLT comparison in Section 8 tests the high-energy limit and is insensitive to such subleading pole and contact terms. I ask the authors to provide a sharper argument for exhaustiveness of (4.1), or to state explicitly what Witten-diagram topologies are being excluded and why they cannot contribute.","section":"Section 4, Appendix A.3"},{"comment":"The Mellin-space implementation of the Drukker-Plefka twist does not fully account for contour effects. The paper states, 'we have not kept track of the Mellin integral contours ... pinching mechanisms can produce nonzero terms in position space from vanishing amplitudes', and then says a more careful analysis 'should reproduce' the constant on the RHS of (2.9). The subsequent fixing of the remaining P2 and P1 coefficients equates the shifted Mellin amplitude to zero. This is a nontrivial gap: if contour pinching produces a constant or other position-space terms, the vanishing condition on the Mellin amplitude may be too strong, or may miss contact contributions. The final result depends on this step, so the twist implementation needs to be justified or the contour contributions computed explicitly.","section":"Section 7, Eqs. (7.1)-(7.3)"},{"comment":"Several formulas that are essential for reproducing the result are not present in the text. After Eq. (3.21) the paper says 'the exact details are too lengthy to write down here explicitly', and the functions Q^{J1J2}_{k1k2ℓ}, M^{ℓ1ℓ2ℓ3}_{J1J2J3}, and the final six-point amplitude are relegated to an ancillary Mathematica notebook. For a central claim of this scope, the reader cannot verify from the printed text that the bootstrap constraints were implemented as described, nor can the number of unknowns at each stage be checked. Please include at least the complete ansatz and the key constraints in the paper or provide a documented, self-contained derivation in the ancillary file with explicit coefficient counts at each step.","section":"Sections 3.2, 3.3, and ancillary file"}],"minor_comments":[{"comment":"In the sentence preceding Eq. (2.6), '2d place' should read '2d plane'.","section":"Section 2.1"},{"comment":"The heading 'Drukker-Plekfa twist' is a typo and should be 'Drukker-Plefka twist'.","section":"Section 7 heading"},{"comment":"The notation 'perm' would be clearer if the paper stated explicitly that the sum runs over all distinct permutations of the six external legs and explained how overlapping terms (e.g., a triple pole appearing in multiple permuted terms) are handled.","section":"Section 4, Eq. (4.1)"},{"comment":"The use of A_graviton for both the flat-space gravity amplitude and the Mellin-space residue notation is confusing; please distinguish the two objects or define the notation separately.","section":"Section 8, Eqs. (8.1)-(8.3)"},{"comment":"The discussion of finite-coupling implications in Section 7 is interesting but is not used in the main result; consider restructuring so that the reader distinguishes the main bootstrap derivation from the speculative finite-coupling remarks.","section":"Section 9"}],"recommendation":"major_revision","confidential_remarks":"This is a technically impressive paper that, if the ansatz-completeness issue is resolved, would be a strong candidate for the journal. The main unresolved point is whether (4.1) is exhaustive; the authors should either prove it or at least isolate the precise assumption and provide an independent check that is sensitive to subleading pole/contact terms. The heavy reliance on an ancillary notebook is also a concern for verifiability. These are fixable within the scope of a revision, so I recommend major revision rather than rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this paper computes the six-point 20' Mellin amplitude in AdS5 x S5, the first result of its kind, and the method is genuinely new. The authors use lightcone OPE limits to isolate sectors of the correlator and then impose the chiral algebra condition and the Drukker-Plefka twist directly in Mellin space. That is a real upgrade over earlier bootstrap implementations, and it gives a refined picture of which constraints fix which parts of the amplitude. The flat-space KLT check is nontrivial and passes, which is the strongest external evidence for the final answer.\n\nThe stress-test note is right about the load-bearing weak point: ansatz (4.1) truncates the pole structure, and Appendix A.3 justifies that truncation only for the specific 4-4 and 3-5 factorization residues, not for all permutations and multi-factorization channels. The paper says the pole structure follows from the underlying Witten diagrams, but the global completeness statement is asserted rather than proven. That is a genuine soft spot. I would not, however, call it fatal. The degree bounds, the known lower-point factorization input, the R-symmetry Casimir selection, and the flat-space match together make the result credible. The circularity burden is low: the flat-space amplitude is used only as a check, not to fix coefficients.\n\nThe second soft spot is verification. Many of the lengthy algebraic steps are delegated to an ancillary notebook, and Section 3.2 says explicitly that the exact details are too lengthy to write down. That is an honest statement, but it makes independent audit harder. The ancillary notebook is real evidence and should count as such, but it is not a substitute for a proof of ansatz completeness.\n\nOn balance: the paper is clear, honest about what is computed versus asserted, and the central result is likely correct. The missing piece is a global proof of pole truncation, and I would want a referee to push on that and to check the notebook. This is exactly the kind of work that should go to peer review rather than be desk rejected.\n\nRecommendation: send it out. Ask for a careful check of ansatz completeness and for the ancillary files to be readable and reproducible.","headline":"First six-point supergraviton Mellin amplitude in AdS5 x S5, with a genuinely new lightcone-OPE/chiral-algebra strategy; the ansatz-completeness gap is real but not disqualifying, and the paper deserves a serious referee.","tokens_in":32725,"tokens_out":1960,"would_cite":true,"duration_ms":22339,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81T40","81T60","81T35"],"pacs":["11.25.Tq","04.65.+e"],"model":"deepseek-v4-flash","headline":"Symmetries alone fix the six-point supergraviton correlator in AdS5 x S5.","keywords":["AdS5 x S5","supergraviton six-point function","Mellin amplitudes","chiral algebra","lightcone OPE","conformal bootstrap","Drukker-Plefka twist","N=4 super Yang-Mills"],"falsifier":"Compute any six-point supergraviton Witten diagram directly, for example a 3-to-3 exchange with a higher-spin single-trace operator or a genuinely six-point contact diagram, and compare its Mellin amplitude with the published result at generic kinematics; a mismatch, or a pole or R-symmetry structure outside the ansatz (4.1), would falsify the completeness claim.","tokens_in":31575,"feed_emoji":"","tokens_out":6394,"duration_ms":62245,"temperature":0.7,"pith_summary":"This paper aims to show that the tree-level six-point correlation function of the $20'$ supergraviton operators in AdS$_5\\times$S$^5$ can be computed from symmetry and consistency conditions, with no need to evaluate Witten diagrams. The bootstrap algorithm works entirely in Mellin space: lightcone OPE limits are translated into residues at Mellin poles, and each sector of the amplitude is fixed separately by the chiral algebra constraint, conservation of the R-symmetry current and stress tensor, and the Drukker-Plefka twist. The resulting Mellin amplitude matches the flat-space graviton six-point amplitude obtained from KLT relations, which the paper uses as a check rather than as input. If the claim is right, correlator data at strong coupling that would normally require an effective Lagrangian becomes available for extracting new CFT data.","feed_headline":"Symmetries alone fix the six-point supergraviton correlator","feed_subtitle":"Lightcone OPEs and the chiral algebra twist pin down the AdS5 x S5 amplitude, matching flat-space graviton scattering.","key_machinery":"The load-bearing mechanism is the translation of lightcone OPE limits into residues of Mellin amplitudes: for $x_{12}^2,x_{34}^2,x_{56}^2\\to0$, the poles at $\\delta_{12}=\\delta_{34}=\\delta_{56}=1$ split the six-point amplitude into lower-point correlators with spinning exchanged operators. The chiral algebra condition is imported into Mellin space through these lightcone limits, producing linear relations among three- and four-point functions with different spins and R-symmetry structures. The Drukker-Plefka twist is converted into a difference operator that shifts Mellin-Mandelstam variables, and it fixes the coefficients that survive the chiral algebra and conservation equations.","core_discovery":"The paper claims that the six-point Mellin amplitude of the $20'$ operators is fixed, up to one overall normalization, by the pole and factorization ansatz (4.1) together with conservation laws, the chiral algebra condition (2.7) applied through lightcone limits, and the Drukker-Plefka twist (2.9). The snowflake sector, defined by three simultaneous lightcone poles at $\\delta_{12}=\\delta_{34}=\\delta_{56}=1$, is solved first and leaves two constants; the double-pole sector is then fixed by two-lightcone chiral algebra relations combined with known four-point functions; the Drukker-Plefka twist fixes the remaining single-pole and regular coefficients. In Section 8 the authors take the high-energy limit of the Mellin amplitude and find exact agreement with the KLT graviton amplitude (8.1), a check they describe as nontrivial because the flat-space limit was not used in fixing the coefficients.","pith_inferences":["Beyond the paper: the same lightcone-plus-chiral-algebra dissection applies to other maximally supersymmetric holographic correlators and to defect CFT form factors, directions the paper only sketches.","Beyond the paper: the clean match to the KLT amplitude suggests the six-point AdS amplitude may admit a double-copy or hidden symmetry structure analogous to the four-point AdS double copy; this is not claimed in the paper.","Beyond the paper: at finite coupling, the Drukker-Plefka twist analysis implies that protected and unprotected operator towers in the lightcone OPE cancel singularities independently, a prediction that could be tested against weak-coupling SYM data."],"forward_implications":["The full strong-coupling six-point data of the $20'$ sector is now available without Witten-diagram computation, including spinning five-point functions and double-trace contributions obtained by OPE limits.","The three-step division into snowflake, double-pole, and single-pole sectors can be applied to correlators with more than six points, where the same Mellin-residue translation of multi-lightcone OPEs is already sketched.","One OPE limit of the new result produces spinning five-point functions with a current or stress tensor that were previously unknown, giving new input for higher-point constructions.","Because the flat-space limit was used only as a check, the same bootstrap setup can be repeated with the flat-space amplitude as an additional input, which should be useful for massive Kaluza-Klein modes and stringy corrections."],"supporting_citations":[{"why":"Establishes the Mellin bootstrap framework and the treatment of constant correlators under Mellin transform that the ansatz and twist translations rely on.","marker":"[1, 2]"},{"why":"Supplies the known five-point supergraviton amplitude used as input for the 3-5 factorization sectors.","marker":"[17]"},{"why":"Provides the chiral algebra condition that the paper imposes in lightcone OPE limits.","marker":"[24]"},{"why":"Gives the Drukker-Plefka twist used in the final fixing step.","marker":"[25]"},{"why":"Supplies the Mellin factorization and residue formulas for scalar and spinning exchanges.","marker":"[28]"},{"why":"Provides the six-point supergluon bootstrap whose ansatz structure is adapted here to supergravitons.","marker":"[20]"},{"why":"Provides the lightcone OPE formula connecting position-space OPE limits to Mellin residues.","marker":"[34]"},{"why":"Gives the KLT flat-space graviton amplitude used as the high-energy check.","marker":"[40]"}],"fun_headline_variants":["Symmetry bootstrap fixes six-point supergraviton correlator","Lightcone + chiral algebra pin down six-point amplitude","Supergraviton six-point solved, matches flat-space KLT","Bootstrap with lightcone limits cracks six-point correlator"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The ansatz assumes the Mellin amplitude is a rational function whose only singularities are the listed poles at $\\delta_{ij}=1$ and at $\\delta_{12}+\\delta_{13}+\\delta_{23}+m=2$ with $m\\leq 2$, and that only the $20'$ operator, R-symmetry current, and stress tensor are exchanged; if other singularities or exchanged operators exist, the bootstrap would find a different function that still satisfies all imposed constraints.","fun_headline_variants_meta":{"raw":{"variants":["Symmetry bootstrap fixes six-point supergraviton correlator","Lightcone + chiral algebra pin down six-point amplitude","Supergraviton six-point solved, matches flat-space KLT","Bootstrap with lightcone limits cracks six-point correlator"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000172,"raw_usage":{"total_tokens":1217,"prompt_tokens":827,"completion_tokens":390,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":443,"completion_tokens_details":{"reasoning_tokens":323}},"tokens_in":443,"tokens_out":390,"duration_ms":4313,"temperature":1.0,"reasoning_tokens":323,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T18:42:58.593153+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute any six-point supergraviton Witten diagram directly, for example a 3-to-3 exchange with a higher-spin single-trace operator or a genuinely six-point contact diagram, and compare its Mellin amplitude with the published result at generic kinematics; a mismatch, or a pole or R-symmetry structure outside the ansatz (4.1), would falsify the completeness claim.","supporting_citations":[{"cited_title":"A Relation Between Tree Amplitudes of Closed and Open Strings,","cited_arxiv_id":null,"evidence_quote":"Gives the KLT flat-space graviton amplitude used as the high-energy check."}],"review_version":1}