arXiv++ Combinatorics

We conjecture affine or Hall-Littlewood analogues of the dual Jacobi-Trudi formulas for orthogonal and symplectic Schur functions indexed by rectangular partitions of maximal height. These conjectures are then used to derive $t$-analogues of many known Rogers-Ramanujan identities for the characters of standard modules of affine Lie algebras. This includes $t$-analogues of the classical Rogers-Ramanujan identities, (some of) the Andrews-Gordon identities and the $\mathrm{C}_n^{(1)}$, $\mathrm{A}_{2n}^{(2)}$ and $\mathrm{D}_{n+2}^{(2)}$ GOW identities. We also prove an affine analogue of the dual Jacobi-Trudi formula for Schur functions indexed by rectangular partitions of arbitrary height.

Let $G$ be a finite group and let $\tilde{G}$ be a Schur cover of $G$. The deep commuting graph $Δ_D(G)$ of $G$ is a simple graph with vertex set $G$, where two distinct vertices are adjacent if their pre-images commute in $\tilde{G}$. The deep commuting graph of a finite group was first introduced in [P. J. Cameron and B. Kuzma, Between the enhanced power graph and the commuting graph, {\it J. Graph Theory} {\bf 102} (2023), no. 2, 295--303], where the authors have shown that $Δ_D(G)$ is fixed irrespective of the choice of the Schur cover $\tilde{G}$. In this paper, we first prove that $Δ_D(G)$ is complete if and only if $G$ is cyclic. Also, we classify finite simple groups, symmetric groups and alternating groups, for which $Δ_D(G)$ is perfect. In addition, explore several other properties of $Δ_D(G)$ like Eulerianess, universality and connectedness of reduced deep commuting graphs. Next, we classify the finite abelian groups for which deep commuting graphs coincide with enhance power graphs. We also characterize the dominant vertices for the deep commuting graphs of finite abelian groups and examine the connectedness of the associated reduced deep commuting graphs. These properties of the deep commuting graphs for the non abelian groups like symmetric groups, alternating groups, dihedral groups, generalized quaternion group and Heisenberg groups are also discussed.

The cyclotomic matrix is commonly used to arrange cyclotomic numbers in a convenient format. A natural question is whether the structure of the matrix can reflect properties of these numbers. In this article, we examine cyclotomic numbers through their associated cyclotomic matrix and reveal an algebraic structure by relating it to a basis element of a Schur ring. This viewpoint leads to structural identities and reinterpretations of classical results. As an application, we investigate the power difference set problem and establish conditions expressed through cyclotomic matrices, including spectral and determinant characterizations.

We study positivity properties of Hadamard products of Jacobi-Trudi matrices. Maló proved that the Hadamard (entrywise) product of two totally positive upper-triangular Toeplitz matrices whose Toeplitz sequences are the coefficient sequences of real-rooted polynomials with nonpositive zeros is again totally positive. Sokal conjectured that this result can be strengthened to total monomial positivity for the Hadamard product of Jacobi-Trudi matrices. In this paper we show that Temperley-Lieb immanants are Schur positive for Hadamard products of Jacobi-Trudi matrices given by ribbon-like skew shapes. In particular, we affirm Sokal's conjecture for minors given by ribbon-like skew shapes. Moreover, we provide a manifestly positive Schur expansion for Temperley-Lieb immanants evaluated on the Hadamard product of Jacobi-Trudi matrices indexed by ribbons. In addition, for the ribbon case, we construct a corresponding representation, offering a representation-theoretic proof of the Schur positivity.

Let $G$ be a finite group and let $S$ be an inverse-closed subset of $G$ not containing the identity. The Cayley graph $\mathrm{Cay}(G,S)$ has vertex set $G$, where two vertices $x$ and $y$ are adjacent if and only if $x^{-1}y \in S$. Kaseasbeh and Erfanian (2021) determined the structure of all Cayley graphs on the dihedral group of order $2n$ for subsets $S$ of size at most three. We extend their work by analyzing the structure of such Cayley graphs for subsets $S$ of size at least four. Our main results are as follows: 1. using a classical result of Burnside and Schur, we determine the automorphism groups of Cayley graphs on dihedral groups of order $2p$, where $p$ ranges over infinitely many primes and $S$ consists only of rotations; 2. if $S$ consists of $4 \le 2k < n$ distinct rotations, then the Cayley graph $\mathrm{Cay}(D_{2n},S)$ is the disjoint union of two isomorphic circulant graphs on $n$ vertices, and 3. if $S$ is a generating set of $4\leq k\leq n$ reflections, then the Cayley graph $\mathrm{Cay}(D_{2n},S)$ is bipartite, forming the disjoint union of $k$ perfect matchings.

