Transition matrices and Pieri-type rules for polysymmetric functions

TL;DR

This paper develops combinatorial formulas and Pieri-type rules for polysymmetric functions, generalizing classical symmetric function theory with new tableau-like structures and transition matrices.

Contribution

It introduces new Pieri-type rules and tableau-like combinatorial formulas for the algebra of polysymmetric functions, extending classical symmetric function results.

Findings

Derived expansion formulas for non-pure bases in polysymmetric functions

Established new tableau-like combinatorial objects for these expansions

Formulated Pieri-type rules for product expansions in PΛ

Abstract

Asvin G and Andrew O'Desky recently introduced the graded algebra P$\Lambda$ of polysymmetric functions as a generalization of the algebra $\Lambda$ of symmetric functions. This article develops combinatorial formulas for some multiplication rules and transition matrix entries for P$\Lambda$ that are analogous to well-known classical formulas for $\Lambda$. In more detail, we consider pure tensor bases $\{s^{\otimes}_{\tau}\}$, $\{p^{\otimes}_{\tau}\}$, and $\{m^{\otimes}_{\tau}\}$ for P$\Lambda$ that arise as tensor products of the classical Schur basis, power-sum basis, and monomial basis for $\Lambda$. We find expansions in these bases of the non-pure bases $\{P_{\delta}\}$, $\{H_{\delta}\}$, $\{E^+_{\delta}\}$, and $\{E_{\delta}\}$ studied by Asvin G and O'Desky. The answers involve tableau-like structures generalizing semistandard tableaux, rim-hook tableaux, and the brick tabloids of E\u{g}ecio\u{g}lu and Remmel. These objects arise by iteration of new Pieri-type rules that give expansions of products such as $s^{\otimes}_{\sigma}H_{\delta}$, $p^{\otimes}_{\sigma}E_{\delta}$, etc.