arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82851 papers, 47869 authors in database)
2005-12-22 v2
Dissections, Hom-complexes and the Cayley trick
Published • View Publication • BIB
We show that certain canonical realizations of the complexes Hom(G,H) and Hom_+(G,H) of (partial) graph homomorphisms studied by Babson and Kozlov are in fact instances of the polyhedral Cayley trick. For G a complete graph, we then characterize when a canonical projection of these complexes is itself again a complex, and exhibit several well-known objects that arise as cells or subcomplexes of such projected Hom-complexes: the dissections of a convex polygon into k-gons, Postnikov's generalized permutohedra, staircase triangulations, the complex dual to the lower faces of a cyclic polytope, and the graph of weak compositions of an integer into a fixed number of summands.
2005-12-22 v2
Fermionic Formulas For Unrestricted Kostka Polynomials And Superconformal Characters
The problem of finding fermionic formulas for the many generalizations of Kostka polynomials and for the characters of conformal field theories has been a very exciting research topic for the last few decades. In this dissertation we present new fermionic formulas for the unrestricted Kostka polynomials extending the work of Kirillov and Reshetikhin. We also present new fermionic formulas for the characters of N=1 and N=2 superconformal algebras which extend the work of Berkovich, McCoy and Schilling. Fermionic formulas for the unrestricted Kostka polynomials of type $A_{n-1}^{(1)}$ in the case of symmetric and anti-symmetric crystal paths were given by Hatayama et al. We present new fermionic formulas for the unrestricted Kostka polynomials of type $A_{n-1}^{(1)}$ for all crystal paths based on Kirillov-Reshetihkin modules. We interpret the fermionic formulas in terms of a new set of unrestricted rigged configurations. Fermionic formulas for the N=1 and N=2 superconformal algebras are derived using the Bailey lemma by establishing new Bailey flows from the nonunitary minimal models to the superconformal models.
2005-12-21 v2
Strong Haagerup inequalities for free R-diagonal elements
Published • View Publication • BIB
In this paper, we generalize Haagerup's inequality (on convolution norm in the free group) to a very general context of R-diagonal elements in a tracial von Neumann algebra; moreover, we show that in this "holomorphic" setting, the inequality is greatly improved from its originial form. We give an elementary combinatorial proof of a very special case of our main result, and then generalize these techniques. En route, we prove a number of moment and cumulant estimates for R-diagonal elements that are of independent interest. Finally, we use our strong Haagerup inequality to prove a strong ultracontractivity theorem.
2005-12-21 v2
A New Upper Bound on Rubik's Cube Group
In this paper we give a upper bound of 40 on Rubik's cube group. The previously known upper bound has been 42 since 1995. In order to prove our claim we use computational methods. The program used is GAP computer algebra. Further more we give the number of elements of given length in two important subgroups of Rubik's cube group.
2005-12-21
A counterexample to a conjecture of Laurent and Poljak
Published • View Publication • BIB
The metric polytope m(n) is the polyhedron associated with all semimetrics on n nodes. In 1992 Monique Laurent and Svatopluk Poljak conjectured that every fractional vertex of the metric polytope is adjacent to some integral vertex. The conjecture holds for n<9 and, in particular, for the 1 550 825 600 vertices of m(8). While the overwhelming majority of the known vertices of m(9) satisfy the Laurent-Poljak conjecture, we exhibit a fractional vertex not adjacent to any integral vertex.
2005-12-21 v2
Counting Morse functions on the 2-sphere
Published • View Publication • BIB
This paper was motivated by work of Arnold where he explains how to count "snakes", i.e. Morse functions on the real axis with prescribed behavior at infinity. This leads immediately to a count of excellent Morse functions on the circle, where following Thom's terminology, excellent means that no two critical points lie on the same level set. We explain how to count equivalence classes of excellent Morse functions on the 2-sphere. We consider two equivalence relations. The geometric relation (two functions are equivalent if one can be obtained from the other via compositions with an orientation preserving diffeomorphism of the sphere and an orientation preserving diffeomorphism of the real axis) and the homology relation (two functions are equivalent if the Betti numbers of the sublevel sets undergo similar changes when crossing a critical value).
2005-12-21 v4
Moment-angle complexes, monomial ideals, and Massey products
Published in Pure and Applied Mathematics Quarterly, 3(1) 2007, (Robert MacPherson special issue, part 3), 25--60 • View Publication • BIB
Associated to every finite simplicial complex K there is a "moment-angle" finite CW-complex, Z_K; if K is a triangulation of a sphere, Z_K is a smooth, compact manifold. Building on work of Buchstaber, Panov, and Baskakov, we study the cohomology ring, the homotopy groups, and the triple Massey products of a moment-angle complex, relating these topological invariants to the algebraic combinatorics of the underlying simplicial complex. Applications to the study of non-formal manifolds and subspace arrangements are given.
2005-12-20
On the formula of Goulden and Rattan for Kerov polynomials
We give a simple proof of an explicit formula for Kerov polynomials. This formula is closely related to a formula of Goulden and Rattan.
2005-12-20 v2
New polytope decompositions and Euler-Maclaurin formulas for simple integral polytopes
Published • View Publication • BIB
We use a version of localization in equivariant cohomology for the norm-square of the moment map, described by Paradan, to give several weighted decompositions for simple polytopes. As an application, we study Euler-Maclaurin formulas.
2005-12-19 v3
Counting Rooted Trees: The Universal Law t(n) ~ C ρ^{-n} n^{-3/2}
Published in The Electronic Journal of Combinatorics, 13 (2006), #R63 • View Publication • BIB
Combinatorial classes T that are recursively defined using combinations of the standard multiset, sequence, directed cycle and cycle constructions, and their restrictions, have generating series T(z) with a positive radius of convergence; for most of these a simple test can be used to quickly show that the form of the asymptotics is the same as that for the class of rooted trees: C ρ^{-n} n^{-3/2} where ρis the radius of convergence of T.
Enumeration and limit laws of series-parallel graphs
Published • View Publication • BIB
We show that the number $g_n$ of labelled series-parallel graphs on $n$ vertices is asymptotically $g_n \sim g\cdot n^{-5/2} γ^n n!$, where $γ$ and $g$ are explicit computable constants. We show that the number of edges in random series-parallel graphs is asymptotically normal with linear mean and variance, and that the number of edges is sharply concentrated around its expected value. Similar results are proved for labelled outerplanar graphs and for graphs not containing $K_{2,3}$ as a minor.
2005-12-19 v2
A concise guide to complex Hadamard matrices
Published in Open Syst. Inf. Dyn. 13, 133-177 (2006) • View Publication • BIB
Complex Hadamard matrices, consisting of unimodular entries with arbitrary phases, play an important role in the theory of quantum information. We review basic properties of complex Hadamard matrices and present a catalogue of inequivalent cases known for dimension N=2,...,16. In particular, we explicitly write down some families of complex Hadamard matrices for N=12,14 and 16, which we could not find in the existing literature.
2005-12-19
A simple symmetry generating operads related to rooted planar $m$-ary trees and polygonal numbers
The aim of this paper is to further explore an idea from J.-L. Loday briefly exposed in [5]. We impose a natural and simple symmetry on a unit action over the most general quadratic relation which can be written. This leads us to two families of binary, quadratic and regular operads whose free objects, as well as their duals in the sense of Ginzburg and Kapranov are computed. Roughly speaking, free objects found here are in relation to $m$-ary trees, triangular numbers and more generally $m$-tetrahedral numbers, homogeneous polynomials on $m$ commutative indeterminates over a field $K$ and polygonal numbers. Involutive connected P-Hopf algebras are constructed and a link to genomics is discussed. We also propose in conclusion some open questions.
2005-12-19
Birkhoff's theorem for a family of probability spaces
Published • View Publication • BIB
The paper extends Birkhoff's theorem on doubly stochastic matrices to some countable families of discrete probability spaces with nonempty intersections. We join every two elements lying in the same probability space by an edge and formulate our results in terms of the obtained graph.
2005-12-18 v2
Symbolic powers of monomial ideals and vertex cover algebras
Published • View Publication • BIB
We introduce and study vertex cover algebras of weighted simplicial complexes. These algebras are special classes of symbolic Rees algebras. We show that symbolic Rees algebras of monomial ideals are finitely generated and that such an algebra is normal and Cohen-Macaulay if the monomial ideal is squarefree. For a simple graph, the vertex cover algebra is generated by elements of degree 2, and it is standard graded if and only if the graph is bipartite. We also give a general upper bound for the maximal degree of the generators of vertex cover algebras.
2005-12-18 v5
Alcove path and Nichols-Woronowicz model of $K$-theory on flag varieties
This paper has been withdrawn.
2005-12-17
Independence complexes of claw-free graphs
We study the class of independence complexes of claw-free graphs. The main theorem give good bounds on the connectivity of these complexes, given bounds for a few subcomplexes of the same class. Two applications are presented. Firstly, we show that the independence complex of a claw-free graph with n vertices and maximal degree d is (cn/d+epsilon)-connected, where c=2/3. This can be compared with the result of Szabo and Tardos that c=1/2 is optimal with no restrictions on the graphs. Secondly, we calculate the connectivity of a family of complexes used in Babson and Kozlov's proof of Lovasz conjecture.
2005-12-17
Transitive graphs in counterexamples to Karp's conjecture
Karp conjectured that all nontrivial monotone graph properties are evasive. This was proved for n a prime power, and n=6, where n is the number of graph vertices, by Kahn, Saks, and Sturtevant. We give a complete description of which transitive graphs are contained in a possible counterexample when n=10.
2005-12-16 v2
Projective Q-factorial toric varieties covered by lines
Published • View Publication • BIB
The main result of this paper is a structural theorem for projective Q-factorial toric varieties X in P^N, covered by lines. We prove that there exists a toric fibration f: X -> Z, locally trivial in the Zariski topology, with fiber a product of projective joins. All lines in X intersecting the open subset isomorphic to the torus, are contained in some fiber of f. This characterization has a geometrical application to dual defective toric varieties, and a combinatorial application to discriminants of lattice subsets. We prove that X has positive dual defect if and only if it has an elementary extremal contraction of fiber type, whose general fiber is a projective join with dual defect bigger than its codimension in X. Turning to combinatorics, we characterize lattice subsets A with discriminant D_A equal to one, under suitable assumptions on the polytope Conv(A).
2005-12-16 v2
A linear upper bound on the rectilinear crossing number
It is proved that the rectilinear crossing number of every graph with bounded tree-width and bounded degree is linear in the number of vertices. **** This paper has been withdrawn by the author. **** The results have been superseeded by the author's paper with Jan Arne Telle: "Planar decompositions and the crossing number of graphs with an excluded minor", http://arxiv.org/math/0604467.