arXiv++ Combinatorics

The cyclic sieving phenomenon of Reiner, Stanton, and White characterizes the stabilizers of cyclic group actions on finite sets using q-analogue polynomials. Eu and Fu demonstrated a cyclic sieving phenomenon on generalized cluster complexes of every type using the q-Catalan numbers. In this paper, we exhibit the dihedral sieving phenomenon, introduced for odd n by Rao and Suk, on clusters of every type. In the type A case, we show that the Raney numbers count both reflection-symmetric k-angulations of an n-gon and a particular evaluation of the (q,t)-Fuss--Catalan numbers. We also introduce a sieving phenomenon for the symmetric group, and discuss possibilities for dihedral sieving for even n.

The birational $R$-matrix is a transformation that appears in the theory of geometric crystals, the study of total positivity in loop groups, and discrete dynamical systems. This $R$-matrix gives rise to an action of the symmetric group $S_m$ on an $m$-tuple of vectors. While the birational $R$-matrix is precisely the formula corresponding to the action of the simple transposition $s_i$, explicit formulas for the action of other permutations are generally not known. One particular case was studied by Lam and Pylyavskyy as it relates to energy functions of crystals. In this paper, we will discuss formulas for several additional cases, including transpositions, and provide combinatorial interpretations for the functions that appear in our work.

We provide the combinatorial proofs of the log-convexity for the derangement numbers in the symmetric group $\mathfrak{S}_n$, hyperoctahedral group $\mathfrak{B}_n$, and the demihyperoctahedral group $\mathfrak{D}_n$. We also show that the sequences of the even and odd derangement numbers in $\mathfrak{S}_n$ and $\mathfrak{B}_n$ are log-convex.

The well-known secretary problem in sequential analysis and optimal stopping theory asks one to maximize the probability of finding the optimal candidate in a sequentially examined list under the constraint that accept/reject decisions are made in real-time. A version of the problem is the so-called postdoc problem, for which the question of interest is to devise a strategy that identifies the second-best candidate with highest possible probability of success. We study the postdoc problem in its combinatorial form. In this setting, a permutation $π$ of length $N$ is sampled according to some distribution on the symmetric group $S_N$ and the elements of $π$ are revealed one-by-one from left to right so that at each step, one can only observe the relative orders of the elements. At each step, one must decide to either accept or reject the currently presented element and cannot recall the decision in the future. The question of interest is to find the optimal strategy for selecting the position of the second-largest value. We solve the postdoc problem for the untraditional setting where the candidates are not presented uniformly at random but rather according to permutations drawn from the Mallows distribution. The Mallows distribution assigns to each permutation $π\in S_N$ a weight $θ^{c(π)}$, where the function c counts the number of inversions in $π$. To identify the optimal stopping criteria for the significantly more challenging postdoc problem, we adopt a combinatorial methodology that includes new proof techniques and novel methodological extensions compared to the analysis first introduced in the setting of the secretary problem. The optimal strategies depend on the parameter $θ$ of the Mallows distribution and can be determined exactly by solving well-defined recurrence relations.

We prove that the ith graded pieces of the Orlik-Solomon algebras or Cordovil algebras of resonance arrangements form a finitely generated FS^op-module, thus obtaining information about the growth of their dimensions and restrictions on the irreducible representations of symmetric groups that they contain.

Combinatorics of Kazhdan-Lusztig cells in affine type $A$ was originally developed by Lusztig, Shi, and Xi. Building on their work, Chmutov, Pylyavskyy, and Yudovina introduced the affine matrix-ball construction (abbreviated AMBC) which gives an analog of Robinson-Schensted correspondence for affine symmetric groups. An alternative approach to Kazhdan-Lusztig theory in affine type $A$ was developed by Blasiak in his work on catabolism. He introduced sign insertion algorithm and conjectured that if one fixes the two-sided cell, the recording tableau of sign insertion process determines uniquely and is determined uniquely by the left cell. In this paper we unite these two approaches by proving Blasiak's conjecture. In the process, we show that certain new operations we introduce called partial rotations connect the elements in the intersection of a left cell and a right cell. Lastly, we investigate the connection between Blasiak's sign insertion and the standardization map acting on the set of semi-standard Young tableaux defined by Lascoux and Schützenberger.

