representation ↗ reference
4143 papers tagged with this keyword
Explicit construction of exact unitary designs
Published
• View Publication
• BIB
The purpose of this paper is to give explicit constructions of unitary $t$-designs in the unitary group $U(d)$ for all $t$ and $d$. It seems that the explicit constructions were so far known only for very special cases. Here explicit construction means that the entries of the unitary matrices are given by the values of elementary functions at the root of some given polynomials. We will discuss what are the best such unitary $4$-designs in $U(4)$ obtained by these methods.
Indeed we give an inductive construction of designs on compact groups by using Gelfand pairs $(G,K)$. Note that $(U(n),U(m) \times U(n-m))$ is a Gelfand pair. By using the zonal spherical functions for $(G,K)$, we can construct designs on $G$ from designs on $K$.
We remark that our proofs use the representation theory of compact groups crucially. We also remark that this method can be applied to the orthogonal groups $O(d)$, and thus provides another explicit construction of spherical $t$-designs on the $d$ dimensional sphere $S^{d-1}$ by the induction on $d$.
Limit shapes of large skew Young tableaux and a modification of the TASEP process
We present a survey of points of view on the problem of the asymptotic shape of a path between two large Young diagrams, and introduce a modification of the TASEP process related to it. This representation allows to write explicitly the functional, counting the asymptotics of the number of Young tableau close to a given one, as well as to see the sine-process on the boundary shape of a large random Young diagram.
Hernandez-Leclerc modules and snake graphs
In 2010, Hernandez and Leclerc studied connections between representations of quantum affine algebras and cluster algebras. In 2019, Brito and Chari defined a family of modules over quantum affine algebras, called Hernandez-Leclerc modules. We characterize the highest $\ell$-weight monomials of Hernandez-Leclerc modules. We give a non-recursive formula for $q$-characters of Hernandez-Leclerc modules using snake graphs, which involves an explicit formula for $F$-polynomials. We also give a new recursive formula for $q$-characters of Hernandez-Leclerc modules.
Enumeration of Gelfand-Cetlin type reduced words
Published
• View Publication
• BIB
The combinatorics of reduced words and commutation classes plays an important role in geometric representation theory. A string polytope is a lattice polytope associated to each reduced word of the longest element $w_0$ in the symmetric group which encodes the character of a certain irreducible representation of a Lie group of type $A$. In this paper, we provide a recursive formula for the number of reduced words of $w_0$ such that the corresponding string polytopes are combinatorially equivalent to a Gelfand-Cetlin polytope. The recursive formula involves the number of standard Young tableaux of shifted shape. We also show that each commutation class is completely determined by a list of quantities called indices.
Gabor-type frames for signal processing on graphs
Published
• View Publication
• BIB
In the past decade, significant progress has been made to generalize classical tools from Fourier analysis to analyze and process signals defined on networks. In this paper, we propose a new framework for constructing Gabor-type frames for signals on graphs. Our approach uses general and flexible families of linear operators acting as translations. Compared to previous work in the literature, our methods yield the sharp bounds for the associated frames, in a broad setting that generalizes several existing constructions. We also examine how Gabor-type frames behave for signals defined on Cayley graphs by exploiting the representation theory of the underlying group. We explore how natural classes of translations can be constructed for Cayley graphs, and how the choice of an eigenbasis can significantly impact the properties of the resulting translation operators and frames on the graph.
Several new product identities in relation to two-variable Rogers-Ramanujan type sums and mock theta functions
Published in Res. Math. Sci. 8.1 (2021): 16
• View Publication
• BIB
Product identities in two variables $x, q$ expand infinite products as infinite sums, which are linear combinations of theta functions; famous examples include Jacobi's triple product identity, Watson's quintuple identity, and Hirschhorn's septuple identity. We view these series expansions as representations in canonical bases of certain vector spaces of quasiperiodic meromorphic functions (related to sections of line and vector bundles), and find new identities for two nonuple products, an undecuple product, and several two-variable Rogers-Ramanujan type sums. Our main theorem explains a correspondence between the septuple product identity and the two original Rogers-Ramanujan identities, involving two-variable analogues of fifth-order mock theta functions. We also prove a similar correspondence between an octuple product identity of Ewell and two simpler variations of the Rogers-Ramanujan identities, which is related to third-order mock theta functions, and conjecture other occurrences of this phenomenon. As applications, we specialize our results to obtain identities for quotients of generalized Dedekind eta functions and mock theta functions.
A Short Proof of the Rank Formula for Inclusion Matrices using the Representation Theory of the Symmetric Group
Published
• View Publication
• BIB
We present a new proof of the well known formula for the rank of the inclusion matrix by constructing a $k\mathcal{S}_n$-module spanned by the columns of this matrix and calculating its dimension.
Lifting Arc Diagrams Under Branched Covers: An Inverse Problem and its Solution
A branched covering map of surfaces induces a map in the opposite direction between their arc complexes. We represent a branched covering map combinatorially using what we call a lifting picture, and use this representation to computably solve the membership problem of the set of weighted arc diagrams on a given surface which can be obtained by lifting a weighted arc diagram on a bigon. We provide a brute force solution in the general case, and an efficient solution when the input arc diagram is a triangulation.
Representation theory of finite groups through (basic) algebraic geometry
We introduce a new approach to representation theory of finite groups that uses some basic algebraic geometry and allows to do all the theory without using characters. With this approach, to any finite group $G$ we associate a finite number of points and show that any field containing the coordinates of those points works fine as the ground field for the representations of $G$. We apply this point of view to the symmetric group $S_d$, finding easy equations for the different symmetries of functions in $d$ variables. As a byproduct, we give an easy proof of a recent result by Tocino that states that the hyperdeterminant of a $d$-dimensional matrix is zero for all but two types of symmetry.
Calibrated representations of two boundary Temperley-Lieb algebras
Published
• View Publication
• BIB
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$.
Symmetric and Spectral Realizations of Highly Symmetric Graphs
A realization of a graph $G=(V,E)$ is a map $v\colon V\to\Bbb R^d$ that assigns to each vertex a point in $d$-dimensional Euclidean space. We study graph realizations from the perspective of representation theory (expressing certain symmetries), spectral graph theory (satisfying certain self-stress conditions) and rigidity theory (admitting deformations that do not alter the symmetry properties).
We explore the connections between these perspectives, with a focus on realizations of highly symmetric graphs (arc-transitive/distance-transitive) and the question of how much symmetry is necessary to ensure that a realization is balanced, spectral, rigid etc.
We include many examples to give a broad overview of the possibilities and restrictions of symmetric and spectral graph realizations.
Bosonic and Fermionic Representations of Endomorphisms of Exterior Algebras
Published
• View Publication
• BIB
We describe the fermionic and bosonic Fock representation of the Lie super-algebra of endomorphisms of the exterior algebra of the ${\mathbb Q}$-vector space of infinite countable dimension, vanishing at all but finitely many basis elements. We achieve the goal by exploiting the extension of the Schubert derivations to the Fermionic Fock space.
E-series of character varieties of non-orientable surfaces
Published
• View Publication
• BIB
In this paper we are interested in two kinds of (stacky) character varieties associated to a compact non-orientable surface. (A) We consider the quotient stack of the space of representations of the fundamental group of this surface to GL(n). (B) We choose a set of k-punctures on the surface and a generic k-tuple of semisimple conjugacy classes of GL(n), and we consider the stack of anti-invariant local systems on the orientation cover of the surface with local monodromies around the punctures given by the prescribed conjugacy classes. We compute the number of points of these spaces over finite fields from which we get a formula for their E-series (a certain specialization of the mixed Poincaré series). In case (B), we discuss the mixed Poincaré series when the surface is the real projective plane and k=1.
Constructing saturating sets in projective spaces using subgeometries
Published in Des. Codes Cryptogr. 90 (5), 2113-2144 (2022)
• View Publication
• BIB
A $\varrho$-saturating set of $\text{PG}(N,q)$ is a point set $\mathcal{S}$ such that any point of $\text{PG}(N,q)$ lies in a subspace of dimension at most $\varrho$ spanned by points of $\mathcal{S}$. It is generally known that a $\varrho$-saturating set of $\text{PG}(N,q)$ has size at least $c\cdot\varrho\,q^\frac{N-\varrho}{\varrho+1}$, with $c>\frac{1}{3}$ a constant. Our main result is the discovery of a $\varrho$-saturating set of size roughly $\frac{(\varrho+1)(\varrho+2)}{2}q^\frac{N-\varrho}{\varrho+1}$ if $q=(q')^{\varrho+1}$, with $q'$ an arbitrary prime power. The existence of such a set improves most known upper bounds on the smallest possible size of $\varrho$-saturating sets if $\varrho<\frac{2N-1}{3}$. As saturating sets have a one-to-one correspondence to linear covering codes, this result improves existing upper bounds on the length and covering density of such codes. To prove that this construction is a $\varrho$-saturating set, we observe that the affine parts of $q'$-subgeometries of $\text{PG}(N,q)$ having a hyperplane in common, behave as certain lines of $\text{AG}\big(\varrho+1,(q')^N\big)$. More precisely, these affine lines are the lines of the linear representation of a $q'$-subgeometry $\text{PG}(\varrho,q')$ embedded in $\text{PG}\big(\varrho+1,(q')^N\big)$.
Bilinear expansion of Schur functions in Schur $Q$-functions: a fermionic approach
Published in Proc. Amer. Math. Soc. 149, 4117-4131 (2021)
• View Publication
• BIB
An identity is derived expressing Schur functions as sums over products of pairs of Schur $Q$-functions, generalizing previously known special cases. This is shown to follow from their representations as vacuum expectation values (VEV's) of products of either charged or neutral fermionic creation and annihilation operators, Wick's theorem and a factorization identity for VEV's of products of two mutually anticommuting sets of neutral fermionic operators.
Convex geometries representable by at most 5 circles on the plane
Published in Involve 17 (2024) 337-354
• View Publication
• BIB
A convex geometry is a closure system satisfying the anti-exchange property. In this work we document all convex geometries on 4- and 5-element base sets with respect to their representation by circles on the plane. All 34 non-isomorphic geometries on a 4-element set can be represented by circles, and of the 672 geometries on a 5-element set, we made representations of 623. Of the 49 remaining geometries on a 5-element set, one was already shown not to be representable due to the Weak Carousel property, as articulated by Adaricheva and Bolat (Discrete Mathematics, 2019). In this paper we show that 7 more of these convex geometries cannot be represented by circles on the plane, due to what we term the Triangle Property.
$q$-Deformations and $t$-deformations of Markov triples
In this paper, we generalize the Markov triples in two different directions. One is generalization in direction of using the $q$-deformation of rational number introduced by \cite{MO} in connection with cluster algebras, quantum topology and analytic number theory. The other is direction using castling transforms of prehomogeneous vector spaces \cite{SaKi} which plays an important role in the study of representation theory and automorphic function. In addition, the present paper gives a relationship between the two generalizations. This may provide some kind of bridging between different fields.
On the complexity of zero-dimensional multiparameter persistence
Multiparameter persistence is a natural extension of the well-known persistent homology, which has attracted a lot of interest. However, there are major theoretical obstacles preventing the full development of this promising theory.
In this paper we consider the interesting special case of multiparameter persistence in zero dimensions which can be regarded as a form of multiparameter clustering. In particular, we consider the multiparameter persistence modules of the zero-dimensional homology of filtered topological spaces when they are finitely generated. Under certain assumptions, we characterize such modules and study their decompositions. In particular we identify a natural class of representations that decompose and can be extended back to form zero-dimensional multiparameter persistence modules.
Our study of this set of representations concludes that despite the restrictions, there are still infinitely many classes of indecomposables in this set.
On quiver representations over $\mathbb{F}_1$
Published
• View Publication
• BIB
We study the category $\textrm{Rep}(Q,\mathbb{F}_1)$ of representations of a quiver $Q$ over "the field with one element", denoted by $\mathbb{F}_1$, and the Hall algebra of $\textrm{Rep}(Q,\mathbb{F}_1)$. Representations of $Q$ over $\mathbb{F}_1$ often reflect combinatorics of those over $\mathbb{F}_q$, but show some subtleties - for example, we prove that a connected quiver $Q$ is of finite representation type over $\mathbb{F}_1$ if and only if $Q$ is a tree. Then, to each representation $\mathbb{V}$ of $Q$ over $\mathbb{F}_1$ we associate a coefficient quiver $Γ_\mathbb{V}$ possessing the same information as $\mathbb{V}$. This allows us to translate representations over $\mathbb{F}_1$ purely in terms of combinatorics of associated coefficient quivers. We also explore the growth of indecomposable representations of $Q$ over $\mathbb{F}_1$ - there are also similarities to representations over a field, but with some subtle differences. Finally, we link the Hall algebra of the category of nilpotent representations of an $n$-loop quiver over $\mathbb{F}_1$ with the Hopf algebra of skew shapes introduced by Szczesny.
The Neighborhood Polynomial of Chordal Graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 24, no. 1, Graph Theory (May 6, 2022) dmtcs:8388
• View Publication
• BIB
We study the neighborhood polynomial and the complexity of its computation for chordal graphs. The neighborhood polynomial of a graph is the generating function of subsets of its vertices that have a common neighbor. We introduce a parameter for chordal graphs called anchor width and an algorithm to compute the neighborhood polynomial which runs in polynomial time if the anchor width is polynomially bounded. The anchor width is the maximal number of different sub-cliques of a clique which appear as a common neighborhood. Furthermore we study the anchor width for chordal graphs and some subclasses such as chordal comparability graphs and chordal graphs with bounded leafage. the leafage of a chordal graphs is the minimum number of leaves in the host tree of a subtree representation. We show that the anchor width of a chordal graph is at most $n^{\ell}$ where $\ell$ denotes the leafage. This shows that for some subclasses computing the neighborhood polynomial is possible in polynomial time while it is NP-hard for general chordal graphs.