Star Product of Symmetric Functions

• The star product of symmetric functions is a bilinear multiplication on the ring of symmetric functions, defined via evaluation at roots of unity and characterized by stable Kronecker coefficients.
• It establishes an alternative, commutative and associative algebraic structure that connects symmetric-group character theory with combinatorial models such as multiset-valued tableaux and Pieri-type rules.
• The framework extends to diverse settings—including deformation products on multisymmetric functions and species-theoretic Kronecker products—thereby impacting representation theory and quantum information.

The star product of symmetric functions is a bilinear multiplication on the ring of symmetric functions that, in the symmetric-group character setting, encodes pointwise multiplication of class functions and realizes Kronecker-type structure constants inside symmetric-function bases. In the irreducible-character basis $\{\tilde s_\lambda\}$ introduced by Orellana and Zabrocki, the product is characterized by evaluation at roots of unity and has structure coefficients given by the stable Kronecker coefficients $\overline g_{\mu,\nu}^{\,\lambda}$ (Orellana et al., 2017). In later literature, the same term also appears in distinct contexts, notably for deformation products on multisymmetric functions and for Kronecker/Hadamard products in alternative bases arising from species; these usages are related by terminology rather than by a single uniform construction (Pariguan et al., 9 Sep 2025, Baolahy et al., 11 Apr 2026).

1. Definition in the irreducible-character basis

Let $$\Lambda=\mathbb Q[h_1,h_2,\dots]=\mathbb Q[p_1,p_2,\dots]$$ be the ordinary Hopf algebra of symmetric functions. For each partition $\lambda$, the basis element $\tilde s_\lambda\in\Lambda$ is defined by the evaluation property

$$\tilde s_\lambda[\Xi_\mu]=\chi^{(n-|\lambda|,\lambda)}(\mu)$$

for all $n\gg 0$ and all cycle-type partitions $\mu\vdash n$, where $\chi^{(n-|\lambda|,\lambda)}$ is the irreducible character of $S_n$ indexed by the stabilized partition $\overline g_{\mu,\nu}^{\,\lambda}$0, and $\overline g_{\mu,\nu}^{\,\lambda}$1 denotes the multiset of roots of unity whose cycle-structure is $\overline g_{\mu,\nu}^{\,\lambda}$2 (Orellana et al., 2017). Equivalently,

$\overline g_{\mu,\nu}^{\,\lambda}$3

The star product $\overline g_{\mu,\nu}^{\,\lambda}$4 is obtained by transporting the internal (Kronecker) product of class functions on $\overline g_{\mu,\nu}^{\,\lambda}$5 back to $\overline g_{\mu,\nu}^{\,\lambda}$6 through the map $\overline g_{\mu,\nu}^{\,\lambda}$7. On class functions one has

$\overline g_{\mu,\nu}^{\,\lambda}$8

and in the $\overline g_{\mu,\nu}^{\,\lambda}$9-basis this yields

$$\Lambda=\mathbb Q[h_1,h_2,\dots]=\mathbb Q[p_1,p_2,\dots]$$0

where $$\Lambda=\mathbb Q[h_1,h_2,\dots]=\mathbb Q[p_1,p_2,\dots]$$1 are the stable Kronecker coefficients (Orellana et al., 2017).

A parallel formulation appears in the foundational paper on symmetric-group characters as symmetric functions. There, the star product is the unique bilinear operation satisfying

$$\Lambda=\mathbb Q[h_1,h_2,\dots]=\mathbb Q[p_1,p_2,\dots]$$2

or equivalently

$$\Lambda=\mathbb Q[h_1,h_2,\dots]=\mathbb Q[p_1,p_2,\dots]$$3

and the same operation expands on the $$\Lambda=\mathbb Q[h_1,h_2,\dots]=\mathbb Q[p_1,p_2,\dots]$$4-basis by stable Kronecker coefficients (Orellana et al., 2016).

2. Algebraic structure and representation-theoretic meaning

The star product is commutative and associative because pointwise multiplication of class functions on a finite group is commutative and associative (Orellana et al., 2017). In the irreducible-character basis it is therefore a second multiplication on $$\Lambda=\mathbb Q[h_1,h_2,\dots]=\mathbb Q[p_1,p_2,\dots]$$5, distinct from the ordinary product of symmetric functions.

A second scalar product $$\Lambda=\mathbb Q[h_1,h_2,\dots]=\mathbb Q[p_1,p_2,\dots]$$6 is defined by choosing $$\Lambda=\mathbb Q[h_1,h_2,\dots]=\mathbb Q[p_1,p_2,\dots]$$7 and setting

