arXiv++ Combinatorics

Browse math.CO papers from arXiv

group

10399 papers tagged with this keyword
2008-11-18 v2
Random Complexes and l^2-Betti Numbers
Published in J. Top. Anal. 1, no. 2 (2009), 153-175. • View Publication • BIB
Uniform spanning trees on finite graphs and their analogues on infinite graphs are a well-studied area. On a Cayley graph of a group, we show that they are related to the first $\ell^2$-Betti number of the group. Our main aim, however, is to present the basic elements of a higher-dimensional analogue on finite and infinite CW-complexes, which relate to the higher $\ell^2$-Betti numbers. One consequence is a uniform isoperimetric inequality extending work of Lyons, Pichot, and Vassout. We also present an enumeration similar to recent work of Duval, Klivans, and Martin.
2008-11-17 v3
Noise-Resilient Group Testing: Limitations and Constructions
Published • View Publication • BIB
We study combinatorial group testing schemes for learning $d$-sparse Boolean vectors using highly unreliable disjunctive measurements. We consider an adversarial noise model that only limits the number of false observations, and show that any noise-resilient scheme in this model can only approximately reconstruct the sparse vector. On the positive side, we take this barrier to our advantage and show that approximate reconstruction (within a satisfactory degree of approximation) allows us to break the information theoretic lower bound of $\tildeΩ(d^2 \log n)$ that is known for exact reconstruction of $d$-sparse vectors of length $n$ via non-adaptive measurements, by a multiplicative factor $\tildeΩ(d)$. Specifically, we give simple randomized constructions of non-adaptive measurement schemes, with $m=O(d \log n)$ measurements, that allow efficient reconstruction of $d$-sparse vectors up to $O(d)$ false positives even in the presence of $δm$ false positives and $O(m/d)$ false negatives within the measurement outcomes, for any constant $δ< 1$. We show that, information theoretically, none of these parameters can be substantially improved without dramatically affecting the others. Furthermore, we obtain several explicit constructions, in particular one matching the randomized trade-off but using $m = O(d^{1+o(1)} \log n)$ measurements. We also obtain explicit constructions that allow fast reconstruction in time $\poly(m)$, which would be sublinear in $n$ for sufficiently sparse vectors. The main tool used in our construction is the list-decoding view of randomness condensers and extractors.
2008-11-15
Commutative association schemes
Published in European J. Combin. 30 (2009) 1497-1525 • View Publication • BIB
Association schemes were originally introduced by Bose and his co-workers in the design of statistical experiments. Since that point of inception, the concept has proved useful in the study of group actions, in algebraic graph theory, in algebraic coding theory, and in areas as far afield as knot theory and numerical integration. This branch of the theory, viewed in this collection of surveys as the "commutative case," has seen significant activity in the last few decades. The goal of the present survey is to discuss the most important new developments in several directions, including Gelfand pairs, cometric association schemes, Delsarte Theory, spin models and the semidefinite programming technique. The narrative follows a thread through this list of topics, this being the contrast between combinatorial symmetry and group-theoretic symmetry, culminating in Schrijver's SDP bound for binary codes (based on group actions) and its connection to the Terwilliger algebra (based on combinatorial symmetry). We propose this new role of the Terwilliger algebra in Delsarte Theory as a central topic for future work.
2008-11-14
Coxeter Elements and Root Bases
Published • View Publication • BIB
Let g be a Lie algebra of type A,D,E with fixed Cartan subalgebra h, root system R and Weyl group W. We show that a choice of Coxeter element C gives a root basis for g. Moreover we show that this root basis gives a purely combinatorial construction of g, where root vectors correspond to vertices of a certain quiver $Gammahat$, and show that with respect to this basis the structure constants of the Lie bracket are given by paths in $Gammahat$. This construction is then related to the constructions of Ringel and Peng and Xiao.
2008-11-13 v2
A survey of combinatorial aspects in the topology of complex hyperplane arrangements
Published in Contemporary Math. 508 (2009), 113-128 • Search Publication
We survey interactions between the topology and the combinatorics of complex hyperplane arrangements. Without claiming to be exhaustive, we examine in this setting combinatorial aspects of fundamental groups, associated graded Lie algebras, higher homotopy groups, cohomology rings, twisted homology with rank 1 complex coefficients, and Milnor fibers.
2008-11-11 v2
An upper bound on the exceptional characteristics for Lusztig's character formula
Published in J. Reine Angew. Math. 673 (2012), 1-31 • View Publication • BIB
We develop and study a Lefschetz theory in a combinatorial category associated to a root system and derive an upper bound on the exceptional characteristics for Lusztig's formula for the simple rational characters of a reductive algebraic group. Our bound is huge compared to the Coxeter number. It is, however, given by an explicit formula.
2008-11-10
The quiver of an algebra associated to the Mantaci-Reutenauer descent algebra and the homology of regular semigroups
Published • View Publication • BIB
We develop the homology theory of the algebra of a regular semigroup, which is a particularly nice case of a quasi-hereditary algebra in good characteristic. Directedness is characterized for these algebras, generalizing the case of semisimple algebras studied by Munn and Ponizovksy. We then apply homological methods to compute (modulo group theory) the quiver of a right regular band of groups, generalizing Saliola's results for a right regular band. Right regular bands of groups come up in the representation theory of wreath products with symmetric groups in much the same way that right regular bands appear in the representation theory of finite Coxeter groups via the Solomon-Tits algebra of its Coxeter complex. In particular, we compute the quiver of Hsiao's algebra, which is related to the Mantaci-Reutenauer descent algebra.
2008-11-08
Coding Theory and Algebraic Combinatorics
Published • View Publication • BIB
This chapter introduces and elaborates on the fruitful interplay of coding theory and algebraic combinatorics, with most of the focus on the interaction of codes with combinatorial designs, finite geometries, simple groups, sphere packings, kissing numbers, lattices, and association schemes. In particular, special interest is devoted to the relationship between codes and combinatorial designs. We describe and recapitulate important results in the development of the state of the art. In addition, we give illustrative examples and constructions, and highlight recent advances. Finally, we provide a collection of significant open problems and challenges concerning future research.
Expander graphs based on GRH with an application to elliptic curve cryptography
Published in J. Number Theory 129 (2009), pp. 1491-1504 • View Publication • BIB
We present a construction of expander graphs obtained from Cayley graphs of narrow ray class groups, whose eigenvalue bounds follow from the Generalized Riemann Hypothesis. Our result implies that the Cayley graph of (Z/qZ)* with respect to small prime generators is an expander. As another application, we show that the graph of small prime degree isogenies between ordinary elliptic curves achieves non-negligible eigenvalue separation, and explain the relationship between the expansion properties of these graphs and the security of the elliptic curve discrete logarithm problem.
Reconstructing Extended Perfect Binary One-Error-Correcting Codes from Their Minimum Distance Graphs
Published in IEEE Trans. Inform. Theory 55 (2009) 2622-2625 • View Publication • BIB
The minimum distance graph of a code has the codewords as vertices and edges exactly when the Hamming distance between two codewords equals the minimum distance of the code. A constructive proof for reconstructibility of an extended perfect binary one-error-correcting code from its minimum distance graph is presented. Consequently, inequivalent such codes have nonisomorphic minimum distance graphs. Moreover, it is shown that the automorphism group of a minimum distance graph is isomorphic to that of the corresponding code.
2008-10-30
Representations of cyclic groups acting on complete simplicial fans
Published • View Publication • BIB
Let $sigma$ be a complete simplicial fan in finite dimensional real Euclidean space $V$, and let $G$ be a cyclic subgroup of $GL(V)$ which acts properly on $σ$. We show that the representation of $G$ carried by the cohomology of $X_{sigma}$, the toric variety associated to $sigma$, is a permutation representation.
Symmetric Schroder paths and restricted involutions
Published • View Publication • BIB
Let $A_k$ be the set of permutations in the symmetric group $S_k$ with prefix 12. This paper concerns the enumeration of involutions which avoid the set of patterns $A_k$. We present a bijection between symmetric Schroder paths of length $2n$ and involutions of length $n+1$ avoiding $\mathcal{A}_4$. Statistics such as the number of right-to-left maxima and fixed points of the involution correspond to the number of steps in the symmetric Schroder path of a particular type. For each $k> 2$ we determine the generating function for the number of involutions avoiding the subsequences in $A_k$, according to length, first entry and number of fixed points.
2008-10-29
Ten colours in quasiperiodic and regular hyperbolic tilings
Colour symmetries with ten colours are presented for different tilings. In many cases, the existence of these colourings were predicted by group theoretical methods. Only in a few cases explicit constructions were known, sometimes using combination of two-colour and five-colour symmetries. Here we present explicit constructions of several of the predicted colourings for the first time, and discuss them in contrast to already known colourings with ten colours.
2008-10-29 v4
Burnside-Brauer Theorem and Character Products in Table Algebras
Published in The Electronic Journal of Combinatorics 18 (2011), #P204 • View Publication • BIB
In this paper, we first show that the irreducible characters of a quotient table algebra modulo a normal closed subset can be viewed as the irreducible characters of the table algebra itself. Furthermore, we define the character products for table algebras and give a condition in which the products of two characters are characters. Thereafter, as a main result we state and prove the Burnside-Brauer Theorem on finite groups for table algebras.
2008-10-29 v2
Euler-Mahonian distributions of type $B_n$
Adin, Brenti, and Roichman introduced the pairs of statistics $(\ndes, \nmaj)$ and $(\fdes, \fmaj)$. They showed that these pairs are equidistributed over the hyperoctahedral group $B_n$, and can be considered "Euler-Mahonian" in that they generalize the Carlitz identity. Further, they asked whether there exists a bijective proof of the equidistribution of their statistics. We give such a bijection, along with a new proof of the generalized Carlitz identity.
2008-10-29
The numbers game and Dynkin diagram classification results
The numbers game is a one-player game played on a finite simple graph with certain "amplitudes" assigned to its edges and with an initial assignment of real numbers to its nodes. The moves of the game successively transform the numbers at the nodes using the amplitudes in a certain way. Combinatorial reasoning is used to show that those connected graphs with negative integer amplitudes for which the numbers game meets a certain finiteness requirement are precisely the Dynkin diagrams associated with the finite-dimensional complex simple Lie algebras. This strengthens a result originally due to the second author. A more general result is obtained when certain real number amplitudes are allowed. The resulting graphs are in families, each family corresponding to a finite irreducible Coxeter group. These results are used to demonstrate that the only generalized Cartan matrices for which there exist finite edge-colored ranked posets enjoying a certain structure property are the Cartan matrices for the finite-dimensional complex semisimple Lie algebras. In this setting, classifications of the finite-dimensional Kac--Moody algebras and of the finite Coxeter and Weyl groups are re-derived.
2008-10-27 v3
Gromov-Witten invariants for G/B and Pontryagin product for ΩK
Published • View Publication • BIB
We give an explicit formula for (T-equivariant) 3-pointed genus zero Gromov-Witten invariants for G/B. We derive it by finding an explicit formula for the equivariant Pontryagin product on the homology of the based loop group ΩK.
2008-10-26 v2
Computing inclusions of Schur modules
Published in J. Softw. Algebra Geom. 1 (2009), 5-10 • View Publication • BIB
We describe a software package for constructing minimal free resolutions of GL_n(Q)-equivariant graded modules M over Q[x_1, ..., x_n] such that for all i, the ith syzygy module of M is generated in a single degree. We do so by describing some algorithms for manipulating polynomial representations of the general linear group GL_n(Q) following ideas of Olver and Eisenbud-Floystad-Weyman.
2008-10-25
Ad-nilpotent Ideals and Equivalence Relations
Published • View Publication • BIB
In this paper we study ad-nilpotent ideals of a complex simple Lie algebra $\ccg$ and their connections with affine Weyl groups and nilpotent orbits. We define a left equivalence relation for ad-nilpotent ideals based on their normalizer and generators, and prove that the equivalence relation is compatible with the left cell structure of affine Weyl group of $\ccg$ and Lusztig's star operator for type $\tilde A_{n-1}$.
2008-10-25
Ad-nilpotent Ideals of Minimal Dimension
Published • View Publication • BIB
n this paper we study ad-nilpotent ideals of a complex simple Lie algebra $\ccg$ and their connections with affine Weyl groups and nilpotent orbits. We define a left equivalence relation for ad-nilpotent ideals based on their normalizer and generators, and prove that the equivalence relation is compatible with the left cell structure of affine Weyl group of $\ccg$ and Lusztig's star operator for type $\tilde A_{n-1}$.