arXiv++ Combinatorics

Introduced by Ballantine, Beck, and Merca, the elementary symmetric partition function $\mathrm{pre}_k$, defined on the set of partitions with at least $k$ parts, has been a topic of recent interest. We prove that $\mathrm{pre}_k$ is injective on the set of $m$-ary partitions for positive integers $m \ge k$, generalizing the binary $k = 2$ result of Ballantine, Beck, and Merca, and complementing a result of Hadelyn, Niergarth, Li and Li showing that, for each $k \ge 3$, $\mathrm{pre}_k$ is not injective on partitions of $n$ with length $2k$ for infinitely many $n$. We introduce the skew Schur partition function $\mathrm{prs}_{λ'/μ'}$, prove injectivity results for particular choices of $λ',μ'$, and describe an application to representation theory.

Terwilliger algebras are subalgebras of a matrix algebra constructed from an association scheme. Rie Tanaka defined what it means for a Terwilliger algebra to be almost commutative and gave five equivalent conditions in the case where the association scheme is commutative. A sixth condition for a Terwilliger algebra coming from a commutative Schur ring to be almost commutative has since been discovered. In this paper we first provide a classification of orbit Schur rings that produce an almost commutative Terwilliger algebra for a finite cyclic group. In particular, we show that the subgroup of automorphisms used to form the orbit Schur ring is either trivial, or the whole automorphism group when the cyclic group has prime power order. If the cyclic group has order $2^n$, these are the only options. If the cyclic group has order $p^n$, for an odd prime $p$, then the automorphism subgroup of order $p^{n-1}$ also works. If the group has a non-prime power order then the only orbit Schur ring that produces an almost commutative Terwilliger algebra comes from the trivial subgroup of the automorphism group. We then give a condition for when a wedge product of Schur rings produces an almost commutative Terwilliger algebra. This allows us to determine exactly when a Schur ring over a cyclic group produces an almost commutative Terwilliger algebra.

A symmetric function is called Schur-positive if it admits an expansion in the Schur basis with nonnegative coefficients. In this paper, we study the Schur positivity of symmetric functions naturally associated with set partitions, with respect to two different notions of descent. In the first case, the Schur expansion involves hook-shaped Young diagrams, and the corresponding coefficients are given by Touchard-Riordan polynomials, which enumerate matchings by their number of crossings. In the second case, the Schur functions correspond to two-rows Young diagrams, and the coefficients are partial sums of associated Bell numbers. A key ingredient of our approach in the second case is the notion of a removable singleton, defined algebraically and shown to admit an equivalent combinatorial interpretation via jeu-de-taquin rectification of skew tableaux. As an application, we establish Schur positivity for various classes of symmetric functions indexed by non-crossing partitions and partitions with a given number of parts. We provide an explicit combinatorial description of the tableaux that contribute to the Schur expansion, and we connects the obtained coefficients to some known integer sequences.

We develop a uniform skew Murnaghan--Nakayama theory for graded Hopf dual pairs equipped with a nondegenerate Hopf pairing. Using the completed Cauchy element, its grouplike factorization, and the resulting partial contraction operators, we establish a general skew Cauchy identity together with an abstract skew Murnaghan--Nakayama rule. Specializing this framework recovers and extends the classical skew Murnaghan--Nakayama rule for symmetric functions, and yields new skew Murnaghan--Nakayama formulas in several settings, including the dual pairs $(\mathrm{NSym}, \mathrm{QSym}) $ and $(Λ^{(k)}, Λ_{(k)}) $ arising in $k$-Schur theory, as well as the type $C$ affine Grassmannian context. As applications, we obtain generating functions for irreducible characters of Ariki--Koike algebras, including their type $A$ and type $B$ specializations, as well as Hecke--Clifford algebras and $\mathfrak q$-rook monoid algebras. We also give ribbon-tableau expansions for skew $(q,t)$-Kostka polynomials and for the entries of the inverse transition matrix, thereby answering a question of Carbonara (1998). Finally, by specializing the auxiliary alphabet $Y$ to sums of powers of primitive roots of unity, we derive a skew plethystic Murnaghan--Nakayama formula together with a Schur expansion for skew modular Schur functions; as a further consequence, we confirm Walker's conjecture (1994) by showing that if the transition from the modular Schur functions to the Schur basis is trivial in the row indexed by $λ$, then $λ$ must be a $k$-core.

