Noncommutative Symmetric Polynomials

• Noncommutative symmetric polynomials are polynomial expressions in noncommuting variables that mirror classical symmetry while embedding rich algebraic and combinatorial structures.
• They are developed through free associative algebra models, word-symmetric functions, and matrix-valued approaches, enabling precise combinatorial and operator-theoretic analysis.
• These functions facilitate insights into positivity, integrability, and applications in mathematical physics, free real algebraic geometry, and combinatorial Hopf algebra frameworks.

Noncommutative symmetric polynomials are polynomial functions in freely noncommuting variables that exhibit invariance or symmetries analogous to those of classical symmetric polynomials, but adapted to the noncommutative setting. These polynomials underlie rich algebraic, combinatorial, operator-theoretic, and representation-theoretic phenomena, and their study spans free algebras, combinatorial Hopf algebras, operator algebras, and theoretical physics.

1. Algebraic Frameworks and Definitions

Noncommutative symmetric polynomials generally refer to polynomial expressions in free variables $x_1,\ldots,x_g$ (or more generally, in words over an alphabet $A$) that are invariant under prescribed group actions or have symmetric combinatorial indexing. Several formal structures have emerged:

• Free Associative Algebra Model: The algebra $\mathbb{K}\langle x_1,x_2,\ldots \rangle$ with no relations except associativity and field-linearity generates noncommutative symmetric functions as subalgebras or quotient objects, e.g., the algebra $\textbf{NSym}$ generated by $\{e_n\}_{n\geq1}$ ("noncommutative elementary symmetric functions"), with definitions such as

$$e_n = \sum_{i_1>i_2>\cdots>i_n} x_{i_1}x_{i_2}\cdots x_{i_n}$$

and similarly for complete functions $h_n$ (Hicks et al., 2024).

• Word Symmetric Functions (WSym): WSym is the subalgebra of invariants under permutation of the alphabet $A$; its elements admit realizations via sums over words whose pattern of repetitions is fixed by set partitions. The basis elements $\Phi^\pi$ correspond to set partitions $\pi$ of $A$0 (Luque et al., 2013).
• Matrix-Valued and Operator-Valued Models: Noncommutative symmetric polynomials can also be matrix-valued, with symmetry defined by conditions such as $A$1 (coefficients and monomial transpositions), and extended to settings of operators in Hilbert space (Guo et al., 2022, McCarthy et al., 2010).
• Plactic and Algebraic Structures: The affine plactic algebra $A$2 provides a noncommutative polynomial model associated to combinatorics of Young tableaux, with generators $A$3 satisfying nontrivial commutation and plactic relations. This supports noncommutative analogues of classical Schur and elementary/complete symmetric functions (Korff, 2010).

2. Principal Bases and Combinatorial Expansions

Multiple bases for noncommutative symmetric polynomials generalize classical ones:

• Elementary and Complete Bases: The free generators $A$4 and $A$5 lead to multiplicative bases indexed by compositions $A$6:

$A$7

These satisfy generating function identities paralleling those of classical symmetric functions, e.g., $A$8 (Hicks et al., 2024).

• Ribbon Schur Functions: Ribbons $A$9 form a distinguished basis reflecting descent patterns of words, acting as noncommutative analogues of skew-Schur functions of ribbon shape. Sets of monomials in noncommuting variables can be partitioned precisely by descent sets (Hicks et al., 2024, Willigenburg, 2012).
• Power Sum Analogues: Two types of noncommutative power sums, $\mathbb{K}\langle x_1,x_2,\ldots \rangle$0 and $\mathbb{K}\langle x_1,x_2,\ldots \rangle$1, are defined via alternating sums over ribbon basis elements, paralleling classical power sums but reflecting noncommutative combinatorial statistics (Hicks et al., 2024).
• Cycle Index and Set-Partitional Bases: The WSym algebra uses set-partition indexed bases, either power sums $\mathbb{K}\langle x_1,x_2,\ldots \rangle$2 (summing words with specified equality patterns) or monomials $\mathbb{K}\langle x_1,x_2,\ldots \rangle$3 (Möbius-inverted), with straightforward structure constants for multiplication and coproducts (Luque et al., 2013).
• Noncommutative Schur Polynomials: Via Jacobi-Trudi-type determinants of complete or elementary noncommutative functions, one obtains $\mathbb{K}\langle x_1,x_2,\ldots \rangle$4, the noncommutative Schur polynomials. Their ring structure matches that of fusion rings in conformal field theory (Korff, 2010).

