arXiv++ Combinatorics

We prove hypercontractive inequalities on high dimensional expanders. As in the settings of the p-biased hypercube, the symmetric group, and the Grassmann scheme, our inequalities are effective for global functions, which are functions that are not significantly affected by a restriction of a small set of coordinates. As applications, we obtain Fourier concentration, small-set expansion, and Kruskal-Katona theorems for high dimensional expanders. Our techniques rely on a new approximate Efron-Stein decomposition for high dimensional link expanders.

Determining an upper bound on $s$ for finite vertex-primitive $s$-arc-transitive digraphs has received considerable attention dating back to a question of Praeger in 1990. It was shown by Giudici and Xia that the smallest upper bound on $s$ is attained for some digraph admitting an almost simple $s$-arc-transitive group. In this paper, based on the work of Pan, Wu and Yin, we prove that $s\leqslant 2$ in the case where the group is an alternating or symmetric group.

In this paper, we study relationships between the normalized characters of symmetric groups and the Boolean cumulants of Young diagrams. Specifically, we show that each normalized character is a polynomial of twisted Boolean cumulants with coefficients being non-negative integers, and conversely, that, when we expand a Boolean cumulant in terms of normalized characters, the coefficients are again non-negative integers. The main tool is Khovanov's Heisenberg category and the recently established connection of its center to the ring of functions on Young diagrams, which enables one to apply graphical manipulations to the computation of functions on Young diagrams. Therefore, this paper is an attempt to deepen the connection between the asymptotic representation theory and graphical categorification.

We prove a recursive formula for plethysm coefficients of the form $a^μ_{λ,(m)}$, generalising results on plethysms due to Bruns--Conca--Varbaro and de Boeck--Paget--Wildon. From this we deduce a stability result and resolve two conjectures of de Boeck concerning plethysms, as well as obtain new results on Sylow branching coefficients for symmetric groups for the prime 2. Further, letting $P_n$ denote a Sylow 2-subgroup of $S_n$, we show that almost all Sylow branching coefficients of $S_n$ corresponding to the trivial character of $P_n$ are positive.

A permutation is called smooth if the corresponding Schubert variety is smooth. Gilboa and Lapid prove that in the symmetric group, multiplying the reflections below a smooth element $w$ in Bruhat order in a compatible order yields back the element $w$. We strengthen this result by showing that such a product in fact determines a saturated chain $e \to w$ in Bruhat order, and that this property characterizes smooth elements.

In this paper we extend three classical and fundamental results in polyhedral geometry, namely, Carathéodory's theorem, the Minkowski-Weyl theorem, and Gordan's lemma to infinite dimensional spaces, in which considered cones and monoids are invariant under actions of symmetric groups.

We give an improved upper bound for the Grünbaum--Hadwiger--Ramos problem: Let $d,n,k \in \mathbb{N}$ such that $d \geq 2^n(1+2^{k-1})$. Given $2^{n+1}$ masses on $\mathbb{R}^d$, there exist $k$ hyperplanes in $\mathbb{R}^d$ that partition it into $2^k$ sets of equal size with respect to all measures. This is an improvement to the previous bound $d \geq 2^{n + k}$ by Mani-Levitska, Vrećica & Živaljević in 2006. This is achieved by classifying the number of certain Gray code patterns modulo 2. The reduction was developed by Blagojević, Frick, Haase & Ziegler in 2016. It utilizes the group action of the symmetric group $(\mathbb{Z}/2)^k \rtimes \mathfrak{S}_k$ of $k$ oriented hyperplanes. If we restrict to the subgroup $(\mathbb{Z}/2)^k$ as Mani-Levitska et al. we retrieve their bound.

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 $\mathfrak{S}_n$, such that these actions are compatible and transitive. Families of graphs of this form were introduced by the authors in [RW], while a systematic study of random walks on these families were considered in [RW2]. In this paper we illustrate that these random walks never exhibit the so-called product condition, and therefore also never display total variation cutoff as defined by Aldous and Diaconis [AD]. In particular, we provide a large family of algebro-combinatorially motivated examples of collections of Markov chains which satisfy some well-known algebraic heuristics for cutoff, while not actually having the property.

It was shown that in a group of bijections of an infinite set some families of subsets, related to the cardinality of some eigenspaces, are generating. Besides, we derived a criterion for generating by sets of this kind.

