Universal Symmetric Polynomials

• Universal symmetric polynomials are generalized Schur functions constructed from any monic polynomial basis, extending classical symmetric function theory.
• They satisfy quantum Jacobi–Trudi identities and recast integrable hierarchies like KP and 2D Toda as τ-functions, enabling combinatorial and operator theoretic expansions.
• Their universality bridges connections to classical group characters, matrix models, and random processes, highlighting a versatile framework in both mathematics and physics.

Universal symmetric polynomials are a generalization of classical Schur polynomials, constructed by associating to any monic polynomial basis $\{\phi_i(x)\}$ for $\C(x)$ an element $[\Phi]$ in the Grassmannian of $n$-dimensional subspaces of the Hardy space $H^2$ over $\F = \C(x_1,\ldots,x_n)$. The resulting Plücker coordinates $S^\phi_{\lambda,n}(x_1,\ldots,x_n)$, indexed by partitions $\lambda$, deform standard Schur function theory through combinatorial determinants and encode broad connections to KP and 2D Toda integrable hierarchies, classical group characters, random processes, and matrix models, subsuming these as special or limiting cases (Harnad et al., 2013).

1. Definition and Fundamental Construction

Given a monic polynomial basis $$\phi = \{\phi_0(x)=1, \phi_1(x), \phi_2(x), \ldots\}$$ with $\deg\phi_i = i$, define the $n\times\infty$ matrix $\Phi_{ij} = \phi_j(x_i)$ for $1\leq i\leq n$, $j\geq 0$. Let $\Phi(0)$ be the $n\times n$ Vandermonde-like minor with columns $0,\ldots,n-1$. For a partition $$\lambda = (\lambda_1\geq \cdots \geq \lambda_n\geq 0)$$, set $l_i = \lambda_i - i + n$. The Plücker coordinate formula is: $$S^\phi_{\lambda,n}(x_1,\ldots,x_n) = \frac{\det[\phi_{l_i}(x_j)]_{i,j=1}^n}{\det[\phi_{i-1}(x_j)]_{i,j=1}^n}$$ This construction is universal for any choice of the basis $\phi$, reducing to classical Schur polynomials when $\phi_i(x)=x^i$.

2. Quantum Jacobi–Trudi Identities and Recursion

Define generalized complete symmetric functions $h^{(0)}_k = S^\phi_{(k),n}(x_1,\ldots,x_n)$, $k\geq 0$. Structure these as semi-infinite columns subject to the recursion of the polynomial basis, encoded through the recursion operator $J$. Construct the infinite matrix $H = (H^{(1)},\ldots,H^{(n)})$, with $H^{(j)} = J H^{(j-1)}$, and the invertible $n\times n$ minor $H(0)$. A crucial structural result (Proposition 2.1) is: $$[\Phi] = [H], \quad H H(0)^{-1} = \Phi \Phi(0)^{-1}$$ The generalized Jacobi–Trudi formula for universal symmetric polynomials follows: $$S^\phi_{\lambda,n}(x) = \det[h^{(0)}_{\lambda_i - i + j}]_{1\leq i, j\leq \ell(\lambda)}$$ where $\ell(\lambda)\leq n$. Dual identities exist for the analogues of elementary symmetric functions $e^{(0)}_k$, yielding the dual Jacobi–Trudi formulation: $$S^\phi_{\lambda,n}(x) = \det[e^{(0)}_{\lambda'_i - i + j}]_{1\leq i,j\leq \ell(\lambda')}$$

3. KP τ-Functions and Integrable Hierarchies

Introduce power-sum KP-flow variables $t_k = \frac{1}{k}\sum_{a=1}^n x_a^k$, with $[x] = (t_1, t_2,\ldots)$. For fixed $n$,

$$S^\phi_{\lambda,n}([x]) = \sum_{\mu: \ell(\mu)\leq n} C^\phi_{\lambda\mu}\, S_\mu([x])$$

where $S_\mu$ are standard Schur functions and $C^\phi_{\lambda\mu}$ are Plücker coordinates for another Grassmannian element. The series

