arXiv++ Combinatorics

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.

In this paper, we provide a combinatorial characterization of the elements of Schur ultrafilters on countable commutative groups. Using this characterization, we construct a free Schur ultrafilter on $\mathbb Z$ that is not infinitary Schur. Moreover, assuming the Continuum Hypothesis, we establish the existence of a free Schur P-point on $\mathbb Z$.

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.

Ribbon decomposition matrices give determinantal formulas for skew Schur functions that include as special cases the classical Jacobi-Trudi, Giambelli, and Lascoux-Pragacz formulas. We prove that certain elements of Lusztig's dual canonical basis, called Temperley-Lieb immanants, are Schur-positive when evaluated on ribbon decomposition matrices. We conjecture that this positivity holds for all elements of the dual canonical basis. This is known in the special case of Jacobi-Trudi matrices by a result of Haiman.

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.

Majorization inequalities for symmetric polynomials have interested mathematicians for centuries, from the AM-GM inequality for two variables going back at least to Euclid, through classical results of Newton, Muirhead and Gantmacher, to more recent extensions to Schur polynomials and zonal spherical functions. These have been established case by case, with no unified approach. Although it is known that majorization inequalities follow from symmetry and convexity in the indexing partition, the difficulty of proving convexity in specific cases has left a number of outstanding conjectures inaccessible until now. The key insight of this paper is that log-convexity provides both a more versatile tool and a unifying principle. It implies convexity and hence majorization, and it is preserved under multiplication and weighted averaging, making it well suited to inductive arguments in a wide range of settings. Using this idea, we prove new majorization inequalities for Macdonald polynomials, Jack polynomials and Heckman-Opdam hypergeometric functions, unifying existing results and resolving several open conjectures.

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.

