arXiv++ Combinatorics

We relate properties of weighted flags (or multiflags) of type AD to statistics of the corresponding Weyl groups. For type A, we recover the Mahonian statistics on symmetric groups. Finally, we sketch briefly an easy extension incorporating statistics for so-called Euler-polynomials.

We give a new formula for the irreducible spin characters of the symmetric groups. This formula is analogous to Stanley's character formula for the usual (linear) characters of the symmetric groups.

Given a set of permutations Pi, let S_n(Pi) denote the set of permutations in the symmetric group S_n that avoid every element of Pi in the sense of pattern avoidance. Given a subset S of {1,...,n-1}, let F_S be the fundamental quasisymmetric function indexed by S. Our object of study is the generating function Q_n(Pi) = sum F_{Des sigma} where the sum is over all sigma in S_n(Pi) and Des sigma is the descent set of sigma. We characterize those Pi contained in S_3 such that Q_n(Pi) is symmetric or Schur nonnegative for all n. In the process, we show how each of the resulting Pi can be obtained from a theorem or conjecture involving more general sets of patterns. In particular, we prove results concerning symmetries, shuffles, and Knuth classes, as well as pointing out a relationship with the arc permutations of Elizalde and Roichman. Various conjectures and questions are mentioned throughout.

First formally defined by Borodin and Olshanski, a coherent system on a graded graph is a sequence of probability measures which respect the action of certain down/up transition functions between graded components. In one common example of such a construction, each measure is the Plancherel measure for the symmetric group $S_{n}$ and the down transition function is induced from the inclusions $S_{n} \hookrightarrow S_{n+1}$. In this paper we generalize the above framework to the case where $\{A_n\}_{n \geq 0}$ is any free Frobenius tower and $A_n$ is no longer assumed to be semisimple. In particular, we describe two coherent systems on graded graphs defined by the representation theory of $\{A_n\}_{n \geq 0}$ and connect one of these systems to a family of central elements of $\{A_n\}_{n \geq 0}$. When the algebras $\{A_n\}_{n \geq 0}$ are not semisimple, the resulting coherent systems reflect the duality between simple $A_n$-modules and indecomposable projective $A_n$-modules.

Classical pattern avoidance and occurrence are well studied in the symmetric group $\mathcal{S}_{n}$. In this paper, we provide explicit recurrence relations to the generating functions counting the number of classical pattern occurrence in the set of 132-avoiding permutations and the set of 123-avoiding permutations.

A fascinating problem on digraphs is the existence problem of the finiteupper bound on s for all vertex-primitive s-arc-transitive digraphs except directed cycles (which is known to be reduced to the almost simple groups case). In this paper,we prove that s 2 for all G-vertex-primitive s-arc-transitive digraphs with G an (insoluble) alternating or symmetric group, which makes an important progress towards a solution of the problem. The proofs involves some methods that may be used to investigate other almost simple groups cases.

In this paper we give an affirmative answer to a conjecture proposed by Danny Neftin, that is, if the commutator of two permutations has at least n-4 fixed points where two permutations are in degree n symmetric group, then there exists a permutation in this symmetric inverting both of them.

For each $n,r \geq 0$, let $KG(n,r)$ denote the Kneser Graph; that whose vertices are labeled by $r$-element subsets of $n$, and whose edges indicate that the corresponding subsets are disjoint. Fixing $r$ and allowing $n$ to vary, one obtains a family of nested graphs, each equipped with a natural action by a symmetric group $S_n$, such that these actions are compatible. Collections of graphs of this type are common in algebraic combinatorics and include families such as the Johnson Graphs, Crown Graphs and Rook Graphs. In previous work, the authors systematically studied families of this type using the language of representation stability and FI-modules. In that work, it is shown that such families of graphs exhibit a large variety of asymptotic regular behaviors. The present work applies the theory developed in that previous work, later refined in work of the authors and Speyer, to study random walks on the graphs of such families. We show that the moments of hitting times exhibit rational function behavior asymptotically. By consequence we conclude similar facts about the entries of the discrete Green's functions, as defined by Chung and Yau. Finally, we illustrate how the algebro-combinatorial structure of the graphs in these families give bounds on the mixing times of random walks on those graphs. We suggest some possible directions for future study, including of the appearance, or not, of the cut-off phenomenon, originally presented by Diaconis.

