---
title: "Symmetric Polynomials \U0001D4A2^(u,v)_λ: Two-Parameter Functions"
url: https://www.emergentmind.com/topics/symmetric-polynomials-mathfrak-g-mathbf-u-mathbf-v-_-lambda
type: topic
---

# Symmetric Polynomials 𝒢^(u,v)_λ: Two-Parameter Functions

The symmetric polynomials $\mathfrak{G}^{(\mathbf{u},\mathbf{v})}_\lambda$ form a two-parameter family of symmetric functions in several variables, defined and studied in the context of exactly solvable lattice models and algebraic combinatorics. These polynomials unify and interpolate between classical symmetric function bases—including Schur, Macdonald, $q$-Whittaker, ordinary Grothendieck, dual Grothendieck, and inhomogeneous $q$-Whittaker polynomials—by introducing infinite parameter sequences $\mathbf{u} = (u_1,u_2,\ldots)$ and $\mathbf{v} = (v_1,v_2,\ldots)$, in addition to underlying deformation parameters such as $q$ and $t$. Distinct specialisations of these parameters recover several fundamental families in algebraic combinatorics, symmetric functions, and representation theory. The theory of $\mathfrak{G}^{(\mathbf{u},\mathbf{v})}_\lambda$ is situated at the juncture of symmetric function theory, integrable probability, and the theory of quantum integrable systems.

## 1. Definitions and Lattice Model Construction

The polynomials $\mathfrak{G}^{(\mathbf{u},\mathbf{v})}_\lambda(x_1,\dots,x_n)$ are naturally encoded as partition functions of exactly solvable lattice models. Fix two infinite sequences $\mathbf{u}=(u_1,u_2,\ldots)$ and $\mathbf{v}=(v_1,v_2,\ldots)$. For a partition $\lambda$ and its conjugate $\lambda'$, associate a basis vector $|\lambda'\rangle$ in a Fock space $\mathbb{V}=\bigotimes_{k=1}^\infty V$ with $V=\bigoplus_{i\geq0}\mathbb{C}\,e_i$. The row-transfer matrix $\mathbb{T}(x)$ involves fused Boltzmann weights $\mathbb{W}_{x;(u,v)}(a,b;c,d)$ that depend rationally on $x$, $q$, $u$, $v$, and the involved spins. For partitions $\mu \subseteq \lambda$, define the polynomial as
$$
\mathfrak{G}^{(\mathbf{u},\mathbf{v})}_{\lambda/\mu}(x_1,\dots,x_n) = \langle \lambda'| \, \mathbb{T}(x_n)\cdots\mathbb{T}(x_1) \, | \mu' \rangle,
$$
with the non-skew case $\mathfrak{G}^{(\mathbf{u},\mathbf{v})}_\lambda(x) = \mathfrak{G}^{(\mathbf{u},\mathbf{v})}_{\lambda/\varnothing}(x)$ [2512.04468].

A related class, with homogeneous parameters $u,v$ (i.e., $u_i = u, v_i = v$), also arises from combinatorial formulas using set-valued reverse plane partitions (SVRPPs) and various statistics encoding irredundant content, column-equalities, and excess [2505.19072]. Another generalisation, $\mathfrak{G}^{(u,v)}_\lambda(x_1,\ldots,x_n;q,t)$, is realised via a matrix-product solution to the Zamolodchikov–Faddeev algebra and non-symmetric building blocks $f_u(x;q,t;u,v)$, which are then symmetrised over the Weyl group [1605.07200].

## 2. Specialisations and Interpolating Properties

Distinct choices of the parameters yield classical, dual, and inhomogeneous bases:
- $\mathbf{u} = \mathbf{v} = 0$: Macdonald (when $q,t$ are present) or $q$-Whittaker ($t=0$) polynomials.
- $\mathbf{v} = 0$: Inhomogeneous $q$-Whittaker polynomials.
- $q=0$, $\mathbf{v}=0$: Grothendieck polynomials $G_\lambda(x)$.
- $q=0$, $\mathbf{u}=0$, $\mathbf{v} = \beta \mathbf{1}$: Dual Grothendieck polynomials $g_\lambda(x)$.
- For the homogeneous parameter case $u=v=0$, the Schur function $s_\lambda(x)$ is recovered [2512.04468, 1605.07200, 2505.19072].