Inspired by a series of conjectures related to higher coinvariant algebras, we present two families of relations involving harmonic differential forms of the symmetric group. Our relations, together with a novel bijection, are sufficient to give a filtration of the $1$-forms suggested by work of Haglund--Rhoades--Shimozono with composition factors given by Tanisaki quotients. These are "almost all" of the necessary relations in a certain asymptotic sense we make precise.

This paper studies three results that describe the structure of the super-coinvariant algebra of pseudo-reflection groups over a field of characteristic $0$. Our most general result determines the top component in total degree, which we prove for all Shephard--Todd groups $G(m, p, n)$ with $m \neq p$ or $m=1$. Our strongest result gives tight bi-degree bounds and is proven for all $G(m, 1, n)$, which includes the Weyl groups of types $A$ and $B$/$C$. For symmetric groups (i.e. type $A$), this provides new evidence for a recent conjecture of Zabrocki related to the Delta Conjecture of Haglund--Remmel--Wilson. Finally, we examine analogues of a classic theorem of Steinberg and the Operator Theorem of Haiman. Our arguments build on the type-independent classification of semi-invariant harmonic differential forms carried out in the first part of this series. In this paper we use concrete constructions including Gröbner and Artin bases for the classical coinvariant algebras of the pseudo-reflection groups $G(m, p, n)$, which we describe in detail. We also prove that exterior differentiation is exact on the super-coinvariant algebra of a general pseudo-reflection group. Finally, we discuss related conjectures and enumerative consequences.

We obtain new calculations of the top weight rational cohomology of the moduli spaces $\mathcal{M}_{2,n}$, equivalently the rational homology of the tropical moduli spaces $Δ_{2,n}$, as a representation of $S_n$. These calculations are achieved fully for all $n\leq 10$, and partially -- for specific irreducible representations of $S_n$ -- for $n\le 22$. We also present conjectures, verified up to $n=22$, for the multiplicities of the irreducible representations $\mathrm{std}_n$ and $\mathrm{std}_n\otimes \mathrm{sgn}_n$. We achieve our calculations via a comparison with the homology of compactified configuration spaces of graphs. These homology groups are equipped with commuting actions of a symmetric group and the outer automorphism group of a free group. In this paper, we construct an efficient free resolution for these homology representations, from which we extract calculations on irreducible representations one at a time, simplifying the calculation of these homology representations.

We introduce a family of varieties $Y_{n,λ,s}$, which we call the \emph{$Δ$-Springer varieties}, that generalize the type A Springer fibers. We give an explicit presentation of the cohomology ring $H^*(Y_{n,λ,s})$ and show that there is a symmetric group action on this ring generalizing the Springer action on the cohomology of a Springer fiber. In particular, the top cohomology groups are induction products of Specht modules with trivial modules. The $λ=(1^k)$ case of this construction gives a compact geometric realization for the expression in the Delta Conjecture at $t=0$. Finally, we generalize results of De Concini and Procesi on the scheme of diagonal nilpotent matrices by constructing an ind-variety $Y_{n,λ}$ whose cohomology ring is isomorphic to the coordinate ring of the scheme-theoretic intersection of an Eisenbud--Saltman rank variety and diagonal matrices.

In 2020, Siemons and Zalesski [On the second eigenvalue of some Cayley graphs of the symmetric group. {\it arXiv preprint arXiv:2012.12460}, 2020] determined the second eigenvalue of the Cayley graph $Γ_{n,k} = \operatorname{Cay}(\operatorname{Sym}(n), C(n,k))$ for $k = 0$ and $k=1$, where $C(n,k)$ is the conjugacy class of $(n-k)$-cycles. In this paper, it is proved that for any $n\geq 3$ and $k\in \mathbb{N}$ relatively small compared to $n$, the second eigenvalue of $Γ_{n,k}$ is the eigenvalue afforded by the irreducible character of $\operatorname{Sym}(n)$ that corresponds to the partition $[n-1,1]$. As a byproduct of our method, the result of Siemons and Zalesski when $k \in \{0,1\}$ is retrieved. Moreover, we prove that the second eigenvalue of $Γ_{n,n-5}$ is also equal to the eigenvalue afforded by the irreducible character of the partition $[n-1,1]$.

