{"id":"cf07de4e-dd4b-4eec-9ff4-75dd82c51c8c","arxiv_id":"2502.02841","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Molev's double supersymmetric Schur functions arise from a deformed boson-fermion correspondence whose algebraic proof works over formal Laurent series when the beta parameters are set to zero.","lead":"This companion paper removes analytic convergence assumptions from a deformed boson-fermion correspondence, proving it algebraically over formal Laurent series when one parameter family is set to zero. It recovers factorial Schur functions and realizes the bosonic side through a completion of the infinite rank general linear Lie algebra.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No load-bearing flaw found in the algebraic core: the deferred cases in Prop. 2.8 and Lemma 2.9 check out, leaving only the usual companion-paper dependency on [3].","rationale":"The reader and I identify the same fragile point: Proposition 2.8 is the engine behind both the Heisenberg relation (Theorem 3.5) and the vacuum expectation (Theorem 5.1). The reader treated it as a conditional concern because parts of the cancellation proof are deferred. My independent check of those deferred cases shows they are valid, so the algebraic core of the paper appears sound. I also checked the surrounding reductions: Proposition 3.6 does reduce to Proposition 2.8 (with a harmless typo calling it Lemma 2.8), Theorem 5.1 does reduce to Corollary 2.12, and the finiteness of the action on Fock vectors follows from the bounded-move structure of the deformed currents. The paper has real independent support: direct combinatorial proofs of Propositions 2.8 and 2.11, explicit matrix product computations in Lemmas 3.2 and 3.3, and worked examples in Sections 5--7. The one issue that keeps me from clearing the conditional verdict is the explicit statement that Theorem 1.1 and Theorem 1.2 are not proved in this text but copied verbatim from the companion preprint [3]. That is a legitimate provenance gap for a standalone paper, even though the new algebraic inputs appear correct. Therefore I keep the reader's CONDITIONAL verdict unchanged rather than upgrading to ACCEPT or downgrading to REJECT.","tokens_in":26139,"tokens_out":44301,"duration_ms":389431,"concrete_test":"Run a symbolic computation of the left-hand side of Proposition 2.8 for k = 3, l = 5 and k = 4, l = 7 with generic commuting parameters alpha_0, ..., alpha_l (e.g., in SageMath); if the result is not 0, then Proposition 3.6 and hence Theorem 3.5 fail. As a complementary check, expand Lemma 2.9(iii),(iv) and verify directly that the operations LC and LD stay inside the relevant Omega sets.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing premise is Proposition 2.8, since Proposition 3.6 reduces the Heisenberg bracket computation to exactly that identity, and Theorem 5.1 reduces the vacuum expectation to Corollary 2.12, which is derived from it. The reader flagged the k = l case of Prop. 2.8 and Lemma 2.9(iii),(iv) as deferred edge cases. I checked these: for k = l, the sum has exactly k terms, each equal to 1, so the right-hand side k is correct. For Lemma 2.9(iii), non-exceptionality in the second Omega_C forces c_last > i, so moving c_last to D keeps the new D element strictly inside (i, j+1); the target (i, j+1) lies in T because non-exceptionality gives |C| > 0, i.e., i > j - l. For Lemma 2.9(iv), if (C,D) is in the second Omega_D and j > 1, then D is nonempty, so j - i - k > 0, giving i <= j - k - 1; hence (i, j-1) satisfies the upper bound in T. The involution eta is sign-reversing because each of the four moves changes j - i - k by exactly 1, and the inverse move lands in the complementary decomposition class, so eta has order 2. Thus the deferred cases hold. The only genuine remaining concern is that Theorem 1.1 is quoted verbatim from the companion preprint [3] rather than proved in this text; this paper supplies the algebraic replacement for two key inputs, but the full statement still depends on the framework of [3].","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript provides purely algebraic proofs, in the β=0 specialization, of results from the companion paper [3] on a deformed boson-fermion correspondence. The main new ingredients are two symmetric-function identities (Propositions 2.8 and 2.11, with Corollary 2.12), the computation of the product and commutator of the deformed current operators in the completed matrix algebra a+∞ and its central extension (Propositions 3.1, 3.6, and Theorem 3.5), and the formal vacuum expectation of the deformed fermion fields (Theorem 5.1). These computations replace the analytic arguments of [3] and, through the framework of [3], lead to the identification of the image of |λ⟩ with Molev's double supersymmetric Schur functions. The paper also contains a new proof of the ω involution on double supersymmetric functions and a detailed comparison of raising-operator and Pieri-rule formulas.","tokens_in":26551,"tokens_out":20739,"duration_ms":159669,"significance":"If correct, the paper is a valuable contribution: it removes analytic convergence assumptions in the β=0 case, gives a transparent algebraic mechanism via a completion of gl∞, and provides explicit finite-sum identities that can be checked directly. The central computations are direct cancellation proofs rather than citations to prior results, and the reduction of the main correspondence to the two key results (Theorem 3.5 and Theorem 5.1) is clearly laid out. The main limitation is that the full deformed boson-fermion correspondence (Theorem 1.1) is inherited from the companion preprint [3]; the present paper supplies the algebraic engine but does not itself prove the correspondence. This is a scope issue rather than a correctness issue, and it is acknowledged by the authors.","major_comments":[{"comment":"The abstract and introduction state that the paper gives an algebraic proof of the deformed boson-fermion Fock space construction, but Theorem 1.1 is quoted verbatim from [3, Thm. 5.1] and is not proved here. The paper's original contribution is the algebraic proof of Propositions 3.6 and Theorem 5.1, which are the key inputs; the full correspondence still relies on the framework of [3]. Please adjust the abstract and introduction to make this dependence explicit, for example by saying that the paper supplies algebraic proofs of the key inputs needed for the correspondence in [3].","section":"Section 1, Theorem 1.1"},{"comment":"The symbol L_C is used for two different operations in the same proof: one removes c_1 from C and places it at the beginning of D, and the other removes c_{i-j+ℓ} from the end of C and places it at the end of D. The same overloading occurs for L_D. In the definition of η, the reader must guess which of the two operations is used in the branches min(C,D)≤0 and min(C,D)>0. Please use distinct names (e.g., L_C^l and L_C^r) and state explicitly which one is used in each branch.","section":"Section 2.2, proof of Proposition 2.8"},{"comment":"Parts (iii) and (iv) of Lemma 2.9 are left to the reader. Because this lemma is load-bearing for the cancellation argument in Proposition 2.8, these two cases should be spelled out, or at least a one-sentence verification of the target-interval membership and non-exceptionality should be included. I verified both cases and they are correct, so this is a completeness request rather than a correction.","section":"Section 2.2, Lemma 2.9"}],"minor_comments":[{"comment":"In the last sentence of the proof, 'the summation in Lemma 2.8' should read 'Proposition 2.8'.","section":"Section 3.3, proof of Proposition 3.6"},{"comment":"The infinite sum in equation (1b) is a formal power series; it would help to note explicitly that for m=0 the product is empty and that the series is finite in each degree.","section":"Section 2.1, equation (1b)"},{"comment":"In the coefficient of s_{(8,4,1)}, the expression 'α^2_3 + α_2α_3 + α^2_3' appears; the first α^2_3 should presumably be α_2^2. Please check and correct this typo.","section":"Example 5.4"},{"comment":"The statement of Theorem 3.5 says 'As elements of a+∞' but the Heisenberg bracket is only defined after the central extension is introduced later in Section 3.3. Consider moving the theorem after the definition of the central extension or clarifying the notation for the centrally extended algebra.","section":"Section 3.3, Theorem 3.5"},{"comment":"The two decompositions Ω(i,j)=Ω_C⊔Ω_D are both introduced with the same names; consider using different letters (for example Ω_C^l/Ω_D^l and Ω_C^r/Ω_D^r) to align with the two pairs of operations and to reduce confusion.","section":"Section 2.2, proof of Proposition 2.8"}],"recommendation":"minor_revision","confidential_remarks":"The paper is explicitly a companion to arXiv:2410.06582 and relies on it for the statements of Theorems 1.1 and 1.2. The editor may wish to confirm that the companion paper is publicly available and that the attribution of the correspondence theorem is clear. The main novel contributions of the present paper are the algebraic proofs of the two key computations; those appear sound. There is no indication of duplicate publication beyond the normal companion-paper relationship."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe short version: this is a solid algebraic companion to the authors' earlier analytic paper [3]. The suspected gaps in the cancellation proofs check out, so the core is credible; the only real caveat is that the headline theorems are still imported from the companion preprint.\n\nWhat's actually new is a cluster of genuinely useful algebraic substitutions for analytic machinery. Proposition 2.8 and 2.11 are direct cancellation proofs, and Proposition 3.6 reduces the Heisenberg bracket computation to Prop 2.8. Theorem 5.1 computes the vacuum expectation using Corollary 2.12, giving the deformed z/(z-w) without contour arguments. The introduction of the a+_infinity completion with a central extension is a clean way to make the gl_infinity action formal, and the new proofs of the omega involution (Prop 4.6) and the Pieri identities (Section 7) are worth having. The paper is also honest: it says outright that Theorems 1.1 and 1.2 are quoted from [3], and it does not pretend to prove the full correspondence.\n\nThe soft spots are real but not fatal. The paper defers the k=l case of Prop 2.8 and cases (iii),(iv) of Lemma 2.9 to the reader. That is a genuine omission in a load-bearing part of the proof, though these cases do check out: for k=l the sum collapses to k, and the involution cases work as claimed. The bigger issue is structural: this paper is a companion, not a standalone proof of the correspondence. If you want the full statement of the deformed boson-fermion correspondence, you need [3] as well. That is a normal arrangement for this subfield, but it means the paper's value is conditional on the companion being published or accepted.\n\nThere is also a minor caveat in Section 7: the authors note they cannot show Graham positivity, and their compression claim is carefully worded. That is a fair limitation, not a flaw.\n\nOverall, the mathematical core holds up, the new algebraic framework is a real advance for beta=0, and the paper deserves a serious referee. I would recommend sending it to review, with the expectation that the authors either include the deferred case verifications or point to them explicitly. It is not a desk reject.","headline":"Solid algebraic companion; the suspected gaps in the cancellation proofs check out, so the core is sound—main caveat is the borrowed headline theorems.","tokens_in":27045,"tokens_out":2237,"would_cite":true,"duration_ms":19100,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["05E05","17B65","17B69"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper gives an algebraic proof, with no analytic convergence assumptions, that the deformed current operators satisfy Heisenberg relations, establishing a deformed boson-fermion correspondence whose Fock vector |λ⟩ maps to Molev's…","keywords":["factorial Schur functions","double supersymmetric Schur functions","boson-fermion correspondence","Heisenberg algebra","Fock space","shifted powers","central extension","Murnaghan-Nakayama rule"],"falsifier":"For α_i = i (a sequence with no convergence conditions needed), expand the vacuum expectation in Theorem 5.1 through the coefficient of $z^{{-2}}$$w^{2}$; the identity z/(z−w) predicts every coefficient is 1, so any deviation would falsify the deformed correspondence.","tokens_in":25931,"feed_emoji":"","tokens_out":7735,"duration_ms":68116,"temperature":0.7,"pith_summary":"This paper proves an algebraic version of the deformed boson-fermion correspondence: for a one-parameter deformation (β=0) of the classical Fock-space construction, the deformed current operators satisfy the Heisenberg commutation relations and the deformed vertex operators have the expected vacuum expectation, with no analytic or convergence assumptions on the parameters α. The proof replaces analytic contour-integral arguments with identities in Laurent series rings over Z[α]. As a consequence, the fermionic basis vector |λ⟩ is mapped to Molev's double supersymmetric Schur function of shape λ, recovering factorial Schur functions by specialization. This makes all the results of the companion paper unconditional in the β=0 case and realizes the bosonic side through a representation of a completion of gl∞.","feed_headline":"Deformed Fock space yields Schur functions for all parameters","feed_subtitle":"An algebraic proof removes analytic convergence assumptions from the deformed boson-fermion correspondence.","key_machinery":"The central objects are the deformed current operators J_k^(α) = Σ_{i,j} A^k_{ij} E_{ij}, whose matrix coefficients are given by elementary and homogeneous symmetric functions in the α parameters, or equivalently by the contour integral ∮ $z^{{k−1}}$($z^{{-1}}$|σ^i α)^{j−i−1} dz/(2πiz). In the algebra a+_∞ of matrices with finitely many nonzero diagonals above the main diagonal, these operators multiply as J_k J_ℓ = J_{k+ℓ} (Proposition 3.1), proved via Lemma 3.2 and the inverse relation Lemma 3.3. Adding the standard cocycle φ yields the central extension in which the Heisenberg bracket [J_k, J_ℓ] = k δ_{k,−ℓ}·1 holds (Theorem 3.5). The second engine is the family of shifted powers ($z^{{-1}}$|α)_k, a triangular basis of Z[α]((z)); the cancellation identities Proposition 2.8 and Corollary 2.12, proved by sign-reversing involutions, convert the bracket and the vacuum expectation computations into finite cancellations.","core_discovery":"Taken as a whole, the paper establishes that the deformed Fock-space construction of Molev's double supersymmetric Schur functions is genuinely algebraic: when one set of deformation parameters is set to zero, Theorem 3.5 shows that the deformed current operators J_k^(α) generate a Heisenberg Lie algebra in a central extension of the algebra a+_∞ of near-upper-triangular matrices, and Theorem 5.1 shows the formal vacuum expectation ⟨∅|ψ(z|α)ψ*(w|α)|∅⟩ equals z/(z−w). From these two computations the deformed boson-fermion correspondence follows: the image of |λ⟩ under the correspondence is Molev's double supersymmetric Schur function with the α parameters reindexed by i↦1−i, and the dual image is the dual Schur function. The key point is that these computations are performed over the coefficient ring Z[α] using shifted-power bases of Laurent series, so no analytic conditions such as sup_i |α_i| < ∞ are needed.","pith_inferences":["If the same proof technique were combined with the α=0 dual construction, the two-parameter deformation of the companion paper might be recovered algebraically without analytic conditions, restoring the symmetry between α and β that the β=0 specialization conceals.","The deformed difference operators Σ^(α) appearing here resemble operators used in refined dual Grothendieck polynomials; connecting the two constructions could yield a K-theoretic or Grothendieck-polynomial interpretation of the Heisenberg action.","Because the Pieri coefficients are compressed sums with no monomial cancellations, a further sign-reversing or weight-preserving involution might prove Graham positivity in the straight-shape case, a result the paper does not establish."],"forward_implications":["The deformed boson-fermion correspondence holds over Z[α] with no convergence conditions, so every β=0 result of the companion paper [3] becomes unconditional.","The basis vector |λ⟩ maps to Molev's double supersymmetric Schur function with parameters reindexed by α_i ↦ α_{1−i}; specializing to finitely many variables and shifting parameters recovers factorial Schur functions.","The deformed half vertex operators match row transfer matrices of solvable five-vertex lattice models.","Products of double Schur functions—including the Murnaghan–Nakayama rule—are finite sums when β=0, and the straight-shape Pieri rule has no monomial cancellations."],"supporting_citations":[{"why":"Companion paper defining the deformed Fock-space construction and stating the results that this paper makes algebraic in the β=0 case; Theorem 1.1 is completed by its statements.","marker":"[3]"},{"why":"Introduces factorial supersymmetric Schur functions, the objects that the correspondence maps Fock vectors to.","marker":"[15]"},{"why":"Defines double Schur functions via Jacobi–Trudi determinants and generating series, including the A-tableau formula used in sections 4 and 7.","marker":"[16]"},{"why":"Provides the central extension and cocycle formalism for gl∞ that the deformed current operators are placed in.","marker":"[11]"},{"why":"Supplies the semi-infinite wedge Fock space and the near-upper-triangular completion a+_∞ used for the bosonic realization.","marker":"[9]"}],"fun_headline_variants":["Algebraic proof of deformed Fock space for Schur functions","No analytic assumptions in boson-fermion correspondence","Deformed Fock space construction made fully algebraic","Factorial Schur functions via algebraic Fock space","Algebraic proof removes convergence conditions on Schur functions"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The cancellation identities in Proposition 2.8 and Corollary 2.12, whose proofs leave a couple of edge cases to the reader, must hold for every α; if any specialization produces a nonzero leftover term, the Heisenberg bracket and vacuum expectation collapse.","fun_headline_variants_meta":{"raw":{"variants":["Algebraic proof of deformed Fock space for Schur functions","No analytic assumptions in boson-fermion correspondence","Deformed Fock space construction made fully algebraic","Factorial Schur functions via algebraic Fock space","Algebraic proof removes convergence conditions on Schur functions"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000726,"raw_usage":{"total_tokens":3193,"prompt_tokens":824,"completion_tokens":2369,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":440,"completion_tokens_details":{"reasoning_tokens":2292}},"tokens_in":440,"tokens_out":2369,"duration_ms":16818,"temperature":1.0,"reasoning_tokens":2292,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-09T10:55:28.421758+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For α_i = i (a sequence with no convergence conditions needed), expand the vacuum expectation in Theorem 5.1 through the coefficient of $z^{{-2}}$$w^{2}$; the identity z/(z−w) predicts every coefficient is 1, so any deviation would falsify the deformed correspondence.","supporting_citations":[{"cited_title":"Factorial Fock free fermions","cited_arxiv_id":"2410.06582","evidence_quote":"Companion paper defining the deformed Fock-space construction and stating the results that this paper makes algebraic in the β=0 case; Theorem 1.1 is completed by its statements."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces factorial supersymmetric Schur functions, the objects that the correspondence maps Fock vectors to."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines double Schur functions via Jacobi–Trudi determinants and generating series, including the A-tableau formula used in sections 4 and 7."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the central extension and cocycle formalism for gl∞ that the deformed current operators are placed in."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the semi-infinite wedge Fock space and the near-upper-triangular completion a+_∞ used for the bosonic realization."}],"review_version":1}