Using the description of multiline queues as functions on words, we introduce the notion of a spectral weight of a word by defining a new weighting on multiline queues. We show that the spectral weight of a word is invariant under a natural action of the symmetric group, giving a proof of the commutativity conjecture of Arita, Ayyer, Mallick, and Prolhac. We give a determinant formula for the spectral weight of a word, which gives a proof of a conjecture of the first author and Linusson.

Schur-Weyl duality is a fundamental framework in combinatorial representation theory. It intimately relates the irreducible representations of a group to the irreducible representations of its centralizer algebra. We investigate the analog of Schur-Weyl duality for the group of unipotent upper triangular matrices over a finite field. In this case, the character theory of these upper triangular matrices is "wild" or unattainable. Thus we employ a generalization, known as supercharacter theory, that creates a striking variation on the character theory of the symmetric group with combinatorics built from set partitions. In this paper, we present a combinatorial formula for calculating a restriction and induction of supercharacters based on statistics of set partitions and seashell inspired diagrams. We use these formulas to create a graph that encodes the decomposition of a tensor space, and develop an analog of Young tableaux, known as shell tableaux, to index paths in this graph.

Hurwitz numbers enumerate ramified coverings of the Riemann sphere with fixed ramification data. Certain kinds of ramification data are of particular interest, such as double Hurwitz numbers, which count covers with fixed arbitrary ramification over $0$ and $\infty$ and simple ramification over $b$ points, where $b$ is given by the Riemann-Hurwitz formula. In this work, we introduce the notion of bi-pruned double Hurwitz numbers. This is a new enumerative problem, which yields smaller numbers but completely determines double Hurwitz numbers. They count a relevant subset of covers and share many properties with double Hurwitz numbers, such as piecewise polynomial behaviour and an expression in the symmetric group. Thus, we may view them as a core of the double Hurwitz numbers problem. This work is built on and generalises previous work of Do--Norbury and the author.

A permutation $π$ is ballot if, for all $k$, the word $π_1\cdots π_k$ has at least as many ascents as it has descents. Let $b(n)$ denote the number of ballot permutations of order $n$, and let $p(n)$ denote the number of permutations which have odd order in the symmetric group $S_n$. Callan conjectured that $b(n)=p(n)$ for all $n$, which was proved by Bernardi, Duplantier, and Nadeau. We propose a refinement of Callan's original conjecture. Let $b(n,d)$ denote the number of ballot permutations with $d$ descents. Let $p(n,d)$ denote the number of odd order permutations with $M(π)=d$, where $M(π)$ is a certain statistic related to the cyclic descents of $π$. We conjecture that $b(n,d)=p(n,d)$ for all $n$ and $d$. We prove this stronger conjecture for the cases $d=1,\ 2,\ 3$, and $d=\lfloor(n-1)/2\rfloor$, and in each of these cases we establish formulas for $b(n,d)$ involving Eulerian numbers and Eulerian-Catalan numbers.

We construct a non-commutative, non-cocommutative, graded bialgebra $\mathbfΠ$ with a basis indexed by the permutations in all finite symmetric groups. Unlike the formally similar Malvenuto-Poirier-Reutenauer Hopf algebra, this bialgebra does not have finite graded dimension. After giving formulas for the product and coproduct, we show that there is a natural morphism from $\mathbfΠ$ to the algebra of quasi-symmetric functions, under which the image of a permutation is its associated Stanley symmetric function. As an application, we use this morphism to derive some new enumerative identities. We also describe analogues of $\mathbfΠ$ for the other classical types. In these cases, the relevant objects are module coalgebras rather than bialgebras, but there are again natural morphisms to the quasi-symmetric functions, under which the image of a signed permutation is the corresponding Stanley symmetric function of type B, C, or D.