We generalize Fulton's determinantal construction of Schur modules to the skew setting, providing an explicit and functorial presentation using only elementary linear algebra and determinantal identities, in parallel with the partition case. Building on the non-iterative straightening formula of the first author for partition shapes, we develop a non-iterative straightening algorithm for skew Schur modules that expresses arbitrary elements in a new D-basis with an explicit closed coefficient formula. We then show that this D-basis is the result of applying Gram-Schmidt orthogonalization to the semistandard tableau basis, which identifies a natural inner product on the skew Schur module and recasts straightening as an orthogonal projection.

Plethysm coefficients $\mathsf{a}_{μ[ν]}^λ$ are the structure coefficients of the plethysm of Schur functions $s_μ[s_ν] = \sum_λ \mathsf{a}_{μ[ν]}^λs_λ$. We study a bivariate generating function of plethysm coefficients when $λ$ has bounded length. We show that this generating function is rational. A key step is MacMahon's combinatory analysis. When the bound on the length is $2$ we give an explicit geometric algorithm to compute it using $q$-Ehrhart theory. We give evidence that the generating function is the quantum Ehrhart series of a union of half-open polytopes and show that it satisfies a reciprocity theorem reminiscent of Ehrhart reciprocity. Furthermore, we give a set of linear recursions that completely describe the $\mathrm{SL}_2$-plethysm coefficients.

We describe the action of the infinite-dimensional Lie algebra $W_{1+\infty}$ and its B-type analogue on Schur and Schur Q-functions, respectively, using formal distributions framework. We observe an interesting self-duality property possessed by these compact formulas.

We study the Chow classes of arbitrary matroids in the Grassmannian. We develop a new combinatorial approach for computing them, by first focusing on snake matroids and then extending our results via valuativity to any matroid. Our main contribution identifies the Poincaré dual of the Chow class of a snake matroid with a specific ribbon Schur function, providing an explicit formula for its coefficients in the Schubert basis as the number of standard Young tableaux of a given shape with a prescribed descent set. This agrees with a formula by Klyachko for the uniform matroid. As consequences, we recover and simplify classical results such as Gessel and Viennot's enumeration of permutations with fixed descent sets, and formulas for the volume of lattice path matroids. Furthermore, we demonstrate the power of our findings by proving that certain Schubert coefficients are positive for all connected paving matroids.

The Bernstein operator $\mathbf{B}_n$ acts on a Schur function $S_λ$ by appending a part to the index, i.e., $\mathbf{B}_n S_λ=S_{(n,λ)}$. This provides a method of constructing the vertex operator representation of Schur functions since its homogeneous components are essentially just these Bernstein operators. Meanwhile, the Hall-Littlewood functions are an important generalization of the Schur functions, and they also have a vertex operator representation due to Jing. In this paper, we construct a $t$-analogue of the Bernstein operator, which allows for an explicit construction of the Jing operator. We show that the usual involution $ω$ is fundamental to this construction, revealing further combinatorial structure. As an application, we use this vertex operator to prove stability of certain structure coefficients, including the Hall polynomials.

Consider the vector representation $V_q$ of the quantized enveloping algebra $\mathbf{U}_q(\mathfrak{gl}_n)$. For $q$ generic, Jimbo showed that $q$-tensor space $V_q^{\otimes r}$ satisfies Schur--Weyl duality for the commuting actions of $\mathbf{U}_q(\mathfrak{gl}_n)$ and the Iwahori--Hecke algebra $\mathbf{H}_q(\mathfrak{S}_r)$, with the latter action derived from the $R$-matrix. In the limit as $q \to 1$, one recovers classical Schur--Weyl duality. We give a combinatorial realization of the corresponding isotypic semisimple decomposition of $V_q^{\otimes r}$ indexed by paths in the Bratteli diagram. This extends earlier work (\emph{Journal of Algebra} 2024) of the first two authors for the $n=2$ case. Our construction works over any field containing a non-zero element $q$ which is not a root of unity.

