representation ↗ reference
4053 papers tagged with this keyword
Cerny's conjecture, synchronizing automata, group representation theory
Published
• View Publication
• BIB
Let us say that a Cayley graph $Γ$ of a group $G$ of order $n$ is a Cerny Cayley graph if every synchronizing automaton containing $Γ$ as a subgraph with the same vertex set admits a synchronizing word of length at most $(n-1)^2$. In this paper we use the representation theory of groups over the rational numbers to obtain a number of new infinite families of {Č}ern{ý} Cayley graphs.
An instance of umbral methods in representation theory: the parking function module
We test the umbral methods introduced by Rota and Taylor within the theory of representation of symmetric group. We define a simple bijection between the set of all parking functions of length $n$ and the set of all noncrossing partitions of $\{1,2,...,n\}$. Then we give an umbral expression of the Frobenius characteristic of the parking function module introduced by Haiman that allows an explicit relation between this symmetric function and the volume polynomial of Pitman and Stanley.
Alcove walks, buildings, symmetric functions and representations
For a complex simple Lie algebra, the dimension $K_{λμ}$ of the $μ$ weight space of a finite dimensional representation of highest weight $λ$ is the same as the number of Littelmann paths of type $λ$ and weight $μ$. In this paper we give an explicit construction of a path of type $λ$ and weight $μ$ whenever $K_{λμ}\ne 0$. This construction has additional consequences, it produces an explicit point in the building which chamber retracts to $λ$ and sector retracts to $μ$, and an explicit point of the affine Grassmannian in the corresponding Mirković-Vilonen intersection. In an appendix we discuss the connection between retractions in buildings and alcove walks.
Discrete piecewise linear functions
Published
• View Publication
• BIB
The concept of permutograph is introduced and properties of integral functions on permutographs are established. The central result characterizes the class of integral functions that are representable as lattice polynomials. This result is used to establish lattice polynomial representations of piecewise linear functions on convex domains and continuous selectors on linear orders.
A Proof of the Cameron-Ku conjecture
Published
• View Publication
• BIB
A family of permutations A \subset S_n is said to be intersecting if any two permutations in A agree at some point, i.e. for any σ, π\in A, there is some i such that σ(i)=π(i). Deza and Frankl showed that for such a family, |A| <= (n-1)!. Cameron and Ku showed that if equality holds then A = {σ\in S_{n}: σ(i)=j} for some i and j. They conjectured a `stability' version of this result, namely that there exists a constant c < 1 such that if A \subset S_{n} is an intersecting family of size at least c(n-1)!, then there exist i and j such that every permutation in A maps i to j (we call such a family `centred'). They also made the stronger `Hilton-Milner' type conjecture that for n \geq 6, if A \subset S_{n} is a non-centred intersecting family, then A cannot be larger than the family C = {σ\in S_{n}: σ(1)=1, σ(i)=i \textrm{for some} i > 2} \cup {(12)}, which has size (1-1/e+o(1))(n-1)!.
We prove the stability conjecture, and also the Hilton-Milner type conjecture for n sufficiently large. Our proof makes use of the classical representation theory of S_{n}. One of our key tools will be an extremal result on cross-intersecting families of permutations, namely that for n \geq 4, if A,B \subset S_{n} are cross-intersecting, then |A||B| \leq ((n-1)!)^{2}. This was a conjecture of Leader; it was recently proved for n sufficiently large by Friedgut, Pilpel and the author.
Cluster algebras, quiver representations and triangulated categories
Published
• View Publication
• BIB
This is an introduction to some aspects of Fomin-Zelevinsky's cluster algebras and their links with the representation theory of quivers and with Calabi-Yau triangulated categories. It is based on lectures given by the author at summer schools held in 2006 (Bavaria) and 2008 (Jerusalem). In addition to by now classical material, we present the outline of a proof of the periodicity conjecture for pairs of Dynkin diagrams (details will appear elsewhere) and recent results on the interpretation of mutations as derived equivalences.
Mean asymptotic behaviour of radix-rational sequences and dilation equations (Extended version)
Published
• View Publication
• BIB
The generating series of a radix-rational sequence is a rational formal power series from formal language theory viewed through a fixed radix numeration system. For each radix-rational sequence with complex values we provide an asymptotic expansion for the sequence of its Cesàro means. The precision of the asymptotic expansion depends on the joint spectral radius of the linear representation of the sequence; the coefficients are obtained through some dilation equations. The proofs are based on elementary linear algebra.
Tridiagonal pairs of $q$-Racah type
Published
• View Publication
• BIB
Let $K$ denote an algebraically closed field and let $V$ denote a vector space over $K$ with finite positive dimension. We consider a pair of linear transformations $A:V \to V$ and $A^*:V \to V$ that satisfy the following conditions: (i) each of $A,A^*$ is diagonalizable; (ii) there exists an ordering $\lbrace V_i\rbrace_{i=0}^d$ of the eigenspaces of $A$ such that $A^* V_i \subseteq V_{i-1} + V_{i} + V_{i+1}$ for $0 \leq i \leq d$, where $V_{-1}=0$ and $V_{d+1}=0$; (iii) there exists an ordering $\lbrace V^*_i\rbrace_{i=0}^δ$ of the eigenspaces of $A^*$ such that $A V^*_i \subseteq V^*_{i-1} + V^*_{i} + V^*_{i+1}$ for $0 \leq i \leq δ$, where $V^*_{-1}=0$ and $V^*_{δ+1}=0$; (iv) there is no subspace $W$ of $V$ such that $AW \subseteq W$, $A^* W \subseteq W$, $W \neq 0$, $W \neq V$. We call such a pair a {\it tridiagonal pair} on $V$. It is known that $d=δ$. For $0 \leq i \leq d$ let $θ_i$ (resp. $θ^*_i$) denote the eigenvalue of $A$ (resp. $A^*$) associated with $V_i$ (resp. $V^*_i$). The pair $A,A^*$ is said to have {\it $q$-Racah type} whenever $θ_i = a + b q^{2i-d}+ c q^{d-2i}$ and $θ^*_i = a^* + b^*q^{2i-d}+c^*q^{d-2i}$ for $0 \leq i \leq d$, where $q, a,b,c,a^*,b^*,c^*$ are scalars in $K$ with $q,b,c,b^*,c^*$ nonzero and $q^2 \not\in \lbrace 1,-1\rbrace$. This type is the most general one. We classify up to isomorphism the tridiagonal pairs over $K$ that have $q$-Racah type. Our proof involves the representation theory of the quantum affine algebra $U_q(\widehat{\mathfrak{sl}}_2)$.
Confinement of matroid representations to subsets of partial fields
Published in Journal of Combinatorial Theory, Series B, vol. 100, Issue 6, pp. 510-545, 2010
• View Publication
• BIB
Let M be a matroid representable over a (partial) field P and B a matrix representable over a sub-partial field P' of P. We say that B confines M to P' if, whenever a P-representation matrix A of M has a submatrix B, A is a scaled P'-matrix. We show that, under some conditions on the partial fields, on M, and on B, verifying whether B confines M to P' amounts to a finite check. A corollary of this result is Whittle's Stabilizer Theorem.
A combination of the Confinement Theorem and the Lift Theorem from arXiv:0804.3263 leads to a short proof of Whittle's characterization of the matroids representable over GF(3) and other fields.
We also use a combination of the Confinement Theorem and the Lift Theorem to prove a characterization, in terms of representability over partial fields, of the 3-connected matroids that have k inequivalent representations over GF(5), for k = 1, ..., 6.
Additionally we give, for a fixed matroid M, an algebraic construction of a partial field P_M and a representation A over P_M such that every representation of M over a partial field P is equal to f(A) for some homomorphism f:P_M->P. Using the Confinement Theorem we prove an algebraic analog of the theory of free expansions by Geelen et al.
Worst Case to Average Case Reductions for Polynomials
Published
• View Publication
• BIB
A degree-$d$ polynomial $p$ in $n$ variables over a field $\F$ is {\em equidistributed} if it takes on each of its $|\F|$ values close to equally often, and {\em biased} otherwise. We say that $p$ has a {\em low rank} if it can be expressed as a bounded combination of polynomials of lower degree. Green and Tao [gt07] have shown that bias imply low rank over large fields (i.e. for the case $d < |\F|$). They have also conjectured that bias imply low rank over general fields. In this work we affirmatively answer their conjecture. Using this result we obtain a general worst case to average case reductions for polynomials. That is, we show that a polynomial that can be {\em approximated} by few polynomials of bounded degree, can be {\em computed} by few polynomials of bounded degree. We derive some relations between our results to the construction of pseudorandom generators, and to the question of testing concise representations.
The Planar Rook Algebra and Pascal's Triangle
Published
• View Publication
• BIB
We study the combinatorial representation theory of the ``planar rook algebra" $P_n$. This algebra has a basis consisting of planar rook diagrams and multiplication given by diagram concatenation. For each integer $0 \le k \le n$, we construct natural representations $V^n_k$ which form a complete set of non-isomorphic, irreducible $P_n$-representations. We explicitly decompose the regular representation of $P_n$ into a direct sum of irreducible modules. We compute the Bratteli diagram for the tower of algebras $P_0 \subseteq P_1 \subseteq P_2 \subseteq ...$ and show that this Bratteli diagram is Pascal's triangle. In fact, we show that many of the binomial identities, both additive and multiplicative, have interpretations in terms of the representation theory of the planar rook algebra.
Jack polynomials and the coinvariant ring of $G(r,p,n)$
Published
• View Publication
• BIB
We study the coinvariant ring of the complex reflection group $G(r,p,n)$ as a module for the corresponding rational Cherednik algebra $\HH$ and its generalized graded affine Hecke subalgebra $\mathcal{H}$. We construct a basis consisting of non-symmetric Jack polynomials, and using this basis decompose the coinvariant ring into irreducible modules for $\mathcal{H}$. The basis consists of certain non-symmetric Jack polynomials, whose leading terms are the ``descent monomials'' for $G(r,p,n)$ recently studied by Adin, Brenti, and Roichman and Bagno and Biagoli. The irreducible $\mathcal{H}$-submodules of the coinvariant ring are their ``colored descent representations''.
Link invariants, the chromatic polynomial and the Potts model
Published in Adv. Theor. Math. Phys. 14 (2010), 507-540
• View Publication
• BIB
We study the connections between link invariants, the chromatic polynomial, geometric representations of models of statistical mechanics, and their common underlying algebraic structure. We establish a relation between several algebras and their associated combinatorial and topological quantities. In particular, we define the chromatic algebra, whose Markov trace is the chromatic polynomial χ_Q of an associated graph, and we give applications of this new algebraic approach to the combinatorial properties of the chromatic polynomial. In statistical mechanics, this algebra occurs in the low temperature expansion of the Q-state Potts model. We establish a relationship between the chromatic algebra and the SO(3) Birman-Murakami-Wenzl algebra, which is an algebra-level analogue of the correspondence between the SO(3) Kauffman polynomial and the chromatic polynomial.
Gale duality and Koszul duality
Published in Advances in Mathematics, 225 (2010) 2002-2049
• View Publication
• BIB
Given an affine hyperplane arrangement with some additional structure, we define two finite-dimensional, noncommutative algebras, both of which are motivated by the geometry of hypertoric varieties. We show that these algebras are Koszul dual to each other, and that the roles of the two algebras are reversed by Gale duality. We also study the centers and representation categories of our algebras, which are in many ways analogous to integral blocks of category O.
Quantum spaces associated to multipermutation solutions of level two
Published
• View Publication
• BIB
We study finite set-theoretic solutions $(X,r)$ of the Yang-Baxter equation of square-free multipermutation type. We show that each such solution over $\C$ with multipermutation level two can be put in diagonal form with the associated Yang-Baxter algebra $\Acal(\C,X,r)$ having a $q$-commutation form of relations determined by complex phase factors. These complex factors are roots of unity and all roots of a prescribed form appear as determined by the representation theory of finite abelian group $\Gcal$ of left actions on $X$. We study the structure of $\Acal(\C,X,r)$ and show that they have a $\bullet$-product form `quantizing' the commutative algebra of polynomials in $|X|$ variables. We obtain the $\bullet$-product both as a Drinfeld cotwist for a certain canonical 2-cocycle and as a braided-opposite product for a certain crossed $\Gcal$-module (over any field $k$). We provide first steps in the noncommutative differential geometry of $\Acal(k,X,r)$ arising from these results. As a byproduct of our work we find that every such level 2 solution $(X,r)$ factorises as $r=f\circτ\circ f^{-1}$ where $τ$ is the flip map and $(X,f)$ is another solution coming from $X$ as a crossed $\Gcal$-set.
Homology representations arising from the half cube
Published
• View Publication
• BIB
We construct a CW decomposition $C_n$ of the $n$-dimensional half cube in a manner compatible with its structure as a polytope. For each $3 \leq k \leq n$, the complex $C_n$ has a subcomplex $C_{n, k}$, which coincides with the clique complex of the half cube graph if $k = 4$. The homology of $C_{n, k}$ is concentrated in degree $k-1$ and furthermore, the $(k-1)$-st Betti number of $C_{n, k}$ is equal to the $(k-2)$-nd Betti number of the complement of the $k$-equal real hyperplane arrangement. These Betti numbers, which also appear in theoretical computer science, numerical analysis and engineering, are the coefficients of a certain Pascal-like triangle (Sloane's sequence A119258). The Coxeter groups of type $D_n$ act naturally on the complexes $C_{n, k}$, and thus on the associated homology groups.
Representation of Finite Abelian Group Elements by Subsequence Sums
Published
• View Publication
• BIB
Let $G\cong C_{n_1}\oplus ... \oplus C_{n_r}$ be a finite and nontrivial abelian group with $n_1|n_2|...|n_r$. A conjecture of Hamidoune says that if $W=w_1... w_n$ is a sequence of integers, all but at most one relatively prime to $|G|$, and $S$ is a sequence over $G$ with $|S|\geq |W|+|G|-1\geq |G|+1$, the maximum multiplicity of $S$ at most $|W|$, and $σ(W)\equiv 0\mod |G|$, then there exists a nontrivial subgroup $H$ such that every element $g\in H$ can be represented as a weighted subsequence sum of the form $g=\sum_{i=1}^{n}w_is_i$, with $s_1... s_n$ a subsequence of $S$. We give two examples showing this does not hold in general, and characterize the counterexamples for large $|W|\geq {1/2}|G|$.
A theorem of Gao, generalizing an older result of Olson, says that if $G$ is a finite abelian group, and $S$ is a sequence over $G$ with $|S|\geq |G|+D(G)-1$, then either every element of $G$ can be represented as a $|G|$-term subsequence sum from $S$, or there exists a coset $g+H$ such that all but at most $|G/H|-2$ terms of $S$ are from $g+H$. We establish some very special cases in a weighted analog of this theorem conjectured by Ordaz and Quiroz, and some partial conclusions in the remaining cases, which imply a recent result of Ordaz and Quiroz. This is done, in part, by extending a weighted setpartition theorem of Grynkiewicz, which we then use to also improve the previously mentioned result of Gao by showing that the hypothesis $|S|\geq |G|+D(G)-1$ can be relaxed to $|S|\geq |G|+d^*(G)$, where $d^*(G)=\Sum_{i=1}^{r}(n_i-1)$. We also use this method to derive a variation on Hamidoune's conjecture valid when at least $d^*(G)$ of the $w_i$ are relatively prime to $|G|$.
Topology Types of Adinkras and the Corresponding Representations of N-Extended Supersymmetry
We present further progress toward a complete classification scheme for describing supermultiplets of N-extended worldline supersymmetry, which relies on graph-theoretic topological invariants. In particular, we demonstrate a relationship between Adinkra diagrams and quotients of N-dimensional cubes, where the quotient groups are subgroups of $(Z_2)^N$. We explain how these quotient groups correspond precisely to doubly even binary linear error-correcting codes, so that the classification of such codes provides a means for describing equivalence classes of Adinkras and therefore supermultiplets. Using results from coding theory we exhibit the enumeration of these equivalence classes for all cases up to 26 supercharges, as well as the maximal codes, corresponding to minimal supermultiplets, for up to 32 supercharges.
Relating Doubly-Even Error-Correcting Codes, Graphs, and Irreducible Representations of N-Extended Supersymmetry
Previous work has shown that the classification of indecomposable off-shell representations of N-supersymmetry, depicted as Adinkras, may be factored into specifying the topologies available to Adinkras, and then the height-assignments for each topological type. The latter problem being solved by a recursive mechanism that generates all height-assignments within a topology, it remains to classify the former. Herein we show that this problem is equivalent to classifying certain (1) graphs and (2) error-correcting codes.
Locally Toroidal Polytopes and Modular Linear Groups
Published
• View Publication
• BIB
When the standard representation of a crystallographic Coxeter group G (with string diagram) is reduced modulo the integer d>1, one obtains a finite group G^d which is often the automorphism group of an abstract regular polytope. Building on earlier work in the case that d is an odd prime, we here develop methods to handle composite moduli and completely describe the corresponding modular polytopes when G is of spherical or Euclidean type. Using a modular variant of the quotient criterion, we then describe the locally toroidal polytopes provided by our construction, most of which are new.