arXiv++ Combinatorics

Let $λ$ be a partition of a positive integer $n$. The genomic Schur function $U_λ$ was introduced by Pechenik--Yong in the context of the $K$-theory of Grassmannians. Recently, Pechenik provided a positive combinatorial formula for the fundamental quasisymmetric expansion of $U_λ$ in terms of increasing gapless tableaux. In this paper, for each $1 \le m \le n$, we construct an $H_m(0)$-module $\mathbf{G}_{λ;m}$ whose image under the quasisymmetric characteristic is the $m$th degree homogeneous component of $U_λ$ by defining an $H_m(0)$-action on increasing gapless tableaux. We provide a method to assign a permutation to each increasing gapless tableau, and use this assignment to decompose $\mathbf{G}_{λ;m}$ into a direct sum of weak Bruhat interval modules. Furthermore, we determine the projective cover of each summand of the direct sum decomposition.

For a $(3+1)$-free poset $P$, we define a hybrid of $P$-tableaux and cylindric tableaux called cylindric $P$-tableaux. We introduce $P$-analogs of cylindric Schur functions, defined by a determinantal formula, and prove that they are the weight generating functions of cylindric $P$-tableaux. We deduce that certain sums of the $e$-expansion coefficients of the chromatic symmetric function $X_{inc(P)}$ are positive. This improves on Gasharov's theorem on the Schur positivity of $X_{inc(P)}$ and gives further evidence for the Stanley-Stembridge conjecture.

The machinery of noncommutative Schur functions is a general approach to Schur positivity of symmetric functions initiated by Fomin-Greene. Hwang recently adapted this theory to posets to give a new approach to the Stanley-Stembridge conjecture. We further develop this theory to prove that the symmetric function associated to any $P$-Knuth equivalence graph is Schur positive. This settles a conjecture of Kim and the third author, and refines results of Gasharov, Shareshian-Wachs, and Hwang on the Schur positivity of chromatic symmetric functions.

In prior joint work with Lewis, we developed a theory of enriched set-valued $P$-partitions to construct a $K$-theoretic generalization of the Hopf algebra of peak quasisymmetric functions. Here, we situate this object in a diagram of six Hopf algebras, providing a shifted version of the diagram of $K$-theoretic combinatorial Hopf algebras studied by Lam and Pylyavskyy. This allows us to describe new $K$-theoretic analogues of the classical peak algebra. We also study the Hopf algebras generated by Ikeda and Naruse's $K$-theoretic Schur $P$- and $Q$-functions, as well as their duals. Along the way, we derive several product, coproduct, and antipode formulas and outline a number of open problems and conjectures.

Working in a polynomial ring $S=\mathbf{k}[x_1,\ldots,x_n]$ where $\mathbf{k}$ is an arbitrary commutative ring with $1$, we consider the $d^{th}$ Veronese subalgebras $R=S^{(d)}$, as well as natural $R$-submodules $M=S^{(\geq r, d)}$ inside $S$. We develop and use characteristic-free theory of Schur functors associated to ribbon skew diagrams as a tool to construct simple $GL_n(\mathbf{k})$-equivariant minimal free $R$-resolutions for the quotient ring $\mathbf{k}=R/R_+$ and for these modules $M$. These also lead to elegant descriptions of $\mathrm{Tor}^R_i(M,M')$ for all $i$ and $\mathrm{Hom}_R(M,M')$ for any pair of these modules $M,M'$.

We formulate a series of conjectures on the stable tensor product of irreducible representations of symmetric groups, which are closely related to the reduced Kronecker coefficients. These conjectures are certain generalizations of Okounkov's conjecture on the log-concavity of the Littlewood--Richardson coefficients and the Schur log-concavity theorem of Lam--Postnikov--Pylyavskyy. We prove our conjectures in some special cases and discuss some implications of these conjectures.

Motivated by Sato and Mori's work on the Korteweg-de Vries (KdV) equation and the modified KdV equation, Mizukawa, Nakajima, and Yamada made a conjecture on 2-reduced Schur functions and Schur's Q-functions. The conjecture claims that certain sums of products of a Littlewood-Richardson coefficient and two 2-reduced Schur functions are equal to Schur's Q-functions up to a scalar multiple. In this paper we give a proof of the conjecture in cases which have not been proved yet. We introduce a new expression of Schur's Q-functions and use it to prove the conjecture. Combinatorics of the inverse Kostka matrix is also used. We also provide consideration of the conjecture in general case.