$$\Lambda=\mathbb Q[h_1,h_2,\dots]=\mathbb Q[p_1,p_2,\dots]$$8

For sufficiently large $$\Lambda=\mathbb Q[h_1,h_2,\dots]=\mathbb Q[p_1,p_2,\dots]$$9, this is independent of $\lambda$0, and the basis $\lambda$1 is orthonormal: $\lambda$2 With respect to this inner product, the star product is adjoint to the usual coproduct on $\lambda$3; equivalently,

$\lambda$4

(Orellana et al., 2017).

The basis $\lambda$5 admits three equivalent characterizations. First, it is the unique inhomogeneous basis of $\lambda$6 with $\lambda$7 satisfying the evaluation property at roots of unity. Second, for $\lambda$8, if the $\lambda$9-irreducible $\tilde s_\lambda\in\Lambda$0 with character $\tilde s_\lambda\in\Lambda$1 is restricted to $\tilde s_\lambda\in\Lambda$2, then

$\tilde s_\lambda\in\Lambda$3

Third, the basis is determined by the initial condition

$\tilde s_\lambda\in\Lambda$4

together with the requirement that the star product have stable Kronecker coefficients as structure constants (Orellana et al., 2016).

The representation-theoretic content is explicit: $\tilde s_\lambda\in\Lambda$5 is the stabilized multiplicity of $\tilde s_\lambda\in\Lambda$6 in

$\tilde s_\lambda\in\Lambda$7

for $\tilde s_\lambda\in\Lambda$8 (Orellana et al., 2016). This identifies the star product in the $\tilde s_\lambda\in\Lambda$9-basis with the stable regime of the ordinary Kronecker product of Schur functions having a large first row.

3. Tableaux models and Pieri-type rules

A central contribution of Orellana and Zabrocki is a collection of tableaux models for special families of star-product coefficients. The paper does not give a positive combinatorial rule for all $$\tilde s_\lambda[\Xi_\mu]=\chi^{(n-|\lambda|,\lambda)}(\mu)$$0; that problem is stated as still open. Instead, it gives three tableaux-based rules for cases in which one factor is either a complete-homogeneous product or a product of $$\tilde s_\lambda[\Xi_\mu]=\chi^{(n-|\lambda|,\lambda)}(\mu)$$1-basis elements of one-row shape (Orellana et al., 2017).

The common combinatorial object is a multiset-valued tableau $$\tilde s_\lambda[\Xi_\mu]=\chi^{(n-|\lambda|,\lambda)}(\mu)$$2 of shape $$\tilde s_\lambda[\Xi_\mu]=\chi^{(n-|\lambda|,\lambda)}(\mu)$$3, defined as a column-strict filling in French notation whose entries are nonempty multisets from $$\tilde s_\lambda[\Xi_\mu]=\chi^{(n-|\lambda|,\lambda)}(\mu)$$4, each containing at most one barred element. No cell in the top row may contain only barred elements. The reading word $$\tilde s_\lambda[\Xi_\mu]=\chi^{(n-|\lambda|,\lambda)}(\mu)$$5 selects the barred labels from cells whose unbarred-multiset is exactly $$\tilde s_\lambda[\Xi_\mu]=\chi^{(n-|\lambda|,\lambda)}(\mu)$$6, reading each row right to left from bottom to top. If $$\tilde s_\lambda[\Xi_\mu]=\chi^{(n-|\lambda|,\lambda)}(\mu)$$7 are listed in increasing reverse-lex order, then $$\tilde s_\lambda[\Xi_\mu]=\chi^{(n-|\lambda|,\lambda)}(\mu)$$8 is called lattice when

$$\tilde s_\lambda[\Xi_\mu]=\chi^{(n-|\lambda|,\lambda)}(\mu)$$9

is a lattice word, meaning that every prefix has the number of $n\gg 0$0's at least the number of $n\gg 0$1's. The set of such tableaux with unbarred-multiset-content $n\gg 0$2 is denoted $n\gg 0$3 (Orellana et al., 2017).

Three counting theorems organize the relevant coefficients. For any partition $n\gg 0$4 and composition $n\gg 0$5, the coefficient of $n\gg 0$6 in

$n\gg 0$7

is exactly the number of tableaux in $n\gg 0$8. If the unbarred multisets are required to be sets, then the same tableaux model counts the coefficient of $n\gg 0$9 in the same expression viewed as a product of induced Young-subgroup characters. Finally, for genuine star-products of one-row shapes,

$\mu\vdash n$0

the same set-valued tableaux are used, with the additional restriction that no singleton unbarred-set may appear in the first row; the number of such lattice tableaux is the coefficient of $\mu\vdash n$1 (Orellana et al., 2017).

