#Jack P polynomials

The Jack polynomials are a family of symmetric functions which extends the Schur polynomials. They were introduced by H. Jack in [Jac70]. They are indexed by integer partitions and constitute a basis for the space of symmetric functions. For an overview, see [Mac95] and [Sta89].

The Jack polynomials can be generalized to the shifted Jack polynomials, Jack interpolation polynomials and Macdonald \(P\) polynomials.

#Deformed Hall inner product

Let \(\langle \cdot, \cdot \rangle_a\) be the inner product on symmetric functions such that \[\langle \powerSum_\lambda, \powerSum_\mu \rangle_a = \delta_{\lambda\mu} a^{\length(\lambda)} z_\lambda.\] Then the family \(\jackP_\lambda(x;a)\) is the unique family that satisfies:

  • Orthogonality: \(\langle \jackP_\lambda, \jackP_\mu \rangle_a = 0\) whenever \(\lambda \neq \mu.\)

  • Triangularity: \(\jackP_\lambda = \sum_{\mu \lt_d \lambda } c_{\lambda \mu} \monomial_\mu.\)

  • Normalization: \([\monomial_{1^n}]\jackP_\lambda = 1.\)

These symmetric functions have coefficients which are rational functions in \(a.\)

#RSSYT formula

The Jack polynomial \(\jackP_\mu(\xvec;a)\) in \(n\) variables may be defined as \[\jackP_\mu(\xvec;a) = \sum_{T \in \textrm{RSSYT}(\mu)} \psi_T(a) \prod_{s \in \mu} x_{T(s)},\] where the sum is taken over all reverse tableaux with entries in \([n]\) and shape \(\mu.\) Here, \(\psi_T(a)\) is the rational function defined in [Mac95] as \[\psi_T(a) \coloneqq \prod_{i=1}^n \psi_{\rho^i/\rho^{i-1}}(a)\] where \(\rho^i/\rho^{i-1}\) is the skew shape formed by the boxes of \(T\) containing \(i\) (\(\rho^0 = \emptyset\)) and \[\psi_{\lambda/\mu}(a) \coloneqq \prod_{s \in R_{\lambda/\mu} \setminus C_{\lambda/\mu} } \frac{ (a \cdot\arm_\lambda(s) + \leg_\lambda(s) + a)(a \cdot \arm_\mu(s) + \leg_\mu(s) + 1) }{ (a\cdot \arm_\lambda(s) + \leg_\lambda(s) + 1)(a \cdot\arm_\mu(s) + \leg_\mu(s) + a) }.\] Here, \(R_{\lambda/\mu}\) denotes the set of boxes in a row that intersects the shape \(\lambda/\mu.\) The set of boxes \(C_{\lambda/\mu}\) is defined in a similar manner for columns.

This formula generalizes to the super Jack polynomials, see [SV05].

H. B. Dali studies the expansion of Jack polynomials in the power-sum basis through decorated bipartite maps [Dal23]. The paper proposes an injectively decorated variant of the Dołęga–Ben Dali map expansion and proves it for Jack polynomials indexed by two-column partitions. G. Chapuy and M. Dołęga deform Schur functions to Jack functions inside the \(2\)-Toda tau-function for weighted Hurwitz numbers [CD22]. They prove that the resulting coefficients are polynomials in the deformation parameter \(b\) with nonnegative integer coefficients, interpreted through generalized branched coverings by orientable and non-orientable surfaces.

Example (Example of \(\psi_{\lambda/\mu}(a)\)).

If \(\lambda/\mu = (7,5,3,2)/(5,4,2,2),\) then the product for computing \(\psi_{\lambda/\mu}(a)\) is taken over all boxes marked with a dot in

$\cdot $ $ \cdot $   $ \cdot $   $ \times $ $ \times$ $ \cdot $ $ \cdot $   $ \cdot $ $ \times$     $ \cdot $ $ \cdot $ $ \times$                      

From this definition, it is evident that \(\jackP_\mu(\xvec;1)\) is the Schur polynomial \(\schurS_\mu(\xvec).\)

N. Wang and K. Wu define 3-Jack polynomials attached to three-dimensional Young diagrams [WW23]. These depend on three axis parameters and generalize Schur and Jack polynomials to a three-dimensional setting; they can be described using vertex operators and Pieri formulas.

#Recursive formula

There is an efficient recursion for computing the Kostka coefficients \(K_{\lambda\mu}(\alpha),\) appearing in the expansion \(\jackP_\lambda = \sum_{\mu} K_{\lambda\mu}(\alpha) \monomial_\mu.\) This recursion can be found in [p. 327, Mac95], where Macdonald uses the notation \(u_{\lambda\mu}\) for these coefficients. See also [LLM99, Rob00], and [Prop. 2.16, DES07], where this formula appears. Generalizations to other root systems can be found in [DLM04].

#Cauchy identity

The (dual) Cauchy identity for Jack \(P\) polynomials states that \[\sum_{\lambda} \jackP_\lambda(x;a) \jackP_\lambda(y;1/a) = \prod_{i,j} (1+x_i y_j),\] see [Eq. (2.6), Mac92]. There is also a generalization of the Cauchy identity for the Jack J polynomials.

#Jack J polynomials

The integral form Jack polynomials are defined as the unique family satisfying the following relations:

  • Orthogonality: \(\langle \jackJ_\lambda, \jackJ_\mu \rangle_a = 0\) whenever \(\lambda \neq \mu.\)

  • Triangularity: \(\jackJ_\lambda = \sum_{\mu \lt_d \lambda } c_{\lambda \mu} \monomial_\mu.\)

  • Normalization: \([\monomial_{1^n}]\jackJ_\lambda = n!.\)

These symmetric functions have coefficients in \(\setN[a]\) in the augmented monomial basis. Equivalently, if \[\jackJ_\lambda(\xvec;a) = \sum_{\mu} v_{\lambda\mu}(a) \monomial_\mu(\xvec) \quad\text{and}\quad u_\mu \coloneqq \prod_i m_i(\mu)!,\] then \(u_\mu^{-1} v_{\lambda\mu}(a) \in \setN[a],\) by the Knop–Sahi formula.

