arXiv++ Combinatorics

The Minor problem, namely the study of the spectrum of a principal submatrix of a Hermitian matrix taken at random on its orbit under conjugation, is revisited, with emphasis on the use of orbital integrals and on the connection with branching coefficients in the decomposition of an irreducible representation of U(n), resp. SU(n), into irreps of U(n-1), resp. SU(n-1).

We give a crystal structure on the set of Gelfand-Tsetlin patterns which parametrize bases for finite-dimensional irreducible representations of the general linear Lie algebra. The crystal data are given in closed form, expressed using tropical polynomial functions of the entries of the patterns. We prove that with this crystal structure, the natural bijection between Gelfand-Tsetlin patterns and semistandard Young tableaux is a crystal isomorphism.

We study when a tensor product of irreducible representations of the symmetric group $S_n$ contains all irreducibles as subrepresentations; we say such a tensor product covers $\mathsf{Irrep}(S_n)$. Our results show that this behavior is typical. We first give a general sufficient criterion for tensor products to have this property, which holds asymptotically almost surely for constant-sized collections of (Plancherel or uniformly) random irreducibles. We also consider the minimal tensor power of a single fixed irreducible representation needed to cover $\mathsf{Irrep}(S_n)$. Here a simple lower bound comes from considering dimensions, and we show it is always tight up to a universal constant factor as was recently conjectured by Liebeck, Shalev, and Tiep.

We construct the polynomial induction functor, which is the right adjoint to the restriction functor from the category of polynomial representations of a general linear group to the category of representations of its Weyl group. This construction leads to a representation-theoretic proof of Littlewood's plethystic formula for the multiplicity of an irreducible representation of the symmetric group in such a restriction. The unimodality of certain bipartite partition functions follows.

We describe an algorithm which pattern embeds, in the sense of Woo-Yong, any Bruhat interval of a symmetric group into an interval whose extremes lie in the same right Kazhdan-Lusztig cell. This apparently harmless fact has applications in finding examples of reducible associated varieties of $\mathfrak{sl}_n$-highest weight modules, as well as in the study of $W$-graphs for symmetric groups, and in comparing various bases of irreducible representations of the symmetric group or its Hecke algebra. For example, we are able to systematically produce many negative answers to a question from the 1980s of Borho-Brylinski and Joseph, which had been settled by Williamson via computer calculations only in 2014.

For any finite group G it is an interesting question to ask which ordinary irreducible representations of G remain irreducible in a given characteristic p. We answer this question for p=2 when G is the proper double cover of the alternating group. As a key ingredient in the proof, we prove a formula for the decomposition numbers in Rouquier blocks of double covers of symmetric groups, in terms of Schur P-functions.

It is shown that if $λ$ is a multiple of a fundamental weight of $\mathfrak{sl}_k$, the lower global basis of the irreducible $U_q(\mathfrak{sl}_k)$-representation $V^λ$ with highest weight $λ$ comprises the disjoint union of the lower global bases of the irreducible $U_q(\mathfrak{sl}_{k-1})$-representations appearing in the decomposition of the restriction of $V^λ$ to $U_q(\mathfrak{sl}_{k-1})$. Rhoades's description of the action of the long cycle on the dual canonical basis of $V^λ$ is then deduced from Berenstein--Zelevinsky's description of the action of the long element. This yields a short proof of Rhoades's result on tableaux fixed under promotion which directly relates it to Stembridge's result on tableaux fixed under evacuation.

The set $X$ of $k$-subsets of an $n$-set has a natural graph structure where two $k$-subsets are connected if and only if the size of their intersection is $k-1$. This is known as the Johnson graph. The symmetric group $S_n$ acts on the space of complex functions on $X$ and this space has a multiplicity-free decomposition as sum of irreducible representations of $S_n$, so it has a well-defined Gelfand-Tsetlin basis up to scalars. The Fourier transform on the Johnson graph is defined as the change of basis matrix from the delta function basis to the Gelfand-Tsetlin basis. The direct application of this matrix to a generic vector requires $\binom{n}{k}^2$ arithmetic operations. We show that this matrix can be factorized as a product of $n-1$ orthogonal matrices, each one with at most two nonzero elements in each column. The factorization is based on the construction of $n-1$ intermediate bases which are parametrized via the Robinson-Schensted insertion algorithm. This factorization shows that the number of arithmetic operations required to apply this matrix to a generic vector is bounded above by $2(n-1) \binom{n}{k}$. We show that each one of these sparse matrices can be constructed using $O(\binom{n}{k})$ arithmetic operations. Our construction does not depend on numerical methods. Instead, they are obtained by solving small linear systems with integer coefficients derived from the Jucys-Murphy operators. Then both the construction and the succesive application of all these $n-1$ matrices can be performed using $O(n \binom{n}{k})$ operations. As a consequence, we show that the problem of computing all the weights of the isotypic components of a given function can be solved in $O(n \binom{n}{k})$ operations, improving the previous bound $O(k^2 \binom{n}{k})$ when $k$ asymptotically dominates $\sqrt{n}$.

