arXiv++ Combinatorics

Picking permutations at random, the expected number of k-cycles is known to be 1/k and is, in particular, independent of the size of the permuted set. This short note gives similar size-independent statistics of finite general linear groups: ones that depend only on small minors. The proof technique uses combinatorics of categories, motivated by representation stability, and applies simultaneously to symmetric groups, finite linear groups and many other settings.

We consider the action of the symmetric group $S_n$ on the permutahedron $Π_n$. We prove that if $σ$ is a permutation of $S_n$ which has $m$ cycles of lengths $l_1, \ldots, l_m$, then the subpolytope of $Π_n$ fixed by $σ$ has normalized volume $n^{m-2} \gcd(l_1, \ldots, l_m)$.

The pancake problem is concerned with sorting a permutation (a stack of pancakes of different diameter) using only prefix reversals (spatula flips). Although the problem description belies simplicity, an exact formula for the maximum number of flips needed to sort $n$ pancakes has been elusive. In this paper we present a different approach to the pancake problem, as a word problem on the symmetric group and hyperoctahedral group. Pancake flips are considered as generators and we study the relations satisfied by them. We completely describe the order of the product of any two of these generators, and provide some partial results on the order of the product of any three generators. Connections to the pancake graph of the hyperoctahedral group are also drawn.

Kerov polynomials describe normalized irreducible characters of the symmetric groups in terms of the free cumulants associated with Young diagrams. We suggest well-suited counterparts of the Kerov polynomials in spin (or projective) representation settings. We show that spin analogues of irreducible characters are polynomials in even free cumulants associated with double diagrams of strict partitions. Moreover, we present a conjecture for the positivity of their coefficients.

We investigate the poset structure on the alternating group that arises when the latter is generated by 3-cycles. We study intervals in this poset and give several enumerative results, as well as a complete description of the orbits of the Hurwitz action on maximal chains. Our motivating example is the well-studied absolute order arising when the symmetric group is generated by transpositions, i.e. 2-cycles, and we compare our results to this case along the way. In particular, noncrossing partitions arise naturally in both settings.

A sorting network is a shortest path from $12 \cdots n$ to $n \cdots 2 1$ in the Cayley graph of the symmetric group generated by adjacent transpositions. For a uniform random sorting network, we prove that in the global limit, particle trajectories are supported on $π$-Lipschitz paths. We show that the weak limit of the permutation matrix of a random sorting network at any fixed time is supported within a particular ellipse. This is conjectured to be an optimal bound on the support. We also show that in the global limit, trajectories of particles that start within distance $ε$ of the edge are within $\sqrt{2ε}$ of a sine curve in uniform norm.

A sorting network (also known as a reduced decomposition of the reverse permutation), is a shortest path from $12 \cdots n$ to $n \cdots 21$ in the Cayley graph of the symmetric group $S_n$ generated by adjacent transpositions. We prove that in a uniform random $n$-element sorting network $σ^n$, all particle trajectories are close to sine curves with high probability. We also find the weak limit of the time-$t$ permutation matrix measures of $σ^n$. As a corollary of these results, we show that if $S_n$ is embedded into $\mathbb{R}^n$ via the map $τ\mapsto (τ(1), τ(2), \dots τ(n))$, then with high probability, the path $σ^n$ is close to a great circle on a particular $(n-2)$-dimensional sphere in $\mathbb{R}^n$. These results prove conjectures of Angel, Holroyd, Romik, and Virag.

The ring of symmetric functions carries the structure of a Hopf algebra. When computing the coproduct of complete symmetric functions $h_λ$ one arrives at weighted sums over reverse plane partitions (RPP) involving binomial coefficients. Employing the action of the extended affine symmetric group at fixed level $n$ we generalise these weighted sums to cylindric RPP and define cylindric complete symmetric functions. The latter are shown to be $h$-positive, that is, their expansions coefficients in the basis of complete symmetric functions are non-negative integers. We state an explicit formula in terms of tensor multiplicities for irreducible representations of the generalised symmetric group. Moreover, we relate the cylindric complete symmetric functions to a 2D topological quantum field theory (TQFT) that is a generalisation of the celebrated $\mathfrak{\widehat{sl}}_n$-Verlinde algebra or Wess-Zumino-Witten fusion ring, which plays a prominent role in the context of vertex operator algebras and algebraic geometry.

