contain ↗ reference
7689 papers tagged with this keyword
An Ore-type theorem for perfect packings in graphs
We say that a graph G has a perfect H-packing (also called an H-factor) if there exists a set of disjoint copies of H in G which together cover all the vertices of G. Given a graph H, we determine, asymptotically, the Ore-type degree condition which ensures that a graph G has a perfect H-packing. More precisely, let δ_{\rm Ore} (H,n) be the smallest number k such that every graph G whose order n is divisible by |H| and with d(x)+d(y)\geq k for all non-adjacent x \not = y \in V(G) contains a perfect H-packing. We determine \lim_{n\to \infty} δ_{\rm Ore} (H,n)/n.
A Proof of Green's Conjecture Regarding the Removal Properties of Sets of Linear Equations
Published
• View Publication
• BIB
A system of \ell linear equations in p unknowns Mx=b is said to have the removal property if every set S \subseteq {1,...,n} which contains o(n^{p-\ell}) solutions of Mx=b can be turned into a set S' containing no solution of Mx=b, by the removal of o(n) elements. Green [GAFA 2005] proved that a single homogenous linear equation always has the removal property and conjectured that every set of homogenous linear equations has the removal property. We confirm Green's conjecture by showing that every set of linear equations (even non-homogenous) has the removal property.
On families of subsets with a forbidden subposet
Published
• View Publication
• BIB
Let $\F\subset 2^{[n]}$ be a family of subsets of $\{1,2,..., n\}$. For any poset $H$, we say $\F$ is $H$-free if $\F$ does not contain any subposet isomorphic to $H$. Katona and others have investigated the behavior of $\La(n,H)$, which denotes the maximum size of $H$-free families $\F\subset 2^{[n]}$. Here we use a new approach, which is to apply methods from extremal graph theory and probability theory to identify new classes of posets $H$, for which $\La(n,H)$ can be determined asymptotically as $n\to\infty$ for various posets $H$, including two-end-forks, up-down trees, and cycles $C_{4k}$ on two levels.
On kaleidoscopic pseudo-randomness of finite Euclidean graphs
Published
• View Publication
• BIB
In this paper we study the kaleidoscopic pseudo-randomness of finite Euclidean graphs using probabilistic methods. Roughly speaking, we show that sufficiently large subsets of d-dimensional vector spaces over finite fields contain every possible finite configurations.
On the number of orthogonal systems in vector spaces over finite fields
Published
• View Publication
• BIB
Iosevich and Senger (2008) showed that if a subset of the d-dimensional vector space over a finite field is large enough, then it contains many k-tuples of mutually orthogonal vectors. In this note, we provide a graph theoretic proof of this result.
Uneven Splitting of Ham Sandwiches
Published in Discrete and Computational Geometry, Volume 43, Number 4 / Juni 2010, Pages 876-892
• View Publication
• BIB
Let m_1,...,m_n be continuous probability measures on R^n and a_1,...,a_n in [0,1]. When does there exist an oriented hyperplane H such that the positive half-space H^+ has m_i(H^+)=a_i for all i in [n]? It is well known that such a hyperplane does not exist in general. The famous ham sandwich theorem states that if a_i=1/2 for all i, then such a hyperplane always exists.
In this paper we give sufficient criteria for the existence of H for general a_i in [0,1]. Let f_1,...,f_n:S^{n-1}->R^n denote auxiliary functions with the property that for all i the unique hyperplane H_i with normal v that contains the point f_i(v) has m_i(H_i^+)=a_i. Our main result is that if Im(f_1),...,Im(f_n) are bounded and can be separated by hyperplanes, then there exists a hyperplane H with m_i(H^+)=a_i for all i. This gives rise to several corollaries, for instance if the supports of m_1,...,m_n are bounded and can be separated by hyperplanes, then H exists for any choice of a_1,...,a_n in [0,1]. We also obtain results that can be applied if the supports of m_1,...,m_n overlap.
On a Furstenberg-Katznelson-Weiss type theorem over finite fields
Published
• View Publication
• BIB
Using Fourier analysis, Covert, Hart, Iosevich and Uriarte-Tuero (2008) showed that if the cardinality of a subset of the 2-dimensional vector space over a finite field with q elements is >= rq^2, with q^{-1/2} << r <= 1 then it contains an isometric copy of >= crq^3 triangles. In this note, we give a graph theoretic proof of this result.
Finding Short Cycles in an Embedded Graph in Polynomial Time
Published
• View Publication
• BIB
Let ${\cal{C}}_1$ be the set of fundamental cycles of breadth-first-search trees in a graph $G$ and ${\cal{C}}_2$ the set of the sums of two cycles in ${\cal{C}}_1$. Then we show that $(1) {\cal{C}}={\cal{C}}_1\bigcup{\cal{C}}_2$ contains a shortest $Π$-twosided cycle in a $Π$-embedded graph $G$;$(2)$ $\cal{C}$ contains all the possible shortest even cycles in a graph $G$;$(3)$ If a shortest cycle in a graph $G$ is an odd cycle, then $\cal{C}$ contains all the shortest odd cycles in $G$. This implies the existence of a polynomially bounded algorithm to find a shortest $Π-$twosided cycle in an embedded graph and thus solves an open problem of B.Mohar and C.Thomassen[2,pp112]
A variant of the Hales-Jewett Theorem
Published
• View Publication
• BIB
It was shown by V. Bergelson that any set B with positive upper multiplicative density contains nicely intertwined arithmetic and geometric progressions: For each positive integer k there exist integers a,b,d such that $ {b(a+id)^j:i,j \in\nhat k}\subset B. $ In particular one cell of each finite partition of the positive integers contains such configurations. We prove a Hales-Jewett type extension of this partition theorem.
Orthogonal systems in vector spaces over finite fields
Published
• View Publication
• BIB
We prove that if a subset of the d-dimensional vector space over a finite field is large enough, then it contains many k-tuples of mutually orthogonal vectors.
Nonhomogeneous analytic families of trees
Published
• View Publication
• BIB
We consider a dichotomy for analytic families of trees stating that either there is a colouring of the nodes for which all but finitely many levels of every tree are nonhomogeneous, or else the family contains an uncountable antichain. This dichotomy implies that every nontrivial Souslin poset satisfying the countable chain condition adds a splitting real.
We then reduce the dichotomy to a conjecture of Sperner Theory. This conjecture is concerning the asymptotic behaviour of the product of the sizes of the m-shades of pairs of cross-t-intersecting families.
Graph polynomials and their applications II: Interrelations and interpretations
Published
• View Publication
• BIB
This paper surveys a comprehensive, although not exhaustive, sampling of graph polynomials with the goal of providing a brief overview of a variety of techniques defining a graph polynomial and then for decoding the combinatorial information it contains. The polynomials we discuss here are not generally specializations of the Tutte polynomial, but they are each in some way related to the Tutte polynomial, and often to one another. We emphasize these interrelations and explore how an understanding of one polynomial can guide research into others. We also discuss multivariable generalizations of some of these polynomials and the theory facilitated by this. We conclude with two examples, one from biology and one from physics, that illustrate the applicability of graph polynomials in other fields.
This is the second chapter of a two chapter series, and concludes Graph Polynomials and Their Applications I: The Tutte Polynomial, arXiv:0803.3079
Consecutive integers in high-multiplicity sumsets
Published
• View Publication
• BIB
Sharpening (a particular case of) a result of Szemeredi and Vu and extending earlier results of Sarkozy and ourselves, we find, subject to some technical restrictions, a sharp threshold for the number of integer sets needed for their sumset to contain a block of consecutive integers of length, comparable with the lengths of the set summands.
A corollary of our main result is as follows. Let $k,l\ge 1$ and $n\ge 3$ be integers, and suppose that $A_1,...,A_k\subset[0,l]$ are integer sets of size at least $n$, none of which is contained in an arithmetic progression with difference greater than 1. If $k\ge 2\lceil(l-1)/(n-2)\rceil$, then the sumset $A_1+...+A_k$ contains a block of consecutive integers of length $k(n-1)$.
On a question of Erdos and Ulam
Published in Discrete & Computational Geometry 43 (2010), 393-401
• View Publication
• BIB
Ulam asked in 1945 if there is an everywhere dense \emph{rational set}, i.e. a point set in the plane with all its pairwise distances rational. Erd\H os conjectured that if a set $S$ has a dense rational subset, then $S$ should be very special. The only known types of examples of sets with dense (or even just infinite) rational subsets are lines and circles. In this paper we prove Erd\H os's conjecture for algebraic curves, by showing that no irreducible algebraic curve other than a line or a circle contains an infinite rational set.
The sum-product phenomenon in arbitrary rings
Published
• View Publication
• BIB
The \emph{sum-product phenomenon} predicts that a finite set $A$ in a ring $R$ should have either a large sumset $A+A$ or large product set $A \cdot A$ unless it is in some sense "close" to a finite subring of $R$. This phenomenon has been analysed intensively for various specific rings, notably the reals $\R$ and cyclic groups $\Z/q\Z$. In this paper we consider the problem in arbitrary rings $R$, which need not be commutative or contain a multiplicative identity. We obtain rigorous formulations of the sum-product phenomenon in such rings in the case when $A$ encounters few zero-divisors of $R$. As applications we recover (and generalise) several sum-product theorems already in the literature.
Two interacting Hopf algebras of trees
Published in Advances in Applied Mathematics 47 (2011) 282-308
• View Publication
• BIB
Hopf algebra structures on rooted trees are by now a well-studied object, especially in the context of combinatorics. In this work we consider a Hopf algebra H by introducing a coproduct on a (commutative) algebra of rooted forests, considering each tree of the forest (which must contain at least one edge) as a Feynman-like graph without loops. The primitive part of the graded dual is endowed with a pre-Lie product defined in terms of insertion of a tree inside another. We establish a surprising link between the Hopf algebra H obtained this way and the well-known Connes-Kreimer Hopf algebra of rooted trees by means of a natural H-bicomodule structure on the latter. This enables us to recover recent results in the field of numerical methods for differential equations due to Chartier, Hairer and Vilmart as well as Murua.
Triangle packings and 1-factors in oriented graphs
Published
• View Publication
• BIB
An oriented graph is a directed graph which can be obtained from a simple undirected graph by orienting its edges. In this paper we show that any oriented graph G on n vertices with minimum indegree and outdegree at least (1/2-o(1))n contains a packing of cyclic triangles covering all but at most 3 vertices. This almost answers a question of Cuckler and Yuster and is best possible, since for n = 3 mod 18 there is a tournament with no perfect triangle packing and with all indegrees and outdegrees (n-1)/2 or (n-1)/2 \pm 1. Under the same hypotheses, we also show that one can embed any prescribed almost 1-factor, i.e. for any sequence n_1,...,n_t with n_1+...+n_t < n-O(1) we can find a vertex-disjoint collection of directed cycles with lengths n_1,...,n_t. In addition, under quite general conditions on the n_i we can remove the O(1) additive error and find a prescribed 1-factor.
Paperfolding sequences, paperfolding curves and local isomorphism
Published
• View Publication
• BIB
For each integer n, an n-folding curve is obtained by folding n times a strip of paper in two, possibly up or down, and unfolding it with right angles. Generalizing the usual notion of infinite folding curve, we define complete folding curves as the curves without endpoint which are unions of increasing sequences of n-folding curves for n integer. We prove that there exists a standard way to extend any complete folding curve into a covering of the plane by disjoint such curves, which satisfies the local isomorphism property introduced to investigate aperiodic tiling systems. This covering contains at most six curves.
Cycles Of Given Length In Oriented Graphs
Published
• View Publication
• BIB
We show that for each \ell\geq 4 every sufficiently large oriented graph G with δ^+(G), δ^-(G) \geq \lfloor |G|/3 \rfloor +1 contains an \ell-cycle. This is best possible for all those \ell\geq 4 which are not divisible by 3. Surprisingly, for some other values of \ell, an \ell-cycle is forced by a much weaker minimum degree condition. We propose and discuss a conjecture regarding the precise minimum degree which forces an \ell-cycle (with \ell \geq 4 divisible by 3) in an oriented graph. We also give an application of our results to pancyclicity and consider \ell-cycles in general digraphs.
Supersequences, rearrangements of sequences, and the spectrum of bases in additive number theory
Published in Journal Number Theory 129:6 (2009), 1608--1621
• View Publication
• BIB
The set A = {a_n} of nonnegative integers is an asymptotic basis of order h if every sufficiently large integer can be represented as the sum of h elements of A. If a_n ~ alpha n^h for some real number alpha > 0, then alpha is called an additive eigenvalue of order h. The additive spectrum of order h is the set N(h) consisting of all additive eigenvalues of order h. It is proved that there is a positive number eta_h <= 1/h! such that N(h) = (0, eta_h) or N(h) = (0, eta_h]. The proof uses results about the construction of supersequences of sequences with prescribed asymptotic growth, and also about the asymptotics of rearrangements of infinite sequences. For example, it is proved that there does not exist a strictly increasing sequence of integers B = {b_n} such that b_n ~ 2^n and B contains a subsequence {b_{n_k}} such that b_{n_k} ~ 3^k.