REVIEW 3 major objections 5 minor 36 references
Super-Hamiltonians for super-Macdonald polynomials
T0 review · 3 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read Four explicit super-Hamiltonians, with conjectural vertex-operator formulas checked up to order 25/2, make super-Macdonald polynomials their eigenfunctions.
desk verdict A neat, clearly written conjectural construction of super-Hamiltonians for super-Macdonald polynomials, but the central eigenfunction claim rests on a finite check that is partly fitted to the target eigenvalues, so it is a plausible conjecture rather than an established result. 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 operative machinery is the 'sum over boxes' principle combined with vertex-operator building blocks. The Hamiltonians are contour integrals of two exponentials: one in the bosonic times $p_k$ and Grassmann times $\theta_k$, the other in the derivatives $\partial/\partial p_k$ and $\partial/\partial\theta_k$. Auxiliary fermionic oscillators $\psi,\psi^\dagger$ for the first pair, and an invertible boson $s$ with a fermionic pair $\nu,\nu^\dagger$ for the second pair, project the vertex operators onto the sector that acts on super-Macdonald polynomials; the paper calls $s$ and $\nu$ a mere simplification trick. The commuting set of higher Hamiltonians (106)-(107) is then generated from box-adding and box-removing operators whose commutators and anticommutators cancel off-diagonal terms, following the Pierri-rule logic set out in Section 2.
What would settle it
Compute the action of the operator in (98) on a super-Macdonald polynomial labeled by a diagram of order $|\lambda|=27/2$, for instance $\lambda=[13,1/2]$, and compare with the eigenvalue formula (97); a single mismatch would disprove the conjectural Hamiltonian. A counterexample to the assumed Pierri rules (102)-(103) would likewise invalidate the commuting family (106)-(107).
Extended reading notes
Core claim
The central claim is that super-Macdonald polynomials $M^{q,t}_\lambda$ are common eigenfunctions of the four super-Hamiltonians defined by (97) and given in closed form by (98) and (100). For the two positive Hamiltonians the eigenvalues read $$ 1+($q^{2}$-1)(1-$t^{{-2}}$)\sum_{\square\in\$\lambda$} $q^{{2j}}$$t^{{-2i}}$, $$ where the sum runs over the half-boxes of the super-Young diagram $\lambda$; the two negative Hamiltonians have the same form with $q\to q^{-1}$, $t\to t^{-1}$. The paper states that the four eigenvalues are generically distinct on odd diagrams and that two of the Hamiltonians suffice to determine all super-Macdonald polynomials. The closed formulas are labeled conjectural and have been checked up to $|\lambda|=25/2$.
Load-bearing premise
The closed vertex-operator formulas (98) and (100) are conjectural: they have been checked only up to $|\lambda|=25/2$, and the check uses a correlator chosen to reproduce the target eigenvalues, so the general case is not independently confirmed.
Editorial extensions
If this is right
- Super-Macdonald polynomials become computable as common eigenfunctions of two explicitly written super-Hamiltonians, without relying on Cauchy formulas or triangularity conditions.
- The four eigenvalues are independent on generic odd super-diagrams, so the two positive Hamiltonians separate all super-Macdonald polynomials.
- The construction predicts a full tower of commuting higher super-Hamiltonians, with one family explicitly built and the second family left to future work.
- The broken $q,t$ inversion symmetry of super-Macdonald polynomials implies the super-case carries additional commuting operators, which the paper links to a difference in the commuting structures of two infinite-dimensional algebras.
Reading between the lines
- If the conjectural formulas are verified for all orders, the auxiliary $s,\nu$ correlator is most naturally a remnant of a supersymmetric many-body integrable system, a connection the paper leaves open.
- A proof of the closed formulas without assuming the eigenvalues would resolve their conjectural status; the natural route is an independent evaluation of the vertex-operator action on arbitrary super-Macdonald polynomials.
- The broken $q\leftrightarrow q^{-1}$, $t\leftrightarrow t^{-1}$ symmetry suggests that super-generalizations of the relevant infinite-dimensional algebras carry two independent commuting families of Cartan-like generators, one for each sign, a representational prediction not stated in the paper.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a supersymmetric generalization of the Macdonald finite-difference Hamiltonian. After reviewing the Schur, super-Schur, and Macdonald cases, the authors introduce Grassmann time variables θ_k and define four super-Hamiltonians whose claimed eigenfunctions are super-Macdonald polynomials. The eigenvalue formula (97) has the expected sum-over-boxes form with weights q^{2j}t^{-2i}. Closed vertex-operator expressions for the four Hamiltonians are given in Eqs. (98) and (100); the authors state that these formulas are conjectural and have been checked only up to diagrams of order |λ| = 25/2. The paper also constructs a commuting family of higher Hamiltonians in Eqs. (106)-(107), based on Pieri rules for super-Macdonald polynomials stated in Eqs. (102)-(103). Sections 2-4 provide background and set up the general "sum-over-boxes plus Pieri rules" framework.
Significance. If the conjectural formulas are correct, the paper provides an explicit Hamiltonian characterization of super-Macdonald polynomials in a vertex-operator form, with potential applications to super-Yangian and DIM representations. The paper's strengths are its explicit formulas, the consistency checks at order |λ| = 25/2, and the reduction to ordinary Macdonald Hamiltonians on even diagrams. However, the main eigenfunction statement is not proven at all orders, and the verification of the H^{-} operators relies on an auxiliary correlator that appears chosen to reproduce the target eigenvalues; the result is therefore conditional. The paper is internally consistent, but the load-bearing claims require either a proof or a substantially stronger and more independent body of evidence.
major comments (3)
- [Section 5, Eqs. (98), (100)] The central claim of the paper is that the operators defined by (98) and (100) have super-Macdonald polynomials as eigenfunctions with the eigenvalues (97). The authors explicitly label these formulas as conjectural and report a check only up to |λ| = 25/2, with no all-orders derivation. Since this eigenfunction statement is the paper's main result, the absence of a proof is a load-bearing gap: the finite check does not by itself establish the general statement. I recommend either supplying a proof by a normal-ordering or contraction analysis, or, if the paper is intended as a conjecture, stating this status more prominently and substantially extending the numerical evidence.
- [Section 5, Eq. (101)] The auxiliary correlator ⟨∅|νν†s^b|∅⟩_B is introduced ad hoc and described by the authors as a "mere simplification trick." Because the H^{-} operators in (100) are defined through this correlator, and the correlator is chosen so that the desired eigenvalue terms survive, the finite-order check of (100) is not independent of the target eigenvalues in (97). This weakens the evidential value of the check for the all-orders identity. A concrete way to address this is to derive (101) from a principled algebraic requirement such as a free-field realization, or to verify (100) at orders beyond |λ| = 25/2 with a comparison that does not use the desired eigenvalues as input.
- [Section 5, Eqs. (102)-(103)] The Pieri rules for super-Macdonald polynomials are stated without proof and without a precise citation to a place where they are established. The commuting family (106)-(107) and the recursive operators (104)-(105) rest on these rules; as written, this part of the construction is conditional on an additional unproved assumption. Please provide a proof of (102)-(103) or point to the specific statement in the cited literature where these rules are proven.
minor comments (5)
- [Section 5, Eq. (97)] In the fourth eigenvalue expression, the summation variables x and y are undefined; they should be the box coordinates i and j as in the preceding lines of (97).
- [Throughout] The name "Pierri" is a misspelling of "Pieri" and should be corrected throughout the manuscript.
- [Section 3.2] The notation for the two families of super-Schur Hamiltonians, with two labels and multiple hats, is difficult to follow; a short glossary or table of the operators would improve readability.
- [Section 3.3] The sentence beginning "Operators as being split in brackets in the r.h.s." in the discussion after Eq. (64) is grammatically incomplete and should be rephrased.
- [Eq. (100)] The typesetting of the second Hamiltonian in (100) contains an anomalous vertical bar adjacent to the vacuum ket; please fix the formatting.
Circularity Check
No significant circularity: the super-Hamiltonian formulas are explicitly conjectural and reverse-engineered from the target eigenvalues, which the authors acknowledge; the finite check is presented as evidence, not as a derived prediction.
full rationale
The paper does not claim to derive the eigenvalues (97) from the explicit formulas (98) and (100). Instead, it defines the four super-Hamiltonians through the eigenvalue equations (97) and then proposes closed contour-integral formulas (98) and (100), stating: 'Based on super-Macdonald polynomials [2–5] and eigenvalues (97) we compute explicit form of the super-Hamiltonians and propose the following conjectural formulas (98) and (100) for super-Hamiltonians. We have checked our formulas for super-Hamiltonians up to diagrams of order |λ| = 25/2.' Reverse engineering an operator from a desired spectrum is not circular as long as the resulting operator formula is genuinely new content, and here it is explicitly labeled conjectural. The auxiliary correlator (101) is admittedly a 'mere simplification trick', which limits the evidential weight of the finite check, but it does not make the conjecture equivalent to its input: the closed operator expression is an independent mathematical assertion whose general validity is not established. The Pieri rules (102)–(103) are quoted from prior literature, including independent sources [4,5], rather than derived from the target result. The commuting family (106)–(107) depends on those rules, so if the rules were unproved that would be a rigor gap, not a circular step. The 'by definition' sum-over-boxes remark refers only to the initial eigenvalue definition, not to a derived prediction. Overall, the paper is honest about the conjectural status of its central formulas, and no load-bearing step reduces by construction to its own inputs.
Assumptions & free parameters
free parameters (1)
- Auxiliary correlator ⟨∅|νν†s^b|∅⟩_B =
1-(qt)^{2b+2} / (q^{2b}(1-(qt)^2)) for b ≥ 0, 0 otherwise
assumptions (3)
- domain assumption Super-Macdonald polynomials as defined in [2-4] exist and satisfy the stated Pierri rules (102)-(103) with rational coefficients.
- ad hoc to paper The auxiliary bosonic operator s and fermionic pair ν,ν† with correlator (101) correctly encode the super-Macdonald eigenvalue data.
- domain assumption The higher Hamiltonians H'_a+b = {E_a,F_b} commute for the super-Macdonald case, as asserted in (107).
invented entities (1)
-
Auxiliary invertible bosonic operator s and fermionic pair ν,ν†
Cite this review
Pith. "Pith review of Super-Hamiltonians for super-Macdonald polynomials." pith.science (2026). https://pith.science/paper/J76JPDFG
@misc{pith2026250114714,
author = {Pith},
title = {Pith review of: Super-Hamiltonians for super-Macdonald polynomials},
year = {2026},
howpublished = {\url{https://pith.science/paper/J76JPDFG}},
note = {Machine review of arXiv:2501.14714}
}
abstract
The Macdonald finite-difference Hamiltonian is lifted to a super-generalization. In addition to canonical bosonic time variables $p_k$ new Grassmann time variables $\theta_k$ are introduced, and the Hamiltonian is represented as a differential operator acting on a space of functions of both types of variables $p_k$ and $\theta_k$. Eigenfunctions for this Hamiltonian are a suitable generalization of Macdonald polynomials to super-Macdonald polynomials discussed earlier in the literature. Peculiarities of the construction in comparison to the canonical bosonic case are discussed.
Figures
Reference graph
Works this paper leans on
-
[1]
I. G. Macdonald, Symmetric Functions and Hall Polynomials . Oxford Mathematical Monographs, 1998
work page 1998
-
[2]
Macdonald po lynomials for super-partitions,
D. Galakhov, A. Morozov, and N. Tselousov, “Macdonald po lynomials for super-partitions,” Phys. Lett. B 856 (2024) 138911 , arXiv:2407.03301 [hep-th]
arXiv 2024
-
[3]
Supersymmet ric polynomials and algebro-combinatorial duality,
D. Galakhov, A. Morozov, and N. Tselousov, “Supersymmet ric polynomials and algebro-combinatorial duality,” SciPost Phys. 17 no. 4, (2024) 119 , arXiv:2407.04810 [hep-th]
arXiv 2024
-
[4]
Macdonald polynomials in superspace: conjectural definition and positivity conje ctures,
O. Blondeau-Fournier, P. Desrosiers, L. Lapointe, and P. Mathieu, “Macdonald polynomials in superspace: conjectural definition and positivity conje ctures,” Lett. Math. Phys. 101 (2012) 27–47 , arXiv:1112.5188 [math-ph]
arXiv 2012
-
[5]
Macdonald polynomials in superspace as eigenfunctions of commuting operators,
O. Blondeau-Fournier, P. Desrosiers, L. Lapointe, and P. Mathieu, “Macdonald polynomials in superspace as eigenfunctions of commuting operators,” J. Comb. 3 (2012) 495–561 , arXiv:1202.3922 [math-ph]
arXiv 2012
-
[6]
Super-Schur polynomials for Affine Super Yangian Y( ˆgl1|1),
D. Galakhov, A. Morozov, and N. Tselousov, “Super-Schur polynomials for Affine Super Yangian Y( ˆgl1|1),” JHEP 08 (2023) 049 , arXiv:2307.03150 [hep-th]
arXiv 2023
-
[7]
Wall-crossi ng effects on quiver BPS algebras,
D. Galakhov, A. Morozov, and N. Tselousov, “Wall-crossi ng effects on quiver BPS algebras,” JHEP 05 (2024) 118 , arXiv:2403.14600 [hep-th]
arXiv 2024
-
[8]
A lgorithms for representations of quiver Yangian algebras,
D. Galakhov, A. Gavshin, A. Morozov, and N. Tselousov, “A lgorithms for representations of quiver Yangian algebras,” JHEP 08 (2024) 209 , arXiv:2406.20074 [hep-th]
arXiv 2024
Show all 36 references
-
[9]
Shifted quiver quantum toro idal algebra and subcrystal representations,
G. Noshita and A. Watanabe, “Shifted quiver quantum toro idal algebra and subcrystal representations,” JHEP 05 (2022) 122 , arXiv:2109.02045 [hep-th]
2022 arXiv
-
[10]
Toroidal and ellip tic quiver BPS algebras and beyond,
D. Galakhov, W. Li, and M. Yamazaki, “Toroidal and ellip tic quiver BPS algebras and beyond,” JHEP 02 (2022) 024 , arXiv:2108.10286 [hep-th]
2022 arXiv
-
[11]
Hall-littlewood functions and orthogona l polynomials,
S. V. Kerov, “Hall-littlewood functions and orthogona l polynomials,” Functional Analysis and Its Applications 25 no. 1, (1991) 65–66
1991
-
[12]
Kerov functions revisited,
A. Mironov and A. Morozov, “Kerov functions revisited, ” Journal of Geometry and Physics 150 (Apr., 2020) 103608
2020
-
[13]
On Hamiltonians for Kerov fu nctions,
A. Mironov and A. Morozov, “On Hamiltonians for Kerov fu nctions,” Eur. Phys. J. C 80 no. 3, (2020) 277 , arXiv:1908.05176 [hep-th] . 16
2020 arXiv
-
[14]
Kerov functions for composi te representations and Macdonald ideal,
A. Mironov and A. Morozov, “Kerov functions for composi te representations and Macdonald ideal,” Nucl. Phys. B 944 (2019) 114641 , arXiv:1903.00773 [hep-th]
2019 arXiv
-
[15]
Complete integrability of relativis tic calogero-moser systems and elliptic function identities,
S. Ruijsenaars, “Complete integrability of relativis tic calogero-moser systems and elliptic function identities,” Communications in Mathematical Physics 110 (1987) 191–213
1987
-
[16]
A new class of integra ble systems and its relation to solitons,
S. Ruijsenaars and H. Schneider, “A new class of integra ble systems and its relation to solitons,” Annals of Physics 170 no. 2, (1986) 370–405
1986
-
[17]
On generalized Macdonald po lynomials,
A. Mironov and A. Morozov, “On generalized Macdonald po lynomials,” JHEP 01 (2020) 110 , arXiv:1907.05410 [hep-th]
2020 arXiv
-
[18]
W -symmetry, topological vertex and affine Yangian,
T. Proch´ azka, “W -symmetry, topological vertex and affine Yangian,” JHEP 10 (2016) 077 , arXiv:1512.07178 [hep-th]
2016 arXiv
-
[19]
The affine yangian of gl1 revisited,
A. Tsymbaliuk, “The affine yangian of gl1 revisited,” Advances in Mathematics 304 (2017) 583–645
2017
-
[20]
Simple repr esentations of BPS algebras: the case of Y (ˆgl2),
D. Galakhov, A. Morozov, and N. Tselousov, “Simple repr esentations of BPS algebras: the case of Y (ˆgl2),” Eur. Phys. J. C 84 no. 6, (2024) 604 , arXiv:2402.05920 [hep-th]
2024 arXiv
-
[21]
3-Schurs from explicit re presentation of Yangian Y ( ˆgl1 ) . Levels 1–5,
A. Morozov and N. Tselousov, “3-Schurs from explicit re presentation of Yangian Y ( ˆgl1 ) . Levels 1–5,” JHEP 11 (2023) 165 , arXiv:2305.12282 [hep-th]
2023 arXiv
-
[22]
Hunt for 3-Schur polynomi als,
A. Morozov and N. Tselousov, “Hunt for 3-Schur polynomi als,” Phys. Lett. B 840 (2023) 137887 , arXiv:2211.14956 [hep-th]
2023 arXiv
-
[23]
Generalization and deformation of Drinfeld quantum affine algebras,
J. Ding, J.-t. Ding, and K. Iohara, “Generalization and deformation of Drinfeld quantum affine algebras,” Lett. Math. Phys. 41 (1997) 181–193 , arXiv:q-alg/9608002
1997 arXiv
-
[24]
A (q, γ) analog of the W1+ ∞ algebra,
K. Miki, “A (q, γ) analog of the W1+ ∞ algebra,” J. Math. Phys. 48 no. 12, (2007) 123520
2007
-
[25]
(q,t )-KZ equations for quantum toroidal algebra and Nekrasov partit ion functions on ALE spaces,
H. Awata, H. Kanno, A. Mironov, A. Morozov, K. Suetake, a nd Y. Zenkevich, “ (q,t )-KZ equations for quantum toroidal algebra and Nekrasov partit ion functions on ALE spaces,” JHEP 03 (2018) 192 , arXiv:1712.08016 [hep-th]
2018 arXiv
-
[26]
Commutative families in DIM algebra, integrable many-body systems and q, t matrix models,
A. Mironov, A. Morozov, and A. Popolitov, “Commutative families in DIM algebra, integrable many-body systems and q, t matrix models,” JHEP 09 (2024) 200 , arXiv:2406.16688 [hep-th]
2024 arXiv
-
[27]
Quantum toro idal gl1-algebra: Plane partitions,
B. Feigin, M. Jimbo, T. Miwa, and E. Mukhin, “Quantum toro idal gl1-algebra: Plane partitions,” Kyoto Journal of Mathematics 52 no. 3, (2012) 621 – 659
2012
-
[28]
The MacMahon R-matrix,
H. Awata, H. Kanno, A. Mironov, A. Morozov, K. Suetake, a nd Y. Zenkevich, “The MacMahon R-matrix,” JHEP 04 (2019) 097 , arXiv:1810.07676 [hep-th]
2019 arXiv
-
[29]
S upersymmetric Ruijsenaars-Schneider Model,
O. Blondeau-Fournier, P. Desrosiers, and P. Mathieu, “S upersymmetric Ruijsenaars-Schneider Model,” Phys. Rev. Lett. 114 (2015) 121602 , arXiv:1403.4667 [hep-th]
2015 arXiv
-
[30]
A basic triad in Macdonald theory,
A. Mironov, A. Morozov, and A. Popolitov, “A basic triad in Macdonald theory,” arXiv:2411.16517 [hep-th] . 17
-
[31]
New N = 2 superspace Calogero models,
S. Krivonos, O. Lechtenfeld, and A. Sutulin, “New N = 2 superspace Calogero models,” JHEP 05 (2020) 132 , arXiv:1912.05989 [hep-th]
2020 arXiv
-
[32]
New appro ach to N = 2 supersymmetric Ruijsenaars–Schneider model,
N. Kozyrev, S. Krivonos, and O. Lechtenfeld, “New appro ach to N = 2 supersymmetric Ruijsenaars–Schneider model,” PoS Regio2020 (2021) 018 , arXiv:2103.02925 [hep-th]
2021 arXiv
-
[33]
Integrab ility of supersymmetric Calogero–Moser models,
S. Krivonos, O. Lechtenfeld, and A. Sutulin, “Integrab ility of supersymmetric Calogero–Moser models,” Phys. Lett. B 831 (2022) 137184 , arXiv:2204.02692 [hep-th]
2022 arXiv
-
[34]
Complete Set o f Cut-and-Join Operators in Hurwitz-Kontsevich Theory,
A. Mironov, A. Morozov, and S. Natanzon, “Complete Set o f Cut-and-Join Operators in Hurwitz-Kontsevich Theory,” Theor. Math. Phys. 166 (2011) 1–22 , arXiv:0904.4227 [hep-th]
2011 arXiv
-
[35]
Hook variables: Cut-and-jo in operators and τ -functions,
A. Mironov and A. Morozov, “Hook variables: Cut-and-jo in operators and τ -functions,” Phys. Lett. B 804 (2020) 135362 , arXiv:1912.00635 [hep-th]
2020 arXiv
-
[36]
Commutative families in W∞, integrable many-body systems and hypergeometric τ -functions,
A. Mironov, V. Mishnyakov, A. Morozov, and A. Popolitov , “Commutative families in W∞, integrable many-body systems and hypergeometric τ -functions,” JHEP 23 (2020) 065 , arXiv:2306.06623 [hep-th] . 18
2020 arXiv
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.