{"id":"e691100a-a798-4079-9524-2b884277a635","arxiv_id":"2501.11471","paper_version":3,"verdict":"REJECT","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"high","formal_verification":"none","parameter_count":3,"one_line_summary":"An N=4 supersymmetric w_{1+∞} algebra at λ=1/4 is proposed as the celestial soft current algebra of N=4 SO(4) supergravity, with truncations covering N=2,3 and matter-coupled cases.","lead":"This paper constructs an infinite-dimensional symmetry algebra for the four-dimensional N=4 supergravity found by Das in 1977, and claims this algebra describes the soft symmetries of gravitons, gravitinos, vectors, fermions and scalars on the celestial sphere. It is a step toward understanding whether extended supergravities share the hidden infinite symmetries already known for gravity and gauge theory.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The N=4 soft algebra (3.1) is an ansatz: since the N=4 celestial OPEs are unknown, the helicity condition is imposed by hand and eight structure constants are left free; a truncation of the known N=8 soft algebra should settle the identification.","rationale":"The reader's REJECT verdict rests on the central claim being a conjecture without derivation. My stress test agrees and identifies the precise point where the derivation is weakest: Eq. (3.1) is presented as 'the celestial soft current algebra in the N = 4 supergravity theory,' but the OPEs that would define it are admitted to be unknown (footnote 20). Instead, the authors take the abstract w_{1+∞} algebra (2.14), impose the dV=5 helicity condition s1+s2+s3=2 and U(1) conservation, and write down 24 (anti)commutators with undetermined couplings (3.5). This is an ansatz whose only constraints are Jacobi identities and the operator content of Das's N=4 supergravity. The load-bearing assumption is that no other algebra satisfies these constraints; but the actual N=4 amplitudes fix the OPE coefficients uniquely, and the paper never computes them. The proposed test uses the fact that N=4 is a consistent truncation of N=8, whose celestial soft algebra has been obtained by Banerjee et al. If the truncation of the known N=8 algebra reproduces (3.1), the identification is supported; if it yields different structure constants or different SO(4) index contractions, the central claim is false. This is a direct, computational check that would settle the reader's concern. I therefore leave the verdict unchanged at REJECT, with the caveat that the check could in principle upgrade the paper to a derivation if it passes.","tokens_in":102421,"tokens_out":4733,"duration_ms":50072,"concrete_test":"Take the N=8 celestial soft current algebra from Banerjee–Rahnuma–Singh (arXiv:2212.12133), impose Das's N=4 consistent truncation: set A=B=0, chi^{1,2,3}=0, F^{14,24,34}=0, psi^4=0, keeping the surviving fields as in (4.2). Derive the truncated N=4 algebra and compare each of the 24 (anti)commutators of (3.1) with the truncated algebra: (i) right-hand-side operator content and SO(4) index structure, (ii) mode-dependent coefficients, and (iii) numerical structure constants. If the truncation gives different epsilon/delta terms or different values for the eight couplings than (3.5) with the simplest solution kappa_{3/2,-3/2,+2}=-1 and the rest +1, then (3.1) is not the N=4 soft current algebra. Alternatively, compute one specific OPE, e.g. the gravitino–gravitino product, from the N=4 split factors (3.3) and compare its coefficient with eq. 18 of (3.1).","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 3.1's central identification of (3.1) with the N=4 SO(4) supergravity soft current algebra is not derived from amplitudes. Footnote 20 concedes that the N=4 celestial OPEs are unknown and that the helicity condition s1+s2+s3=2 is imposed directly on the abstract w_{1+∞} algebra (2.14). The resulting 24 (anti)commutators have structure constants left as eight free parameters (3.5); no amplitude or Lagrangian computation fixes them to the actual N=4 supergravity values. The load-bearing assumption is therefore that the dV=5 helicity selection rules plus Jacobi identities uniquely reproduce the true N=4 soft algebra. This is checkable because N=4 is a consistent truncation of N=8, whose celestial soft algebra is known [59], and the paper itself states (footnote 5) that N=8 OPEs should contain those of N=4. If truncating the known N=8 algebra does not yield (3.1) — including the SO(4) epsilon/delta structure and the numerical couplings — then the central claim fails.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs a two-dimensional N=4 supersymmetric W_{1+∞}^{2,2}[λ=1/4] algebra as an extension of the N=4 SO(4) superconformal algebra with vanishing central charge, using a free-field realization inherited from a previous construction. It then defines a 'soft current algebra' (equations 3.1) by dressing the abstract w_{1+∞} algebra (2.14) with helicity labels and imposing the selection rule s_1+s_2+s_3=2, and claims that this algebra is the celestial soft current algebra of the N=4 SO(4) supergravity found by Das. The paper further claims that consistent truncations of this algebra give soft current algebras for N=3, N=2, N=1 supergravities and matter-coupled cases, and that the N=2 case can also be obtained from an N=2 supersymmetric W_{1+∞}^{K,K}[λ=0] algebra. The central claim is that (3.1) describes the soft symmetry algebra of N=4 SO(4) supergravity.","tokens_in":102630,"tokens_out":2664,"duration_ms":30434,"significance":"If the central identification were established, the paper would provide a concrete infinite-dimensional symmetry algebra for N=4 supergravity in the celestial holography framework, generalizing the known N=8 and N=1 results and organizing the soft symmetries of lower-N supergravities through truncations. The explicit free-field construction of the N=4 supersymmetric W_{1+∞} algebra is a useful technical contribution, and the authors are transparent about the scope of their Jacobi checks. However, the main physical claim is not derived from the N=4 supergravity amplitudes or OPEs; the paper itself states (footnote 20) that the relevant N=4 celestial OPEs are not known. The identification is therefore an ansatz whose consistency is checked only partially and whose couplings are left as free parameters. The paper does not provide an independent computation—from amplitudes, OPEs, or a truncation of the known N=8 soft algebra—that would fix the structure constants to the N=4 supergravity values. As a result, the significance of the paper rests on the credibility of an unproven correspondence.","major_comments":[{"comment":"The central claim that the algebra (3.1) is 'the celestial soft current algebra in the N=4 supergravity theory' is not derived. Footnote 20 explicitly states that the OPEs with Euler beta functions for N=4 SO(4) supergravity 'are not known so far', and that the helicity condition s1+s2+s3=2 is imposed directly on the abstract w_{1+∞} algebra (2.14). This is an input assumption, not a computed consequence. A derivation from amplitudes, from a known OPE, or from a consistent truncation of the known N=8 celestial algebra is required to support the identification; none is provided.","section":"§3.1, footnote 20"},{"comment":"The structure constants κ_{s1,s2,−s3} are not fixed by any computation from N=4 supergravity. The Jacobi identities (3.5) reduce sixteen couplings to eight arbitrary ones, but no amplitude or Lagrangian calculation determines these eight values. The matching to Das's Lagrangian is built into the construction: the 'additional thirteen terms' are introduced so that the algebra contains operators corresponding to that Lagrangian. This makes the identification circular rather than predictive. The eight free parameters undermine the claim that (3.1) is uniquely the soft algebra of N=4 SO(4) supergravity.","section":"§3.1, (3.1)–(3.5)"},{"comment":"The Jacobi checks are incomplete in a way that is load-bearing for the claim that (3.1) is a closed algebra. The text states that Jacobi identities were checked for 1≤h1,h2≤6 (Section 3.1), but no general proof is given. For the underlying full algebra (A.3), Section 2.6 states 'we did not do it' and Section 6 states 'we expect that the Jacobi identity is satisfied'. Since the algebra is infinite-dimensional in the spins, a check up to h=6 is insufficient to establish closure, especially because the subleading terms in q in (A.6) are shown to violate the Jacobi identity at orders q^6, q^7 and q^8 (Appendix A.4).","section":"§3.1 and §2.6"},{"comment":"The paper does not perform the decisive cross-check available from N=8 supergravity. As the authors note (footnote 5), N=8 SO(8) supergravity contains all SO(N) extended supergravities with N<8, and the N=8 celestial soft algebra is known [59]. Since N=4 is a consistent truncation of N=8, one can truncate the known N=8 soft algebra and compare the result with (3.1). This would fix the numerical couplings and the SO(4) epsilon/delta structure, or falsify the identification. The absence of this test leaves the central claim unsubstantiated.","section":"§1, footnote 5; §3.1"}],"minor_comments":[{"comment":"There are numerous typographical errors and notational inconsistencies, for example 'w2,2' and 'W 2,2' are used interchangeably, and the helicity labels ±0 appear without a consistent convention for the complex scalar/pseudoscalar pair. A careful proofreading pass is needed.","section":"Throughout"},{"comment":"The list of split factors in (3.3) is introduced without defining the notation Split_{−(h+\\tilde h)}^{SG}(1^{h_1+\\tilde h_1},2^{h_2+\\tilde h_2}) in the text; it is only described by reference to [58,59]. The reader should be told what the subscripts and superscripts denote.","section":"§3.3 (split factors)"},{"comment":"The sentence 'The three minus signs appearing on the right hand sides of (3.5) imply that the simplest solution ... is given by κ_{3/2,−3/2,+2}=−1' is unclear: the right hand sides of (3.5) are expressions, not signs. Please clarify the intended logic.","section":"§3.1, (3.5)"},{"comment":"The statement 'In principle we can check the Jacobi identity from the various (anti)commutators presented in (A.3) although we did not do it' conflicts with the later claim in Section 3.1 that Jacobi identities were checked. The manuscript should distinguish clearly between the Jacobi checks for the abstract w-algebra (2.14)/(A.3) and those for the soft algebra (3.1).","section":"§2.6"}],"recommendation":"reject","confidential_remarks":"The paper contains substantial technical material, but the central physical claim is not supported: the identification of (3.1) with the N=4 SO(4) supergravity soft algebra is an ansatz, not a derivation, and the matching to the Lagrangian is built in by construction. The absence of a truncation check from N=8 supergravity—which the authors cite as known—is a decisive omission. The issues are load-bearing and cannot be fixed by local revisions; the identification would need to be either derived or tested before the paper can be considered for publication in a serious journal."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: this is a substantial algebraic construction that stops just short of the physics claim it wants to make. The paper does a lot of explicit work to build a candidate N=4 celestial soft algebra, but the identification with N=4 SO(4) supergravity is an ansatz, not a derivation.\n\nWhat's genuinely new: the N=4 supersymmetric w_{1+∞}^{2,2}[λ=1/4] algebra, the proposed soft algebra (3.1), and its truncations to lower N. The free-field realization is explicit and inherited from a published construction, and the matching of the thirteen Lagrangian terms of Das's theory to individual (anti)commutators is careful and detailed. The authors are also honest: footnote 20 states plainly that the N=4 celestial OPEs are not known, so they impose the helicity condition s1+s2+s3=2 directly. They don't hide the gap.\n\nThe soft spots are real but specific. The central claim that (3.1) is the soft algebra of N=4 supergravity is not derived from amplitudes or OPEs; it's imposed through the helicity condition. Eight structure constants are left free (fixed only up to Jacobi relations). The choice λ=1/4 is made precisely to delete terms that don't match Das's Lagrangian, so the matching is built in. The Jacobi checks cover only h1,h2 up to 6 and to finite order in q. None of these are fatal errors; they mean the paper should be read as a conjecture.\n\nThe stress-test note suggests the obvious check: since N=4 is a consistent truncation of N=8, one should truncate the known N=8 soft algebra [59] and see whether it yields (3.1) including the SO(4) structure and the couplings. The paper doesn't do this. If it fails, the central claim falls; if it works, the paper lands. Until then, the identification is plausible but unproven.\n\nWho is this for? Celestial holography people working on supersymmetric soft algebras. The explicit algebra and truncations will be useful even if the supergravity identification needs revision. I'd send it to a serious referee, with the clear instruction that the refereeing should focus on the N=8 truncation check and the status of the structure constants. The paper deserves review, but not acceptance as-is.","headline":"A careful algebraic construction whose central celestial-supergravity identification is an explicitly admitted ansatz, not a derivation.","tokens_in":103271,"tokens_out":2029,"would_cite":false,"duration_ms":22825,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81T40","81T60","83E50","17B68"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper claims that the soft current algebra of N=4 SO(4) supergravity is exactly the N=4 supersymmetric $w^{2,2}_{1+\\infty}[\\lambda=1/4]$ algebra, with its 24 (anti)commutators and helicity assignments fixed by that identification.","keywords":["supersymmetric W1+∞ algebra","N=4 supergravity","celestial holography","soft current algebra","SO(4) superconformal algebra","conformally soft symmetries","extended supergravity truncations"],"falsifier":"Compute the actual celestial operator product of two gravitinos in the 1977 N=4 SO(4) supergravity Lagrangian and check the pole structure that (3.1) predicts: for instance, the anticommutator of two spin-3/2 currents with the same SO(4) index should have no second-order pole, and a non-vanishing pole there would falsify the algebra.","tokens_in":102132,"feed_emoji":"🌌","tokens_out":9733,"duration_ms":93158,"temperature":0.7,"pith_summary":"The paper tries to establish that the soft-current algebra of N=4 supergravity with global SO(4) symmetry—the four-dimensional theory of a graviton, four gravitinos, six vectors, four Majorana fermions, and a scalar–pseudoscalar pair—is exactly the N=4 supersymmetric $w^{2,2}_{1+\\infty}[\\lambda=1/4]$ algebra. This would connect the 1977 Lagrangian of N=4 supergravity to a known infinite-dimensional symmetry of the celestial CFT, in the same way the simpler $w_{1+\\infty}$ algebra appeared for gravity and Yang–Mills. The paper also claims that consistently truncating the fields of this algebra reproduces the soft-current algebras of N=3, N=2, N=1, and N=2 coupled to Abelian vector multiplets, so a single two-dimensional algebra organizes the soft charges of a whole family of extended supergravities. A sympathetic reader would care because it turns a list of soft charges into a closed algebraic structure with fixed structure constants.","feed_headline":"N=4 supergravity's soft currents are one supersymmetric w1+∞ algebra","feed_subtitle":"The 1977 N=4 SO(4) supergravity and all its N<4 truncations share one 2-D soft-current algebra.","key_machinery":"The carrying object is the N=4 supersymmetric $w^{2,2}_{1+\\infty}[\\lambda=1/4]$ algebra, the zero-central-charge member of a family of $W_{1+\\infty}$ algebras built from (b,c) and (β,γ) free fields. The paper first realizes the N=4 SO(4) superconformal algebra in these free fields, then extends it to generic superspin and takes the lowest-order-in-q limit to obtain the w-algebra. The connection to supergravity is made by imposing the three-point helicity condition $s_1+s_2+s_3=2$ (the $d_V=5$ case) on the lowest-order terms, since the explicit celestial OPEs of N=4 supergravity are not yet known. The value $\\lambda=1/4$ fixes the deformation parameter $\\alpha=0$, which removes those terms in the anticommutator of two spin-3/2 currents and the commutator of a spin-3/2 with a spin-1 current that have no counterpart in the Lagrangian interactions.","core_discovery":"The paper's claim is that the celestial soft current algebra in N=4 SO(4) supergravity is the set of 24 (anti)commutators written in (3.1), with the helicity assignments of (3.2) putting each Lagrangian field into the algebra: the graviton, gravitinos, vectors, Majoranas, and scalar/pseudoscalar are identified with generators of spins 2, 3/2, 1, 1/2, and 0 and helicities ±2, ±3/2, ±1, ±1/2, and ±0. The couplings inside these (anti)commutators are fixed by the Jacobi identity and reduce to eight independent constants. The same algebra, under the consistent truncations described in the 1977 paper, yields the soft current algebras of the lower-$\\mathcal{N}$ theories. The value $\\lambda=1/4$ is singled out because it is the only point at which the deformation terms absent from the Lagrangian disappear.","pith_inferences":["If the identification holds, the known N=8 supergravity soft algebra should contain an N=4 SO(4) subsector that reduces to (3.1) after truncating the extra fields; the paper does not perform this reduction, so it is a testable consequence.","The construction suggests that other extended supergravities, such as the SU(4) version, might correspond to special values of the deformation parameter $\\lambda$ in the same family of W algebras, since only $\\lambda=1/4$ and $\\lambda=0$ are treated here.","Because the paper fixes the soft algebra by hand rather than from the N=4 celestial OPEs, a direct computation of those OPEs from the 1977 Lagrangian would provide an independent check of every one of the 24 (anti)commutators."],"forward_implications":["The 24 (anti)commutators of (3.1), with couplings fixed by the Jacobi identity, are the complete soft current algebra of N=4 SO(4) supergravity.","Truncating the N=4 fields reproduces the soft current algebras of N=3 and N=2 supergravity, N=2 supergravity coupled to Abelian vector multiplets, and N=1 Maxwell–Einstein theory.","The value $\\lambda=1/4$ is forced by the requirement that no deformation term survives without a corresponding Lagrangian interaction.","The same N=2 soft algebra is obtained independently from the N=2 supersymmetric $w^{K,K}_{1+\\infty}[\\lambda=0]$ algebra, providing a cross-check of the truncation."],"supporting_citations":[{"why":"Supplies the N=4 SO(4) supergravity Lagrangian and field content that the soft currents are matched to.","marker":"[30]"},{"why":"Constructs the N=2,4 supersymmetric linear W∞[λ] algebra family from which the λ=1/4 member is taken.","marker":"[57]"},{"why":"Gives the N=4 SO(4) superconformal algebra whose vanishing-central-charge form is extended in this paper.","marker":"[9]"},{"why":"Provides the N=8 supergravity soft and OPE data used to assign conformal dimensions and vanishing split factors.","marker":"[59]"},{"why":"Establishes the w1+∞ soft algebra for Einstein-Yang-Mills, the pattern the paper generalizes to N=4 supergravity.","marker":"[45]"},{"why":"Gives the splitting-amplitude factorization N=4 supergravity = N=4 SYM × N=0 YM used to identify vanishing split factors.","marker":"[64]"},{"why":"Provides the supersymmetric soft theorem and conformal dimension assignments for soft gravitinos, vectors, Majoranas, and scalars used in the identification.","marker":"[67]"}],"fun_headline_variants":["One w1+∞ algebra captures soft currents of all N≤4 supergravities","1977 N=4 SO(4) supergravity's soft currents form a single supersymmetric algebra","Celestial holography: N=4 supergravity's soft currents unify as w1+∞","Truncating one supersymmetric w1+∞ algebra yields N=1,2,3 soft current algebras","The λ=1/4 w1+∞ algebra unifies soft currents in N=4 supergravity"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The identification assumes that the N=4 supergravity soft-current algebra follows the same three-point-helicity and collinear rules as N=8 supergravity, because the paper states the N=4 celestial OPEs are not known and imposes the $d_V=5$ condition directly rather than deriving it.","fun_headline_variants_meta":{"raw":{"variants":["One w1+∞ algebra captures soft currents of all N≤4 supergravities","1977 N=4 SO(4) supergravity's soft currents form a single supersymmetric algebra","Celestial holography: N=4 supergravity's soft currents unify as w1+∞","Truncating one supersymmetric w1+∞ algebra yields N=1,2,3 soft current algebras","The λ=1/4 w1+∞ algebra unifies soft currents in N=4 supergravity"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000917,"raw_usage":{"total_tokens":3983,"prompt_tokens":1042,"completion_tokens":2941,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":658,"completion_tokens_details":{"reasoning_tokens":2814}},"tokens_in":658,"tokens_out":2941,"duration_ms":22302,"temperature":1.0,"reasoning_tokens":2814,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T18:13:31.861080+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the actual celestial operator product of two gravitinos in the 1977 N=4 SO(4) supergravity Lagrangian and check the pole structure that (3.1) predicts: for instance, the anticommutator of two spin-3/2 currents with the same SO(4) index should have no second-order pole, and a non-vanishing pole there would falsify the algebra.","supporting_citations":[{"cited_title":"SO(4) Invariant Extended Supergravity,","cited_arxiv_id":null,"evidence_quote":"Supplies the N=4 SO(4) supergravity Lagrangian and field content that the soft currents are matched to."},{"cited_title":"O(n) Extended Superconformal Field Theory in Superspace,","cited_arxiv_id":null,"evidence_quote":"Gives the N=4 SO(4) superconformal algebra whose vanishing-central-charge form is extended in this paper."}],"review_version":1}