arXiv++ Combinatorics

Recently, Gillespie, Levinson and Purbhoo introduced a crystal-like structure for shifted tableaux, called the shifted tableau crystal. We introduce, on this structure, a shifted version of the crystal reflection operators, which coincide with the restrictions of the shifted Schützenberger involution to any primed interval of two adjacent letters. Unlike type $A$ Young tableau crystals, these operators do not realize an action of the symmetric group on the shifted tableau crystal since the braid relations do not need to hold. Following a similar approach as Halacheva, we exhibit a natural internal action of the cactus group on this crystal, realized by the restrictions of the shifted Schützenberger involution to all primed intervals of the underlying crystal alphabet, containing, in particular, the aforesaid action of the shifted crystal reflection operator analogues.

We show that almost every entry in the character table of $S_n$ is even as $n\to\infty$. This resolves a conjecture of Miller. We similarly prove that almost every entry in the character table of $S_n$ is zero modulo $3,5,7,11,$ and $13$ as $n\to\infty$, partially addressing another conjecture of Miller.

The Birkhoff graph $\mathcal{B}_n$ is the Cayley graph of the symmetric group $S_n$, where two permutations are adjacent if they differ by a single cycle. Our main result is a tighter upper bound on the independence number $α(\mathcal{B}_n)$ of $\mathcal{B}_n$, namely, we show that $α(\mathcal{B}_n) \le O(n!/1.97^n)$ improving on the previous known bound of $α(\mathcal{B}_n) \le O(n!/\sqrt{2}^{n})$ by [Kane-Lovett-Rao, FOCS 2017]. Our approach combines a higher-order version of their representation theoretic techniques with linear programming. With an explicit construction, we also improve their lower bound on $α(\mathcal{B}_n)$ by a factor of $n/2$. This construction is based on a proper coloring of $\mathcal{B}_n$, which also gives an upper bound on the chromatic number $χ(\mathcal{B}_n)$ of $\mathcal{B}_n$. Via known connections, the upper bound on $α(\mathcal{B}_n)$ implies alphabet size lower bounds for a family of maximally recoverable codes on grid-like topologies.

The $d$-Simultaneous Conjugacy problem in the symmetric group $S_n$ asks whether there exists a permutation $τ\in S_n$ such that $b_j = τ^{-1}a_j τ$ holds for all $j = 1,2,\ldots, d$, where $a_1, a_2,\ldots , a_d$ and $b_1, b_2,\ldots , b_d$ are given sequences of permutations in $S_n$. The time complexity of existing algorithms for solving the problem is $O(dn^2)$. We show that for a given positive integer $d$ the $d$-Simultaneous Conjugacy problem in $S_n$ can be solved in $o(n^2)$ time.

We study the combinatorial geometry of a random closed multicurve on a surface of large genus and of a random square-tiled surface of large genus. We prove that primitive components of a random multicurve represent linearly independent homology cycles with asymptotic probability 1 and that it is primitive with asymptotic probability $\sqrt{2}/2$. We prove analogous properties for random square-tiled surfaces. In particular, we show that all conical singularities of a random square-tiled surface belong to the same leaf of the horizontal foliation and to the same leaf of the vertical foliation with asymptotic probability 1. We show that the number of components of a random multicurve and the number of maximal horizontal cylinders of a random square-tiled surface of genus $g$ are both very well-approximated by the number of cycles of a random permutation for an explicit non-uniform measure on the symmetric group of $3g-3$ elements. In particular, we prove that the expected value of these quantities is asymptotically equivalent to $(\log(6g-6) + γ)/2 + \log 2$. These results are based on our formula for the Masur--Veech volume of the moduli space of holomorphic quadratic differentials combined with deep large genus asymptotic analysis of this formula performed by A.~Aggarwal and with the uniform asymptotic formula for intersection numbers of $ψ$-classes on the Deligne-Mumford compactification of the moduli space of curves proved by A.~Aggarwal.

A well-known result of Stanley from 1980 implies that the weak order on a maximal parabolic quotient of the symmetric group $S_n$ has the Sperner property; this same property was recently established for the weak order on all of $S_n$ by Gaetz and Gao, resolving a long-open problem. In this paper we interpolate between these results by showing that the weak order on any parabolic quotient of $S_n$ (and more generally on any $132$-avoiding interval) has the Sperner property. This result is proven by exhibiting an action of $\mathfrak{sl}_2$ respecting the weak order on these intervals. As a corollary we obtain a new formula for principal specializations of Schubert polynomials. Our formula can be seen as a strong Bruhat order analogue of Macdonald's reduced word formula. This proof technique and formula generalize work of Hamaker, Pechenik, Speyer, and Weigandt and Gaetz and Gao.