In 2020, Hamaker, Pawlowski, and Sagan introduced the \emph{pattern quasisymmetric functions}, which are quasisymmetric functions associated with pattern-avoidance classes of permutations, and defined via expansions in fundamental quasisymmetric functions. They determined which subsets of the symmetric group $\mathfrak{S}_3$ index pattern quasisymmetric functions that are symmetric, and showed that these symmetric pattern quasisymmetric functions are also Schur-positive. They then posed the question of when symmetry or Schur $P$-positivity occur for analogous quasisymmetric functions defined in terms of peak functions. In this work we answer this question, that is, we identify precisely which subsets of $\mathfrak{S}_3$ give a \emph{pattern-avoiding peak function} that is symmetric, and give explicit formulas for the positive expansion into the closely-related Schur $Q$-functions.

The purpose of this paper is to establish the analogue of the Soshnikov Central Limit Theorem for the sine-$β$ process at $β\le 2$. We consider regularized additive functionals, which correspond to 1-Sobolev regular functions $f(x/R)$, in the limit $R\to\infty$. Their convergence to the Gaussian distribution with respect to the Kolmogorov-Smirnov metric at the rate $(\ln R)^{-1/2}$ is established. The proof is based on the convergence of the circular $β$-ensemble to the sine-$β$ process, which was shown by Killip and Stoiciu. We find a convenient bound for the Laplace transforms of additive functionals under the circular $β$-ensemble, which holds under the scaling limit, suggested by Killip and Stoiciu. Further, we show that the additive functionals under the circular $β$-ensemble with $n$ particles converge to the gaussian distribution as $n\to\infty$ for all $1/2$-Sobolev regular functions for $β\le 2$, as was conjectured by Lambert. Finally, in order to prove the limit theorem for the circular $β$-ensemble we derive the connection between expectations of multiplicative functionals and the Jack measures, which generalizes the connection between the circular unitary ensemble and the Schur measures given by Gessel's theorem.

A Littlewood identity is an identity equating a sum of Schur functions with an infinite product. A bounded Littlewood identity is one where the sum is taken over the partitions with a bounded number of rows or columns. The price to pay is that the infinite product has to be replaced by a determinant. The focus of this article is on refinements of such bounded Littlewood identities where one also prescribes the number of odd-length rows or columns of the partitions. Goulden [{\it Discrete Math.} {\bf99} (1992), 69--77] had given such a refinement in which the number of columns is bounded and the number of odd-length rows is prescribed. We provide refinements where the number of columns is bounded and the number of odd-length columns is prescribed. Furthermore, we present new formulations of such bounded Littlewood identities involving skewing operators. As corollaries we obtain non-standard formulas for numbers of standard Young tableaux with restricted shapes as above. In the last part of the article we discuss combinatorial interpretations of such identities in terms of up-down tableaux. As corollaries, we obtain identities between numbers of standard Young tableaux and numbers of (marked) vacillating tableaux.

We prove that the lattices $\textbf m\times\textbf 2$ and $\textbf m\times\textbf 3$ are not Schur positive for $m\ge 8$. This confirms a conjecture of Li, Qiu, Yang, and Zhang, as an extension of counterexamples to a comment of Stanley on the universal Schur positivity of distributive lattices. Our main tools include Pieri's rules, and Wang and Wang's combinatorial formula for computing any Schur coefficient of the chromatic symmetric function of a graph in terms of special ribbon tabloids. We further show that the lattice $\textbf m\times\textbf 3$ is not strongly nice for $m\ge 44$.

