{"id":"e6789f81-e58f-42ba-a1d0-dc714b722f5e","arxiv_id":"2605.14281","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Bootstrap using labelled f-graphs, double-triangle and triangle rules, integrated correlators, and 10D hidden symmetry uniquely fixes three-loop mixed GGOO correlators in N=4 SYM, reproducing known two-loop results and yielding new three-loop terms for the maximal determinant operator.","lead":"This paper develops bootstrap methods for mixed heavy-light four-point correlators involving giant graviton operators of dimension order N and light chiral primaries in N=4 super-Yang-Mills at large N. A smart generalist might read it to see how consistency conditions from OPE limits, localization, and hidden symmetries can fix loop-level data for heavy operators without direct Feynman diagram computation.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"Validity of double-triangle/triangle rules and 10D hidden symmetry when applied to dimension-N giant graviton operators","rationale":"The reader's weakest assumption matches the load-bearing step exactly. The paper reproduces known two-loop results, which provides partial support, but does not constitute an independent check of the rules themselves at three loops. The concrete test isolates whether the closure is robust or relies on the unverified extension.","tokens_in":1747,"tokens_out":331,"duration_ms":25259,"concrete_test":"Recompute the three-loop coefficient of the maximal-determinant correlator after adding a single extra free parameter to the double-triangle rule (representing a possible heavy-operator correction) and re-solve the bootstrap system; if the resulting three-loop term differs from the published value by more than the size of the two-loop term, the assumption that the rules close without modification is falsified.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim requires that the double-triangle and triangle rules (derived from cusp and OPE limits) plus the 10D hidden symmetry close the bootstrap system for <GGOO> with dim(G) ~ N. These inputs are stated to uniquely fix all coefficients through three loops in the labelled f-graph basis (including non-planar). The derivation of the rules for light operators does not automatically guarantee they survive unchanged for heavy operators whose OPE data and cusp anomalous dimensions receive 1/N corrections; if any rule receives an extra contribution at order 1/N or higher, the linear system becomes under-determined and the three-loop result is no longer unique.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript develops bootstrap methods for mixed heavy-light four-point correlators ⟨GGOO⟩ in 𝒩=4 super-Yang-Mills at large N, where G denotes giant graviton operators of dimension ∼N (including the maximal determinant) and O is the chiral primary in the stress-tensor multiplet. The loop integrand is expanded in a basis of labelled f-graphs that necessarily includes non-planar topologies; coefficients through three loops are fixed by double-triangle and triangle rules extracted from cusp and OPE limits, integrated correlators obtained via supersymmetric localization, and a ten-dimensional hidden symmetry that also permits extension to generic 𝒪_k. The resulting system is claimed to be closed, reproducing all known two-loop data for the maximal-determinant case and yielding the three-loop correction.","tokens_in":1892,"tokens_out":655,"duration_ms":39835,"significance":"If the bootstrap closure holds, the work provides the first three-loop results for correlators involving dimension-N operators, extending light-operator bootstrap techniques to a regime relevant for giant-graviton dynamics in AdS/CFT. The explicit reproduction of two-loop benchmarks and the parameter-free character of the 10D symmetry input are strengths that would make the three-loop prediction a useful benchmark for future holographic or integrability-based calculations.","major_comments":[{"comment":"The central uniqueness claim rests on the double-triangle and triangle rules remaining unmodified when applied to dimension-N giant gravitons. The manuscript invokes these rules (derived from cusp/OPE limits for light operators) to close the linear system in the labelled f-graph basis, yet does not supply an explicit check that 1/N corrections to OPE coefficients or cusp anomalous dimensions do not generate additional contributions at three-loop order. This assumption is load-bearing; without it the system may become under-determined.","section":"Bootstrap conditions and 10D symmetry section"},{"comment":"For the maximal-determinant operator the paper states that known two-loop results are reproduced and the three-loop correction is obtained. The explicit list of all non-vanishing coefficients in the f-graph basis (planar and non-planar) at three loops should be tabulated, together with the rank of the constraint matrix, so that readers can verify that the number of independent conditions equals the number of undetermined coefficients.","section":"Results for maximal determinant operator"}],"minor_comments":[{"comment":"The notation for labelled f-graphs could be illustrated with one concrete non-planar example at two loops to clarify how the labelling encodes the giant-graviton insertions.","section":"Integrand basis"},{"comment":"A short paragraph comparing the size of the three-loop correction to the two-loop term for the maximal-determinant case would help assess the convergence of the perturbative series.","section":"Discussion"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is a natural fit for a journal such as JHEP or PRD that covers AdS/CFT and bootstrap methods. The citation list appears balanced, but the authors should confirm that all prior two-loop giant-graviton computations are referenced."},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their careful reading of the manuscript and for the constructive comments. We address each major comment below, indicating the revisions made where appropriate.","responses":[{"response":"We thank the referee for highlighting this point. The bootstrap is performed strictly at leading order in the large-N limit. In this regime the cusp and OPE limits that define the double-triangle and triangle rules receive no corrections from 1/N effects at three-loop order, as any such corrections to OPE coefficients or anomalous dimensions are suppressed by additional powers of 1/N and enter only at higher orders in the expansion. The 10D hidden symmetry supplies an independent constraint that does not rely on these limits. We have added a short clarifying paragraph in the bootstrap-conditions section to make this reasoning explicit.","revision_made":"partial","referee_comment":"[Bootstrap conditions and 10D symmetry section] The central uniqueness claim rests on the double-triangle and triangle rules remaining unmodified when applied to dimension-N giant gravitons. The manuscript invokes these rules (derived from cusp/OPE limits for light operators) to close the linear system in the labelled f-graph basis, yet does not supply an explicit check that 1/N corrections to OPE coefficients or cusp anomalous dimensions do not generate additional contributions at three-loop order. This assumption is load-bearing; without it the system may become under-determined."},{"response":"We agree that tabulating the coefficients and reporting the rank of the constraint matrix will allow readers to verify closure directly. In the revised manuscript we have added a new appendix table that lists every non-vanishing coefficient (planar and non-planar) in the labelled f-graph basis at three loops for the maximal-determinant operator, together with the dimension of the basis, the rank of the constraint matrix, and the number of independent conditions. This confirms that the system is fully determined.","revision_made":"yes","referee_comment":"[Results for maximal determinant operator] For the maximal-determinant operator the paper states that known two-loop results are reproduced and the three-loop correction is obtained. The explicit list of all non-vanishing coefficients in the f-graph basis (planar and non-planar) at three loops should be tabulated, together with the rank of the constraint matrix, so that readers can verify that the number of independent conditions equals the number of undetermined coefficients."}],"tokens_in":1490,"tokens_out":505,"duration_ms":67560,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"This paper extends the labelled f-graph bootstrap to mixed heavy-light four-point functions with giant graviton operators of dimension order N in N=4 SYM. They compute the full three-loop correction for the maximal determinant case and generalize to other O_k via an extra symmetry.","headline":"They've extended the f-graph bootstrap to giant gravitons and produced a concrete three-loop result, but the key rules need checking for heavy operators.","tokens_in":2433,"tokens_out":129,"would_cite":false,"duration_ms":53403,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[],"headline":"Standard N=4 SYM graphical bootstrap for giant-graviton correlators unrelated to RS cost or distinction forcing","alignment":"orthogonal","rationale":"Paper machinery expands integrands in labelled f-graphs, fixes coefficients via double-triangle/triangle rules from cusp/OPE limits, integrated-correlator periods, and 10D hidden symmetry. None of these invoke J(x) = ½(x + x⁻¹) − 1, phi-ladder spacings, 8-tick periodicity, or parameter-free derivation from a single distinction. Domain is conventional AdS/CFT bootstrap; RS has no opinion on it.","tokens_in":53496,"confidence":"high","tokens_out":150,"duration_ms":16396,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Bootstrap methods fix mixed correlators with giant gravitons through three loops in N=4 SYM.","keywords":["giant gravitons","four-point correlators","bootstrap methods","N=4 super Yang-Mills","loop integrands","hidden symmetry","OPE limits","supersymmetric localization"],"falsifier":"An independent three-loop computation of the maximal-determinant correlator by direct Feynman diagrams or holographic methods that disagrees with the bootstrapped result.","tokens_in":2623,"feed_emoji":"","tokens_out":659,"duration_ms":39148,"temperature":0.7,"pith_summary":"The paper develops bootstrap methods for four-point correlators mixing giant graviton operators of dimension order N with a light chiral primary operator in N=4 super-Yang-Mills theory at large N. It expands the loop integrand in a basis of labelled f-graphs that include non-planar topologies required by the heavy operators and determines the coefficients from double-triangle and triangle rules in cusp and OPE limits, results from supersymmetric localization, and a ten-dimensional hidden symmetry. These inputs together fix the correlator uniquely through three loops. For the maximal determinant operator the method recovers all known results through two loops and supplies the complete three-loop correction. A reader cares because the approach gives access to perturbative data for heavy operators that resist standard planar techniques.","feed_headline":"Bootstrap fixes giant graviton correlators to three loops","feed_subtitle":"Hidden symmetry plus OPE and cusp rules determine mixed heavy-light four-point functions in large-N SYM and give new three-loop terms.","key_machinery":"The expansion of the loop integrand in a basis of labelled f-graphs whose coefficients are fixed by bootstrap conditions from cusp and OPE limits, localization, and ten-dimensional hidden symmetry.","core_discovery":"The combination of double-triangle and triangle rules derived from cusp and OPE limits, integrated correlators obtained from supersymmetric localization, and the ten-dimensional hidden symmetry uniquely determines the mixed heavy-light four-point correlator through three loops; for the maximal determinant operator the construction reproduces all previously known results through two loops and yields the full three-loop correction.","pith_inferences":["The bootstrap could extend to higher loop orders or to other heavy operators if the underlying rules continue to hold.","The method may provide cross-checks with holographic calculations of giant-graviton correlators in the dual string theory.","Similar hidden-symmetry and limit-based constraints might apply to mixed correlators in other conformal theories with integrable structures."],"forward_implications":["The same inputs fix correlators involving generic chiral primaries via the hidden symmetry.","The determined correlator satisfies additional non-trivial consistency checks at three loops.","Known two-loop results for the maximal determinant operator are recovered exactly.","The three-loop correction for the maximal determinant operator is obtained for the first time."],"fun_headline_variants":["Bootstrap reaches three loops for giant graviton correlators","Three-loop bootstrap for mixed heavy-light SYM correlators","Mixed correlators of giant gravitons determined at three loops","Three loop corrections for giant gravitons from bootstrap"],"cache_read_input_tokens":64,"weakest_assumption_plain":"The ten-dimensional hidden symmetry and the double-triangle and triangle rules derived from cusp and OPE limits remain valid for correlators containing dimension-N giant graviton operators.","fun_headline_variants_meta":{"raw":{"variants":["Bootstrap reaches three loops for giant graviton correlators","Three-loop bootstrap for mixed heavy-light SYM correlators","Mixed correlators of giant gravitons determined at three loops","Three loop corrections for giant gravitons from bootstrap"]},"model":"grok-4.3","cost_usd":0.009332,"raw_usage":{"total_tokens":4076,"prompt_tokens":633,"num_sources_used":0,"completion_tokens":62,"cost_in_usd_ticks":93315500,"prompt_tokens_details":{"text_tokens":633,"audio_tokens":0,"image_tokens":0,"cached_tokens":64},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":3381,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":633,"tokens_out":62,"duration_ms":39930,"temperature":1.0,"reasoning_tokens":3381,"cache_read_input_tokens":64,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-19T16:58:04.355839+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An independent three-loop computation of the maximal-determinant correlator by direct Feynman diagrams or holographic methods that disagrees with the bootstrapped result.","supporting_citations":[],"review_version":2}