arXiv++ Combinatorics

We consider the $SO(d)$ and $O(d)$ invariant sectors of the bosonic $d$-matrix harmonic oscillator with $U(N)$ gauge symmetry. The micro-canonical degeneracy $\mathcal{Z}( N , d , k )$ for fixed energy $k$ is expressed as a pairing between an $N$-dependent vector and a $d$-dependent vector in the space of partitions of the integer $k$. This pairing formula is derived by counting invariant words in multi-matrix variables $X^i_{j,a}$, using properties of Clebsch-Gordan multiplicities (Kronecker coefficients) for the symmetric group $S_k$, Schur-Weyl duality and harmonic analysis on the homogeneous space $U(d)/SO(d)$. Analytic formulae for large $N$ and $k$ with $ k \le N $ are obtained using group integrals over $U(N)$ and $SO(d)$ (or $ O(d)$). The micro-canonical heat capacity in this regime is negative and turns positive, at a critical value $k_{\rm crit}$, due to finite $N$ modifications to the counting, thus forming what we denote as a characteristic caloric fold in the $ E $ versus $T$ curve. Data from the pairing formula is well fitted by $k_{\rm crit} \sim { N^2 \over 4 }$ for small values of $d$. A derivation of this large $N$ formula is given using a matrix model approximation and semi-classical analysis of the eigenvalue density. The large $N,d$ limit of the degeneracies reveals a key role for ribbon graph combinatorics. The caloric fold is also notably a property of black hole thermodynamics in anti-de-Sitter spaces. We propose the spherically symmetric \(SO(d)\) and \(O(d)\) invariant sectors of \(d\)-matrix quantum mechanics as tractable matrix systems for capturing key features of dual descriptions of black-hole thermodynamics.

In this paper, we study the Littlewood theory associated with the quantum super immanants and supersymmetric polynomials, including both the super case and the quantum generalization. In the setting of quantum super Schur-Weyl duality between the quantum superalgebra $U_q(\mathfrak{gl}_{m|n})$ and the Iwahori-Hecke algebra $\mathcal{H}_r$ of type A, we explicitly construct basis vectors of the $(U_q(\mathfrak{gl}_{m|n}), \mathcal{H}_r)$-bimodule on the tensor product space $(\mathbb{C}^{m|n})^{\otimes r}$. Using this construction, we interpret the quantum super immanants via weight spaces of covariant tensor representations of $U_q(\mathfrak{gl}_{m|n})$.

In this paper, we introduce the notion of super-immanants for supermatrices over a supercommutative algebra. Using the super Schur-Weyl duality we show that the super immanants play a significant role in covariant tensor representations of the general linear Lie superalgebra. Among various things, we obtain a supertrace formula for super-immanants, which generalizes Kostant's trace formula to the super setting. Furthermore, we show that the Littlewood correspondences between super-immanants and supersymmetric polynomials establish an isomorphism between their corresponding algebras.

We first introduce a new presentation for the mirabolic Hecke algebra $\mathscr{H}_{n,R}(q)$ over an arbitrary commutative ring $R$ and derive a new basis. Based on this presentation, specializing to the case of $\mathscr{H}_n(q)$ over the field $\mathbb{C}(q)$, we construct a basis for the cocenter of $\mathscr{H}_n(q)$, which facilitates the definition of its character table. We further establish a Schur--Weyl duality between $\mathscr{H}_n(q)$ and the quantum group $U_q(\mathfrak{gl}_r)$. As an application, we obtain Frobenius character formulas for the irreducible characters of $\mathscr{H}_n(q)$ within the ring of symmetric functions. Finally, we derive a recursive Murnaghan--Nakayama rule for the computation of the character table.

With an eye to applications to type A and Schur-Weyl duality, we study Kazhdan-Lusztig bases for a general parabolic Hecke algebra. Parabolic Hecke algebras are idempotent subalgebras of Hecke algebras corresponding to parabolic subgroups, and for type A they coincide with the fused Hecke algebras appearing in a generalisation of the Schur-Weyl duality with the quantum group of GL(N). In this paper we investigate two different Kazhdan-Lusztig bases for parabolic Hecke algebras, together with the associated cells and the corresponding representations. We quickly specialise to type A, for which we describe the cells in terms of the RSK correspondence generalising thus the well-known description for the symmetric group. As a first application we recover the classification of irreducible representations of parabolic Hecke algebras of type A and provide a new construction of these representations. Next we turn to the Schur-Weyl duality and describe the kernel in terms of one the basis studied precedently. Moreover, we formulate some conjectures about a generator of these kernels in terms of Kazhdan-Lusztig basis elements, give some evidence and prove these conjectures in some special cases.