Let $G$ be a semisimple algebraic group over $\mathbb{C}$. For a reduced word $\bf i$ of the longest element in the Weyl group of $G$ and a dominant integral weight $λ$, one can construct the string polytope $Δ_{\bf i}(λ)$, whose lattice points encode the character of the irreducible representation $V_λ$. The string polytope $Δ_{\bf i}(λ)$ is singular in general and combinatorics of string polytopes heavily depends on the choice of $\mathbf i$. In this paper, we study combinatorics of string polytopes when $G = SL_{n+1}(\mathbb{C})$, and present a sufficient condition on $\mathbf i$ such that the toric variety $X_{Δ_{\mathbf i}(λ)}$ of the string polytope $Δ_{\mathbf i}(λ)$ has a small toric resolution. Indeed, when $\mathbf i$ has small indices and $λ$ is regular, we explicitly construct a small toric resolution of the toric variety $X_{Δ_{\bf i}(λ)}$ using a Bott manifold. Our main theorem implies that a toric variety of any string polytope admits a small toric resolution when $n < 4$. As a byproduct, we show that if $\mathbf i$ has small indices then $Δ_{\mathbf i}(λ)$ is integral for any dominant integral weight $λ$, which in particular implies that the anticanonical limit toric variety $X_{Δ_{\bf i}(λ_P)}$ of a partial flag variety $G/P$ is Gorenstein Fano. Furthermore, we apply our result to symplectic topology of the full flag manifold $G/B$ and obtain a formula of the disk potential of the Lagrangian torus fibration on $G/B$ obtained from a flat toric degeneration of $G/B$ to the toric variety $X_{Δ_{\bf i}(λ)}$.

In the 40s, Mayer introduced a construction of (simplicial) $p$-complex by using the unsigned boundary map and taking coefficients of chains modulo $p$. We look at such a $p$-complex associated to an $(n-1)$-simplex; in which case, this is also a $p$-complex of representations of the symmetric group of rank $n$ - specifically, of permutation modules associated to two-row compositions. In this article, we calculate the so-called slash homology - a homology theory introduced by Khovanov and Qi - of such a $p$-complex. We show that every non-trivial slash homology group appears as an irreducible representation associated to two-row partitions, and how this calculation leads to a basis of these irreducible representations given by the so-called $p$-standard tableaux.

For every irreducible complex representation~$π_λ$ of the symmetric group~$§_n$, we construct, in a canonical way, a so-called intrinsic hyperplane arrangement~$\A_λ$ in the space of~$π_λ$. This arrangement is a direct generalization of the classical braid arrangement (which is the special case of our construction corresponding to the natural representation of~$§_n$), has a natural description in terms of invariant subspaces of Young subgroups, and enjoys a number of remarkable properties.

We obtain an explicit crystal isomorphism between two realizations of crystal bases of finite dimensional irreducible representations of simple Lie algebras of type A and D. The first realization we consider is a geometric construction in terms of irreducible components of certain Nakajima quiver varieties established by Saito and the second is a realization in terms of isomorphism classes of quiver representations obtained by Reineke. We give a homological description of the irreducible components of Lusztig's quiver varieties which correspond to the crystal of a finite dimensional representation and describe the promotion operator in type A to obtain a geometric realization of Kirillov-Reshetikhin crystals.

In 1976, King defined certain tableaux model, called King tableaux in this paper, counting weight multiplicities of irreducible representation of the symplectic group $Sp(2m)$ for a given dominant weight. Since Kashiwara defined crystals, it is an open problem to provide a crystal structure on King tableaux. In this paper, we present crystal structures on King tableaux and semistandard oscillating tableaux. The semistandard oscillating tableaux naturally appear as $Q$-tableaux in the symplectic version of RSK algorithms. As an application, we discuss Littlewood-Richardson coefficients for $Sp(2m)$ in terms of semistandard oscillating tableaux.

We introduce Macdonald polynomials indexed by $n$-tuples of partitions and characterized by certain orthogonality and triangularity relations. We prove that they can be explicitly given as products of ordinary Macdonald polynomials depending on special alphabets. With this factorization in hand, we establish their most basic properties, such as explicit formulas for their norm-squared, evaluation and reproducing kernel. Moreover, we show that the $q,t$-Kostka coefficients associated to the multi-Macdonald polynomials are positive and correspond to $q,t$-analogs of the dimensions of the irreducible representations of $C_n \sim S_d$, the wreath product of the cyclic group $C_n$ with the symmetric group.

