representation ↗ reference
4053 papers tagged with this keyword
Mathematical Data Science
Can machine learning help discover new mathematical structures? In this article we discuss an approach to doing this which one can call "mathematical data science". In this paradigm, one studies mathematical objects collectively rather than individually, by creating datasets and doing machine learning experiments and interpretations. After an overview, we present two case studies: murmurations in number theory and loadings of partitions related to Kronecker coefficients in representation theory and combinatorics.
Multi-Symmetric Schur Functions
We study a multi-symmetric generalization of the classical Schur functions called the multi-symmetric Schur functions. These functions form an integral basis for the ring of multi-symmetric functions indexed by tuples of partitions and are defined as certain stable-limits of key polynomials. We prove combinatorial results about the monomial expansions of the multi-symmetric Schur functions including a diagrammatic combinatorial formula and a triangularity result which completely characterizes their monomial multi-symmetric supports. The triangularity result involves a non-trivial generalization of the dominance order on partitions to tuples of partitions. We prove, using the Demazure character formula, that the multi-symmetric Schur functions expand positively into the basis of tensor products of ordinary Schur functions and describe the expansion coefficients as multiplicities of certain irreducible representations for Levi subgroups inside particular Demazure modules. Lastly, we find a family of multi-symmetric plethystic operators related to the classical Bernstein operators which act on the multi-symmetric Schur basis by a simple recurrence relation.
Matroidal representations of low rank
We study tropical subrepresentations of the Boolean regular representation $\mathbb{B}[G]$ of a finite group $G$. These are equivalent to the matroids on ground set $G$ for which left-multiplication by each element of $G$ is a matroid automorphism. We completely classify the tropical subrepresentations of $\mathbb{B}[G]$ for rank 3. When $G$ is an abelian group, our approach can be seen as a generalization of Golomb rulers. In doing so, we also introduce an interesting class of matroids obtained from equivalence relations on finite sets.
A proof of the Naito--Sagaki conjecture via the branching rule for $\imath$quantum groups
The Naito--Sagaki conjecture asserts that the branching rule for the restriction of finite-dimensional, irreducible polynomial representations of $GL_{2n}(\mathbb{C})$ to $Sp_{2n}(\mathbb{C})$ amounts to the enumeration of certain ``rational paths'' satisfying specific conditions. This conjecture can be thought of as a non-Levi type analog of the Levi type branching rule, stated in terms of the path model due to Littelmann, and was proved combinatorially in 2018 by Schumann--Torres. In this paper, we give a new proof of the Naito--Sagaki conjecture independently of Schumann--Torres, using the branching rule based on the crystal basis theory for $\imath$quantum groups of type $\mathrm{AII}_{2n-1}$. Here, note that $\imath$quantum groups are certain coideal subalgebras of a quantized universal enveloping algebra obtained by $q$-deforming symmetric pairs, and also regarded as a generalization of quantized universal enveloping algebras; these were defined by Letzter in 1999, and since then their representation theory has become an active area of research. The main ingredients of our approach are certain combinatorial operations, such as promotion operators and Kashiwara operators, which are well-suited to the representation theory of complex semisimple Lie algebras.
A recursion formula for Branching from $\mathfrak{sl}_n$ to $\mathfrak{sl}_2$ subalgebras
For any representation of a complex simple Lie algebra $\mathfrak{sl}_n$, one problem of branching rules to $\mathfrak{sl}_2$-subalgebra is to determine the multiplicity of each irreducible component. In this paper, we derive a recursion formula of such multiplicities by restricting a certain tensor representation in two ways, in which the Pieri's rule is involved. We also investigate branching rules for fundamental representations as they are initial conditions of the recursion formula.
A Coboundary Temperely-Lieb Category for $\mathfrak{sl}_2$-Crystals
By considering a suitable renormalization of the Temperley--Lieb category, we study its specialization to the case $q=0$. Unlike the $q\neq 0$ case, the obtained monoidal category, $\mathcal{TL}_0(\Bbbk)$, is not rigid or braided. We provide a closed formula for the Jones--Wenzl projectors in $\mathcal{TL}_0(\Bbbk)$ and give semisimple bases for its endomorphism algebras. We explain how to obtain the same basis using the representation theory of finite inverse monoids, via the associated Möbius inversion. We then describe a coboundary structure on $\mathcal{TL}_0(\Bbbk)$ and show that its idempotent completion is coboundary monoidally equivalent to the category of $\mathfrak{sl}_{2}$-crystals. This gives a diagrammatic description of the commutor for $\mathfrak{sl}_{2}$-crystals defined by Henriques and Kamnitzer and of the resulting action of the cactus group. We also study fiber functors of $\mathcal{TL}_0(\Bbbk)$ and discuss how they differ from the $q\neq 0$ case.
Extended weak order for the affine symmetric group
The extended weak order on a Coxeter group $W$ is the poset of biclosed sets in its root system. In (Barkley-Speyer 2024), it was shown that when $W=\widetilde{S}_n$ is the affine symmetric group, then the extended weak order is a quotient of the lattice $L_n$ of translation-invariant total orderings of the integers. In this article, we give a combinatorial introduction to $L_n$ and the extended weak order on $\widetilde{S}_n$. We show that $L_n$ is an algebraic completely semidistributive lattice. We describe its canonical join representations using a cyclic version of Reading's non-crossing arc diagrams. We also show analogous statements for the lattice of all total orders of the integers, which is the extended weak order on the symmetric group $S_\infty$. A key property of both of these lattices is that they are profinite; we also prove that a profinite lattice is join semidistributive if and only if its compact elements have canonical join representations. We conjecture that the extended weak order of any Coxeter group is a profinite semidistributive lattice.
Fixed-strength spherical designs
A spherical $t$-design is a finite subset $X$ of the unit sphere such that every polynomial of degree at most $t$ has the same average over $X$ as it does over the entire sphere. Determining the minimum possible size of spherical designs, especially in a fixed dimension as $t \to \infty$, has been an important research topic for several decades. This paper presents results on the complementary asymptotic regime, where $t$ is fixed and the dimension tends to infinity. The main results in this paper are (1) a construction of smaller spherical designs via an explicit connection to Gaussian designs and (2) the exact order of magnitude of minimal-size signed $t$-designs, which is significantly smaller than predicted by a typical degrees-of-freedom heuristic. We also establish a method to ``project'' spherical designs between dimensions, prove a variety of results on approximate designs, and construct new $t$-wise independent subsets of $\{1,2,\dots,q\}^d$ which may be of independent interest. To achieve these results, we combine techniques from algebra, geometry, probability, representation theory, and optimization.
Diagrammatic Categories which arise from Representation Graphs
The main result of this paper utilizes the representation graph of a group $G$, $R(V,G)$, and gives a general construction of a diagrammatic category $\mathbf{Dgrams}_{R(V,G)}$. The proof of the main theorem shows that, given explicit criteria, there is an equivalence of categories between a quotient category of $\mathbf{Dgrams}_{R(V,G)}$ and a full subcategory of $G-\textbf{mod}$ with objects being the tensor products of finitely many irreducible $G$-modules.
On the $E$-base of Finite Lattices: Semidistributive, Modular, and Geometric Lattices
Implicational bases are a well-known representation of closure spaces and their closure lattices. This representation is not unique, though, and a closure space usually admits multiple bases. Among these, the canonical base, the canonical direct base as well as the $D$-base aroused significant attention due to their structural and algorithmic properties. Recently, a new base has emerged from the study of free lattices: the $E$-base. It is a refinement of the $D$-base that, unlike the aforementioned implicational bases, does not always accurately represent its associated closure space. This leads to an intriguing question: for which classes of (closure) lattices do closure spaces have valid $E$-base? Lower-bounded lattices are known to form such a class. In this paper, we prove that for semidistributive lattices, the $E$-base is both valid and minimum. We also characterize those modular and geometric lattices that have valid $E$-base. Finally, we prove that any lattice is a sublattice of a lattice with valid $E$-base.
On the Boson-Fermion Correspondence for Factorial Schur Functions
We give an algebraic (non-analytic) proof of the deformed boson-fermion Fock space construction of Molev's double supersymmetric Schur functions, among other results, from our previous paper. In other words, we make no assumptions on the variables and parameters. By specializing to a finite number of variables and shifting parameters, we recover the factorial Schur functions. Furthermore, we realize the bosonic construction through a representation of a completion of the infinite rank general linear Lie algebra.
The major index (maj) and its Schützenberger dual
We construct the independent particle representation for the Semistandard Young Tableaux (SsYT) of skew shape $λ/μ.$ The partition function of this particle system gives the generating function of the SsYT of skew shape $λ/μ.$ Thus we obtain a bijective proof of the Stanley formula for the SsYT generating function.
To do this we define for every SsYT $T$ its plinth, $\mathsf{p}\left( T\right) ,$ which is a SsYT of the same shape $λ/μ.$ The set of plinths is finite. Our bijection associates to every SsYT $T$ a pair $\left( \mathsf{p}\left( T\right) ,Y\left( T-\mathsf{p}\left( T\right) \right) \right) ,$ where $Y\left( T-\mathsf{p}\left( T\right) \right) $ is the reading Young diagram of the SsYT $\left( T-\mathsf{p}\left( T\right) \right) $. \newline In particular, every Standard Young Tableau (SYT) $P$ has its plinth, $\mathsf{p}\left( P\right) $. The two statistics of SYT-s -- the volume $\left\vert \mathsf{p}\left( P\right) \right\vert $ and $\mathsf{maj}\left( P\right) $ -- are related via the Schützenberger involution $Sch:$% \[ \left\vert \mathsf{p}\left( P\right) \right\vert =\mathsf{maj}\left( Sch\left( P\right) \right) . \]
Web permutations, Seidel triangle and normalized $γ$-coefficients
The web permutations were introduced by Hwang, Jang and Oh to interpret the entries of the transition matrix between the Specht and $\mathrm{SL}_2$-web bases of the irreducible $§_{2n}$-representation indexed by $(n,n)$. They conjectured that certain classes of web permutations are enumerated by the Seidel triangle. Using generating functions, Xu and Zeng showed that enumerating web permutations by the number of drops, fixed points and cycles gives rise to the normalized $γ$-coefficients of the $(α,t)$-Eulerian polynomials. They posed the problems to prove their result combinatorially and to find an interpretation of the normalized $γ$-coefficients in terms of cycle-up-down permutations. In this work, we prove the enumerative conjecture of Hwang-Jang-Oh and answer the two open problems proposed by Xu and Zeng.
Representation Number of Word-Representable Split Graphs
A split graph is a graph whose vertex set can be partitioned into a clique and an independent set. The word-representability of split graphs was studied in a series of papers in the literature, and the class of word-representable split graphs was characterized through semi-transitive orientation. Nonetheless, the representation number of this class of graphs is still not known. In general, determining the representation number of a word-representable graph is an NP-complete problem. In this work, through an algorithmic procedure, we show that the representation number of the class of word-representable split graphs is at most three. Further, we characterize the class of word-representable split graphs as well as the class of split comparability graphs which have representation number exactly three.
The Moebius function on the lattice of normal subgroups
By studying lattices of normal subgroups, especially those of the socle and radical, an expression is obtained for the minimal number of conjugacy classes required to generate a group. This number is shown to be captured by the character table. The Moebius function is then used to extract information on the faithful irreducible representations of a group.
Classification of irreducible $\mathfrak{u}$-diagonalizable $H_{\ell,n}$-modules
We give a classification for the irreducible $\mathfrak{u}$-diagonalizable representations of the degenerate affine Hecke algebra of type $G(\ell,1,n)$. Precisely we show that such $H_{\ell,n}$-modules are indexed by $\ell$-skew shapes and that the representation indexed by a skew shape $D$ has a basis of eigenvectors indexed by standard Young tableaux of shape $D$.
Kohnert posets and polynomials of northeast diagrams
Kohnert polynomials and their associated posets are combinatorial objects with deep geometric and representation theoretic connections, generalizing both Schubert polynomials and type A Demazure characters. In this paper, we explore the properties of Kohnert polynomials and their posets indexed by northeast diagrams. We give separate classifications of the bounded, ranked, and multiplicity-free Kohnert posets for northeast diagrams, each of which can be computed in polynomial time with respect to the number of cells in the diagram. As an initial application, we specialize these classifications to simple criteria in the case of lock diagrams.
The Integrable Snake Model
A pure snake configuration is a bijection $σ:\mathbb{Z}^2 \to \mathbb{Z}^2$ containing no two-cycles and such that for each $x \in \mathbb{Z}^2$ we have $σ(x) \in \{ x , x+ \mathbf{e}^1, x+\mathbf{e}^2 , x- \mathbf{e}^2 \}.$ The non-trivial cycles of a pure snake configuration may be regarded as a collection of non-intersecting paths in $\mathbb{Z}^2$ that may travel right, up, or down (but not left) from a given vertex. Pure snake configurations are a generalisation of lozenge tilings, which are in natural correspondence with paths that only travel right or up. We introduce a partition function on a finite version of this model and study the probabilistic properties of random pure snake configurations chosen according to their contribution to this partition function. Under a suitable weighting, the model is integrable in the sense that we have access to explicit formulas for its partition function and correlation function. We utilise the integrable structure of this model in several applications through its various scaling limits, such as to prove a traffic representation of ASEP on the ring, generalising the analogous result for TASEP by the first author.
$F_σ$-ideals, colorings, and representation in Banach spaces
In recent works by L. Drewnowski and I. Labuda and J. Martínez et al., non-pathological analytic \( P \)-ideals and non-pathological \( F_σ\)-ideals have been characterized and studied in terms of their representations by a sequence \( (x_n)_n \) in a Banach space, as \( \mathcal{C}((x_n)_n) \) and \( \mathcal{B}((x_n)_n) \). The ideal \( \mathcal{C}((x_n)_n) \) consists of sets where the series \( \sum_{n \in A} x_n \) is unconditionally convergent, while \( \mathcal{B}((x_n)_n) \) involves weak unconditional convergence.
In this paper, we further study these representations and provide effective descriptions of \( \mathcal{B} \)- and \( \mathcal{C} \)-ideals in the universal spaces \( C([0,1]) \) and \( C(2^{\mathbb{N}}) \), addressing a question posed by Borodulin-Nadzieja et al. A key aspect of our study is the role of the space \( c_0 \) in these representations. We focus particularly on \( \mathcal{B} \)-representations in spaces containing many copies of \( c_0 \), such as \( c_0 \)-saturated spaces of continuous functions.
A central tool in our analysis is the concept of \( c \)-coloring ideals, which arise from homogeneous sets of continuous colorings. These ideals, generated by homogeneous sets of 2-colorings, exhibit a rich combinatorial structure. Among our results, we prove that for \( d \geq 3 \), the random \( d \)-homogeneous ideal is pathological,
we construct hereditarily non-pathological universal \( c \)-coloring ideals, and we show that every \( \mathcal{B} \)-ideal represented in \( C(K) \), for \( K \) countable, contains a \( c \)-coloring ideal. Furthermore, by leveraging \( c \)-coloring ideals, we provide examples of \( \mathcal{B} \)-ideals that are not \( \mathcal{B} \)-representable in \( c_0 \). These findings highlight the interplay between combinatorial properties of ideals and their representations in Banach spaces.
On 1-11-representability and multi-1-11-representability of graphs
Jeff Remmel introduced the concept of a $k$-11-representable graph in 2017. This concept was first explored by Cheon et al. in 2019, who considered it as a natural extension of word-representable graphs, which are exactly 0-11-representable graphs. A graph $G$ is $k$-11-representable if it can be represented by a word $w$ such that for any edge (resp., non-edge) $xy$ in $G$ the subsequence of $w$ formed by $x$ and $y$ contains at most $k$ (resp., at least $k+1$) pairs of consecutive equal letters. A remarkable result of Cheon at al. is that any graph is 2-11-representable, while it is still unknown whether every graph is 1-11-representable. Cheon et al. showed that the class of 1-11-representable graphs is strictly larger than that of word-representable graphs, and they introduced a useful toolbox to study 1-11-representable graphs, which was extended by additional powerful tools suggested by Futorny et al. in 2024.
In this paper, we prove that all graphs on at most 8 vertices are 1-11-representable hence extending the known fact that all graphs on at most 7 vertices are 1-11-representable. Also, we discuss applications of our main result in the study of multi-1-11-representation of graphs we introduce in this paper analogously to the notion of multi-word-representation of graphs suggested by Kenkireth and Malhotra in 2023.