representation ↗ reference
4143 papers tagged with this keyword
Mixing time upper bound for the uniformized Rosenthal walk on the special orthogonal groups
We prove that a uniformized variant of both the Rosenthal walk \cite{Rosenthal} and the Kac random walk \cite{Kac} on SO(n) mixes in $\cO(n^3)$ steps in total variation distance. The proof also extends easily to Rosenthal walk with fixed angle $θ\neq π$. To the best of our knowledge, this is the first polynomial time bound for both walks. The techniques employed are mainly from representation theory of SO(n). But a crucial new ingredient is the interpretation of the Fourier coefficients of the character ratio as counting the number of particle cascade paths arising from the classical branching rules.
On the partition dimension of trees
Published in Discrete Applied Mathematics 166 (2014) 204-209
• View Publication
• BIB
Given an ordered partition $Π=\{P_1,P_2, ...,P_t\}$ of the vertex set $V$ of a connected graph $G=(V,E)$, the \emph{partition representation} of a vertex $v\in V$ with respect to the partition $Π$ is the vector $r(v|Π)=(d(v,P_1),d(v,P_2),...,d(v,P_t))$, where $d(v,P_i)$ represents the distance between the vertex $v$ and the set $P_i$. A partition $Π$ of $V$ is a \emph{resolving partition} of $G$ if different vertices of $G$ have different partition representations, i.e., for every pair of vertices $u,v\in V$, $r(u|Π)\ne r(v|Π)$. The \emph{partition dimension} of $G$ is the minimum number of sets in any resolving partition of $G$. In this paper we obtain several tight bounds on the partition dimension of trees.
Equivariant cohomology and the Varchenko-Gelfand filtration
Published
• View Publication
• BIB
The cohomology of the configuration space of n points in R^3 admits a symmetric group action and has been shown to be isomorphic to the regular representation. One way to prove this is by defining an S^1-action whose fixed point set is the complement of the braid arrangement and using equivariant cohomology to show that the cohomology of the configuration space is the associated graded algebra of the cohomology of the arrangement complement. In this paper, we will extend this result to the setting of affine subspace arrangements coming from real hyperplane arrangements using similar methods. We also provide a presentation of the equivariant cohomology ring and extend some results to the setting of oriented matroids.
Incidence Homology of Finite Projective Spaces
Let F* be the finite field of q elements and let P(n,q) be the projective space of dimension n-1 over F*. We construct a family H^{n}_{k,i} of combinatorial homology modules associated to P(n,q) over a coefficient field F field of characteristic p_{0}>0 co-prime to q. As FGL(n,q)-representations the modules are obtained from the permutation action of GL(n,q) on the subspaces of F*^n. We prove a branching rule for H^{n}_{k,i} and use this rule to determine these homology representations completely. The main results are a duality theorem and the complete characterisation of H^{n}_{k,i} in terms of the standard irreducibles of GL(n,q) over F and applications.
On Stanley's Inequalities for Character Multiplicities
Published
• View Publication
• BIB
Let G be a group of automorphisms of a ranked poset Q and let N_{k} denote the number of orbits on the elements of rank k in Q. What can be said about the N_{k} for standard posets, such as finite projective spaces or the Boolean lattice? We discuss the connection of this question to the representation theory of the group, and in particular to the inequalities of Livingstone-Wagner and Stanley. We show that these are special cases of more general inequalities which depend on the prime divisors of the group order. The new inequalities often yield stronger bounds depending on the order of the group.
The Young bouquet and its boundary
Published in Moscow Mathematical Journal 13 (2013), Issue 2, 193-232
• View Publication
• BIB
The classification results for the extreme characters of two basic "big" groups, the infinite symmetric group S(infinity) and the infinite-dimensional unitary group U(infinity), are remarkably similar. It does not seem to be possible to explain this phenomenon using a suitable extension of the Schur-Weyl duality to infinite dimension. We suggest an explanation of a different nature that does not have analogs in the classical representation theory.
We start from the combinatorial/probabilistic approach to characters of "big" groups initiated by Vershik and Kerov. In this approach, the space of extreme characters is viewed as a boundary of a certain infinite graph. In the cases of S(infinity) and U(infinity), those are the Young graph and the Gelfand-Tsetlin graph, respectively. We introduce a new related object that we call the Young bouquet. It is a poset with continuous grading whose boundary we define and compute. We show that this boundary is a cone over the boundary of the Young graph, and at the same time it is also a degeneration of the boundary of the Gelfand-Tsetlin graph.
The Young bouquet has an application to constructing infinite-dimensional Markov processes with determinantal correlation functions.
The Tamari lattice as it arises in quiver representations
Published
• View Publication
• BIB
In this paper, we explain how the Tamari lattice arises in the context of the representation theory of quivers, as the poset whose elements are the torsion classes of a directed path quiver, with the order relation given by inclusion.
Submatrices of character tables and basic sets
Published
• View Publication
• BIB
In this investigation of character tables of finite groups we study basic sets and associated representation theoretic data for complementary sets of conjugacy classes. For the symmetric groups we find unexpected properties of characters on restricted sets of conjugacy classes, like beautiful combinatorial determinant formulae for submatrices of the character table and Cartan matrices with respect to basic sets; we observe that similar phenomena occur for the transition matrices between power sum symmetric functions to bounded partitions and the $k$-Schur functions introduced by Lapointe and Morse. Arithmetic properties of the numbers occurring in this context are studied via generating functions.
Lectures on spin representation theory of symmetric groups
Published in Bulletin of the Institute of Mathematics, Academia Sinica (N.S.) 7 (2012), 91--164
• Search Publication
The representation theory of the symmetric groups is intimately related to geometry, algebraic combinatorics, and Lie theory. The spin representation theory of the symmetric groups was originally developed by Schur. In these lecture notes, we present a coherent account of the spin counterparts of several classical constructions such as the Frobenius characteristic map, Schur duality, the coinvariant algebra, Kostka polynomials, and Young's seminormal form.
Triangulations and Severi varieties
Published in Experimental Mathematics 22, 1 (2013) 60-73
• View Publication
• BIB
We consider the problem of constructing triangulations of projective planes over Hurwitz algebras with minimal numbers of vertices. We observe that the numbers of faces of each dimension must be equal to the dimensions of certain representations of the automorphism groups of the corresponding Severi varieties. We construct a complex involving these representations, which should be considered as a geometric version of the (putative) triangulations.
Interval Graphs with Containment Restrictions
Published in Proceedings of the Thirty-Ninth Southeastern International Conference on Combinatorics, Graph Theory and Computing. Congr. Numer. 191 (2008), 117-128
• Search Publication
An interval graph is proper iff it has a representation in which no interval contains another. Fred Roberts characterized the proper interval graphs as those containing no induced star $K_{1,3}$. Proskurowski and Telle have studied $q$-proper graphs, which are interval graphs having a representation in which no interval is properly contained in more than $q$ other intervals. Like Roberts they found that their classes of graphs where characterized, each by a single minimal forbidden subgraph. This paper initiates the study of $p$-improper interval graphs where no interval contains more than $p$ other intervals. This paper will focus on a special case of $p$-improper interval graphs for which the minimal forbidden subgraphs are readily described. Even in this case, it is apparent that a very wide variety of minimal forbidden subgraphs are possible.
Quantum cluster algebras and fusion products
Published
• View Publication
• BIB
$Q$-systems are recursion relations satisfied by the characters of the restrictions of special finite-dimensional modules of quantum affine algebras. They can also be viewed as mutations in certain cluster algebras, which have a natural quantum deformation. In this paper, we explain the relation in the simply-laced case between the resulting quantum $Q$-systems and the graded tensor product of Feigin and Loktev. We prove the graded version of the $M=N$ identities, and write expressions for these as non-commuting evaluated multi-residues of suitable products of solutions of the quantum $Q$-system. This leads to a simple reformulation of Feigin and Loktev's fusion coefficients as matrix elements in a representation of the quantum $Q$-system algebra.
The Linear Ordering Polytope via Representations
Let $P_n$ denote the $n$-th linear ordering polytope. We define projections from $P_n$ to the $n$-th permutahedron and to the $(n-1)$-st linear ordering polytope. Both projections are equivariant with respect to the natural $\Sn$-action and they project to orthogonal subspaces. In particular the second projection defines an $S_n$-action in $P_{n-1}$.
On the algebraic representation of selected optimal non-linear binary codes
Published
• View Publication
• BIB
Revisiting an approach by Conway and Sloane we investigate a collection of optimal non-linear binary codes and represent them as (non-linear) codes over Z4. The Fourier transform will be used in order to analyze these codes, which leads to a new algebraic representation involving subgroups of the group of units in a certain ring.
One of our results is a new representation of Best's (10, 40, 4) code as a coset of a subgroup in the group of invertible elements of the group ring Z4[Z5]. This yields a particularly simple algebraic decoding algorithm for this code.
The technique at hand is further applied to analyze Julin's (12, 144, 4) code and the (12, 24, 12) Hadamard code. It can also be used in order to construct a (non-optimal) binary (14, 56, 6) code.
Formal residue and computer proofs of combinatorial identities
The coefficient of x^{-1} of a formal Laurent series f(x) is called the formal residue of f(x). Many combinatorial numbers can be represented by the formal residues of hypergeometric terms. With these representations and the extended Zeilberger's algorithm, we generate recurrence relations for summations involving combinatorial sequences such as Stirling numbers. As examples, we give computer proofs of several known identities and derive some new identities. The applicability of this method is also studied.
Affine crystal structure on rigged configurations of type D_n^(1)
Published in Journal of Algebraic Combinatorics 37 (2013) 571--599
• View Publication
• BIB
Extending the work arXiv:math/0508107, we introduce the affine crystal action on rigged configurations which is isomorphic to the Kirillov-Reshetikhin crystal B^{r,s} of type D_n^(1) for any r,s. We also introduce a representation of B^{r,s} (r not equal to n-1,n) in terms of tableaux of rectangular shape r x s, which we coin Kirillov-Reshetikhin tableaux (using a non-trivial analogue of the type A column splitting procedure) to construct a bijection between elements of a tensor product of Kirillov-Reshetikhin crystals and rigged configurations.
Constructions of bipartite and bipartite-regular hypermaps
Published in The Electronic Journal of Combinatorics, Volume 19, Issue 4 (2012), Paper #P2
• View Publication
• BIB
A hypermap is bipartite if its set of flags can be divided into two parts A and B so that both A and B are the union of vertices, and consecutive vertices around an edge or a face are contained in alternate parts. A bipartite hypermap is bipartite-regular if its set of automorphisms is transitive on A and on B.
In this paper we see some properties of the constructions of bipartite hypermaps described algebraically by Breda and Duarte which generalize the construction induced by the Walsh representation of hypermaps. As an application we show that all surfaces have bipartite-regular hypermaps.
Isomorphism for even cycle matroids - I
A seminal result by Whitney describes when two graphs have the same cycles. We consider the analogous problem for even cycle matroids. A representation of an even cycle matroid is a pair formed by a graph together with a special set of edges of the graph. Such a pair is called a signed graph. We consider the problem of determining the relation between two signed graphs representing the same even cycle matroid. We refer to this problem as the Isomorphism Problem for even cycle matroids. We present two classes of signed graphs and we solve the Isomorphism Problem for these two classes. We conjecture that, up to simple operations, any two signed graphs representing the same even cycle matroid are either in one of these classes, or related by a modification of an operation for graphic matroids, or belonging to a small set of examples.
The Fibonacci partition triangles
Published
• View Publication
• BIB
In two previous papers we have presented partition formulae for the Fibonacci numbers motivated by the appearance of the Fibonacci numbers in the representation theory of the 3-Kronecker quiver and its universal cover, the 3-regular tree. Here we show that the basic information can be rearranged in two triangles. They are quite similar to the Pascal triangle of the binomial coefficients, but in contrast to the additivity rule for the Pascal triangle, we now deal with additivity along hooks, or, equivalently, with additive functions for valued translation quivers. As for the Pascal triangle, we see that the numbers in these Fibonacci partition triangles are given by evaluating polynomials. We show that the two triangles can be obtained from each other by looking at differences of numbers, it is sufficient to take differences along arrows and knight's moves.
Asymptotics of generalized Galois numbers via affine Kac-Moody algebras
Published in Proceedings of the American Mathematical Society 141 (2013), no. 10, 3313-3326
• View Publication
• BIB
Generalized Galois numbers count the number of flags in vector spaces over finite fields. Asymptotically, as the dimension of the vector space becomes large, we give their exponential growth and determine their initial values. The initial values are expressed analytically in terms of theta functions and Euler's generating function for the partition numbers. Our asymptotic enumeration method is based on a Demazure module limit construction for integrable highest weight representations of affine Kac-Moody algebras. For the classical Galois numbers, that count the number of subspaces in vector spaces over finite fields, the theta functions are Jacobi theta functions. We apply our findings to the asymptotic number of q-ary codes, and conclude with some final remarks about possible future research concerning asymptotic enumerations via limit constructions for affine Kac-Moody algebras.