---
title: Supersymmetric Schur Polynomial
url: https://www.emergentmind.com/topics/supersymmetric-schur-polynomial
type: topic
---

# Supersymmetric Schur Polynomial

The supersymmetric Schur polynomial is the standard Schur-type polynomial attached to two alphabets of commuting variables and a partition constrained by a hook condition. In the Berele–Regev framework one fixes \(x=(x_1,\dots,x_k)\), \(y=(y_1,\dots,y_\ell)\), and a partition \(\lambda\in H(k,\ell)\), and defines the polynomial as the generating function of \((k,\ell)\)-semistandard tableaux of shape \(\lambda\). In the symmetric-function and fermionic literature the same object is commonly written \(s_\lambda(x/y)\); in the finite-variable setting, “hook Schur function” is a standard synonym [2507.22528] [2105.02604] [1510.00644].

## 1. Classical definition and basic identities

In the Berele–Regev setup, the ordered super-alphabet is
\[
t_1< t_2<\cdots<t_k<u_1<u_2<\cdots<u_\ell,
\]
and the indexing partition is required to lie in the \((k,\ell)\)-hook
\[
H(k,\ell):=\{\lambda\mid \lambda_{k+1}\le \ell\}.
\]
A \((k,\ell)\)-semistandard tableau of shape \(\lambda\) is a filling of the Young diagram \(D_\lambda\) by letters \(t_i,u_j\) such that the \(t\)-letters are weakly increasing along rows and strictly increasing down columns, while the \(u\)-letters are weakly increasing down columns and strictly increasing along rows. If
\[
a_i(T):=\#\{t_i\text{ in }T\},\qquad b_j(T):=\#\{u_j\text{ in }T\},
\]
then the supersymmetric Schur polynomial is
\[
S_\lambda(x,y):=\sum_{T\in \operatorname{SSYT}_{k,\ell}(\lambda)} x^{\mathbf a(T)}y^{\mathbf b(T)},
\]
with
\[
x^{\mathbf a(T)}:=x_1^{a_1(T)}\cdots x_k^{a_k(T)},\qquad y^{\mathbf b(T)}:=y_1^{b_1(T)}\cdots y_\ell^{b_\ell(T)}.
\]
This tableau formula is the main combinatorial definition in the recent Newton-polytope study [2507.22528].

