arXiv++ Combinatorics

For the ideal $I = \langle y_1 + \dots + y_n, y^2_1, \dots , y^2_n \rangle$ in $R = {\mathbb F}[y_1, \dots , y_n]$ with char($\mathbb F$) = 0, we show that the reduced Gröbner basis with lex-order consists of polynomials $g_α$ that are represented in terms of paths, moving northeast in the Cartesian plane, that stay above the diagonal and cross the diagonal at the last step. This implies that a linear basis for the quotient ring $R/I$ is given by a set of Catalan paths. We show that the dimension is the number of standard Young tableaux of size $n$ and height at most two. The graded Frobenius characteristic of $R/I$ as a symmetric group module is given by $\sum_{k=0}^{\lfloor \frac{n}{2} \rfloor } s_{n-k,k}q^k$.

In this paper we decompose the rational homology of the ordered configuration space of $p$ open unit-diameter disks on the infinite strip of width $2$ as a direct sum of induced $S_{n}$-representations. Alpert proved that the $k^{\text{th}}$-integral homology of the ordered configuration space of $n$ open unit-diameter disks on the infinite strip of width $2$ is an FI$_{k+1}$-module by studying certain operations on homology called "high-insertion maps." The integral homology groups $H_{k}(\text{cell}(n,2))$ are free abelian, and Alpert computed a basis for $H_{k}(\text{cell}(n,2))$ as an abelian group. In this paper, we study the rational homology groups as $S_{n}$-representations. We find a new basis for $H_{k}(\text{cell}(n,2);\mathbb{Q}),$ and use this, along with results of Ramos, to give an explicit description of $H_{k}(\text{cell}(n,2);\mathbb{Q})$ as a direct sum of induced $S_{n}$-representations arising from free FI$_{*}$-modules. We use this decomposition to calculate the dimension of the rational homology of the unordered configuration space of $p$ open unit-diameter disks on the infinite strip of width $2$.

Mallows permutation model, introduced by Mallows in statistical ranking theory, is a class of non-uniform probability measures on the symmetric group $S_n$. The model depends on a distance metric $d(σ,τ)$ on $S_n$, which can be chosen from a host of metrics on permutations. In this paper, we focus on Mallows permutation models with $L^1$ and $L^2$ distances, respectively known in the statistics literature as Spearman's footrule and Spearman's rank correlation. Unlike most of the random permutation models that have been analyzed in the literature, Mallows permutation models with $L^1$ and $L^2$ distances do not have an explicit expression for their normalizing constants. This poses challenges to the task of sampling from these Mallows models. In this paper, we consider hit and run algorithms for sampling from both models. Hit and run algorithms are a unifying class of Markov chain Monte Carlo (MCMC) algorithms including the celebrated Swendsen-Wang and data augmentation algorithms. For both models, we show order $\log{n}$ mixing time upper bounds for the hit and run algorithms. This demonstrates much faster mixing of the hit and run algorithms compared to local MCMC algorithms such as the Metropolis algorithm. The proof of the results on mixing times is based on the path coupling technique, for which a novel coupling for permutations with one-sided restrictions is involved. Extensions of the hit and run algorithms to weighted versions of the above models, a two-parameter permutation model that involves the $L^1$ distance and Cayley distance, and lattice permutation models in dimensions greater than or equal to $2$ are also discussed. The order $\log{n}$ mixing time upper bound pertains to the two-parameter permutation model.

It is well-known that the $T$-fixed points of a Schubert variety in the flag variety $GL_n(\mathbb{C})/B$ can be characterized purely combinatorially in terms of Bruhat order on the symmetric group $\mathfrak{S}_n$. In a recent preprint, Cho, Hong, and Lee give a combinatorial description of the $T$-fixed points of Hessenberg analogues of Schubert varieties (which we call Hessenberg Schubert varieties) in a regular semisimple Hessenberg variety. This note gives an interpretation of their result in terms of Bruhat order by making use of a partition of the symmetric group defined using so-called subsets of Weyl type. The Appendix, written by Michael Zeng, proves a lemma concerning subsets of Weyl type which is required in our arguments.