In the 1940s Littlewood formulated three fundamental correspondences for the immanants and Schur symmetric functions on the general linear group, which establish deep connections between representation theory of the symmetric group and the general linear group parallel to the Schur-Weyl duality. In this paper, we introduce the notion of quantum immanants in the quantum coordinate algebra using primitive idempotents of the Hecke algebra. By employing $R$-matrix techniques, we establish the quantum analog of Littlewood correspondences between quantum immanants and Schur functions for the quantum coordinate algebra. In the setting of the Schur-Weyl-Jimbo duality, we construct an exact correspondence between the Gelfand-Tsetlin bases of the irreducible representations of the quantum enveloping algebra $U_q(\mathfrak{gl}(n))$ and Young's orthonormal basis of an irreducible representation of the Hecke algebra $\mathcal H_m$. This isomorphism leads to our trace formula for the quantum immanants, which settled the generalization problem of $q$-analog of Kostant's formular for $λ$-immanants. As applications, we also derive general $q$-Littlewood-Merris-Watkins identities and $q$-Goulden-Jackson identities as special cases of the quantum Littlewood correspondence III.

There is a classical connection between the representation theory of the symmetric group and the general linear group called Schur-Weyl duality. Variations on this principle yield analogous connections between the symmetric group and other objects such as the partition algebra and more recently the multiset partition algebra. The partition algebra has a well-known basis indexed by graph-theoretic diagrams which allows the multiplication in the algebra to be understood visually as combinations of these diagrams. We construct an analogous basis for the multiset partition algebra called the diagram-like basis and use this basis to construct its irreducible representations and give a generating set. We also provide a change-of-basis from the orbit basis of the multiset partition algebra to this diagram-like basis which exhibits similarities to the analogous change of basis for the partition algebra.

We interpret a formula established by Lapid-Mínguez on real regular representations of ${\rm GL}_n$ over a local non-archimedean field as a matrix determinant. We use the Lewis Carroll determinant identity to prove new relations between real regular representations. Through quantum affine Schur-Weyl duality, these relations generalize Mukhin-Young's Extended $T$-systems, for representations of the quantum affine algebra $U_q(\widehat{\mathfrak{sl}}_k)$, which are themselves generalizations of the celebrated $T$-system relations.

Permutation equivariant neural networks are often constructed using tensor powers of $\mathbb{R}^{n}$ as their layer spaces. We show that all of the weight matrices that appear in these neural networks can be obtained from Schur-Weyl duality between the symmetric group and the partition algebra. In particular, we adapt Schur-Weyl duality to derive a simple, diagrammatic method for calculating the weight matrices themselves.

We take inspiration from the Okounkov-Vershik approach to the representation theory of the symmetric groups to develop a new way of understanding how the Schur-Weyl duality can be used to perform the Quantum Schur Transform. The Quantum Schur Transform is a unitary change of basis transformation between the computational basis of $(\mathbb{C}^d)^{\otimes n}$ and the Schur-Weyl basis of $(\mathbb{C}^d)^{\otimes n}$. We describe a new multigraph, which we call the Schur-Weyl-Young graph, that represents both standard Weyl tableaux and standard Young tableaux in the same diagram. We suggest a major improvement on Louck's formula for calculating the transition amplitudes between two standard Weyl tableaux appearing in adjacent levels of the Schur-Weyl-Young graph for the case $d=2$, merely by looking at the entries in the two tableaux. The key theoretical component that underpins our results is the discovery of a branching rule for the Schur-Weyl states, which we call the Schur-Weyl branching rule. This branching rule allows us to perform the change of basis transformation described above in a straightforward manner for any $n$ and $d$.

We consider an "orientifold" generalization of Khovanov-Lauda-Rouquier algebras, depending on a quiver with an involution and a framing. Their representation theory is related, via a Schur-Weyl duality type functor, to Kac-Moody quantum symmetric pairs, and, via a categorification theorem, to highest weight modules over an algebra introduced by Enomoto and Kashiwara. Our first main result is a new shuffle realization of these highest weight modules and a combinatorial construction of their PBW and canonical bases in terms of Lyndon words. Our second main result is a classification of irreducible representations of orientifold KLR algebras and a computation of their global dimension in the case when the framing is trivial.

We prove that the permutations of $\{1,\dots, n\}$ having an increasing (resp., decreasing) subsequence of length $n-r$ index a subset of the set of all $r$th Kronecker powers of $n \times n$ permutation matrices which is a basis for the linear span of that set. Thanks to a known Schur--Weyl duality, this gives a new basis for the centralizer algebra of the partition algebra acting on the $r$th tensor power of a vector space. We give some related results on the set of doubly stochastic matrices in that algebra.