We study the size of certain acyclic domains that arise from geometric and combinatorial constructions. These acyclic domains consist of all permutations visited by commuting equivalence classes of maximal reduced decompositions if we consider the symmetric group and, more generally, of all c-singletons of a Cambrian lattice associated to the weak order of a finite Coxeter group. For this reason, we call these sets Cambrian acyclic domains. Extending a closed formula of Galambos--Reiner for a particular acyclic domain called Fishburn's alternating scheme, we provide explicit formulae for the size of any Cambrian acyclic domain and characterize the Cambrian acyclic domains of minimum or maximum size.

We consider the symmetric group $\mathrm{Sym}_n,\,n\geqslant 2$, generated by the set $S$ of transpositions $(1~i),\,2 \leqslant i \leqslant n$, and the Cayley graph $S_n=Cay(\mathrm{Sym}_n,S)$ called the Star graph. For any positive integers $n\geqslant 3$ and $m$ with $n > 2m$, we present a family of $PI$-eigenfunctions of $S_n$ with eigenvalue $n-m-1$. We establish a connection of these functions with the standard basis of a Specht module. In the case of largest non-principal eigenvalue $n-2$ we prove that any eigenfunction of $S_n$ can be reconstructed by its values on the second neighbourhood of a vertex.

We prove some Schur positivity results for the chromatic symmetric function $X_G$ of a (hyper)graph $G$, using connections to the group algebra of the symmetric group. The first such connection works for (hyper)forests $F$: we describe the Schur coefficients of $X_F$ in terms of eigenvalues of a product of Hermitian idempotents in the group algebra, one factor for each edge (a more general formula of similar shape holds for all chordal graphs). Our main application of this technique is to prove a conjecture of Taylor on the Schur positivity of certain $X_F$, which implies Schur positivity of the formal group laws associated to various combinatorial generating functions. We also introduce the pointed chromatic symmetric function $X_{G,v}$ associated to a rooted graph $(G,v)$. We prove that if $X_{G,v}$ and $X_{H,w}$ are positive in the generalized Schur basis of Strahov, then the chromatic symmetric function of the wedge sum of $(G,v)$ and $(H,w)$ is Schur positive.

Restricted Whitney numbers of the first kind appear in the combinatorial recursion for the matroid Kazhdan-Lusztig polynomials. In the special case of braid matroids (the matroid associated to the partition lattice, the complete graph, the type A Coxeter arrangement and the symmetric group) these restricted Whitney numbers are Stirling numbers of the first kind. We use this observation to obtain a formula for the coefficients of the Kazhdan-Lusztig polynomials for braid matroids in terms of sums of products of Stirling numbers of the first kind. This results in new identities between Stirling numbers of the first kind and Stirling numbers of the second kind, as well as a non-recursive formula for the braid matroid Kazhdan-Lusztig polynomials.

We use generating functions to relate the expected values of polynomial factorization statistics over $\mathbb{F}_q$ to the cohomology of ordered configurations in $\mathbb{R}^3$ as a representation of the symmetric group. Our methods lead to a new proof of the twisted Grothendieck-Lefschetz formula for squarefree polynomial factorization statistics of Church, Ellenberg, and Farb.

The Eulerian distribution on the involutions of the symmetric group is unimodal, as shown by Guo and Zeng. In this paper we prove that the Eulerian distribution on the involutions of the hyperoctahedral group, when viewed as a colored permutation group, is unimodal in a similar way and we compute its generating function, using signed quasisymmetric functions.

We investigate Boolean degree 1 functions for several classical association schemes, including Johnson graphs, Grassmann graphs, graphs from polar spaces, and bilinear forms graphs, as well as some other domains such as multislices (Young subgroups of the symmetric group). In some settings, Boolean degree 1 functions are also known as \textit{completely regular strength 0 codes of covering radius 1}, \textit{Cameron--Liebler line classes}, and \textit{tight sets}. We classify all Boolean degree $1$ functions on the multislice. On the Grassmann scheme $J_q(n, k)$ we show that all Boolean degree $1$ functions are trivial for $n \geq 5$, $k, n-k \geq 2$ and $q \in \{ 2, 3, 4, 5 \}$, and that for general $q$, the problem can be reduced to classifying all Boolean degree $1$ functions on $J_q(n, 2)$. We also consider polar spaces and the bilinear forms graphs, giving evidence that all Boolean degree $1$ functions are trivial for appropriate choices of the parameters.

