representation ↗ reference
4053 papers tagged with this keyword
FFLV polytopes for odd symplectic Lie algebras
We consider "odd symplectic Lie algebras" defined in terms of maximal rank skew-symmetric forms. We provide FFLV polytopes for these algebras and prove their standard properties. In particular, we obtain a new graded character formula and PBW bases for an analogue of irreducible representations in terms of lattice points of FFLV polytopes.
Electrical Networks, Lagrangian Grassmannians and Symplectic Groups
Published
• View Publication
• BIB
We refine the result of T. Lam \cite{L} on embedding the space $E_n$ of electrical networks on a planar graph with $n$ boundary points into the totally non-negative Grassmannian $\mathrm{Gr}_{\geq 0}(n-1,2n)$ by proving first that the image lands in $\mathrm{Gr}(n-1,V)\subset \mathrm{Gr}(n-1,2n)$ where $V\subset \mathbb{R}^{2n}$ is a certain subspace of dimension $2n-2$. The role of this reduction in the dimension of the ambient space is crucial for us. We show next that the image lands in fact inside the Lagrangian Grassmannian $\mathrm{LG}(n-1,V)\subset \mathrm{Gr}(n-1,V)$. As it is well known $\mathrm{LG}(n-1)$ can be identified with $\mathrm{Gr}(n-1,2n-2)\cap \mathbb{P} L$ where $L\subset \bigwedge^{n-1}\mathbb R^{2n-2}$ is a subspace of dimension equal to the Catalan number $C_n$, moreover it is the space of the fundamental representation of the symplectic group $Sp(2n-2)$ which corresponds to the last vertex of the Dynkin diagram. We show further that the linear relations cutting the image of $E_n$ out of $\mathrm{Gr}(n-1,2n)$ found in \cite{L} define that space $L$. This connects the combinatorial description of $E_n$ discovered in \cite{L} and representation theory of the symplectic group.
Factorization of classical characters twisted by roots of unity
Published in Journal of Algebra, Volume 609 (2022), 437-483
• View Publication
• BIB
For a fixed integer $t \geq 2$, we consider the irreducible characters of representations of the classical groups of types A, B, C and D, namely $\text{GL}_{tn}, \text{SO}_{2tn+1}, \text{Sp}_{2tn}$ and $\text{O}_{2tn}$, evaluated at elements $ω^k x_i$ for $0 \leq k \leq t-1$ and $1 \leq i \leq n$, where $ω$ is a primitive $t$'th root of unity. The case of $\text{GL}_{tn}$ was considered by D. J. Littlewood (AMS press, 1950) and independently by D. Prasad (Israel J. Math., 2016). In this article, we give a uniform approach for all cases. In this article, we give a uniform approach for all cases. We also look at $\text{GL}_{tn+1}$ where we specialize the elements as before and set the last variable to $1$. In each case, we characterize partitions for which the character value is nonzero in terms of what we call $z$-asymmetric partitions, where $z$ is an integer which depends on the group. Moreover, if the character value is nonzero, we prove that it factorizes into characters of smaller classical groups. The proof uses Cauchy-type determinant formulas for these characters and involves a careful study of the beta sets of partitions. We also give product formulas for general $z$-asymmetric partitions and $z$-asymmetric $t$-cores. Lastly, we show that there are infinitely many $z$-asymmetric $t$-cores for $t \geq z+2$.
On Schützenberger modules of the cactus group
Published
• View Publication
• BIB
The cactus group acts on the set of standard Young tableau of a given shape by (partial) Schützenberger involutions. It is natural to extend this action to the corresponding Specht module by identifying standard Young tableau with the Kazhdan-Lusztig basis. We term these representations of the cactus group "Schützenberger modules", denoted $S^λ_{\mathsf{Sch}}$, and in this paper we investigate their decomposition into irreducible components. We prove that when $λ$ is a hook shape, the cactus group action on $S^λ_{\mathsf{Sch}}$ factors through $S_{n-1}$ and the resulting multiplicities are given by Kostka coefficients. Our proof relies on results of Berenstein and Kirillov and Chmutov, Glick, and Pylyavskyy.
Families of polytopes with rational linear precision in higher dimensions
Published in Foundations of Computational Mathematics, 2022
• View Publication
• BIB
In this article we introduce a new family of lattice polytopes with rational linear precision. For this purpose, we define a new class of discrete statistical models that we call multinomial staged tree models. We prove that these models have rational maximum likelihood estimators (MLE) and give a criterion for these models to be log-linear. Our main result is then obtained by applying Garcia-Puente and Sottile's theorem that establishes a correspondence between polytopes with rational linear precision and log-linear models with rational MLE. Throughout this article we also study the interplay between the primitive collections of the normal fan of a polytope with rational linear precision and the shape of the Horn matrix of its corresponding statistical model. Finally, we investigate lattice polytopes arising from toric multinomial staged tree models, in terms of the combinatorics of their tree representations.
Crystal Pop-Stack Sorting and Type A Crystal Lattices
Published
• View Publication
• BIB
Given a complex simple Lie algebra $\mathfrak g$ and a dominant weight $λ$, let $\mathcal B_λ$ be the crystal poset associated to the irreducible representation of $\mathfrak g$ with highest weight $λ$. In the first part of the article, we introduce the \emph{crystal pop-stack sorting operator} $\mathsf{Pop}_{\lozenge}\colon\mathcal B_λ\to\mathcal B_λ$, a noninvertible operator whose definition extends that of the pop-stack sorting map and the recently-introduced Coxeter pop-stack sorting operators. Every forward orbit of $\mathsf{Pop}_{\lozenge}$ contains the minimal element of $\mathcal B_λ$, which is fixed by $\mathsf{Pop}_{\lozenge}$. We prove that the maximum size of a forward orbit of $\mathsf{Pop}_{\lozenge}$ is the Coxeter number of the Weyl group of $\mathfrak g$. In the second part of the article, we characterize exactly when a type $A$ crystal is a lattice.
Binary Cyclotomic Polynomials: Representation via Words and Algorithms
Published in T. Lecroq and S. Puzynina (Eds.): WORDS 2021, LNCS 12847, pp. 65-77, 2021
• View Publication
• BIB
Cyclotomic polynomials are basic objects in Number Theory. Their properties depend on the number of distinct primes that intervene in the factorization of their order, and the binary case is thus the first nontrivial case. This paper sees the vector of coefficients of the polynomial as a word on a ternary alphabet $\{-1,0 ,+1\}$. It designs an efficient algorithm that computes a compact representation of this word. This algorithm is of linear time with respect to the size of the output, and, thus, optimal. This approach allows to recover known properties of coefficients of binary cyclotomic polynomials, and extends to the case of polynomials associated with numerical semi-groups of dimension 2.
Polytopes and Machine Learning
Published in International Journal of Data Science in the Mathematical Sciences Vol. 01, No. 02, pp. 181-211 (2023)
• View Publication
• BIB
We introduce machine learning methodology to the study of lattice polytopes. With supervised learning techniques, we predict standard properties such as volume, dual volume, reflexivity, etc, with accuracies up to 100%. We focus on 2d polygons and 3d polytopes with Plücker coordinates as input, which out-perform the usual vertex representation.
Set partitions, fermions, and skein relations
Published
• View Publication
• BIB
Let $Θ_n = (θ_1, \dots, θ_n)$ and $Ξ_n = (ξ_1, \dots, ξ_n)$ be two lists of $n$ variables and consider the diagonal action of $\mathfrak{S}_n$ on the exterior algebra $\wedge \{ Θ_n, Ξ_n \}$ generated by these variables. Jongwon Kim and the second author defined and studied the fermionic diagonal coinvariant ring $FDR_n$ obtained from $\wedge \{ Θ_n, Ξ_n \}$ by modding out by the $\mathfrak{S}_n$-invariants with vanishing constant term. On the other hand, the second author described an action of $\mathfrak{S}_n$ on the vector space with basis given by noncrossing set partitions of $\{1,\dots,n\}$ using a novel family of skein relations which resolve crossings in set partitions. We give an isomorphism between a natural Catalan-dimensional submodule of $FDR_n$ and the skein representation. To do this, we show that set partition skein relations arise naturally in the context of exterior algebras. Our approach yields an $\mathfrak{S}_n$-equivariant way to resolve crossings in set partitions. We use fermions to clarify, sharpen, and extend the theory of set partition crossing resolution.
The category of finite strings
Published
• View Publication
• BIB
We introduce the category of finite strings and study its basic properties. The category is closely related to the augmented simplex category, and it models categories of linear representations. Each lattice of non-crossing partitions arises naturally as a lattice of subobjects.
Tableau evacuation and webs
Published in Proc. Amer. Math. Soc. Ser. B 10 (2023) 341-352
• View Publication
• BIB
Webs are certain planar diagrams embedded in disks. They index and describe bases of tensor products of representations of $\mathfrak{sl}_2$ and $\mathfrak{sl}_3$. There are explicit bijections between webs and certain rectangular tableaux. Work of Petersen-Pylyavskyy-Rhoades (2009) and Russell (2013) shows that these bijections relate web rotation to tableau promotion. We describe the analogous relation between web reflection and tableau evacuation.
Multigraphs from crossword puzzle grid designs
Crossword puzzles lend themselves to mathematical inquiry. Several authors have already described the arrangement of crossword grids and associated combinatorics of answer numbers. In this paper, we present a new graph-theoretic representation of crossword puzzle grid designs and describe the mathematical conditions placed on these graphs by well-known crossword construction conventions.
On the Representation Number of Bipartite Graphs
Published
• View Publication
• BIB
A word-representable graph is a simple graph $G$ which can be represented by a word $w$ over the vertices of $G$ such that any two vertices are adjacent in $G$ if and only if they alternate in $w$. It is known that the class of comparability graphs -- the graphs which admit a transitive orientation -- is precisely the class of graphs that can be represented by a concatenation of permutations of vertices. The class of bipartite graphs is a subclass of comparability graphs. While it is an open problem to determine the representation number of comparability graphs, it was conjectured that the representation number of bipartite graphs on $n$ vertices is at most $n/4$. In this paper, we propose a polynomial time relabeling algorithm to produce a word representing a given bipartite graph which is a concatenation of permutations of the graph's vertices. Thus we obtain an upper bound for the representation number of bipartite graphs, which in turn gives us an upper bound for the dimension of the posets corresponding to bipartite graphs.
Homology representations of compactified configurations on graphs applied to $\mathcal{M}_{2,n}$
Published
• View Publication
• BIB
We obtain new calculations of the top weight rational cohomology of the moduli spaces $\mathcal{M}_{2,n}$, equivalently the rational homology of the tropical moduli spaces $Δ_{2,n}$, as a representation of $S_n$. These calculations are achieved fully for all $n\leq 10$, and partially -- for specific irreducible representations of $S_n$ -- for $n\le 22$. We also present conjectures, verified up to $n=22$, for the multiplicities of the irreducible representations $\mathrm{std}_n$ and $\mathrm{std}_n\otimes \mathrm{sgn}_n$.
We achieve our calculations via a comparison with the homology of compactified configuration spaces of graphs. These homology groups are equipped with commuting actions of a symmetric group and the outer automorphism group of a free group. In this paper, we construct an efficient free resolution for these homology representations, from which we extract calculations on irreducible representations one at a time, simplifying the calculation of these homology representations.
Shadows in the wild -- folded galleries and their applications
Published
• View Publication
• BIB
This survey is about combinatorial objects related to reflection groups and their applications in representation theory and arithmetic geometry. Coxeter groups and folded galleries in Coxeter complexes are introduced in detail and illustrated by examples. Further it is explained how they relate to retractions in Bruhat-Tits buildings and to the geometry of affine flag varieties and affine Grassmannians. The goal is to make these topics accessible to a wide audience.
GOE fluctuations for the maximum of the top path in alternating sign matrices
Published
• View Publication
• BIB
The six-vertex model is an important toy-model in statistical mechanics for two-dimensional ice with a natural parameter $Δ$. When $Δ= 0$, the so-called free-fermion point, the model is in natural correspondence with domino tilings of the Aztec diamond. Although this model is integrable for all $Δ$, there has been very little progress in understanding its statistics in the scaling limit for other values. In this work, we focus on the six-vertex model with domain wall boundary conditions at $Δ= 1/2$, where it corresponds to alternating sign matrices (ASMs). We consider the level lines in a height function representation of ASMs. We show that the maximum of the topmost level line for a uniformly random ASMs has the GOE Tracy--Widom distribution after appropriate rescaling. A key ingredient in our proof is Zeilberger's proof of the ASM conjecture. As far as we know, this is the first edge fluctuation result away from the tangency points for the domain-wall six-vertex model when we are not in the free fermion case.
An algorithm for Berenstein-Kazhdan decoration functions and trails for minuscule representations
Published
• View Publication
• BIB
For a simply connected connected simple algebraic group $G$, a cell $B_{w_0}^-=B^-\cap U\overline{w_0}U$ is a geometric crystal with a positive structure $θ_{\textbf{i}}^-:(\mathbb{C}^{\times})^{l(w_0)}\rightarrow B_{w_0}^-$. Applying the tropicalization functor to a rational function $Φ^h_{BK}=\sum_{i\in I}Δ_{w_0Λ_i,s_iΛ_i}$ called the half decoration on $B_{w_0}^-$, one can realize the crystal $B(\infty)$ in $\mathbb{Z}^{l(w_0)}$. By computing $Φ^h_{BK}$, we get an explicit form of $B(\infty)$ in $\mathbb{Z}^{l(w_0)}$. In this paper, we give an algorithm to compute $Δ_{w_0Λ_i,s_iΛ_i}\circ θ_{\textbf{i}}^-$ explicitly for $i\in I$ such that $V(Λ_i)$ is a minuscule representation of $\mathfrak{g}={\rm Lie}(G)$. In particular, the algorithm works for all $i\in I$ if $\mathfrak{g}$ is of type ${\rm A}_n$. The algorithm computes a directed graph $DG$, called a decoration graph, whose vertices are labelled by all monomials in $Δ_{w_0Λ_i,s_iΛ_i}\circ θ_{\textbf{i}}^-(t_1,\cdots,t_{l(w_0)})$. The decoration graph has some properties similar to crystal graphs of minuscule representations. We also verify that the algorithm works in some other cases, for example, the case $\mathfrak{g}$ is of type ${\rm G}_2$ though $V(Λ_i)$ is non-minuscule.
McKay trees
Published
• View Publication
• BIB
Given a finite group $G$ and its representation $ρ$, the corresponding McKay graph is a graph $Γ(G,ρ)$ whose vertices are the irreducible representations of $G$; the number of edges between two vertices $π,τ$ of $Γ(G,ρ)$ is $dim Hom_G(π\otimes ρ, τ) $. The collection of all McKay graphs for a given group $G$ encodes, in a sense, its character table. Such graphs were also used by McKay to provide a bijection between the finite subgroups of $SU(2)$ and the affine Dynkin diagrams of types $A, D, E$, the bijection given by considering the appropriate McKay graphs.
In this paper, we classify all (undirected) trees which are McKay graphs of finite groups and describe the corresponding pairs $(G,ρ)$; this classification turns out to be very concise.
Moreover, we give a partial classification of McKay graphs which are forests, and construct some non-trivial examples of such forests.
On certain identities involving Nahm-type sums with double poles
Published
• View Publication
• BIB
We prove certain Nahm-type sum representations for the (odd modulus) Andrews-Gordon identities, the (even modulus) Andrews-Bressoud identities, and Rogers' false theta functions. These identities are motivated on one hand by a recent work of C. Jennings-Shaffer and one of us on double pole series, and, on the other hand, by Córdova, Gaiotto and Shao's work on defect Schur's indices.
Entanglement Breaking Channels, Stochastic Matrices, and Primitivity
Published in Linear Algebra and its Applications (2021), pages = {219-231}, year = {2021}, issn = {0024-3795},
• View Publication
• BIB
We consider the important class of quantum operations (completely positive trace-preserving maps) called entanglement breaking channels. We show how every such channel induces stochastic matrix representations that have the same non-zero spectrum as the channel. We then use this to investigate when entanglement breaking channels are primitive, and prove this depends on primitivity of the matrix representations. This in turn leads to tight bounds on the primitivity index of entanglement breaking channels in terms of the primitivity index of the associated stochastic matrices. We also present examples and discuss open problems generated by the work.