arXiv++ Combinatorics

Given graphs $X$ and $Y$ with vertex sets $V(X)$ and $V(Y)$ of the same cardinality, we define a graph $\mathsf{FS}(X,Y)$ whose vertex set consists of all bijections $σ:V(X)\to V(Y)$, where two bijections $σ$ and $σ'$ are adjacent if they agree everywhere except for two adjacent vertices $a,b \in V(X)$ such that $σ(a)$ and $σ(b)$ are adjacent in $Y$. This setup, which has a natural interpretation in terms of friends and strangers walking on graphs, provides a common generalization of Cayley graphs of symmetric groups generated by transpositions, the famous $15$-puzzle, generalizations of the $15$-puzzle as studied by Wilson, and work of Stanley related to flag $h$-vectors. We derive several general results about the graphs $\mathsf{FS}(X,Y)$ before focusing our attention on some specific choices of $X$. When $X$ is a path graph, we show that the connected components of $\mathsf{FS}(X,Y)$ correspond to the acyclic orientations of the complement of $Y$. When $X$ is a cycle, we obtain a full description of the connected components of $\mathsf{FS}(X,Y)$ in terms of toric acyclic orientations of the complement of $Y$. We then derive various necessary and/or sufficient conditions on the graphs $X$ and $Y$ that guarantee the connectedness of $\mathsf{FS}(X,Y)$. Finally, we raise several promising further questions.

Wilf showed that the the alternating runs polynomial $R_n(t)$ counting the number of permutations in the Symmetric group is divisible by $(1+t)^m$ where $m = \lfloor (n-2)/2 \rfloor$. Recently, Bóna gave a group action based proof. Type B and D analogues of Wilf's result are known. In this note, we extend Bóna's proof to prove the type B and D analogue.

We introduce a new approach to representation theory of finite groups that uses some basic algebraic geometry and allows to do all the theory without using characters. With this approach, to any finite group $G$ we associate a finite number of points and show that any field containing the coordinates of those points works fine as the ground field for the representations of $G$. We apply this point of view to the symmetric group $S_d$, finding easy equations for the different symmetries of functions in $d$ variables. As a byproduct, we give an easy proof of a recent result by Tocino that states that the hyperdeterminant of a $d$-dimensional matrix is zero for all but two types of symmetry.

We recast the classical notion of standard tableaux in an alcove-geometric setting and extend these classical ideas to all reduced paths in our geometry. This broader path-perspective is essential for implementing the higher categorical ideas of Elias--Williamson in the setting of quiver Hecke algebras. Our first main result is the construction of light leaves bases of quiver Hecke algebras. These bases are richer and encode more structural information than their classical counterparts, even in the case of the symmetric groups. Our second main result provides path-theoretic generators for the Bott--Samelson truncation of the quiver Hecke algebra.

Huang proved that every set of more than half the vertices of the $d$-dimensional hypercube $Q_d$ induces a subgraph of maximum degree at least $\sqrt{d}$, which is tight by a result of Chung, Füredi, Graham, and Seymour. Huang asked whether similar results can be obtained for other highly symmetric graphs. First, we present three infinite families of Cayley graphs of unbounded degree that contain induced subgraphs of maximum degree $1$ on more than half the vertices. In particular, this refutes a conjecture of Potechin and Tsang, for which first counterexamples were shown recently by Lehner and Verret. The first family consists of dihedrants and contains a sporadic counterexample encountered earlier by Lehner and Verret. The second family are star graphs, these are edge-transitive Cayley graphs of the symmetric group. All members of the third family are $d$-regular containing an induced matching on a $\frac{d}{2d-1}$-fraction of the vertices. This is largest possible and answers a question of Lehner and Verret. Second, we consider Huang's lower bound for graphs with subcubes and show that the corresponding lower bound is tight for products of Coxeter groups of type $\mathbf{A_n}$, $\mathbf{I_2}(2k+1)$, and most exceptional cases. We believe that Coxeter groups are a suitable generalization of the hypercube with respect to Huang's question. Finally, we show that induced subgraphs on more than half the vertices of Levi graphs of projective planes and of the Ramanujan graphs of Lubotzky, Phillips, and Sarnak have unbounded degree. This gives classes of Cayley graphs with properties similar to the ones provided by Huang's results. However, in contrast to Coxeter groups these graphs have no subcubes.

We study the relationship between two notions of pattern avoidance for involutions in the symmetric group and their restriction to fixed-point-free involutions. The first is classical, while the second appears in the geometry of certain spherical varieties and generalizes the notion of pattern avoidance for perfect matchings studied by Jelínek. The first notion can always be expressed in terms of the second, and we give an effective algorithm to do so. We also give partial results characterizing the families of involutions where the converse holds. As a consequence, we prove two conjectures of McGovern characterizing (rational) smoothness of certain varieties. We also give new enumerative results, and conclude by proposing several lines of inquiry that extend our current work.

