{"id":"ccf58914-2c14-49e3-bbae-36199b14a9fd","arxiv_id":"2501.11509","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A deformation of the vertex algebra L_k(osp_{1|2n}) into a principal subspace of L_k(sl_{1|2n+1}) proves the Warnaar-Zudilin conjecture for all positive n and k.","lead":"The authors prove a collection of q-series identities conjectured by Warnaar and Zudilin, extending Rogers-Ramanujan type identities to all positive parameters. The proof works by deforming the affine vertex superalgebra L_k(osp_{1|2n}) into a principal subspace of L_k(sl_{1|2n+1}).","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof of Theorem 4.2.1 asserts without proof that nilpotent elements e_{i,ε} give null relations e_{i,ε}(z)^{k+1}=0 in L_k(sl_{2n}); this deformation step is the load-bearing gap.","rationale":"The reader's weakest_assumption coincides with the point I find most load-bearing. The main architecture—deforming osp_{1|2n} into the principal subspace of sl_{1|2n+1} and invoking the Duflo–Serganova reduction—is coherent and well motivated; the paper deserves credit for the explicit deformation formulas in Section 2 and for connecting to the Warnaar–Zudilin conjecture. However, the transition from the algebraic deformation of Lie superalgebras to the vertex-algebra ideal deformation is the linchpin. Corollary 3.2.2 requires that the E-weight-zero part of the maximal ideal deforms; the proof of Theorem 4.2.1 attempts to satisfy this by replacing each generator e_i(z)^{k+1} of the principal-subspace ideal by e_{i,ε}(z)^{k+1}. Whether these deformed fields actually lie in I is the entire content of the hypothesis, and the sentence invoking Stoyanovsky's nilpotence is the only argument. Stoyanovsky's paper may contain the needed argument for sl_N, but here the deformation is into the principal subsuperspace of sl_{1|2n+1}, with ε-dependent combinations e_i − ε^2 f_{i+1}; the adaptation is not written. A direct small-case computation (e.g., n=2, k=1) would settle whether the deformed relations vanish in the simple quotient. The Appendix B presentation is also sketched, but it relies on known techniques (Georgiev, Butorac–Kožić) and is less central; the deformation step is where the proof could silently fail. I therefore keep the reader's CONDITIONAL verdict.","tokens_in":17190,"tokens_out":32648,"duration_ms":311548,"concrete_test":"Compute the Shapovalov-form norms of the states (e_{i,ε,-1})^{k+1}|0> in the simple affine VOA L_k(sl_{2n}) for the smallest nontrivial case (n=2, k=1), with e_{i,ε} as in Theorem 4.2.1 (i=2,3,4). Using a computer algebra system to reduce by the maximal ideal of V_1(sl_4), check whether each of (e_{2,ε,-1})^2|0>, (e_{3,ε,-1})^2|0>, (e_{4,ε,-1})^2|0> is zero; if any is nonzero, the asserted deformation of generators to I_ε fails, so Corollary 3.2.2 does not apply.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (Theorem 4.2.1) relies on Corollary 3.2.2, whose hypothesis is that every element of the E-weight-zero subspace of I_p deforms to I_ε. After identifying this subspace with the defining ideal of the principal subspace of L_k(sl_{2n}), the proof reduces the hypothesis to the assertion that the substituted currents e_{i,ε}(z) = e_i(z) − ε^2 f_{i+1}(z) (for i=2,…,2n−1) and e_{2n,ε}(z)=e_{α_{2n}}(z) satisfy e_{i,ε}(z)^{k+1} ∈ I, the maximal ideal of V_k(sl_{2n}). The only justification offered is 'this follows as in [Sto98] from the fact that e_{i,ε} is nilpotent.' This is not supplied and is not a formal consequence of matrix nilpotence in an affine VOA: regular self-OPE for a nilpotent current does not force the normally ordered power to vanish, and the simple-root relation e_i(z)^{k+1}=0 is specific to the principal-subspace presentation, not automatic for ε-dependent linear combinations like e_i − ε^2 f_{i+1}. If any e_{i,ε}(z)^{k+1} is nonzero in L_k(sl_{2n}), the deformed elements are not in I_ε, Corollary 3.2.2 cannot be applied, and the equality of supercharacters—and hence the Warnaar–Zudilin identity—does not follow from the written argument. The gap is fillable, but it is exactly where the proof's logic depends on an unverified relation.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper aims to prove the Warnaar–Zudilin q-series identities for all positive integers n,k by realizing both sides as (super)characters of vertex operator algebras. The left-hand side is the supercharacter of the simple affine vertex operator superalgebra L_k(osp_{1|2n}); the right-hand side is the character of the principal subspace of L_k(sl_{2n}). The bridge is a one-parameter deformation of osp_{1|2n} into a principal nilpotent subalgebra of sl_{1|2n+1}, combined with a Duflo–Serganova reduction and a presentation of principal subspaces. The main structural result is Theorem 4.2.1, which asserts that the supercharacter of L_k(osp_{1|2n}) equals both the supercharacter of the principal subspace of L_k(sl_{1|2n+1}) and the character of the principal subspace of L_k(sl_{2n}); Corollary 4.2.3 then derives the Warnaar–Zudilin identity.","tokens_in":17583,"tokens_out":6790,"duration_ms":69214,"significance":"If the missing details are supplied, the result is significant. It proves a family of conjectured q-series identities, fills a gap left by Stoyanovsky by identifying principal-subspace characters with simple affine (super)algebra characters, and connects recent superconformal-field-theoretic observations to number theory. The paper is parameter-free: no free parameters are fitted, the conjectured identity is not assumed, and the argument uses independent external benchmarks such as the Kac–Wakimoto character formula and the Georgiev quasiparticle basis. The main reason for caution is that several load-bearing steps are asserted rather than proved.","major_comments":[{"comment":"The deformation of the ideal generators is the central step, but it is asserted rather than proved. The text states that e_{i,ε}(z) = e_i(z) − ε^2 f_{i+1}(z) satisfies e_{i,ε}(z)^{k+1} ∈ I “as in [Sto98] from the fact that e_{i,ε} is nilpotent,” and this is not a formal consequence in an affine vertex algebra. Nilpotence of a matrix of modes does not imply vanishing of the normally ordered power e_{i,ε}(z)^{k+1}; the relation e_i(z)^{k+1}=0 is specific to the principal-subspace presentation and is not automatic for linear combinations such as e_i(z) − ε^2 f_{i+1}(z). Since Corollary 3.2.2 requires every element of the E-weight-zero subspace of I_p to deform to an element of I_ε, this gap blocks the proof of Theorem 4.2.1 unless a detailed argument is supplied.","section":"§4.2, Theorem 4.2.1"},{"comment":"The presentation of the principal subspace of L_k(sl_{N+1}) is load-bearing: it is used to identify the E-weight-zero subspace of I_p with the defining ideal of the principal subspace of L_k(sl_{2n}). However, the proof of Proposition B.2.1 is only a sketch. Properties (B.4)–(B.6) are stated, and the reductions are said to follow “exactly as in [Geo96]” or “as in [BK22],” but no complete argument is provided for all N. Because this presentation is used for all sl_{2n} and the cited literature proves the full statement only for small ranks, the appendix needs a complete proof or a precise reference with a proof.","section":"Appendix B, Proposition B.2.1 and Theorem B.0.1"},{"comment":"The proof for k>1 that L_k(sl_N) is a vertex subalgebra of L_k(sl_{1|N}) appears incomplete. The argument embeds L_k(sl_N) into L_1(sl_{1|N})^{⊗k}, but it does not show that the composed map into the simple quotient L_k(sl_{1|N}) is injective. This injectivity is used when identifying the E-weight-zero subspace of I_p with the defining ideal of the principal subspace of L_k(sl_{2n}) and in Corollary 4.1.5, so it must be justified explicitly.","section":"§4.1, Lemma 4.1.4"}],"minor_comments":[{"comment":"The q-Pochhammer symbol (q)_m is used without definition; it should be defined explicitly for the reader.","section":"Introduction, Eq. (1.1)"},{"comment":"The phrase “For all positive integer integers” contains a typo and should read “For all positive integers.”","section":"Appendix B, Theorem B.0.1"},{"comment":"The sentence “we must verify that Uar → 0 is proportional to x” is confusing; presumably it means that the matrix entries Uar must be proportional to x in the limit ε → 0, and this should be stated more clearly.","section":"§2.3, proof of Lemma 2.3.2"},{"comment":"The notation H(L_k(p)) is used for the homology of the principal subspace without first defining H for vertex algebras; a brief definition or reference would improve readability.","section":"§4.2, Corollary 4.2.2"}],"recommendation":"major_revision","confidential_remarks":"The deformation step in Theorem 4.2.1 is the real bottleneck, and the current manuscript does not supply the needed argument. The gap appears fillable, but the paper should not be accepted until that step and the Appendix B presentation are fully proved. The authors should also re-check Lemma 4.1.4 for k>1, since the tensor-product argument only gives an embedding into the diagonal image, not into the simple quotient."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper proves the Warnaar–Zudilin conjecture for all positive n,k by identifying the supercharacter of L_k(osp_{1|2n}) with the character of the principal subspace of L_k(sl_{2n}). That is a real result: it extends Stoyanovsky's deformation method to the osp case, resolves a conjecture that has been open since 2012, and fills a gap in the literature on principal subspace characters. The Duflo–Serganova reduction is a nice tool, and the q-series identity is a satisfying payoff. The uniform presentation for type A principal subspaces in Appendix B is also useful, even if only sketched.\n\nThe soft spots are genuine. The most serious is in Theorem 4.2.1, where the proof asserts that the deformed currents e_{i,ε}(z)^{k+1} = (e_i(z) − ε² f_{i+1}(z))^{k+1} lie in the maximal ideal of L_k(sl_{2n}), citing only \"the fact that e_{i,ε} is nilpotent.\" That does not follow in general. Nilpotence of the horizontal element does not force the normally ordered power of its current to vanish in an affine VOA; sums like e_i − f_{i+1} produce mixed normally ordered terms that are not automatically zero (they are already nonzero in simple examples at level 1). This step is load-bearing, because Corollary 3.2.2 needs every E-weight-zero generator of the ideal I_p to deform to I_ε. If the claim fails for some i, the equality of supercharacters does not follow from the written argument. The gap may be fillable, but the paper doesn't supply the argument.\n\nThe second soft spot is Appendix B: the presentation of the principal subspace of L_k(sl_{N+1}) is essential, and its proof is a sketch, relying on Georgiev and Butorac–Kožić. That is probably acceptable for the intended readership, but it should be either expanded or explicitly deferred to a reference.\n\nOverall, the main idea is good and the result is likely true. The paper deserves a serious referee, but as it stands the central proof is incomplete. I'd send it to review and ask for a rigorous treatment of the deformation step before accepting.","headline":"Elegant deformation argument that likely proves the Warnaar–Zudilin conjecture for all n,k, but the central proof has an unverified step that needs to be filled before the theorem is fully established.","tokens_in":18095,"tokens_out":11051,"would_cite":false,"duration_ms":114992,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B69","17B67","11P84"],"pacs":[],"model":"deepseek-v4-flash","headline":"Deforming a Lie superalgebra into a nilpotent subalgebra proves the Warnaar–Zudilin q-series identities for all positive n and k.","keywords":["Warnaar-Zudilin conjecture","q-series identities","vertex operator superalgebras","principal subspace","osp(1|2n)","Lie superalgebra deformations","Duflo-Serganova reduction","Rogers-Ramanujan identities"],"falsifier":"Compute, for $n=2$ and $k=2$ or $k=3$, the operator $(e_i - \\epsilon^2 f_{i+1})^{k+1}$ acting on the simple vacuum module $L_k(\\mathfrak{sl}_{2n})$ for each $i = 2,\\dots,2n-1$ and generic $\\epsilon$; if any of these operators is nonzero on the quotient, the deformation step in the proof of Theorem 4.2.1 collapses. A complementary check is to compare the first several dozen $q$-coefficients of the two sides of (4.1) for $n=2$, $k=3$, where the left side is an alternating sum and the right side a manifestly positive series.","tokens_in":17019,"feed_emoji":"🧮","tokens_out":11161,"duration_ms":94238,"temperature":0.7,"pith_summary":"This paper proves a family of q-series identities conjectured by Warnaar and Zudilin, which generalize the Rogers–Ramanujan and Andrews–Gordon identities. The proof identifies the supercharacter of the simple affine vertex superalgebra $L_k(\\mathfrak{osp}_{1|2n})$ with the character of the principal subspace of $L_k(\\mathfrak{sl}_{2n})$, and with the supercharacter of the principal subspace of $L_k(\\mathfrak{sl}_{1|2n+1})$. The bridge is a one-parameter deformation of $\\mathfrak{osp}_{1|2n}$ into the principal nilpotent subalgebra of $\\mathfrak{sl}_{1|2n+1}$, combined with a Duflo–Serganova cohomological reduction that keeps the supercharacter constant. This settles the Warnaar–Zudilin conjecture for all positive integers $n$ and $k$ and fills a gap left by Stoyanovsky's earlier deformation argument for the symplectic family.","feed_headline":"Superalgebra deformation settles Warnaar–Zudilin q-series conjecture","feed_subtitle":"A 2012 conjecture by Warnaar and Zudilin is now a theorem, for all n and k.","key_machinery":"The load-bearing mechanism is a one-parameter family $\\mathfrak{k}_\\epsilon$ of subalgebras of $\\mathfrak{sl}_{1|2n+1}[x]$ that equals $\\mathfrak{osp}_{1|2n}$ for $\\epsilon \\neq 0$ and collapses to the principal nilpotent subalgebra $\\mathfrak{p}$, the subalgebra generated by the positive-root vectors, at $\\epsilon = 0$. To this the paper attaches the Duflo–Serganova reduction with respect to an embedded $\\mathfrak{gl}_{1|1}$: a module in the relevant category has the same supercharacter as its $E$-weight-zero subspace, because every nontrivial $E$-weight block has superdimension zero. Applied to the principal subspace of $L_k(\\mathfrak{sl}_{1|2n+1})$, this reduction gives that its homology is the principal subspace of $L_k(\\mathfrak{sl}_{2n})$. The proof also relies on the presentation of that principal subspace by the fields $e_i(z)^{k+1}$, established in Appendix B via quasiparticle bases following Feigin–Stoyanovsky, Georgiev, and Butorac–Kožić.","core_discovery":"The paper's central claim is Theorem 4.2.1: the supercharacter of $L_k(\\mathfrak{osp}_{1|2n})$ equals the supercharacter of the principal subspace of $L_k(\\mathfrak{sl}_{1|2n+1})$ and equals the character of the principal subspace of $L_k(\\mathfrak{sl}_{2n})$. Corollary 4.2.3 then equates the two sides of the conjectured q-series identity (1.1) for every positive $n$ and $k$. The proof builds a family of affine Lie superalgebras $\\hat{\\mathfrak{k}}_\\epsilon$ whose $\\epsilon = 0$ limit is the principal subalgebra of $\\mathfrak{sl}_{1|2n+1}$ and whose $\\epsilon \\neq 0$ members are isomorphic to $\\widehat{\\mathfrak{osp}}_{1|2n}$; a $\\mathfrak{gl}_{1|1}$-cohomology (Duflo–Serganova) reduction shows the supercharacter does not change in the limit. The critical internal step is showing that the ideal defining the principal subspace of $L_k(\\mathfrak{sl}_{2n})$, generated by the modes of $e_i(z)^{k+1}$, deforms to the ideal $I_\\epsilon$ for the deformed algebra.","pith_inferences":["Going beyond the paper, the same deformation-and-reduction template may produce q-series identities from any embedding of a simple Lie superalgebra into the principal nilpotent subalgebra of another superalgebra; the examples here suggest osp-type targets paired with sl-type principal subspaces.","The paper proves equality of supercharacters; a natural strengthening, not shown here, would be an isomorphism of graded vertex-algebra structures between the Duflo–Serganova reduction and the principal subspace, which would make the equality categorical rather than numerical.","Since the left side of (1.1) is alternating and the right side is manifestly positive, the identity implies a hidden sign-cancellation in the Weyl-type sum; extracting this cancellation combinatorially might yield new bijective proofs of the associated partition identities."],"forward_implications":["The Warnaar–Zudilin conjecture (1.1) holds for all positive integers $n$ and $k$, extending the previously known $k=1$ case.","For every $N$ and $k$, the vacuum character of the principal subspace of $L_k(\\mathfrak{sl}_N)$ is now identified with the (super)character of a simple affine vertex (super)algebra: $L_k(\\mathfrak{sp}_{2n})$ when $N=2n+1$ and $L_k(\\mathfrak{osp}_{1|2n})$ when $N=2n$.","The principal subspace of $L_k(\\mathfrak{sl}_{1|2n+1})$ has the same supercharacter as $L_k(\\mathfrak{osp}_{1|2n})$, and its Duflo–Serganova homology is exactly the principal subspace of $L_k(\\mathfrak{sl}_{2n})$.","Together with Theorem 1.2 of Bringmann–Calinescu–Folsom–Kimpoet, this result proves part of their Conjecture 4.1 on modularity of the right-hand side of (1.1) for $N$ even and $\\ell = k$."],"supporting_citations":[{"why":"Conjecture 1.1 and Theorem 1.2: the k=1 case and the q-series identity target that the paper generalizes to all k.","marker":"[WZ12]"},{"why":"Stated the principal-subspace character conjecture and identified the ideal generators e_i(z)^{k+1}.","marker":"[SF94]"},{"why":"Proved the quasiparticle basis and character formula for principal subspaces of sl_N, giving the sl_{2n} side of the identity.","marker":"[Geo96]"},{"why":"Introduced the deformation of sp_{2n} into the nilpotent subalgebra of sl_{2n+1} and the nilpotency argument the present proof adapts to osp_{1|2n}.","marker":"[Sto98]"},{"why":"Gave the principal-subspace presentation for types D, E, F that Appendix B adapts to all sl_{N+1}.","marker":"[BK22]"},{"why":"Used to identify the simple quotient L_k(k_epsilon) with L_k(osp_{1|2n}) for nonzero deformation parameter.","marker":"[GS22]"},{"why":"Used to embed L_k(sl_N) into L_k(sl_{1|N}), identifying the E-weight-zero subspace of the principal subspace with the sl_{2n} principal subspace.","marker":"[CKLR19]"}],"fun_headline_variants":["Deformed superalgebras prove Warnaar–Zudilin conjecture","Warnaar–Zudilin conjecture now a theorem","New proof settles Warnaar–Zudilin q-identities","Superalgebra deformation resolves Warnaar–Zudilin"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof depends on the assertion, borrowed from an earlier paper rather than verified in detail here, that the deformed versions of the operators that define the sl(2n) principal subspace still annihilate the vacuum for every nonzero deformation parameter; if this fails for even one root, the equality of supercharacters breaks.","fun_headline_variants_meta":{"raw":{"variants":["Deformed superalgebras prove Warnaar–Zudilin conjecture","Warnaar–Zudilin conjecture now a theorem","New proof settles Warnaar–Zudilin q-identities","Superalgebra deformation resolves Warnaar–Zudilin"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000528,"raw_usage":{"total_tokens":2556,"prompt_tokens":963,"completion_tokens":1593,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":579,"completion_tokens_details":{"reasoning_tokens":1520}},"tokens_in":579,"tokens_out":1593,"duration_ms":10574,"temperature":1.0,"reasoning_tokens":1520,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T18:10:12.827492+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute, for $n=2$ and $k=2$ or $k=3$, the operator $(e_i - \\epsilon^2 f_{i+1})^{k+1}$ acting on the simple vacuum module $L_k(\\mathfrak{sl}_{2n})$ for each $i = 2,\\dots,2n-1$ and generic $\\epsilon$; if any of these operators is nonzero on the quotient, the deformation step in the proof of Theorem 4.2.1 collapses. A complementary check is to compare the first several dozen $q$-coefficients of the two sides of (4.1) for $n=2$, $k=3$, where the left side is an alternating sum and the right side a manifestly positive series.","supporting_citations":[],"review_version":1}