arXiv++ Combinatorics

Browse math.CO papers from arXiv

representation ↗ reference

4143 papers tagged with this keyword
2005-05-26 v3
Amenability of Universal 2-Grigorchuk group
We consider the universal Grigorchuk 2-group, i.e., the group such that every Grigorchuk 2-group is a quotient. We show that this group has a nice universal representation in the group of all functions f:{0,1,2}^N --> Aut(T_2), where T_2 is a group of automorphism of the binary tree. Finally, we prove that this universal Grigorchuk 2-group is amenable. The proof is an application of the ``Munchhausen trick'' developed by V. Kaimanovich.
2005-05-25
Boxicity and Treewidth
Published • View Publication • BIB
In this paper, we relate the seemingly unrelated concepts of treewidth and boxicity. Our main result is that, for any graph G, boxicity(G) <= treewidth(G) + 2. We also show that this upper bound is (almost) tight. Our result leads to various interesting consequences, like bounding the boxicity of many well known graph classes, such as chordal graphs, circular arc graphs, AT-free graphs, co--comparability graphs etc. All our bounds are shown to be tight up to small constant factors. An algorithmic consequence of our result is a linear time algorithm to construct a box representation for graphs of bounded treewidth in a space of constant dimension. We also show many structural results as a consequence. In particular, we show that, if the boxicity of a graph is b >= 3, then there exists a simple cycle of length at least b-3 as well as an induced cycle of length at least floor of (log(b-2) to the base Delta) + 2, where Delta is its maximum degree. We also relate boxicity with the cardinality of minimum vertex cover, minimum feedback vertex cover etc. Another structural consequence is that, for any fixed planar graph H, there is a constant c(H) such that, if boxicity(G) >= c(H) then H is a minor of G.
2005-05-15
An explicit form for Kerov's character polynomials
Published • View Publication • BIB
Kerov considered the normalized characters of irreducible representations of the symmetric group, evaluated on a cycle, as a polynomial in free cumulants. Biane has proved that this polynomial has integer coefficients, and made various conjectures. Recently, Sniady has proved Biane's conjectured explicit form for the first family of nontrivial terms in this polynomial. In this paper, we give an explicit expression for all terms in Kerov's character polynomials. Our method is through Lagrange inversion.
2005-04-27 v2
q-Cartan matrices and combinatorial invariants of derived categories for skewed-gentle algebras
Published • View Publication • BIB
Cartan matrices are of fundamental importance in representation theory. For algebras defined by quivers (i.e. directed graphs) with relations the computation of the entries of the Cartan matrix amounts to counting nonzero paths in the quivers, leading naturally to a combinatorial setting. In this paper we study a refined version, so-called q-Cartan matrices, where each nonzero path is weighted by a power of an indeterminant q according to its length. Specializing q=1 gives the classical Cartan matrix. Our main motivation are derived module categories and their invariants: the invariant factors, and hence the determinant, of the Cartan matrix are preserved by derived equivalences. The paper deals with the important class of (skewed-) gentle algebras which occur naturally in representation theory, especially in the context of derived categories. These algebras are defined in purely combinatorial terms. We determine normal forms for the Cartan matrices of (skewed-) gentle algebras. In particular, we give explicit combinatorial formulae for the invariant factors and thus also for the determinant of the Cartan matrices of skewed-gentle algebras. As an application of our main results we show how one can use our formulae for the notoriously difficult problem of distinguishing derived equivalence classes.
2005-04-14 v2
The C-polynomial of a knot
Published in Algebr. Geom. Topol. 6 (2006) 1623-1653 • View Publication • BIB
In an earlier paper the first author defined a non-commutative A-polynomial for knots in 3-space, using the colored Jones function. The idea is that the colored Jones function of a knot satisfies a non-trivial linear q-difference equation. Said differently, the colored Jones function of a knot is annihilated by a non-zero ideal of the Weyl algebra which is generalted (after localization) by the non-commutative A-polynomial of a knot. In that paper, it was conjectured that this polynomial (which has to do with representations of the quantum group U_q(SL_2)) specializes at q=1 to the better known A-polynomial of a knot, which has to do with genuine SL_2(C) representations of the knot complement. Computing the non-commutative A-polynomial of a knot is a difficult task which so far has been achieved for the two simplest knots. In the present paper, we introduce the C-polynomial of a knot, along with its non-commutative version, and give an explicit computation for all twist knots. In a forthcoming paper, we will use this information to compute the non-commutative A-polynomial of twist knots. Finally, we formulate a number of conjectures relating the A, the C-polynomial and the Alexander polynomial, all confirmed for the class of twist knots.
2005-04-04 v2
Counting with rational generating functions
Published in Journal of Symbolic Computation 43 (2008), 75-91 • View Publication • BIB
We examine two different ways of encoding a counting function, as a rational generating function and explicitly as a function (defined piecewise using the greatest integer function). We prove that, if the degree and number of input variables of the (quasi-polynomial) function are fixed, there is a polynomial time algorithm which converts between the two representations. Examples of such counting functions include Ehrhart quasi-polynomials, vector partition functions, integer points in parametric polytopes, and projections of the integer points in parametric polytopes. For this last example, this algorithm provides the first known way to compute the explicit function in polynomial time. We rely heavily on results of Barvinok, and also of Verdoolaege, Seghir, Beyls, et al.
2005-03-16 v3
Combinatorics and Geometry of Higher Level Weyl Modules
Published in AMS Transl., Ser. 2, 221 (2007) • View Publication • BIB
A higher level analog of Weyl modules over multi-variable currents is proposed. It is shown that the sum of their dual spaces form a commutative algebra. The structure of these modules and the geometry of the projective spectrum of this algebra is studied for the currents of dimension one and two. Along the way we prove some particular cases of the conjectures in [FL1] and propose a generalization of the notion of parking function representations.
2005-03-15
Combinatorial operators for Kronecker powers of representations of $§_n$
We present combinatorial operators for the expansion of the Kronecker product of irreducible representations of the symmetric group. These combinatorial operators are defined in the ring of symmetric functions and act on the Schur functions basis. This leads to a combinatorial description of the Kronecker powers of the irreducible representations indexed with the partition (n-1,1) which specializes the concept of oscillating tableaux in Young's lattice previously defined by S. Sundaram. We call our specialization {\it Kronecker tableaux}. Their combinatorial analysis leads to enumerative results for the multiplicity of any irreducible representation in the Kronecker powers of the form ${\c^{(n-1,1)}}^{\otimes k}$.
2005-03-13
Colored-Descent Representations of Complex Reflection Groups G(r,p,n)
Published • View Publication • BIB
We study the complex reflection groups G(r,p,n). By considering these groups as subgroups of the wreath products Z_r wr S_n, and by using Clifford theory, we define combinatorial parameters and descent representations of G(r,p,n), previously known for classical Weyl groups. One of these parameters is the flag major index, which also has an important role in the decomposition of these representations into irreducibles. A Carlitz type identity relating the combinatorial parameters with the degrees of the group, is presented.
2005-03-11 v2
An Inductive Proof of the Berry-Esseen Theorem for Character Ratios
Published • View Publication • BIB
Bolthausen used a variation of Stein's method to give an inductive proof of the Berry-Esseen theorem for sums of independent, identically distributed random variables. We modify this technique to prove a Berry-Esseen theorem for character ratios of a random representation of the symmetric group on transpositions. An analogous result is proved for Jack measure on partitions.
2005-03-01
A Solomon descent theory for the wreath products G ~ S_n
Published in Trans. Amer. Math. Soc. 360 (2008), 1475-1538 • View Publication • BIB
We propose an analogue of Solomon's descent theory for the case of a wreath product G ~ S_n, where G is a finite abelian group. Our construction mixes a number of ingredients: Mantaci-Reutenauer algebras, Specht's theory for the representations of wreath products, Okada's extension to wreath products of the Robinson-Schensted correspondence, Poirier's quasisymmetric functions. We insist on the functorial aspect of our definitions and explain the relation of our results with previous work concerning the hyperoctaedral group.
2005-02-24 v2
The hook fusion procedure
Published in Electronic Journal of Combinatorics 12(1), (2005), R26 • View Publication • BIB
We derive a new expression for the diagonal matrix elements of irreducible representations of the symmetric group. We obtain this new expression using Cherednik's fusion procedure. However, instead of splitting Young diagrams into their rows or columns, we consider their principal hooks. This minimises the number of auxiliary parameters needed in the fusion procedure.
2005-02-15
Cubature formulas, geometrical designs, reproducing kernels, and Markov operators
Published • View Publication • BIB
Cubature formulas and geometrical designs are described in terms of reproducing kernels for Hilbert spaces of functions on the one hand, and Markov operators associated to orthogonal group representations on the other hand. In this way, several known results for spheres in Euclidean spaces, involving cubature formulas for polynomial functions and spherical designs, are shown to generalize to large classes of finite measure spaces $(Ω,σ)$ and appropriate spaces of functions inside $L^2(Ω,σ)$. The last section points out how spherical designs are related to a class of reflection groups which are (in general dense) subgroups of orthogonal groups.
2005-02-14 v2
Point Lattices and Oscillating Recurrence Sequences
Published • View Publication • BIB
We consider the following question: Which real sequences (a(n)) that satisfy a linear recurrence with constant coefficients are positive for sufficiently large n? We show that the answer is negative for both (a(n)) and (-a(n)), if the dominating characteristic roots in the representation of a(n) as a generalized power sum comprise either two pairs of conjugate complex roots or one negative real root and one pair of conjugate complex roots. The proof uses results from Diophantine approximation and the geometry of numbers. Concerning the case of a real positive dominating root we show what the answer to the question of positivity is for almost all values of the other dominating roots, provided that all dominating roots are simple.
2005-02-13 v2
Random recursive trees and the Bolthausen-Sznitman coalescent
Published in Electron. J. Probab. Vol. 10 (2005) paper 21, pp. 718-745 • View Publication • BIB
We describe a representation of the Bolthausen-Sznitman coalescent in terms of the cutting of random recursive trees. Using this representation, we prove results concerning the final collision of the coalescent restricted to [n]: we show that the distribution of the number of blocks involved in the final collision converges as n tends to infinity, and obtain a scaling law for the sizes of these blocks. We also consider the discrete-time Markov chain giving the number of blocks after each collision of the coalescent restricted to [n]; we show that the transition probabilities of the time-reversal of this Markov chain have limits as n tends to infinity. These results can be interpreted as describing a ``post-gelation'' phase of the Bolthausen-Sznitman coalescent, in which a giant cluster containing almost all of the mass has already formed and the remaining small blocks are being absorbed.
2005-02-11
Universal lattices and unbounded rank expanders
Published • View Publication • BIB
We study the representations of non-commutative universal lattices and use them to compute lower bounds for the \TauC for the commutative universal lattices $G_{d,k}= \SL_d(\Z[x_1,...,x_k])$ with respect to several generating sets. As an application of the above result we show that the Cayley graphs of the finite groups $\SL_{3k}(\F_p)$ can be made expanders using suitable choice of the generators. This provides the first examples of expander families of groups of Lie type where the rank is not bounded and gives a natural (and explicit) counter examples to two conjectures of Alex Lubotzky and Benjamin Weiss.
2005-02-07 v4
A Combinatorial Model for Crystals of Kac-Moody Algebras
Published • View Publication • BIB
We present a simple combinatorial model for the characters of the irreducible integrable highest weight modules for complex symmetrizable Kac-Moody algebras. This model can be viewed as a discrete counterpart to the Littelmann path model. We describe crystal graphs and give a Littlewood-Richardson rule for decomposing tensor products of irreducible representations. The new model is based on the notion of a lambda-chain, which is a chain of positive roots defined by certain interlacing conditions.
2005-02-04
On the representation of bent functions by bent rectangles
Published in Probabilistic Methods in Discrete Mathematics: Proceedings of the Fifth International Petrozavodsk Conference (Petrozavodsk, June 1-6, 2000). Utrecht, Boston: VSP, pp.121-135, 2002 • Search Publication
We propose a representation of boolean bent functions by bent rectangles, that is, by special matrices with restrictions on rows and columns. Using this representation, we exhibit new classes of bent functions, give an algorithm to construct bent functions, improve a lower bound for the number of bent functions.
Boson Normal Ordering via Substitutions and Sheffer-type Polynomials
Published in Phys. Lett. A 338, 108 (2005) • View Publication • BIB
We solve the boson normal ordering problem for (q(a*)a + v(a*))^n with arbitrary functions q and v and integer n, where a and a* are boson annihilation and creation operators, satisfying [a,a*]=1. This leads to exponential operators generalizing the shift operator and we show that their action can be expressed in terms of substitutions. Our solution is naturally related through the coherent state representation to the exponential generating functions of Sheffer-type polynomials. This in turn opens a vast arena of combinatorial methodology which is applied to boson normal ordering and illustrated by a few examples.
2005-01-14
Nonintersecting Paths, Noncolliding Diffusion Processes and Representation Theory
Published in RIMS Kokyuroku 1438 (2005) 83-102 • Search Publication
The system of one-dimensional symmetric simple random walks, in which none of walkers have met others in a given time period, is called the vicious walker model. It was introduced by Michael Fisher and applications of the model to various wetting and melting phenomena were described in his Boltzmann medal lecture. In the present report, we explain interesting connections among representation theory, probability theory, and random matrix theory using this simple diffusion particle system. Each vicious walk of $N$ walkers is represented by an $N$-tuple of nonintersecting lattice paths on the spatio-temporal plane. There is established a simple bijection between nonintersecting lattice paths and semistandard Young tableaux. Based on this bijection and some knowledge of symmetric polynomials called the Schur functions, we can give a determinantal expression to the partition function of vicious walks, which is regarded as a special case of the Karlin-McGregor formula in the probability theory (or the Lindström-Gessel-Viennot formula in the enumerative combinatorics). Due to a basic property of Schur function, we can take the diffusion scaling limit of the vicious walks and define a noncolliding system of Brownian particles. This diffusion process solves the stochastic differential equations with the drift terms acting as the repulsive two-body forces proportional to the inverse of distances between particles, and thus it is identified with Dyson's Brownian motion model. In other words, the obtained noncolliding system of Brownian particles is equivalent in distribution with the eigenvalue process of a Hermitian matrix-valued process.