arXiv++ Combinatorics

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.

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.}

Petrie symmetric functions $G(k,n)$, also known as truncated homogeneous symmetric functions or modular complete symmetric functions, form a class of symmetric functions interpolating between the elementary symmetric functions $e_n$ and the homogeneous symmetric functions $h_n$. Analogous to the Pieri rule for $s_μh_n$ and the dual Pieri rule for $s_μe_n$, Grinberg showed that the Schur coefficients for the ``Pieri rule'' of $s_μG(k,n)$ can be determined by the determinant $\pet_k(λ,μ)$ of Petrie matrices. Cheng, Chou, Eu, Fu, and Yao provided a ribbon tiling interpretation for the coefficient $\pet_k(λ,\varnothing)$, which was later generalized by Jin, Jing, and Liu to $\pet_k(λ,μ)$ in the case where $λ/μ$ is connected. The goal of this paper is to offer a more transparent combinatorial perspective on the structure and behavior of Petrie symmetric functions. First, we provide a refined combinatorial formula for the determinant of a Petrie matrix in terms of certain orientations of the associated graph derived from the matrix. We then generalize the result of JJL to arbitrary skew shapes using purely combinatorial proofs. In addition, we investigate the generating function of these orientations with respect to certain statistics. As an application of our method, we present a combinatorial proof of the plethystic Pieri rule.

Terwilliger algebras are a subalgebra 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 this paper we first determine an equivalent sixth condition for a Terwilliger algebra coming from a commutative Schur ring to be almost commutative. We then provide a classification of which finite groups result in an almost commutative Terwilliger algebra when looking at the group association scheme determined by the conjugacy classes. In particular, we show that all such groups are either abelian, or Camina groups. We then compute the dimension of each Terwilliger algebra, and we also express each of the group association schemes with an almost commutative Terwilliger algebra as a wreath product of the group schemes of finite abelian groups and $1-$class association schemes. Furthermore, we give the non-primary primitive idempotents for each Terwilliger algebra for those groups.

Terwilliger algebras are a subalgebra of a matrix algebra constructed from an association scheme. In 2010, Tanaka defined what it means for a Terwilliger algebra to be almost commutative and gave five equivalent conditions for a Terwilliger algebra to be almost commutative. In this paper we look at Terwilliger algebras coming from strong Gelfand pairs $(G,H)$ for a finite group $G$. From such a pair, one can create a Terwilliger algebra using the Schur ring of $H-$classes of elements of $G$. We determine all strong Gelfand pairs that give an Almost Commutative Terwilliger algebra.

Computing the permanent of a non-negative matrix is a computationally challenging, \#P-complete problem with wide-ranging applications. We introduce a novel permanental analogue of Schur's determinant formula, leveraging a newly defined \emph{permanental inverse}. Building on this, we introduce an iterative, deterministic procedure called the \emph{permanent process}, analogous to Gaussian elimination, which yields constructive and algorithmically computable upper bounds on the permanent. Our framework provides particularly strong guarantees for matrices exhibiting approximate diagonal dominance-like properties, thereby offering new theoretical and computational tools for analyzing and bounding permanents.

In a recent work, Nadji and Ahmia introduced the $t$-Schur overpartitions as an overpartition analogue for $t$-Schur partitions, which generalizes the classical Schur's partitions into parts congruent to $1$ or $5$ modulo $6$. We continue the study of this new class of overpartitions and prove several arithmetic results for the cases $t=3,9$ and $t$ being a power of $2$ or a power of $3$.

Recently, Nadji and Ahmia~\cite{nadji2021} introduced the notion of $t$-Schur overpartitions and investigated their combinatorial and arithmetic properties. In this paper, we extend their work and establish several new congruence relations for $t$-Schur overpartitions. For example, for all $n \ge 0$ we prove \[ \overline{S_9}(24n+23)\equiv 0 \pmod{32}. \]

This paper presents an elementary introduction on $K$-theoretic $Q$-functions, which were introduced by Ikeda and Naruse in 2013. These functions, which serve as $K$-theoretic analogs of Schur $Q$-functions, are known to possess combinatorial and algebraic constructions. In a 2022 paper, the author introduced ``$β$-deformed power-sums" to provide a simpler, more algebraic construction of these functions. Since the original approach relies on fermionic operators and vacuum expectation values, this paper presents a more accessible, purely algebraic treatment, following the exposition of Schur $Q$-functions in Macdonald's standard textbook. We also show that the algebra of dual $Q$-cancellation property with integer coefficients is generated by dual $K$-$Q$-functions associated with an odd row partition.

