{"id":"6a033ab1-7351-4d3e-b865-60d36b012b61","arxiv_id":"2501.09371","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"Tree-level MHV celestial gluon and graviton amplitudes are written as minitwistor integrals and reproduced by the semiclassical action of a sigma model on the celestial supersphere.","lead":"This paper rewrites tree-level MHV celestial scattering amplitudes for gluons and gravitons as integrals over minitwistor lines, and proposes a sigma model whose semiclassical limit generates them. If correct, it provides a concrete toy realization of the celestial CFT framework recently proposed by Tropper.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The sigma-model semiclassical reduction in Eqs. (196)-(201) has a b-normalization inconsistency: the fermion determinant is multiplied by a power of b and the b log prefactor sends it to zero, so W cannot equal log det.","rationale":"The paper's central claim is to express MHV celestial leaf amplitudes as minitwistor-line integrals and to reproduce them from a sigma model on the celestial supersphere. The reader identified Eq. (45) as the weakest assumption. I agree that the full distributional proof of Eq. (45) is not given, but the structure of Eq. (45) is essentially a product of single-particle identities: each factor contains \\delta(\\langle\\lambda_i z_i\\rangle) and \\delta([\\mu_i,\\lambda_i X]), which separately localize the integrand, so the identity is plausible and directly testable. The more concrete gap is the semiclassical reduction in Section V. The action (196) has a bosonic kinetic term of order 1/b and a fermionic kinetic term of order b, while W is defined with a prefactor b log in Eq. (200). Under this normalization, the chiral determinant appears with a power of b and its contribution to W vanishes in the limit b->0+, so the displayed derivation of Eq. (201) does not follow. This is a genuine technical inconsistency in the central sigma-model argument, not merely a missing proof. It is load-bearing because Eq. (201) is the precise relation that makes the sigma model reproduce the generating functional and hence the MHV leaf amplitudes. A corrected normalization or a revised definition of W may repair the claim, so the appropriate outcome remains CONDITIONAL rather than a rejection of the entire framework, but the condition must include a consistent semiclassical scaling.","tokens_in":42298,"tokens_out":15415,"duration_ms":162980,"concrete_test":"Evaluate the path integral in Eq. (200) for a toy model with one fermionic mode and no bosonic sources: I = b \\bar\\psi D \\psi, with the same definition W(b) = -b log \\int d\\bar\\psi d\\psi e^{-I}. The exact result is W(b) = -b log(b det D), whose b->0+ limit is 0, not log det D. Repeating this with the full quadratic boson sector of Eq. (196) will show which term actually survives; if the surviving term is not \\int log det(\\partial+\\omega)|_{L(X,\\theta)}, then Eqs. (196)/(200) need a corrected normalization before Eq. (201) can be accepted.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central sigma-model claim requires W in Eq. (201) to equal the Quillen-determinant generating functional. Starting from Eq. (200), W = -lim_{b->0+} b log Z with I given in Eq. (196), the fermionic piece is b \\bar\\psi(\\partial+\\omega)\\psi. For a finite-mode toy integral, \\int d\\bar\\psi d\\psi exp(-b \\bar\\psi D \\psi) = b det D (up to sign), so the fermionic contribution to -b log Z is -b log(b det D), which vanishes as b->0+. Even if the coefficient of the fermion action were b-independent, the prefactor b in Eq. (200) would suppress the log det. The bosonic sector has the opposite scaling, 1/b, so its saddle contribution, not the chiral determinant, would dominate W. The paper asserts without computation that the fermionic path integral 'results in the chiral determinant' and that W becomes \\int log det; this is not what the displayed normalization gives. Since Eq. (201) is the step that connects the sigma model to the amplitudes, the derivation as written has a load-bearing normalization gap, distinct from the distributional identity Eq. (45), which is a product of single-particle identities and likely checkable.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper continues the author's program of deriving aspects of celestial holography from string theory. It proposes a reformulation of tree-level MHV celestial leaf amplitudes for gluons in N=4 SYM and gravitons in N=8 supergravity as integrals over the moduli space of minitwistor lines, using minitwistor wavefunctions defined as cohomology classes on the minitwistor space MT. It also constructs a generating functional for these amplitudes via the Quillen determinant line bundle, extending the Boels-Mason-Skinner approach, and proposes supersymmetric celestial CFTs as sigma models on the celestial supersphere CP^{1|2} with target space MT^{2|N}. The central claim is that the semiclassical effective action of these sigma models reproduces the gluonic and gravitational MHV leaf amplitudes.","tokens_in":42568,"tokens_out":9786,"duration_ms":97778,"significance":"If the construction is correct, it would provide a concrete realization of Tropper's supersymmetric celestial CFT framework and forge a new link between celestial holography and twistorial string-theoretic methods. The paper contains explicit integral formulas, a clear identification of minitwistor wavefunctions, and a proposed action for the sigma model, building on prior work by Bu and Seet and by Boels, Mason, and Skinner. However, the verification is incomplete: the critical n-fold identities are only sketched, and the semiclassical reduction of the sigma model contains a normalization inconsistency that invalidates the claimed result as written.","major_comments":[{"comment":"The semiclassical effective action W defined in Eq. (200) with the action I in Eq. (196) cannot equal ∫ log det(∂ + ω) as claimed. For a free fermion, ∫ dψ d\\barψ exp(-b \\barψ D ψ) = b det D up to sign, so its contribution to -b log Z is -b log(b det D), which vanishes in the limit b→0+. The bosonic sector, with action of order 1/b, contributes its on-shell value at O(1). Therefore W would be the on-shell bosonic action, not the chiral determinant. The paper asserts that the fermionic path integral 'results in the chiral determinant' and that W becomes the generating functional, but no computation is provided. This is a load-bearing error for the sigma-model claim.","section":"V.D.2, Eqs. (196)-(201)"},{"comment":"The celestial BMS identity (34) and the celestial RSVW identity (45) are central bridges that convert leaf amplitude integrals into integrals over minitwistor lines and underpin the generating functional construction. Both are justified only by an 'inductive argument' or 'direct evaluation' with no detailed proof. Eq. (45) is a nontrivial distributional identity on minitwistor space; without a proof or a precise statement of its domain of validity, the reformulation of the amplitudes and the generating functionals built on it are not established.","section":"II.C.2-II.C.3, Eqs. (34) and (45)"},{"comment":"The Penrose transform of the background potential ω in Eq. (76) is written as K_Δ(X;z,\\bar z), but according to Eq. (33) the transform of F_Δ alone gives C(Δ)/⟨z|X|\\bar z]^Δ; the factor |X|^Δ is required to obtain K_Δ. The BMS identity (34) also includes |X|^{Δ_i} on its left-hand side. The generating functional expansion in Eqs. (77)-(78) therefore omits these factors and does not follow as written. The same issue appears in the gravitational generating functional in Eqs. (145)-(147).","section":"III.C, Eqs. (76)-(78)"}],"minor_comments":[{"comment":"The notation '+ (z̄_i → i z̄_i)' (and similarly in Eq. (119)) is not explained; please define this shorthand explicitly.","section":"III.B.1 and IV.B.2, Eqs. (59), (119)"},{"comment":"In the definition of L(X,θ), the set is written with Z^I ∈ MT^{2|4}, but for the N=8 supergravity case it should be MT^{2|8}.","section":"IV.D.2, Eq. (141)"},{"comment":"The vertex operators \\hat G_i, \\hat H_i, U_i, and V_i mix the notations χ and \\hatχ; the two-point function in Eq. (90) uses χ, while the operators use \\hatχ, which is confusing.","section":"IV.A and IV.B, Eqs. (108)-(112)"},{"comment":"Eq. (124) contains unbalanced parentheses and an unclear product/sum structure; please rewrite it with proper grouping.","section":"IV.C, Eq. (124)"},{"comment":"The manuscript contains numerous typos and grammatical errors, e.g., 'aproach' in the Introduction and 'seem' for 'seen' in Section V.C.3.","section":"General"},{"comment":"The action in Eq. (196) is written as an integral over \\tilde L(X,θ), but \\tilde L is not defined in the text; clarify its relation to L(X,θ).","section":"V.D.1, Eqs. (195)-(196)"}],"recommendation":"reject","confidential_remarks":"The b-normalization issue in Section V.D appears fundamental: with the prefactor b in Eq. (200), no Gaussian fermion integral can produce log det in the limit b→0+, so the claimed semiclassical reduction is not salvageable by a simple redefinition. Additionally, the central n-fold identities, Eqs. (34) and (45), are only sketched. The paper would require a substantially revised derivation of the sigma-model effective action and full proofs of these identities before it could be considered for publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my take after a close read. The paper does real work: it writes down explicit minitwistor wavefunctions, states two integral identities (celestial RSVW and BMS), uses them to rewrite MHV leaf amplitudes for N=4 SYM and N=8 SG as integrals over minitwistor line moduli, and constructs a Quillen-determinant generating functional. That part is coherent and builds honestly on Bu–Seet, Boels–Mason–Skinner, and Tropper. The n-fold identities are only sketched, but the BMS identity looks like induction on the single-particle Penrose transform, and the RSVW identity is the same distributional step; neither looks fabricated.\n\nThe trouble starts when the sigma model is introduced. The action in Eq. (196) has a bosonic term with 1/b and a fermionic term with b. The claimed effective action is W = -lim_{b→0+} b log Z. Run the numbers: the fermionic path integral gives det(bD) = b^N det D. Then -b log Z includes -b(N log b + log det D), which goes to zero as b→0+. Even if the fermion term had no b, the prefactor b would kill the log det. To get ∫ log det as the limit, the log det would have to appear in the exponent with a 1/b, and it does not. So Eq. (201) is not a derivation; it's an assertion with the wrong normalization.\n\nThere is also the circularity point: the generating functional is defined as log det, and the sigma model is built to reproduce it, so the leaf amplitudes are matched by construction. That's a legitimate 'proposal' but it weakens the claim of phenomenological output. The paper does say the theory is only semiclassical, which is honest, but this is a load-bearing gap, not a small typo.\n\nWhere does that leave the paper? The minitwistor machinery and the identities deserve attention; if the RSVW identity checks out, it gives a compact way to think about leaf amplitudes. The sigma model needs a different normalization, or a different definition of W, before it does what the abstract says. I wouldn't desk-reject it; a referee could ask for the derivation of Eq. (45), the path integral reduction, and a fix to the normalization. The paper is worth a serious referee, but the central claim should not be accepted in this form.","headline":"The minitwistor reformulation of leaf amplitudes is a real step, but the sigma-model semiclassical reduction has a normalization problem that suppresses the determinant, so the central claim doesn't follow.","tokens_in":43097,"tokens_out":5596,"would_cite":true,"duration_ms":56352,"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":"Minitwistor sigma models reproduce celestial MHV gluon and graviton amplitudes.","keywords":["celestial holography","minitwistor space","celestial leaf amplitudes","MHV amplitudes","N=4 supersymmetric Yang-Mills","N=8 supergravity","sigma model","Quillen determinant"],"falsifier":"Compute the left and right sides of Eq. (45) for a concrete four-point configuration with explicit minitwistor wavefunctions and delta functions; any mismatch for generic boundary insertion points and conformal weights would falsify the identity. A simpler check is to evaluate one four-gluon leaf amplitude directly from Eq. (60) and compare it with the minitwistor-line integral in Eq. (69) after performing the $X$-integral.","tokens_in":42041,"feed_emoji":"🌀","tokens_out":7350,"duration_ms":61958,"temperature":0.7,"pith_summary":"This paper claims that tree-level maximally-helicity-violating (MHV) celestial leaf amplitudes for gluons in $\\mathcal{N}=4$ supersymmetric Yang-Mills theory and for gravitons in $\\mathcal{N}=8$ supergravity can be rewritten as integrals over the moduli space of minitwistor lines, the rational curves in minitwistor space associated with points of three-dimensional Euclidean anti-de Sitter space. To get there, it introduces minitwistor wavefunctions, defined as cohomology classes on minitwistor space obtained by Mellin-transforming twistor wavefunctions, and derives two integral identities for them. It then builds a generating functional for the MHV leaf amplitudes from the Quillen determinant line bundle and proposes a $\\sigma$ model on the celestial supersphere $\\mathbb{CP}^{1|2}$ with target minitwistor superspace $\\mathbf{MT}^{2|\\mathcal{N}}$. The central result is that the semiclassical effective action of this $\\sigma$ model equals the generating functional, so the model reproduces the tree-level MHV leaf amplitudes. If correct, this gives a concrete realization of a proposed supersymmetric celestial conformal field theory framework.","feed_headline":"Minitwistor sigma model reproduces celestial MHV amplitudes","feed_subtitle":"Gluon and graviton leaf amplitudes become integrals over minitwistor lines in a single semiclassical action.","key_machinery":"The load-bearing objects are minitwistor wavefunctions $\\hat f_{\\Delta,w}$, defined as Mellin transforms of twistor wavefunctions and realized as cohomology classes in $\\Omega^{0,1}(\\mathbf{MT},\\mathcal{O}(\\Delta-w,-\\Delta))$; they are the vertex-operator building blocks of the $\\sigma$ model. The celestial RSVW identity, Eq. (45), is the distributional bridge that replaces an integral over projective superspace $\\mathbb{RP}^{3|8}$ or $\\mathbb{RP}^{3|16}$ by an integral over minitwistor lines $L(X)$; the celestial BMS identity, Eq. (34), is the $n$-fold Penrose-transform relation that converts products of bulk-to-boundary propagators into minitwistor integrals, making the Quillen determinant $\\log\\det(\\bar\\partial+\\omega)$ into a generating functional. The action (196) with kinetic terms for the embedding fields and the fermionic system gives a semiclassical path integral whose saddle points are exactly the minitwistor superlines.","core_discovery":"The paper's central claim is that the celestial RSVW identity, an $n$-fold distributional identity on minitwistor space, allows every tree-level MHV celestial leaf amplitude for gluons and gravitons to be written as a Fourier transform over minitwistor superspace, with the support of the Fourier-transformed amplitude localized to incidence curves that are minitwistor lines; hence the amplitude vanishes unless all insertion points lie on a common minitwistor line. The same wavefunctions satisfy a second identity, the celestial BMS identity, which is used to show that the Quillen-determinant functional $\\int \\log\\det(\\bar\\partial+\\omega)$ restricted to minitwistor superlines generates all MHV leaf amplitudes. The paper then constructs an action for a $\\sigma$ model with worldsheet the celestial supersphere $\\mathbb{CP}^{1|2}$ and target the minitwistor superspace $\\mathbf{MT}^{2|\\mathcal{N}}$, and shows that in the semiclassical limit the path integral localizes on embeddings of the celestial sphere as minitwistor superlines, with the fermionic determinant giving exactly the Quillen-determinant generating functional. Thus the semiclassical effective action reproduces the MHV gluonic and gravitational leaf amplitudes.","pith_inferences":["A rigorous proof of the $n$-fold celestial RSVW identity, rather than the sketched induction, would put the whole construction on solid ground; the identity is strong enough that it could be checked numerically for four points.","The same Fourier-transform structure may transfer to other bulk geometries: any space whose twistor space admits a minitwistor quotient with the same incidence geometry would have a celestial CFT of this type.","The semiclassical limitation suggests the sigma model is an effective description; understanding the anomalies that block full quantization could connect loop corrections to the model, possibly along the lines of celestial Liouville theory."],"forward_implications":["MHV gluon and graviton celestial leaf amplitudes acquire a geometric meaning: they are supported only on configurations where all insertion points lie on a common minitwistor line, so the amplitudes vanish otherwise.","The generating functional $\\mathfrak{W}[\\omega]=\\int_{\\mathbb{RP}^{3|2\\mathcal{N}}} D^{3|2\\mathcal{N}}X \\, \\log\\det(\\bar\\partial+\\omega)\\big|_{L(X,\\theta)}$ packages all tree-level MHV leaf amplitudes into one object.","The sigma model gives a semiclassical path-integral realization of the supersymmetric celestial CFT proposal, with the worldsheet being the celestial supersphere and the target the minitwistor superspace.","If the formalism is extended to the NMHV sector, celestial amplitudes should be expressible as integrals over moduli spaces of higher-degree curves in minitwistor space, as the paper suggests."],"supporting_citations":[{"why":"Shows the Mellin transform maps twistor cohomology classes to minitwistor cohomology classes, the basis for the minitwistor wavefunctions.","marker":"[2]"},{"why":"Supplies the twistor-space Quillen-determinant generating functional that the paper extends to minitwistor space.","marker":"[28]"},{"why":"Defines the leaf-amplitude representation that the paper recasts in minitwistor variables.","marker":"[58]"},{"why":"Provides the original RSVW formula whose celestial analogue is the identity in Eq. (45).","marker":"[83]"},{"why":"Gives the twistor-string formulation whose Fourier-transform interpretation is adapted to minitwistors.","marker":"[20]"},{"why":"Proposes the supersymmetric celestial CFT framework that this sigma model is designed to realize.","marker":"[1]"},{"why":"Provides the CP1 fermionic correlator representation of MHV graviton amplitudes used in the gravitational analysis.","marker":"[75]"}],"fun_headline_variants":["Minitwistor action reproduces celestial MHV amplitudes","Celestial supersphere sigma model reproduces MHV amplitudes","MHV gluon and graviton amplitudes from minitwistor lines","Single semiclassical action for celestial MHV amplitudes","Minitwistor action yields all celestial MHV amplitudes"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The full $n$-point celestial RSVW identity, Eq. (45), is assumed to hold as a distributional identity; the paper sketches an induction but does not give a complete proof, and if the identity fails, the minitwistor-line representation of the leaf amplitudes and the generating functional built on it no longer follow.","fun_headline_variants_meta":{"raw":{"variants":["Minitwistor action reproduces celestial MHV amplitudes","Celestial supersphere sigma model reproduces MHV amplitudes","MHV gluon and graviton amplitudes from minitwistor lines","Single semiclassical action for celestial MHV amplitudes","Minitwistor action yields all celestial MHV amplitudes"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001109,"raw_usage":{"total_tokens":4707,"prompt_tokens":1115,"completion_tokens":3592,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":731,"completion_tokens_details":{"reasoning_tokens":3508}},"tokens_in":731,"tokens_out":3592,"duration_ms":25808,"temperature":1.0,"reasoning_tokens":3508,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T20:05:55.719136+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the left and right sides of Eq. (45) for a concrete four-point configuration with explicit minitwistor wavefunctions and delta functions; any mismatch for generic boundary insertion points and conformal weights would falsify the identity. A simpler check is to evaluate one four-gluon leaf amplitude directly from Eq. (60) and compare it with the minitwistor-line integral in Eq. (69) after performing the $X$-integral.","supporting_citations":[{"cited_title":"Adamo and M","cited_arxiv_id":null,"evidence_quote":"Provides the original RSVW formula whose celestial analogue is the identity in Eq. (45)."}],"review_version":1}