In this work we consider the list-decodability and list-recoverability of arbitrary $q$-ary codes, for all integer values of $q\geq 2$. A code is called $(p,L)_q$-list-decodable if every radius $pn$ Hamming ball contains less than $L$ codewords; $(p,\ell,L)_q$-list-recoverability is a generalization where we place radius $pn$ Hamming balls on every point of a combinatorial rectangle with side length $\ell$ and again stipulate that there be less than $L$ codewords. Our main contribution is to precisely calculate the maximum value of $p$ for which there exist infinite families of positive rate $(p,\ell,L)_q$-list-recoverable codes, the quantity we call the zero-rate threshold. Denoting this value by $p_*$, we in fact show that codes correcting a $p_*+\varepsilon$ fraction of errors must have size $O_{\varepsilon}(1)$, i.e., independent of $n$. Such a result is typically referred to as a ``Plotkin bound.'' To complement this, a standard random code with expurgation construction shows that there exist positive rate codes correcting a $p_*-\varepsilon$ fraction of errors. We also follow a classical proof template (typically attributed to Elias and Bassalygo) to derive from the zero-rate threshold other tradeoffs between rate and decoding radius for list-decoding and list-recovery. Technically, proving the Plotkin bound boils down to demonstrating the Schur convexity of a certain function defined on the $q$-simplex as well as the convexity of a univariate function derived from it. We remark that an earlier argument claimed similar results for $q$-ary list-decoding; however, we point out that this earlier proof is flawed.

Given a linear equation $\mathcal{E}$, the $k$-color Rado number $R_k(\mathcal{E})$ is the smallest integer $n$ such that every $k$-coloring of $\{1,2,3,\dots,n\}$ contains a monochromatic solution to $\mathcal E$. The degree of regularity of $\mathcal E$, denoted $dor(\mathcal E)$, is the largest value $k$ such that $R_k(\mathcal E)$ is finite. In this article we present new theoretical and computational results about the Rado numbers $R_3(\mathcal{E})$ and the degree of regularity of three-variable equations $\mathcal{E}$. % We use SAT solvers to compute many new values of the three-color Rado numbers $R_3(ax+by+cz = 0)$ for fixed integers $a,b,$ and $c$. We also give a SAT-based method to compute infinite families of these numbers. In particular, we show that the value of $R_3(x-y = (m-2) z)$ is equal to $m^3-m^2-m-1$ for $m\ge 3$. This resolves a conjecture of Myers and implies the conjecture that the generalized Schur numbers $S(m,3) = R_3(x_1+x_2 + \dots x_{m-1} = x_m)$ equal $m^3-m^2-m-1$ for $m\ge 3$. Our SAT solver computations, combined with our new combinatorial results, give improved bounds on $dor(ax+by = cz)$ and exact values for $1\le a,b,c\le 5 $. We also give counterexamples to a conjecture of Golowich.

A graph $H$ is \emph{common} if the number of monochromatic copies of $H$ in a 2-edge-colouring of the complete graph $K_n$ is asymptotically minimised by the random colouring, or equivalently, $t_H(W)+t_H(1-W)\geq 2^{1-e(H)}$ holds for every graphon $W:[0,1]^2\rightarrow [0,1]$, where $t_H(.)$ denotes the homomorphism density of the graph $H$. Paths and cycles being common is one of the earliest cornerstones in extremal graph theory, due to Mulholland and Smith (1959), Goodman (1959), and Sidorenko (1989). We prove a graph homomorphism inequality that extends the commonality of paths and cycles. Namely, $t_H(W)+t_H(1-W)\geq t_{K_2}(W)^{e(H)} +t_{K_2}(1-W)^{e(H)}$ whenever $H$ is a path or a cycle and $W:[0,1]^2\rightarrow\mathbb{R}$ is a bounded symmetric measurable function. This answers a question of Sidorenko from 1989, who proved a slightly weaker result for even-length paths to prove the commonality of odd cycles. Furthermore, it also settles a recent conjecture of Behague, Morrison, and Noel in a strong form, who asked if the inequality holds for graphons $W$ and odd cycles $H$. Our proof uses Schur convexity of complete homogeneous symmetric functions, which may be of independent interest.

We introduce the new combinatorial approach of plethystic type of tableaux, as a method to understand coefficients of Schur functions appearing in plethysms $s_ν[h_λ]$ and $s_ν[e_λ]$, for any partitions $λ$ and $ν$. We first give general results about this approach, then use results on tableaux, ribbon tableaux and integer points in polytopes to understand the case where $ν$ is a partition of $3$ and $λ$ has one part. We then use a \textit{Kronecker map} to extend these results to any partition $λ$.

By interpreting Kostka numbers as tensor product multiplicities in the BGG category O for the special linear Lie algebras, we provide a new proof of the classical Jacobi--Trudi identities for skew Schur polynomials, derived from the celebrated Weyl character formula. We re-establish the Schur positivity of certain truncations in the Jacobi--Trudi expansion of skew Schur polynomials and obtain Schur positivity results for similar truncations in the Jacobi--Trudi-type expansion of the product of two Schur polynomials. Furthermore, we interpret the coefficients in the Schur polynomial expansions of these Jacobi--Trudi truncations as tensor product multiplicities in the BGG category O.

The $K$-theoretic Schur $P$- and $Q$-functions $GP_λ$ and $GQ_λ$ may be concretely defined as weight generating functions for semistandard shifted set-valued tableaux. These symmetric functions are the shifted analogues of stable Grothendieck polynomials, and were introduced by Ikeda and Naruse for applications in geometry. Nakagawa and Naruse specified families of dual $K$-theoretic Schur $P$- and $Q$-functions $gp_λ$ and $gq_λ$ via a Cauchy identity involving $GP_λ$ and $GQ_λ$. They conjectured that the dual power series are weight generating functions for certain shifted plane partitions. We prove this conjecture. We also derive a related generating function formula for the images of $gp_λ$ and $gq_λ$ under the $ω$ involution of the ring of symmetric functions. This confirms a conjecture of Chiu and the second author. Using these results, we verify a conjecture of Ikeda and Naruse that the $GQ$-functions are a basis for a ring.