This unification results from the interplay of weights in the underlying lattice models and in the combinatorial tableau statistics.

## 3. Symmetry, Cauchy Identities, and Dualities

The polynomials $\mathfrak{G}^{(\mathbf{u},\mathbf{v})}_\lambda(x_1,\ldots,x_n)$ are symmetric in the $x$ variables by construction. The underlying lattice model satisfies the Yang–Baxter equation, yielding functional Cauchy identities of the form
$$
\sum_{\kappa \supseteq \lambda, \mu} \frac{c_{\kappa'}c_{\lambda'}}{c_{\mu'}c_{\kappa'}} \mathfrak{G}^{(\mathbf{v},\mathbf{u})}_{\kappa/\lambda}(x) \mathfrak{G}^{(\mathbf{u},\mathbf{v})}_{\kappa/\mu}(y)
= \prod_{i,j} \frac{1}{(x_i y_j;q)_\infty} \sum_{\kappa \subseteq \lambda, \mu} \frac{c_{\mu'}c_{\kappa'}}{c_{\lambda'}c_{\kappa'}} \mathfrak{G}^{(\mathbf{v},\mathbf{u})}_{\mu/\kappa}(x) \mathfrak{G}^{(\mathbf{u},\mathbf{v})}_{\lambda/\kappa}(y)
$$
with suitable normalisation constants $c_{\lambda'}$ [2512.04468]. 

A canonical involutive duality exchanges $\mathbf{u} \leftrightarrow \mathbf{v}$, mapping $\mathfrak{G}^{(\mathbf{u},\mathbf{v})}_\lambda(x) \leftrightarrow \mathfrak{J}^{(\mathbf{v},\mathbf{u})}_\lambda(x)$, where $\mathfrak{J}$ is a Hall–Littlewood–type symmetric function, induced by a local gauge-transformation of the lattice weights and corresponding to a $q$-deformation of the standard $\omega$ involution [2512.04468].

## 4. Combinatorial and Algebraic Structures

The SVRPP model of hybrid Grothendieck polynomials encodes $\mathfrak{G}_\lambda^{(u,v)}(x)$ as sums over fillings of $\lambda$ by sets of positive integers, subject to weak increase row and column constraints:
$$
G_\lambda^{(u,v)}(x) = \sum_{T \in \mathrm{SVRPP}(\lambda)} x^{\mathrm{ircont}(T)} u^{|\mathrm{ceq}(T)|} v^{|\mathrm{ex}(T)|}
$$
where $\mathrm{ircont}$ counts irredundant content (column support), $\mathrm{ceq}$ counts redundant cells, and $\mathrm{ex}$ counts excess (additional elements per row) [2505.19072].

Kashiwara operators $e_i,f_i$ equip the combinatorial model with a $\mathfrak{gl}_n$-crystal structure, preserving the relevant statistics and enabling a Schur function expansion indexed by highest-weight vectors. Furthermore, the Newton polytope of these polynomials for straight shapes is saturated, as all partitions between the minimal and maximal content occur with nonzero coefficients [2505.19072].

Explicit algebraic representations for $\mathfrak{G}^{(u,v)}_\lambda(x;q,t)$ leverage a matrix-product ansatz involving $t$-boson algebras and higher-rank $L$-matrices, parameterising the polynomials by normalization constants $Q_\lambda(q,t)$, which coincide with those of the Macdonald polynomials when $u=v=0$ [1605.07200]. The corresponding non-symmetric functions $f_u(x_1,\ldots,x_n;q,t;u,v)$ provide a systematic route to triangular expansions in monomial and power-sum bases.

## 5. Transition Coefficients and Expansion Formulas

The expansion of $\mathfrak{G}^{(\mathbf{u},\mathbf{v})}_\lambda(x)$ and related symmetric polynomials in various classical bases is governed by explicit positive combinatorial formulas. There exist lattice-path and tableau models for the transition coefficients $a_{\lambda, \mu}(q), b_{\lambda, \mu}(q), c_{\lambda, \mu}(q)$ between the $q$-Whittaker, inhomogeneous, and Grothendieck bases:
\[
W_\lambda(x) = \sum_{\mu} a_{\lambda, \mu}(q)\, \mathbb{F}_\mu(x), \qquad
\mathbb{F}_\lambda(x) = \sum_\mu b_{\lambda,\mu}(q) W_\mu(x), \qquad
\mathfrak{G}_\lambda^{\mathbf{u}}(x) = \sum_\mu c_{\lambda,\mu}(q) W_\mu(x)
\]
with each coefficient given as an exactly solvable lattice model partition function with local weights and positivity properties $a_{\lambda,\mu}(q) \in \mathbb{N}[q]$, $(-1)^{|\lambda|-|\mu|} b_{\lambda,\mu}(q) \in \mathbb{N}[q]$, $c_{\lambda,\mu}(q) \in \mathbb{N}[q]$ [2512.04468].

Branching rules, such as one-variable skew formulas, precisely control the one-variable specialisation and allow recursive construction of higher-rank polynomials. Explicit factorised formulas govern these expansions in terms of the parameters $u_i$, $v_i$, $q$, and row multiplicities [2512.04468].

## 6. Connections to Integrable Probability and Future Directions

$\mathfrak{G}^{(\mathbf{u},\mathbf{v})}_\lambda(x)$ and their degenerations have applications in integrable probability, particularly in connection to particle systems, stochastic vertex models, and geometric representation theory. The matrix-product constructions and Yang–Baxter solvability give rise to identities and positive combinatorial formulas reminiscent of those arising in quantum integrable systems.

Several structural conjectures remain open, such as full Cauchy and Pieri rules for general $(u,v)$, explicit orthogonality relations and norms beyond the known $(u,v)=(0,0)$ settings, and the eigenoperator structure for $(u,v) \neq 0$. The connections of these deformations with deeper aspects of Schur positivity, crystal commutor combinatorics, and representation theory continue to motivate ongoing research [1605.07200, 2512.04468, 2505.19072].

## 7. Summary of Key Parameter Actions and Specialisations

| Parameter Regime      | Specialisation                                     | Classical Object                |
|-----------------------|----------------------------------------------------|---------------------------------|
| $q=0$, $u=v=0$        | Macdonald $\longrightarrow$ Schur                  | Schur function $s_\lambda(x)$   |
| $q=0$, $v=0$          | Grothendieck                                       | $G_\lambda(x)$                  |
| $q=0$, $u=0$, $v>0$   | Dual Grothendieck                                  | $g_\lambda(x)$                  |
| $q=0$, $u=v=s$        | Borodin–Petrov rational inhomogeneous              | $F_\lambda(x;t;s)$              |
| $u=\mathbf{u}=0$, $v=\mathbf{v}=0$   | Macdonald/$q$-Whittaker                      | $P_\lambda(x;q,t),\, W_\lambda(x;q)$ |
| General  $(\mathbf{u},\mathbf{v})$   | Two-parameter interpolation                   | $\mathfrak{G}^{(\mathbf{u},\mathbf{v})}_\lambda$ |

These interpolations, together with algebraic and combinatorial tools, underscore the centrality of $\mathfrak{G}^{(\mathbf{u},\mathbf{v})}_\lambda$ in modern developments at the intersection of combinatorics, integrable systems, and symmetric function theory [1605.07200, 2512.04468, 2505.19072].

Source: https://www.emergentmind.com/topics/symmetric-polynomials-mathfrak-g-mathbf-u-mathbf-v-_-lambda