arXiv++ Combinatorics

Browse math.CO papers from arXiv

representation ↗ reference

4053 papers tagged with this keyword
2008-10-16
Properties of weight posets for weight multiplicity free representations
Published • View PublicationBIB
We study weight posets of weight multiplicity free (=wmf) representations $R$ of reductive Lie algebras. Specifically, we are interested in relations between $\dim R$ and the number of edges in the Hasse diagram of the corresponding weight poset, $# E(R)$. We compute the number of edges and upper covering polynomials for the weight posets of all wmf-representations. We also point out non-trivial isomorphisms between weight posets of different irreducible wmf-representations. Our main results concern wmf-representations associated with periodic gradings or Z-gradings of simple Lie algebras. For Z-gradings, we prove that $0< 2dim R-# E(R) < h$, where $h$ is the Coxeter number of $\mathfrak g$. For periodic gradings, we prove that $0\le 2dim R-# E(R)$.
2008-10-14 v5
On a problem of Specker about Euclidean representations of finite graphs
Say that a graph $G$ is \emph{representable in $\R ^n$} if there is a map $f$ from its vertex set into the Euclidean space $\R ^n$ such that $\| f(x) - f(x')\| = \| f(y) - f(y')\|$ iff $\{x,x'\}$ and $\{y, y'\}$ are both edges or both non-edges in $G$. The purpose of this note is to present the proof of the following result, due to Einhorn and Schoenberg: if $G$ finite is neither complete nor independent, then it is representable in $\R ^{|G|-2}$. A similar result also holds in the case of finite complete edge-colored graphs.
On representable graphs, semi-transitive orientations, and the representation numbers
A graph $G=(V,E)$ is representable if there exists a word $W$ over the alphabet $V$ such that letters $x$ and $y$ alternate in $W$ if and only if $(x,y)\in E$ for each $x\neq y$. If $W$ is $k$-uniform (each letter of $W$ occurs exactly $k$ times in it) then $G$ is called $k$-representable. It was shown that a graph is representable if and only if it is $k$-representable for some $k$. Minimum $k$ for which a representable graph $G$ is $k$-representable is called its representation number. In this paper we give a characterization of representable graphs in terms of orientations. Namely, we show that a graph is representable if and only if it admits an orientation into a so-called \emph{semi-transitive digraph}. This allows us to prove a number of results about representable graphs, not the least that 3-colorable graphs are representable. We also prove that the representation number of a graph on $n$ nodes is at most $n$, from which one concludes that the recognition problem for representable graphs is in NP. This bound is tight up to a constant factor, as we present a graph whose representation number is $n/2$. We also answer several questions, in particular, on representability of the Petersen graph and local permutation representability.
2008-09-28
$W$-graph versions of tensoring with the $§_n$ defining representation
Published • View PublicationBIB
We further develop the theory of inducing $W$-graphs worked out by Howlett and Yin in \cite{HY1}, \cite{HY2}, focusing on the case $W = §_n$. Our main application is to give two $W$-graph versions of tensoring with the $§_n$ defining representation $V$, one being $\H \tsr_{\H_J} -$ for $\H, \H_J$ the Hecke algebras of $§_n, §_{n-1}$ and the other $(\pH \tsr_{\H} -)_1$, where $\pH$ is a subalgebra of the extended affine Hecke algebra and the subscript signifies taking the degree 1 part. We look at the corresponding $W$-graph versions of the projection $V \tsr V \tsr - \to S^2 V \tsr -$. This does not send canonical basis elements to canonical basis elements, but we show that it approximates doing so as the Hecke algebra parameter $\u \to 0$. We make this approximation combinatorially explicit by determining it on cells. Also of interest is a combinatorial conjecture stating the restriction of $\H$ to $\H_J$ is "weakly multiplicity-free" for $|J| = n-1$, and a partial determination of the map $\H \tsr_{\H_J} \H \xrightarrow{\counit} \H$ on canonical basis elements, where $\counit$ is the counit of adjunction.
2008-09-22 v2
Parking functions and vertex operators
Published in Selecta Math. 14: 2 (2009), 229-245 • View PublicationBIB
We introduce several associative algebras and series of vector spaces associated to these algebras. Using lattice vertex operators, we obtain dimension and character formulae for these spaces. In particular, we a series of representations of symmetric groups which turn out to be isomorphic to parking function modules. We also construct series of vector spaces whose dimensions are Catalan numbers and Fuss--Catalan numbers respectively. Conjecturally, these spaces are related to spaces of global sections of vector bundles on (zero fibres of) Hilbert schemes and representations of rational Cherednik algebras.
2008-09-22
Unitary designs and codes
Published in Des. Codes Cryptogr. 53, 13-31 (2009) • View PublicationBIB
A unitary design is a collection of unitary matrices that approximate the entire unitary group, much like a spherical design approximates the entire unit sphere. In this paper, we use irreducible representations of the unitary group to find a general lower bound on the size of a unitary t-design in U(d), for any d and t. We also introduce the notion of a unitary code - a subset of U(d) in which the trace inner product of any pair of matrices is restricted to only a small number of distinct values - and give an upper bound for the size of a code of degree s in U(d) for any d and s. These bounds can be strengthened when the particular inner product values that occur in the code or design are known. Finally, we describe some constructions of designs: we give an upper bound on the size of the smallest weighted unitary t-design in U(d), and we catalogue some t-designs that arise from finite groups.
An inequality for Kruskal-Macaulay functions
Given integers $k\geq1$ and $n\geq0$, there is a unique way of writing $n$ as $n=\binom{n_{k}}{k}+\binom{n_{k-1}}{k-1}+...+\binom{n_{1}}{1}$ so that $0\leq n_{1}<...<n_{k-1}<n_{k}$. Using this representation, the \emph{Kruskal-Macaulay function of}$n$ is defined as $\partial^{k}(n) =\binom{n_{k}-1}{k-1}+\binom{n_{k-1}-1}{k-2}+...+\binom{n_{1}-1}% {0}.$ We show that if $a\geq0$ and $a<\partial^{k+1}(n) $, then $\partial^{k}(a) +\partial^{k+1}(n-a) \geq \partial^{k+1}(n) .$ As a corollary, we obtain a short proof of Macaulay's Theorem. Other previously known results are obtained as direct consequences.
2008-09-17
Sorting by Placement and Shift
Published • View PublicationBIB
In sorting situations where the final destination of each item is known, it is natural to repeatedly choose items and place them where they belong, allowing the intervening items to shift by one to make room. (In fact, a special case of this algorithm is commonly used to hand-sort files.) However, it is not obvious that this algorithm necessarily terminates. We show that in fact the algorithm terminates after at most $2^{n-1}-1$ steps in the worst case (confirming a conjecture of L. Larson), and that there are super-exponentially many permutations for which this exact bound can be achieved. The proof involves a curious symmetrical binary representation.
2008-09-15
Wreath Product Symmetric Functions
Published in Int. J. Algebra 3 (2009), no. 1-4, 1-19 • Search Publication
We systematically study wreath product Schur functions and give a combinatorial construction using colored partitions and tableaux. The Pieri rule and the Littlewood-Richardson rule are studied. We also discuss the connection with representations of generalized symmetric groups.
Intersection Graphs of Pseudosegments: Chordal Graphs
Published • View PublicationBIB
We investigate which chordal graphs have a representation as intersection graphs of pseudosegments. For positive we have a construction which shows that all chordal graphs that can be represented as intersection graph of subpaths on a tree are pseudosegment intersection graphs. We then study the limits of representability. We describe a family of intersection graphs of substars of a star which is not representable as intersection graph of pseudosegments. The degree of the substars in this example, however, has to get large. A more intricate analysis involving a Ramsey argument shows that even in the class of intersection graphs of substars of degree three of a star there are graphs that are not representable as intersection graph of pseudosegments. Motivated by representability questions for chordal graphs we consider how many combinatorially different k-segments, i.e., curves crossing k distinct lines, an arrangement of n pseudolines can host. We show that for fixed k this number is in O(n^2). This result is based on a k-zone theorem for arrangements of pseudolines that should be of independent interest.
2008-09-09 v2
Cyclic generators for irreducible representations of affine Hecke algebras
Published in Journal of Combinatorial Theory A vol. 117, p. 683--703 (2010) • View PublicationBIB
We give a detailed account of a combinatorial construction, due to Cherednik, of cyclic generators for irreducible modules of the affine Hecke algebra of the general linear group with generic parameter q.
2008-09-03 v2
Non-Gatherable Triples for Non-Affine Root Systems
Published in SIGMA 4 (2008), 079, 12 pages • View PublicationBIB
This paper contains a complete description of minimal non-gatherable triangle triples in the lambda-sequences for the classical root systems, $F_4$ and $E_6$. Such sequences are associated with reduced decompositions (words) in affine and non-affine Weyl groups. The existence of the non-gatherable triples is a combinatorial obstacle for using the technique of intertwiners for an explicit description of the irreducible representations of the (double) affine Hecke algebras, complementary to their algebraic-geometric theory.
2008-09-03 v2
Homogeneous Representations of Khovanov-Lauda Algebras
Published • View PublicationBIB
We construct irreducible graded representations of simply laced Khovanov-Lauda algebras which are concentrated in one degree. The underlying combinatorics of skew shapes and standard tableaux corresponding to arbitrary simply laced types has been developed previously by Peterson, Proctor and Stembridge. In particular, the Peterson-Proctor hook formula gives dimensions of the homogeneous irreducible modules corresponding to straight shapes.
2008-08-22
Top homology of hypergraph matching complexes, $p$-cycle complexes and Quillen complexes of symmetric groups
Published • View PublicationBIB
We investigate the representation of a symmetric group $S_n$ on the homology of its Quillen complex at a prime $p$. For homology groups in small codimension, we derive an explicit formula for this representation in terms of the representations of symmetric groups on homology groups of $p$-uniform hypergraph matching complexes. We conjecture an explicit formula for the representation of $S_n$ on the top homology group of the corresponding hypergraph matching complex when $n \equiv 1 \bmod p$. Our conjecture follows from work of Bouc when $p=2$, and we prove the conjecture when $p=3$.
2008-08-21
A binary tree representation for the 2-adic valuation of a sequence arising from a rational integral
Published • View PublicationBIB
We present a binary tree that describes the 2-adic valuation of a sequence of coefficients arising from the evaluation of a rational integral.
2008-08-19
A Refined Difference Field Theory for Symbolic Summation
Published in J. Symbolic Comput. 43(9), pp. 611-644. 2008 • View PublicationBIB
In this article we present a refined summation theory based on Karr's difference field approach. The resulting algorithms find sum representations with optimal nested depth. For instance, the algorithms have been applied successively to evaluate Feynman integrals from Perturbative Quantum Field Theory.
2008-08-19 v3
Characterizations of discrete Sugeno integrals as polynomial functions over distributive lattices
Published in Fuzzy Sets and Systems 161 (5) (2010) 694-707 • View PublicationBIB
We give several characterizations of discrete Sugeno integrals over bounded distributive lattices, as particular cases of lattice polynomial functions, that is, functions which can be represented in the language of bounded lattices using variables and constants. We also consider the subclass of term functions as well as the classes of symmetric polynomial functions and weighted minimum and maximum functions, and present their characterizations, accordingly. Moreover, we discuss normal form representations of these functions.
How to Draw Tropical Planes
Published in Electronic Journal of Combinatorics, 16 (2009), no. 2 • View PublicationBIB
The tropical Grassmannian parameterizes tropicalizations of linear spaces, while the Dressian parameterizes all planes in $\TP^{n-1}$. We study these parameter spaces and we compute them explicitly for $n \leq 7$. Planes are identified with matroid subdivisions and with arrangements of trees. These representations are used to draw pictures.
2008-08-16
On the geometry of a class of invariant measures and a problem of Aldous
In his 1985 survey of notions of exchangeability, Aldous introduced a form of exchangeability corresponding to the symmetries of the infinite discrete cube, and asked whether these exchangeable probability measures enjoy a representation theorem similar to those for exchangeable sequences, arrays and set-indexed families. In this note we to prove that, whereas the known representation theorems for different classes of partially exchangeable probability measure imply that the compact convex set of such measures is a Bauer simplex (that is, its subset of extreme points is closed), in the case of cube-exchangeability it is a copy of the Poulsen simplex (in which the extreme points are dense). This follows from the arguments used by Glasner and Weiss' for their characterization of property (T) in terms of the geometry of the simplex of invariant measures for associated generalized Bernoulli actions. The emergence of this Poulsen simplex suggests that, if a representation theorem for these processes is available at all, it must take a very different form from the case of set-indexed exchangeable families.
2008-08-13
Injective and non-injective realizations with symmetry
Published • View PublicationBIB
In this paper, we introduce a natural classification of bar and joint frameworks that possess symmetry. This classification establishes the mathematical foundation for extending a variety of results in rigidity, as well as infinitesimal or static rigidity, to frameworks that are realized with certain symmetries and whose joints may or may not be embedded injectively in the space. In particular, we introduce a symmetry-adapted notion of `generic' frameworks with respect to this classification and show that `almost all' realizations in a given symmetry class are generic and all generic realizations in this class share the same infinitesimal rigidity properties. Within this classification we also clarify under what conditions group representation theory techniques can be applied to further analyze the rigidity properties of a (not necessarily injective) symmetric realization.