{"id":"740e5cfe-9bc0-46f1-84ab-bed65ae3f323","arxiv_id":"2411.16941","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"Off-shell minimal form factors in planar N=4 SYM exponentiate at two loops with the octagon anomalous dimension; their finite remainder shares the conformal symbol but differs beyond it.","lead":"This paper computes two-loop corrections to minimal form factors in a supersymmetric Yang-Mills theory, with external particles slightly off their mass shell. It confirms that the soft logarithms are controlled by the octagon anomalous dimension, and that the finite part matches the massless theory only at the symbol level.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The near-mass-shell reduction depends on the unproven absence of p_i^-2-enhanced integrals in the N=1 supergraph calculation; if present, they would shift f_n and invalidate the octagon exponentiation and symbol claims.","rationale":"The reader's conditional verdict is appropriate, and I agree with the identified weakest assumption. The uplift construction and superspace calculation are mutually consistent, and the IBP reduction with numerical checks provides real support for the two-loop n=3 result. However, the near-mass-shell limit is exactly where the absence of 1/p_i^2-enhanced contributions is needed, and the text itself flags it as an observation rather than a proof. This is not a disagreement with consensus but a correctness risk internal to the derivation: if such integrals exist, the off-shell N=1 supergraph representation would differ from the uplifted on-shell one already at order m^0, so both the leading-log exponentiation and the symbol result would be contaminated. The n>3 claim inherits the same risk because Eq. (6.15) is stated without an independent derivation. Thus the verdict remains conditional rather than accept or reject. The proposed check - retaining p_i^2 through the D-algebra and inspecting IBP-reduced coefficients for 1/p_i^2 poles - would either remove the objection if no poles appear or identify exactly which term breaks the equivalence if they do.","tokens_in":71262,"tokens_out":6019,"duration_ms":64233,"concrete_test":"Run the N=1 superspace reduction for supergraphs C3 and C5/C6 with symbolic external momenta, keeping p_i^2 nonzero until after the D-algebra; use IBP reduction (e.g., FIRE) to reduce every resulting scalar integral to the 62-master basis of [65] and inspect the coefficients for factors of 1/p_i^2. Equivalently, evaluate the one-loop effective vertex in C3 at an off-shell leg and check whether its infrared-singular part cancels the p_i^2 in the numerator. If no master coefficient has a p_i^-2 pole, the near-mass-shell equivalence is established; if one appears, recompute f_3^(2) and compare with Eq. (6.14).","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 5 states that when external superfields are kept off-shell (p_i^2 = -m != 0), a p_i^2 factor in a numerator can combine with a singular momentum integral I ~ 1/p_i^2 and survive the m -> 0 limit, contributing to the finite part or even to the log structure. The paper says \"we observed no such contributions in the two-loop order\" and cites [62] for one loop, but this is not proved and no list of checked topologies is given. The whole comparison of the off-shell N=1 result to the uplifted on-shell integrand - Eqs. (3.6)/(4.2) versus (5.11)/Table 1 - and therefore Eqs. (6.6), (6.14), and (6.15) requires this absence. A single counterexample in the one-loop-effective-vertex supergraph C3 or in C5/C6 would change the two-loop remainder and invalidate the claimed symbol equality. Because the same assumption is silently extended to general n in Section 6.3, this is the most load-bearing point, not the numerical fitting of beyond-symbol constants, which is checkable by rerunning the notebook.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper computes two-loop off-shell minimal form factors F_n of half-BPS operators tr φ^n in planar N=4 SYM, with common off-shellness m=-p_i^2 for external legs while internal propagators remain massless. The integrand representation is obtained by two methods: (i) uplift of the known massless integrands to the Coulomb branch, and (ii) an N=1 superspace supergraph calculation with external superfields kept off-shell. The near-mass-shell (m→0) limit of the n=3 form factor is evaluated using the 62-master-integral basis of Belitsky-Smirnov and IBP reduction with FIRE, with high-precision numerical checks against FIESTA5/GiNaC. The authors find Sudakov exponentiation with the octagon anomalous dimension Γ_oct replacing the cusp, and a finite remainder whose symbol matches the conformal result of Ref. [38]. The beyond-symbol part is different and is given by Eq. (6.14). General n>3 is treated by cyclic permutations and a factorized C1×C1 contribution, yielding the symbol in Eq. (6.15).","tokens_in":71606,"tokens_out":6877,"duration_ms":70733,"significance":"If correct, the result provides a nontrivial two-loop confirmation that on the Coulomb branch the infrared double logarithms of off-shell minimal form factors are controlled by the octagon anomalous dimension rather than the cusp, and that the finite remainder shares its symbol with the conformal phase while differing in beyond-symbol terms. The paper's strengths are the cross-check between two independent derivation methods, the use of IBP reduction with FIRE, the reduction to a 62-integral canonical basis, and high-precision numerical verification with FIESTA5 and GiNaC, with results bundled in a Mathematica notebook. The main value lies in the explicit n=3 remainder (6.14) and the general-n symbol statement (6.15).","major_comments":[{"comment":"The entire matching of the N=1 off-shell supergraph calculation to the uplifted Coulomb-branch representation, and hence Eqs. (5.11), (6.6), (6.14), and (6.15), relies on the assertion that no Feynman integral in the off-shell N=1 supergraph calculation behaves as 1/p_i^2 in the p_i^2→0 limit. The paper states 'we observed no such contributions in the two-loop order' and cites Ref. [62] for one loop, but provides neither a proof nor a list of checked topologies or denominator structures. If, for example, a supergraph such as C3 or C5/C6 produced such an integral, the leading m-behavior and the finite remainder would change. This is a load-bearing point and needs to be fixed, either by a general argument or by an explicit exhaustive check of all two-loop supergraphs.","section":"Section 5 (near p. 12, paragraph beginning 'Of course, there is a possibility...')"},{"comment":"The beyond-symbol coefficients in Eq. (6.14), including 327/8 ζ4, are fixed by high-precision numerical fitting of f_3^(2)-R_3^(2) against the ansatz (6.13). The completeness of this ansatz is not demonstrated: no argument is given that the coefficient functions are constant rational numbers rather than functions of the cross ratios, nor that no additional weight-4 beyond-symbol structures built from the same alphabet can appear. Since Eq. (6.14) is the central quantitative result distinguishing the off-shell from the conformal remainder, this should be justified analytically or the ansatz should be proven complete.","section":"Section 6.2, Eqs. (6.13) and (6.14)"},{"comment":"The generalization to n>3 is asserted rather than shown. Eq. (6.15) is stated to be the symbol of f_n^(2) without an explicit calculation, and Section 6.3 gives no reduction of the factorized C1×C1 contribution or the coefficient matching for generic n. Moreover, the n>3 claim inherits both the unproven absence of 1/p_i^2 singular integrals from Section 5 and the potential failure of the naive uplift noted in Section 3. The authors should either provide the explicit reduction for generic n or state precisely which assumptions allow Eq. (6.15) to follow from the n=3 computation.","section":"Sections 4, 5, and 6.3"}],"minor_comments":[{"comment":"The manuscript contains unedited draft fragments: the passage with triple question marks near Eq. (4.5) ('???It will be interesting...') should be removed, and the caption 'Figure 2' appears twice while Eq. (5.9)/(5.11) are duplicated in the text around Figure 6.","section":"Section 5 and Figure captions"},{"comment":"There are several typos that should be corrected in a final version: 'Comlomb' for 'Coulomb', 'void' for 'avoid' in Section 6, 'Madelstam' for 'Mandelstam', and 'T able 1' for 'Table 1'.","section":"Throughout"},{"comment":"The shift operator P is used in Eqs. (3.5)-(3.6) and (4.1)-(4.2) before it is explicitly defined; please define it once near its first use.","section":"Notation"}],"recommendation":"major_revision","confidential_remarks":"The scientific core is promising and the two independent methods plus numerical checks are credible, but the current version is not ready for publication because the key near-mass-shell reduction rests on an unproven topological assertion and the main finite-remainder result relies on an unproven ansatz. The required fixes are local in scope: either prove or systematically check the absence of 1/p_i^2-enhanced integrals, and justify the completeness of the beyond-symbol ansatz. The manuscript also needs a careful editing pass to remove draft artifacts."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know. First, the paper reports a two-loop calculation of off-shell minimal form factors in planar N=4 SYM, and the central physics claim is clean: the Sudakov double logarithm is governed by Gamma_oct rather than Gamma_cusp, and the symbol of the finite remainder matches the conformal result from a decade ago, with beyond-symbol terms differing. Second, the calculation is cross-checked, but the cross-check has an unproven gap that the stress-test correctly identifies.\n\nWhat's genuinely new: the two-loop off-shell minimal form factors themselves, the explicit exponentiation check, and the beyond-symbol finite remainder for n=3. The paper does several things well. It presents two independent derivations of the integral representation—an uplift from the conformal case and an N=1 superspace calculation—and they agree. It uses IBP reduction with FIRE and numerical checks with FIESTA5 and GiNaC, and the accompanying Mathematica notebook appears to contain the long polylog expressions. Those are reproducible checks, which count.\n\nThe soft spots, in proportion. The main one is the claim in Section 5 that no Feynman integral in the off-shell N=1 supergraph calculation diverges as 1/p_i^2 in the p_i^2 -> 0 limit. The authors state they observed no such contributions at two loops, citing a one-loop reference, but they do not prove it or even list the topologies checked. The stress-test is right that this is the most load-bearing point: a single counterexample in C3 or C5/C6 would shift the finite remainder and break the symbol equality. That said, I don't think this is fatal. The uplift method does not rely on this assumption, and the agreement between the two methods is itself evidence that no such integrals contribute at this order. But a referee should push for a proof or at least a systematic topology inventory. This is a moderate concern, not a fatal flaw.\n\nTwo smaller issues: the beyond-symbol coefficients in (6.14) are fixed by high-precision numerical fitting rather than an analytic derivation. That's checkable by rerunning the notebook, so minor. The n>3 symbol (6.15) is asserted without derivation; given the integral representation (4.2), it's a natural generalization, but it deserves a few lines of explanation. There are also some editing artifacts: a missing reference in Section 5 and a few placeholder \"???\" marks. Cosmetic, but a referee should ask for cleanup.\n\nWho it's for: people working on N=4 amplitudes, form factors, and Coulomb-branch IR physics. It deserves a serious referee. The central calculation looks solid, the octagon-vs-cusp message is interesting, and the gaps are addressable.\n\nRecommendation: send it to peer review. The referee should focus on the no-1/p^2 claim and ask for the notebook's coefficient-fitting procedure to be documented. If those checks come back clean, this is a publishable JHEP paper.","headline":"Credible two-loop off-shell form factor calculation with a clean octagon-vs-cusp punchline; the main gap is the unproven no-1/p^2 observation in the superspace cross-check, which a referee should push on.","tokens_in":72025,"tokens_out":4034,"would_cite":true,"duration_ms":39290,"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 shows that two-loop off-shell minimal form factors in planar N=4 super-Yang-Mills exponentiate with the octagon anomalous dimension, not the cusp, and that their finite remainder shares the conformal symbol.","keywords":["minimal form factors","off-shell form factors","octagon anomalous dimension","planar N=4 super-Yang-Mills","Sudakov logarithms","Coulomb branch","N=1 superspace","symbol of finite remainder"],"falsifier":"Evaluate the planar two-loop three-point off-shell integrals at equal ratios $u=v=w=1/3$ with $m/q^2 \\sim 10^{-6}$, form $\\log F_3$, and read off the coefficient of $g^4\\log^2(m/q^2)$: the claim requires $-\\frac{3}{4}\\cdot 16\\zeta_2 = -12\\zeta_2$ (the octagon value), while substituting the cusp series would give $+6\\zeta_4$. A second decisive check is the paper's own open question, Eq. (7.1): compute the three-loop remainder and test whether its symbol equals the conformal one, watching specifically for any $1/p_i^2$-enhanced integral in the off-shell supergraph reduction that would break the two-loop equivalence.","tokens_in":71065,"feed_emoji":"⚛️","tokens_out":24106,"duration_ms":192819,"temperature":0.7,"pith_summary":"The paper computes two-loop off-shell minimal form factors — form factors of half-BPS operators whose field content matches the number of external scalars — in planar $N=4$ super-Yang-Mills, in the near-mass-shell limit where the small external virtuality $m = -p_i^2$ regulates infrared divergences. Its central claim is that the Sudakov double-logarithmic structure is governed by the octagon anomalous dimension $\\Gamma_{\\mathrm{oct}}(g)$, not the cusp anomalous dimension of on-shell physics, and that the finite remainder has a symbol identical to the conformal result found a decade ago while its beyond-the-symbol terms differ. The claim matters because it sharpens the emerging picture that the infrared 'universal' anomalous dimension is not universal: the coefficient of the double log changes when external legs go off the mass shell, with consequences for how off-shell partonic subprocesses enter factorization schemes. Two independent derivations — a Coulomb-branch uplift of massless integrands and an off-shell $N=1$ supergraph computation — produce the same set of scalar integrals, so the two routes cross-check each other.","feed_headline":"Two-loop off-shell form factors obey the octagon, not the cusp","feed_subtitle":"The two-loop N=4 evidence: near-mass-shell Sudakov logs are set by the octagon, not the cusp.","key_machinery":"The load-bearing objects are the octagon anomalous dimension $\\Gamma_{\\mathrm{oct}}(g) = \\frac{2}{\\pi^2}\\log\\cosh(2\\pi g)$, the exact function that replaces the cusp in the near-mass-shell regime, and two complementary ways of producing the off-shell integrands: the uplift, which reads the out-of-four-dimensional components of massless six-dimensional external momenta as four-dimensional virtualities, and the $N=1$ superspace formulation, whose algebra of covariant derivatives on unconstrained external superfields reduces the supergraphs to the same scalar integrals $G_1$–$G_7$. On the integral side the calculation runs on the near-mass-shell expansions of the ladder functions $\\Phi_1$ and $\\Phi_2$ for the triangle and double-triangle graphs, and on an integration-by-parts reduction of the three-leg TriBox and TriBox-red integrals into a basis of 62 master integrals solved in multiple polylogarithms. The symbol map then separates the kinematical content of the finite remainder — identical to the conformal remainder — from the beyond-the-symbol zeta-valued terms that distinguish the off-shell branch.","core_discovery":"At two loops, the off-shell minimal form factor $F_n$ of the operator $\\mathrm{tr}\\,\\phi_{12}^n$ with $n$ external scalars of equal virtuality $m$, in planar $N=4$ super-Yang-Mills, exponentiates in the near-mass-shell limit: $\\log F_n = -\\frac{3}{4}\\Gamma_{\\mathrm{oct}}(g)\\log^2 m + \\frac{1}{2}\\Gamma_{\\mathrm{oct}}(g)\\log m\\log(uvw) + f_n(u,v,w;g) + O(m)$, where $\\Gamma_{\\mathrm{oct}}(g) = \\frac{2}{\\pi^2}\\log\\cosh(2\\pi g)$ is the exact octagon anomalous dimension rather than the cusp. The finite remainder $f_n$ carries the same symbol as the conformal (on-shell) case; for $n=3$ the explicit beyond-the-symbol difference is $f_3^{(2)} = R_3^{(2)} + \\frac{327}{8}\\zeta_4 + \\zeta_3(\\log u + \\log v + \\log w) + \\frac{1}{4}\\zeta_2(\\log^2 u + \\log^2 v + \\log^2 w + 2\\log u\\log v + 2\\log v\\log w + 2\\log w\\log u)$. For $n>3$ the symbol identity with the conformal remainder is given by Eq. (6.15) in terms of the ratio variables $u_i, v_i, w_i$. Establishing this required expressing the form factor as a sum of independent scalar integrals, and the paper performs that reduction twice — with the uplift of six-dimensional integrands and with an off-shell $N=1$ superspace algebra of covariant derivatives — and the two representations coincide.","pith_inferences":["If the two-loop pattern persists, the near-mass-shell limit becomes a direct probe of $\\Gamma_{\\mathrm{oct}}$: reading off the coefficient of $g^{2L}\\log^2 m$ from any off-shell $L$-loop form factor should reproduce the exact series $(2/\\pi^2)\\log\\cosh(2\\pi g)$, order by order, independent of the operator.","The paper's own empirical caveat — absence of $1/p_i^2$ singular integrals observed but not proven at two loops, with the authors stating they do not expect the equivalence to survive higher loops — makes the conjectured three-loop symbol identity $S[f_3^{(3)}] = S[R_3^{(3)}]$ (Eq. (7.1)) a sharp diagnostic: its failure would show where the near-mass-shell dictionary first breaks.","The equal-weight, fully $u,v,w$-symmetric structure of the beyond-the-symbol terms ($\\zeta_3 \\log(uvw)$ plus $\\zeta_2$ quadratic logs) is the shape one would expect from ultrasoft-mode physics; testing whether these terms can be absorbed into a subtraction scheme for the ultrasoft region would connect this result to the pinching-Sudakov analysis the paper cites.","A direct two-loop calculation of the off-shell quark form factor in QCD near the mass shell — extracting the coefficient of the Sudakov double log — would transfer the $N=4$ pattern to phenomenologically relevant territory, where off-shell partons enter $k_T$-factorization."],"forward_implications":["The near-mass-shell Sudakov exponentiation of minimal form factors is controlled by $\\Gamma_{\\mathrm{oct}}$, with no analog of the collinear anomalous dimension $G(g)$, and the conjectural all-order structure — a sum of two-leg Sudakov factors plus a remainder — now has two-loop confirmation for the minimal operators.","The off-shell remainder and its conformal counterpart share the same symbol at two loops for all $n$, while their difference is made explicit for $n = 3$ in terms of $\\zeta_4$, $\\zeta_3 \\log(uvw)$, and $\\zeta_2 \\log^2$-type terms.","The authors conclude that off-shell Sudakov behavior in QCD needs dedicated studies, since off-shell partonic subprocesses are intrinsic building blocks of high-energy and $k_T$-factorization schemes and should not be assumed to be governed by the cusp.","The agreement between the Coulomb-branch uplift and the $N=1$ superspace reduction at two loops reinforces both techniques, and the same computation corrects earlier inaccuracies in the conformal superspace treatment."],"supporting_citations":[{"why":"Supplies the exact two-leg off-shell Sudakov form factor and the conjectural all-order exponentiation structure (2.13) that the two-loop minimal form factor is shown to satisfy.","marker":"[30]"},{"why":"Provides the conformal two-loop minimal form factor integrands, the remainder function $R_3^{(2)}$, and its symbol; the off-shell remainder is verified to share that symbol exactly.","marker":"[38]"},{"why":"Establishes the same pattern — octagon exponentiation plus identical symbol with differing beyond-the-symbol terms — for the three-leg form factor of the $\\mathrm{tr}\\,\\phi_{12}^2$ operator, the precedent this paper generalizes to minimal operators.","marker":"[32]"},{"why":"Gives the exact octagon anomalous dimension whose weak-coupling expansion enters Eq. (6.6) as the coefficient of the Sudakov double logarithms.","marker":"[45]"},{"why":"Supplies the near-mass-shell basis of 62 master integrals into which the TriBox and TriBox-red integrals are reduced by integration by parts and solved in multiple polylogarithms.","marker":"[65]"},{"why":"The earlier conformal $N=1$ superspace two-loop form factor analysis whose supergraph topologies are the starting set for the off-shell algebra, and whose inaccuracies the present calculation corrects.","marker":"[60]"},{"why":"Provides the ladder functions $\\Phi_1$ and $\\Phi_2$ used to express and expand the triangle and double-triangle integrals near the mass shell.","marker":"[58]"}],"fun_headline_variants":["Octagon, not cusp: two-loop off-shell form factors","Off-shell form factors: octagon wins over cusp","Two-loop minimal form factors: octagon governs Sudakov","Why off-shell form factors obey the octagon, not cusp"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The near-mass-shell superspace reduction hinges on the observed-but-unproved absence (Section 5) of integrals behaving as $1/p_i^2$ when $p_i^2 \\to 0$, an absence that must persist for $n>3$ and at higher loops or else the leading $m$-dependence and the finite remainder of Eq. (6.6) would change.","fun_headline_variants_meta":{"raw":{"variants":["Octagon, not cusp: two-loop off-shell form factors","Off-shell form factors: octagon wins over cusp","Two-loop minimal form factors: octagon governs Sudakov","Why off-shell form factors obey the octagon, not cusp"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000544,"raw_usage":{"total_tokens":2709,"prompt_tokens":1156,"completion_tokens":1553,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":772,"completion_tokens_details":{"reasoning_tokens":1482}},"tokens_in":772,"tokens_out":1553,"duration_ms":9835,"temperature":1.0,"reasoning_tokens":1482,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T12:42:59.498308+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evaluate the planar two-loop three-point off-shell integrals at equal ratios $u=v=w=1/3$ with $m/q^2 \\sim 10^{-6}$, form $\\log F_3$, and read off the coefficient of $g^4\\log^2(m/q^2)$: the claim requires $-\\frac{3}{4}\\cdot 16\\zeta_2 = -12\\zeta_2$ (the octagon value), while substituting the cusp series would give $+6\\zeta_4$. A second decisive check is the paper's own open question, Eq. (7.1): compute the three-loop remainder and test whether its symbol equals the conformal one, watching specifically for any $1/p_i^2$-enhanced integral in the off-shell supergraph reduction that would break the two-loop equivalence.","supporting_citations":[{"cited_title":"Near mass-shell double boxes","cited_arxiv_id":"2312.00641","evidence_quote":"Supplies the near-mass-shell basis of 62 master integrals into which the TriBox and TriBox-red integrals are reduced by integration by parts and solved in multiple polylogarithms."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the ladder functions $\\Phi_1$ and $\\Phi_2$ used to express and expand the triangle and double-triangle integrals near the mass shell."}],"review_version":1}