We study Wronskians of Hermite polynomials labelled by partitions and use the combinatorial concepts of cores and quotients to derive explicit expressions for their coefficients. These coefficients can be expressed in terms of the characters of irreducible representations of the symmetric group, and also in terms of hook lengths. Further, we derive the asymptotic behaviour of the Wronskian Hermite polynomials when the length of the core tends to infinity, while fixing the quotient. Via this combinatorial setting, we obtain in a natural way the generalization of the correspondence between Hermite and Laguerre polynomials to Wronskian Hermite polynomials and Wronskians involving Laguerre polynomials. Lastly, we generalize most of our results to polynomials that have zeros on the $p$-star.

The multiplicity of a weight in a finite-dimensional irreducible representation of a simple Lie algebra g can be computed via Kostant's weight multiplicity formula. This formula consists of an alternating sum over the Weyl group (a finite group) and involves a partition function known as Kostant's partition function. Motivated by the observation that, in practice, most terms in the sum are zero, our main results describe the elements of the Weyl alternation sets. The Weyl alternation sets are subsets of the Weyl group which contributes nontrivially to the multiplicity of a weight in a highest weight representation of the Lie algebras so_4(C), so_5(C), sp_4(C), and the exceptional Lie algebra g_2. By taking a geometric approach, we extend the work of Harris, Lescinsky, and Mabie on sl_3(C), to provide visualizations of these Weyl alternation sets for all pairs of integral weights λand μof the Lie algebras considered.

In this paper, we present a method to obtain regular (or equitable) partitions of Cayley (di)graphs (that is, graphs, digraphs, or mixed graphs) of permutation groups on $n$ letters. We prove that every partition of the number $n$ gives rise to a regular partition of the Cayley graph. By using representation theory, we also obtain the complete spectra and the eigenspaces of the corresponding quotient (di)graphs. More precisely, we provide a method to find all the eigenvalues and eigenvectors of such (di)graphs, based on their irreducible representations. As examples, we apply this method to the pancake graphs $P(n)$ and to a recent known family of mixed graphs $Γ(d,n,r)$ (having edges with and without direction). As a byproduct, the existence of perfect codes in $P(n)$ allows us to give a lower bound for the multiplicity of its eigenvalue $-1$.

We consider the distribution of the major index on standard tableaux of arbitrary straight shape and certain skew shapes. We use cumulants to classify all possible limit laws for any sequence of such shapes in terms of a simple auxiliary statistic, aft, generalizing earlier results of Canfield--Janson--Zeilberger, Chen--Wang--Wang, and others. These results can be interpreted as giving a very precise description of the distribution of irreducible representations in different degrees of coinvariant algebras of certain complex reflection groups. We conclude with some conjectures concerning unimodality, log-concavity, and local limit theorems.

We introduce the multiset partition algebra $\mathcal{MP}_k(ξ)$ over $F[ξ]$, where $F$ is a field of characteristic $0$ and $k$ is a positive integer. When $ξ$ is specialized to a positive integer $n$, we establish the Schur-Weyl duality between the actions of resulting algebra $\mathcal{MP}_k(n)$ and the symmetric group $S_n$ on $\text{Sym}^k(F^n)$. The construction of $\mathcal{MP}_k(ξ)$ generalizes to any vector $λ$ of non-negative integers yielding the algebra $\mathcal{MP}_λ(ξ)$ over $F[ξ]$ so that there is Schur-Weyl duality between the actions of $\mathcal{MP}_λ(n)$ and $S_n$ on $\text{Sym}^λ(F^n)$. We find the generating function for the multiplicity of each irreducible representation of $S_n$ in $\text{Sym}^λ(F^n)$, as $λ$ varies, in terms of a plethysm of Schur functions. As consequences we obtain an indexing set for the irreducible representations of $\mathcal{MP}_k(n)$, and the generating function for the multiplicity of an irreducible polynomial representation of $GL_n(F)$ when restricted to $S_n$. We show that $\mathcal{MP}_λ(ξ)$ embeds inside the partition algebra $\mathcal{P}_{|λ|}(ξ)$. Using this embedding, over $F$, we prove that $\mathcal{MP}_λ(ξ)$ is a cellular algebra, and $\mathcal{MP}_λ(ξ)$ is semisimple when $ξ$ is not an integer or $ξ$ is an integer such that $ξ\geq 2|λ|-1$. We give an insertion algorithm based on Robinson-Schensted-Knuth correspondence realizing the decomposition of $\mathcal{MP}_λ(n)$ as $\mathcal{MP}_λ(n)\times \mathcal{MP}_λ(n)$-module.

Gelfand-Tsetlin polytopes are prominent objects in algebraic combinatorics. The number of integer points of the Gelfand-Tsetlin polytope $\mathrm{GT}(λ)$ is equal to the dimension of the corresponding irreducible representation of $GL(n)$. It is well-known that the Gelfand-Tsetlin polytope is a marked order polytope; the authors have recently shown it to be a flow polytope. In this paper, we draw corollaries from this result and establish a general theory connecting marked order polytopes and flow polytopes.