arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 81378 papers, 47165 authors in database)
2005-05-22 v3
Tropical Arithmetic and Tropical Matrix Algebra
Published in Communication in Algebra, 37(4):1445 - 1468 , 2009 • View PublicationBIB
This paper introduces a new structure of commutative semiring, generalizing the tropical semiring, and having an arithmetic that modifies the standard tropical operations, i.e. summation and maximum. Although our framework is combinatorial, notions of regularity and invertibility arise naturally for matrices over this semiring; we show that a tropical matrix is invertible if and only if it is regular.
2005-05-22
A short proof of a conjecture on the higher connectivity of graph coloring complexes
The Hom-complexes were introduced by Lovasz to study topological obstructions to graph colorings. It was conjectured by Babson and Kozlov, and proved by Cukic and Kozlov, that Hom(G,K_n) is (n-d-2)-connected, where d is the maximal degree of a vertex of G. We give a short proof of the conjecture.
2005-05-20
On the expansion of the power of any polynomial 1+x+x^2+x^3+x^4+etc
In this paper, Euler gives the general trionomial coefficient as a sum of the binomial coefficients, the general quadrinomial coefficient as a sum of the binomial and trinomial coefficients, the general quintonomial coefficient as a sum of the binomial and quadrinomial coefficients, and gives a general determination of the coefficients of the expansion of any polynomial (1+x+x^2+...+x^m)^n as a sum of the coefficients of lower degree polynomial coefficients.
2005-05-20
Resonance varieties, admissible line combinatorics and combinatorial pencils
In this paper we define the combinatorial analogous of a pencil, and show its relationship with the concept of admissibility. Such an object is usefull to study the isomorphisms between fundamental groups of the complements of line arrangement with the same combinatorial type. This definition generalizes the idea of net given by Yuzvinsky and others. The main theorem in this paper states that there is a correspondence between components of the resonance variety and combinatorial pencils.
2005-05-20
On the excedance number of colored permutation groups
We generalize the results of Ksavrelof and Zeng about the multidistribution of the excedance number of $S_n$ with some natural parameters to the colored permutation group and to the Coxeter group of type $D$. We define two different orders on these groups which induce two different excedance numbers. Surprisingly, in the case of the colored permutation group, we get the same generalized formulas for both orders.
2005-05-20
Computing boundary slopes of 2-bridge links
Published • View PublicationBIB
We describe an algorithm for computing boundary slopes of 2-bridge links. As an example, we work out the slopes of the links obtained by 1/k surgery on one component of the Borromean rings. A table of all boundary slopes of all 2-bridge links with 10 or less crossings is also included.
2005-05-19
Induced Subgraphs of Bounded Degree and Bounded Treewidth
Published in Contributions to Discrete Mathematics, 1(1):88-105, 2006. • View PublicationBIB
We prove that for all $0\leq t\leq k$ and $d\geq 2k$, every graph $G$ with treewidth at most $k$ has a `large' induced subgraph $H$, where $H$ has treewidth at most $t$ and every vertex in $H$ has degree at most $d$ in $G$. The order of $H$ depends on $t$, $k$, $d$, and the order of $G$. With $t=k$, we obtain large sets of bounded degree vertices. With $t=0$, we obtain large independent sets of bounded degree. In both these cases, our bounds on the order of $H$ are tight. For bounded degree independent sets in trees, we characterise the extremal graphs. Finally, we prove that an interval graph with maximum clique size $k$ has a maximum independent set in which every vertex has degree at most $2k$.
2005-05-19 v2
Rational Cherednik algebras and diagonal coinvariants of G(m,p,n)
Published • View PublicationBIB
We construct a quotient ring of the ring of diagonal coinvariants of the complex reflection group $W=G(m,p,n)$ and determine its graded character. This generalises a result of Gordon for Coxeter groups. The proof uses a study of category $\cO$ for the rational Cherednik algebra of $W$.
2005-05-18
On divisibility of Narayana numbers by primes
Published in J. Integer Seq. 8 (2005), Article 05.2.4 • Search Publication
Using Kummer's Theorem, we give a necessary and sufficient condition for a Narayana number to be divisible by a given prime. We use this to derive certain properties of the Narayana triangle.
2005-05-18 v2
The crystal structure on the set of Mirkovic-Vilonen polytopes
Published • View PublicationBIB
In an earlier work, we proved that MV polytopes parameterize both Lusztig's canonical basis and the Mirkovic-Vilonen cycles on the Affine Grassmannian. Each of these sets has a crystal structure (due to Kashiwara-Lusztig on the canonical basis side and due to Braverman-Finkelberg-Gaitsgory on the MV cycles side). We show that these two crystal structures agree. As an application, we consider a conjecture of Anderson-Mirkovic which describes the BFG crystal structure on the level of MV polytopes. We prove their conjecture for sl_n and give a counterexample for sp_6. Finally we explain how Kashiwara data can be recovered from MV polytopes.
2005-05-17 v2
On the maximal order of numbers in the "factorisatio numerorum" problem
Published • View PublicationBIB
Let m(n) be the number of ordered factorizations of n in factors larger than 1. We prove that for every eps>0 n^{rho} m(n) < exp[(log n)^{1/rho}/(loglog n)^{1+eps}] holds for all integers n>n_0, while, for a constant c>0, n^{rho} m(n) > exp[c(log n)^{1/ρ}/(loglog n)^{1/rho}] holds for infinitely many positive integers n, where rho=1.72864... is the real solution to zeta(rho)=2. We investigate also arithmetic properties of m(n) and the number of distinct values of m(n).
2005-05-17 v4
On the geometry of toric arrangements
Published • View PublicationBIB
We introduce toric arrangements, essentially finite families of codimension 1 subtori of a torus or of their cosets, as a periodic generalization of hyperplane arrangements, compute cohomology of the complement of such an arrangement and apply the theory to give a geometric interpretation of the formulas of Brion--Szenes--Vergne counting the number of integral points in polytopes.
2005-05-16
Automorphism groups of maps, surfaces and Smarandache geometries
A combinatorial map is a connected topological graph cellularly embedded in a surface. This monograph concentrates on the automorphism group of a map, which is related to the automorphism group of a Klein surface and a Smarandache manifold, also applied to the enumeration of unrooted maps on orientable and non-orientable surfaces. A number of results for the enumeration of unrooted maps underlying a graph on orientable and non-orientable surfaces are discovered. An elementary classification for the closed s-manifolds is found. Open problems related the combinatorial maps with the differential geometry, Riemann geometry and Smarandache geometries are also presented in this monograph for the further application of the combinatorial maps to the classical mathematics.
2005-05-16 v2
A Generalized Macaulay Theorem and Generalized Face Rings
Published in JCTA 113 (2006) 1321-1331 • View PublicationBIB
We prove that the $f$-vector of members in a certain class of meet semi-lattices satisfies Macaulay inequalities. We construct a large family of meet semi-lattices belonging to this class, which includes all posets of multicomplexes, as well as meet semi-lattices with the "diamond property", discussed by Wegner, as spacial cases. Specializing the proof to that later family, one obtains the Kruskal-Katona inequalities and their proof as in Wegner's. For geometric meet semi lattices we construct an analogue of the exterior face ring, generalizing the classic construction for simplicial complexes. For a more general class, which include also multicomplexes, we construct an analogue of the Stanley-Reisner ring. These two constructions provide algebraic counterparts (and thus also algebraic proofs) of Kruskal-Katona's and Macaulay's inequalities for these classes, respectively.
2005-05-16 v2
Rigidity and the Lower Bound Theorem for Doubly Cohen-Macaulay Complexes
Published in Discrete Comput. Geom. 39 (2008), no. 1-3, 411--418. • View PublicationBIB
We prove that for $d\geq 3$, the 1-skeleton of any $(d-1)$-dimensional doubly Cohen Macaulay (abbreviated 2-CM) complex is generically $d$-rigid. This implies the following two corollaries (by Kalai and Lee respectively): Barnette's lower bound inequalities for boundary complexes of simplicial polytopes hold for every 2-CM complex (of dimension $\geq 2$). Moreover, the initial part $(g_0,g_1,g_2)$ of the $g$-vector of a 2-CM complex (of dimension $\geq 3$) is an $M$-sequence. It was conjectured by Björner and Swartz that the entire $g$-vector of a 2-CM complex is an $M$-sequence.
2005-05-16 v2
On limits of finite graphs
Published • View PublicationBIB
We prove that for any weakly convergent sequence of finite graphs with bounded vertex degrees, there exists a topological limit graphing.
2005-05-15
An explicit form for Kerov's character polynomials
Published • View PublicationBIB
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.
Sloping Binary Numbers: A New Sequence Related to the Binary Numbers
Published in J. Integer Sequences 8 (2005), #05.3.6 • Search Publication
If the list of binary numbers is read by upward-sloping diagonals, the resulting ``sloping binary numbers'' 0, 11, 110, 101, 100, 1111, 1010, ... (or 0, 3, 6, 5, 4, 15, 10, ...) have some surprising properties. We give formulae for the n-th term and the n-th missing term, and discuss a number of related sequences.
2005-05-12
Asymptotic enumeration of permutations avoiding generalized patterns
Published • View PublicationBIB
Motivated by the recent proof of the Stanley-Wilf conjecture, we study the asymptotic behavior of the number of permutations avoiding a generalized pattern. Generalized patterns allow the requirement that some pairs of letters must be adjacent in an occurrence of the pattern in the permutation, and consecutive patterns are a particular case of them. We determine the asymptotic behavior of the number of permutations avoiding a consecutive pattern, showing that they are an exponentially small proportion of the total number of permutations. For some other generalized patterns we give partial results, showing that the number of permutations avoiding them grows faster than for classical patterns but more slowly than for consecutive patterns.
2005-05-12 v2
Symmetric inclusion-exclusion
Published in Séminaire Lotharingien de Combinatoire 54 (2005/06), Art. B54b, 10 pp • Search Publication
One form of the inclusion-exclusion principle asserts that if A and B are functions of finite sets then A(S) is the sum of B(T) over all subsets T of S if and only if B(S) is the sum of (-1)^|S-T| A(T) over all subsets T of S. If we replace B(S) with (-1)^|S| B(S), we get a symmetric form of inclusion-exclusion: A(S) is the sum of (-1)^|T| B(T) over all subsets T of S if and only if B(S) is the sum of (-1)^|T| A(T) over all subsets T of S. We study instances of symmetric inclusion-exclusion in which the functions A and B have combinatorial or probabilistic interpretations. In particular, we study cases related to the Polya-Eggenberger urn model in which A(S) and B(S) depend only on the cardinality of S.