Computing the distribution of permanents of random matrices has been an outstanding open problem for several decades. In quantum computing, "anti-concentration" of this distribution is an unproven input for the proof of hardness of the task of boson-sampling. We study permanents of random i.i.d. complex Gaussian matrices, and more broadly, submatrices of random unitary matrices. Using a hybrid representation-theoretic and combinatorial approach, we prove strong lower bounds for all moments of the permanent distribution. We provide substantial evidence that our bounds are close to being tight and constitute accurate estimates for the moments. Let $U(d)^{k\times k}$ be the distribution of $k\times k$ submatrices of $d\times d$ random unitary matrices, and $G^{k\times k}$ be the distribution of $k\times k$ complex Gaussian matrices. (1) Using the Schur-Weyl duality (or the Howe duality), we prove an expansion formula for the $2t$-th moment of $|Perm(M)|$ when $M$ is drawn from $U(d)^{k\times k}$ or $G^{k\times k}$. (2) We prove a surprising size-moment duality: the $2t$-th moment of the permanent of random $k\times k$ matrices is equal to the $2k$-th moment of the permanent of $t\times t$ matrices. (3) We design an algorithm to exactly compute high moments of the permanent of small matrices. (4) We prove lower bounds for arbitrary moments of permanents of matrices drawn from $G^{ k\times k}$ or $U(k)$, and conjecture that our lower bounds are close to saturation up to a small multiplicative error. (5) Assuming our conjectures, we use the large deviation theory to compute the tail of the distribution of log-permanent of Gaussian matrices for the first time. (6) We argue that it is unlikely that the permanent distribution can be uniquely determined from the integer moments and one may need to supplement the moment calculations with extra assumptions to prove the anti-concentration conjecture.

Our main goal is to compute the decomposition of arbitrary Kronecker powers of the Harmonics of $S_n$. To do this, we give a new way of decomposing the character for the action of $S_n$ on polynomial rings with $k$ sets of $n$ variables. There are two aspects to this decomposition. The first is algebraic, in which formulas can be given for certain restrictions from $GL_n$ to $S_n$ occurring in Schur-Weyl duality. The second is combinatorial. We give a generalization of the $comaj$ statistic on permutations which includes the $comaj$ statistic on standard tableaux. This statistic allows us to write a generalized principal evaluation for Schur functions and Gessel Fundamental quasisymmetric functions.

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.

The two boundary Temperley-Lieb algebra $TL_k$ arises in the transfer matrix formulation of lattice models in Statistical Mechanics, in particular in the introduction of integrable boundary terms to the six-vertex model. In this paper, we classify and study the calibrated representations---those for which all the Murphy elements (integrals) are simultaneously diagonalizable---which, in turn, corresponds to diagonalizing the transfer matrix in the associated model. Our approach is founded upon the realization of $TL_k$ as a quotient of the type $C_k$ affine Hecke algebra $H_k$. In previous work, we studied this Hecke algebra via its presentation by braid diagrams, tensor space operators, and related combinatorial constructions. That work is directly applied herein to give a combinatorial classification and construction of all irreducible calibrated $TL_k$-modules and explain how these modules also arise from a Schur-Weyl duality with the quantum group $U_q\mathfrak{gl}_2$.

We identify the dimension of the centralizer of the symmetric group $\mathfrak{S}_d$ in the partition algebra $\mathcal{A}_d(δ)$ and in the Brauer algebra $\mathcal{B}_d(δ)$ with the number of multidigraphs with $d$ arrows and the number of disjoint union of directed cycles with $d$ arrows, respectively. Using Schur-Weyl duality as a fundamental theory, we conclude that each centralizer is related with the $G$-invariant space $P^d(M_n(\mathbf{k}))^G$ of degree $d$ homogeneous polynomials on $n \times n$ matrices, where $G$ is the orthogonal group and the group of permutation matrices, respectively. Our approach gives a uniform way to show that the dimensions of $P^d(M_n(\mathbf{k}))^G$ are stable for sufficiently large $n$.

In $\mathcal{N}=4$ SYM with $U(N)$ gauge symmetry, the multiplicity of half-BPS states with fixed dimension can be labelled by Young diagrams and can be distinguished using conserved charges corresponding to Casimirs of $U(N)$. The information theoretic study of LLM geometries and superstars in the dual $AdS_5 \times S^5$ background has raised a number of questions about the distinguishability of Young diagrams when a finite set of Casimirs are known. Using Schur-Weyl duality relations between unitary groups and symmetric groups, these questions translate into structural questions about the centres of symmetric group algebras. We obtain analytic and computational results about these structural properties and related Shannon entropies, and generate associated number sequences. A characterization of Young diagrams in terms of content distribution functions relates these number sequences to diophantine equations. These content distribution functions can be visualized as connected, segmented, open strings in content space.

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.

We investigate a subalgebra of the Temperley-Lieb algebra called the Jones-Wenzl algebra, which is obtained by action of certain Jones-Wenzl projectors. This algebra arises naturally in applications to conformal field theory and statistical physics. It is also the commutant (centralizer) algebra of the Hopf algebra $U_q(\mathfrak{sl}_2)$ on its type-one modules - this fact is a generalization of the $q$-Schur-Weyl duality of Jimbo. In this article, we find two minimal generating sets for the Jones-Wenzl algebra. In special cases, we also find all of the independent relations satisfied by these generators.