It is a classical result that any permutation in the symmetric group can be generated by a sequence of adjacent transpositions. The sequences of minimal length are called reduced words, and in this paper we study the graphs of these reduced words, with edges determined by relations in the underlying Coxeter group. Recently, the diameter has been calculated for the longest permutation $n\ldots 21$ by Reiner and Roichman as well as Assaf. In this paper we find inductive formulas for the diameter of the graphs of 12-inflations and many 21-inflations. These results extend to the associated graphs on commutation and long braid classes. Also, these results give a recursive formula for the diameter of the longest permutation, which matches that of Reiner, Roichman and Assaf. Lastly, We make progress on conjectured bounds of the diameter by Reiner and Roichman, which are based on the underlying hyperplane arrangement, and find families of permutations that achieve the upper bound and lower bound of the conjecture. In particular permutations that avoid 312 or 231 have graphs that achieve the upper bound.

Billey, Konvalinka, Petersen, Solfstra, and Tenner recently presented a method for counting parabolic double cosets in Coxeter groups, and used it to compute $p_n$, the number of parabolic double cosets in $S_n$, for $n\leq13$. In this paper, we derive a new formula for $p_n$ and an efficient polynomial time algorithm for evaluating this formula. We use these results to compute $p_n$ for $n\leq5000$ and to prove an asymptotic formula for $p_n$ that was conjectured by Billey et al.

We show that almost every entry in the character table of $S_N$ is divisible by any fixed prime as $N\to\infty$. This proves a conjecture of Miller.

The alternating-runs polynomial enumerates alternating runs in the symmetric group. There are three formulae for the number of permutations, $R_{n,k}$ in $\mathfrak{S}_n$ with $k$ alternating runs, but all of them are complicated. We show that when enumerated with sign taken into account, one gets a {\it neat formula}. As a consequence, we get a near refinement of a result of Wilf on the exponent of $(1+t)$ when it divides the alternating-runs polynomial in the alternating group $\mathcal{A}_n$. Other applications include a moment-type identity and enumeration of alternating permutations in $\mathcal{A}_n$. Similar results are obtained for the type B and type D Coxeter groups.

In this paper, we characterize a duality relation between Eulerian recurrences and Eulerian recurrence systems, which generalizes and unifies Hermite-Biehler decompositions of several enumerative polynomials, including flag descent polynomials for hyperoctahedral group, flag ascent-plateau polynomials for Stirling permutations, up-down run polynomials for symmetric group and alternating run polynomials for hyperoctahedral group. As applications, we derive some properties of associated enumerative polynomials. In particular, we find that both the ascent-plateau polynomials and left ascent-plateau polynomials for Stirling permutations are alternatingly increasing, and so they are unimodal with modes in the middle.

Let $p$ be any prime. Let $P_n$ be a Sylow $p$-subgroup of the symmetric group $S_n$. Let $φ$ and $ψ$ be linear characters of $P_n$ and let $N$ be the normaliser of $P_n$ in $S_n$. In this article we show that the inductions of $φ$ and $ψ$ to $S_n$ are equal if, and only if, $φ$ and $ψ$ are $N$--conjugate. This is an analogue for symmetric groups of a result of Navarro for $p$-solvable groups.

We extend the definitions of complexity measures of functions to domains such as the symmetric group. The complexity measures we consider include degree, approximate degree, decision tree complexity, sensitivity, block sensitivity, and a few others. We show that these complexity measures are polynomially related for the symmetric group and for many other domains. To show that all measures but sensitivity are polynomially related, we generalize classical arguments of Nisan and others. To add sensitivity to the mix, we reduce to Huang's sensitivity theorem using "pseudo-characters", which witness the degree of a function. Using similar ideas, we extend the characterization of Boolean degree 1 functions on the symmetric group due to Ellis, Friedgut and Pilpel to the perfect matching scheme. As another application of our ideas, we simplify the characterization of maximum-size $t$-intersecting families in the symmetric group and the perfect matching scheme.

Motivation coming from the study of affine Weyl groups, a structure of ranked poset is defined on the set of circular permutations in $S_n$ (that is, $n$-cycles). It is isomorphic to the poset of so-called admitted vectors, and to an interval in the affine symmetric group $\tilde S_n$ with the weak order. The poset is a semidistributive lattice, and the rank function, whose range is cubic in $n$, is computed by some special formula involving inversions. We prove also some links with Eulerian numbers, triangulations of an $n$-gon, and Young's lattice.