We identify the dimension of the centralizer of the symmetric group $\mathfrak{S}_d$ in the partition algebra $\mathcal{A}_d(δ)$ and in the Brauer algebra $\mathcal{B}_d(δ)$ with the number of multidigraphs with $d$ arrows and the number of disjoint union of directed cycles with $d$ arrows, respectively. Using Schur-Weyl duality as a fundamental theory, we conclude that each centralizer is related with the $G$-invariant space $P^d(M_n(\mathbf{k}))^G$ of degree $d$ homogeneous polynomials on $n \times n$ matrices, where $G$ is the orthogonal group and the group of permutation matrices, respectively. Our approach gives a uniform way to show that the dimensions of $P^d(M_n(\mathbf{k}))^G$ are stable for sufficiently large $n$.

It has been conjectured by W. Chen that the distribution of the length of the longest increasing subsequence in a uniformly random permutation is log-concave. We propose a stronger version of this conjecture which involves the Kronecker coefficients of the symmetric group.

We investigate the homology representation of the symmetric group on rank-selected subposets of subword order. We show that the homology module for words of bounded length, over an alphabet of size $n,$ decomposes into a sum of tensor powers of the $S_n$-irreducible $S_{(n-1,1)}$ indexed by the partition $(n-1,1),$ recovering, as a special case, a theorem of Björner and Stanley for words of length at most $k.$ For arbitrary ranks we show that the homology is an integer combination of positive tensor powers of the reflection representation $S_{(n-1,1)}$, and conjecture that this combination is nonnegative. We uncover a curious duality in homology in the case when one rank is deleted. We prove that the action on the rank-selected chains of subword order is a nonnegative integer combination of tensor powers of $S_{(n-1,1)}$, and show that its Frobenius characteristic is $h$-positive and supported on the set $T_{1}(n)=\{h_λ: λ=(n-r, 1^r), r\ge 1\}.$ Our most definitive result describes the Frobenius characteristic of the homology for an arbitrary set of ranks, plus or minus one copy of the Schur function $s_{(n-1,1)},$ as an integer combination of the set $T_{2}(n)=\{h_λ: λ=(n-r, 1^r), r\ge 2\}.$ We conjecture that this combination is nonnegative, establishing this fact for particular cases.

In this paper, we present the results of a computer investigation of asymptotics for maximum dimensions of linear and projective representations of the symmetric group. This problem reduces to the investigation of standard and strict Young diagrams of maximum dimensions. We constructed some sequences for both standard and strict Young diagrams with extremely large dimensions. The conjecture that the limit of normalized dimensions exists was proposed 30 years ago [A.~M.~Vershik and S.~V.~Kerov, 1985] and has not been proved yet. We studied the growth and oscillations of the normalized dimension function in sequences of Young diagrams. Our approach is based on analyzing finite differences of their normalized dimensions. This analysis also allows us to give much more precise estimation of the limit constants.

Interval parking functions (IPFs) are a generalization of ordinary parking functions in which each car is willing to park only in a fixed interval of spaces. Each interval parking function can be expressed as a pair $(a,b)$, where $a$ is a parking function and $b$ is a dual parking function. We say that a pair of permutations $(x,y)$ is \emph{reachable} if there is an IPF $(a,b)$ such that $x,y$ are the outcomes of $a,b$, respectively, as parking functions. Reachability is reflexive and antisymmetric, but not in general transitive. We prove that its transitive closure, the \emph{pseudoreachability order}, is precisely the bubble-sort order on the symmetric group $\Sym_n$, which can be expressed in terms of the normal form of a permutation in the sense of du~Cloux; in particular, it is isomorphic to the product of chains of lengths $2,\dots,n$. It is thus seen to be a special case of Armstrong's sorting order, which lies between the Bruhat and (left) weak orders.

For a fixed permutation $σ\in S_k$, let $N_σ$ denote the function which counts occurrences of $σ$ as a pattern in permutations from $S_n$. We study the expected value (and $d$-th moments) of $N_σ$ on conjugacy classes of $S_n$ and prove that the irreducible character support of these class functions stabilizes as $n$ grows. This says that there is a single polynomial in the variables $n, m_1, \ldots, m_{dk}$ which computes these moments on any conjugacy class (of cycle type $1^{m_1}2^{m_2}\cdots$) of any symmetric group. This result generalizes results of Hultman and of Gill, who proved the cases $(d,k)=(1,2)$ and $(1,3)$ using ad hoc methods. Our proof is, to our knowledge, the first application of partition algebras to the study of permutation patterns.

Suppose that $χ_λ$ and $χ_μ$ are distinct irreducible characters of the symmetric group $S_n$. We give an algorithm that, in time polynomial in $n$, constructs $π\in S_n$ such that $χ_λ(π)$ is provably different from $χ_μ(π)$. In fact, we show a little more. Suppose $f=χ_λ$ for some irreducible character $χ_λ$ of $S_n$, but we do not know $λ$, and we are given only oracle access to $f$. We give an algorithm that determines $λ$, using a number of queries to $f$ that is polynomial in $n$. Each query can be computed in time polynomial in $n$ by someone who knows $λ$.

