representation ↗ reference
4143 papers tagged with this keyword
A Reduced Upper Bound for an Edge-coloring Problem from Relation Algebra
Published
• View Publication
• BIB
We construct an edge-coloring of $K_{N}$ (for $N = 3432$) in colors red, dark blue, and light blue, such that there are no monochromatic blue triangles and such that the coloring satisfies a certain strong universal-existential property. The edge-coloring of $K_{N}$ depends on a cyclic coloring of $K_{17}$ whose two color classes are $K_{4}$-, $K_{4,3}$-, and $K_{5,2}$-free. This construction yields the smallest known representation of the relation algebra $32_{65}$, reducing the upper bound from 8192 to 3432.
A quantization of the harmonic analysis on the infinite-dimensional unitary group
Published in Journal of Functional Analysis, 270, 375-418 (2016)
• View Publication
• BIB
The present work stemmed from the study of the problem of harmonic analysis on the infinite-dimensional unitary group U(\infty). That problem consisted in the decomposition of a certain 4-parameter family of unitary representations, which replace the nonexisting two-sided regular representation (Olshanski, J. Funct. Anal., 2003, arXiv:0109193). The required decomposition is governed by certain probability measures on an infinite-dimensional space Ω, which is a dual object to U(\infty). A way to describe those measures is to convert them into determinantal point processes on the real line, it turned out that their correlation kernels are computable in explicit form --- they admit a closed expression in terms of the Gauss hypergeometric function 2-F-1 (Borodin and Olshanski, Ann. Math., 2005, arXiv:0109194).
In the present work we describe a (nonevident) q-discretization of the whole construction. This leads us to a new family of determinantal point processes. We reveal its connection with an exotic finite system of q-discrete orthogonal polynomials --- the so-called pseudo big q-Jacobi polynomials. The new point processes live on a double q-lattice and we show that their correlation kernels are expressed through the basic hypergeometric function 2-φ-1.
A crucial novel ingredient of our approach is an extended version G of the Gelfand-Tsetlin graph (the conventional graph describes the Gelfand-Tsetlin branching rule for irreducible representations of unitary groups). We find the q-boundary of G, thus extending previously known results (Gorin, Adv. Math., 2012, arXiv:1011.1769).
The PBW filtration and convex polytopes in type $\tt B$
Published in J. Pure Appl. Algebra 223 (2019), no. 1, 245-276
• View Publication
• BIB
We study the PBW filtration on irreducible finite--dimensional representations for the Lie algebra of type $\tt B_n$. We prove in several cases, including all multiples of the adjoint representation and all irreducible finite--dimensional representations for $\tt B_3$, that there exists a normal polytope such that the lattice points of this polytope parametrize a basis of the corresponding associated graded space. As a consequence we obtain several classes of favourable modules and graded combinatorial character formulas.
Quantum Algebras and Cyclic Quiver Varieties
The purpose of this thesis is to present certain viewpoints on the geometric representation theory of Nakajima cyclic quiver varieties, in relation to the Maulik-Okounkov stable basis. Our main technical tool is the shuffle algebra, which arises as the K-theoretic Hall algebra of the double cyclic quiver. We prove the isomorphism between the shuffle algebra and the quantum toroidal algebra U_{q,t}(sl_n^^), and identify the quotients of Verma modules for the shuffle algebra with the K-theory groups of Nakajima cyclic quiver varieties, which were studied by Nakajima and Varagnolo-Vasserot.
The shuffle algebra viewpoint allows us to construct the universal R-matrix of the quantum toroidal algebra U_{q,t}(sl_n^^), and to factor it in terms of pieces that arise from subalgebras isomorphic to quantum affine groups U_{q}(gl_m^), for various m. This factorization generalizes constructions of Khoroshkin-Tolstoy to the toroidal case, and matches the factorization that Maulik-Okounkov produce via the stable basis in the K-theory of Nakajima quiver varieties. We connect the two pictures by computing formulas for the root generators of U_{q,t}(sl_n^^) acting on the stable basis, which provide a wide extension of Murnaghan-Nakayama and Pieri type rules from combinatorics.
Representation theory of 0-Hecke-Clifford algebras
Published in Journal of Algebra, 453 (2016), 189-220
• View Publication
• BIB
The representation theory of 0-Hecke-Clifford algebras as a degenerate case is not semisimple and also with rich combinatorial meaning. Bergeron et al. have proved that the Grothendieck ring of the category of finitely generated supermodules of 0-Hecke-Clifford algebras is isomorphic to the algebra of peak quasisymmetric functions defined by Stembridge. In this paper we further study the category of finitely generated projective supermodules and clarify the correspondence between it and the peak algebra of symmetric groups. In particular, two kinds of restriction rules for induced projective supermodules are obtained. After that, we consider the corresponding Heisenberg double and its Fock representation to prove that the ring of peak quasisymmetric functions is free over the subring of symmetric functions spanned by Schur's Q-functions.
Tabulation of Noncrossing Acyclic Digraphs
I present an algorithm that, given a number $n \geq 1$, computes a compact representation of the set of all noncrossing acyclic digraphs with $n$ nodes. This compact representation can be used as the basis for a wide range of dynamic programming algorithms on these graphs. As an illustration, along with this note I am releasing the implementation of an algorithm for counting the number of noncrossing acyclic digraphs of a given size. The same tabulation can be modified to count other classes of combinatorial structures, including weakly connected noncrossing acyclic digraphs, general noncrossing digraphs, noncrossing undirected graphs.
On the representation theory of $G\sim S_n$
Published
• View Publication
• BIB
In the Vershik-Okounkov approach to the complex irreducible representations of $S_n$ and $G\sim S_n$ we parametrize the irreducible representations and their bases by spectral objects rather than combinatorial objects and then, at the end, give a bijection between the spectral and combinatorial objects. The fundamental ideas are similar in both cases but there are additional technicalities involved in the $G\sim S_n$ case. This was carried out by Pushkarev.
The present work gives a fully detailed exposition of Pushkarev's theory. For the most part we follow the original but our definition of a Gelfand-Tsetlin subspace, based on a multiplicity free chain of subgroups, is slightly different and leads to a more natural development of the theory. We also work out in detail an example, the generalized Johnson scheme, from this viewpoint.
Kraśkiewicz-Pragacz modules and Ringel duality
Published
• View Publication
• BIB
Kraśkiewicz and Pragacz introduced representations of the upper-triangular Lie algebras whose characters are Schubert polynomials. In a previous work the author studied the structure of Kraśkiewicz-Pragacz modules using the theory of highest weight categories. From the results there, in particular we obtain a certain highest weight category whose standard modules are KP modules. In this paper we show that this highest weight category is self Ringel-dual: this leads to an interesting symmetry relation on Ext groups between KP modules. We also show that the tensor product operation on b-modules is compatible with Ringel duality functor.
New realization of cyclotomic $q$-Schur algebras I
Published
• View Publication
• BIB
We introduce a Lie algebra $\mathfrak{g}_{\mathbf{Q}}(\mathbf{m})$ and an associative algebra $\mathcal{U}_{q,\mathbf{Q}}(\mathbf{m})$ associated with the Cartan data of $\mathfrak{gl}_m$ which is separated into $r$ parts with respect to $\mathbf{m}=(m_1, \dots, m_r)$ such that $m_1+ \dots + m_r =m$. We show that the Lie algebra $\mathfrak{g}_{\mathbf{Q}} (\mathbf{m})$ is a filtered deformation of the current Lie algebra of $\mathfrak{gl}_m$, and we can regard the algebra $\mathcal{U}_{q, \mathbf{Q}}(\mathbf{m})$ as a "$q$-analogue" of $U(\mathfrak{g}_{\mathbf{Q}}(\mathbf{m}))$. Then, we realize a cyclotomic $q$-Schur algebra as a quotient algebra of $\mathcal{U}_{q, \mathbf{Q}}(\mathbf{m})$ under a certain mild condition. We also study the representation theory for $\mathfrak{g}_{\mathbf{Q}}(\mathbf{m})$ and $\mathcal{U}_{q,\mathbf{Q}}(\mathbf{m})$, and we apply them to the representations of the cyclotomic $q$-Schur algebras.
Orthogonal Representation of Graphs
Orthogonal Graph Representations are essential tools for testing existence of hidden variables in quantum theory. As required by the interpretation of Copenhaghe on the foundations of quantum mechanics, a physical observable is not determined before its observation. Conducting experiments quantum contextuality or the information capacity of a quantum system are closely related to the orthogonal representations.
Connected components of meanders: I. Bi-rainbow meanders
Published
• View Publication
• BIB
Closed meanders are planar configurations of one or several disjoint closed Jordan curves intersecting a given line or curve transversely. They arise as shooting curves of parabolic PDEs in one space dimension, as trajectories of Cartesian billiards, and as representations of elements of Temperley-Lieb algebras.
Given the configuration of intersections, for example as a permutation or an arc collection, the number of Jordan curves is unknown and needs to be determined.
We address this question in the special case of bi-rainbow meanders, which are given as non-branched families (rainbows) of nested arcs. Easily obtainable results for small bi-rainbow meanders containing up to four families suggest an expression of the number of curves by the greatest common divisor (gcd) of polynomials in the sizes of the rainbow families.
We prove however, that this is not the case. In fact, the number of connected components of bi-rainbow meanders with more than four families cannot be expressed as the gcd of polynomials in the sizes of the rainbows.
On the other hand, we provide a complexity analysis of nose-retraction algorithms. They determine the number of connected components of arbitrary bi-rainbow meanders in logarithmic time. In fact, the nose-retraction algorithms resemble the Euclidean algorithm, which is used to determine the gcd, in structure and complexity.
Looking for a closed formula of the number of connected components, the nose-retraction algorithm is as good as a gcd-formula and therefore as good as we can possibly expect.
Cluster Algebras, Invariant Theory, and Kronecker Coefficients I
Published
• View Publication
• BIB
We relate the $m$-truncated Kronecker products of symmetric functions to the semi-invariant rings of a family of quiver representations. We find cluster algebra structures for these semi-invariant rings when $m=2$. Each {\sf g}-vector cone ${\sf G}_{\Diamond_l}$ of these cluster algebras controls the $2$-truncated Kronecker products for all symmetric functions of degree no greater than $l$. As a consequence, each relevant Kronecker coefficient is the difference of the number of the lattice points inside two rational polytopes. We also give explicit description of all ${\sf G}_{\Diamond_l}$'s. As an application, we compute some invariant rings.
Twin bent functions, strongly regular Cayley graphs, and Hurwitz-Radon theory
Published in Journal of Algebra Combinatorics Discrete Structures and Applications 4, no. 3 (2017)
• View Publication
• BIB
The real monomial representations of Clifford algebras give rise to two sequences of bent functions. For each of these sequences, the corresponding Cayley graphs are strongly regular graphs, and the corresponding sequences of strongly regular graph parameters coincide. Even so, the corresponding graphs in the two sequences are not isomorphic, except in the first 3 cases. The proof of this non-isomorphism is a simple consequence of a theorem of Radon.
Combinatorics of symplectic invariant tensors
Published
• View Publication
• BIB
An important problem from invariant theory is to describe the subspace of a tensor power of a representation invariant under the action of the group. According to Weyl's classic, the first main (later: 'fundamental') theorem of invariant theory states that all invariants are expressible in terms of a finite number among them, whereas a second main theorem determines the relations between those basic invariants.
Here we present a transparent, combinatorial proof of a second fundamental theorem for the defining representation of the symplectic group Sp(2n). Our formulation is completely explicit and provides a very precise link to (n+1)-noncrossing perfect matchings, going beyond a dimension count. As a corollary, we obtain an instance of the cyclic sieving phenomenon.
Line graphs and the transplantation method
Published
• View Publication
• BIB
We study isospectrality for mixed Dirichlet-Neumann boundary conditions, and extend the previously derived graph-theoretic formulation of the transplantation method. Led by the theory of Brownian motion, we introduce vertex-colored and edge-colored line graphs that give rise to block diagonal transplantation matrices. In particular, we rephrase the transplantation method in terms of representations of free semigroups, and provide a method for generating adjacency cospectral weighted directed graphs.
The representation ring of the unitary groups and Markov processes of algebraic origin
Published in Advances in Mathematics 300 (2016), 544-615
• View Publication
• BIB
The paper consists of two parts. The first part introduces the representation ring for the family of compact unitary groups U(1), U(2),.... This novel object is a commutative graded algebra R with infinite-dimensional homogeneous components. It plays the role of the algebra of symmetric functions, which serves as the representation ring for the family of finite symmetric groups. The purpose of the first part is to elaborate on the basic definitions and prepare the ground for the construction of the second part of the paper.
The second part deals with a family of Markov processes on the dual object to the infinite-dimensional unitary group U(infinity). These processes were defined in a joint work with Alexei Borodin (J. Funct. Anal. 2012; arXiv:1009.2029). The main result of the present paper consists in the derivation of an explicit expression for their infinitesimal generators. It is shown that the generators are implemented by certain second order partial differential operators with countably many variables, initially defined as operators on R.
Two Partial Orders for Standard Young Tableaux
Published in The Electronic Journal of Combinatorics, 26 (3), #P3.20 (2019), 18 pp
• View Publication
• BIB
In this manuscript we show that two partial orders defined on the set of standard Young tableaux of shape $α$ are equivalent. In fact, we give two proofs for the equivalence of the box order and the dominance order for {tableaux}. Both are algorithmic. The first of these proofs emphasizes links to the Bruhat order for the symmetric group and the second provides a more straightforward construction of the cover relations. This work is motivated by the known result that the equivalence of the two combinatorial orders leads to a description of the geometry of the representation space of invariant subspaces of nilpotent linear operators.
FI_W-modules and constraints on classical Weyl group characters
Published
• View Publication
• BIB
In this paper we study the characters of sequences of representations of any of the three families of classical Weyl groups W_n: the symmetric groups, the signed permutation groups (hyperoctahedral groups), or the even-signed permutation groups. Our results extend work of Church, Ellenberg, Farb, and Nagpal on the symmetric groups. We use the concept of an FI_W-module, an algebraic object that encodes the data of a sequence of W_n-representations with maps between them, defined in the author's recent work ArXiv:1309.3817.
We show that if a sequence {V_n} of W_n-representations has the structure of a finitely generated FI_W-module, then there are substantial constraints on the growth of the sequence and the structure of the characters: for n large, the dimension of V_n is equal to a polynomial in n, and the characters of V_n are given by a character polynomial in signed-cycle-counting class functions, independent of n. We determine bounds the degrees of these polynomials.
We continue to develop the theory of FI_W-modules, and we apply this theory to obtain new results about a number of sequences associated to the classical Weyl groups: the cohomology of complements of classical Coxeter hyperplane arrangements, and the cohomology of the pure string motion groups (the groups of symmetric automorphisms of the free group).
Logarithm of Irrationals and Beatty Sequences
In this paper we find an identity that gives a representation for the logarithm of any two irrational numbers $a, b >1$ in terms of a series whose terms are ratios of elements from the Beatty Sequences generated by these two numbers. We also show that Sturmian sequences can be defined in terms of these ratios. Furthermore, we find an identity for such series that bears a superficial resemblance to (a discrete version of) Frullani's Integral.
Multi-Base Representations of Integers: Asymptotic Enumeration and Central Limit Theorems
Published in Applicable Analysis and Discrete Mathematics 2015 Volume 9, Issue 2, Pages: 285-312
• View Publication
• BIB
In a multi-base representation of an integer (in contrast to, for example, the binary or decimal representation) the base (or radix) is replaced by products of powers of single bases. The resulting numeral system has desirable properties for fast arithmetic. It is usually redundant, which means that each integer can have multiple different digit expansions, so the natural question for the number of representations arises. In this paper, we provide a general asymptotic formula for the number of such multi-base representations of a positive integer $n$. Moreover, we prove central limit theorems for the sum of digits, the Hamming weight (number of non-zero digits, which is a measure of efficiency) and the occurrences of a fixed digits in a random representation.