$$T_\phi(n, [x], t) = \sum_{\lambda: \ell(\lambda)\leq n} S^\phi_{\lambda,n}([x]) S_\lambda(t)$$

is a KP τ-function, satisfying Hirota bilinear equations in $[x]$ and $t$. This τ-function encoding plays a central role in integrable systems, allowing the construction of solution spaces and combinatorial expansions.

4. Fermionic Operator Formalism

The universal symmetric polynomials admit a representation via fermionic (Clifford algebra) operators. Let $\{\psi_i, \psi^\dagger_i\}_{i\in\mathbb{Z}}$ obey standard fermionic anticommutation relations, with vacua $|n\rangle$, $\langle n|$. For the lower-triangular recursion matrix $a_{ij}$ of $\phi$, set

$$g_\phi = \exp\bigg( \sum_{i>j\geq 0} a_{ij}\, \psi_i\psi^\dagger_j \bigg)$$

The bosonic operators $\Gamma_+(t) = \exp(\sum_{k\geq 1} t_k J_k)$, $$J_k = \sum_{m\in\mathbb{Z}} \psi_m\psi^\dagger_{m+k}$$, generate KP flows. The generalized Schur polynomials then admit: $$S^\phi_{\lambda,n}([x]) = \langle n|\, \Gamma_+([x])\,g_\phi\, |\lambda;n\rangle$$ and the corresponding τ-function is

$$T_\phi(n,[x],t) = \langle n|\, \Gamma_+(t)\,g_\phi\,\Gamma_-([x])\,|n\rangle$$

These forms satisfy the standard bilinear identities critical for integrable hierarchy theory.

5. Classical Specializations and Universality

Universal symmetric polynomials interpolate between, and generalize, key classical cases:

• Ordinary Schur functions: For $\phi_i(x) = x^i$, $J$ is the shift, $g_\phi=I$. Recover $S^\phi_{\lambda,n}(x)=S_\lambda(x)$, $h^{(0)}_k = h_k$, $e^{(0)}_k = e_k$.
• Orthogonal polynomial characters: For any orthogonal polynomial system (Jacobi, Hermite, etc.), $S^\phi_{\lambda}$ coincides with the irreducible characters of classical groups via the Weyl character formula. For $\Sp(2n)$, $\SO(2n)$, $\SO(2n+1)$, one recovers determinantal character formulae of Fulton–Harris and Littlewood.

This universality provides a framework connecting combinatorial symmetric function theory and representation theory of classical groups.

6. Applications in Matrix Models, Random Processes, and Integrable Hierarchies

Universal symmetric polynomials underpin several important applications:

• 2D Toda lattice τ-functions: By introducing a second polynomial basis $\theta$ and corresponding dressing $g_\theta$, one obtains

$$T_{\phi,\theta}(n,t,s) = \sum_{\lambda} S^{\phi}_{\lambda,n}(t) S^{\theta}_{\lambda,n}(s) = \langle n|\, \Gamma_{+}(t)\,g_\phi\,g_\theta^\dagger\, \Gamma_-(s)\,|n\rangle$$

• Matrix models: Selecting $g_\phi$ to factorize a Hankel or bimoment matrix gives the representation of matrix model partition functions as

$$Z_n(t) = \int \cdots \int \Delta(z)^2\, e^{\sum_k t_k \sum z_i^k} \prod_i d\mu(z_i) = n! T_\phi(n,t,0)$$

for one-matrix or two-matrix models, with $\Delta(z)$ the Vandermonde determinant.

• Random processes: The framework allows fermionic constructions of exclusion processes, such as TASEP-type models, by substituting a charge-preserving “hopping” operator for $g_\phi$. Evolution operator matrix elements then generate transition probabilities via τ-function expansions.

A plausible implication is the capacity of the Harnad–Lee construction (Harnad et al., 2013) to serve as a universal nexus linking classical symmetric function theory, integrable systems, group character theory, and stochastic process analysis through a single determinantal and operator-theoretic formalism.