A symmetric function is called Schur-positive if it admits an expansion in the Schur basis with nonnegative coefficients. In this paper, we study the Schur-positivity of symmetric functions naturally associated with set partitions, with respect to a descent set function that considers i as descent, if i and i+1 share a block in the partition. The Schur expansion involves hook-shaped Young diagrams, and the corresponding coefficients are given by Touchard-Riordan polynomials, which enumerate matchings by their number of crossings.

While the uncrowding algorithm on set-valued tableaux has long been instrumental in proving the Schur positivity of stable symmetric Grothendieck polynomials, lattice models have emerged as a modern framework for investigating symmetric functions, in particular symmetric Grothendieck polynomials. In this work, we synthesize these combinatorial and lattice-theoretic approaches by defining both the Robinson--Schensted--Knuth (RSK) correspondence and the uncrowding operation directly on a 5-vertex model of Motegi and Sakai and its subsequent reinterpretation by Buciumas, Scrimshaw, and Weber. Our lattice-based RSK formulation yields a powerful new result: the direct construction of the associated crystal structure on the states of the 5-vertex model.

In this article, we study rational representations of $G=\operatorname{GL}_2(q)$, where $q$ is a prime power. Let $ρ$ be an irreducible representation of $G$ over $\mathbb{Q}$. Then $ρ$ affords the character \[ Ω(χ)=m_{\mathbb{Q}}(χ)\sum_{σ\in\operatorname{Gal}(\mathbb{Q}(χ)/\mathbb{Q})}χ^σ, \] for some irreducible complex character $χ$ of $G$, where $m_{\mathbb{Q}}(χ)$ denotes the Schur index of $χ$ over $\mathbb{Q}$, with the converse also holding. We obtain a combinatorial description for the counting of inequivalent irreducible $\mathbb{Q}$-representations of $G$ of distinct degrees. Furthermore, we present a method to construct an irreducible rational matrix representation $ρ$ of $G$ affording the character $Ω(χ)$, where $χ$ is an irreducible complex character of $G$ arising from parabolic induction. Finally, using the results from the rational representations of $G$, we derive an explicit combinatorial formula, depending only on $q$, for the Wedderburn decomposition of $\mathbb{Q}G$.

A \emph{sprout sequence} is a sequence $\frakr=(R_0=1,R_1,R_2,\dots)$ of symmetric functions in the variables $\bmx=(x_1,x_2,\dots)$ over a field $K$ generated from a power series $F(t)=1+a_1t+a_2t^2+\cdots$ by the rule $\sum_{n\geq 0}R_nt^n = \prod_{i\geq 1} F(x_it)$. The power series $F(t)$ is called the \emph{seed} of $\frakr$. This concept originated in the work of Littlewood and Richardson (though not with the name ``sprout sequence''), and numerous examples of sprout sequences have appeared in the literature. They are related to chromatic Tutte polynomials of complete graphs and complete hypergraphs, binomial posets, upper homogeneous (upho) posets, topological genera, etc. We first develop the basic theory of sprout sequences and then look at the special case $F(t)=\sec(\sqrt{t})$. We give five characterizations of sprout sequences and consider the expansion of sprout symmetric functions in terms of well-known symmetric function bases. The Schur positivity, elementary symmetric function positivity, and complete homogeneous symmetric function positivity of $R_n$ for all $n$ are completely characterized using the Edrei-Thoma theorem from the theory of total positivity. The seed $F(t)=\sec(\sqrt{t})$ is especially interesting. The expansion of $R_n$ in the power sum or monomial basis is related to alternating permutations. The Schur function expansion is related to standard Young skew tableaux. The expansion in terms of the complete symmetric functions has nonnegative integer coefficients, but we don't know a combinatorial interpretation. Finally we give a formula for $R_n$ as a sum of chromatic symmetric functions of interval orders.

