arXiv++ Combinatorics

The paper consists of two parts. The first part introduces the representation ring for the family of compact unitary groups U(1), U(2),.... This novel object is a commutative graded algebra R with infinite-dimensional homogeneous components. It plays the role of the algebra of symmetric functions, which serves as the representation ring for the family of finite symmetric groups. The purpose of the first part is to elaborate on the basic definitions and prepare the ground for the construction of the second part of the paper. The second part deals with a family of Markov processes on the dual object to the infinite-dimensional unitary group U(infinity). These processes were defined in a joint work with Alexei Borodin (J. Funct. Anal. 2012; arXiv:1009.2029). The main result of the present paper consists in the derivation of an explicit expression for their infinitesimal generators. It is shown that the generators are implemented by certain second order partial differential operators with countably many variables, initially defined as operators on R.

The study of core partitions has been very active in recent years, with the study of $(s,t)$-cores - partitions which are both $s$- and $t$-cores - playing a prominent role. A conjecture of Armstrong, proved recently by Johnson, says that the average size of an $(s,t)$-core, when $s$ and $t$ are coprime positive integers, is $\frac1{24}(s-1)(t-1)(s+t-1)$. Armstrong also conjectured that the same formula gives the average size of a self-conjugate $(s,t)$-core; this was proved by Chen, Huang and Wang. In the present paper, we develop the ideas from the author's paper [J. Combin. Theory Ser. A 118 (2011) 1525-1539] studying actions of affine symmetric groups on the set of $s$-cores in order to give variants of Armstrong's conjectures in which each $(s,t)$-core is weighted by the reciprocal of the order of its stabiliser under a certain group action. Informally, this weighted average gives the expected size of the $t$-core of a random $s$-core.

A general setting to study a certain type of formulas, expressing characters of the symmetric group $\mathfrak{S}_n$ explicitly in terms of descent sets of combinatorial objects, has been developed by two of the authors. This theory is further investigated in this paper and extended to the hyperoctahedral group $B_n$. Key ingredients are a new formula for the irreducible characters of $B_n$, the signed quasisymmetric functions introduced by Poirier, and a new family of matrices of Walsh--Hadamard type. Applications include formulas for natural $B_n$-actions on coinvariant and exterior algebras and on the top homology of a certain poset in terms of the combinatorics of various classes of signed permutations, as well as a $B_n$-analogue of an equidistribution theorem of Désarménien and Wachs.

In this manuscript we show that two partial orders defined on the set of standard Young tableaux of shape $α$ are equivalent. In fact, we give two proofs for the equivalence of the box order and the dominance order for {tableaux}. Both are algorithmic. The first of these proofs emphasizes links to the Bruhat order for the symmetric group and the second provides a more straightforward construction of the cover relations. This work is motivated by the known result that the equivalence of the two combinatorial orders leads to a description of the geometry of the representation space of invariant subspaces of nilpotent linear operators.

In this paper we study the characters of sequences of representations of any of the three families of classical Weyl groups W_n: the symmetric groups, the signed permutation groups (hyperoctahedral groups), or the even-signed permutation groups. Our results extend work of Church, Ellenberg, Farb, and Nagpal on the symmetric groups. We use the concept of an FI_W-module, an algebraic object that encodes the data of a sequence of W_n-representations with maps between them, defined in the author's recent work ArXiv:1309.3817. We show that if a sequence {V_n} of W_n-representations has the structure of a finitely generated FI_W-module, then there are substantial constraints on the growth of the sequence and the structure of the characters: for n large, the dimension of V_n is equal to a polynomial in n, and the characters of V_n are given by a character polynomial in signed-cycle-counting class functions, independent of n. We determine bounds the degrees of these polynomials. We continue to develop the theory of FI_W-modules, and we apply this theory to obtain new results about a number of sequences associated to the classical Weyl groups: the cohomology of complements of classical Coxeter hyperplane arrangements, and the cohomology of the pure string motion groups (the groups of symmetric automorphisms of the free group).

In this paper we give a very natural description of the bijections between the minimal CW-complex homotopy equivalent to the complement of a supersolvable arrangement $\mathcal{A}$, the $\textbf{nbc}$ basis of the Orlik-Solomon algebra associated to $\mathcal{A}$ and the set of chambers of $\mathcal{A}$. We use these bijections to get results on the first (co)homology group of the Milnor fiber of $\mathcal{A}$ and to describe a bijection between the symmetric group and the $\textbf{nbc}$ basis of the braid arrangement.

For a regular $2n$-gon there are $(2n-1)!!$ ways to match and glue the $2n$ sides. The Harer-Zagier bivariate generating function enumerates the gluings by $n$ and the genus $g$ of the attendant surface and leads to a recurrence equation for the counts of gluings with parameters $n$ and $g$. This formula was originally obtained by using the multidimensional Gaussian integrals. Soon after Jackson and later Zagier found alternative proofs that used the symmetric group characters. In this note we give a different, characters-based, proof. Its core is computing and marginally inverting Fourier transform of the underlying probability measure on $S_{2n}$. Aside from Murnaghan-Nakayama rule for one-hook diagrams, the counting techniques we use are of elementary, combinatorial nature.