We construct a complex of toric varieties we call the quasisymmetric Grassmannian inside the Grassmannian of $r$-planes in $\mathbb{C}^n$. Each irreducible component is a positroid variety and an $S_n$ translate of a toric Richardson variety of ribbon shape. We describe it as the vanishing locus of equations $Δ_AΔ_{A'}=0$ in Plücker coordinates determined by a new noncrossing combinatorial object we call the quasisymmetric Johnson graph. We give an affine paving, and show that its cohomology ring is a quasisymmetric modification of the Borel presentation of the Grassmannian's cohomology, with fundamental quasisymmetric polynomials playing the role of Schur polynomials.

Genomic Schur functions were introduced by Pechenik and Yong in connection with the $K$-theory of Grassmannians. Pechenik proved that genomic Schur functions admit a positive expansion in the basis of fundamental quasisymmetric functions and, for partitions with two parts, a positive expansion in the Schur basis. Later, Kim and Yoo constructed $0$-Hecke modules associated with genomic Schur functions and conjectured that the latter expansion admits a representation-theoretic interpretation in terms of $0$-Hecke modules. In this paper, we prove the conjecture of Kim and Yoo, thereby obtaining a representation-theoretic interpretation of the Schur expansion in the two-row case.

We study modular analogues of Schur numbers for systems of linear equations. We show that these only depend on the number of equations, not their coefficients and in the case of one equation show stronger bounds.

One of the central open problems in both algebraic combinatorics and representation theory is to find a positive combinatorial rule for Kronecker coefficients $ g_{λ\, μ\, ν}$. A notable advance in this direction is due to Blasiak, who proved a combinatorial interpretation in terms of colored Yamanouchi tableaux for the case whereby one of the indexing partitions is hook-shaped. In this paper, we introduce a framework for the evaluation and combinatorial interpretation of Kronecker coefficients, combining a Schur function identity of Littlewood, the Giambelli identity for Schur functions, and Blasiak's combinatorial rule. This framework reduces the study of Kronecker coefficients to alternating sums involving hook-indexed cases. As an application of this framework, we obtain combinatorial interpretations of $g_{t, h^{(1)}, h^{(2)}}$ for two-row partitions $t$ and hook-like partitions $h^{(1)}$ and $h^{(2)}$ satisfying natural conditions. More broadly, our approach provides a systematic method for extending hook-based combinatorial rules to wider families of Kronecker coefficients.

We study three-dimensional partition functions constructed from the tetrahedral $L$-operator introduced and studied by Bazhanov-Sergeev and Kuniba-Maruyama-Okado. First, we explore the $q=0$ case, extending the authors' previous results and giving applications by a further analysis on the Zamolodchikov-Faddeev algebra. We introduce a class of partition functions which can be expressed as the tensor Schur polynomials, a class of products of Schur polynomials. As an application, we derive the shuffle formula for the Schur polynomials which is geometrically the pushforward formula by Joźefiak-Pragacz-Lascoux. We also give a derivation and a unification of the Gustafson-Milne and Feh{é}r--N{é}methi--Rim{á}nyi identities, and introduce a family of Laurent polynomials using divided difference operators which imitates the Schubert polynomials from the perspective of our study. We also present an application to the steady state of the multispecies totally asymmetric simple exclusion process. Second, we investigate several classes of partition functions for the generic $q$ case, and determine the explicit forms as deformations of the elementary symmetric functions. One of them can be regarded as (an extension of) a $q$-deformed loop elementary symmetric functions.

We derive explicit rational generating functions for weighted tilings of $2k\times n$ rectangles by straight $k\times 1$ tiles. Our approach combines a decomposition by fault lines with a Hadamard-product framework. Tools from algebraic combinatorics are used together with a theorem of Klivans and Reiner on Schur expansions of plethystic compositions of elementary symmetric functions. This translates the tiling problem into a combinatorial framework via special rim-hook tableaux. On the tiling side, Graham's theorem on fault-free tilings provides the key input needed to complete the analysis.

For an integer $t \geq 3$, let $\mathcal{L}(t)$ denote the linear equation $x_1 + x_2 + \cdots + x_{t-1} = x_t,$ where all variables are positive integers. For integers $k \geq 1$ and $t_0,t_1,\dots,t_{k-1} \geq 3$, the generalized Schur number $S(k;t_0,t_1,\dots,t_{k-1})$ is the least positive integer $N$ such that every $k$-coloring of $[1,N]$, for some $i \in \{0,1,\dots,k-1\}$, a solution to $\mathcal{L}(t_i)$ with all variables monochromatic in color $i$. In 2015, Ahmed and Schaal proposed a conjecture: $S(3 ; 3, t, u)>3 t u-t u-u-1$ for $3=t<u$ and $3<t \leq u$. In this paper, we confirm this conjecture. At the same paper, they also conjecture that $S(3 ; s, t, u)=s t u-t u-u-1$ for $4 \leq s \leq t \leq u$. Motivated by the second conjecture, we give a recursive lower bound of $S(r; k_0, k_1, \dots, k_{r-1})$ and upper bounds for $S(r; k_0, k_1, \dots, k_{r-1})$ and $S(r;k_0,\dots,k_{r-2},u)$ for all sufficiently large $u$.

The immanants of combinatorial matrices have many significant properties, including m-positivity and Schur positivity. While the immanants of Jacobi-Trudi matrices are known to be both m-positive and Schur positive, those of Giambelli matrices have only been proven to be m-positive, with Schur positivity remaining a conjecture. These positivity properties rely heavily on lattice path interpretations. In this paper, we study the Newton polytopes of immanants for these two classes of matrices. Using the lattice path method, we verify the saturation property for the Newton polytopes of Jacobi-Trudi matrices in special cases. For Giambelli matrices, we prove that this property holds for all immanants. To achieve this, we obtain the explicit coefficients of the largest monomial (in the dominance order) in the monomial expansion of the immanants of Giambelli matrices.

Kosek, Robertson, Sabo, and Schaal studied the minimum number \(M_k(n)\) of monochromatic solutions to the strict Schur inequality system $x_1\le x_2\le x_3$ and $x_1+x_2<x_3$ in \(2\)-colorings of \([k+1,k+n]\). They proved that for every fixed \(k\ge 0\), $M_k(n)= \frac{n^3}{12(1+2\sqrt2)^2}(1+o_k(1)),$ and left open the case \(k\le -2\). In this paper, we resolve that remaining range.