Showing 20 papers (Total: 81914 papers, 47441 authors in database)
The competition numbers of ternary Hamming graphs
Published in Applied Mathematics Letters 24 (2011) 1608-1613
• View Publication
• BIB
It is known to be a hard problem to compute the competition number k(G) of a graph G in general. Park and Sano [13] gave the exact values of the competition numbers of Hamming graphs H(n,q) if $1 \leq n \leq 3$ or $1 \leq q \leq 2$. In this paper, we give an explicit formula of the competition numbers of ternary Hamming graphs.
The competition-common enemy graphs of digraphs satisfying Conditions $C(p)$ and $C'(p)$
Published in Congressus Numerantium 202 (2010) 187-194
• Search Publication
S. -R. Kim and F. S. Roberts (2002) introduced the following conditions $C(p)$ and $C'(p)$ for digraphs as generalizations of the condition for digraphs to be semiorders. The condition $C(p)$ (resp. $C'(p)$) is: For any set $S$ of $p$ vertices in $D$, there exists $x \in S$ such that $N^+_D(x) \subseteq N^+_D(y)$ (resp. $N^-_D(x) \subseteq N^-_D(y)$) for all $y \in S$, where $N^+_D(x)$ (resp. $N^-_D(x)$) is the set of out-neighbors (resp. in-neighbors) of $x$ in $D$. The competition graph of a digraph $D$ is the (simple undirected) graph which has the same vertex set as $D$ and has an edge between two distinct vertices $x$ and $y$ if $N^+_D(x) \cap N^+_D(y) \neq \emptyset$. Kim and Roberts characterized the competition graphs of digraphs which satisfy Condition $C(p)$. The competition-common enemy graph of a digraph $D$ is the graph which has the same vertex set as $D$ and has an edge between two distinct vertices $x$ and $y$ if it holds that both $N^+_D(x) \cap N^+_D(y) \neq \emptyset$ and $N^-_D(x) \cap N^-_D(y) \neq \emptyset$. In this note, we characterize the competition-common enemy graphs of digraphs satisfying Conditions $C(p)$ and $C'(p)$.
Banach spaces and Ramsey Theory: some open problems
Published in RACSAM 104 (2010), 435-450
• View Publication
• BIB
We discuss some open problems in the Geometry of Banach spaces having Ramsey-theoretic flavor. The problems are exposed together with well known results related to them.
A density version of the Halpern-Läuchli theorem
Published in Advances in Mathematics 244 (2013), 955-978
• View Publication
• BIB
We prove a density version of the Halpern-Läuchli Theorem. This settles in the affirmative a conjecture of R. Laver. Specifically, let us say that a tree $T$ is homogeneous if $T$ has a unique root and there exists an integer $b\meg 2$ such that every $t\in T$ has exactly $b$ immediate successors. We show that for every $d\meg 1$ and every tuple $(T_1,...,T_d)$ of homogeneous trees, if $D$ is a subset of the level product of $(T_1,...,T_d)$ satisfying \[ \limsup_{n\to\infty} \frac{|D\cap \big(T_1(n)\times ... \times T_d(n)\big)|}{|T_1(n)\times ... \times T_d(n)|}>0\] then there exist strong subtrees $(S_1, ..., S_d)$ of $(T_1,...,T_d)$ having common level set such that the level product of $(S_1,...,S_d)$ is a subset of $D$.
A conjecture of Biggs concerning the resistance of a distance-regular graph
Published in Electronic Journal of Combinatorics, Vol. 17(1), 2010
• View Publication
• BIB
Previously, Biggs has conjectured that the resistance between any two points on a distance-regular graph of valency greater than 2 is bounded by twice the resistance between adjacent points. We prove this conjecture, give the sharp constant for the inequality, and display the graphs for which the conjecture most nearly fails. Some necessary background material is included, as well as some consequences.
Enumerating (2+2)-free posets by indistinguishable elements
Published
• View Publication
• BIB
A poset is said to be (2+2)-free if it does not contain an induced subposet that is isomorphic to 2+2, the union of two disjoint 2-element chains. Two elements in a poset are indistinguishable if they have the same strict up-set and the same strict down-set. Being indistinguishable defines an equivalence relation on the elements of the poset. We introduce the statistic maxindist, the maximum size of a set of indistinguishable elements. We show that, under a bijection of Bousquet-Melou et al., indistinguishable elements correspond to letters that belong to the same run in the so-called ascent sequence corresponding to the poset. We derive the generating function for the number of (2+2)-free posets with respect to both maxindist and the number of different strict down-sets of elements in the poset. Moreover, we show that (2+2)-free posets P with maxindist(P) at most k are in bijection with upper triangular matrices of nonnegative integers not exceeding k, where each row and each column contains a nonzero entry. (Here we consider isomorphic posets to be equal.) In particular, (2+2)-free posets P on n elements with maxindist(P)=1 correspond to upper triangular binary matrices where each row and column contains a nonzero entry, and whose entries sum to n. We derive a generating function counting such matrices, which confirms a conjecture of Jovovic, and we refine the generating function to count upper triangular matrices consisting of nonnegative integers not exceeding k and having a nonzero entry in each row and column. That refined generating function also enumerates (2+2)-free posets according to maxindist. Finally, we link our enumerative results to certain restricted permutations and matrices.
Computing the bounded subcomplex of an unbounded polyhedron
Published in Computational Geometry: Theory and Applications, 46 (2013), no. 5, 541-551
• View Publication
• BIB
We study efficient combinatorial algorithms to produce the Hasse diagram of the poset of bounded faces of an unbounded polyhedron, given vertex-facet incidences. We also discuss the special case of simple polyhedra and present computational results.
On Apery numbers and generalized central trinomial coefficients
We decide to combine this preprint with two other ones (arXiv:1101.1946 and arXiv:1008.3887). The results on Apery numbers and polynomials will be added to the new version of arxiv:1101.1946, and those results on generalized trinomial coefficients will be added to the new version of arxiv:1008.3887
A counterexample to the Hirsch conjecture
Published in Annals of Math. (2), 176 (July 2012), 383-412
• View Publication
• BIB
The Hirsch Conjecture (1957) stated that the graph of a $d$-dimensional polytope with $n$ facets cannot have (combinatorial) diameter greater than $n-d$. That is, that any two vertices of the polytope can be connected by a path of at most $n-d$ edges.
This paper presents the first counterexample to the conjecture. Our polytope has dimension 43 and 86 facets. It is obtained from a 5-dimensional polytope with 48 facets which violates a certain generalization of the $d$-step conjecture of Klee and Walkup.
Toric Ideals of Lattice Path Matroids and Polymatroids
Published
• View Publication
• BIB
We show that the toric ideal of a lattice path polymatroid is generated by quadrics corresponding to symmetric exchanges, and give a monomial order under which these quadrics form a Gröbner basis. We then obtain an analogous result for lattice path matroids.
Convex-Ear Decompositions and the Flag h-Vector
Published
• View Publication
• BIB
We prove a theorem allowing us to find convex-ear decompositions for rank-selected subposets of posets that are unions of Boolean sublattices in a coherent fashion. We then apply this theorem to geometric lattices and face posets of shellable complexes, obtaining new inequalities for their h-vectors. Finally, we use the latter decomposition to prove new inequalities for the flag h-vectors of face posets of Cohen-Macaulay complexes.
A New Approach on the Seating Couples Problem
A king invites n couples to sit around a round table with 2n+1 seats. For each couple, the king decides a prescribed distance d between 1 and n which the two spouses have to be seated from each other (distance d means that they are separated by exactly d-1 chairs). We will show that there is a solution for every choice of the distances if and only if 2n+1 is a prime number, using a theorem known as Combinatorial Nullstellensatz.
On Stanley's Partition Function
Stanley defined a partition function t(n) as the number of partitions $λ$ of n such that the number of odd parts of $λ$ is congruent to the number of odd parts of the conjugate partition $λ'$ modulo 4. We show that t(n) equals the number of partitions of n with an even number of hooks of even length. We derive a closed-form formula for the generating function for the numbers p(n)-t(n). As a consequence, we see that t(n) has the same parity as the ordinary partition function p(n) for any n. A simple combinatorial explanation of this fact is also provided.
Diameter Bounds for Planar Graphs
Published
• View Publication
• BIB
The inverse degree of a graph is the sum of the reciprocals of the degrees of its vertices. We prove that in any connected planar graph, the diameter is at most 5/2 times the inverse degree, and that this ratio is tight. To develop a crucial surgery method, we begin by proving the simpler related upper bounds (4(V-1)-E)/3 and 4V^2/3E on the diameter (for connected planar graphs), which are also tight.
Two congruences involving Andrews-Paule's broken 3-diamond partitions and 5-diamond partitions
Published
• View Publication
• BIB
In this note, we will give proofs of two congruences involving broken 3-diamond partitions and broken 5-diamond partitions which were conjectured by Peter Paule and Silviu Radu.
Counting subspaces of a finite vector space
Published in Resonance, vol. 15; no. 11, pages 977-987 and no. 12, pages 1074-1083, 2010
• View Publication
• BIB
In this expository article, we discuss the relation between the Gaussian binomial and multinomial coefficients and ordinary binomial and multinomial coefficients from a combinatorial viewpoint, based on expositions by Butler, Knuth and Stanley.
Integrality Gap of the Hypergraphic Relaxation of Steiner Trees: a short proof of a 1.55 upper bound
Published
• View Publication
• BIB
Recently Byrka, Grandoni, Rothvoss and Sanita (at STOC 2010) gave a 1.39-approximation for the Steiner tree problem, using a hypergraph-based linear programming relaxation. They also upper-bounded its integrality gap by 1.55. We describe a shorter proof of the same integrality gap bound, by applying some of their techniques to a randomized loss-contracting algorithm.
The codes and the lattices of Hadamard matrices
Published in Europ. J. Combin. 33 (2012), 519-533
• View Publication
• BIB
It has been observed by Assmus and Key as a result of the complete classification of Hadamard matrices of order 24, that the extremality of the binary code of a Hadamard matrix H of order 24 is equivalent to the extremality of the ternary code of H^T. In this note, we present two proofs of this fact, neither of which depends on the classification. One is a consequence of a more general result on the minimum weight of the dual of the code of a Hadamard matrix. The other relates the lattices obtained from the binary code and from the ternary code. Both proofs are presented in greater generality to include higher orders. In particular, the latter method is also used to show the equivalence of (i) the extremality of the ternary code, (ii) the extremality of the Z_4-code, and (iii) the extremality of a lattice obtained from a Hadamard matrix of order 48.
Geometric Combinatorics of Transportation Polytopes and the Behavior of the Simplex Method
This dissertation investigates the geometric combinatorics of convex polytopes and connections to the behavior of the simplex method for linear programming. We focus our attention on transportation polytopes, which are sets of all tables of non-negative real numbers satisfying certain summation conditions. Transportation problems are, in many ways, the simplest kind of linear programs and thus have a rich combinatorial structure. First, we give new results on the diameters of certain classes of transportation polytopes and their relation to the Hirsch Conjecture, which asserts that the diameter of every $d$-dimensional convex polytope with $n$ facets is bounded above by $n-d$. In particular, we prove a new quadratic upper bound on the diameter of $3$-way axial transportation polytopes defined by $1$-marginals. We also show that the Hirsch Conjecture holds for $p \times 2$ classical transportation polytopes, but that there are infinitely-many Hirsch-sharp classical transportation polytopes. Second, we present new results on subpolytopes of transportation polytopes. We investigate, for example, a non-regular triangulation of a subpolytope of the fourth Birkhoff polytope $B_4$. This implies the existence of non-regular triangulations of all Birkhoff polytopes $B_n$ for $n \geq 4$. We also study certain classes of network flow polytopes and prove new linear upper bounds for their diameters.
Bijections from weighted Dyck paths to Schroeder paths
Published in J. Integer Seq. 13 (2010), no. 9, Article 10.9.2, 20 pp
• Search Publication
Kim and Drake used generating functions to prove that the number of 2-distant noncrossing matchings, which are in bijection with little Schroeder paths, is the same as the weight of Dyck paths in which downsteps from even height have weight 2. This work presents bijections from those Dyck paths to little Schroeder paths, and from a similar set of Dyck paths to big Schroeder paths. We show the effect of these bijections on the corresponding matchings, find generating functions for two new classes of lattice paths, and demonstrate a relationship with 231-avoiding permutations.