We give some natural sufficient conditions for balls in a metric space to have small intersection. Roughly speaking, this happens when the metric space is (i) expanding and (ii) well-spread, and (iii) a certain random variable on the boundary of a ball has a small tail. As applications, we show that the volume of intersection of balls in Hamming, Johnson spaces and symmetric groups decay exponentially as their centers drift apart. To verify condition (iii), we prove some large deviation inequalities `on a slice' for functions with Lipschitz conditions. We then use these estimates on intersection volumes to $\bullet$ obtain a sharp lower bound on list-decodability of random $q$-ary codes, confirming a conjecture of Li and Wootters; and $\bullet$ improve the classical bound of Levenshtein from 1971 on constant weight codes by a factor linear in dimension, resolving a problem raised by Jiang and Vardy. Our probabilistic point of view also offers a unified framework to obtain improvements on other Gilbert--Varshamov type bounds, giving conceptually simple and calculation-free proofs for $q$-ary codes, permutation codes, and spherical codes. Another consequence is a counting result on the number of codes, showing ampleness of large codes.

We use tools from geometric group theory to produce a stratification of the space $\mathcal{B}_n$ of barcodes with $n$ bars. The top-dimensional strata are indexed by permutations associated to barcodes as defined by Kanari, Garin and Hess. More generally, the strata correspond to marked double cosets of parabolic subgroups of the symmetric group $Sym_n$. This subdivides $\mathcal{B}_n$ into regions that consist of barcodes with the same averages and standard deviations of birth and death times and the same permutation type. We obtain coordinates that form a new invariant of barcodes, extending the one of Kanari-Garin-Hess. This description also gives rise to metrics on $\mathcal{B}_n$ that coincide with modified versions of the bottleneck and Wasserstein metrics.

Using the theory of Macdonald, Gordon showed that the graded characters of the simple modules for the restricted rational Cherednik algebra by Etingof and Ginzburg associated to the symmetric group $\mathfrak{S}_n$ are given by plethystically transformed Macdonald polynomials specialized at q=t. We generalize this to restricted rational Cherednik algebras of wreath product groups $C_\ell \wr \mathfrak{S}_n$ and prove that the corresponding characters are given by a specialization of the wreath Macdonald polynomials defined by Haiman.

In this paper, we introduce a broad family of group homomorphisms that we name the Gauss-Epple homomorphisms. In the setting of braid groups, the Gauss-Epple invariant was originally defined by Epple based on a note of Gauss as an action of the braid group $B_n$ on the set $\{1, \dots, n\}\times\mathbb{Z}$; we prove that it is well-defined. We consider the associated group homomorphism from $B_n$ to the symmetric group $\text{Sym}(\{1, \dots, n\}\times\mathbb{Z})$. We prove that this homomorphism factors through $\mathbb{Z}^n\rtimes S_n$ (in fact, its image is an order 2 subgroup of the previous group). We also describe the kernel of the homomorphism and calculate the asymptotic probability that it contains a random braid of a given length. Furthermore, we discuss the super-Gauss-Epple homomorphism, a homomorphism which extends the generalization of the Gauss-Epple homomorphism and describe a related 1-cocycle of the symmetric group $S_n$ on the set of antisymmetric $n\times n$ matrices over the integers. We then generalize the super-Gauss-Epple homomorphism and the associated 1-cocycle to Artin groups of finite type. For future work, we suggest studying possible generalizations to complex reflection groups and computing the vector spaces of Gauss-Epple analogues.

We consider statistics on permutations chosen uniformly at random from fixed parabolic double cosets of the symmetric group. We show that the distribution of fixed points is asymptotically Poisson and establish central limit theorems for the distribution of descents and inversions. Our proofs use Stein's method with size-bias coupling and dependency graphs, which also gives convergence rates for our distributional approximations. As applications of our size-bias coupling and dependency graph constructions, we obtain concentration of measure results on the number of fixed points, descents, and inversions.

In this paper, we study permutations $π\in S_n$ with exactly $m$ transpositions. In particular, we are interested in the expected value of $π(1)$ when such permutations are chosen uniformly at random. When $n$ is even, this expected value is approximated closely by $(n+1)/2$, with an error term that is related to the number isometries of the $(n/2-m)$-dimensional hypercube that move every face. Furthermore, when $k \mid n$, this construction generalizes to allow us to compute the expected value of $π(1)$ for permutations with exactly $m$ $k$-cycles. In this case, the expected value has an error term which is related instead to the number derangements of the generalized symmetric group $S(k,n/k-m)$. When $k$ does not divide $n$, the expected value of $π(1)$ is precisely $(n+1)/2$. Indirectly, this suggests the existence of a reversible algorithm to insert a letter into a permutation which preserves the number of $k$-cycles, which we construct.

The irreducible representations of symmetric groups can be realized as certain graded pieces of invariant rings, equivalently as global sections of line bundles on partial flag varieties. There are various ways to choose useful bases of such Specht modules $S^λ$. Particularly powerful are web bases, which make important connections with cluster algebras and quantum link invariants. Unfortunately, web bases are only known in very special cases -- essentially, only the cases $λ=(d,d)$ and $λ=(d,d,d)$. Building on work of B. Rhoades (2017), we construct an apparent web basis of invariant polynomials for the $2$-parameter family of Specht modules with $λ$ of the form $(d,d,1^\ell)$. The planar diagrams that appear are noncrossing set partitions, and we thereby obtain geometric interpretations of earlier enumerative results in combinatorial dynamics.

In this paper we introduce a new notion of a sequence of symmetry groups of an infinite word. Given a subgroup $G_n$ of the symmetric group $S_n$, it acts on the set of finite words of length $n$ by permutation. We associate to an infinite word $w$ a sequence $(G_n(w))_{n\geq 1}$ of its symmetry groups: For each $n$, a symmetry group of $w$ is a subgroup $G_n(w)$ of the symmetric group $S_n$ such that $g(v)$ is a factor of $w$ for each permutation $g \in G_n(w)$ and each factor $v$ of length $n$ of $w$. We study general properties of the symmetry groups of infinite words and characterize the sequences of symmetry groups of several families of infinite words. We show that for each subgroup $G$ of $S_n$ there exists an infinite word $w$ with $G_n(w)=G$. On the other hand, the structure of possible sequences $(G_n(w))_{n\geq 1}$ is quite restrictive: we show that they cannot contain for each order $n$ certain cycles, transpositions and some other permutations. The sequences of symmetry groups can also characterize a generalized periodicity property. We prove that symmetry groups of Sturmian words and more generally Arnoux-Rauzy words are of order two for large enough $n$; on the other hand, symmetry groups of certain Toeplitz words have exponential growth.

We consider a game in which a blindfolded player attempts to set $n$ counters lying on the vertices of a rotating regular $n$-gon table simultaneously to $0$. When the counters count$\pmod{m}$ we simplify the argument of Bar Yehuda, Etzion, and Moran (1993) showing that the player can win if and only if $n = 1$, $m = 1$, or $(n, m) = (p^a, p^b)$ for some prime $p$ and $a, b \in \mathbb{N}$. We broadly generalize the result to the setting where the counters can be permuted by any element of a subset of the symmetric group $S \subseteq S_n$, with the original formulation corresponding to $S = \mathbb{Z}_n$ (rotations of the table).

We study conditions on polynomials such that the ideal generated by their orbits under the symmetric group action becomes a monomial ideal or has a monomial radical. If the polynomials are homogeneous, we expect that such an ideal has a monomial radical if their coefficients are sufficiently general with respect to their supports. We prove this for instance in the case where some generator contains a power of a variable. Moreover, if the polynomials have only square-free terms and their coefficients do not sum to zero, then in a larger polynomial ring the ideal itself is square-free monomial. This has implications also for symmetric ideals of the infinite polynomial ring.

The classical Hurwitz numbers count the fixed-length transitive transposition factorizations of a permutation, with a remarkable product formula for the case of minimum length (genus $0$). We study the analogue of these numbers for reflection groups with the following generalization of transitivity: say that a reflection factorization of an element in a reflection group $W$ is full if the factors generate the whole group $W$. We compute the generating function for full factorizations of arbitrary length for an arbitrary element in a group in the combinatorial family $G(m, p, n)$ of complex reflection groups in terms of the generating functions of the symmetric group $\mathfrak{S}_n$ and the cyclic group of order $m/p$. As a corollary, we obtain leading-term formulas which count minimum-length full reflection factorizations of an arbitrary element in $G(m,p,n)$ in terms of the Hurwitz numbers of genus $0$ and $1$ and number-theoretic functions. We also study the structural properties of such generating functions for any complex reflection group; in particular, we show via representation-theoretic methods that they can by expressed as finite sums of exponentials of the variable.

A basis of the center of the 0-Hecke algebra of an arbitrary finite Coxeter group was described by He in 2015. This basis is indexed by certain equivalence classes of the Coxeter group whose explicit description is rather complicated. Even their number is not obvious. We consider case of the symmetric group $\mathfrak{S}_n$. Building on work of Geck, Kim and Pfeiffer, we obtain a complete set of representatives of the equivalence classes. This set is naturally parametrized by certain compositions of $n$ called maximal. It follows that the maximal compositions of $n$ index the basis of the center of the 0-Hecke algebra of $\mathfrak{S}_n$. We then develop an explicit combinatorial description for the equivalence classes that are parametrized by the maximal compositions whose odd parts form a hook.

For an irreducible complex reflection group $W$ of rank $n$ containing $N$ reflections, we put $g=2N/n$ and construct a $(g+1)^n$-dimensional irreducible representation of the Cherednik algebra which is (as a vector space) a quotient of the diagonal coinvariant ring of $W$. We propose that this representation of the Cherednik algebra is the single largest representation bearing this relationship to the diagonal coinvariant ring, and that further corrections to this estimate of the dimension of the diagonal coinvariant ring by $(g+1)^n$ should be orders of magnitude smaller. A crucial ingredient in the construction is the existence of a dot action of a certain product of symmetric groups acting on the parameter space of the rational Cherednik algebra and leaving invariant both the finite Hecke algebra and the spherical subalgebra; this fact is a consequence of ideas of Berest-Chalykh on the relationship between the Cherednik algebra and quasi-invariants.

Permutation invariant polynomial functions of matrices have previously been studied as the observables in matrix models invariant under $S_N$, the symmetric group of all permutations of $N$ objects. In this paper, the permutation invariant matrix observables (PIMOs) of degree $k$ are shown to be in one-to-one correspondence with equivalence classes of elements in the diagrammatic partition algebra $P_k(N)$. On a 4-dimensional subspace of the 13-parameter space of $S_N$ invariant Gaussian models, there is an enhanced $O(N)$ symmetry. At a special point in this subspace, is the simplest $O(N)$ invariant action. This is used to define an inner product on the PIMOs which is expressible as a trace of a product of elements in the partition algebra. The diagram algebra $P_k(N)$ is used to prove the large $N$ factorisation property of this inner product, which generalizes a familiar large $N$ factorisation for inner products of matrix traces invariant under continuous symmetries.

In [5], Elnitsky constructed three elegant bijections between classes of reduced words for Type $\mathrm{A}$, $\mathrm{B}$ and $\mathrm{D}$ families of Coxeter groups and certain tilings of polygons. This paper offers a particular generalization of this concept to all finite Coxeter Groups in terms of embeddings into the Symmetric Group. [5] Elnitsky, Serge. Rhombic tilings of polygons and classes of reduced words in Coxeter groups. PhD dissertation, University of Michigan, 1993.

The complex irreducible representations of the symmetric group carry an important canonical basis called the Kazhdan-Lusztig basis. Although it is difficult to express how general permutations act on this basis, some distinguished permutations have beautiful descriptions. In 2010 Rhoades showed that the long cycle $(1, 2,..., n)$ acts by the jeu-de-taquin promotion operator in the case when the irreducible representation is indexed by a rectangular partition. We prove a generalisation of this theorem in two directions: on the one hand we lift the restriction on the shape of the partition, and on the other hand we enlarge the result to the collection of all separable permutations.