We give closed product formulas for the irreducible characters of the symmetric groups related to rectangular `almost square' Young diagrams $p \times(p+δ)$ for a fixed value of an integer $δ$ and an arbitrary integer $p$.

Let $H$ be a connected $m$-uniform hypergraph, and let $\mathcal{A}(H)$ be the adjacency tensor of $H$ whose spectrum is simply called the spectrum of $H$. Let $s(H)$ denote the number of eigenvectors of $\mathcal{A}(H)$ associated with the spectral radius, and $c(H)$ denote the number of eigenvalues of $\mathcal{A}(H)$ with modulus equal to the spectral radius, which are respectively called the stabilizing index and cyclic index of $H$. Let $\bar{H}$ be a $k$-fold covering of $H$ which can be obtained from some permutation assignment in the symmetric group $\mathbf{S}_k$ on $H$. In this paper, we first characterize the connectedness of $\bar{H}$ by its incidence graph and the permutation assignment, and then investigate the relationship between the spectral property of $H$ and that of $\bar{H}$. By applying module theory and group representation, if $\bar{H}$ is connected, we prove that $s(H) \mid s(\bar{H})$ and $c(H) \mid c(\bar{H})$. In particular, when $\bar{H}$ is a $2$-fold covering of $H$, if $m$ is even, we show that regardless of multiplicities, the spectrum of $\bar{H}$ contains the spectrum of $H$ and the spectrum of a signed hypergraph with $H$ as underlying hypergraph; if $m$ is odd, we give an explicit formula for $s(\bar{H})$. We also find some differences on the spectral property between hypergraph coverings and graph coverings by examples.

We study semifinite harmonic functions on arbitrary branching graphs. We give a detailed exposition of an algebraic method which allows one to classify semifinite indecomposable harmonic functions on some multiplicative branching graphs. This method was proposed by A. Wassermann in terms of operator algebras, while we rephrase, clarify, and simplify the main arguments, working only with combinatorial objects. This work was inspired by the theory of traceable factor representations of the infinite symmetric group $S(\infty)$.

A notion of $t$-designs in the symmetric group on $n$ letters was introduced by Godsil in 1988. In particular $t$-transitive sets of permutations form a $t$-design. We derive upper bounds on the covering radius of these designs, as a function of $n$ and $t$ and in terms of the largest zeros of Charlier polynomials.

In this paper, we prove several stability theorems for multiplicities of naturally defined representations of symmetric groups. The first such theorem states that if we consider the diagonal action of the symmetric group $S_{m+r}$ on $k$ sets of $m+r$ variables, then the dimension of the invariants of degree $m$ is the same as the dimension of the invariants of degree $m$ for $S_{m}$ acting on $k$ sets of $m$ variables. Building on this stability, the last section looks at the Hilbert series of coinvariants of the polynomial ring in $k$ sets of $m$ variables. We address a conjecture that the Hilbert series, in degrees no more than $m$, can be computed by a truncated power series expression. Using some auxiliary results and manipulations of power series, we show that if this holds for $k$ and $m$, then the truncation gives the correct Hilbert series up to degree $m$ for $k$ sets of $n \geq m$ variables. This shows the validity of the conjecture up to certain degrees. We also provide a new equivalent conjecture regarding Gröbner bases. The second type of stability result is for Weyl modules. We prove that the dimension of the $S_{m+r}$ invariants for a Weyl module ${}_{m+r}F^λ$ (the Schur-Weyl dual of the $S_{|λ|}$ module $V^λ$) with $\left\vert λ\right\vert \leq m$ is of the same dimension as the space of $S_{m}$ invariants for ${}_{m}F^λ$. Multigraded versions of the first type of result are given, as are multigraded generalizations to non-trivial modules of symmetric groups.

We define a new class of countable groups, which are defined by its action on the set of monotonic numberings (diagrams) of an arbitrary finite or countable partial ordered set (poset). These groups are generated by the set of involutions? and in the case of finite posets could be considered as generalization of Coxeter's symmetric groups. We discuss the problems concerned to infinite groups jf this type, in particular the problem of the descripton of invariant measures on the space of numberings (central measures)with respect to actions of those groups. The probelms are tightly connected with the new theory of representations of the generalizations of infinite symmetric group.