representation ↗ reference
4053 papers tagged with this keyword
Vacillating Hecke Tableaux and Linked Partitions
Published
• View Publication
• BIB
We introduce the structure of vacillating Hecke tableaux, and establish a one-to-one correspondence between vacillating Hecke tableaux and linked partitions by using the Hecke insertion algorithm developed by Buch, Kresch, Shimozono, Tamvakis and Yong. Linked partitions arise in free probability theory. Motivated by the Hecke insertion algorithm, we define a Hecke diagram as a Young diagram possibly with a marked corner. A vacillating Hecke tableau is defined as a sequence of Hecke diagrams subject to certain addition and deletion of rook strips. The notion of a rook strip was introduced by Buch in the study of the Littlewood-Richardson rule for stable Grothendieck polynomials. A rook strip is a skew Young diagram with at most one square in each row and column. We show that the crossing number and the nesting number of a linked partition can be determined by the maximal number of rows and the maximal number of columns of the diagrams in the corresponding vacillating Hecke tableau. The proof relies on a theorem due to Thomas and Yong concerning the lengths of the longest strictly increasing and the longest strictly decreasing subsequences in a word. This implies that the crossing number and the nesting number have a symmetric joint distribution over linked partitions, confirming a conjecture of de Mier. We also prove a conjecture of Kim which states that the crossing number and the nesting number have a symmetric joint distribution over the front representations of partitions.
Return words of linear involutions and fundamental groups
Published
• View Publication
• BIB
We investigate the natural codings of linear involutions. We deduce from the geometric representation of linear involutions as Poincaré maps of measured foliations a suitable definition of return words which yields that the set of first return words to a given word is a symmetric basis of the free group on the underlying alphabet $A$. The set of first return words with respect to a subgroup of finite index $G$ of the free group on $A$ is also proved to be a symmetric basis of $G$.
Group representations that resist random sampling
Published
• View Publication
• BIB
We show that there exists a family of groups $G_n$ and nontrivial irreducible representations $ρ_n$ such that, for any constant $t$, the average of $ρ_n$ over $t$ uniformly random elements $g_1, \ldots, g_t \in G_n$ has operator norm $1$ with probability approaching 1 as $n \rightarrow \infty$. More quantitatively, we show that there exist families of finite groups for which $Ω(\log \log |G|)$ random elements are required to bound the norm of a typical representation below $1$. This settles a conjecture of A. Wigderson.
Restrictions of rainbow supercharacters
Published
• View Publication
• BIB
The maximal subgroup of unipotent upper-triangular matrices of the finite general linear groups are a fundamental family of $p$-groups. Their representation theory is well-known to be wild, but there is a standard supercharacter theory, replacing irreducible representations by super-representations, that gives us some control over its representation theory. While this theory has a beautiful underlying combinatorics built on set partitions, the structure constants of restricted super-representations remain mysterious. This paper proposes a new approach to solving the restriction problem by constructing natural intermediate modules that help "factor" the computation of the structure constants. We illustrate the technique by solving the problem completely in the case of rainbow supercharacters (and some generalizations). Along the way we introduce a new $q$-analogue of the binomial coefficients that depend on an underlying poset.
Intersection Graphs of L-Shapes and Segments in the Plane
Published
• View Publication
• BIB
An L-shape is the union of a horizontal and a vertical segment with a common endpoint. These come in four rotations: L, Γ, LE{} and \eeG. A $k$-bend path is a simple path in the plane, whose direction changes $k$ times from horizontal to vertical. If a graph admits an intersection representation in which every vertex is represented by an L, an L{} or Γ, a $k$-bend path, or a segment, then this graph is called an $\{L\}$-graph, $\{L,Γ\}$-graph, $B_k$-VPG-graph or SEG-graph, respectively. Motivated by a theorem of Middendorf and Pfeiffer [Discrete Mathematics, 108(1):365--372, 1992], stating that every $\{L,Γ\}$-graph is a SEG-graph, we investigate several known subclasses of SEG-graphs and show that they are $\{L\}$-graphs, or $B_k$-VPG-graphs for some small constant $k$. We show that all planar $3$-trees, all line graphs of planar graphs, and all full subdivisions of planar graphs are $\{L\}$-graphs. Furthermore we show that all complements of planar graphs are $B_{17}$-VPG-graphs and all complements of full subdivisions are $B_2$-VPG-graphs. Here a full subdivision is a graph in which each edge is subdivided at least once.
Hecke algebras with independent parameters
Published
• View Publication
• BIB
We study the Hecke algebra $\H(\bq)$ over an arbitrary field $\FF$ of a Coxeter system $(W,S)$ with independent parameters $\bq=(q_s\in\FF:s\in S)$ for all generators. This algebra is always linearly spanned by elements indexed by the Coxeter group $W$. This spanning set is indeed a basis if and only if every pair of generators joined by an odd edge in the Coxeter diagram receive the same parameter. In general, the dimension of $\H(\bq)$ could be as small as $1$. We construct a basis for $\H(\bq)$ when $(W,S)$ is simply laced. We also characterize when $\H(\bq)$ is commutative, which happens only if the Coxeter diagram of $(W,S)$ is simply laced and bipartite. In particular, for type A we obtain a tower of semisimple commutative algebras whose dimensions are the Fibonacci numbers. We show that the representation theory of these algebras has some features in analogy/connection with the representation theory of the symmetric groups and the 0-Hecke algebras.
Recognizing signed-graphic matroids: Cylinder flips and the importance of column scaling
In this paper, we investigate the importance of column scaling in relating two signed-graphic representations of the same matroid. We used the Sage Mathematics software to generate many examples of signed-graphic matroids and their signed-graphic representations. Our examples show that column scaling is sometimes necessary in order to transform one signed-graphic representation into another; moreover, there exist many collections of signed-graphic representations that row-reduce to the same standard form. We also discuss an interesting matroid-preserving operation on a signed graph, which we call the cylinder flip, that relates certain pairs of signed-graphic representations of the same matroid.
Some remarkable new Plethystic Operators in the Theory of Macdonald Polynomials
Published
• View Publication
• BIB
In the 90's a collection of Plethystic operators were introduced in [3], [7] and [8] to solve some Representation Theoretical problems arising from the Theory of Macdonald polynomials. This collection was enriched in the research that led to the results which appeared in [5], [6] and [9]. However since some of the identities resulting from these efforts were eventually not needed, this additional work remained unpublished. As a consequence of very recent publications [4], [11], [19], [20], [21], a truly remarkable expansion of this theory has taken place. However most of this work has appeared in a language that is virtually inaccessible to practitioners of Algebraic Combinatorics. Yet, these developments have led to a variety of new conjectures in [2] in the Combinatorics and Symmetric function Theory of Macdonald Polynomials. The present work results from an effort to obtain in an elementary and accessible manner all the background necessary to construct the symmetric function side of some of these new conjectures. It turns out that the above mentioned unpublished results provide precisely the tools needed to carry out this project to its completion.
Automorphism group of the complete transposition graph
Published in Journal of Algebraic Combinatorics, vol. 42, no. 3, pp. 793-801, November 2015
• View Publication
• BIB
The complete transposition graph is defined to be the graph whose vertices are the elements of the symmetric group $S_n$, and two vertices $α$ and $β$ are adjacent in this graph iff there is some transposition $(i,j)$ such that $α=(i,j) β$. Thus, the complete transposition graph is the Cayley graph $\Cay(S_n,S)$ of the symmetric group generated by the set $S$ of all transpositions. An open problem in the literature is to determine which Cayley graphs are normal. It was shown recently that the Cayley graph generated by 4 cyclically adjacent transpositions is not normal. In the present paper, it is proved that the complete transposition graph is not a normal Cayley graph, for all $n \ge 3$. Furthermore, the automorphism group of the complete transposition graph is shown to equal \[ \Aut(\Cay(S_n,S)) = (R(S_n) \rtimes \Inn(S_n)) \rtimes \mathbb{Z}_2, \] where $R(S_n)$ is the right regular representation of $S_n$, $\Inn(S_n)$ is the group of inner automorphisms of $S_n$, and $\mathbb{Z}_2 = \langle h \rangle$, where $h$ is the map $α\mapsto α^{-1}$.
A Polyhedral Proof of the Matrix Tree Theorem
The classical matrix tree theorem relates the number of spanning trees of a connected graph with the product of the nonzero eigenvalues of its Laplacian matrix. The class of regular matroids generalizes that of graphical matroids, and a generalization of the matrix tree theorem holds for this wider class.
We give a new, geometric proof of this fact by showing via a dissect-and-rearrange argument that two combinatorially distinct zonotopes associated to a regular matroid have the same volume. Along the way we prove that for a regular oriented matroid represented by a unimodular matrix, the lattice spanned by its cocircuits coincides with the lattice spanned by the rows of the representation matrix.
Finally, by extending our setup to the weighted case we give new proofs of recent results of An et al. on weighted graphs, and extend them to cover regular matroids.
No use is made of the Cauchy-Binet Theorem nor divisor theory on graphs.
Binomial partial Steiner triple systems containing complete graphs
We propose a new approach to studies on partial Steiner triple systems consisting in determining complete graphs contained in them. We establish the structure which complete graphs yield in a minimal PSTS that contains them. As a by-product we introduce the notion of a binomial PSTS as a configuration with parameters of a minimal PSTS with a complete subgraph. A representation of binomial PSTS with at least a given number of its maximal complete subgraphs is given in terms of systems of perspectives. Finally, we prove that for each admissible integer there is a binomial PSTS with this number of maximal complete subgraphs.
The Gelfand-Tsetlin graph and Markov processes
Published in In: Proceedings of the International Congress of Mathematicians, Seoul 2014, Vol. IV, pp. 431-453. Seoul, 2014
• Search Publication
The goal of the paper is to describe new connections between representation theory and algebraic combinatorics on one side, and probability theory on the other side.
The central result is a construction, by essentially algebraic tools, of a family of Markov processes. The common state space of these processes is an infinite dimensional (but locally compact) space Omega. It arises in representation theory as the space of indecomposable characters of the infinite-dimensional unitary group U(infinity).
Alternatively, Omega can be defined in combinatorial terms as the boundary of the Gelfand-Tsetlin graph --- an infinite graded graph that encodes the classical branching rule for characters of the compact unitary groups U(N).
We also discuss two other topics concerning the Gelfand-Tsetlin graph:
(1) Computation of the number of trapezoidal Gelfand-Tsetlin schemes (one could also say, the number of integral points in a truncated Gelfand-Tsetlin polytope). The formula we obtain is well suited for asymptotic analysis.
(2) A degeneration procedure relating the Gelfand-Tsetlin graph to the Young graph by means of a new combinatorial object, the Young bouquet.
At the end we discuss a few related works and further developments.
Overview of the Heisenberg--Weyl Algebra and Subsets of Riordan Subgroups
Published
• View Publication
• BIB
In a first part, we are concerned with the relationships between polynomials in the two generators of the algebra of Heisenberg--Weyl, its Bargmann--Fock representation with differential operators and the associated one-parameter group.Upon this basis, the paper is then devoted to the groups of Riordan matrices associated to the related transformations of matrices (i.e. substitutions with prefunctions). Thereby, various properties are studied arising in Riordan arrays, in the Riordan group and, more specifically, in the `striped' Riordan subgroups; further, a striped quasigroup and a semigroup are also examined. A few applications to combinatorial structures are also briefly addressed in the Appendix.
On compositions with $x^2/(1-x)$
Published in Proc. Amer. Math. Soc. 143 (2015), 4583-4596
• View Publication
• BIB
In the past, empirical evidence has been presented that Hilbert series of symplectic quotients of unitary representations obey a certain universal system of infinitely many constraints. Formal series with this property have been called \emph{symplectic}. Here we show that a formal power series is symplectic if and only if it is a formal composite with the formal power series $x^2/(1-x)$. Hence the set of symplectic power series forms a subalgebra of the algebra of formal power series. The subalgebra property is translated into an identity for the coefficients of the even Euler polynomials, which can be interpreted as a cubic identity for the Bernoulli numbers. Furthermore we show that a rational power series is symplectic if and only if it is invariant under the idempotent Möbius transformation $x\mapsto x/(x-1)$. It follows that the Hilbert series of a graded Cohen-Macaulay algebra $A$ is symplectic if and only if $A$ is Gorenstein with its a-invariant and its Krull dimension adding up to zero. It is shown that this is the case for algebras of regular functions on symplectic quotients of unitary representations of tori.
Graphical representations of graphic frame matroids
Published
• View Publication
• BIB
A frame matroid M is graphic if there is a graph G with cycle matroid isomorphic to M. In general, if there is one such graph, there will be many. Zaslavsky has shown that frame matroids are precisely those having a representation as a biased graph; this class includes graphic matroids, bicircular matroids, and Dowling geometries. Whitney characterized which graphs have isomorphic cycle matroids, and Matthews characterised which graphs have isomorphic graphic bicircular matroids. In this paper, we give a characterization of which biased graphs give rise to isomorphic graphic frame matroids.
The numbers of support-tilting modules for a Dynkin algebra
Published in Journal Integer Sequences, vol 18 (2015), Article 15.10.6
• Search Publication
The Dynkin algebras are the hereditary artin algebras of finite representation type. The paper exhibits the number of support-tilting modules for any Dynkin algebra. Since the support-tilting modules for a Dynkin algebra correspond bijectively to the non-crossing partitions of the same type, the calculations presented here may also be considered as a categorification of results concerning non-crossing partitions.
On an explicit representation of central $(2k+1)$-nomial coefficients
We propose an explicit representation of central $(2k+1)$-nomial coefficients in terms of finite sums over trigonometric constructs. The approach utilizes the diagonalization of circulant boolean matrices and is generalizable to all $(2k+1)$-nomial coefficients, thus yielding a new family of combinatorical identities.
On Maximal Green Sequences For Type A Quivers
Published in Journal of Algebraic Combinatorics March 2017, Volume 45, Issue 2, pp 553-599
• View Publication
• BIB
Given a framed quiver, i.e. one with a frozen vertex associated to each mutable vertex, there is a concept of green mutation, as introduced by Keller. Maximal sequences of such mutations, known as maximal green sequences, are important in representation theory and physics as they have numerous applications, including the computations of spectrums of BPS states, Donaldson-Thomas invariants, tilting of hearts in the derived category, and quantum dilogarithm identities. In this paper, we study such sequences and construct a maximal green sequence for every quiver mutation-equivalent to an orientation of a type A Dynkin diagram.
Kronecker Coefficients For Some Near-Rectangular Partitions
Published
• View Publication
• BIB
We give formulae for computing Kronecker coefficients occurring in the expansion of $s_μ*s_ν$, where both $μ$ and $ν$ are nearly rectangular, and have smallest parts equal to either 1 or 2. In particular, we study $s_{(n,n-1,1)}*s_{(n,n)}$, $s_{(n-1,n-1,1)}*s_{(n,n-1)}$, $s_{(n-1,n-1,2)}*s_{(n,n)}$, $s_{(n-1,n-1,1,1)}*s_{(n,n)}$ and $s_{(n,n,1)}*s_{(n,n,1)}$. Our approach relies on the interplay between manipulation of symmetric functions and the representation theory of the symmetric group, mainly employing the Pieri rule and a useful identity of Littlewood. As a consequence of these formulae, we also derive an expression enumerating certain standard Young tableaux of bounded height, in terms of the Motzkin and Catalan numbers.
Faithful representations of Chevalley groups over quotient rings of non-Archimedean local fields
Published
• View Publication
• BIB
Let $F$ be a non-Archimedean local field with the ring of integers $\mathcal{O}$ and the prime ideal $\mathfrak{p}$ and let $G={\bf G}\left(\mathcal{O}/\mathfrak{p}^n\right)$ be the adjoint Chevalley group. Let $m_f(G)$ denote the smallest possible dimension of a faithful representation of $G$. Using the Stone-von Neumann theorem, we determine a lower bound for $m_f(G)$ which is asymptotically the same as the results of Landazuri, Seitz and Zalesskii for split Chevalley groups over $\mathbb{F}_q$. Our result yields a conceptual explanation of the exponents that appear in the aforementioned results