A complementary symmetric-function presentation starts from the complete supersymmetric functions \(h_i(x/y)\), defined by
\[
\sum_{i=0}^\infty h_i(x/y)z^i=\prod_{j=1}^m\frac{1}{1-x_jz}\prod_{l=1}^n(1-y_lz).
\]
Within this notation one has the standard identities
\[
s_{\lambda}(x/y)=\sum_{\mu}(-1)^{|\lambda-\mu|}s_\mu(x)s_{(\lambda/\mu)'}(y),
\]
\[
s_\lambda(x/y)=(-1)^{|\lambda|}s_{\lambda'}(y/x),
\]
and
\[
h_i(x/y)=h_i(x)e_0(y)-h_{i-1}(x)e_1(y)+\cdots+(-1)^ih_0(x)e_i(y).
\]
The same paper also records the splitting formula
\[
s_{\lambda}((x\cup p)/(y\cup q))=\sum_{\mu\subset \lambda}s_{\mu}(x/y)s_{\lambda/\mu}(p/q),
\]
which exhibits the behavior of the supersymmetric Schur function under alphabet decomposition [2105.02604].

A determinantal formula due to Moens–Van der Jeugt, recalled in the Newton-polytope paper, is
\[
S_{\lambda}(x,y) = \det\left(H_{\lambda_i+j-i}(x,y)\right)_{1\le i,j\le \ell(\lambda)},
\]
where
\[
H_r(x,y)=\sum_{i=0}^r h_i(x)e_{r-i}(y).
\]
The same source also records the decomposition
\[
S_{\lambda}(x,y)=\sum_{\mu\subseteq\lambda} s_\mu(x)\,s_{(\lambda/\mu)'}(y),
\]
although it emphasizes that this decomposition is not the route used for the recent saturated-Newton-polytope theorem [2507.22528].

## 2. Tableau combinatorics, support, and hook inequalities

The tableau expansion gives a direct description of the monomial support. Writing
\[
S_\lambda(x,y)=\sum_{(\mathbf a,\mathbf b)} \bigl|\{T\mid \operatorname{content}(T)=(\mathbf a,\mathbf b)\}\bigr|\,x^{\mathbf a}y^{\mathbf b},
\]
one sees that a monomial \(x^{\mathbf a}y^{\mathbf b}\) appears if and only if there exists a \((k,\ell)\)-semistandard tableau of shape \(\lambda\) with content \((\mathbf a,\mathbf b)\). Hence
\[
\Supp(S_\lambda)=\{(\mathbf a,\mathbf b)\in \mathbb N^{k+\ell}\mid \exists\,T\in \operatorname{SSYT}_{k,\ell}(\lambda)\text{ with content }(\mathbf a,\mathbf b)\}.
\]

The recent support theorem expresses this set purely by linear inequalities. With
\[
A_{\le r}:=\sum_{i=1}^r a_i,\qquad B_{\le s}:=\sum_{j=1}^s b_j,
\]
the hook inequalities are
\[
A_{\le r}\le \sum_{i=1}^r \lambda_i\quad (1\le r\le k),
\]
\[
B_{\le s}\le \sum_{j=1}^s \lambda'_j\quad (1\le s\le \ell),
\]
together with
\[
|\mathbf a|+|\mathbf b|=|\lambda|.
\]
The point is that these inequalities are not merely necessary. Using Berele–Regev’s mixed Robinson–Schensted correspondence, the paper proves that they are also sufficient, and therefore
\[
\Supp(S_\lambda) = \Bigl\{(\mathbf a,\mathbf b)\in\mathbb N^{k+\ell}\,\Bigm|\, A_{\le r}\le \sum_{i\le r}\lambda_i,\; B_{\le s}\le \sum_{j\le s}\lambda'_j,\; |\mathbf a|+|\mathbf b|=|\lambda| \Bigr\}.
\]
This “hook description of the support” is the bridge from tableau combinatorics to polyhedral geometry [2507.22528].

The proof uses the word
\[
w:=t_1^{a_1}t_2^{a_2}\cdots t_k^{a_k}\,u_\ell^{\,b_\ell}\cdots u_1^{\,b_1},
\]
inserted by row insertion for \(t\)-letters and column insertion for \(u\)-letters. The mixed correspondence yields a \((k,\ell)\)-semistandard insertion tableau whose shape \(\mu\) satisfies
\[
\sum_{i\le r}\mu_i=A_{\le r},\qquad \sum_{j\le s}\mu'_j=B_{\le s}.
\]
Combined with the hook inequalities and \(|\mu|=|\lambda|\), this forces \(\mu=\lambda\) [2507.22528].

A classical specialization occurs when \(\ell=0\). Then the \(y\)-alphabet is empty and
\[
s_\lambda(x_1,\dots,x_k)=S_\lambda(x,\varnothing),
\]
while the support reduces to
\[
\Supp(s_\lambda) = \Bigl\{\mathbf a\in\mathbb N^k\ \Bigm|\  A_{\le r}\le \sum_{i\le r}\lambda_i,\  |\mathbf a|=|\lambda| \Bigr\}.
\]
This is the Schur-support description that the paper presents as resembling Rado’s theorem [2507.22528].

The worked example
\[
\lambda=(2,1,1),\qquad k=2,\ \ell=1
\]
gives
\[
S_{(2,1,1)}(x_1,x_2,y_1) = x_1^2x_2y_1 + x_1x_2^2y_1 + x_1^2y_1^2 + 2x_1x_2y_1^2 + x_2^2y_1^2 + x_1y_1^3 + x_2y_1^3,
\]
with support
\[
\{(2,1,1),(1,2,1),(2,0,2),(1,1,2),(0,2,2),(1,0,3),(0,1,3)\},
\]
in coordinates \((a_1,a_2,b_1)\). The Newton polytope is described there as a regular hexagon in the affine plane \(a_1+a_2+b_1=4\), with center \((1,1,2)\), which already exhibits the absence of lattice-point gaps [2507.22528].

## 3. Newton polytopes and the saturated-Newton-polytope theorem

For a polynomial
\[
f=\sum_{\alpha\in\mathbb N^d} c_\alpha\,\mathbf z^\alpha,
\]
its Newton polytope is
\[
\Newton(f):=\Conv\{\alpha\mid c_\alpha\neq 0\}\subset \mathbb R^d,
\]
and its support is
\[
\Supp(f):=\{\alpha\mid c_\alpha\neq 0\}.
\]
The polynomial \(f\) has a saturated Newton polytope if
\[
\Newton(f)\cap \mathbb Z^d=\Supp(f).
\]
Equivalently, the Newton polytope is the integer hull of its support. In the supersymmetric Schur case this is a particularly strong support statement: every lattice point of the convex hull is realized by an actual monomial [2507.22528].

The main recent theorem is concise:
\[
\text{The supersymmetric Schur polynomial }S_\lambda(x,y)\text{ has a saturated Newton polytope.}
\]
The proof is entirely polyhedral. Writing \(d:=k+\ell\),
\[
L_r:=\sum_{i=1}^r \lambda_i,\qquad C_s:=\sum_{j=1}^s \lambda'_j,
\]
the support is encoded as
\[
B_\lambda :=\{(\mathbf a,\mathbf b)\in\mathbb N^d\mid A_{\le r}\le L_r,\; B_{\le s}\le C_s,\; |\mathbf a|+|\mathbf b|=|\lambda|\},
\]
and the support theorem identifies \(B_\lambda\) with \(\Supp(S_\lambda)\). One then considers the real polyhedron
\[
H:=\{u\in\mathbb R^d\mid \widetilde A u\le \widetilde b\},
\]
whose inequalities are exactly the hook inequalities, the size equality, and nonnegativity. Thus
\[
H\cap \mathbb Z^d=B_\lambda.
\]

The key structural fact is that the constraint matrix \(\widetilde A\) is totally unimodular. The underlying matrix \(A\) is an interval matrix, since each row contains one consecutive block of ones. After a row-sign normalization, \(\widetilde A\) again becomes an interval matrix, and hence totally unimodular by the Heller–Tompkins / Fulkerson–Gross theorem. The Hoffman–Kruskal criterion then implies that \(H\) is integral:
\[
H=\Conv(H\cap \mathbb Z^d).
\]
Since \(H\cap\mathbb Z^d=\Supp(S_\lambda)\), one gets
\[
\Newton(S_\lambda)=H
\]
and therefore
\[
\Newton(S_\lambda)\cap\mathbb Z^{k+\ell}=\Supp(S_\lambda).
\]
The paper states that this is, to the authors’ knowledge, the first application of total unimodularity to the SNP problem, and also the first integrality theorem simultaneously addressing two intertwined alphabets in this supersymmetric setting [2507.22528].

The same framework has algorithmic consequences. Because \(H\) is integral, every linear optimization problem
\[
\max\{c\cdot u\mid \widetilde A u\le \widetilde b\}
\]
with \(c\in\mathbb Z^d\) attains its maximum at an integral vertex \(u^*\in H\cap\mathbb Z^d\), hence at the exponent of an actual monomial of \(S_\lambda\). The paper also notes that, since the matrix is totally unimodular, such linear programs can be solved in strongly polynomial time using Tardos’ algorithm. It further records a conjectural direction, namely that every supersymmetric Schur function is Lorentzian, and suggests extensions to super-Stanley symmetric functions and supersymmetric Macdonald polynomials [2507.22528].

## 4. Fermionic, determinantal, and integrable realizations

The supersymmetric Schur function admits a standard free-fermionic realization. In the charged fermionic Fock-space formalism with Heisenberg operators \(a_m\), one sets
\[
H(x/y)=\sum_{n>0}\frac{p_n(x/y)}{n}a_n=H(x)-H(y),
\]
where
\[
p_i(x/y)=x_1^i+\cdots+x_m^i-y_1^i-\cdots-y_n^i.
\]
If
\[
\ket{\lambda}:= \psi_{\lambda_1-1}\psi_{\lambda_2-2}\cdots\psi_{\lambda_r-r}\ket{-r},
\]
then
\[
s_\lambda(x/y)=\bra{0}e^{H(x/y)}\ket{\lambda}.
\]
The conjugation formula
\[
e^{H(x/y)}\psi_ne^{-H(x/y)}=\sum_{i=0}^\infty h_i(x/y)\psi_{n-i}
\]
is the basic mechanism behind this representation [2105.02604].

The same paper embeds supersymmetric Schur functions into the broader family of multi-Schur functions. For row-dependent supersymmetric alphabets
\[
\mathbf{x}=(x^{(1)},x^{(2)},\dots),\qquad \mathbf{y}=(y^{(1)},y^{(2)},\dots),
\]
it defines
\[
S_\lambda(\mathbf{x}/\mathbf{y})=
\bra{0}\prod_{i=1}^r
\left(e^{H(x^{(i)}/y^{(i)})}\psi_{\lambda_i-i}e^{-H(x^{(i)}/y^{(i)})}\right)\ket{-r},
\]
and proves the Jacobi–Trudi-type determinant
\[
S_\lambda(\mathbf{x}/\mathbf{y}) = \det\left( h_{\lambda_i-i+j}(x^{(i)}/y^{(i)}) \right)_{1\le i,j\le r}.
\]
Ordinary supersymmetric Schur functions are recovered by the specialization
\[
\mathbf{x}=(x,\emptyset,\emptyset,\dots),\qquad \mathbf{y}=(y,\emptyset,\emptyset,\dots),
\]
so the two-alphabet object appears as the first nontrivial instance of a rowwise supersymmetric theory [2105.02604].

A different generalization is provided by the free-fermionic six-vertex construction of the functions
\[
s_{\lambda/\mu;a,b}(x/y),
\]
depending on two alphabets and two doubly infinite parameter sequences. Their defining operator formula is
\[
s_{\lambda/\mu;a,b}(x/y) = \big\langle \mu \big| \mathcal A_{a,b}(x_1,y_1)\cdots \mathcal A_{a,b}(x_n,y_n) \big|\lambda\big\rangle,
\]
and the supersymmetric Schur polynomial is recovered at
\[
s_{\lambda/\mu;0,0}(x/y)=s_{\lambda/\mu}(x/y).
\]
This framework yields a supersymmetric Cauchy identity,
\[
\sum_{\lambda}s_{\lambda;a,b}(x/y)\widehat{s}_{\lambda;a,b}(z/w)
=
\prod_{i,j}\frac{1+y_iz_j}{1-x_iz_j}\frac{1+x_iw_j}{1-y_iw_j},
\]
together with the duality
\[
\widehat{s}_{\lambda/\mu;a,b}(x/y)=s_{\lambda'/\mu';b',a'}(y/x).
\]
The same paper emphasizes that refined Yang–Baxter equations, rather than the classical Yang–Baxter equation alone, are the mechanism behind separate symmetry in the \(x\)- and \(y\)-variables and the cancellation property characteristic of supersymmetry. In the specialization \(a=b=0\), one recovers ordinary supersymmetric Schur identities such as Jacobi–Trudi, Giambelli, the hook generating series, and the Berele–Regev square factorization
\[
s_{(n^n)}(x/y)=\prod_{1\le i,j\le n}(x_i+y_j)
\]
[2301.12110].

## 5. Skew, factorial, and related generalizations

The skew version already appears in the tableau model with alphabet
\[
1<2<\cdots <m<1'<2'<\cdots <n',
\]
where a skew supertableau of shape \(F^{\lambda/\mu}\) is weakly increasing along rows and columns, has no repeated unprimed entry in a column, and no repeated primed entry in a row. The ordinary supersymmetric skew Schur function is then
\[
s_{\lambda/\mu}(x,y)=\sum_{T\in T^{\lambda/\mu}} \prod_{(i,j)\in F^{\lambda/\mu}} \operatorname{wgt}(t_{ij}),
\]
with
\[
\operatorname{wgt}(t_{ij})=
\begin{cases}
x_k & \text{if } t_{ij}=k,\\
y_l & \text{if } t_{ij}=l'.
\end{cases}
\]
This is the starting point for the factorial and “ninth variation” extensions [2007.04714].

The same paper introduces a generalized ninth variation
\[
s_{\lambda/\mu}^{R'}(X,Y),
\]
where primed and unprimed letters may be interleaved in an arbitrary total order \(R'=M\cup N'\), and the weights depend both on the entry and on the content \(c=j-i\). At this level the resulting functions are generally not supersymmetric. Supersymmetry is restored by the factorial specialization
\[
s_{\lambda/\mu}(x,y\mid a)= \sum_{T\in T_{R'}^{\lambda/\mu}} \prod_{(i,j)\in F^{\lambda/\mu}} \operatorname{wgt}(t_{ij}),
\]
with
\[
\operatorname{wgt}(t_{ij})=
\begin{cases}
x_k+a_{\sigma(r)+j-i} & \text{if } t_{ij}=r=i_k\in M,\\[2mm]
y_l-a_{\sigma(r)+j-i} & \text{if } t_{ij}=r'=j_l'\in N'.
\end{cases}
\]
Here \(\sigma(r)\) records a signed imbalance of unprimed and primed letters up to the position \(r\) in the ordered alphabet [2007.04714].

The main structural statement is that this factorial skew function is independent of the interleaving order \(R'\), symmetric separately in \(x\) and in \(y\), and independent of \(t\) after the specialization \(x_k=t\), \(y_l=-t\). In particular it is genuinely supersymmetric. Setting
\[
a=0=(\dots,0,0,\dots)
\]
recovers the classical supersymmetric skew Schur function \(s_{\lambda/\mu}(x,y)\). The same paper proves a full family of outside-decomposition determinant formulas of Hamel–Goulden type for the ninth variation, so the factorial supersymmetric skew Schur functions inherit Jacobi–Trudi, dual Jacobi–Trudi, and more general determinant identities through this specialization [2007.04714].

## 6. Terminological variants and adjacent theories

A persistent source of ambiguity is that closely related names are used for several distinct constructions. The two-alphabet supersymmetric Schur polynomial of Berele–Regev type is only one of them.

| Setting | Variables | Labels |
|---|---|---|
| Berele–Regev supersymmetric Schur polynomial | Two commuting alphabets \(x,y\) | Partitions in a \((k,\ell)\)-hook |
| Schur functions in superspace / super-Schur polynomials | Commuting and anticommuting variables | Superpartitions or super-Young diagrams |
| Noncommutative super Schur functions | Barred and unbarred noncommuting letters | Partitions, via Jacobi–Trudi-type formulas |

In the noncommutative direction, the paper on Kronecker coefficients defines noncommutative super Schur functions
\[
\mathfrak J_\nu(\mathbf u)=\sum_{\pi\in S_t}\operatorname{sgn}(\pi)\,
e_{\nu_1'+\pi(1)-1}(\mathbf u)\cdots e_{\nu_t'+\pi(t)-t}(\mathbf u),
\]
and develops tableau formulas for them in quotient algebras built from barred and unbarred letters. It does not formally state a specialization theorem to the ordinary commutative supersymmetric Schur polynomial, but it explicitly presents these definitions as patterned on the standard super/supersymmetric elementary, homogeneous, and Schur-type functions, and identifies “hook Schur function” as a standard synonym for the classical commutative object in the finite-variable setting [1510.00644].

A different line of work uses commuting variables together with odd Grassmann variables and superpartitions. One paper introduces two natural Schur-type limits of Macdonald superpolynomials,
\[
s_\Lambda(x,\theta):=P_\Lambda(x,\theta;0,0),\qquad \bar s_\Lambda(x,\theta):=P_\Lambda(x,\theta;\infty,\infty),
\]
and formulates conjectural tableau definitions and a conjectural Pieri rule for them [1408.2807]. Another constructs four families of Schur functions in superspace recursively by super Bernstein vertex operators, including
\[
s_\Lambda  = B_{\Lambda^*_1}^{(\epsilon_1)} \ldots  B_{\Lambda^*_N}^{(\epsilon_N)} \cdot {1},
\]
thereby extending the classical Bernstein-operator construction of ordinary Schur functions [1802.01705].

The terminology is extended further in work on supersymmetric polynomial families with odd Grassmann variables. One paper defines super-Schur polynomials \(S_\lambda\) by upper-triangularity over a supersymmetric monomial basis and orthogonality for the Schur norm,
\[
P_\lambda = m_\lambda + \sum_{\mu<\lambda} K_{\lambda\mu}\, m_\mu,\qquad
\langle P_\lambda , P_\mu\rangle_S = \delta_{\lambda\mu},
\]
with labels given by super-partitions and super-Young diagrams [2407.04810]. Another constructs Super-Schur polynomials \(\CS_\lambda(p,\theta)\) as common eigenfunctions of cut-and-join operators in the semi-Fock representation of the affine super Yangian \(\mathsf{Y}(\widehat{\mathfrak{gl}_{1|1})\), characterized by
\[
\CS_{\lambda}(p_1,p_2,\ldots,\theta_1,\theta_2,\ldots)|\varnothing\rangle =|\lambda\rangle
\]
[2307.03150].

The most reliable distinction, therefore, is between the classical two-alphabet supersymmetric Schur polynomial \(S_\lambda(x,y)\) or \(s_\lambda(x/y)\), and the various superspace or noncommutative “super-Schur” objects. They are historically and structurally related, but they are not identical constructions. The recent Newton-polytope theorem belongs specifically to the Berele–Regev two-alphabet theory [2507.22528].

Source: https://www.emergentmind.com/topics/supersymmetric-schur-polynomial