The notion of partial geodesic was introduced by Jamshidpey et al. in "Sets of medians in the non-geodesic pseudometric space of unsigned genomes with breakpoints", 2014. In this paper, we study the density of points on non-trivial partial geodesics between two permutations $ξ_1^{(n)}$ and $ξ_2^{(n)}$ chosen uniformly and independently at random from the symmetric group $S_n$, where $S_n$ is endowed with the breakpoint distance. For a permutation $π:= π_1 \ ... \ π_n$, any unordered pair $\{π_i , π_{i+1}\}$, for $i=1, ..., n-1$, is called an adjacency of $π$. The set of all adjacencies of $π$ is denoted by $\mathcal{A}_π$. Denote by $id^{(n)}$ the identity permutation, and let $I_n$ be an arbitrary subset of $\mathcal A_{id^{(n)}}$. We classify the set of all adjacencies of a permutation $π\in S_n$ into four types, with respect to $I_n$. Then for a permutation $ξ^{(n)}$ chosen uniformly at random from $S_n$, we derive a convergence theorem for the normalized number (after dividing by $n$) of adjacencies of each type in $ξ^{(n)}$ with respect to $I_n$ (for some random or deterministic choices of $I_n$), as $n\rightarrow \infty$. We also see an application of this convergence theorem to find the appropriate choices of $I_n$. A geodesic point of $u$ and $v$ in a pseudometric space $(S,ρ)$ is a point $w$ of the space that $ρ(u,w)+ρ(w,v)=ρ(u,v)$. We find an upper bound for the number of permutations $x\in S_n$ for which there exists at least one non-trivial geodesic point between $id^{(n)}$ and $x$, far from both. This partially verifies the conjecture of Haghighi and Sankoff stated in "Medians seek the corners, and other conjectures", 2012, namely we prove that, with high probability, there is no breakpoint median of two permutations $ξ_1^{(n)}$ and $ξ_2^{(n)}$ chosen uniformly and independently at random from $S_n$, far from both of them.

In this paper we are interested in lifting a prescribed group of automorphisms of a finite graph via regular covering projections. Here we describe with an example the problems we address and refer to the introductory section for the correct statements of our results. Let $P$ be the Petersen graph, say, and let $\wp:\tilde{P}\to P$ be a regular covering projection. With the current covering machinery, it is straightforward to find $\wp$ with the property that every subgroup of $\Aut(P)$ lifts via $\wp$. However, for constructing peculiar examples and in applications, this is usually not enough. Sometimes it is important, given a subgroup $G$ of $\Aut(P)$, to find $\wp$ along which $G$ lifts but no further automorphism of $P$ does. For instance, in this concrete example, it is interesting to find a covering of the Petersen graph lifting the alternating group $A_5$ but not the whole symmetric group $S_5$. (Recall that $\Aut(P)\cong S_5$.) Some other time it is important, given a subgroup $G$ of $\Aut(P)$, to find $\wp$ with the property that $\Aut(\tilde{P})$ is the lift of $G$. Typically, it is desirable to find $\wp$ satisfying both conditions. In a very broad sense, this might remind wallpaper patterns on surfaces: the group of symmetries of the dodecahedron is $S_5$, and there is a nice colouring of the dodecahedron (found also by Escher) whose group of symmetries is just $A_5$. In this paper, we address this problem in full generality.

We consider a family of cellular automata $Φ(n,k)$ associated with infinite reduced elements on the affine symmetric group $\hat S_n$, which is a tropicalization of the rational maps introduced by two of the authors. We study the soliton solutions for $Φ(n,k)$ and explore a `duality' with the $\mathfrak{sl}_n$-box-ball system.

Introduced by Goulden and Jackson in their 1996 paper, the matchings-Jack conjecture and the hypermap-Jack conjecture (also known as the $b$-conjecture) are two major open questions relating Jack symmetric functions, the representation theory of the symmetric groups and combinatorial maps. They show that the coefficients in the power sum expansion of some Cauchy sum for Jack symmetric functions and in the logarithm of the same sum interpolate respectively between the structure constants of the class algebra and the double coset algebra of the symmetric group and between the numbers of orientable and locally orientable hypermaps. They further provide some evidence that these two families of coefficients indexed by three partitions of a given integer $n$ and the Jack parameter $α$ are polynomials in $β= α-1$ with non negative integer coefficients of combinatorial significance. This paper is devoted to the case when one of the three partitions is equal to $(n)$. We exhibit some polynomial properties of both families of coefficients and prove a variation of the hypermap-Jack conjecture and the matchings-Jack conjecture involving labelled hypermaps and matchings in some important cases.

We use binary trees to study the Bratteli diagram of Sylow 2-subgroups of symmetric groups. We show that it is simple, has a recursive structure, and self-similarities at all scales. We contrast its subgraph of one-dimensional representations with the Macdonald tree. We exploit the recursive structure to find the multiplicities of irreducible characters in the restriction to a Sylow 2-subgroup of odd-dimensional representations of the symmetric group $S_{2^k}$.