3. Structure Theorems, Decompositions, and Positivity

Symmetry and positivity in the noncommutative context require nuanced generalizations:

• Noncommutative Plurisubharmonic/Convex Symmetric Polynomials: A symmetric polynomial $\mathbb{K}\langle x_1,x_2,\ldots \rangle$5 is nc-plurisubharmonic (nc-psh) iff the nc complex Hessian $\mathbb{K}\langle x_1,x_2,\ldots \rangle$6 is positive semidefinite for all matrix tuples, and $\mathbb{K}\langle x_1,x_2,\ldots \rangle$7 admits a sum of analytic/antianalytic squares decomposition:

$\mathbb{K}\langle x_1,x_2,\ldots \rangle$8

with $\mathbb{K}\langle x_1,x_2,\ldots \rangle$9 nc-analytic (Greene et al., 2010).

• Noncommutative Hunter Positivity: Generalizations of Hunter’s theorem confirm the operator inequality for nc complete homogeneous symmetric polynomials of even degree:

$\textbf{NSym}$0

with optimal $\textbf{NSym}$1 and explicit Gram-matrix sum-of-squares representations (Garcia et al., 16 Mar 2025).

• S-Lemma and Matrix Positivity Criteria: For quadratic homogeneous symmetric matrix-valued nc polynomials $\textbf{NSym}$2, positivity is equivalent to the block coefficient matrix $\textbf{NSym}$3 being positive semidefinite. Extended S-lemma results provide LMI and CP map characterizations in noncommutative settings (Guo et al., 2022).

4. Hopf Algebra Structures and Duality

Noncommutative symmetric functions, like their classical counterparts, live naturally in Hopf algebras with rich duality and coproduct structure:

• Noncommutative Symmetric Functions and Quasi-Symmetric Duals: $\textbf{NSym}$4 is the free algebra generated by noncommutative symmetric polynomials; its graded Hopf algebra structure is dual to the quasi-symmetric functions algebra $\textbf{NSym}$5. Ribbons, elementary, and complete bases are interrelated by Möbius inversions and matrix factorisations (Hicks et al., 2024).
• WSym (Word-Symmetric Functions): WSym is cocommutative but noncommutative, admitting bases indexed by set partitions. The product and coproduct structure constants are 0/1 (concatenation/splitting). Word-level Redfield-Pólya theorem and cycle index expansions enumerate orbit sizes under group actions with full combinatorial refinement (Luque et al., 2013).
• Cycle Index Quotients and Pattern Replacement: NSym can be realized as a quotient of FQSym (free quasi-symmetric functions) by pattern-replacement relations. This connects noncommutative symmetric functions directly to permutation and binary tree combinatorics (Novelli et al., 2018).

5. Noncommutative Analogues of Classical Symmetric Polynomials

Multiple constructions realize noncommutative analogues of Schur, Hall-Littlewood, and Macdonald polynomials:

• Noncommutative Schur Functions: Defined via Jacobi-Trudi determinants in affine plactic algebra, noncommutative Schur functions $\textbf{NSym}$6 possess commutativity of structure constants and match fusion ring coefficients in WZNW models (Korff, 2010). In NSym, the noncommutative Schur and Young Schur bases refine the classical Schur basis and encode noncommutative irreducible symmetric group characters (Willigenburg, 2012).
• Noncommutative Hall-Littlewood and Macdonald Families: Construction via two-parameter families $\textbf{NSym}$7, $\textbf{NSym}$8, $\textbf{NSym}$9 recovers classical properties (specialization, orthogonality, combinatorial expansions) and is characterized by quasideterminant, matrix, or combinatorial recurrence formulas. The transition matrices factor as products of binomials and combinatorial statistics on words (Novelli et al., 2013, Novelli et al., 13 Feb 2025).
• Creation Operators and Regular Pieri Rules: Noncommutative creation operators $\{e_n\}_{n\geq1}$0 add columns to Young diagrams, encoding Pieri multiplication rules and reconstructing Schur, Jack, and Macdonald polynomials in matrices, Fock space, or affine plactic structures. Their noncommutativity encodes full Pieri algebraic structure (Mironov et al., 10 Aug 2025).