It is convenient to introduce the following notation: Let \(\lambda\) be a diagram, and \(\square\) a box in \(\lambda,\) and define the upper hook length and lower hook length as \[\begin{aligned} h'_\lambda(\square) &\coloneqq a \cdot \arm_\lambda(\square) + \leg_\lambda(\square) + a, \\ h_\lambda(\square) &\coloneqq a \cdot \arm_\lambda(\square) + \leg_\lambda(\square) + 1. \end{aligned}\] These are denoted \(h^*_\lambda(s)\) and \(h_*^\lambda(s),\) respectively, in [Sta89].

Define the two \(a\)-deformations of the product of hook values in the diagram \(\lambda:\) \[H_\lambda = \prod_{\square \in \lambda} h_\lambda(\square), \quad H'_\lambda = \prod_{\square \in \lambda} h'_\lambda(\square).\] The relationship between \(\jackJ_\lambda\) and \(\jackP_\lambda\) is then given by \(\jackJ_\lambda(x;a) = H_\lambda \jackP_\lambda(x;a).\) Furthermore, \[\langle \jackJ_\lambda, \jackJ_\lambda \rangle_a = H_\lambda H'_\lambda \quad \text{and} \quad \langle \jackJ_\mu \jackJ_\nu, \jackJ_\lambda \rangle_a = H_\lambda H_\mu H_\nu \langle \jackP_\mu \jackP_\nu, \jackP_\lambda \rangle_a .\]

Example

For example, \[\jackJ_{31}(x;a) = (2a^2 + 4a + 2)\monomial_{31} +(6a + 10)\monomial_{211} +(4a + 4)\monomial_{22} + 24\monomial_{1111}.\] In the augmented monomial basis this is \[(2a^2 + 4a + 2)\widetilde{\monomial}_{31} +(3a + 5)\widetilde{\monomial}_{211} +(2a + 2)\widetilde{\monomial}_{22} +\widetilde{\monomial}_{1111}.\]

#Specializations

The specializations are \[\jackP_\lambda(x;1) = \schurS_\lambda(x),\quad \jackP_{\lambda'}(x;0) = \elementaryE_{\lambda}(x) \text{ and } \jackP_{\lambda}(x;\infty) = \monomial_{\lambda}(x).\]

Similarly, \[\jackJ_\lambda(x;1) = H_\lambda \schurS_\lambda(x), \quad \jackJ_{\lambda'}(x;0) = \lambda! \elementaryE_{\lambda}(x) \text{ and } \jackJ_{\lambda}(x;\infty) = n! \monomial_{\lambda}(x).\]

We also have that \(\jackJ_\lambda(\xvec;2) = \zonal_\lambda(\xvec),\) the zonal symmetric functions.

#Cauchy identity

Recall that \(H_\lambda H'_\lambda = \langle \jackJ_\lambda, \jackJ_\lambda \rangle_a.\) The Cauchy identity for Jack polynomials states that \[\sum_{\lambda} \frac{\jackJ_\lambda(x;a) \jackJ_\lambda(y;a)}{H_\lambda H'_\lambda} = \prod_{i,j} (1-x_i y_j)^{-1/a}.\]

#Calogero–Sutherland and Laplace–Beltrami operators

The Jack polynomials \(\jackJ_\lambda\) are eigenpolynomials for the Calogero–Sutherland operator \[\mathcal{H} \coloneqq \frac{\alpha}{2} \sum_{i=1}^n \left(x_i\frac{\partial}{\partial x_i}\right)^2 + \frac{1}{2} \sum_{i\lt j} \left( \frac{x_i+x_j}{ x_i - x_j } \right) \left( x_i \frac{\partial}{\partial x_i} - x_j \frac{\partial}{\partial x_j} \right),\] so that \[\mathcal{H} \jackJ_\lambda = \sum_{i=1}^n \left( \frac{\alpha}{2} \lambda_i^2 + \frac{n+1-2i}{2} \right) \jackJ_\lambda.\] See [Sut71] for the physics background of \(\mathcal{H}.\) M. Hallnäs constructs a basis for the polynomial eigenfunctions of deformed Calogero–Moser–Sutherland operators [Hal07]. The eigenfunctions are linear combinations of polynomials generalizing super Schur polynomials, and this gives explicit series representations for super Jack polynomials.

They are also eigenpolynomials for the Laplace–Beltrami operator, \[\frac{\alpha}{2} \sum_{i=1}^n \left(x_i\frac{\partial}{\partial x_i}\right)^2 + \frac{1}{2} \sum_{i\neq j} \left( \frac{x_i^2}{ x_i - x_j } \right) \frac{\partial}{\partial x_i}.\] See [LLM99, Rob00] for background.

#Knop–Sahi combinatorial formula

F. Knop and S. Sahi give the following formula for the monomial expansion of the integral form Jack polynomials [KS97]: \[\jackJ_\lambda (x;a) = \sum_{T \in \mathrm{NAF}(\lambda)} d_T(a) x^T\] where \(\mathrm{NAF}(\lambda)\) is the set of non-attacking fillings of the diagram \(\lambda.\) These are non-attacking fillings of \(\lambda\) with natural numbers such that for all boxes \((i,j),\) we have

  • \(T(i,j) \neq T(i',j)\) whenever \(i \neq i',\)

  • \(T(i,j) \neq T(i',j+1)\) whenever \(i \gt i'.\)

The quantity \(d_T(a)\) is defined as \[d_T(a) = \prod_{s \in crit(T)} [a( \arm_\lambda(s) +1 ) + ( \leg_\lambda(s) +1 )]\] and \(crit(T)\) is the set of boxes \((i,j)\) with \(j\gt{}1\) such that \(T(i,j) = T(i,j-1).\) The Knop–Sahi formula follows from the more general combinatorial formula for Macdonald polynomials in [HHL05].

Y. Naqvi, S. Sahi, and E. Sergel generalize the Knop–Sahi formula to the nonsymmetric interpolation setting [NSS21].

H. Chen and S. Sahi prove monotonicity for the generalized binomial coefficients attached to Schur and Jack binomial formulas [CS25]. As consequences, they obtain Schur-positivity and Jack-positivity inequalities for the corresponding symmetric functions.

#Pieri rule

R. Stanley provides a Pieri rule for Jack polynomials.

Theorem (See [Thm. 6.1, Sta89]).

Let \(\mu \subseteq \lambda\) and let \(\lambda/\mu\) be a horizontal \(r\)-strip. Then \[\langle \jackJ_{(r)}\jackJ_{(\mu)}, \jackJ_\lambda \rangle = \left( \prod_{\square \in \mu} A_{\lambda \mu}(\square) \right) \left( \prod_{\square \in (r)} h_{(r)}(\square) \right) \left( \prod_{\square \in \lambda} B_{\lambda \mu}(\square) \right)\] where \[\begin{aligned} A_{\lambda \mu}(\square) &= \begin{cases} h'_\mu(\square) &\text{if $\lambda/\mu$ does not intersect the column of $\square,$} \\ h_\mu(\square) &\text{otherwise,} \end{cases} \\ B_{\lambda \mu}(\square) &= \begin{cases} h_\lambda(\square) &\text{if $\lambda/\mu$ does not intersect the column of $\square,$} \\ h'_\lambda(\square) &\text{otherwise.} \end{cases} \end{aligned}\]

The middle product is simply \(r!a^r.\)

G. Shibukawa gives raising-type Pieri formulas for Jack polynomials and applies them to interpolation Jack polynomials [Shi20].

A dual Pieri rule, for computing \(\langle \jackJ_{(1^r)}\jackJ_{(\mu)}, \jackJ_\lambda \rangle,\) is given in [Thm. 6.1, KS96]. It is given for the Jack \(P\) functions and is stated as follows. Let \(X(\lambda/\mu)\) be the set of boxes \((i,j)\) in \(\mu\) such that \(\mu_i=\lambda_i\) and \(\mu'_j \lt \lambda'_j.\) Then \[\langle \jackP_{(1^r)}\jackP_{(\mu)}, \jackP_\lambda \rangle = \prod_{\square \in X(\lambda/\mu)} \frac{ h'_\lambda(\square) h_\mu(\square)}{h_\lambda(\square) h'_\mu(\square)}.\] There is a nice symmetry for the Littlewood–Richardson coefficients, where conjugation of all three shapes corresponds to swapping upper and lower hooks, see [Sec. 2.3, Naq16].

#Jack in power-sum basis

J. Haglund and A. T. Wilson give a formula for \(\jackJ_\lambda (x;a)\) in terms of power-sum symmetric functions [HW17]. It is not cancellation-free in general.

The same paper gives a Schur expansion formula, also not cancellation-free in general.

#Jack Littlewood–Richardson coefficients

Conjecture (See [Sta89]).

R. Stanley conjectures that the coefficients \[g^\lambda_{\mu\nu}(a) \coloneqq \langle \jackJ_\mu \jackJ_\nu, \jackJ_\lambda \rangle_a = H_\lambda H_\mu H_\nu \langle \jackP_\mu \jackP_\nu, \jackP_\lambda \rangle_a\] are polynomials in \(a\) with nonnegative integer coefficients.

Polynomiality of \(g^\lambda_{\mu\nu}(a)\) has been proved [KS97], so only the nonnegativity result remains open. The case when the indexing partitions have at most three parts is proved in [Naq16], and another case involving rectangular shapes is considered in [CJ13]. T. W. Cai and N. Jing also give an iterative realization of general Jack functions from rectangular Jack functions, using Jack vertex operators, and show that products of these vertex operators form a basis of the symmetric functions [CJ13].

This conjecture has a generalization for shifted Jack polynomials.

Lemma

Let us define the Jack Littlewood–Richardson coefficients \(c^\lambda_{\mu\nu}(a)\) via \[\jackP_\mu \jackP_\nu = \sum_{\lambda} c^\lambda_{\mu\nu}(a) \jackP_\lambda.\] Then \(g^\lambda_{\mu\nu}(a) = H'_\lambda H_\mu H_\nu c^\lambda_{\mu\nu}(a).\)

Proof

Since \(\jackP_\mu = \jackJ_\mu/H_\mu,\) we have \[\begin{aligned} \frac{\jackJ_\mu}{H_\mu} \frac{\jackJ_\nu}{H_\nu} = \sum_{\lambda} c^\lambda_{\mu\nu}(a) \frac{\jackJ_\lambda}{H_\lambda} \end{aligned}\] and by rearranging the factors, \[\jackJ_\mu \jackJ_\nu = \sum_{\lambda} \frac{H_\mu H_\nu c^\lambda_{\mu\nu}(a)}{H_\lambda} \jackJ_\lambda.\] We now apply \(\langle \cdot , \jackJ_\lambda \rangle_a\) on both sides and get \[\langle \jackJ_\mu \jackJ_\nu, \jackJ_\lambda \rangle_a = \frac{H_\mu H_\nu c^\lambda_{\mu\nu}(a)}{H_\lambda} \langle \jackJ_\lambda , \jackJ_\lambda \rangle_a.\] This implies that \[g^\lambda_{\mu\nu}(a) = H'_\lambda H_\mu H_\nu c^\lambda_{\mu\nu}(a)\] since \(\langle \jackJ_\lambda , \jackJ_\lambda \rangle_a = H_\lambda H'_\lambda.\)

For some recent progress on the Jack Littlewood–Richardson coefficients, see [Mic23].

#Skew Jack polynomials

No Knop–Sahi analogue is known for skew Jack polynomials, and no combinatorial formula is known for their monomial expansion, even though the coefficients are conjectured to be in \(\setN[a].\) Some observations are proved in [BG22], and this conjecture is closely related to the positivity of \(g^\lambda_{\mu\nu}(a).\)

#Hanlon’s conjecture

Conjecture (See [Han88]).

P. Hanlon conjectured that there should be a weight function \(w(\sigma,\tau)\) such that \[\jackJ_\lambda(x;a) = \sum_{\substack{\sigma \in RS(\lambda) \\ \tau \in CS(\lambda)}} \sign(\sigma) a^{w(\sigma,\tau)} \powerSum_{\text{type}(\sigma\tau)}(x)\] where \(RS(\lambda)\) and \(CS(\lambda)\) are the row- and column-stabilizers of a fixed standard Young tableau of shape \(\lambda.\)

#Schur expansion conjecture

Expanding Jack polynomials in terms of Schur functions seems to have a strong connection with rook polynomials. This is explored in [AHW18]. We pose the following conjecture in that paper.

Conjecture (Alexandersson–Haglund–Wang, 2018).

Define the coefficients \(b_{n-k}(\mu,\lambda)\) and \(c_k(\mu,\lambda)\) via the expansions \[\langle a^{|\lambda|}\jackJ_\mu(x;1/a) , \schurS_\lambda(x) \rangle = \sum_{k=0}^{n} c_k(\mu,\lambda) \binom{a+k}{n} = \sum_{k=0}^{n} b_{n-k}(\mu,\lambda) \binom{a}{k} k!.\] Then \(b_{n-k}(\mu,\lambda)\) and \(c_k(\mu,\lambda)\) are nonnegative integers. Moreover, the roots of the polynomials \[\sum_{k=0}^{n} b_k(\mu,\lambda) z^k \qquad \text{ and } \qquad \sum_{k=0}^{n} c_k(\mu,\lambda) z^k\] are all real.

This conjecture has a rich interplay with rook polynomials, and the relationship between the \(c_k(\mu,\lambda)\) and \(b_{n-k}(\mu,\lambda)\) is similar to that of rook hit polynomials and rook polynomials.

Example (Table of coefficients).

Consider the expansions \[a^{|\lambda|}\jackJ_\mu(x;1/a) = \sum_{k=0}^{n} c_k(\mu,\lambda) \binom{a+k}{n} = \sum_{k=0}^{n} b_{n-k}(\mu,\lambda) \binom{a}{k} k!\] and define the Jack rook polynomial \(R_{\lambda,\mu}(z)\) and the Jack hit polynomial \(H_{\lambda,\mu}(z)\) as \[R_{\lambda,\mu}(z) = \sum_{k=0}^{n} b_k(\mu,\lambda) z^k \qquad H_{\lambda,\mu}(z) = \sum_{k=0}^{n} c_k(\mu,\lambda) z^k,\] respectively. For small \((\lambda,\mu)\) we get the following table. Missing combinations of \(\lambda\) and \(\mu\) means that the corresponding polynomial vanishes.

\( \mu \) \( \lambda \) \( \textbf{Rook} \) \( \textbf{Hit} \) \( 1 \) \( 1 \) \( 1 \) \( 1 \) \( 2 \) \( 2 \) \( 2 z+1 \) \( 2 z \) \( 2 \) \( 11 \) \( 1 \) \( 2 \) \( 11 \) \( 11 \) \( 2 z+2 \) \( 2 z+2 \) \( 3 \) \( 3 \) \( 6 z^2+6 z+1 \) \( 6 z^2 \) \( 3 \) \( 21 \) \( 6 z+2 \) \( 12 z \) \( 3 \) \( 111 \) \( 1 \) \( 6 \) \( 21 \) \( 21 \) \( 3 z^2+7 z+2 \) \( 3 z^2+8 z+1 \) \( 21 \) \( 111 \) \( 4 z+2 \) \( 8 z+4 \) \( 111 \) \( 111 \) \( 6 z^2+18 z+6 \) \( 6 z^2+24 z+6 \) \( 4 \) \( 4 \) \( 24 z^3+36 z^2+12 z+1 \) \( 24 z^3 \) \( 4 \) \( 31 \) \( 36 z^2+24 z+3 \) \( 72 z^2 \) \( 4 \) \( 22 \) \( 12 z^2+12 z+2 \) \( 24 z^2+24 z \) \( 4 \) \( 211 \) \( 12 z+3 \) \( 72 z \) \( 4 \) \( 1111 \) \( 1 \) \( 24 \) \( 31 \) \( 31 \) \( 8 z^3+28 z^2+16 z+2 \) \( 8 z^3+32 z^2+8 z \) \( 31 \) \( 22 \) \( 12 z^2+12 z+2 \) \( 24 z^2+24 z \) \( 31 \) \( 211 \) \( 20 z^2+22 z+4 \) \( 40 z^2+52 z+4 \) \( 31 \) \( 1111 \) \( 6 z+2 \) \( 36 z+12 \) \( 22 \) \( 22 \) \( 12 z^3+48 z^2+30 z+4 \) \( 12 z^3+60 z^2+24 z \) \( 22 \) \( 211 \) \( 20 z^2+22 z+4 \) \( 40 z^2+52 z+4 \) \( 22 \) \( 1111 \) \( 12 z^2+18 z+4 \) \( 24 z^2+60 z+12 \) \( 211 \) \( 211 \) \( 8 z^3+48 z^2+38 z+6 \) \( 8 z^3+72 z^2+60 z+4 \) \( 211 \) \( 1111 \) \( 24 z^2+30 z+6 \) \( 48 z^2+84 z+12 \) \( 1111 \) \( 1111 \) \( 24 z^3+168 z^2+144 z+24 \) \( 24 z^3+264 z^2+264 z+24 \)

Data for partitions of sizes \(1,2,\dotsc,9\) is available from jack-rook-hit-data.txt (106 KiB).

We conjecture that each polynomial above is real-rooted. If the Jack hit polynomials are real-rooted, then so are the Jack rook polynomials.

#Gessel expansion conjecture

Conjecture (See [AHW18]).

We conjecture that a statistic \(\sigma\) exists such that \[a^{|\lambda|}\jackJ_\lambda(x;1/a) = \sum_{\pi,\tau \in \symS_n} \binom{a+n-1-\des(\pi)}{n} \gessel_{\sigma(\mu,\pi,\tau)}(x).\]

#Double Jack polynomials

L. Lapointe and P. Mathieu define double Jack polynomials through the stable sector of Jack superpolynomials [LM15]. After the fermionic variables are stripped off, the stabilized superpolynomials factor into a product of two ordinary Jack polynomials, with plethystic transformations and different effective parameters. They also derive a Hamiltonian for the double Jack family, involving Calogero–Sutherland terms and generators of an affine \(\widehat{\mathfrak{sl}}_2\) algebra.

#Affine analogues

P. Etingof and A. K. Jr. define affine analogues of Jack polynomials as eigenfunctions of an affine Sutherland operator for the affine root system \(\hat{A}_{n-1}\) [EJ94]. They construct these polynomials explicitly as traces of intertwiners for an affine Lie algebra. Their \(q\)-analogue gives affine analogues of Macdonald polynomials.

#Jack characters

The Jack characters are certain normalizations of the coefficients when Jack polynomials are expanded in the power-sum basis.

Let \(\lambda \vdash n\) and \(\mu \vdash m.\) Then the Jack character (introduced in [Las08, Las09]) is defined as \[\theta_{\mu}^{(\alpha)}(\lambda) \coloneqq \begin{cases} 0 & \text{if } n\lt m, \\ \binom{n- m + m_1(\mu)}{m_1(\mu)} [\powerSum_{\mu,1^{n-m}}]\jackJ_\lambda^{(\alpha)} & \text{if } n\geq m, \end{cases}\] where \(m_1(\mu)\) denotes the number of parts equal to \(1\) in \(\mu.\)

N. Lindzey studies Jack derangements by summing Jack characters over partitions with no singleton parts [Lin23]. At the specializations \(\alpha=1\) and \(\alpha=2,\) these sums recover eigenvalues for the permutation derangement graph and the perfect matching derangement graph, respectively. The same work gives a Jack analogue of a hook-product formula for these derangement sums.

M. Lassalle conjectured that Jack characters satisfy a certain positivity property [Las08]. This was proved by H.B. Dali and M. Dołęga [DD23]. The result is stated in Stanley’s multirectangular coordinates.

Let \(\lambda = [s_1^{r_1}, s_2^{r_2}, s_k^{r_k}]\) be the multi-rectangular coordinates for \(\lambda,\) where \(s_1 \geq s_2 \geq \dotsb \geq s_k.\) That is, \(\lambda\) consists of \(k\) rectangles of size \(s_i \times r_i\) stacked on top of each other. In these coordinates, \(\theta_{\mu}^{(\alpha)}(\mathbf{r},\mathbf{s})\) is a polynomial in \(\setQ[\alpha,s_1,\dotsc,s_k,r_1,\dotsc,r_k].\) R. Stanley conjectured a combinatorial formula in the case \(\alpha=1\) [Sta03], and this was later proved by V. Féray [Fe10].

Theorem (H.B. Dali and M. Dołęga [DD23]).

The polynomial \((-1)^{|\mu|}z_\mu \theta_{\mu}^{(\alpha)}(\mathbf{r},\mathbf{s})\) is a polynomial in the variables \(\beta\coloneqq \alpha-1,\) \(-s_1,\dotsc,-s_k,\) \(r_1,\dotsc,r_k\) with nonnegative integer coefficients.

H.B. Dali and M. Dołęga also give a combinatorial formula for \((-1)^{|\mu|}\theta_{\mu}^{(\alpha)}(\lambda)\) in terms of layered, non-oriented maps.

Bibliography

  1. [AHW18]Per Alexandersson, James Haglund and George Wang. On the Schur expansion of Jack polynomials. 30th International conference on formal power series and algebraic combinatorics, 80B, 2018. 12 pages
    .bib
    @inproceedings{AlexanderssonHaglundWang2018,
    	author = {Per Alexandersson and James Haglund and George Wang},
    	title = {On the {S}chur expansion of {J}ack polynomials},
    	url = {https://www.mat.univie.ac.at/~slc/wpapers/FPSAC2018/90-Alexandersson-Haglund-Wang.html},
    	year = {2018},
    	booktitle = {30th {I}nternational Conference on Formal Power Series and Algebraic Combinatorics},
    	venue = {Hanover},
    	publisher = {S{\'{e}}minaire Lotharingien de Combinatoire},
    	volume = {80B},
    	number = {90},
    	note = {12 pages}
    }
    
  2. [BG22]Paolo Bravi and Jacopo Gandini. Some combinatorial properties of skew Jack symmetric functions. The Electronic Journal of Combinatorics, 29(2), 2022.
    .bib
    @article{BraviGandini2021x,
      author = {Paolo Bravi and Jacopo Gandini},
      title = {Some combinatorial properties of skew {J}ack symmetric functions},
      year = {2022},
      journal = {The Electronic Journal of Combinatorics},
      volume = {29},
      number = {2},
      doi = {10.37236/10542},
      url = {https://doi.org/10.37236/10542},
      eprint = {2107.00453}
    }
    
  3. [CJ13]Tommy Wuxing Cai and Naihuan Jing. Jack vertex operators and realization of Jack functions. Journal of Algebraic Combinatorics, 39(1):53–74, March 2013.
    .bib
    @article{CaiJing2013,
    	doi = {10.1007/s10801-013-0438-9},
    	url = {https://doi.org/10.1007%2Fs10801-013-0438-9},
    	year = 2013,
    	month = {mar},
    	publisher = {Springer Science and Business Media {LLC}},
    	volume = {39},
    	number = {1},
    	pages = {53--74},
    	author = {Tommy Wuxing Cai and Naihuan Jing},
    	title = {Jack vertex operators and realization of {J}ack functions},
    	journal = {Journal of Algebraic Combinatorics},
    	eprint = {1108.2007}
    }
    
  4. [CD22]Guillaume Chapuy and Maciej Dołęga. Non-orientable branched coverings, $b$-Hurwitz numbers, and positivity for multiparametric Jack expansions. Advances in Mathematics, 409:108645, 2022.
    .bib
    @article{ChapuyDolega2022,
      author = {Chapuy, Guillaume and Dołęga, Maciej},
      title = {Non-orientable branched coverings, $b$-{H}urwitz numbers, and
        positivity for multiparametric {J}ack expansions},
      year = {2022},
      journal = {Advances in Mathematics},
      volume = {409},
      pages = {108645},
      publisher = {Elsevier BV},
      doi = {10.1016/j.aim.2022.108645},
      url = {https://doi.org/10.1016/j.aim.2022.108645},
      eprint = {2004.07824}
    }
    
  5. [CS25]Hong Chen and Siddhartha Sahi. Monotonicity for generalized binomial coefficients and Jack positivity. Séminaire Lotharingien de Combinatoire, 93B:Article #139, 2025.
    .bib
    @article{ChenSahi2025x,
      author = {Hong Chen and Siddhartha Sahi},
      title = {Monotonicity for generalized binomial coefficients and {J}ack
        positivity},
      year = {2025},
      eprint = {2508.05759},
      url = {https://arxiv.org/abs/2508.05759},
      journal = {S{\'e}minaire Lotharingien de Combinatoire},
      volume = {93B},
      pages = {Article \#139}
    }
    
  6. [Dal23]Houcine Ben Dali. A note on the map expansion of Jack polynomials. arXiv:2310.17756, 2023.
    .bib
    @article{Dali2023x,
      author = {Houcine Ben Dali},
      title = {A note on the map expansion of {J}ack polynomials},
      year = {2023},
      eprint = {2310.17756},
      url = {https://arxiv.org/abs/2310.17756},
      journal = {arXiv e-prints}
    }
    
  7. [DD23]Houcine Ben Dali and Maciej Dołęga. Positive formula for Jack polynomials, Jack characters and proof of Lassalle’s conjecture. arXiv:2305.07966, 2023.
    .bib
    @article{DaliDolega2023x,
    Author = {Houcine Ben Dali and Maciej Dołęga},
    Title = {Positive formula for {J}ack polynomials, {J}ack characters and proof of {L}assalle's conjecture},
    Year = {2023},
    Eprint = {2305.07966},
      url = {https://arxiv.org/abs/2305.07966},
    journal = {arXiv e-prints}
    }
    
  8. [DES07]Ioana Dumitriu, Alan Edelman and Gene Shuman. MOPS: Multivariate orthogonal polynomials (symbolically). Journal of Symbolic Computation, 42(6):587–620, June 2007.
    .bib
    @article{DumitriuEdelmanShuman2007,
      doi = {10.1016/j.jsc.2007.01.005},
      url2 = {https://doi.org/10.1016/j.jsc.2007.01.005},
      year = {2007},
      month = jun,
      publisher = {Elsevier {BV}},
      volume = {42},
      number = {6},
      pages = {587--620},
      author = {Ioana Dumitriu and Alan Edelman and Gene Shuman},
      title = {{MOPS}: Multivariate orthogonal polynomials (symbolically)},
      journal = {Journal of Symbolic Computation}
    }
    
  9. [EJ94]Pavel Etingof and Alexander Kirillov Jr.. On the affine analogue of Jack’s and Macdonald’s polynomials. arXiv:hep-th/9403168, 1994.
    .bib
    @article{EtingofKirillov1994x,
      author = {Pavel Etingof and Alexander Kirillov Jr.},
      title = {On the affine analogue of {J}ack's and {M}acdonald's polynomials},
      year = {1994},
      eprint = {hep-th/9403168},
      url = {https://arxiv.org/abs/hep-th/9403168},
      journal = {arXiv e-prints}
    }
    
  10. [Fe10]Valentin Féray. Stanley’s formula for characters of the symmetric group. Annals of Combinatorics, 13(4):453–461, January 2010.
    .bib
    @article{Feray2010,
      doi = {10.1007/s00026-009-0038-5},
      url = {https://doi.org/10.1007/s00026-009-0038-5},
      year = {2010},
      month = jan,
      publisher = {Springer Science and Business Media {LLC}},
      volume = {13},
      number = {4},
      pages = {453--461},
      author = {Valentin F{\'{e}}ray},
      title = {Stanley's Formula for Characters of the Symmetric Group},
      journal = {Annals of Combinatorics}
    }
    
  11. [HHL05]James Haglund, Mark D. Haiman and Nicholas A. Loehr. A combinatorial formula for Macdonald polynomials. J. Amer. Math. Soc., 18(03):735–762, July 2005.
    .bib
    @article{HaglundHaimanLoehr2005,
      doi = {10.1090/s0894-0347-05-00485-6},
      title = {A combinatorial formula for {M}acdonald polynomials},
      year  = {2005},
      month = jul,
      publisher = {American Mathematical Society ({AMS})},
      volume = {18},
      number = {03},
      pages = {735--762},
      author = {James Haglund and Mark D. Haiman and Nicholas A. Loehr},
      journal = {J. Amer. Math. Soc.}
    }
    
  12. [HW17]James Haglund and Andrew T. Wilson. Macdonald polynomials and chromatic quasisymmetric functions. arXiv:1701.05622, 2017.
    .bib
    @article{HaglundWilson2017,
    Author = {James Haglund and Andrew T. Wilson},
    Title = {Macdonald polynomials and chromatic quasisymmetric functions},
    journal = {arXiv e-prints},
    Year = {2017},
    eprint = {1701.05622}
    }
    
  13. [Hal07]Martin Hallnäs. A basis for the polynomial eigenfunctions of deformed Calogero–Moser–Sutherland operators. arXiv:0712.1496, 2007.
    .bib
    @article{Hallnas2007x,
      author = {Martin Halln{\"a}s},
      title = {A basis for the polynomial eigenfunctions of deformed
        {C}alogero--{M}oser--{S}utherland operators},
      year = {2007},
      eprint = {0712.1496},
      url = {https://arxiv.org/abs/0712.1496},
      journal = {arXiv e-prints}
    }
    
  14. [Han88]Phil Hanlon. Jack symmetric functions and some combinatorial properties of Young symmetrizers. Journal of Combinatorial Theory, Series A, 47(1):37–70, January 1988.
    .bib
    @article{Hanlon1988,
      doi = {10.1016/0097-3165(88)90042-8},
      year  = {1988},
      month = jan,
      publisher = {Elsevier {BV}},
      volume = {47},
      number = {1},
      pages = {37--70},
      author = {Phil Hanlon},
      title = {Jack symmetric functions and some combinatorial properties of {Y}oung symmetrizers},
      journal = {Journal of Combinatorial Theory,  Series A}
    }
    
  15. [Jac70]Henry Jack. A class of symmetric polynomials with a parameter. Proc. Roy. Soc. Edinburgh Sect. A, 69:1–18, 1970.
    .bib
    @article{Jack1970,
      year  = {1970/1971},
      publisher = {},
      volume = {69},
      pages = {1--18},
      author = {Henry Jack},
      title = {A class of symmetric polynomials with a parameter},
      journal = {Proc. Roy. Soc. Edinburgh Sect. A}
    }
    
  16. [KS96]Friedrich Knop and Siddhartha Sahi. Difference equations and symmetric polynomials defined by their zeros. International Mathematics Research Notices, 1996(10):473, 1996.
    .bib
    @article{KnopSahi1996,
      doi = {10.1155/s1073792896000311},
      url2 = {https://doi.org/10.1155/s1073792896000311},
      year = {1996},
      publisher = {Oxford University Press ({OUP})},
      volume = {1996},
      number = {10},
      pages = {473},
      title = {Difference equations and symmetric polynomials defined by their zeros},
      author = {Friedrich Knop and Siddhartha Sahi},
      journal = {International Mathematics Research Notices}
    }
    
  17. [KS97]Friedrich Knop and Siddhartha Sahi. A recursion and a combinatorial formula for Jack polynomials. Inventiones Mathematicae, 128(1):9–22, March 1997.
    .bib
    @article{KnopSahi1997,
      doi = {10.1007/s002220050134},
      url2 = {https://doi.org/10.1007/s002220050134},
      year  = {1997},
      month = mar,
      publisher = {Springer Nature},
      volume = {128},
      number = {1},
      pages = {9--22},
      author = {Friedrich Knop and Siddhartha Sahi},
      title = {A recursion and a combinatorial formula for {J}ack polynomials},
      journal = {Inventiones Mathematicae}
    }
    
  18. [LLM99]Luc Lapointe, A. Lascoux and J. Morse. Determinantal expression and recursion for Jack polynomials. The Electronic Journal of Combinatorics, 7(1), November 1999.
    .bib
    @article{LapointeLascouxMorse1999,
      doi = {10.37236/1539},
      url2 = {https://doi.org/10.37236/1539},
      year = {1999},
      month = nov,
      publisher = {The Electronic Journal of Combinatorics},
      volume = {7},
      number = {1},
      author = {Luc Lapointe and A. Lascoux and J. Morse},
      title = {Determinantal Expression and Recursion for {J}ack Polynomials},
      journal = {The Electronic Journal of Combinatorics}
    }
    
  19. [LM15]Luc Lapointe and Pierre Mathieu. From Jack to double Jack polynomials via the supersymmetric bridge. SIGMA. Symmetry, Integrability and Geometry: Methods and Applications, 11:051, 2015.
    .bib
    @article{LapointeMathieu2015,
      author = {Luc Lapointe and Pierre Mathieu},
      title = {From {J}ack to Double {J}ack Polynomials via the Supersymmetric
        Bridge},
      year = {2015},
      journal = {SIGMA. Symmetry, Integrability and Geometry: Methods and
        Applications},
      volume = {11},
      pages = {051},
      doi = {10.3842/SIGMA.2015.051},
      url = {https://doi.org/10.3842/SIGMA.2015.051}
    }
    
  20. [Las08]Michel Lassalle. A positivity conjecture for Jack polynomials. Mathematical Research Letters, 15(4):661–681, 2008.
    .bib
    @article{Lassalle2008,
      doi = {10.4310/mrl.2008.v15.n4.a6},
      url2 = {https://doi.org/10.4310/mrl.2008.v15.n4.a6},
      year = {2008},
      publisher = {International Press of Boston},
      volume = {15},
      number = {4},
      pages = {661--681},
      author = {Michel Lassalle},
      title = {A positivity conjecture for {J}ack polynomials},
      journal = {Mathematical Research Letters}
    }
    
  21. [Las09]Michel Lassalle. Jack polynomials and free cumulants. Advances in Mathematics, 222(6):2227–2269, December 2009.
    .bib
    @article{Lassalle2009,
      doi = {10.1016/j.aim.2009.07.007},
      url2 = {https://doi.org/10.1016/j.aim.2009.07.007},
      year = {2009},
      month = dec,
      publisher = {Elsevier {BV}},
      volume = {222},
      number = {6},
      pages = {2227--2269},
      author = {Michel Lassalle},
      title = {Jack polynomials and free cumulants},
      journal = {Advances in Mathematics}
    }
    
  22. [Lin23]Nathan Lindzey. Jack Derangements. arXiv:2304.06629, 2023.
    .bib
    @article{Lindzey2023x,
      author = {Nathan Lindzey},
      title = {Jack {D}erangements},
      year = {2023},
      eprint = {2304.06629},
      url = {https://arxiv.org/abs/2304.06629},
      journal = {arXiv e-prints}
    }
    
  23. [Mac92]Ian G. Macdonald. Schur functions: Theme and variations. Séminaire Lotharingien de Combinatoire [electronic only], 28:5–39, 1992.
    .bib
    @article{Macdonald1992,
    	author = {Ian G. Macdonald},
    	journal = {S{\'{e}}minaire Lotharingien de Combinatoire [electronic only]},
    	language = {eng},
    	pages = {5--39},
    	publisher = {Universit{\"{a}}t Wien, Fakult{\"{a}}t f{\"{u}}r Mathematik},
    	title = {Schur functions: {T}heme and variations},
    	url = {http://eudml.org/doc/119412},
    	volume = {28},
    	year = {1992}
    }
    
  24. [Mac95]Ian G. Macdonald. Symmetric functions and Hall polynomials. Oxford mathematical monographs. The Clarendon Press, Oxford University Press, 1995. With contributions by A. Zelevinsky, Oxford Science Publications
    .bib
    @book{Macdonald1995,
    	address = {New York},
    	author = {Ian G. Macdonald},
    	edition = {Second},
    	isbn = {0-19-853489-2},
    	mrclass = {05E05 (05-02 20C30 20C33 20K01 33C80 33D80)},
    	note = {With contributions by A. Zelevinsky, Oxford Science Publications},
    	pages = {x+475},
    	publisher = {The Clarendon Press, Oxford University Press},
    	series = {Oxford Mathematical Monographs},
    	title = {Symmetric functions and {H}all polynomials},
    	year = {1995}
    }
    
  25. [Mic23]Ryan Mickler. Jack Littlewood–Richardson coefficients and the Nazarov–Sklyanin Lax operator. arXiv:2306.11115, 2023.
    .bib
    @article{Mickler2023x,
    Author = {Ryan Mickler},
    Title = {Jack {L}ittlewood--{R}ichardson Coefficients and the {N}azarov--{S}klyanin {L}ax Operator},
    Year = {2023},
    Eprint = {2306.11115},
      url = {https://arxiv.org/abs/2306.11115},
    journal = {arXiv e-prints}
    }
    
  26. [Naq16]Yusra Naqvi. A product formula for certain Littlewood–Richardson coefficients for Jack and Macdonald polynomials. Journal of Algebraic Combinatorics, 44(3):603–643, April 2016.
    .bib
    @article{Naqvi2016,
    	doi = {10.1007/s10801-016-0682-x},
    	url = {https://doi.org/10.1007%2Fs10801-016-0682-x},
    	year = 2016,
    	month = {apr},
    	publisher = {Springer Science and Business Media {LLC}},
    	volume = {44},
    	number = {3},
    	pages = {603--643},
    	author = {Yusra Naqvi},
    	title = {A product formula for certain {L}ittlewood--{R}ichardson coefficients for {J}ack and {M}acdonald polynomials},
    	journal = {Journal of Algebraic Combinatorics}
    }
    
  27. [NSS21]Yusra Naqvi, Siddhartha Sahi and Emily Sergel. Interpolation polynomials, bar monomials, and their positivity. arXiv:2104.08598, 2021.
    .bib
    @article{NaqviSahiSergel2021x,
    Author = {Yusra Naqvi and Siddhartha Sahi and Emily Sergel},
    Title = {Interpolation polynomials, bar monomials, and their positivity},
    Year = {2021},
    Eprint = {2104.08598},
      url = {https://arxiv.org/abs/2104.08598},
    journal = {arXiv e-prints}
    }
    
  28. [Rob00]Leigh Roberts. A unified view of determinantal expansions for Jack polynomials. The Electronic Journal of Combinatorics, 8(1), December 2000.
    .bib
    @article{Roberts2000,
      doi = {10.37236/1547},
      url2 = {https://doi.org/10.37236/1547},
      year = {2000},
      month = dec,
      publisher = {The Electronic Journal of Combinatorics},
      volume = {8},
      number = {1},
      author = {Leigh Roberts},
      title = {A Unified View of Determinantal Expansions for {J}ack Polynomials},
      journal = {The Electronic Journal of Combinatorics}
    }
    
  29. [SV05]A. N. Sergeev and A. P. Veselov. Generalised discriminants, deformed Calogero–Moser–Sutherland operators and super-Jack polynomials. Advances in Mathematics, 192(2):341–375, April 2005.
    .bib
    @article{SergeevVeselov2005,
      doi = {10.1016/j.aim.2004.04.009},
      url2 = {https://doi.org/10.1016/j.aim.2004.04.009},
      year = {2005},
      month = apr,
      publisher = {Elsevier {BV}},
      volume = {192},
      number = {2},
      pages = {341--375},
      author = {A.N. Sergeev and A.P. Veselov},
      title = {Generalised discriminants,  deformed {C}alogero--{M}oser--{S}utherland operators and super-{J}ack polynomials},
      journal = {Advances in Mathematics}
    }
    
  30. [Shi20]Genki Shibukawa. New Pieri type formulas for Jack polynomials and their applications to interpolation Jack polynomials. Symmetry, Integrability and Geometry: Methods and Applications, 2020.
    .bib
    @article{Shibukawa2020,
      author = {Genki Shibukawa},
      title = {New {P}ieri type formulas for {J}ack polynomials and their
        applications to interpolation {J}ack polynomials},
      year = {2020},
      journal = {Symmetry, Integrability and Geometry: Methods and Applications},
      doi = {10.3842/sigma.2020.118},
      eprint = {2010.04241}
    }
    
  31. [Sta89]Richard P. Stanley. Some combinatorial properties of Jack symmetric functions. Advances in Mathematics, 77(1):76–115, September 1989.
    .bib
    @article{Stanley1989,
      doi = {10.1016/0001-8708(89)90015-7},
      url2 = {https://doi.org/10.1016/0001-8708(89)90015-7},
      year  = {1989},
      month = sep,
      publisher = {Elsevier {BV}},
      volume = {77},
      number = {1},
      pages = {76--115},
      author = {Richard P. Stanley},
      title = {Some combinatorial properties of {J}ack symmetric functions},
      journal = {Advances in Mathematics}
    }
    
  32. [Sta03]Richard P. Stanley. Irreducible symmetric group characters of rectangular shape. Séminaire Lotharingien de Combinatoire, 50:1–11, 2003.
    .bib
    @article{Stanley2003,
      year  = {2003},
      article = {B50d},
      volume = {50},
      pages = {1--11},
      author = {Richard P. Stanley},
      title = {Irreducible symmetric group characters of rectangular shape},
      journal = {S{\'{e}}minaire Lotharingien de Combinatoire}
    }
    
  33. [Sut71]Bill Sutherland. Quantum many-body problem in one dimension: Ground state. Journal of Mathematical Physics, 12(2):246–250, February 1971.
    .bib
    @article{Sutherland1971,
      doi = {10.1063/1.1665584},
      url2 = {https://doi.org/10.1063/1.1665584},
      year = {1971},
      month = feb,
      publisher = {{AIP} Publishing},
      volume = {12},
      number = {2},
      pages = {246--250},
      author = {Bill Sutherland},
      title = {Quantum Many-Body Problem in One Dimension: Ground State},
      journal = {Journal of Mathematical Physics}
    }
    
  34. [WW23]Na Wang and Ke Wu. 3D bosons, 3-Jack polynomials and affine Yangian of ${\mathfrak{gl}}(1)$. Journal of High Energy Physics, 2023(3):232, 2023.
    .bib
    @article{WangWu2023,
      author = {Wang, Na and Wu, Ke},
      title = {3{D} bosons, 3-{J}ack polynomials and affine {Y}angian of
        ${\mathfrak{gl}}(1)$},
      year = {2023},
      journal = {Journal of High Energy Physics},
      volume = {2023},
      number = {3},
      pages = {232},
      publisher = {Springer},
      doi = {10.1007/JHEP03(2023)232},
      url = {https://doi.org/10.1007/JHEP03(2023)232},
      eprint = {2212.05665}
    }
    
  35. [DLM04]J. F. Diejen, L. Lapointe and J. Morse. Determinantal construction of orthogonal polynomials associated with root systems. Compositio Mathematica, 140(02):255–273, March 2004.
    .bib
    @article{vanDiejenLapointeMorse2004,
      doi = {10.1112/s0010437x03000149},
      url2 = {https://doi.org/10.1112/s0010437x03000149},
      year = {2004},
      month = mar,
      publisher = {Wiley},
      volume = {140},
      number = {02},
      pages = {255--273},
      author = {J. F. van Diejen and L. Lapointe and J. Morse},
      title = {Determinantal construction of orthogonal polynomials associated with root systems},
      journal = {Compositio Mathematica}
    }
    

I use cookies to detect website issues and track search terms.