For $r > 0$ and integers $t \ge n > 0$, we consider the following problem: maximize the amplitude $|x_t|$ at time $t$, over all complex solutions $x = (x_0, x_1, \dots)$ of arbitrary homogeneous linear difference equations of order $n$ with the characteristic roots in the disc $\{z \in \mathbb{C}: |z| \le r\}$, and with initial values $x_0, \dots, x_{n-1}$ in the unit disc. We find that for any triple $t,n,r$, the maximum is attained with coinciding roots on the boundary circle; in particular, this implies that the peak amplitude $\sup_{t \ge n} |x_t|$ can be maximized explicitly, by studying a unique equation with the characteristic polynomial $(z-r)^n$. Moreover, the optimality of the cophase root configuration holds for origin-centered polydiscs. To prove this result, we first reduce the problem to a certain interpolation problem over monomials, then solve the latter by leveraging the theory of symmetric functions and identifying the associated Schur positivity structure. We also discuss the implications for more general Reinhardt domains. Finally, we study the problem of estimating the derivatives of a real entire function from its values at $n/2$ pairs of complex conjugate points in the unit disc. We propose conjectures on the extremality of the monomial $z^n$, and restate them in terms of Schur polynomials.

Several families of polynomials of combinatorial and representation theoretic interest (notably the Schur polynomials $s_λ$, Demazure characters $\mathfrak{D}_a$, and Demazure atoms $\mathfrak{A}_a$) can be defined in terms of divided difference operators. Hivert (2000) defines "fundamental analogues" of these divided difference operators, and Hivert and Hicks-Niese show in arXiv:2406.02420 that the polynomials that arise from those fundamental operators in analogous ways to the three families of polynomials above are respectively the fundamental quasisymmetric functions $F_a$ from (1984), the fundamental slides $\mathfrak{F}_a$ of Assaf and Searles from arXiv:1603.09744, and the fundamental particles $\mathfrak{P}_a$ of Searles from arXiv:1707.01172. Lascoux (2001) defines $K$-analogues of the divided difference operators, and in arXiv:1908.07364, Buciumas, Scrimshaw, and Weber show that the polynomials arising in corresponding ways from the $K$-theoretic divided difference operators are respectively the Grothendieck polynomials $\overline{s}_λ$, the combinatorial Lascoux polynomials $\overline{\mathfrak{D}}_a$ from arXiv:1611.08777, and the combinatorial Lascoux atoms $\overline{\mathfrak{A}}_a$ from arXiv:1611.08777, as conjectured by Monical in arXiv:1611.08777. We define $K$-analogues of Hivert's fundamental divided difference operators and show that the polynomials arising in the corresponding ways from our new operators are respectively the multifundamentals $\overline{F}_a$ of Lam and Pylyavskyy from arXiv:0705.2189, the fundamental glides $\overline{\mathfrak{F}}_a$ from of Pechenik and Searles from arXiv:1611.02545, and the kaons $\overline{\mathfrak{P}}_a$ of Monical, Pechenik, and Searles from arXiv:1806.03802.

We propose a symmetrization relation between BPS quivers encoding 4d $\mathcal{N}=2$ theories and symmetric quivers associated to 3d $\mathcal{N}=2$ theories. We analyse in detail the symmetrization of BPS quivers for a series of $A_m$ Argyres-Douglas theories by engineering 3d-4d systems in geometric backgrounds involving appropriate 3-manifolds and Riemann surfaces. We discuss properties of these geometric backgrounds and derive the corresponding quiver partition functions from the perspective of skein modules, which forms the foundation of the symmetrization map for the minimal chamber. We also prove that the structure of wall-crossing in 4d $A_m$ Argyres-Douglas theories is isomorphic to the structure of unlinking of symmetric quivers encoding their partner 3d theories, which allows for a proper definition of the symmetrization map outside the minimal chamber. Finally, we show that the Schur indices of 4d theories are captured by symmetric quivers that include symmetrization of 4d BPS quivers.

We introduce a two-parameter refinement of the Jucys-Murphy theory, that we call the CJT-refinement, unifying Schur, zonal, and, conjecturally, Jack actions of the ring of symmetric functions on the Fock space. Applications of this formalism include a partial resolution of a recent conjecture of Coulter-Do, as well as cut-and-join recursion for $b$-Hurwitz numbers. The cut-and-join equations enable the derivation of the tropicalization of $b$--Hurwitz numbers. We also provide a first application of this tropical interpretation by answering an open problem of Chapuy-Dołęga on the polynomial structure of $b$-Hurwitz numbers.

Binomial formulas for Schur polynomials and Jack polynomials were studied by Lascoux in 1978, and Kaneko, Okounkov--Olshanski and Lassalle in the 1990s. We prove that the associated binomial coefficients are monotone and derive some symmetric function inequalities, in particular, a Schur positivity and Jack positivity result. These inequalities are similar to those studied by Newton, Muirhead, Gantmacher, Cuttler--Greene--Skandera, Sra and Khare--Tao.