In this paper, we present a new Rogers--Ramanujan type identity for overpartitions by extending the asymmetrical version of Schur's theorem due to Lovejoy to a broader class of infinite products. More precisely, we provide a combinatorial interpretation of the following product, for any positive integer $k$, as a generating function for a class of overpartitions in which parts appear in $2^k - 1$ colors: \[ \frac{(-y_1 q;q)_\infty \cdots (-y_k q;q)_\infty}{(y_1 d q;q)_\infty}. \] Our proof is bijective and unifies two earlier approaches: Lovejoy's bijective proof of the asymmetrical Schur theorem and the iterative-bijective technique developed by Corteel and Lovejoy.

Jensen, Su, and Yang described the projective indecomposable modules of the $0$-Schur algebra $\mathbf{S}_0(n,r)$ using its geometric realization. In this paper, the simple modules of $\mathbf{S}_0(n,r)$ are identified by computing the tops of the projective indecomposable modules. Furthermore, functorial relations among the module categories $\mathbf{H}_r(0)$\textsf{-mod}, $\mathbf{S}_0(n,r)$\textsf{-mod}, and $U_0(\mathfrak{gl}_n)$\textsf{-mod} are examined, where $\mathbf{H}_r(0)$ denotes the $0$-Hecke algebra and $U_0(\mathfrak{gl}_n)$ denotes the degenerate quantum group.

The shuffle conjecture of Haglund et al. expresses the symmetric function $\nabla e_n$ as a sum over labeled Dyck paths. Here $\nabla$ is an operator on symmetric functions defined in terms of its diagonal action on the basis of modified Macdonald polynomials. The shuffle conjecture was later refined by Haglund-Morse-Zabrocki to the compositional shuffle conjecture, expressing $\nabla C_α$ as a sum over labeled Dyck paths with touchpoints specified by $α$, where $C_α$ is a compositional Hall-Littlewood polynomial. Carlsson-Mellit settled both versions by developing the theory of a variant of the DAHA called the double Dyck path algebra. In a recent paper, we discovered a notion of nonsymmetric plethsym which led us to a construction of modified nonsymmetric Macdonald polynomials $\mathsf{H}_{η|λ}(\mathbf{x};q,t)$. These polynomials Weyl symmetrize to their symmetric counterparts and are conjecturally atom positive. Here we introduce a nonsymmetric version $\boldsymbol{\nabla}$ of $\nabla$, now acting diagonally on the basis given by the functions $\mathsf{H}_{η|λ}(\mathbf{x};q,t)$. Weaving together our theory with results of Carlsson-Mellit and Mellit, we establish a nonsymmetric version of the compositional shuffle theorem, which equates $\boldsymbol{\nabla}^{-1}$ applied to a nonsymmetric version $\mathsf{C}_α$ of $C_α$ with a sum over flagged labeled Dyck paths with touchpoints given by $α$. This combinatorial sum is conjecturally atom positive, refining the known Schur positivity of its symmetric counterpart.

We say a sequence $f_0, f_1, f_2, \ldots$ of symmetric functions is Schur log-concave if $f_n^2 - f_{n-1}f_{n+1}$ is Schur positive for all $n\ge1$. We conjecture that a very general class of sequences of Schur functions satisfies this property, and show it for sequences of Schur functions indexed by partitions with growing first part and column. Our findings are related to work of Lam, Postnikov and Pylyavskyy on Schur positivity, and of Butler, Sagan, and the second author on $q$-log-concavity.

We introduce a bi-graded polynomial that encodes the cohomology groups of the wild Hitchin system of type~$A_{n-1}$, constructed using an irregular singularity (determined by an integer~$m$) and an arbitrary regular singularity~$f$. When the regular singularity is of the form~$f = [1, \ldots, 1]$, the bi-graded polynomial~$C_{m,n}(q,t)$ coincides with the bigraded rational parking function defined combinatorially, admitting a Schur expansion~$C_{m,n}(q,t) = \sum_λf_λ(q,t) s_λ(x)$. For general~$f$, the polynomial takes the form~$C^f_{m,n}(q,t) = \sum_λf_λ(q,t) K_{λf}$, where~$K_{λf}$ denotes the Kostka number. We conjecture that this bi-graded polynomial agrees with the one arising from the perverse filtration of the Hitchin fibration, or equivalently, from the weight filtration of the mixed Hodge structure from the character variety. We also give a description by using the geometry of affine Springer fiber.}