symmetric group
1738 papers tagged with this keyword
On the action of the Weyl group on canonical bases
Published
• View Publication
• BIB
We study representations of simply-laced Weyl groups which are equipped with canonical bases. Our main result is that for a large class of representations, the separable elements of the Weyl group $W$ act on these canonical bases by bijections up to lower-order terms. Examples of this phenomenon include the action of separable permutations on the Kazhdan--Lusztig basis of irreducible representations for the symmetric group, and the action of separable elements of $W$ on dual canonical bases of weight zero in tensor product representations of a Lie algebra. Our methods arise from categorical representation theory, and in particular the study of the perversity of Rickard complexes acting on triangulated categories.
Machine-Learning Kronecker Coefficients
Published
• View Publication
• BIB
The Kronecker coefficients are the decomposition multiplicities of the tensor product of two irreducible representations of the symmetric group. Unlike the Littlewood--Richardson coefficients, which are the analogues for the general linear group, there is no known combinatorial description of the Kronecker coefficients, and it is an NP-hard problem to decide whether a given Kronecker coefficient is zero or not. In this paper, we show that standard machine-learning algorithms such as Nearest Neighbors, Convolutional Neural Networks and Gradient Boosting Decision Trees may be trained to predict whether a given Kronecker coefficient is zero or not. Our results show that a trained machine can efficiently perform this binary classification with high accuracy ($\approx 0.98$).
Distinct eigenvalues of the Transposition graph
Published
• View Publication
• BIB
Transposition graph $T_n$ is defined as a Cayley graph over the symmetric group generated by all transpositions. It is known that all eigenvalues of $T_n$ are integers. Moreover, zero is its eigenvalue for any $n\geqslant 4$. But the exact distribution of the spectrum of the graph $T_n$ is unknown. In this paper we prove that integers from the interval $[-\frac{n-4}{2}, \frac{n-4}{2}]$ lie in the spectrum of $T_n$ if $n \geqslant 19$.
Sign-Balanced Pattern-Avoiding Permutation Classes
A set of permutations is called sign-balanced if the set contains the same number of even permutations as odd permutations. Let $S_n(σ_1, σ_2, \ldots, σ_r)$ be the set of permutations in the symmetric group $S_n$ which avoids patterns $σ_1, σ_2, \ldots, σ_r$. The aim of this paper is to investigate when, for certain patterns $σ_1, σ_2, \ldots, σ_r$, $S_n(σ_1, σ_2, \ldots, σ_r)$ is sign-balanced for every integer $n>1$. We prove that for any $\{σ_1, σ_2, \ldots, σ_r\}\subseteq S_3$, if $\{σ_1, σ_2, \ldots, σ_r\}$ is sign-balanced except $\{132, 213, 231, 312\}$, then $S_n(σ_1, σ_2, \ldots, σ_r)$ is sign-balanced for every integer $n>1$. In addition, we give some results in the case of avoiding some patterns of length $4$.
Lineup polytopes of product of simplices
Published
• View Publication
• BIB
Consider a real point configuration $\mathbf{A}$ of size $n$ and an integer $r \leq n$. The vertices of the $r$-lineup polytope of $\mathbf{A}$ correspond to the possible orderings of the top $r$ points of the configuration obtained by maximizing a linear functional. The motivation behind the study of lineup polytopes comes from the representability problem in quantum chemistry. In that context, the relevant point configurations are the vertices of hypersimplices and the integer points contained in an inflated regular simplex. The central problem consists in providing an inequality representation of lineup polytopes as efficiently as possible. In this article, we adapt the developed techniques to the quantum information theory setup. The appropriate point configurations become the vertices of products of simplices. A particular case is that of lineup polytopes of cubes, which form a type $B$ analog of hypersimplices, where the symmetric group of type~$A$ naturally acts. To obtain the inequalities, we center our attention on the combinatorics and the symmetry of products of simplices to obtain an algorithmic solution. Along the way, we establish relationships between lineup polytopes of products of simplices with the Gale order, standard Young tableaux, and the Resonance arrangement.
Ramanujan sums and rectangular power sums
Published in J. Pure and Applied Algebra 2023
• View Publication
• BIB
For a fixed nonnegative integer $u$ and positive integer $n$, we investigate the symmetric function \[\sum_{d|n} \left(c_d(\tfrac{n}{d})\right)^u p_d^{\tfrac{n}{d}},\]
where $p_n$ denotes the $n$th power sum symmetric function, and $c_d(r)$ is a Ramanujan sum, equal to the sum of the $r$th powers of all the primitive $d$th roots of unity. We establish the Schur positivity of these functions for $u=0$ and $u=1$, showing that, in each case, the associated representation of the symmetric group $\mathfrak{S}_n$ decomposes into a sum of Foulkes representations, that is, representations induced from the irreducibles of the cyclic subgroup generated by the long cycle. We also conjecture Schur positivity for the case $u= 2$.
Binomial Cayley Graphs and Applications to Dynamics on Finite Spaces
Published
• View Publication
• BIB
Binomial Cayley graphs are obtained by considering the binomial coefficient of the weight function of a given Cayley graph and a natural number. We introduce these objects and study two families: one associated with symmetric groups and the other with powers of cyclic groups. We determine various combinatorial properties of these graphs through the spectral analysis of their adjacency matrices. In the case of symmetric groups, we establish a relation between the multiplicity of the null eigenvalue and longest increasing sub-sequences of permutations by means of the RSK correspondence. Finally, we consider dynamical arrangements of finitely many elements in finite spaces, which we refer to as particle-box systems. We apply the results obtained on binomial Cayley graphs in order to describe their degeneracy.
Major index on involutions
We find the range of the major index on the various conjugacy classes of involutions in the symmetric group $S_n$. In addition to indicating the minimum and the maximum values, we show that except for the case of involutions without fixed points, all the values in the range are attained. For the conjugacy classes of involutions without fixed points, we show that the only missing values are one more than the minimum and one less than the maximum.
From Young's Lattice to Coinvariants
Inspired by Vershik and Okounkov's inductive and Lie-theoretic approach to the representation theory of the symmetric group, we extend their point of view to reducible $S_n$-modules. Using induced representations along Young's lattice, we define an orthonormal weight basis for the regular representation of $S_n$ and use its rigidity to exhibit dualities between the left and right actions of $S_n$ and between restriction and induction of representations. We also show our weight basis is equivalent to the basis of matrix units corresponding to Young's seminormal form. We then realize $\mathbb{C}[S_n]$ in a subspace of the polynomial ring $R[z_1, \ldots , z_n]$. The induced weight decomposition allows us to map this subspace of polynomials to the ring of coinvariants, similar to the work of Ariki, Terasoma, and Yamada on higher Specht polynomials but perhaps a bit more intrinsic as we work in terms of an orthonormal basis. Our construction makes explicit the connection between the charge statistic on standard tableaux (which corresponds to degree in the coinvariant ring) and the action of adjacent transpositions on weight vectors in the seminormal representation of $S_n$. It also exposes the inductive structure of $S_n$ hidden in the coinvariant ring. All our constructions are elementary, and we are curious about their geometric meaning.
($\mathfrak{S}_p \times \mathfrak{S}_q$)-Invariant Graphical Parking Functions
Published
• View Publication
• BIB
Graphical parking functions, or $G$-parking functions, are a generalization of classical parking functions which depend on a connected multigraph $G$ having a distinguished root vertex. Gaydarov and Hopkins characterized the relationship between $G$-parking functions and another vector-dependent generalization of parking functions, the $\boldsymbol{u}$-parking functions. The crucial component of their result was their classification of all graphs $G$ whose $G$-parking functions are invariant under action by the symmetric group $\mathfrak{S}_n$, where $n+1$ is the order of $G$. In this work, we present a 2-dimensional analogue of Gaydarov and Hopkins' results by characterizing the overlap between $G$-parking functions and 2-dimensional $\boldsymbol{U}$-parking functions, i.e., pairs of integer sequences whose order statistics are bounded by certain weights along lattice paths in the plane. Our key result is a total classification of all $G$ whose set of $G$-parking functions is $(\mathfrak{S}_p \times \mathfrak{S}_q)$-invariant, where $p+q+1$ is the order of $G$.
Complexity and asymptotics of structure constants
Published
• View Publication
• BIB
Kostka, Littlewood-Richardson, Kronecker, and plethysm coefficients are fundamental quantities in algebraic combinatorics, yet many natural questions about them stay unanswered for more than 80 years. Kronecker and plethysm coefficients lack ``nice formulas'', a notion that can be formalized using computational complexity theory. Beyond formulas and combinatorial interpretations, we can attempt to understand their asymptotic behavior in various regimes, and inequalities they could satisfy. Understanding these quantities has applications beyond combinatorics. On the one hand, the asymptotics of structure constants is closely related to understanding the [limit] behavior of vertex and tiling models in statistical mechanics. More recently, these structure constants have been involved in establishing computational complexity lower bounds and separation of complexity classes like VP vs VNP, the algebraic analogs of P vs NP in arithmetic complexity theory. Here we discuss the outstanding problems related to asymptotics, positivity, and complexity of structure constants focusing mostly on the Kronecker coefficients of the symmetric group and, less so, on the plethysm coefficients.
This expository paper is based on the talk presented at the Open Problems in Algebraic Combinatorics coneference in May 2022.
All Kronecker coefficients are reduced Kronecker coefficients
Published in Forum of Mathematics, Pi 12 (2024) e22
• View Publication
• BIB
We settle the question of where exactly the reduced Kronecker coefficients lie on the spectrum between the Littlewood-Richardson and Kronecker coefficients by showing that every Kronecker coefficient of the symmetric group is equal to a reduced Kronecker coefficient by an explicit construction. This implies the equivalence of a question by Stanley from 2000 and a question by Kirillov from 2004 about combinatorial interpretations of these two families of coefficients. Moreover, as a corollary, we deduce that deciding the positivity of reduced Kronecker coefficients is $NP$-hard, and computing them is $\#P$-hard under parsimonious many-one reductions.
Integral Cayley graphs of symmetric groups on transpositions
Published
• View Publication
• BIB
We study subsets $T$ consisting of some transpositions $(i,j)$ of the symmetric group $S_n$ on $\{1,\dots,n\}$ such that the Cayley graph $Γ_T:=Cay(S_n,T)$ is an integral graph, i.e., all eigenvalues of an adjacency matrix of $Γ_T$ are integers. Graph properties of $Γ_T$ are determined in terms of ones of the graph $G_T$ whose vertex set is $\{1,\dots,n\}$ and $\{i,j\}$ is an edge if and only if $(i,j)\in T$. Here we prove that if $G_T$ is a tree then $Γ_T$ is integral if and only if $T$ is isomorphic to the star graph $K_{1,n-1}$, answering Problem 5 of [Electron. J. Comnin., 29(2) (2022) \# P2.9]. Problem 6 of the latter article asks to find necessary and sufficient conditions on $T$ for integralness of $Cay(S_n,T)$ without any further assumption on $T$. We show that if $G_T$ is a graph which we call it a ``generalized complete multipartite graph" then $Cay(S_n,T)$ is integral. We conjecture that $Cay(S_n,T)$ is integral only if $G_T$ is a generalized complete multipartitie graph. To support the latter conjecture we show its validity whenever $G_T$ is some classes of graphs including cycles and cubic graphs.
An Algorithm for Computing with Brauer's Group Equivariant Neural Network Layers
The learnable, linear neural network layers between tensor power spaces of $\mathbb{R}^{n}$ that are equivariant to the orthogonal group, $O(n)$, the special orthogonal group, $SO(n)$, and the symplectic group, $Sp(n)$, were characterised in arXiv:2212.08630. We present an algorithm for multiplying a vector by any weight matrix for each of these groups, using category theoretic constructions to implement the procedure. We achieve a significant reduction in computational cost compared with a naive implementation by making use of Kronecker product matrices to perform the multiplication. We show that our approach extends to the symmetric group, $S_n$, recovering the algorithm of arXiv:2303.06208 in the process.
On algebras of double cosets of symmetric groups with respect to Young subgroups
Published in Math. Notes, 2023, Vol. 114, No. 4, pp. 583-592
• View Publication
• BIB
We consider the subalgebra $Δ$ in the group algebra of the symmetric group $G=S_{n_1+\dots+n_ν}$ consisting of all functions invariant with respect to left and right shifts by elements of the Young subgroup $H:=S_{n_1}\times \dots \times S_{n_ν}$. We discuss structure constants of the algebra $Δ$ and construct an algebra with continuous parameters $n_1$ extrapolating algebras $Δ$, it can be also can be rewritten as an asymptotic algebra as $n_j\to\infty$ (for fixed $ν$). We show that there is a natural map from the Lie algebra of the group of pure braids to $Δ$ (and therefore this Lie algebra acts in spaces of multiplicities of the quasiregular representation of the group $G$ in functions on $G/H$).
The $S_k$ shuffle block dynamics
Published
• View Publication
• BIB
We introduce and analyze the $S_k$ shuffle on $N$ cards, a natural generalization of the celebrated random adjacent transposition shuffle. In the $S_k$ shuffle, we choose uniformly at random a block of $k$ consecutive cards, and shuffle these cards according to a permutation chosen uniformly at random from the symmetric group on $k$ elements. We study the total-variation mixing time of the $S_k$ shuffle when the number of cards $N$ goes to infinity, allowing also $k=k(N)$ to grow with $N$. In particular, we show that the cutoff phenomenon occurs when $k=o(N^{\frac{1}{6}})$.
The generalized $4$-connectivity of bubble-sort graphs
Published
• View Publication
• BIB
For $S\subseteq V(G)$ with $|S|\ge 2$, let $κ_G (S)$ denote the maximum number of internally disjoint trees connecting $S$ in $G$. For $2\le k\le n$, the generalized $k$-connectivity $κ_k(G)$ of an $n$-vertex connected graph $G$ is defined to be $κ_k(G)=\min \{κ_G(S): S\in V(G) \mbox{ and } |S|=k\}$. The generalized $k$-connectivity can serve for measuring the fault tolerance of an interconnection network. The bubble-sort graph $B_n$ for $n\ge 2$ is a Cayley graph over the symmetric group of permutations on $[n]$ generated by transpositions from the set $\{[1,2],[2,3],\dots, [n-1,n]\}$. In this paper, we show that for the bubble-sort graphs $B_n$ with $n\ge 3$, $κ_4(B_n)=n-2$.
On the minimal power of $q$ in a Kazhdan-Lusztig polynomial
Published in Advances in Mathematics, Volume 457, November 2024
• View Publication
• BIB
For $w$ in the symmetric group, we provide an exact formula for the smallest positive power $q^{h(w)}$ appearing in the Kazhdan-Lusztig polynomial $P_{e,w}(q)$. We also provide a tight upper bound on $h(w)$ in simply-laced types, resolving a conjecture of Billey-Postnikov from 2002.
$τ$-exceptional sequences and the shard intersection order in type A
Published
• View Publication
• BIB
Reading's "shard intersection order" on the symmetric group can be realized as the "lattice of wide subcategories" of the corresponding preprojective algebra. In this paper, we first use Bancroft's combinatorial model for the shard intersection order to associate a unique shard to each downward cover relation. We then show that, under the correspondence with wide subcategories, this process coincides with Jasso's "$τ$-tilting reduction". In particular, this yields a combinatorial model for this algebras's $τ$-exceptional sequences" (defined by Buan and Marsh). We formulate this model using the combinatorics of arc diagrams. Finally, we use our model to give a new representation-theoretic proof that the shard intersection order is EL-shellable in type A.
Generalized regular representations of big wreath products
Published
• View Publication
• BIB
Let $G$ be a finite group with $k$ conjugacy classes, and $S(\infty)$ be the infinite symmetric group, i.e. the group of finite permutations of $\left\{1,2,3,\ldots\right\}$. Then the wreath product $G_{\infty}=G\sim S(\infty)$ of $G$ with $S(\infty)$ (called the big wreath product) can be defined. The group $G_{\infty}$ is a generalization of the infinite symmetric group, and it is an example of a ``big'' group, in Vershik's terminology. For such groups the two-sided regular representations are irreducible, the conventional scheme of harmonic analysis is not applicable, and the problem of harmonic analysis is a nontrivial problem with connections to different areas of mathematics and mathematical physics.
Harmonic analysis on the infinite symmetric group was developed in the works by Kerov, Olshanski, and Vershik, and Borodin and Olshanski. The goal of this paper is to extend this theory to the case of $G_{\infty}$. In particular, we construct an analogue $\mathfrak{S}_{G}$ of the space of virtual permutations. We then formulate and prove a theorem characterizing all central probability measures on $\mathfrak{S}_{G}$, and introduce generalized regular representations $T_{z_1,\ldots,z_k}$ of the big wreath product $G_{\infty}$. The paper solves a natural problem of harmonic analysis for the big wreath products: our results describe the decomposition of $T_{z_1,\ldots,z_k}$ into irreducible components.