symmetric group
1714 papers tagged with this keyword
Stability phenomena for resonance arrangements
Published
• View Publication
• BIB
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.
Sign insertion and Kazhdan-Lusztig cells of affine symmetric groups
Published
• View Publication
• BIB
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.
Diameters of Graphs on Reduced Words of 12 and 21-Inflations
Published
• View Publication
• BIB
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.
Counting Parabolic Double Cosets in Symmetric Groups
Published
• View Publication
• BIB
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.
Almost all entries in the character table of the symmetric group are multiples of any given prime
Published in J. Reine Angew. Math. 786 (2022), 45-53
• View Publication
• BIB
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.
Signed Alternating-runs enumeration in Classical Weyl Groups
Published
• View Publication
• BIB
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.
Eulerian pairs and Eulerian recurrence systems
Published
• View Publication
• BIB
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.
Linear characters of Sylow subgroups of symmetric groups
Published
• View Publication
• BIB
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.
Complexity Measures on the Symmetric Group and Beyond
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.
An order on circular permutations
Published
• View Publication
• BIB
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.
Primitive Elements of the Hopf Algebras of Tableaux
Published
• View Publication
• BIB
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.
A symmetric group action on the irreducible components of the Shi variety associated to $W(\widetilde{A}_n)$
Published
• View Publication
• BIB
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)})$.
Quantum mechanics of bipartite ribbon graphs: Integrality, Lattices and Kronecker coefficients
Published in Algebraic Combinatorics, Volume 6 (2023) no. 2, pp. 547-594
• View Publication
• BIB
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.
Poincaré polynomial for fully commutative elements in the symmetric group
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)$.
Vertex-transitive graphs with local action the symmetric group on ordered pairs
Published
• View Publication
• BIB
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.
$3$-setwise intersecting families of the symmetric group
Published
• View Publication
• BIB
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\}$.
Cellularity of the p-Canonical Basis for Symmetric Groups
For symmetric groups we show that the p-canonical basis can be extended to a cell datum for the Iwahori-Hecke algebra H and that the two-sided p-cell preorder coincides with the Kazhdan-Lusztig two-sided cell preorder. Moreover, we show that left (or right) p-cells inside the same two-sided p-cell for Hecke algebras of finite crystallographic Coxeter systems are incomparable (Property A).
Distinguishing actions of symmetric groups and related graphs
The distinguishing number $D(G,X)$ of an action of a group $G$ on a set $X$ is the least size of a partition of $X$ such that no element of $G$ acting nontrivially on $X$ preserves this partition. In this paper we describe the distinguishing numbers for all actions of the symmetric group $S_n$, for any $n\geq 3$. This allows us to describe the distinguishing numbers for all graphs whose automorphism group is isomorphic with a symmetric group. Our description solves a few open problems posed by various authors in earlier papers on this topic.
Traces on diagram algebras II: Centralizer algebras of easy groups and new variations of the Young graph
Published
• View Publication
• BIB
In continuation of our recent work arXiv:2006.07312, we classify the extremal traces on infinite diagram algebras that appear in the context of Schur-Weyl duality for Banica and Speicher's easy groups. We show that the branching graphs of these algebras describe walks on new variations of the Young graph which describe curious ways of growing Young diagrams. As a consequence, we prove that the extremal traces on generic rook-Brauer algebras are always extensions of extremal traces on the group algebra $\mathbb{C}[S_{\infty}]$ of the infinite symmetric group. Moreover, we conjecture that the same is true for generic parameter deformations of the centralizers of the hyperoctahedral group and we reduce this conjecture to a conceptually much simpler numerical statement. Lastly, we address the trace classification problem for the Schur-Weyl dual of the halfliberated orthogonal group $O_N^*$, in which case extremal traces are always extensions of extremal traces on $\mathbb{C}[S_{\infty} \times S_{\infty}]$. Our approach relies on methods developed by Vershik and Nikitin.
Extremal even-cycle-free subgraphs of the complete transposition graphs
Published
• View Publication
• BIB
Given graphs $G$ and $H$, the generalized Turán number ${\rm ex}(G,H)$ is the maximum number of edges in an $H$-free subgraph of $G$. In this paper, we obtain an asymptotic upper bound on ${\rm ex}(CT_n,C_{2l})$ for any $n \ge 3$ and $l\geq2$, where $C_{2l}$ is the cycle of length $2l$ and $CT_n$ is the complete transposition graph which is defined as the Cayley graph on the symmetric group ${\rm S}_n$ with respect to the set of all transpositions of ${\rm S}_n$.