Central Limit Theorems are known for the Eulerian statistic "descent" (or "excedance") in the symmetric group $\SSS_n$. Recently, Fulman, Kim, Lee and Petersen gave a Central Limit Theorem for "descent" over the alternating group $\AAA_n$ and also gave a Carlitz identity in $\AAA_n$ using descents. In this paper, we give a Central Limit Theorem in $\AAA_n$ involving excedances. We extend these to the positive elements in type B and type D Coxeter groups. Boroweic and Młotkowski enumerated type B descents over $\DD_n$, the type D Coxeter group and gave similar results. We refine their results for both the positive and negative part of $\DD_n$. Our results are a consequence of signed enumeration over these subsets.

Given an Eulerian digraph, we consider the genus distribution of its face-oriented embeddings. We prove that such distribution is log-concave for two families of Eulerian digraphs, thus giving a positive answer for these families to a question asked in Bonnington, Conder, Morton and McKenna (2002). Our proof uses real-rooted polynomials and the representation theory of the symmetric group $\mathbb{S}_n$. The result is also extended to some factorizations of the identity in $\mathbb{S}_n$ that are rotation systems of some families of one-face constellations.

The study of permutation and partition statistics is a classical topic in enumerative combinatorics. The major index statistic on permutations was introduced a century ago by Percy MacMahon in his seminal works. In this extended abstract, we study the well-known generalization of the major index to standard Young tableaux. We present several new results. In one direction, we introduce and study two partial orders on the standard Young tableaux of a given partition shape, in analogy with the strong and weak Bruhat orders on permutations. The existence of such ranked poset structures allows us to classify the realizable major index statistics on standard tableaux of arbitrary straight shape and certain skew shapes, and has representation-theoretic consequences, both for the symmetric group and for Shephard-Todd groups. In a different direction, we consider the distribution of the major index on standard tableaux of arbitrary straight shape and certain skew shapes. We classify all possible limit laws for any sequence of such shapes in terms of a simple auxiliary statistic, "aft," generalizing earlier results of Canfield-Janson-Zeilberger, Chen-Wang-Wang, and others. We also study unimodality, log-concavity, and local limit properties.

Given a subgroup H of a finite group G, we begin a systematic study of the partial representations of G that restrict to global representations of H. After adapting several results from [DEP00] (which correspond to the case where H is trivial), we develop further an effective theory that allows explicit computations. As a case study, we apply our theory to the symmetric group and its subgroup of permutations fixing 1: this provides a natural extension of the classical representation theory of the symmetric group.

The $1/3$-$2/3$ Conjecture, originally formulated in 1968, is one of the best-known open problems in the theory of posets, stating that the balance constant (a quantity determined by the linear extensions) of any non-total order is at least $1/3$. By reinterpreting balance constants of posets in terms of convex subsets of the symmetric group, we extend the study of balance constants to convex subsets $C$ of any Coxeter group. Remarkably, we conjecture that the lower bound of $1/3$ still applies in any finite Weyl group, with new and interesting equality cases appearing. We generalize several of the main results towards the $1/3$-$2/3$ Conjecture to this new setting: we prove our conjecture when $C$ is a weak order interval below a fully commutative element in any acyclic Coxeter group (an generalization of the case of width-two posets), we give a uniform lower bound for balance constants in all finite Weyl groups using a new generalization of order polytopes to this context, and we introduce generalized semiorders for which we resolve the conjecture. We hope this new perspective may shed light on the proper level of generality in which to consider the $1/3$-$2/3$ Conjecture, and therefore on which methods are likely to be successful in resolving it.

The Eulerian idempotents, first introduced for the symmetric group and later extended to all reflection groups, generate a family of representations called the Eulerian representations that decompose the regular representation. In Type $A$, the Eulerian representations have many elegant but mysterious connections to rings naturally associated with the braid arrangement. In this paper, we unify these results and show that they hold for any reflection group of coincidental type -- that is, $S_{n}$, $B_{n}$, $H_{3}$ or the dihedral group $I_{2}(m)$ -- by giving six characterizations of the Eulerian representations, including as components of the associated graded of the Varchenko-Gelfand ring $\mathcal{V}$. As a consequence, we show that Solomon's descent algebra contains a commutative subalgebra generated by sums of elements with the same number of descents if and only if $W$ is coincidental. More generally, when $W$ is any finite real reflection group, we give a case-free construction of a family of Eulerian representations described by a flat-decomposition of the ring $\mathcal{V}$.

We construct an explicit isomorphism between (truncations of) quiver Hecke algebras and Elias-Williamson's diagrammatic endomorphism algebras of Bott-Samelson bimodules. As a corollary, we deduce that the decomposition numbers of these algebras (including as examples the symmetric groups and generalised blob algebras) are tautologically equal to the associated $p$-Kazhdan-Lusztig polynomials, provided that the characteristic is greater than the Coxeter number. We hence give an elementary and more explicit proof of the main theorem of Riche-Williamson's recent monograph and extend their categorical equivalence to cyclotomic Hecke algebras, thus solving Libedinsky-Plaza's categorical blob conjecture.