The character theory of symmetric groups, and the theory of symmetric functions, both make use of the combinatorics of Young tableaux, such as the Robinson-Schensted algorithm, Schuetzenberger's "jeu de taquin", and evacuation. In 1995 Poirier and the second author introduced some algebraic structures, different from the plactic monoid, which induce some products and coproducts of tableaux, with homomorphisms. Their starting point are the two dual Hopf algebras of permutations, introduced by the authors in 1995. In 2006 Aguiar and Sottile studied in more detail the Hopf algebra of permutations: among other things, they introduce a new basis, by Moebius inversion in the poset of weak order, that allows them to describe the primitive elements of the Hopf algebra of permutations. In the present note, by a similar method, we determine the primitive elements of the Poirier-Reutenauer algebra of tableaux, using a partial order on tableaux defined by Taskin.

Let $W_a$ be an affine Weyl group with corresponding finite root system $Φ$. In \cite{JYS1} Jian-Yi Shi characterized each element $w \in W_a$ by a $ Φ^+$-tuple of integers $(k(w,α))_{α\in Φ^+}$ subject to certain conditions. In \cite{NC1} a new interpretation of the coefficients $k(w,α)$ is given. This description led us to define an affine variety $\widehat{X}_{W_a}$, called the Shi variety of $W_a$, whose integral points are in bijection with $W_a$. It turns out that this variety has more than one irreducible component, and the set of these components, denoted $H^0(\widehat{X}_{W_a})$, admits many interesting properties. In particular the group $W_a$ acts on it. In this article we show that the set of irreducible components of $\widehat{X}_{W(\widetilde{A}_n)}$ is in bijection with the conjugacy class of $(1~2~\cdots~n+1) \in W(A_n) = S_{n+1}$. We also compute the action of $W(A_n)$ on $H^0(\widehat{X}_{W(\widetilde{A}_n)})$.

We define solvable quantum mechanical systems on a Hilbert space spanned by bipartite ribbon graphs with a fixed number of edges. The Hilbert space is also an associative algebra, where the product is derived from permutation group products. The existence and structure of this Hilbert space algebra has a number of consequences. The algebra product, which can be expressed in terms of integer ribbon graph reconnection coefficients, is used to define solvable Hamiltonians with eigenvalues expressed in terms of normalized characters of symmetric group elements and degeneracies given in terms of Kronecker coefficients, which are tensor product multiplicities of symmetric group representations. The square of the Kronecker coefficient for a triple of Young diagrams is shown to be equal to the dimension of a sub-lattice in the lattice of ribbon graphs. This leads to an answer to the long-standing question of a combinatoric interpretation of the Kronecker coefficients. As an avenue to explore quantum supremacy and its implications for computational complexity theory, we outline experiments to detect non-vanishing Kronecker coefficients for hypothetical quantum realizations/simulations of these quantum systems. The correspondence between ribbon graphs and Belyi maps leads to an interpretation of these quantum mechanical systems in terms of quantum membrane world-volumes interpolating between string geometries.

Let $W^c(A_n)$ be the set of fully commutative elements of the Coxeter group $W(A_n)$. Let $$ a_n(q)= \sum_{w \in W^c(A_n)} q^{l(w)} . $$ We compute $a_n(q)$.

We consider a finite, connected and simple graph $Γ$ that admits a vertex-transitive group of automorphisms $G$. Under the assumption that, for all $x \in V(Γ)$, the local action $G_x^{Γ(x)}$ is the action of $\mathrm{Sym}(n)$ on ordered pairs, we show that the group $G_x^{[3]}$, the pointwise stabiliser of a ball of radius three around $x$, is trivial.

Given two positive integers $n\geq 3$ and $t\leq n$, the permutations $σ,π\in \operatorname{Sym}(n)$ are $t$-setwise intersecting if they agree (setwise) on a $t$-subset of $\{1,2,\ldots,n\}$. A family $\mathcal{F} \subset \operatorname{Sym}(n)$ is $t$-setwise intersecting if any two permutations of $\mathcal{F}$ are $t$-setwise intersecting. Ellis [Journal of Combinatorial Theory, Series A, 119(4), 825--849, 2012] conjectured that if $t\leq n$ and $\mathcal{F} \subset \operatorname{Sym}(n)$ is a $t$-setwise intersecting family, then $|\mathcal{F}|\leq t!(n-t)!$ and equality holds only if $\mathcal{F}$ is a coset of a setwise stablizer of a $t$-subset of $\{1,2,\ldots,n\}$. In this paper, we prove that if $n\geq 11$ and $\mathcal{F}$ is $3$-setwise intersecting, then $|\mathcal{F}|\leq 6(n-3)!$. Moreover, we prove that the characteristic vector of a $3$-setwise intersecting family of maximum size lies in the sum of the eigenspaces induced by the permutation module of $\operatorname{Sym}(n)$ acting on the $3$-subsets of $\{1,2,\ldots,n\}$.