arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82851 papers, 47869 authors in database)
2005-05-25
De Bruijn Covering Codes for Rooted Hypergraphs
What is the length of the shortest sequence $S$ of reals so that the set of consecutive $n$-words in $S$ form a covering code for permutations on $\{1,2, >..., n\}$ of radius $R$ ? (The distance between two $n$-words is the number of transpositions needed to have the same order type.) The above problem can be viewed as a special case of finding a De Bruijn covering code for a rooted hypergraph. Each edge of a rooted hypergraph contains a special vertex, called the {\it root} of the edge, and each vertex is the root of a unique edge, called its {\it ball}. A De Bruijn covering code is a subset of the roots such that every vertex is in some edge containing a chosen root. Under some mild conditions, we obtain an upper bound for the shortest length of a De Bruijn covering code of a rooted hypergraph, a bound which is within a factor of $\log n$ of the lower bound.
2005-05-25
A point process describing the component sizes in the critical window of the random graph evolution
Published • View Publication • BIB
We study a point process describing the asymptotic behavior of sizes of the largest components of the random graph G(n,p) in the critical window p=n^{-1}+lambda n^{-4/3}. In particular, we show that this point process has a surprising rigidity. Fluctuations in the large values will be balanced by opposite fluctuations in the small values such that the sum of the values larger than a small epsilon is almost constant.
2005-05-25
Boxicity and Treewidth
Published • View Publication • BIB
In this paper, we relate the seemingly unrelated concepts of treewidth and boxicity. Our main result is that, for any graph G, boxicity(G) <= treewidth(G) + 2. We also show that this upper bound is (almost) tight. Our result leads to various interesting consequences, like bounding the boxicity of many well known graph classes, such as chordal graphs, circular arc graphs, AT-free graphs, co--comparability graphs etc. All our bounds are shown to be tight up to small constant factors. An algorithmic consequence of our result is a linear time algorithm to construct a box representation for graphs of bounded treewidth in a space of constant dimension. We also show many structural results as a consequence. In particular, we show that, if the boxicity of a graph is b >= 3, then there exists a simple cycle of length at least b-3 as well as an induced cycle of length at least floor of (log(b-2) to the base Delta) + 2, where Delta is its maximum degree. We also relate boxicity with the cardinality of minimum vertex cover, minimum feedback vertex cover etc. Another structural consequence is that, for any fixed planar graph H, there is a constant c(H) such that, if boxicity(G) >= c(H) then H is a minor of G.
2005-05-25 v6
On q-Euler numbers, q-Salie numbers and q-Carlitz numbers
Published in Acta Arith. 124(2006), 41--57 • View Publication • BIB
Let $(a;q)_n=\prod_{0\le k<n}(1-aq^k)$ for n=0,1,2,.... Define q-Euler numbers $E_n(q)$, q-Salié numbers $S_n(q)$ and q-Carlitz numbers $C_n(q)$ as follows: $$\sum_{n=0}^{\infty}E_n(q)\frac{x^n}{(q,q)_n} =1/\sum_{n=0}^{\infty}\frac{q^{n(2n-1)}x^{2n}}{(q;q)_{2n}},$$ $$\sum_{n=0}^{\infty}S_n(q)\frac{x^n}{(q;q)_n} =\sum_{n=0}^{\infty}\frac{q^{n(n-1)}x^{2n}}{(q;q)_{2n}} /\sum_{n=0}^{\infty}\frac{(-1)^nq^{n(2n-1)}x^{2n}}{(q;q)_{2n}},$$ $$\sum_{n=0}^{\infty}C_n(q)\frac{x^n}{(q;q)_n} =\sum_{n=0}^{\infty}\frac{q^{n(n-1)}x^{2n+1}}{(q;q)_{2n+1}} /\sum_{n=0}^{\infty}\frac{(-1)^nq^{n(2n+1)}x^{2n+1}}{(q;q)_{2n+1}}.$$ We show that $$E_{2n}(q)-E_{2n+2^{s}t}(q)=[2^s]_{q^t} (mod (1+q)[2^s]_{q^t})$$ for any nonnegative integers n,s,t with t odd, where $[k]_q=(1-q^k)/(1-q)$; this is a q-analogue of Stern's congruence $E_{2n+2^s}=E_{2n}+2^s (mod 2^{s+1})$. We also prove that $(-q;q)_n=\prod_{0<k\le n}(1+q^k)$ divides $S_{2n}(q)$ and the numerator of $C_{2n}(q)$; this extends Carlitz's result that $2^n$ divides the Salié number $S_{2n}$ and the numerator of the Carlitz number $C_{2n}$. Our result on q-Salié numbers implies a conjecture of Guo and Zeng.
2005-05-24
Multivariable codes over finite chain rings: semisimple codes
Published • View Publication • BIB
The structure of multivariate semisimple codes over a finite chain ring $R$ is established using the structure of the residue field $\bar R$. Multivariate codes extend in a natural way the univariate cyclic and negacyclic codes and include some non-trivial codes over $R$. The structure of the dual codes in the semisimple abelian case is also derived and some conditions on the existence of selfdual codes over $R$ are studied.
2005-05-24
Combinatorial approach to generalized Bell and Stirling numbers and boson normal ordering problem
Published in J. Math. Phys. 46, 083511 (2005) • View Publication • BIB
We consider the numbers arising in the problem of normal ordering of expressions in canonical boson creation and annihilation operators. We treat a general form of a boson string which is shown to be associated with generalizations of Stirling and Bell numbers. The recurrence relations and closed-form expressions (Dobiski-type formulas) are obtained for these quantities by both algebraic and combinatorial methods. By extensive use of methods of combinatorial analysis we prove the equivalence of the aforementioned problem to the enumeration of special families of graphs. This link provides a combinatorial interpretation of the numbers arising in this normal ordering problem.
2005-05-24
Problems and Conjectures presented at the Third International Conference on Permutation Patterns, University of Florida, March 7-11, 2005
We recount problems, questions and conjectures that arose during a problem session of the Third International Conference on Permutation Patterns, University of Florida, March 7-11, 2005.
2005-05-24 v3
Construction of spherical cubature formulas using lattices
Published • View Publication • BIB
We construct cubature formulas on spheres supported by homothetic images of shells in some Euclidian lattices. Our analysis of these cubature formulas uses results from the theory of modular forms. Examples are worked out on the sphere of dimension n-1 for n=4, 8, 12, 14, 16, 20, 23, and 24, and the sizes of the cubature formulas we obtain are compared with the lower bounds given by Linear Programming.
2005-05-24 v2
Combinatorics of n-point functions via Hopf algebra in quantum field theory
Published in J.Math.Phys. 47 (2006) 052301 • View Publication • BIB
We use a coproduct on the time-ordered algebra of field operators to derive simple relations between complete, connected and 1-particle irreducible n-point functions. Compared to traditional functional methods our approach is much more intrinsic and leads to efficient algorithms suitable for concrete computations. It may also be used to efficiently perform tree level computations.
2005-05-24 v3
Root systems and generalized associahedra
Published in Geometric combinatorics, 63-131, IAS/Park City Math. Ser., 13, Amer. Math. Soc., Providence, RI, 2007 • View Publication • BIB
These lecture notes for the IAS/Park City Graduate Summer School in Geometric Combinatorics (July 2004) provide an overview of root systems, generalized associahedra, and the combinatorics of clusters. Lectures 1-2 cover classical material: root systems, finite reflection groups, and the Cartan-Killing classification. Lectures 3-4 provide an introduction to cluster algebras from a combinatorial perspective. Lecture 5 is devoted to related topics in enumerative combinatorics.
2005-05-24
A k-tableau characterization of k-Schur functions
Published • View Publication • BIB
We study k-Schur functions characterized by k-tableaux, proving combinatorial properties such as a k-Pieri rule and a k-conjugation. This new approach relies on developing the theory of k-tableaux, and includes the introduction of a weight-permuting involution on these tableaux that generalizes the Bender-Knuth involution. This work lays the groundwork needed to prove that the set of k-Schur Littlewood-Richardson coefficients contains the 3-point Gromov-Witten invariants; structure constants for the quantum cohomology ring.
2005-05-23 v2
On the length of the longest subsequence avoiding an arbitrary pattern in a random permutation
Published • View Publication • BIB
We consider the distribution of the length of the longest subsequence avoiding a given pattern in a random permutation of length n. The well-studied case of a longest increasing subsequence corresponds to avoiding the pattern 21. We show that there is some constant c such that the mean value of this length is asymptotic to twice the square root of c times n and that the distribution of the length is tightly concentrated around its mean. We observe some apparent connections between c and the Stanley-Wilf limit of the class of permutations avoiding the given pattern.
Hadwiger Number and the Cartesian Product Of Graphs
Published • View Publication • BIB
The Hadwiger number mr(G) of a graph G is the largest integer n for which the complete graph K_n on n vertices is a minor of G. Hadwiger conjectured that for every graph G, mr(G) >= chi(G), where chi(G) is the chromatic number of G. In this paper, we study the Hadwiger number of the Cartesian product G [] H of graphs. As the main result of this paper, we prove that mr(G_1 [] G_2) >= h\sqrt{l}(1 - o(1)) for any two graphs G_1 and G_2 with mr(G_1) = h and mr(G_2) = l. We show that the above lower bound is asymptotically best possible. This asymptotically settles a question of Z. Miller (1978). As consequences of our main result, we show the following: 1. Let G be a connected graph. Let the (unique) prime factorization of G be given by G_1 [] G_2 [] ... [] G_k. Then G satisfies Hadwiger's conjecture if k >= 2.log(log(chi(G))) + c', where c' is a constant. This improves the 2.log(chi(G))+3 bound of Chandran and Sivadasan. 2. Let G_1 and G_2 be two graphs such that chi(G_1) >= chi(G_2) >= c.log^{1.5}(chi(G_1)), where c is a constant. Then G_1 [] G_2 satisfies Hadwiger's conjecture. 3. Hadwiger's conjecture is true for G^d (Cartesian product of G taken d times) for every graph G and every d >= 2. This settles a question by Chandran and Sivadasan (They had shown that the Hadiwger's conjecture is true for G^d if d >= 3.)
2005-05-22 v3
Tropical Arithmetic and Tropical Matrix Algebra
Published in Communication in Algebra, 37(4):1445 - 1468 , 2009 • View Publication • BIB
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 Publication • BIB
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 Publication • BIB
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$.