In this paper, we first introduce a family of universal symplectic functions $sp_λ(\mathbf{x}^{\pm};\mathbf{z})$ that include symplectic Schur functions $sp_λ(\mathbf{x}^{\pm})$, odd symplectic characters $sp_λ(\mathbf{x}^{\pm};z)$, universal symplectic characters $sp_λ(\mathbf{z})$ and intermediate symplectic characters as subfamilies. We then realize the universal symplectic functions by vertex operators, which naturally lead to their skew versions, and show that $sp_λ(\mathbf{x}^{\pm};\mathbf{z})$ obey the general branching rules. This also gives the Gelfand-Tsetlin representations of odd symplectic characters and a transition formula between odd symplectic characters and symplectic Schur functions. Secondly we introduce a family of universal orthogonal functions $o_λ(\mathbf{x}^{\pm};\mathbf{z})$ and their skew versions in a similar manner, and we provide their vertex operator realizations and obtain transition formulas and the branching rule. The universal orthogonal functions $o_λ(\mathbf{x}^{\pm};\mathbf{z})$ generalize orthogonal Schur functions $o_λ(\mathbf{x}^{\pm})$, odd orthogonal Schur functions $so_λ(\mathbf{x}^{\pm})$, universal orthogonal characters $o_λ(\mathbf{z})$ as well as intermediate orthogonal characters. Thirdly, we give vertex operator realizations for the $CB$-interpolating Schur functions $s^{CB}_λ(x;β)$ introduced by Bisi and Zygouras (Adv. Math., 2022) and the $DB$-interpolating Schur functions $s^{DB}_λ(x;β)$ interpolating between characters of type $D$ and $B$. As an application, we show $s^{CB}_λ(x;β)$ are equal to the orthosymplectic Schur polynomials $spo_λ(x/β)$, thus give a short proof of the generalization of the Brent-Krattenthaler-Warnaar identity obtained by Kumari (arXiv:2401.01723).

A finite group $G$ is called a Schur group if every $S$-ring over $G$ is schurian, i.e. associated in a natural way with a subgroup of $\sym(G)$ that contains all right translations. We prove that every nonabelian nilpotent Schur group belongs to one of the explicitly given families of groups.

An $S$-ring (Schur ring) is called central if it is contained in the center of the group ring. We introduce the notion of a generalized Schur group, i.e. such finite group that all central $S$-rings over this group are schurian. It generalizes in a natural way the notion of a Schur group and they are equivalent for abelian groups. We establish basic properties and provide infinite families of nonabelian generalized Schur groups

We introduce the multiple zeta functions with structures similar to those of symmetric functions such as Schur $P$-, Schur $Q$-, symplectic and orthogonal functions in the representation theory. We first consider their basic properties such as a domain of absolute convergence. And then by restricting to the truncated multiple zeta functions, we obtain the pfaffian expression of the Schur $Q$-multiple zeta functions, the sum formula for Schur $P$- and Schur $Q$-multiple zeta functions, the determinant expressions of symplectic and orthogonal Schur multiple zeta functions under an assumption on variables. Finally, we generalize those to the quasi-symmetric functions.

Composing two representations of the general linear groups gives rise to Littlewood's (outer) plethysm. On the level of characters, this poses the question of finding the Schur expansion of the plethysm of two Schur functions. A combinatorial interpretation for the Schur expansion coefficients of the plethysm of two Schur functions is, in general, still an open problem. We identify a proof technique of combinatorial representation theory, which we call the "$s$-perp trick", and point out several examples in the literature where this idea is used. We use the $s$-perp trick to give algorithms for computing monomial and Schur expansions of symmetric functions. In several special cases, these algorithms are more efficient than those currently implemented in {\sc SageMath}.

We study the universal scaling limit of random partitions obeying the Schur measure. Extending our previous analysis [arXiv:2012.06424], we obtain the higher-order Pearcey kernel describing the multi-critical behavior in the cusp scaling limit. We explore the gap probability associated with the higher Pearcey kernel, and derive the coupled nonlinear differential equation and the asymptotic behavior in the large gap limit.

Using the vertex operator representations for symplectic and orthogonal Schur functions, we define two families of symmetric functions and show thatthey are the skew symplectic and skew orthogonal Schur polynomials defined implicitly by Koike and Terada and satisfy the general branching rules. Furthermore, we derive the Jacobi-Trudi identities and Gelfand-Tsetlin patterns for these symmetric functions. Additionally, the vertex operator method yields their Cauchy-type identities. This demonstrates that vertex operator representations serve not only as a tool for studying symmetric functions but also offers unified realizations for skew Schur functions of types A, C, and D.