We consider bases for the cohomology space of regular semisimple Hessenberg varieties, consisting of the classes that naturally arise from the Bialynicki-Birula decomposition of the Hessenberg varieties. We give an explicit combinatorial description of the support of each class, which enables us to compute the symmetric group actions on the classes in our bases. We then successfully apply the results to the permutohedral varieties to explicitly write down each class and to construct permutation submodules that constitute summands of a decomposition of cohomology space of each degree. This resolves the problem posed by Stembridge on the geometric construction of permutation module decomposition and also the conjecture posed by Chow on the construction of bases for the equivariant cohomology spaces of permutohedral varieties.

We study maps on the set of permutations of n generated by the Rényi-Foata map intertwined with other dihedral symmetries (of a permutation considered as a 0-1 matrix). Iterating these maps leads to dynamical systems that in some cases exhibit interesting orbit structures, e.g., every orbit size being a power of two, and homomesic statistics (ones which have the same average over each orbit). In particular, the number of fixed points (aka 1-cycles) of a permutation appears to be homomesic with respect to three of these maps, even in one case where the orbit structures are far from nice. For the most interesting such "Foatic" action, we give a heap analysis and recursive structure that allows us to prove the fixed-point homomesy and orbit properties, but two other cases remain conjectural.

We study the generating polynomial of the flag major index with each one-dimensional character, called signed Mahonian polynomial, over the colored permutation group, the wreath product of a cyclic group with the symmetric group. Using the insertion lemma of Han and Haglund-Loehr-Remmel and a signed extension established by Eu et al., we derive the signed Mahonian polynomial over the quotients of parabolic subgroups of the colored permutation group, for a variety of systems of coset representatives in terms of subsequence restrictions. This generalizes the related work over parabolic quotients of the symmetric group due to Caselli as well as to Eu et al. As a byproduct, we derive a product formula that generalizes Biagioli's result about the signed Mahonian on the even signed permutation groups.

Let $\mathfrak S_{[i,j]}$ be the subgroup of the symmetric group $\mathfrak S_n$ generated by adjacent transpositions $(i,i+1), \dotsc, (j-1,j)$, assuming $1 \leq i < j \leq n$. We give a combinatorial rule for evaluating induced sign characters of the type-$A$ Hecke algebra $H_n(q)$ at all elements of the form $\sum_{w \in \mathfrak S_{[i,j]}} T_w$ and at all products of such elements. This includes evaluation at some elements $C'_w(q)$ of the Kazhdan-Lusztig basis.

Let $\mathbb Z/d\mathbb Z \wr \mathfrak S_n$ denote the wreath product of the cyclic group $\mathbb Z/d\mathbb Z$ with the symmetric group $\mathfrak S_n$. We define generating functions for monomial (induced one-dimensional) characters of $\mathbb Z/d\mathbb Z \wr \mathfrak S_n$ and express these in terms of determinants and permanents. This extends work of Littlewood ({\em The Theory of Group Characters and Representations of Groups}, 1940) and Merris and Watkins ({\em Linear Algebra Appl.}, {\bf 64}, 1985) on generating functions for the monomial characters of $\mathfrak S_n$.

We show that $w\in W$ is boolean if and only if it avoids a set of Billey-Postnikov patterns, which we describe explicitly. Our proof is based on an analysis of inversion sets, and it is in large part type-uniform. We also introduce the notion of linear pattern avoidance, and show that boolean elements are characterized by avoiding just the $3$ linear patterns $s_1 s_2 s_1 \in W(A_2)$, $s_2 s_1 s_3 s_2 \in W(A_3)$, and $s_2 s_1 s_3 s_4 s_2 \in W(D_4)$. We also consider the more general case of $k$-boolean Weyl group elements. We say that $w\in W$ is $k$-boolean if every reduced expression for $w$ contains at most $k$ copies of each generator. We show that the $2$-boolean elements of the symmetric group $S_n$ are characterized by avoiding the patterns $3421,4312,4321,$ and $456123$, and give a rational generating function for the number of $2$-boolean elements of $S_n$.

We introduce the multiset partition algebra, ${\rm M\!P}_{r,k}(x)$, that has bases elements indexed by multiset partitions, where $x$ is an indeterminate and $r$ and $k$ are non-negative integers. This algebra can be realized as a diagram algebra that generalizes the partition algebra. When $x$ is an integer greater or equal to $2r$, we show that ${\rm M\!P}_{r,k}(x)$ is isomorphic to a centralizer algebra of the symmetric group, $S_n$, acting on the polynomial ring on the variables $x_{ij}$, $1\leq i \leq n$ and $1\leq j\leq k$. We describe the representations of ${\rm M\!P}_{r,k}(x)$, branching rule and restriction of its representations in the case that $x$ is an integer greater or equal to $2r$.

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