These results imply three Pieri-type rules. In particular,

$\mu\vdash n$2

expands by multiset-valued lattice tableaux with one $\mu\vdash n$3-fold unbarred entry,

$\mu\vdash n$4

expands by set-valued lattice tableaux whose unbarred-content is one $\mu\vdash n$5-set, and, more generally,

$\mu\vdash n$6

expands by set-valued lattice tableaux whose unbarred-labels form sets of sizes $\mu\vdash n$7 with no singleton in the first row (Orellana et al., 2017).

4. Worked examples and applications

Two small examples illustrate the stable Kronecker interpretation. For $\mu\vdash n$8 and $\mu\vdash n$9, the stable decomposition of the Kronecker product of $\chi^{(n-|\lambda|,\lambda)}$0-characters $\chi^{(n-|\lambda|,\lambda)}$1 is

$\chi^{(n-|\lambda|,\lambda)}$2

and therefore

$\chi^{(n-|\lambda|,\lambda)}$3

A single-box rule is

$\chi^{(n-|\lambda|,\lambda)}$4

because multiplication by the trivial Young-subgroup of type $\chi^{(n-|\lambda|,\lambda)}$5 amounts to branching by removing or adding a corner (Orellana et al., 2017).

The change-of-basis coefficients between the ordinary Schur basis $\chi^{(n-|\lambda|,\lambda)}$6 and the basis $\chi^{(n-|\lambda|,\lambda)}$7 are the decomposition multiplicities appearing in the restriction of an irreducible polynomial $\chi^{(n-|\lambda|,\lambda)}$8-module to $\chi^{(n-|\lambda|,\lambda)}$9 (Orellana et al., 2017). This makes the basis particularly useful in translating between polynomial representation theory of $S_n$0 and ordinary representation theory of the symmetric group.

Further applications include partition algebras and quantum information. The coefficient of $S_n$1 in $S_n$2 is the dimension of the irreducible module of the partition algebra $S_n$3, and this coefficient is naturally counted by the same set-valued tableaux; in the classical Bratteli-diagram approach they become the usual vacillating tableaux. In another application, $S_n$4-fold Kronecker products of the form

$S_n$5

correspond to measuring entanglement of $S_n$6 qubits, and rewriting each Schur factor as a small $S_n$7-product yields a direct tableaux-counting rule for the multiplicities (Orellana et al., 2017).

The basis also supports expansion formulas tied to plethysm and Frobenius maps. One has

$S_n$8

for any $S_n$9 (Orellana et al., 2017).

5. Quantum star products on multisymmetric functions

In a different line of work, the star product of symmetric functions refers to a deformation product on multisymmetric functions. The setting is the algebra of polynomial functions on $\overline g_{\mu,\nu}^{\,\lambda}$00 with standard Poisson bracket $\overline g_{\mu,\nu}^{\,\lambda}$01, followed by passage to $\overline g_{\mu,\nu}^{\,\lambda}$02-invariants, yielding the ring of quantum symmetric functions

$\overline g_{\mu,\nu}^{\,\lambda}$03

Here the product is the Moyal–Weyl star product rather than the Kronecker product of symmetric-group characters (Pariguan et al., 9 Sep 2025).

For $\overline g_{\mu,\nu}^{\,\lambda}$04, the star product is

$\overline g_{\mu,\nu}^{\,\lambda}$05

and for monomials,

$\overline g_{\mu,\nu}^{\,\lambda}$06

Passing to invariants and using elementary multisymmetric functions $\overline g_{\mu,\nu}^{\,\lambda}$07, Pariguan–Sierra’s formula is

$\overline g_{\mu,\nu}^{\,\lambda}$08

where $\overline g_{\mu,\nu}^{\,\lambda}$09 is a set of cubical matrices determined by marginal and weight conditions (Pariguan et al., 9 Sep 2025).

The parameter $\overline g_{\mu,\nu}^{\,\lambda}$10 controls the deformation: modulo $\overline g_{\mu,\nu}^{\,\lambda}$11, the star product reduces to the classical commutative product, and $\overline g_{\mu,\nu}^{\,\lambda}$12, the classical contingency-matrix set. Higher powers of $\overline g_{\mu,\nu}^{\,\lambda}$13 record the number of Poisson-bracket contractions (Pariguan et al., 9 Sep 2025).

The combinatorics is governed by RSK. Classical contingency matrices correspond to pairs of semistandard tableaux of common shape. In the quantum case, the relevant objects are 3-words, and the key bijection is

$\overline g_{\mu,\nu}^{\,\lambda}$14