We give formulae for the cumulants of complex Wishart (LUE) and inverse Wishart matrices (inverse LUE). Their large-$N$ expansions are generating functions of double (strictly and weakly) monotone Hurwitz numbers which count constrained factorisations in the symmetric group. The two expansions can be compared and combined with a duality relation proved in [F. D. Cunden, F. Mezzadri, N. O'Connell and N. J. Simm, arXiv:1805.08760] to obtain: i) a combinatorial proof of the reflection formula between moments of LUE and inverse LUE at genus zero and, ii) a new functional relation between the generating functions of monotone and strictly monotone Hurwitz numbers. The main result resolves the integrality conjecture formulated in [F. D. Cunden, F. Mezzadri, N. J. Simm and P. Vivo, J. Phys. A 49 (2016)] on the time-delay cumulants in quantum chaotic transport. The precise combinatorial description of the cumulants given here may cast new light on the concordance between random matrix and semiclassical theories.

Schur modules give the irreducible polynomial representations of the general linear group $\mathrm{GL}_t$. Viewing the symmetric group $\mathfrak{S}_t$ as a subgroup of $\mathrm{GL}_t$, we may restrict Schur modules to $\mathfrak{S}_t$ and decompose the result into a direct sum of Specht modules, the irreducible representations of $\mathfrak{S}_t$. We give an equivariant Möbius inversion formula that we use to invert this expansion in the representation ring for $\mathfrak{S}_t$ for $t$ large. In addition to explicit formulas in terms of plethysms, we show the coefficients that appear alternate in sign by degree. In particular, this allows us to define a new basis of symmetric functions whose structure constants are stable Kronecker coefficients and which expand with alternating signs into the Schur basis.

We propose a new approach to study plethysm coefficients by using the Schur-Weyl duality between the symmetric group and the partition algebra. This allows us to explain the stability properties of plethysm and Kronecker coefficients in a simple and uniform fashion for the first time. We prove the strengthened Foulkes' conjecture for stable plethysm coefficients in an elementary fashion.

The Thoma simplex $Ω$ is an infinite-dimensional space, a kind of dual object to the infinite symmetric group. The z-measures are a family of probability measures on $Ω$ depending on three continuous parameters. One of them is the parameter of the Jack symmetric functions, and in the limit when it goes to $0$, the z-measures turn into the Poisson-Dirichlet distributions. The definition of the z-measures is somewhat implicit. We show that the topological support of any nondegenerate z-measure is the whole space $Ω$. The proof is based on results of arXiv:0902.3395 and arXiv:1806.07454.

We introduce two new partial orders on the standard Young tableaux of a given partition shape, in analogy with the strong and weak Bruhat orders on permutations. Both posets are ranked by the major index statistic offset by a fixed shift. 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. By a theorem of Lusztig--Stanley, this classification can be interpreted as determining which irreducible representations of the symmetric group exist in which homogeneous components of the corresponding coinvariant algebra, strengthening a recent result of the third author for the modular major index. Our approach is to identify patterns in standard tableaux that allow one to mutate descent sets in a controlled manner. By work of Lusztig and Stembridge, the arguments extend to a classification of all nonzero fake degrees of coinvariant algebras for finite complex reflection groups in the infinite family of Shephard--Todd groups.

Given a partition $V_1 \sqcup V_2 \sqcup \dots \sqcup V_m$ of the vertex set of a graph, we are interested in finding multiple disjoint independent sets that contain the correct fraction of vertices of each $V_j$. We give conditions for the existence of $q$ such independent sets in terms of the topology of the independence complex. We relate this question to the existence of $q$-fold points of coincidence for any continuous map from the independence complex to Euclidean space of a certain dimension, and to the existence of equivariant maps from the $q$-fold deleted join of the independence complex to a certain representation sphere of the symmetric group. As a corollary we derive the existence of $q$ pairwise disjoint independent sets accurately representing the $V_j$ in certain sparse graphs for $q$ a power of a prime.

Ordering permutations by containment of inversion sets yields a fascinating partial order on the symmetric group: the weak order. This partial order is, among other things, a semidistributive lattice. As a consequence, every permutation has a canonical representation as a join of other permutations. Combinatorially, these canonical join representations can be modeled in terms of arc diagrams. Moreover, these arc diagrams also serve as a model to understand quotient lattices of the weak order. A particularly well-behaved quotient lattice of the weak order is the well-known Tamari lattice, which appears in many seemingly unrelated areas of mathematics. The arc diagrams representing the members of the Tamari lattices are better known as noncrossing partitions. Recently, the Tamari lattices were generalized to parabolic quotients of the symmetric group. In this article, we undertake a structural investigation of these parabolic Tamari lattices, and explain how modified arc diagrams aid the understanding of these lattices.