REVIEW 3 major objections 5 minor 19 references
On the Boson-Fermion Correspondence for Factorial Schur Functions
T0 review · 3 major / 5 minor · reviewed 2026-08-09 · deepseek-v4-flash
Pith's one-line read 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…
desk verdict Solid algebraic companion; the suspected gaps in the cancellation proofs check out, so the core is sound—main caveat is the borrowed headline theorems. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
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.
What would settle it
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.
Extended reading notes
Core claim
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.
Load-bearing premise
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.
Editorial extensions
If this is right
- 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.
Reading between the lines
- 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.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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.
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 (3)
- [Section 1, Theorem 1.1] 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 2.2, proof of Proposition 2.8] 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 2.2, Lemma 2.9] 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.
minor comments (5)
- [Section 3.3, proof of Proposition 3.6] In the last sentence of the proof, 'the summation in Lemma 2.8' should read 'Proposition 2.8'.
- [Section 2.1, equation (1b)] 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.
- [Example 5.4] 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 3.3, Theorem 3.5] 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 2.2, proof of Proposition 2.8] 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.
Circularity Check
No circular derivation found; core identities are proved directly, with a transparent companion-paper dependency for the headline theorem.
full rationale
The paper's algebraic core is self-contained rather than circular. Proposition 2.8 and Proposition 2.11 are proved by direct sign-reversing involutions; the deferred edge cases (k = l in Prop. 2.8, and Lemma 2.9(iii),(iv)) are routine and do not import the target result. Proposition 3.1 is proved from Lemmas 3.2 and 3.3, and Lemma 3.3 reduces to Proposition 2.11. Proposition 3.6 reduces the cocycle evaluation to Proposition 2.8, and Theorem 3.5 follows from Proposition 3.1 together with the central-extension relation (16). Theorem 5.1 reduces the vacuum expectation to Corollary 2.12, which is derived from the change-of-basis Proposition 2.3. None of these steps renames an input as a prediction, and no fitted parameter is relabeled as an output. The only externally loaded statement is Theorem 1.1 (and Theorem 1.2), which the paper explicitly does not reprove: "Other than the proofs of Theorem 1.1 and Theorem 1.2 (which would be copied verbatim), this paper is written to be self-contained." That is a transparent dependency on the same authors' companion preprint [3], and the paper instead supplies algebraic proofs of the key ingredients that [3] needed. This is self-citation but not circularity: the companion paper is cited as prior work, and the present derivations do not reduce to it by construction. Accordingly, the circularity score is low, reflecting only the self-citation dependence for the headline statement.
Assumptions & free parameters
assumptions (5)
- domain assumption The shifted-power basis {(z^{-1}|alpha)_k | k in Z} spans Z[alpha]((z)) by triangularity, and coefficient extraction via formal contour integrals is valid.
- ad hoc to paper The finite-band completion a+_infinity of near upper triangular matrices is an associative C[alpha]-algebra and supports the cocycle phi and central extension.
- standard math The semi-infinite wedge Fock space F, the Clifford generators psi_i and psi*_j with canonical anticommutation relations, and the projective representation rhat exist as described.
- domain assumption Molev's generating series (18) for double homogeneous and elementary supersymmetric functions hold as formal power series over Z[alpha].
- domain assumption Beta is specialized to zero; all algebraic results are for the beta=0 case only.
invented entities (1)
-
a+_infinity and a-_infinity: completions of near upper and lower triangular infinite matrices, with central extensions
Cite this review
Pith. "Pith review of On the Boson-Fermion Correspondence for Factorial Schur Functions." pith.science (2026). https://pith.science/paper/X66C4VNH
@misc{pith2026250202841,
author = {Pith},
title = {Pith review of: On the Boson-Fermion Correspondence for Factorial Schur Functions},
year = {2026},
howpublished = {\url{https://pith.science/paper/X66C4VNH}},
note = {Machine review of arXiv:2502.02841}
}
read the original abstract
We give an algebraic (non-analytic) proof of the deformed boson-fermion Fock space construction of Molev's double supersymmetric Schur functions, among other results, from our previous paper. In other words, we make no assumptions on the variables and parameters. By specializing to a finite number of variables and shifting parameters, we recover the factorial Schur functions. Furthermore, we realize the bosonic construction through a representation of a completion of the infinite rank general linear Lie algebra.
Reference graph
Works this paper leans on
-
[3]
D. Bump, A. Hardt, and T. Scrimshaw. Factorial Fock free ferm ions. Preprint, arXiv:2410.06582, 2024
work page Pith review arXiv 2024
- [1]
-
[2]
T. H. Baker. Vertex operator realization of symplectic and orth ogonal S-functions. J. Phys. A , 29(12):3099–3117, 1996
work page 1996
-
[4]
E. Date, M. Jimbo, M. Kashiwara, and T. Miwa. Transformation gr oups for soliton equations. III. Operator approach to the Kadomtsev–Petviashvili equation. J. Phys. Soc. Japan , 50(11):3806–3812, 1981
work page 1981
-
[5]
T. S. Developers. Sage Mathematics Software (Version 10.4) . The Sage Development Team, 2024. https://www.sagemath.org
work page 2024
-
[6]
A. Fun. Raising operators and the Littlewood–Richardson polyno mials. Preprint, arXiv:1203.4729, 2012
work page Pith review arXiv 2012
- [7]
-
[8]
S. Iwao, K. Motegi, and T. Scrimshaw. Free fermions and canonic al Grothendieck polynomials. Algebraic Combin., 7(1):245–274, 2024
work page 2024
Show all 19 references
-
[9]
V. G. Kac. Infinite-dimensional Lie algebras . Cambridge University Press, Cambridge, third edition, 1990
1990
-
[10]
V. G. Kac and D. H. Peterson. Spin and wedge representations of infinite-dimensional Lie algebras and groups. Proc. Nat. Acad. Sci. U.S.A. , 78(6, part 1):3308–3312, 1981
1981
-
[11]
V. G. Kac, A. K. Raina, and N. Rozhkovskaya. Bombay lectures on highest weight representations of infinite dimensional Lie algebras , volume 29 of Advanced Series in Mathematical Physics . World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, second edition, 2013. 26 DANIEL...
2013
-
[12]
I. G. Macdonald. Schur functions: theme and variations. In S´ eminaire Lotharingien de Combinatoire (Saint-Nabor, 1992) , volume 498 of Publ. Inst. Rech. Math. Av. , pages 5–39. Univ. Louis Pasteur, Strasbourg, 1992
1992
-
[13]
I. G. Macdonald. Symmetric functions and Hall polynomials . Oxford Classic Texts in the Physical Sci- ences. The Clarendon Press, Oxford University Press, New York, second edition, 2015. With contribution by A. V. Zelevinsky and a foreword by Richard Stanley
2015
-
[14]
Miyaura and A
R. Miyaura and A. Mukaihira. Generalized factorial Schur funct ions, biorthogonal rational functions and the R II chain. J. Phys. A , 44(39):395202, 17, 2011
2011
-
[15]
A. Molev. Factorial supersymmetric Schur functions and supe r Capelli identities. In Kirillov’s seminar on representation theory , volume 181 of Amer. Math. Soc. Transl. Ser. 2 , pages 109–137. Amer. Math. Soc., Providence, RI, 1998
1998
-
[16]
A. I. Molev. Comultiplication rules for the double Schur functions and Cauchy identities. Electron. J. Comb., 16(1), 2009
2009
-
[17]
A. I. Molev. Littlewood-Richardson polynomials. J. Algebra, 321(11):3450–3468, 2009
2009
-
[18]
Motegi and T
K. Motegi and T. Scrimshaw. Refined dual Grothendieck polyno mials, integrability, and the Schur measure. Preprint, arXiv:2012.15011, 2020
2012 arXiv
-
[19]
R. P. Stanley. Enumerative combinatorics. Vol. 2 , volume 62 of Cambridge Studies in Advanced Math- ematics. Cambridge University Press, Cambridge, 1999. With a foreword by Gian-Carlo Rota and appendix 1 by Sergey Fomin. (D. Bump) Department of Mathematics, Stanford University...
1999
Reviewed August 9, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.