We generalize and prove the recursive relation \[ S_λ(V) = \sum_{L\subseteq V\text{ line}} S_λ(V \mathbin{/\mkern-5mu/} L) \] conjectured by I. G. Macdonald for his "7th variation" of the Schur functions. This variation is a family of polynomials over a finite field that mimic the (straight and skew) Schur polynomials using powers of the Frobenius.

This paper studies generalized Pólya conversion problems for the $q$-permanent \[ \operatorname{P}_q(A)=\sum_{σ\in S_n} q^{\ell(σ)} a_{1,σ(1)} \cdots a_{n,σ(n)}, \] where $q\in\mathbb{C}^*$ and $\ell(σ)$ is the permutation length. We show that for $n\geq 3$ and $q\neq \pm1$, the $q$-permanent is not linearly convertible to the determinant or the permanent, and we completely classify and give a geometric interpretation of the special case $n=2$. Focusing on Schur multiplier transformations, we characterize the space of Schur multiplier preservers. For $|q|\neq1$, the preserver exponents is a $(2n-2)$-dimensional vector space consisting of additive matrices satisfying a discrete Monge relation. In contrast, for $q$ on the unit circle, the solution space becomes a countable union of affine lattices. For lower Hessenberg matrices, we prove that the rigidity phenomenon disappears, yielding an explicit determinantal reduction of the $q$-permanent and an $O(n^3)$ evaluation algorithm. The central results of this paper establish sharp rigidity thresholds governing permutational symmetries and mixed conversion identities. First, we classify permutational converter exponents and show that, for $n\geq4$, the admissible symmetries are precisely the elements of the dihedral group. Second, we solve a mixed conversion problem that expresses the $q$-permanent as a linear combination of the determinant and the permanent, and prove that the corresponding solution space is nonempty if and only if $n\leq4$, in which case it decomposes into finitely many affine components modeled on the preserver exponent space. This mixed formulation yields a direct algebraic characterization of the $q$-permanent's zero locus for $n \le 4$ via a generalized Pólya identity.

In this paper, we investigate the Schur positivity of modified Hall--Littlewood polynomials indexed by two-column partitions under the action of the $\nabla$ operator. Specifically, we resolve two conjectures posed by Bergeron, Garsia, Haiman, and Tesler in the two-column case. Furthermore, our approach demonstrates that these results can be extended to arbitrary powers $\nabla^k$ for all integers $k\geq 1$.

Cylindric Schur functions are a family of symmetric functions that generalize skew Schur functions. We give a short proof that skew cylindric Schur functions expand positively in terms of non-skew cylindric Schur functions. In particular, we show that the expansion coefficients are fusion coefficients.

In this paper, we study Thrall's problem for the higher Lie modules $L_λ$. Our main result provides a tableau-theoretic description of the Schur expansion of the character of $L_λ$ when $λ$ has two rows, thereby solving Thrall's problem in this case. This formula is expressed in terms of standard Young tableaux with major index congruence conditions and a spin-parity condition defined through bijections with Yamanouchi domino tableaux. We also obtain tableau formulas for hook shapes and partitions with distinct parts, and these results extend to all partitions in which each part greater than $2$ occurs at most twice.

A finite group $G$ is called a Schur group if every Schur ring over $G$ is schurian, i.e. associated in a natural way with a subgroup of the symmetric group $Sym(G)$ that contains all right translations of $G$. The list of all possible abelian Schur groups was obtained by Evdokimov, Kovács, and Ponomarenko in 2016. In two papers, we complete a classification of abelian Schur groups. In the present paper, we prove that several groups of nonpowerful order from the list are Schur groups. By that, we obtain a classification of abelian Schur groups.

We investigate the multicritical scaling limit of the shifted Schur measures. Under an appropriate scaling limit and specific conditions on the continuous parameters, we explicitly determine the limit shape of strict partitions distributed according to the shifted Schur measure. We then show that, under a multicritical condition, the edge scaling limit of the correlation function converges to a determinant of the higher-order Airy kernel. This rigorously demonstrates a transition from a Pfaffian point process to a determinantal distribution in the scaling limit.