This reduces the structure constants of the quantum star product to a level-decorated RSK analysis. The same data also identifies $\overline g_{\mu,\nu}^{\,\lambda}$15 with integer points in a 3-dimensional transportation polytope (Pariguan et al., 9 Sep 2025). A plausible implication is that, in this setting, the star product is best viewed as a combinatorial deformation of the classical product of multisymmetric functions rather than as a stable Kronecker operation.

6. Kronecker/Hadamard star products in alternative bases

A further development studies the Kronecker, or Hadamard, product in bases coming from combinatorial species. For each partition $\overline g_{\mu,\nu}^{\,\lambda}$16, two species $\overline g_{\mu,\nu}^{\,\lambda}$17 and $\overline g_{\mu,\nu}^{\,\lambda}$18 produce cycle-index symmetric functions

$\overline g_{\mu,\nu}^{\,\lambda}$19

and the families $\overline g_{\mu,\nu}^{\,\lambda}$20 and $\overline g_{\mu,\nu}^{\,\lambda}$21 form $\overline g_{\mu,\nu}^{\,\lambda}$22-bases of $\overline g_{\mu,\nu}^{\,\lambda}$23 because their transition matrices to the power-sum basis are upper-triangular with nonzero diagonal entries (Baolahy et al., 11 Apr 2026).

In this degreewise setting, if

$\overline g_{\mu,\nu}^{\,\lambda}$24

then the Kronecker product is

$\overline g_{\mu,\nu}^{\,\lambda}$25

Equivalently, for $\overline g_{\mu,\nu}^{\,\lambda}$26 one has $\overline g_{\mu,\nu}^{\,\lambda}$27. In particular,

$\overline g_{\mu,\nu}^{\,\lambda}$28

(Baolahy et al., 11 Apr 2026).

The new bases interact nontrivially with this product. One has

$\overline g_{\mu,\nu}^{\,\lambda}$29

where the coefficients are described by double-coset counts and are manifestly nonnegative integers. The associated subcategories of species generated by the homogeneous, first-kind cyclic, and second-kind cyclic molecules are closed under $\overline g_{\mu,\nu}^{\,\lambda}$30 (Baolahy et al., 11 Apr 2026).

Examples at $\overline g_{\mu,\nu}^{\,\lambda}$31 show the contrast with the homogeneous basis. For instance,

$\overline g_{\mu,\nu}^{\,\lambda}$32

while

$\overline g_{\mu,\nu}^{\,\lambda}$33

This suggests that the positivity of structure constants can depend strongly on the choice of basis, even when the underlying operation is the same Kronecker/Hadamard product (Baolahy et al., 11 Apr 2026).

7. Scope, distinctions, and open directions

The expression “star product of symmetric functions” therefore has at least three technically distinct meanings in current usage. In the Orellana–Zabrocki framework, it is the character-theoretic multiplication on $\overline g_{\mu,\nu}^{\,\lambda}$34 whose structure coefficients in the $\overline g_{\mu,\nu}^{\,\lambda}$35-basis are the stable Kronecker coefficients (Orellana et al., 2017). In the multisymmetric-function setting, it is a formal deformation product built from the Moyal–Weyl formula and indexed combinatorially by cubical matrices, 3-words, and transportation polytopes (Pariguan et al., 9 Sep 2025). In species-theoretic work, it is the Kronecker/Hadamard product studied in bases where nonnegative integer structure constants arise from molecular decompositions and double-coset counts (Baolahy et al., 11 Apr 2026).

A recurrent misconception is that these are merely different presentations of one operation. The available results do not support that identification. The character-theoretic star product is tied to symmetric-group characters, roots-of-unity evaluation, and stable Kronecker coefficients; the quantum product depends on $\overline g_{\mu,\nu}^{\,\lambda}$36 and Poisson contractions; the species-theoretic product is degreewise Hadamard multiplication on Frobenius characteristics. What they share is a common role as alternative multiplications on algebras of symmetric or multisymmetric functions.

The principal unresolved issue highlighted in the character-theoretic literature is the absence of a positive combinatorial rule for all stable Kronecker coefficients $\overline g_{\mu,\nu}^{\,\lambda}$37 (Orellana et al., 2017). The partial tableaux rules, the restriction-from-$\overline g_{\mu,\nu}^{\,\lambda}$38 interpretation, and the species-theoretic positivity phenomena all suggest that basis choice and categorical origin are central to the problem. A plausible implication is that further progress may come from constructions that, like the $\overline g_{\mu,\nu}^{\,\lambda}$39-basis or the species bases $\overline g_{\mu,\nu}^{\,\lambda}$40 and $\overline g_{\mu,\nu}^{\,\lambda}$41, align the star product with an intrinsic combinatorial model rather than with the power-sum basis alone.