A {\em cyclic graph} is a graph with at each vertex a cyclic order of the edges incident with it specified. We characterize which real-valued functions on the collection of cubic cyclic graphs are partition functions of a real vertex model (P. de la Harpe, V.F.R. Jones, Graph invariants related to statistical mechanical models: examples and problems, Journal of Combinatorial Theory, Series B 57 (1993) 207--227). They are characterized by `weak reflection positivity', which amounts to the positive semidefiniteness of matrices based on the `$k$-join' of cubic cyclic graphs (for all $k\in\oZ_+$). Basic tools are the representation theory of the symmetric group and geometric invariant theory, in particular the Hanlon-Wales theorem on the decomposition of Brauer algebras and the Procesi-Schwarz theorem on inequalities defining orbit spaces.

We consider symmetric (under the action of products of finite symmetric groups) real algebraic varieties and semi-algebraic sets, as well as symmetric complex varieties in affine and projective spaces, defined by polynomials of degrees bounded by a fixed constant $d$. We prove that if a Specht module, $\mathbb{S}^λ$, appears with positive multiplicity in the isotypic decomposition of the cohomology modules of such sets, then the rank of the partition $λ$ is bounded by $O(d)$. This implies a polynomial (in the dimension of the ambient space) bound on the number of such modules. Furthermore, we prove a polynomial bound on the multiplicities of those that do appear with positive multiplicity in the isotypic decomposition of the above mentioned cohomology modules. We give some applications of our methods in proving lower bounds on the degrees of defining polynomials of certain symmetric semi-algebraic sets, as well as improved bounds on the Betti numbers of the images under projections of (not necessarily symmetric) bounded real algebraic sets, improving in certain situations prior results of Gabrielov, Vorobjov and Zell.

We construct the irreducible unipotent modules of the finite general linear groups using tableaux. Our construction is analogous to that of James (1976) for the symmetric groups, answering an open question as to whether such a construction exists. Our modules are defined over any field containing a nontrivial $p^\text{th}$ root of unity (where $p$ is the defining characteristic of the group). We show that our modules are isomorphic to those constructed by James (1984), although the two constructions utilize quite different approaches. Finally we look closer at the complex irreducible unipotent modules, providing motivation for our construction.

Let $I_n$ be the set of involutions in the symmetric group $S_n$, and for $A \subseteq \{0,1,\ldots,n\}$, let \[ F_n^A=\{σ\in I_n \mid \text{$σ$ has $a$ fixed points for some $a \in A$}\}. \] We give a complete characterisation of the sets $A$ for which $F_n^A$, with the order induced by the Bruhat order on $S_n$, is a graded poset. In particular, we prove that $F_n^{\{1\}}$ (i.e., the set of involutions with exactly one fixed point) is graded, which settles a conjecture of Hultman in the affirmative. When $F_n^A$ is graded, we give its rank function. We also give a short new proof of the EL-shellability of $F_n^{\{0\}}$ (i.e., the set of fixed point-free involutions), which was recently proved by Can, Cherniavsky, and Twelbeck. Keywords: Bruhat order, symmetric group, involution, conjugacy class, graded poset, EL-shellability

The paper contains a survey of train constructions for infinite symmetric groups and related groups. For certain pairs (a group $G$, a subgroup $K$), we construct categories, whose morphisms are two-dimensional surfaces tiled by polygons and colored in a certain way. A product of morphisms is a gluing of combinatorial bordisms. For a unitary representation of $G$ we assign a functor from the category of bordisms to the category of Hilbert spaces and bounded operators. The construction has numerous variations, instead of surfaces there arise also one-dimensional objects of Brauer diagram type, multi-dimensional pseudomanifolds, bipartite graphs

A 0-Hecke algebra is a deformation of the group algebra of a Coxeter group. Based on work of Norton and Krob--Thibon, we introduce a tableau approach to the representation theory of 0-Hecke algebras of type A, which resembles the classic approach to the representation theory of symmetric groups by Young tableaux and tabloids. We extend this approach to type B and D, and obtain a correspondence between the representation theory of 0-Hecke algebras of type B and D and quasisymmetric functions and noncommutative symmetric functions of type B and D. Other applications are also provided.

We introduce and study a new action of the symmetric group $\mathfrak{S}_n$ on the vector space spanned by noncrossing partitions of $\{1, 2, \dots, n\}$ in which the adjacent transpositions $(i, i+1) \in \mathfrak{S}_n$ act on noncrossing partitions by means of skein relations. We characterize the isomorphism type of the resulting module and use it to obtain new representation theoretic proofs of cyclic sieving results due to Reiner-Stanton-White and Pechenik for the action of rotation on various classes of noncrossing partitions and the action of K-promotion on two-row rectangular increasing tableaux. Our skein relations generalize the Kauffman bracket (or Ptolemy relation) and can be used to resolve any set partition as a linear combination of noncrossing partitions in a $\mathfrak{S}_n$-equivariant way.