6. Applications, Connections, and Extensions

Noncommutative symmetric polynomials serve as foundational objects in multiple domains:

• Combinatorics and Enumeration: Enumeration of graph colorings, orbit sizes in group actions (word-level Redfield-Pólya theorem), and fine invariants of combinatorial structures are facilitated by WSym and its cycle index expansions (Luque et al., 2013).
• Representation Theory: NSym emerges as the Grothendieck ring for 0-Hecke algebras; basis elements encode simple and projective characters, and noncommutative Schur functions realize irreducible characters for symmetric groups (Hicks et al., 2024, Willigenburg, 2012).
• Operator Theory and Free Real Algebraic Geometry: Operator inequalities for noncommutative symmetric polynomials (Hunter-type inequalities, S-lemma generalizations) extend classical spectral set theory and polynomial positivity to tuples of noncommuting operators (Garcia et al., 16 Mar 2025, McCarthy et al., 2010, Guo et al., 2022).
• Integrable Systems and Mathematical Physics: Noncommutative Schur polynomials in the affine plactic algebra model fusion rings in conformal field theory, with structure constants matching Verlinde formula coefficients for $\{e_n\}_{n\geq1}$1 WZNW models (Korff, 2010). Creation operator techniques connect to $\{e_n\}_{n\geq1}$2 and Yangian algebra representations (Mironov et al., 10 Aug 2025).
• Combinatorial Hopf Algebra Cohomology: Recurrence relations in NSym (via brick tabloids, combinatorial complexes) yield explicit bases, transition matrices, and shuffle-cancellation phenomena, setting templates for deeper cohomological and combinatorial analyses (Novelli et al., 2018, Hicks et al., 2024).

7. Advanced Directions and Open Problems

Current research explores deeper noncommutative analogues, connections, and conjectures:

• Refined LLT and Macdonald Polynomials: Noncommutative unicellular LLT polynomials are constructed via $\{e_n\}_{n\geq1}$3-transforms of chromatic functions, Hopf algebra morphisms, and packed word bases; the modular relations and expansions correspond to Kazhdan-Lusztig basis product formulas (Novelli et al., 2019, Novelli et al., 13 Feb 2025).
• Noncommutative Integration and Frobenius Theorem: Integration criteria (Levi-wed, 1-differential wed) and a noncommutative Frobenius theorem ensure that exact-differential structure is preserved, paralleling classical calculus in the free polynomial regime (Greene et al., 2010).
• Positivity, Sum of Squares, and Free Real Algebraic Geometry: Noncommutative positivity tests, sum-of-squares representations, and operator inequalities extend classical results and raise questions about Gram-matrix complete positivity and the kernel/cokernel structures for large systems (Garcia et al., 16 Mar 2025, Guo et al., 2022).
• Structural Quotients and Pattern Replacement: NSym as a quotient of FQSym by specific pattern replacements links noncommutative symmetric function theory to combinatorial classes and Hopf algebra representation at $\{e_n\}_{n\geq1}$4 (Novelli et al., 2018).

Significant open problems and conjectures include the universality of Hecke algebra/Yang-Baxter traces for constructing noncommutative Macdonald polynomials, further refinements of positivity bounds and sum-of-squares representations, extension of S-lemmas to nonhomogeneous settings, and explicit combinatorial or geometric classifications of nc symmetric function invariants for broader algebraic varieties.

---

Key papers: (Greene et al., 2010, Luque et al., 2013, Novelli et al., 2013, Novelli et al., 2018, Novelli et al., 2019, Akdogan et al., 2021, Guo et al., 2022, Hicks et al., 2024, Novelli et al., 13 Feb 2025, Garcia et al., 16 Mar 2025, Mironov et al., 10 Aug 2025, Willigenburg, 2012, Korff, 2010, McCarthy et al., 2010).