arXiv++ Combinatorics

Browse math.CO papers from arXiv

group

10399 papers tagged with this keyword
2007-07-02
Balanced Cayley graphs and balanced planar graphs
Published • View Publication • BIB
A balanced graph is a bipartite graph with no induced circuit of length 2 mod 4. These graphs arise in linear programming. We focus on graph-algebraic properties of balanced graphs to prove a complete classification of balanced Cayley graphs on abelian groups. Moreover, in Section 5 of this paper, we prove that there is no cubic balanced planar graph. Finally, some remarkable conjectures for balanced regular graphs are also presented.
2007-07-02 v3
Orthogonal functions generalizing Jack polynomials
Published • View Publication • BIB
The rational Cherednik algebra $\HH$ is a certain algebra of differential-reflection operators attached to a complex reflection group $W$. Each irreducible representation $S^λ$ of $W$ corresponds to a standard module $M(λ)$ for $\HH$. This paper deals with the infinite family $G(r,1,n)$ of complex reflection groups; our goal is to study the standard modules using a commutative subalgebra $\ttt$ of $\HH$ discovered by Dunkl and Opdam. In this case, the irreducible $W$-modules are indexed by certain sequences $λ$ of partitions. We first show that $\ttt$ acts in an upper triangular fashion on each standard module $M(λ)$, with eigenvalues determined by the combinatorics of the set of standard tableaux on $λ$. As a consequence, we construct a basis for $M(λ)$ consisting of orthogonal functions on $\CC^n$ with values in the representation $S^λ$. For $G(1,1,n)$ with $λ=(n)$ these functions are the non-symmetric Jack polynomials. We use intertwining operators to deduce a norm formula for our orthogonal functions and give an explicit combinatorial description of the lattice of submodules of $M(λ)$ in the case in which the orthogonal functions are all well-defined.
2007-06-28 v3
Symmetry in semidefinite programs
Published in Linear Algebra and Appl. 430 (2009), 360-369 • View Publication • BIB
This paper is a tutorial in a general and explicit procedure to simplify semidefinite programs which are invariant under the action of a symmetry group. The procedure is based on basic notions of representation theory of finite groups. As an example we derive the block diagonalization of the Terwilliger algebra of the binary Hamming scheme in this framework. Here its connection to the orthogonal Hahn and Krawtchouk polynomials becomes visible.
Multiplicity free expansions of Schur $P$-functions
Published in Ann. Comb. 11:69--77 (2007) • View Publication • BIB
After deriving inequalities on coefficients arising in the expansion of a Schur $P$-function in terms of Schur functions we give criteria for when such expansions are multiplicity free. From here we study the multiplicity of an irreducible spin character of the twisted symmetric group in the product of a basic spin character with an irreducible character of the symmetric group, and determine when it is multiplicity free.
2007-06-22
Orientations, lattice polytopes, and group arrangements I: Chromatic and tension polynomials of graphs
Published • View Publication • BIB
This is the first one of a series of papers on association of orientations, lattice polytopes, and abelian group arrangements to graphs. The purpose is to interpret the integral and modular tension polynomials of graphs at zero and negative integers. The whole exposition is put under the framework of subgroup arrangements and the application of Ehrhart polynomials. Such viewpoint leads to the following main results of the paper: (i) the reciprocity law for integral tension polynomials; (ii) the reciprocity law for modular tension polynomials; and (iii) a new interpretation for the value of the Tutte polynomial $T(G;x,y)$ of a graph $G$ at $(1,0)$ as the number of cut-equivalence classes of acyclic orientations on $G$.
The $p$-modular descent algebras
Published in Algebr. Represent. Theory 5:101-113 (2002) • View Publication • BIB
The concept of descent algebras over a field of characteristic zero is extended to define descent algebras over a field of prime characteristic. Some basic algebraic structure of the latter, including its radical and irreducible modules, is then determined. The decomposition matrix of the descent algebras of Coxeter group types $A$, $B$, and $D$ are calculated, and used to derive a description of the decomposition matrix of an arbitrary descent algebra. The Cartan matrix of a variety of descent algebras over a finite field is then obtained.
2007-06-20
Properties of the descent algebras of type $D$
Published in Discrete Math. 269: 325--332 (2003) • View Publication • BIB
We establish simple combinatorial descriptions of the radical and irreducible representations specifically for the descent algebra of a Coxeter group of type $D$ over any field.
2007-06-20 v3
The forgotten monoid
Published in RIMS Kokyuroku Bessatsu B8 (2008) 71-83 • Search Publication
We study properties of the forgotten monoid which appeared in work of Lascoux and Schutzenberger and recently resurfaced in the construction of dual equivalence graphs by Assaf. In particular, we provide an explicit characterization of the forgotten classes in terms of inversion numbers and show that there are n^2-3n+4 forgotten classes in the symmetric group S_n. Each forgotten class contains a canonical element that can be characterized by pattern avoidance. We also show that the sum of Gessel's quasi-symmetric functions over a forgotten class is a 0-1 sum of ribbon-Schur functions.
2007-06-19
The p-modular Descent Algebra of the Symmetric Group
Published in Bull. of the London Math. Soc. 29:407-414 (1997) • View Publication • BIB
The descent algebra of the symmetric group, over a field of non-zero characteristic p, is studied. A homomorphism into the algebra of generalised p-modular characters of the symmetric group is defined. This is then used to determine the radical, and its nilpotency index. It also allows the irreducible representations of the descent algebra to be described.
2007-06-19
A Proof of Solomon's Rule
Published in J. of Algebra 206:693-698 (1998) • View Publication • BIB
We put forward a proof of Solomon's rule, in terms of matrices, for multiplication in the descent algebra of the symmetric group. Our proof exploits the graphs that we can obtain from all the subsets of the set of transpositions, $\{(i,i+1)\}_{i=1}^{n-1}$.
2007-06-19
On the Descent Algebra of Type $D$
Published in J. of Algebra 206:699-705 (1998) • View Publication • BIB
Here we give a combinatorial interpretation of Solomon's rule for multiplication in the descent algebra of Weyl groups of type $D$, $ΣD_n$. From here we show that $ΣD_n$ is a homomorphic image of the descent algebra of the hyperoctahedral group, $ΣB_{n-2}$.
2007-06-19 v2
Chains in the noncrossing partition lattice
Published • View Publication • BIB
We establish recursions counting various classes of chains in the noncrossing partition lattice of a finite Coxeter group. The recursions specialize a general relation which is proven uniformly (i.e. without appealing to the classification of finite Coxeter groups) using basic facts about noncrossing partitions. We solve these recursions for each finite Coxeter group in the classification. Among other results, we obtain a simpler proof of a known uniform formula for the number of maximal chains of noncrossing partitions and a new uniform formula for the number of edges in the noncrossing partition lattice. All of our results extend to the m-divisible noncrossing partition lattice.
Asymptotics of the allele frequency spectrum associated with the Bolthausen-Sznitman coalescent
Published • View Publication • BIB
We work in the context of the infinitely many alleles model. The allelic partition associated with a coalescent process started from n individuals is obtained by placing mutations along the skeleton of the coalescent tree; for each individual, we trace back to the most recent mutation affecting it and group together individuals whose most recent mutations are the same. The number of blocks of each of the different possible sizes in this partition is the allele frequency spectrum. The celebrated Ewens sampling formula gives precise probabilities for the allele frequency spectrum associated with Kingman's coalescent. This (and the degenerate star-shaped coalescent) are the only Lambda coalescents for which explicit probabilities are known, although they are known to satisfy a recursion due to Moehle. Recently, Berestycki, Berestycki and Schweinsberg have proved asymptotic results for the allele frequency spectra of the Beta(2-alpha,alpha) coalescents with alpha in (1,2). In this paper, we prove full asymptotics for the case of the Bolthausen-Sznitman coalescent.
2007-06-17
Transitive decompositions of graphs and their links with geometry and origami
A transitive decomposition of a graph is a partition of the edge or arc set giving a set of subgraphs which are preserved and permuted transitively by a group of automorphisms of the graph. In this paper we give some background to the study of transitive decompositions and highlight a connection with partial linear spaces. We then describe a simple method for constructing transitive decompositions using graph quotients, and we show how this may be used in an application to modular origami.
2007-06-15 v2
Expanders and the Affine Building of ${\rm Sp}_n$
For $n \geq 2$ and a local field $K$, let $Δ_n$ denote the affine building naturally associated to the symplectic group ${\rm Sp}_n(K)$. We compute the spectral radius of the subgraph $Y_n$ of $Δ_n$ induced by the special vertices in $Δ_n$, from which it follows that $Y_n$ is an analogue of a family of expanders and is non-amenable.
2007-06-13
Skew-Hadamard matrices of orders 436, 580 and 988 exist
Published in J, Combin. Designs 16 (2008), 493-498 • Search Publication
We construct two difference families on each of the cyclic groups of order 109, 145 and 247, and use them to construct skew-Hadamard matrices of orders 436, 580 and 988. Such difference families and matrices are constructed here for the first time. The matrices are constructed by using the Goethals-Seidel array.
2007-06-11 v2
The absolute order on the symmetric group, constructible partially ordered sets and Cohen-Macaulay complexes
Published • View Publication • BIB
The absolute order is a natural partial order on a Coxeter group W. It can be viewed as an analogue of the weak order on W in which the role of the generating set of simple reflections in W is played by the set of all reflections in W. By use of a notion of constructibility for partially ordered sets, it is proved that the absolute order on the symmetric group is homotopy Cohen-Macaulay. This answers in part a question raised by V. Reiner and the first author. The Euler characteristic of the order complex of the proper part of the absolute order on the symmetric group is also computed.
2007-06-05 v2
Some additive applications of the isopermetric approach
Published • View Publication • BIB
Let $G$ be a group and let $X$ be a finite subset. The isoperimetric method investigates the objective function $|(XB)\setminus X|$, defined on the subsets $X$ with $|X|\ge k$ and $|G\setminus (XB)|\ge k$. A subset with minimal where this objective function attains its minimal value is called a $k$--fragment. In this paper we present all the basic facts about the isoperimetric method. We improve some of our previous results and obtaingeneralizations and short proofs for several known results. We also give some new applications. Some of the results obtained here will be used in coming papers to improve Kempermann structure Theory.
2007-06-05 v3
An ansatz for the asymptotics of hypergeometric multisums
Published • View Publication • BIB
Sequences that are defined by multisums of hypergeometric terms with compact support occur frequently in enumeration problems of combinatorics, algebraic geometry and perturbative quantum field theory. The standard recipe to study the asymptotic expansion of such sequences is to find a recurrence satisfied by them, convert it into a differential equation satisfied by their generating series, and analyze the singulatiries in the complex plane. We propose a shortcut by constructing directly from the structure of the hypergeometric term a finite set, for which we conjecture (and in some cases prove) that it contains all the singularities of the generating series. Our construction of this finite set is given by the solution set of a balanced system of polynomial equations of a rather special form, reminiscent of the Bethe ansatz. The finite set can also be identified with the set of critical values of a potential function, as well as with the evaluation of elements of an additive $K$-theory group by a regulator function. We give a proof of our conjecture in some special cases, and we illustrate our results with numerous examples.
2007-06-04
Permutation actions on equivariant cohomology
Published • View Publication • BIB
This survey paper describes two geometric representations of the permutation group using the tools of toric topology. These actions are extremely useful for computational problems in Schubert calculus. The (torus) equivariant cohomology of the flag variety is constructed using the combinatorial description of Goresky-Kottwitz-MacPherson, discussed in detail. Two permutation representations on equivariant and ordinary cohomology are identified in terms of irreducible representations of the permutation group. We show how to use the permutation actions to construct divided difference operators and to give formulas for some localizations of certain equivariant classes. This paper includes several new results, in particular a new proof of the Chevalley-Monk formula and a proof that one of the natural permutation representations on the equivariant cohomology of the flag variety is the regular representation. Many examples, exercises, and open questions are provided.