arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82851 papers, 47869 authors in database)
2005-03-02 v2
Kapranov rank vs. tropical rank
Published • View Publication • BIB
We show that determining Kapranov rank of tropical matrices is not only NP-hard over any infinite field but also if solving Diophantine equations over the rational numbers is undecidable, then determining Kapranov rank over the rational numbers is undecidable. We prove that Kapranov rank of tropical matrices is not bounded in terms of tropical rank, answering a question of Develin, Santos, and Sturmfels.
2005-03-02 v2
Rigidity theory for matroids
Published in Comment. Math. Helv. 82 (2007), 197-233 • View Publication • BIB
Combinatorial rigidity theory seeks to describe the rigidity or flexibility of bar-joint frameworks in R^d in terms of the structure of the underlying graph G. The goal of this article is to broaden the foundations of combinatorial rigidity theory by replacing G with an arbitrary representable matroid M. The ideas of rigidity independence and parallel independence, as well as Laman's and Recski's combinatorial characterizations of 2-dimensional rigidity for graphs, can naturally be extended to this winder setting. As we explain, many of these fundamental concepts really depend only on the matroid associated with G (or its Tutte polynomial) and have little to do with the special nature of graphic matroids or the field R. Our main result is a "nesting theorem" relating the various kinds of independence. Immediate corollaries include generalizations of Laman's Theorem, as well as the equality of 2-rigidity and 2-parallel independence. A key tool in our study is the space of photos of M, a natural algebraic variety whose irreducibility is closely related to the notions of rigidity independence and parallel independence. The number of points on this variety, when working over a finite field, turns out to be an interesting Tutte polynomial evaluation.
2005-03-01
Counting formulas associated with some random matrix averages
Published • View Publication • BIB
Moments of secular and inverse secular coefficients, averaged over random matrices from classical groups, are related to the enumeration of non-negative matrices with prescribed row and column sums. Similar random matrix averages are related to certain configurations of vicious random walkers and to the enumeration of plane partitions. The combinatorial meaning of the average of the characteristic polynomial of random Hermitian and Wishart matrices is also investigated, and consequently several simple universality results are derived.
Shellability of noncrossing partition lattices
Published • View Publication • BIB
We give a case-free proof that the lattice of noncrossing partitions associated to any finite real reflection group is EL-shellable. Shellability of these lattices was open for the groups of type $D_n$ and those of exceptional type and rank at least three.
2005-03-01
On identities concerning the numbers of crossings and nestings of two edges in matchings
Published • View Publication • BIB
Let M,N be two matchings on [2n]={1, 2, ..., 2n} (possibly M=N) and for a nonnegative integer l let T(M,l) be the set of those matchings on [2n+2l] which can be obtained from M by successively adding l times in all ways the first edge, and similarly for T(N,l). Let s,t in {cr,ne} where cr is the statistic of the number of crossings (in a matching) and ne is the statistic of the number of nestings (possibly s=t). We prove that if the statistics s and t coincide on the sets of matchings T(M,l) and T(N,l) for l=0,1, they must coincide on these sets for every l >= 0; similar identities hold for the joint statistic of cr and ne. These results are instances of a general identity in which crossings and nestings are weighted by elements from an abelian group.
2005-03-01 v2
Permutation polytopes and indecomposable elements in permutation groups
Published • View Publication • BIB
Each group G of nxn permutation matrices has a corresponding permutation polytope, P(G):=conv(G) in R^{nxn}. We relate the structure of P(G) to the transitivity of G. In particular, we show that if G has t nontrivial orbits, then min{2t,floor(n/2)} is a sharp upper bound on the diameter of the graph of P(G); so if G is transitive, the diameter is at most 2. We also show that P(G) achieves its maximal dimension of (n-1)^2 precisely when G is 2-transitive. We then extend results of I. Pak on mixing times for a random walk on P(G). Our work depends on a new result for permutation groups involving writing permutations as products of indecomposable permutations.
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-28
Counting Connected Graphs Asymptotically
Published • View Publication • BIB
We find the asymptotic number of connected graphs with $k$ vertices and $k-1+l$ edges when $k,l$ approach infinity, reproving a result of Bender, Canfield and McKay. We use the {\em probabilistic method}, analyzing breadth-first search on the random graph $G(k,p)$ for an appropriate edge probability $p$. Central is analysis of a random walk with fixed beginning and end which is tilted to the left.
Distances in random graphs with finite mean and infinite variance degrees
Published • View Publication • BIB
In this paper we study random graphs with independent and identically distributed degrees of which the tail of the distribution function is regularly varying with exponent $τ\in (2,3)$. The number of edges between two arbitrary nodes, also called the graph distance or hopcount, in a graph with $N$ nodes is investigated when $N\to \infty$. When $τ\in (2,3)$, this graph distance grows like $2\frac{\log\log N}{|\log(τ-2)|}$. In different papers, the cases $τ>3$ and $τ\in (1,2)$ have been studied. We also study the fluctuations around these asymptotic means, and describe their distributions. The results presented here improve upon results of Reittu and Norros, who prove an upper bound only.
2005-02-25 v2
Partial-Fraction Decompositions and Harmonic Number Identities
By means of partial fraction method, we investigate the decomposition of rational functions. Several striking identities on harmonic numbers and generalized Apery numbers will be established, including the binomial-harmonic number identity associated with Beukers' conjecture on Apery numbers.
2005-02-25 v4
Cohen-Macaulay cell complexes
Published in Algebraic and geometric combinatorics, p.205-220, Contemp. Math. 423, Amer. Math. Soc., Providence, RI, 2006 • Search Publication
We show that a finite regular cell complex with the intersection property is a Cohen-Macaulay space iff the top enriched cohomology module is the only nonvanishing one. We prove a comprehensive generalization of Balinski's theorem on convex polytopes. Also we show that for any Cohen-Macaulay cell complex as above, although there is no generalization of the Stanley-Reisner ring of simplicial complexes, there is a generalization of its canonical module.
2005-02-25 v3
A pairing between graphs and trees
We develop a canonical pairing between trees and graphs, which passes to their quotients by Jacobi identities. This pairing is an effective and simple tool for understanding the Lie and Poisson operads, providing canonical duals. In the course of showing that this pairing is perfect we reprove some standard facts about the modules Lie(n), establishing standard bases as well as giving a new means to reduce to those bases. We then move on to define duals to free Lie algebras and to develop product, coproduct and operad structures. We give a brief account here to be built on in a number of different directions in future work.
2005-02-25
Some identities for the Catalan and Fine numbers
We establish combinatorial interpretations of several identities for the Catalan and Fine numbers and, along the way, we present some new bijections of independent interest. Briefly, we show that C_{n} = 1/(n+1) Sum_{k} (n+1)choose(2k+1) (n+k)choose(k) counts ordered trees on n edges by number of interior vertices adjacent to a leaf, and C_{n} = 2/(n+1) Sum_{k} (n+1)choose(k+2) (n-2)choose(k) counts Dyck n-paths by number of long interior inclines. We also give an analogue for the Fine numbers of Touchard's Catalan number identity.
2005-02-24 v3
Cohomology of partially ordered sets and local cohomology of section rings
Published in Adv. Math. 208 (2007), no. 1, 210-235 • View Publication • BIB
We study local cohomology of rings of global sections of sheafs on the Alexandrov space of a partially ordered set. We give a criterion for a splitting of the local cohomology groups into summands determined by the cohomology of the poset and the local cohomology of the stalks. The face ring of a rational pointed fan can be considered as the ring of global sections of a flasque sheaf on the face poset of the fan. Thus we obtain a decomposition of the local cohomology of such face rings. Since the Stanley-Reisner ring of a simplicial complex is the face ring of a rational pointed fan, our main result can be interpreted as a generalization of Hochster's decomposition of local cohomology of Stanley-Reisner rings.
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-23
Rotational invariance of quadromer correlations on the hexagonal lattice
Published in Advances in Mathematics, 191 (2005), 46-77 • View Publication • BIB
In 1963 Fisher and Stephenson \cite{FS} conjectured that the monomer-monomer correlation on the square lattice is rotationally invariant. In this paper we prove a closely related statement on the hexagonal lattice. Namely, we consider correlations of two quadromers (four-vertex subgraphs consisting of a monomer and its three neighbors) and show that they are rotationally invariant.
On the Wilf-Stanley limit of 4231-avoiding permutations and a conjecture of Arratia
Published in Advances in Applied Mathematics 36(2) Special Issue on Pattern Avoiding Permutations (2006) pages 96-105 • View Publication • BIB
We construct a sequence of finite automata that accept subclasses of the class of 4231-avoiding permutations. We thereby show that the Wilf-Stanley limit for the class of 4231-avoiding permutations is bounded below by 9.35. This bound shows that this class has the largest such limit among all classes of permutations avoiding a single permutation of length 4 and refutes the conjecture that the Wilf-Stanley limit of a class of permutations avoiding a single permutation of length k cannot exceed (k-1)^2.
2005-02-22 v2
Local chromatic number and distinguishing the strength of topological obstructions
Published • View Publication • BIB
The local chromatic number of a graph G is the number of colors appearing in the most colorful closed neighborhood of a vertex minimized over all proper colorings of G. We show that two specific topological obstructions that have the same implications for the chromatic number have different implications for the local chromatic number. These two obstructions can be formulated in terms of the homomorphism complex Hom(K_2,G) and its suspension, respectively. These investigations follow the line of research initiated by Matousek and Ziegler who recognized a hierarchy of the different topological expressions that can serve as lower bounds for the chromatic number of a graph. Our results imply that the local chromatic number of 4-chromatic Kneser, Schrijver, Borsuk, and generalized Mycielski graphs is 4, and more generally, that 2r-chromatic versions of these graphs have local chromatic number at least r+2. This lower bound is tight in several cases by results in an earlier paper of the first two authors.
2005-02-22
Sur la forme de la boule unité de la norme stable unidimensionnelle
Published in Manuscripta Mathematica 119 (2006) 347-358 • View Publication • BIB
For a Riemannian polyhedra, we study the geometry of the unit ball for the unidimensional stable norm (stable ball). In the case of a unidimensional Riemannian polyhedra (graph), we show that the stable ball is a polytope whose vertices are completely described by combinatorial properties of the graph. We study then the realizable forms as stable ball of Riemannan manifolds of dimension larger than three. For a Riemannian manifold $(M, g)$ fixed, we show that a broad class of polytopes can appear as stable ball of metrics in the conformal class of $g$. We use for that a polyhedral technique.
2005-02-22
Commutative Hopf algebras of permutations and trees
We propose several constructions of commutative or cocommutative Hopf algebras based on various combinatorial structures, and investigate the relations between them. A commutative Hopf algebra of permutations is obtained by a general construction based on graphs, and its non-commutative dual is realized in three different ways, in particular as the Grossman-Larson algebra of heap ordered trees. Extensions to endofunctions, parking functions, set partitions, planar binary trees and rooted forests are discussed. Finally, we introduce one-parameter families interpolating between different structures constructed on the same combinatorial objects.