2022-07-29
Hall–Littlewood P
The Hall–Littlewood $P$ polynomals interpolates between the Schur polynomals and the monomial symmetric functions. They were introduced by P. Hall (implicitly) and later by D. E. Littlewood in [Lit61].
Definition
For a partition $\lambda,$ with $\alpha_i$ parts equal to $i,$ we define the Hall–Littlewood functions as
\begin{equation*} \hallLittlewoodP_\lambda(x_1,\dotsc,x_n;t) = \frac{1}{\prod_{i\geq 0} [\alpha_i]_t! }\sum_{\sigma \in \symS_n} \sigma\left( \xvec^\lambda \frac{ \prod_{i \lt j} 1-tx_j/x_i }{\prod_{i \lt j} 1-x_j/x_i } \right). \end{equation*}Compare with the Weyl formula for Schur polynomials. Note that
\[ \hallLittlewoodP_\lambda(\xvec;1) = \monomial_\lambda(\xvec) \text{ and } \hallLittlewoodP_\lambda(\xvec;0) = \schurS_\lambda(\xvec). \]Furthermore, $\hallLittlewoodP_\lambda(\xvec;-1)$ is equal to the Schur-$P$ function.
The Hall–Littlewood polynomials are orthogonal with respect to the inner product $\langle - , - \rangle_t$ defined via
\[ \langle \powerSum_\lambda , \powerSum_\mu \rangle_t = \delta_{\lambda\mu} z_{\lambda} \prod_{i=1}^{\length(\lambda)} \frac{1}{1-t^{\lambda_i} }, \]see [III. §4, Mac95]. This is a $t$-deformation of the usual Hall inner product, which is recovered at $t=0.$
We have that $\hallLittlewoodP_{221}(\xvec;t)$ is equal to
\[ \monomial_{221} + (2-t-t^2)\monomial_{2111} + (5-4 t-4 t^2+t^3+t^4+t^5)\monomial_{11111}. \]The (skew) Hall–Littlewood $\hallLittlewoodP$ functions can be computed via a branching rule as follows. First let the one-variable specialization be $\hallLittlewoodP_{\lambda/\mu}(z;t) = z^{|\lambda/\mu|} \psi_{\lambda/\mu}(t),$ where
\[ \psi_{\lambda/\mu}(t) = \prod_{\substack{ i \geq 1 \\ m_i(\mu) = m_i(\lambda)+1 }} \left( 1-t^{m_i(\mu)} \right). \]Then the skew Hall–Littlewood $\hallLittlewoodP$ polynomial is given by
\[ \hallLittlewoodP_{\lambda/\mu}(x_1,\dotsc,x_n;t) = \sum_{ \mu = \nu^{0} \prec \dotsb \prec \nu^n = \lambda} \prod_{i=1}^n \psi_{\nu^{i}/\nu^{i-1}}(t) x_i^{|\nu^{i}/\nu^{i-1}|}. \]Here, we write $\mu \prec \lambda$ if $\lambda/\mu$ is a skew shape.
We have that the Hall–Littlewood $\hallLittlewoodP$ polynomials is the dual basis to the Hall–Littlewood $\hallLittlewoodQ$ basis, $\langle \hallLittlewoodQ_\lambda, \hallLittlewoodP_\lambda \rangle_t = \delta_{\lambda\mu}.$
Cauchy identity
We have the Cauchy identity (see [Chapter III, Eq. (4.4), Mac95]),
\[ \prod_{i=1}^n \prod_{j=1}^n \left( \frac{1-tx_i y_j}{1-x_iy_j } \right) = \sum_{\mu} \hallLittlewoodP_\mu(x_1,\dotsc,x_n;t) \hallLittlewoodQ_\mu(y_1,\dotsc,y_n;t). \]Gelfand–Tsetlin patterns
In [FM16], the authors give a combinatorial formula of the form
\begin{equation} \hallLittlewoodP_\lambda(\xvec) = \sum_{G \in \GT(\lambda) } p_G(t) \xvec^{w(G)} \end{equation}where $p_G(t)$ is a certain polynomial defined via a statistic on the Gelfand–Tsetlin pattern $G.$
Another formula using GT-patterns is given in [Thm. 11, GRP]. They generalize Tokuyama's formula, [Tok88] and recover Stanley's formula [Sta86a] for Schurs-Q functions as a special case.
Pieri Rule
In [KL12], the authors prove a skew Pieri rule for the Hall–Littlewood $\hallLittlewoodP$ functions. Below is the simpler non-skew version.
Let $\lambda$ be a partition and $r \geq 0.$ Then
\[ \hallLittlewoodP_\mu(\xvec;t) \elementaryE_r(\xvec) = \sum_{\substack{ \lambda \\ |\lambda/\mu| = r }} sk_{\lambda/\mu}(t) \hallLittlewoodP_\lambda(\xvec;t) \]where
\[ sk_{\lambda/\mu}(t) = t^{\sum_{j} \binom{\lambda'_j - \mu'_j}{2} } \prod_{i\geq i} \qbinom{ \lambda'_j - \mu'_{j+1}}{ m_j(\mu) }_t. \]Kostka–Foulkes polynomials
The polynomials $K_{\lambda\mu}(t)$ in the expansion
\[ \schurS_\lambda(\xvec) = \sum_\mu K_{\lambda\mu}(t) \hallLittlewoodP_\mu(\xvec) \]are called Kostka–Foulkes polynomials and are certain $t$-analogues of the Kostka coefficients. It was shown by Lascoux and Schutzenberger [LS78] that
\[ K_{\lambda\mu}(t) = \sum_{T \in \mathrm{SSYT}(\lambda,\mu)} t^{\charge(T)}, \]where the sum is over semi-standard Young tableaux and charge is a certain statistic on SSYTs. There is an alternative way to define Kostka–Foulkes polynomials using rigged configurations, introduced by Kirillov and Reshetikhin [KR88]. See the page on Kostka–Foulkes polynomials for more information.
Products
There are various different products that lead to $t$-deformations of known structure constants.
Hall polynomials
The Hall polynomials, $c^{\nu}_{\lambda\mu}(t) \in \setZ[t]$ deform the Littlewood–Richardson coefficients. They are defined via the expansion
\[ \hallLittlewoodP_\lambda(\xvec) \hallLittlewoodP_\mu(\xvec) = \sum_\nu c^{\nu}_{\lambda\mu}(t) \hallLittlewoodP_\nu(\xvec), \]and at $t=0,$ the Littlewood–Richardson coefficients for Schur polynomials are recovered. Note that the polynomials $c^{\nu}_{\lambda\mu}(t)$ may have negative coefficients.
A combinatorial model for $c^{\nu}_{\lambda\mu}(t)$ can be recovered from the more general theory in [Yip12]. An earlier proof appear in [Sch06].
In [Zin19], a honeycomb model for the Hall polynomials is described. This extends the honeycomb model by Knutson–Tao for the Littlewood–Richardson coefficients.
The Hall polynomials have significance in the study of abelian $p$-groups. Let $p$ be a prime number. An abelian $p$-group of type $\lambda$ is isomorphic to
\[ G = \setZ/p^{\lambda_1} \oplus \setZ/p^{\lambda_2} \oplus \dotsb \oplus \setZ/p^{\lambda_\ell}. \]A subgroup $H \subseteq G$ has cotype $\nu$ if $G/H$ has type $\nu.$
The number of subgroups of type $\mu$ and cotype $\nu$ in a finite abelian $p$-group of type $\lambda$ is given by $c^{\lambda}_{\mu\nu}(p).$
For fixed $\lambda,$ the Hall polynomial $c^{\lambda}_{\mu\nu}(p)$ has non-negative coefficients for all $\mu$ and $\nu$ if and only if no two parts of $\lambda$ differ by more than one.
The parameters for which all coefficients are positive is determined exactly in [BH93]. This result later inspired a proof of the following theorem.
The shifted polynomial $c^{\lambda}_{\mu\nu}(p+1)$ lie in $\setN[p].$
Other deformations
In [Thm. 4, WZ18], the authors give a (signed) combinatorial formula for $\overline{K}^{\nu}_{\lambda\mu}(t)$ in the product
\[ \hallLittlewoodP_\lambda(\xvec;t) \schurS_\mu(\xvec) = \sum_{\nu} \overline{K}^{\nu}_{\lambda\mu}(t) \schurS_\nu(\xvec). \]Conjectures
MathOverflow conjecture
Let $\lambda = (\lambda_1,\dotsc,\lambda_\ell)$ be a partition satisfying $\lambda_i \geq \lambda_{i+1} +2$ for all $1 \leq i \leq \ell-1.$ In the MathOveflow post [Mak], it is conjectured that $\hallLittlewoodP_\lambda(\xvec,-t)$ expands positively in the Schur polynomial basis under this condition on $\lambda.$ This conjecture should be attributed to Igor Makhlin (monomial positivity) and Richard Stanley (Schur positivity).
Bhattacharya conjecture
Aritra Bhattacharya (personal communication, FPSAC 2022 Bangalore) suggests the following conjecture:
Consider the expansion
\[ \hallLittlewoodP_\lambda(\xvec,t) = \sum_\mu B_{\lambda\mu}(t) \hallLittlewoodP_\mu(\xvec,t+1). \]Then $B_{\lambda\mu}(t)$ are unimodular polynomials with non-negative integer coefficients.
Similarly, we fix a non-negative integer $m$ and consider
\[ \hallLittlewoodP_\lambda(\xvec,m) = \sum_\mu B^m_{\lambda\mu}(t) \hallLittlewoodP_\mu(\xvec,t+m). \]Then $B^m_{\lambda\mu}(t)$ are unimodular polynomials with non-negative integer coefficients.
Note that the first conjecture implies that expanding $\hallLittlewoodP_\lambda(\xvec,t)$ into $\hallLittlewoodP_\mu(\xvec,t+m)$ for any $m \geq 1,$ gives non-negative coefficients also.
The transition matrix $\{B^2_{\lambda\mu}(t)\}$ for $\lambda, \mu \vdash 4$ is
\[ \begin{pmatrix} 1 & t & t^2+2 t & t^3+4 t^2+2 t & t^6+10 t^5+38 t^4+66 t^3+48 t^2+12 t \\ 0 & 1 & t & t^2+3 t & t^5+9 t^4+31 t^3+46 t^2+18 t \\ 0 & 0 & 1 & t & t^4+6 t^3+11 t^2+2 t \\ 0 & 0 & 0 & 1 & t^3+7 t^2+17 t \\ 0 & 0 & 0 & 0 & 1 \\ \end{pmatrix} \]Rows and columns are indexed by the partitions $4,31,22,211,1111$ in this order.
This conjecture does not generalize to quasisymmetric Hall–Littlewood polynomials, there is a counterexample for $n=5.$ For the definition of quasisymmetric Schur functions, see [HLMvW11a].
Hall–Littlewood Q
The Hall–Littlewood $Q$ polynomials can be defined as
\begin{equation*} \hallLittlewoodQ_\lambda(x_1,\dotsc,x_n;t) = (1-t)^{\length(\lambda)}[n-\length(\lambda)]_t! \sum_{\sigma \in \symS_n} \sigma\left( \xvec^\lambda \frac{ \prod_{i \lt j} 1-tx_j/x_i }{\prod_{i \lt j} 1-x_j/x_i } \right). \end{equation*}Thus, $\hallLittlewoodQ_\lambda(\xvec;t)$ and $\hallLittlewoodP_\lambda(\xvec;t)$ differ only by a factor in $\setZ[t].$
Littlewood proved that
\[ \hallLittlewoodQ_\lambda(\xvec;q) = \prod_{i \lt j} (1-qR_{ij})^{-1}\schurS_\lambda[(1-q)X] \]where we use raising operators and plethystic notation.
Transformed Hall–Littlewood
The transformed Hall–Littlewood polynomials are defined via the Kostka–Foulkes polynomials as
\[ \hallLittlewoodT_\mu(\xvec;q) \coloneqq \sum_{\lambda} K_{\lambda\mu}(q) \schurS_\lambda(\xvec). \]These are sometimes also denoted $Q'_\mu(\xvec;q),$ some references are [DLT94] and [TZ03]. It is shown that
\[ \hallLittlewoodT_\mu(\xvec;q) = \prod_{i \lt j} \frac{1-R_{ij}}{1-q R_{ij}} \completeH_{\mu}(\xvec) = \prod_{i \lt j} (1-q R_{ij})^{-1} \schurS_{\mu}(\xvec) \]where we use the same notation as in the raising operator formula for Schur polynomials. In particular, from this deinition it is clear that $\hallLittlewoodT_\mu(\xvec;0) = \schurS_\mu(\xvec).$
The relationship between the classical and transformed Hall–Littlewood functions is given by the plethystic relationship
\[ \hallLittlewoodQ_\mu(\xvec;q) = \hallLittlewoodT_\mu[(1-q)\xvec;q]. \]In [TZ03], a $q$-deformation of Schur's Q-functions is introduced in a manner analogously to the construction above.
The transformed Hall–Littlewood polynomials indexed by partitions of size four are given as
\begin{align*} \hallLittlewoodT_{4}(\xvec;q) &= \schurS_{4} \\ \hallLittlewoodT_{31}(\xvec;q) &= q \schurS_{4} + \schurS_{31} \\ \hallLittlewoodT_{22}(\xvec;q) &=q^2 \schurS_{4}+\schurS_{22} + q\schurS_{31} \\ \hallLittlewoodT_{211}(\xvec;q) &=q^3 \schurS_{4} + q \schurS_{22} + (q+q^2)\schurS_{31}+ \schurS_{211} \\ \hallLittlewoodT_{1111}(\xvec;q) &=q^6 \schurS_{4} + (q^2+q^4)\schurS_{22} + (q^3+q^4+q^5)\schurS_{31}+(q+q^2+q^3) \schurS_{211} + \schurS_{1111} \end{align*}The coefficients are the Kostka–Foulkes polynomials.
The transformed Hall–Littlewood polynomials are special cases of the Catalan symmetric functions. Using these, one can define compositional Hall–Littlewood polynomials, $\hallLittlewoodT_{\gamma}(\xvec;q)$ where $\gamma$ is a composition.
We also have the following relation with non-symmetric Macdonald polynomials:
\[ \omega\hallLittlewoodT_{\lambda'}(x_1,\dotsc,x_n;q) = \macdonaldE_{\rev(\lambda)}(x_1,\dotsc,x_n;q,0). \]A consequence of this relation is the following identity involving LLT polynomials:
\[ q^{\sum_{i\geq 2} \binom{\lambda_i}{2} } \omega \hallLittlewoodH_\lambda(\xvec;t) = \LLT_{\nuvec}(\xvec;q) \]where $\nuvec = (1^{\lambda_1}, 1^{\lambda_2},\dotsc,1^{\lambda_\ell}).$
The function $\hallLittlewoodT_\mu(\xvec;q+1)$ expands in the complete homogeneous symmetric basis with coefficients in $\setN[q].$
An explicit combinatorial expansion is given in [AS20]:
\[ \hallLittlewoodT_{\mu'}(\xvec;q+1) = (q+1)^{-\sum_{i\geq 2} \binom{\mu_i}{2} } \sum_{\theta \in \mathcal{O}(P_\mu)} q^{\asc(\theta)} \completeH_{\lambda(\theta)}(\xvec). \]Here, $\lambda(\theta)$ is a certain statistic on orientations of a graph, indexed by a Schroder path $P_\mu.$
Modified Hall–Littlewood polynomials
The modified Hall–Littlewood polynomials are related to the transformed Hall–Littlewood polynomials via
\[ \hallLittlewoodH_\lambda(\xvec;t) = t^{\partitionN(\lambda)} \hallLittlewoodT_\lambda(\xvec;t^{-1}). \]The modified Hall–Littlewood polynomials are more combinatorial in nature. They are Schur-positive and are in fact the Frobenius image of a certain graded vector space.
The modified Hall–Littlewood polynomials are specializations of the the modified Macdonald polynomials.
Modified Kostka–Foulkes polynomials
The modified Kostka–Foulkes polynomials are defined as
\[ \tilde{K}_{\lambda\mu}(t) = t^{\partitionN(\mu)}K_{\lambda\mu}(1/t) = \sum_{T \in \mathrm{SSYT}(\lambda,\mu)} t^{\cocharge(T)}, \]where the sum is over semi-standard Young tableaux and cocharge is defined via the charge statistic.
We then have that
\[ \hallLittlewoodH_\mu(\xvec;t) = \sum_{\lambda} \tilde{K}_{\lambda\mu}(t) \schurS_{\lambda}(\xvec). \]In other root systems
Hall–Littlewood polynomials can be define in general for symmetrizable Kac–Moody algebras, see http://www.kurims.kyoto-u.ac.jp/EMIS/journals/SLC/wpapers/s58viswa.pdf
References
- [Ale20] Per Alexandersson. LLT polynomials, elementary symmetric functions and melting lollipops. Journal of Algebraic Combinatorics, 53(2):299–325, April 2020.
- [AS20] Per Alexandersson and Robin Sulzgruber. A combinatorial expansion of vertical-strip LLT polynomials in the basis of elementary symmetric functions. arXiv e-prints, 2020.
- [BH93] Lynne M. Butler and Alfred W. Hales. Nonnegative Hall polynomials. Journal of Algebraic Combinatorics, 2(2):125–135, 1993.
- [DLT94] Jacques Désarménien, Bernard Leclerc and Jean-Yves Thibon. Hall-Littlewood functions and Kostka–Foulkes polynomials in representation theory. Séminaire Lotharingien de Combinatoire [electronic only], 32:38, 1994.
- [FM16] Boris Feigin and Igor Makhlin. A combinatorial formula for affine Hall–Littlewood functions via a weighted Brion theorem. Selecta Mathematica, 22(3):1703–1747, March 2016.
- [GRP] Vineet Gupta, Uma Roy and Roger Van Peski. A generalization of Tokuyama's formula to the Hall–Littlewood polynomials. The Electronic Journal of Combinatorics, 22(2), April .
- [HLMvW11a] James Haglund, Kurt W. Luoto, Sarah K. Mason and Stephanie van Willigenburg. Quasisymmetric Schur functions. Journal of Combinatorial Theory, Series A, 118(2):463–490, 2011.
- [KL12] Matjaž Konvalinka and Aaron Lauve. Skew Pieri rules for Hall–Littlewood functions. Journal of Algebraic Combinatorics, 38(3):499–518, August 2012.
- [KR88] A. N. Kirillov and N. Yu. Reshetikhin. The Bethe ansatz and the combinatorics of Young tableaux. Journal of Mathematical Sciences, 41:925–955, 1988.
- [Lit61] D. E. Littlewood. On certain symmetric functions. Proceedings of the London Mathematical Society, s3-11(1):485–498, 1961.
- [LS78] Alain Lascoux and Marcel-Paul Schützenberger. Sur une conjecture de H. O. Foulkes. C. R. Acad. Sci. Paris Sér. A-B, 286(7):A323–A324, 1978.
- [Mac95] Ian G. Macdonald. Symmetric functions and Hall polynomials. Oxford Mathematical Monographs, The Clarendon Press, Oxford University Press, Second edition, 1995. With contributions by A. Zelevinsky, Oxford Science Publications
- [Mak] Igor Makhlin. On a positivity property of Hall–Littlewood polynomials. MathOverflow . URL:https://mathoverflow.net/q/190646 (version: 2014-12-17)
- [Mal96] F. Miller Maley. The Hall polynomial revisited. Journal of Algebra, 184(2):363–371, September 1996.
- [Sch06] C. Schwer. Galleries, Hall–Littlewood polynomials, and structure constants of the spherical Hecke algebra. International Mathematics Research Notices, January 2006.
- [Sta86a] Richard P. Stanley. A Baker's dozen of conjectures concerning plane partitions. Combinatoire {\'e}num{\'e}rative. Springer Berlin Heidelberg, 1986.
- [Tok88] Takeshi Tokuyama. A generating function of strict Gelfand patterns and some formulas on characters of general linear groups. Journal of the Mathematical Society of Japan, 40(4):671–685, October 1988.
- [TZ03] Geanina Tudose and Mike Zabrocki. A $q$-analog of Schur's Q-functions. In Algebraic Combinatorics and Quantum Groups. World Scientific, 2003.
- [WZ18] M. Wheeler and P. Zinn-Justin. Hall polynomials, inverse Kostka polynomials and puzzles. Journal of Combinatorial Theory, Series A, 159:107–163, October 2018.
- [Yip12] Martha Yip. A Littlewood–Richardson rule for Macdonald polynomials. Mathematische Zeitschrift, 272(3-4):1259–1290, March 2012.
- [Zin19] Paul Zinn-Justin. Honeycombs for Hall polynomials. arXiv e-prints, 2019.