Parabolic $R$-polynomials were introduced by Deodhar as parabolic analogues of ordinary $R$-polynomials defined by Kazhdan and Lusztig. In this paper, we are concerned with the computation of parabolic $R$-polynomials for the symmetric group. Let $S_n$ be the symmetric group on $\{1,2,\ldots,n\}$, and let $S=\{s_i\,|\, 1\leq i\leq n-1\}$ be the generating set of $S_n$, where for $1\leq i\leq n-1$, $s_i$ is the adjacent transposition. For a subset $J\subseteq S$, let $(S_n)_J$ be the parabolic subgroup generated by $J$, and let $(S_n)^{J}$ be the set of minimal coset representatives for $S_n/(S_n)_J$. For $u\leq v\in (S_n)^J$ in the Bruhat order and $x\in \{q,-1\}$, let $R_{u,v}^{J,x}(q)$ denote the parabolic $R$-polynomial indexed by $u$ and $v$. Brenti found a formula for $R_{u,v}^{J,x}(q)$ when $J=S\setminus\{s_i\}$, and obtained an expression for $R_{u,v}^{J,x}(q)$ when $J=S\setminus\{s_{i-1},s_i\}$. We introduce a statistic on pairs of permutations in $(S_n)^J$ for $J=S\setminus\{s_{i-2},s_{i-1},s_i\}$. Then we give a formula for $R_{u,v}^{J,x}(q)$, where $J=S\setminus\{s_{i-2},s_{i-1},s_i\}$ and $i$ appears after $i-1$ in $v$. We also pose a conjecture for $R_{u,v}^{J,x}(q)$, where $J=S\setminus\{s_{k},s_{k+1},\ldots,s_i\}$ with $1\leq k\leq i\leq n-1$ and the elements $k+1,k+2,\ldots, i$ appear in increasing order in $v$.

We consider the set of affine permutations that avoid a fixed permutation pattern. Crites has given a simple characterization for when this set is infinite. We find the generating series for this set using the Coxeter length statistic and prove that it can always be represented as a rational function. We also give a characterization of the patterns for which the coefficients of the generating series are periodic. The proofs exploit a new polyhedral encoding for the affine symmetric group.

In this article we consider several probabilistic processes defining random grapha. One of these processes appeared recently in connection with a factorization problem in the symmetric group. For each of the probabilistic processes, we prove that the probability for the random graph to be a tree has an extremely simple expression, which is independent of most parameters of the problem. This raises many open questions.

The classical permutohedron Perm is the convex hull of the points (w(1),...,w(n)) in R^n where w ranges over all permutations in the symmetric group. This polytope has many beautiful properties -- for example it provides a way to visualize the weak Bruhat order: if we orient the permutohedron so that the longest permutation w_0 is at the "top" and the identity e is at the "bottom," then the one-skeleton of Perm is the Hasse diagram of the weak Bruhat order. Equivalently, the paths from e to w_0 along the edges of Perm are in bijection with the reduced decompositions of w_0. Moreover, the two-dimensional faces of the permutohedron correspond to braid and commuting moves, which by the Tits Lemma, connect any two reduced expressions of w_0. In this note we introduce some polytopes Br(k,n) (which we call bridge polytopes) which provide a positive Grassmannian analogue of the permutohedron. In this setting, BCFW bridge decompositions of reduced plabic graphs play the role of reduced decompositions. We define Br(k,n) and explain how paths along its edges encode BCFW bridge decompositions of the longest element pi(k,n) in the circular Bruhat order. We also show that two-dimensional faces of Br(k,n) correspond to certain local moves for plabic graphs, which by a result of Postnikov [Pos06], connect any two reduced plabic graphs associated to pi(k,n). All of these results can be generalized to the positive parts of Schubert cells. A useful tool in our proofs is the fact that our polytopes are isomorphic to certain Bruhat interval polytopes. Conversely, our results on bridge polytopes allow us to deduce some corollaries about the structure of Bruhat interval polytopes.

We study a natural discrete Bochner-type inequality on graphs, and explore its merit as a notion of curvature in discrete spaces. An appealing feature of this discrete version seems to be that it is fairly straightforward to compute this notion of curvature parameter for several specific graphs of interest - particularly, abelian groups, slices of the hypercube, and the symmetric group under various sets of generators. We further develop this notion by deriving Buser-type inequalities (a la Ledoux), relating functional and isoperimetric constants associated with a graph. Our derivations provide a tight bound on the Cheeger constant (i.e., the edge-isoperimetric constant) in terms of the spectral gap, for graphs with nonnegative curvature, particularly, the class of abelian Cayley graphs - a result of independent interest.

We explore the probability that a permutation sampled from the symmetric group of order n uniformly at random has cycles of lengths not exceeding r. Asymptotic formulas valid in specified regions for the ratio n/r are obtained using the saddle point method combined with ideas originated in analytic number theory. Theorem 1 and its detailed proof are included to rectify formulas for small r which have been announced by a few other authors.