We show that for $m, r \in \mathbb{N}$ and $N > (2m+1)^r (r!)^{1/m}$, every $r$-coloring of the integers in the interval $[N]$ contains a monochromatic solution to the equation \[ x_1 + \dots + \dots x_{m+1} = y_1 + \dots + y_m. \] This generalizes and improves recent results of Koścuiszko. We also show that if $N \geq 2^{r}$, then every $r$-coloring of the integers in $[N]$ must always determine a monochromatic solution to the above equation for some $m \geq 1$. The latter estimate is optimal.

This paper develops three related combinatorial results for Dyck-type sequences. First, it constructs a row-insertion algorithm for dual Dyck sequences and extends it to Dyck tableaux. This construction gives a weight-preserving bijection between dual Dyck factorizations and pairs consisting of a Dyck tableau and a semistandard Young tableau of the same shape. As a consequence, the associated dual Dyck symmetric functions are Schur-positive, and the corresponding affine Dyck symmetric functions have the conjugate-shape Schur expansion. Second, it applies these Dyck symmetric functions to the \(q,t\)-Catalan polynomial. It gives a two-column tableau formula for \(C_n(q,t)\), expressing it as a sum over Dyck \(m\)-skeletons and at-most-two-column Dyck tableaux with summands involving two-variable Schur functions. Third, it develops a Dyck-skeleton formula for the deficit range \(\defc\le 2n-8\). Full and special Dyck skeletons, together with local \(\mathrm{East}\), \(\mathrm{West}\), \(\mathrm{up}\), and \(\mathrm{down}\) moves, organize the low-area half of each low-deficit slice into skeleton-indexed strings. The \(q,t\)-symmetry of \(C_n(q,t)\) supplies the complementary high-area half in the resulting interval formula.

We introduce a family of complex-valued edge weights on a finite simple graph $\G$ arising from a continuous-time quantum walk on the line graph $\ell\G$, packaged as the \emph{Schur state}: an $n \times n$ Hermitian matrix encoding the amplitudes of an edge-state walk. The entrywise modulus square induces a real-weighted adjacency matrix $A(e)$ and Laplacian $L(e)$, and time-averaging yields a weighted graph whose spanning-tree count we relate to that of $\G$. Our main result is \[ tn\!\left(\G, \tfrac{1}{m}\right) = \frac{1}{m^{n-1}}\, tn(\G), \] valid whenever the initial edge state is \emph{uniform commutative}, where $n=|V\G|$, $m=|E\G|$, and $tn(\G, w)$ denotes the weighted spanning-tree count. We further identify a structural mechanism -- the $-2$ eigenspace of $\ell\G$ -- providing uniform commutative states beyond the regular case, in particular for line graphs of Eulerian graphs with an even number of edges. As a side result, we establish that commutative states are precisely the states whose von Neumann entropy is preserved under average mixing.

A graph is Schur-positive if its chromatic symmetric function expands non-negatively in the Schur basis. We determine a full Schur-positivity classification for complete multipartite graphs by showing that a complete multipartite graph $K_λ$ is Schur-positive if and only if either $λ_i\in \{1,2\}$ for all $i$ or $λ=(3,2^β)$ for some $β\ge 1$. These results extend earlier classifications for complete bipartite and complete tripartite graphs to full generality. Our proofs combine structural arguments ruling out most cases, with a combinatorial analysis of Schur coefficients for the remaining family $K_{(3,2^β)}$ via special rim hook $G$-tabloids. Along the way, we establish a simpler formula for Schur coefficients of incomparability graphs, which we then apply to compute the coefficients of interest in terms of non-increasing sequences.

We introduce a linear map on symmetric functions that 'divides' a partition by a positive integer $k$, sending a Schur function indexed by a partition of $kn$ to a symmetric function indexed by partitions of $n$. We prove that the image of this map is always Schur-positive, meaning it expands in the Schur basis with nonnegative integer coefficients. These coefficients are enumerated by a new family of combinatorial objects, called $k$-Yamanouchi tableaux, which generalize the classical ballot (Yamanouchi) tableaux appearing in the Littlewood-Richardson rule. We also obtain expansions in the power-sum basis and establish power-sum positivity. A further application establishes a connection to work of Tewodros Amdeberhan, John Shareshian, and Richard Stanley on alternating permutations and Euler numbers.