REVIEW 4 minor 9 references
Equating Inv-Quinv formulas for the $q$-Whittaker and modified Hall-Littlewood functions
T0 review · 0 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read The Inv and Quinv formulas for q-Whittaker and modified Hall-Littlewood functions are the same weighted Dyck path in different coordinates.
desk verdict A clean, honest path-transformation proof that the Inv and Quinv formulas agree; the equality was already known as a corollary, but the explanation is new and the proof checks out. 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 object is the weighted path symmetric function $\chi(\pi,q,t)=\sum_w q^{\mathrm{inv}(\pi,w)}t^{\#\{(i,j)\in c(\pi):w_i\le w_j\}}x^w$, a sum over positive integer words attached to a Dyck path. The two paths $\pi^{\mathrm{Inv}}_\lambda$ and $\pi^{\mathrm{Quinv}}_\lambda$ are built from the inversion and quinversion reading orders of $\lambda$. The proof is carried by the zeta map $\zeta$, the reversal map $\mathrm{rev}$, and Lemma 2.7, which controls how $\chi$ changes when adjacent bounce blocks of increasing length are swapped in a balanced Dyck path.
What would settle it
For a partition with a repeated part size, say $\lambda=(2,2,1)$, enumerate the words contributing to $\chi(\pi^{\mathrm{Inv}}_\lambda,q,0)$ and $\chi(\pi^{\mathrm{Quinv}}_\lambda,q,0)$ and check directly whether $\chi(\pi^{\mathrm{Quinv}}_\lambda,q,0)=q^{\alpha_{\mathrm{Quinv}}-\alpha_{\mathrm{Inv}}}\chi(\pi^{\mathrm{Inv}}_\lambda,q,0)$; any mismatch in a q-exponent would falsify the theorem.
Extended reading notes
Core claim
The central claim is Theorem 2.8: for any partition $\lambda$, the Quinv and Inv path evaluations agree after the same normalization, namely $q^{-\alpha_{\mathrm{Quinv}}(\lambda)}\chi(\pi^{\mathrm{Quinv}}_\lambda,q,0)=q^{-\alpha_{\mathrm{Inv}}(\lambda)}\chi(\pi^{\mathrm{Inv}}_\lambda,q,0)$, and at the top t-degree $\chi(\pi^{\mathrm{Inv}}_\lambda,q,t)|_{t^{\#c}}=\chi(\pi^{\mathrm{Quinv}}_\lambda,q,t)|_{t^{\#c}}$, with $\#c=|\lambda|-\lambda_1$. The proof expresses $\pi^{\mathrm{Quinv}}_\lambda$ as $\mathrm{rev}\circ\zeta\circ\mathrm{rev}\circ\zeta^{-1}\circ\mathrm{rev}(\pi^{\mathrm{Inv}}_\lambda)$ and then shows that each map changes the weighted path function in a controlled way.
Load-bearing premise
The load-bearing step is Lemma 2.7: swapping two adjacent bounce blocks of increasing length changes the lowest t-degree weighted sum by exactly one power of q and leaves the highest t-degree sum unchanged, and if that dinv count is off by even one unit, the chain of equalities in Theorem 2.8 breaks.
Editorial extensions
If this is right
- The two formula families are the same sum written in different reading orders: both Inv and Quinv statistics are instances of the single inv statistic on Dyck paths.
- The normalization difference $\alpha_{\mathrm{Quinv}}(\lambda)-\alpha_{\mathrm{Inv}}(\lambda)$ equals the length of the shortest permutation that reverses $\lambda'$, so the q-power shift in the theorem has a concrete combinatorial meaning.
- Because both the q-Whittaker and the modified Hall-Littlewood identities are read off from the same path function, proving one path-level relation proves both classical identities at once.
- The path transformations are reversible, so the equality can be read in either direction between the Inv and Quinv models.
Reading between the lines
- The same zeta-reversal relation may connect the full t-deformations $\chi(\pi^{\mathrm{Inv}}_\lambda,q,t)$ and $\chi(\pi^{\mathrm{Quinv}}_\lambda,q,t)$, not just their lowest and highest t-degree terms; this is directly testable by computing both finite sums for small partitions.
- The splice operation in Lemma 2.7 isolates the whole difficulty in a two-block swap, so the method should extend to other pairs of balanced Dyck paths that differ by adjacent swaps of increasing block lengths.
- Since $\chi(\pi,q,0)$ and $\chi(\pi,q,1)$ are LLT polynomials, the path-level equivalence hints at a hidden relation between the LLT polynomials attached to $\pi^{\mathrm{Inv}}_\lambda$ and $\pi^{\mathrm{Quinv}}_\lambda$; a Schur-positive insertion statistic for intermediate $t$ would generalize the open question raised in Section 3.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper proves an equality of two known combinatorial formulas for q-Whittaker functions and modified Hall-Littlewood functions. The author encodes the HHL Inv formulas and the AMM Quinv formulas as weighted characteristic functions of two explicit Dyck paths, and then shows in Theorem 2.8 that the lowest t-degree terms of the two weighted path functions agree up to a q-power while the highest t-degree terms agree exactly. The proof connects the paths through the maps ζ, rev, and adjacent swaps of balanced blocks, relying on Proposition 2.4, Lemma 2.6, and Lemma 2.7. A final section contains remarks and examples on Schur positivity.
Significance. The result gives a direct and explicit combinatorial explanation for the equality of the Inv and Quinv formulas, rather than an indirect argument through the Macdonald polynomials. The transformation chain is explicit enough to serve as a proof of equality of the right-hand sides of (2.21) and (2.23). The paper is concise and mostly self-contained, and the delicate counting step in Lemma 2.7 checks out on inspection; the splice arithmetic and diagonal-preservation claim are consistent. The result will be useful to readers working on q-Whittaker and Hall-Littlewood combinatorics and on path models for symmetric functions.
minor comments (4)
- [Section 3, unnumbered display before (3.1)] The expression "qqstat(π,T)ttstat(π,T)sshape(T)" appears to be a typesetting error for q^{qstat(π,T)} t^{tstat(π,T)} s_{shape(T)}; please fix it.
- [Section 2, after (2.25)] There is a stray extra period in the displayed line ending with "(2.25). . Then"; remove it.
- [Section 2, (2.20)-(2.21)] The convention discussion for \tilde H_λ versus \tilde H_{λ'} is easy to misread; state explicitly that in (2.21) the modified Hall-Littlewood function is \tilde H_{λ'}, while W_λ is the q-Whittaker function under the convention of (2.20).
- [Lemma 2.7] The sentence "splice does not change which diagonal a particular entry belongs to" is the reduction step that confines the dinv count to the two spliced columns; a short coordinate calculation or a sentence explaining why position indices determine diagonal classes would make this rigorous and easier to check.
Circularity Check
No significant circularity: the Inv-Quinv equality is proved by explicit path transformations; the only self-citation ([BRV24]) is not load-bearing.
full rationale
The paper's central claim (Theorem 2.8) is proved directly from the definitions of the paths pi^Inv_lambda and pi^Quinv_lambda and the Carlsson-Mellit weighted characteristic function. No step assumes the equality it proves; instead, the equality is derived through Proposition 2.4 (path relation via zeta and rev), Lemma 2.6 (reversal invariance of chi), Lemma 2.7 (block-swap effect on lowest and highest t-degree terms), and Lemmas 2.2-2.3 (the q-exponent). Lemma 2.7 is the only delicate counting step; although it recalls the splice operation from [BRV24], the lemma provides a self-contained case analysis of the dinv change and does not cite the result it is proving. The formulas from [HHL05] and [AMM23] are used as external inputs only to identify the lowest and highest t-degree terms, and the proof establishes equality of the two characteristic functions directly. The one overlapping-author citation ([BRV24], containing an alternate proof) is not load-bearing for the present argument. Thus there is at most a minor non-load-bearing self-citation, not circularity.
Assumptions & free parameters
assumptions (3)
- domain assumption Haglund-Haiman-Loehr Theorem 2.2 and Ayyer-Mandelshtam-Martin Theorem 2.6 correctly express Wλ(q) and the modified Hall-Littlewood function in terms of inv and quinv statistics as quoted in (2.21) and (2.23).
- domain assumption The Carlsson-Mellit and Haglund-Xin facts about χ(π,q,wt), the zeta map, and the corner set transformation (2.12) hold as cited.
- domain assumption The convention change Hλ(q,t) = t^{n(λ)} ~Hλ(q,t^{-1}) and the identity ~Hλ(q) = ~Hλ'(q,0) correctly align the HHL and AMM notations with the Carlsson-Mellit framework.
Cite this review
Pith. "Pith review of Equating Inv-Quinv formulas for the $q$-Whittaker and modified Hall-Littlewood functions." pith.science (2026). https://pith.science/paper/7LDVIUA6
@misc{pith2026241209929,
author = {Pith},
title = {Pith review of: Equating Inv-Quinv formulas for the $q$-Whittaker and modified Hall-Littlewood functions},
year = {2026},
howpublished = {\url{https://pith.science/paper/7LDVIUA6}},
note = {Machine review of arXiv:2412.09929}
}
abstract
We explain the equality between the two sets of formulas for $q$-Whittaker functions and modified Hall-Littlewood functions obtained by Haglund, Haiman and Loehr - the Inv formula and Ayyer, Mandelshtam and Martin - the Quinv formula by use of weighted path symmetric functions introduced by Carlsson and Mellit.
Figures
Reference graph
Works this paper leans on
-
[1]
Arvind Ayyer, Olya Mandelshtam, and James B. Martin. Modified Macdonald polynomials and the multispecies zero-range process. I . Algebr. Comb. , 6(1):243--284, 2023
work page 2023
- [2]
-
[3]
$q$-Whittaker polynomials: bases, branching and direct limits
Aritra Bhattacharya, T V Ratheesh, and Sankaran Viswanath. q -whittaker polynomials: bases, branching and direct limits. Preprint, arXiv :2412.00116, 2024
work page Pith review arXiv 2024
-
[4]
A proof of the shuffle conjecture
Erik Carlsson and Anton Mellit. A proof of the shuffle conjecture. J. Am. Math. Soc. , 31(3):661--697, 2018
2018
-
[5]
William Fulton. Young tableaux. With applications to representation theory and geometry , volume 35 of Lond. Math. Soc. Stud. Texts . Cambridge: Cambridge University Press, 1997
work page 1997
-
[6]
The \(q,t\) - Catalan numbers and the space of diagonal harmonics
James Haglund. The \(q,t\) - Catalan numbers and the space of diagonal harmonics. With an appendix on the combinatorics of Macdonald polynomials , volume 41 of Univ. Lect. Ser. Providence, RI: American Mathematical Society (AMS), 2008
2008
-
[7]
Haglund, M
J. Haglund, M. Haiman, and N. Loehr. A combinatorial formula for M acdonald polynomials. J. Amer. Math. Soc. , 18(3):735--761, 2005
2005
-
[8]
Lecture notes on the Carlsson-Mellit proof of the shuffle conjecture
James Haglund and Guoce Xin. Lecture notes on the Carlsson - Mellit proof of the shuffle conjecture. Preprint, arXiv :1705.11064, 2017
work page Pith review arXiv 2017
Show all 9 references
-
[9]
I. G. Macdonald. Symmetric functions and H all polynomials . Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, New York, second edition, 1995. With contributions by A. Zelevinsky, Oxford Science Publications
1995
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.