contain ↗ reference
7689 papers tagged with this keyword
Few distinct distances implies no heavy lines or circles
Published
• View Publication
• BIB
We study the structure of planar point sets that determine a small number of distinct distances. Specifically, we show that if a set P of n points determines o(n) distinct distances, then no line contains Ω(n^{7/8}) points of P and no circle contains Ω(n^{5/6}) points of P.
We rely on the bipartite and partial variant of the Elekes-Sharir framework that was presented by Sharir, Sheffer, and Solymosi in \cite{SSS13}. For the case of lines we combine this framework with a theorem from additive combinatorics, and for the case of circles we combine it with some basic algebraic geometry and a recent incidence bound for plane algebraic curves by Wang, Yang, and Zhang \cite{WYZ13}. A significant difference between our approach and that of \cite{SSS13} (and other recent extensions) is that, instead of dealing with distances between two point sets that are restricted to one-dimensional curves, we consider distances between one set that is restricted to a curve and one set with no restrictions on it.
Arithmetic progressions in sets of small doubling
Published in Mathematika 62 (2016) 587-613
• View Publication
• BIB
We show that if a finite, large enough subset A of an arbitrary abelian group satisfies the small doubling condition |A + A| < (log |A|)^{1 - epsilon} |A|, then A must contain a three-term arithmetic progression whose terms are not all equal, and A + A must contain an arithmetic progression or a coset of a subgroup, either of which of size at least exp^[ c (log |A|)^{delta} ]. This extends analogous results obtained by Sanders and, respectively, by Croot, Laba and Sisask in the case where the group is that of the integers or a finite field.
Bounding sequence extremal functions with formations
Published in Electr. J. Comb. 21(3): P3.24 (2014)
• View Publication
• BIB
An $(r, s)$-formation is a concatenation of $s$ permutations of $r$ letters. If $u$ is a sequence with $r$ distinct letters, then let $\mathit{Ex}(u, n)$ be the maximum length of any $r$-sparse sequence with $n$ distinct letters which has no subsequence isomorphic to $u$. For every sequence $u$ define $\mathit{fw}(u)$, the formation width of $u$, to be the minimum $s$ for which there exists $r$ such that there is a subsequence isomorphic to $u$ in every $(r, s)$-formation. We use $\mathit{fw}(u)$ to prove upper bounds on $\mathit{Ex}(u, n)$ for sequences $u$ such that $u$ contains an alternation with the same formation width as $u$.
We generalize Nivasch's bounds on $\mathit{Ex}((ab)^{t}, n)$ by showing that $\mathit{fw}((12 \ldots l)^{t})=2t-1$ and $\mathit{Ex}((12\ldots l)^{t}, n) =n2^{\frac{1}{(t-2)!}α(n)^{t-2}\pm O(α(n)^{t-3})}$ for every $l \geq 2$ and $t\geq 3$, such that $α(n)$ denotes the inverse Ackermann function. Upper bounds on $\mathit{Ex}((12 \ldots l)^{t} , n)$ have been used in other papers to bound the maximum number of edges in $k$-quasiplanar graphs on $n$ vertices with no pair of edges intersecting in more than $O(1)$ points.
If $u$ is any sequence of the form $a v a v' a$ such that $a$ is a letter, $v$ is a nonempty sequence excluding $a$ with no repeated letters and $v'$ is obtained from $v$ by only moving the first letter of $v$ to another place in $v$, then we show that $\mathit{fw}(u)=4$ and $\mathit{Ex}(u, n) =Θ(nα(n))$. Furthermore we prove that $\mathit{fw}(abc(acb)^{t})=2t+1$ and $\mathit{Ex}(abc(acb)^{t}, n) = n2^{\frac{1}{(t-1)!}α(n)^{t-1}\pm O(α(n)^{t-2})}$ for every $t\geq 2$.
A note on the random greedy independent set algorithm
Published
• View Publication
• BIB
Let $r\ge 3$ be a fixed constant and let $ {\mathcal H}$ be an $r$-uniform, $D$-regular hypergraph on $N$ vertices. Assume further that $ D > N^\varepsilon $ for some $ \varepsilon>0 $. Consider the random greedy algorithm for forming an independent set in $ \mathcal{H}$. An independent set is chosen at random by iteratively choosing vertices at random to be in the independent set. At each step we chose a vertex uniformly at random from the collection of vertices that could be added to the independent set (i.e. the collection of vertices $v$ with the property that $v$ is not in the current independent set $I$ and $ I \cup \{v\}$ contains no edge in $ \mathcal{H}$). Note that this process terminates at a maximal subset of vertices with the property that this set contains no edge of $ \mathcal{H} $; that is, the process terminates at a maximal independent set.
We prove that if $ \mathcal{H}$ satisfies certain degree and codegree conditions then there are $ Ω\left( N \cdot ( (\log N) / D )^{\frac{1}{r-1}} \right) $ vertices in the independent set produced by the random greedy algorithm with high probability. This result generalizes a lower bound on the number of steps in the $ H$-free process due to Bohman and Keevash and produces objects of interest in additive combinatorics.
Long cycles in random subgraphs of graphs with large minimum degree
Published in Random Structures Algorithms 45 (2014), no. 4, 762--765
• View Publication
• BIB
Let $G$ be any graph of minimum degree at least $k$, and let $G_p$ be the random subgraph of $G$ obtained by keeping each edge independently with probability $p$. Recently, Krivelevich, Lee and Sudakov showed that if $pk\to\infty$ then with probability tending to 1 $G_p$ contains a cycle of length at least $(1-o(1))k$. We give a much shorter proof of this result, also based on depth-first search.
Tuza's Conjecture for Graphs of Maximum Average Degree Less Than 7
Published in European Journal of Combinatorics 49 (2015), pp. 134-152
• View Publication
• BIB
Tuza's Conjecture states that if a graph $G$ does not contain more than $k$ edge-disjoint triangles, then some set of at most $2k$ edges meets all triangles of $G$. We prove Tuza's Conjecture for all graphs $G$ having no subgraph with average degree at least $7$. As a key tool in the proof, we introduce a notion of reducible sets for Tuza's Conjecture; these are substructures which cannot occur in a minimal counterexample to Tuza's Conjecture. We also introduce weak König--Egerváry graphs, a generalization of the well-studied König--Egerváry graphs.
Immersion in four-edge-connected graphs
Published
• View Publication
• BIB
Fix g>1. Every graph of large enough tree-width contains a g x g grid as a minor; but here we prove that every four-edge-connected graph of large enough tree-width contains a g x g grid as an immersion (and hence contains any fixed graph with maximum degree at most four as an immersion). This result has a number of applications.
Superpatterns and Universal Point Sets
Published in J. Graph Algorithms & Applications 18(2): 177-209, 2014
• View Publication
• BIB
An old open problem in graph drawing asks for the size of a universal point set, a set of points that can be used as vertices for straight-line drawings of all n-vertex planar graphs. We connect this problem to the theory of permutation patterns, where another open problem concerns the size of superpatterns, permutations that contain all patterns of a given size. We generalize superpatterns to classes of permutations determined by forbidden patterns, and we construct superpatterns of size n^2/4 + Theta(n) for the 213-avoiding permutations, half the size of known superpatterns for unconstrained permutations. We use our superpatterns to construct universal point sets of size n^2/4 - Theta(n), smaller than the previous bound by a 9/16 factor. We prove that every proper subclass of the 213-avoiding permutations has superpatterns of size O(n log^O(1) n), which we use to prove that the planar graphs of bounded pathwidth have near-linear universal point sets.
Results and conjectures on simultaneous core partitions
Published
• View Publication
• BIB
An n-core partition is an integer partition whose Young diagram contains no hook lengths equal to n. We consider partitions that are simultaneously a-core and b-core for two relatively prime integers a and b. These are related to abacus diagrams and the combinatorics of the affine symmetric group (type A). We observe that self-conjugate simultaneous core partitions correspond to the combinatorics of type C, and use abacus diagrams to unite the discussion of these two sets of objects.
In particular, we prove that (2n)- and (2mn+1)-core partitions correspond naturally to dominant alcoves in the m-Shi arrangement of type C_n, generalizing a result of Fishel--Vazirani for type A. We also introduce a major statistic on simultaneous n- and (n+1)-core partitions and on self-conjugate simultaneous (2n)- and (2n+1)-core partitions that yield q-analogues of the Coxeter-Catalan numbers of type A and type C.
We present related conjectures and open questions on the average size of a simultaneous core partition, q-analogs of generalized Catalan numbers, and generalizations to other Coxeter groups. We also discuss connections with the cyclic sieving phenomenon and q,t-Catalan numbers.
The 1-2-3 Conjecture for Hypergraphs
Published
• View Publication
• BIB
A weighting of the edges of a hypergraph is called vertex-coloring if the weighted degrees of the vertices yield a proper coloring of the graph, i.e., every edge contains at least two vertices with different weighted degrees. In this paper we show that such a weighting is possible from the weight set {1,2,...,r+1} for all hypergraphs with maximum edge size r>3 and not containing edges solely consisting of identical vertices. The number r+1 is best possible for this statement.
Further, the weight set {1,2,3,4,5} is sufficient for all hypergraphs with maximum edge size 3, up to some trivial exceptions.
Distinct distances on algebraic curves in the plane
Published in Proceedings of the thirtieth annual symposium on Computational geometry, 549-557, 2014
• View Publication
• BIB
Let $P$ be a set of $n$ points in the real plane contained in an algebraic curve $C$ of degree $d$. We prove that the number of distinct distances determined by $P$ is at least $c_d n^{4/3}$, unless $C$ contains a line or a circle. We also prove the lower bound $c_d' \min(m^{2/3}n^{2/3}, m^2, n^2)$ for the number of distinct distances between $m$ points on one irreducible plane algebraic curve and $n$ points on another, unless the two curves are parallel lines, orthogonal lines, or concentric circles. This generalizes a result on distances between lines of Sharir, Sheffer, and Solymosi in arXiv:1302.3081.
Space complexity of list H-colouring: a dichotomy
Published
• View Publication
• BIB
The Dichotomy Conjecture for constraint satisfaction problems (CSPs) states that every CSP is in P or is NP-complete (Feder-Vardi, 1993). It has been verified for conservative problems (also known as list homomorphism problems) by A. Bulatov (2003). We augment this result by showing that for digraph templates H, every conservative CSP, denoted LHOM(H), is solvable in logspace or is hard for NL. More precisely, we introduce a digraph structure we call a circular N, and prove the following dichotomy: if H contains no circular N then LHOM(H) admits a logspace algorithm, and otherwise LHOM(H) is hard for NL. Our algorithm operates by reducing the lists in a complex manner based on a novel decomposition of an auxiliary digraph, combined with repeated applications of Reingold's algorithm for undirected reachability (2005). We also prove an algebraic version of this dichotomy: the digraphs without a circular N are precisely those that admit a finite chain of polymorphisms satisfying the Hagemann-Mitschke identities. This confirms a conjecture of Larose and Tesson (2007) for LHOM(H). Moreover, we show that the presence of a circular N can be decided in time polynomial in the size of H.
A 64-dimensional two-distance counterexample to Borsuk's conjecture
Published
• View Publication
• BIB
In 1933 Karol Borsuk asked whether each bounded set in the n-dimensional Euclidean space can be divided into n+1 parts of smaller diameter. The diameter of a set is defined as the supremum (least upper bound) of the distances of contained points. Implicitly, the whole set is assumed to contain at least two points.
The hypothesis that the answer to that question is positive became famous under the name Borsuk's conjecture. Beginning with Jeff Kahn and Gil Kalai, from 1993 to 2003 several authors have proved that in certain (almost all) high dimensions such a division is not generally possible.
In a paper published in 2013, Andriy V. Bondarenko constructed a 65-dimensional two-distance set of 416 vectors that cannot be divided into less than 84 parts of smaller diameter. That was not just the first known two-distance counterexample to Borsuk's conjecture but also a considerable reduction of the lowest known dimension the conjecture fails in in general.
This article presents a 64-dimensional subset of the vector set mentioned above that cannot be divided into less than 71 (by A. Bondarenko 72) parts of smaller diameter, that way delivering a two-distance counterexample to Borsuk's conjecture in dimension 64.
The contained proof relies on the results of some (combinatorial) calculations. The additionally (in the source package) provided small computer program G24CHK needs about one second for that task on a 1 GHz Intel PIII.
Meanwhile a short paper by this author and Andries E. Brouwer that follows the principal idea of this article but avoids the extensive computational part has been submitted to The Electronic Journal of Combinatorics.
Local algorithms, regular graphs of large girth, and random regular graphs
Published
• View Publication
• BIB
We introduce a general class of algorithms and supply a number of general results useful for analysing these algorithms when applied to regular graphs of large girth. As a result, we can transfer a number of results proved for random regular graphs into (deterministic) results about all regular graphs with sufficiently large girth. This is an uncommon direction of transfer of results, which is usually from the deterministic setting to the random one. In particular, this approach enables, for the first time, the achievement of results equivalent to those obtained on random regular graphs by a powerful class of algorithms which contain prioritised actions. As examples, we obtain new upper or lower bounds on the size of maximum independent sets, minimum dominating sets, maximum and minimum bisection, maximum $k$-independent sets, minimum $k$-dominating sets and minimum connected and weakly-connected dominating sets in $r$-regular graphs with large girth.
Semi-degree threshold for anti-directed Hamiltonian cycles
Published
• View Publication
• BIB
In 1960, Ghouila-Houri extended Dirac's theorem to directed graphs by proving that if D is a directed graph on n vertices with minimum out-degree and in-degree at least n/2 (i.e. minimum semi-degree at least n/2), then D contains a directed Hamiltonian cycle. Of course there are other orientations of a cycle in a directed graph and it is not clear that the semi-degree threshold for the directed Hamiltonian cycle is the same as the semi-degree threshold for some other orientation. In 1980, Grant initiated the problem of determining the minimum semi-degree threshold for the anti-directed Hamiltonian cycle (an orientation in which consecutive edges alternate direction). We prove that for sufficiently large even n, if D is a directed graph on n vertices with minimum semi-degree at least n/2+1, then D contains an anti-directed Hamiltonian cycle. This result is sharp.
Point determining digraphs, $\{0,1\}$-matrix partitions, and dualities in full homomorphisms
Published
• View Publication
• BIB
We prove that every point-determining digraph $D$ contains a vertex $v$ such that $D-v$ is also point determining. We apply this result to show that for any $\{0,1\}$-matrix $M$, with $k$ diagonal zeros and $\ell$ diagonal ones, the size of a minimal $M$-obstruction is at most $(k+1)(\ell+1)$. This extends the results of Sumner, and of Feder and Hell, from undirected graphs and symmetric matrices to digraphs and general matrices.
Resolvable Mendelsohn designs and finite Frobenius groups
Published in Bulletin of the Australian Mathematical Society 98 (2018) 1-13
• View Publication
• BIB
We prove the existence and give constructions of a $(p(k)-1)$-fold perfect resolvable $(v, k, 1)$-Mendelsohn design for any integers $v > k \ge 2$ with $v \equiv 1 \mod k$ such that there exists a finite Frobenius group whose kernel $K$ has order $v$ and whose complement contains an element $φ$ of order $k$, where $p(k)$ is the least prime factor of $k$. Such a design admits $K \rtimes \langle φ\rangle$ as a group of automorphisms and is perfect when $k$ is a prime. As an application we prove that for any integer $v = p_{1}^{e_1} \ldots p_{t}^{e_t} \ge 3$ in prime factorization, and any prime $k$ dividing $p_{i}^{e_i} - 1$ for $1 \le i \le t$, there exists a resolvable perfect $(v, k, 1)$-Mendelsohn design that admits a Frobenius group as a group of automorphisms. We also prove that, if $k$ is even and divides $p_{i} - 1$ for $1 \le i \le t$, then there are at least $\varphi(k)^t$ resolvable $(v, k, 1)$-Mendelsohn designs that admit a Frobenius group as a group of automorphisms, where $\varphi$ is Euler's totient function.
Packing Steiner Trees
Published
• View Publication
• BIB
Let $T$ be a distinguished subset of vertices in a graph $G$. A $T$-\emph{Steiner tree} is a subgraph of $G$ that is a tree and that spans $T$. Kriesell conjectured that $G$ contains $k$ pairwise edge-disjoint $T$-Steiner trees provided that every edge-cut of $G$ that separates $T$ has size $\ge 2k$. When $T=V(G)$ a $T$-Steiner tree is a spanning tree and the conjecture is a consequence of a classic theorem due to Nash-Williams and Tutte. Lau proved that Kriesell's conjecture holds when $2k$ is replaced by $24k$, and recently West and Wu have lowered this value to $6.5k$. Our main result makes a further improvement to $5k+4$.
Ramsey for complete graphs with dropped cliques
Let $K\_{[k,t]}$ be the complete graph on $k$ vertices from which a set of edges, induced by a clique of order $t$, has been dropped. In this note we give two explicit upper bounds for $R(K\_{[k\_1,t\_1]},\dots, K\_{[k\_r,t\_r]})$ (the smallest integer $n$ such that for any $r$-edge coloring of $K\_n$ there always occurs a monochromatic $K\_{[k\_i,t\_i]}$ for some $i$). Our first upper bound contains a classical one in the case when $k\_1=\cdots =k\_r$ and $t\_i=1$ for all $i$. The second one is obtained by introducing a new edge coloring called {\em $χ\_r$-colorings}. We finally discuss a conjecture claiming, in particular, that our second upper bound improves the classical one in infinitely many cases.
The typical structure of sparse $K_{r+1}$-free graphs
Published in Transactions of the AMS 368 (2016), 6439-6485
• View Publication
• BIB
Two central topics of study in combinatorics are the so-called evolution of random graphs, introduced by the seminal work of Erdős and Rényi, and the family of $H$-free graphs, that is, graphs which do not contain a subgraph isomorphic to a given (usually small) graph $H$. A widely studied problem that lies at the interface of these two areas is that of determining how the structure of a typical $H$-free graph with $n$ vertices and $m$ edges changes as $m$ grows from $0$ to $\text{ex}(n,H)$. In this paper, we resolve this problem in the case when $H$ is a clique, extending a classical result of Kolaitis, Prömel, and Rothschild. In particular, we prove that for every $r \ge 2$, there is an explicit constant $θ_r$ such that, letting $m_r = θ_r n^{2-\frac{2}{r+2}} (\log n)^{1/\left[\binom{r+1}{2}-1\right]}$, the following holds for every positive constant $\varepsilon$. If $m \ge (1+\varepsilon) m_r$, then almost all $K_{r+1}$-free $n$-vertex graphs with $m$ edges are $r$-partite, whereas if $n \ll m \le (1-\varepsilon)m_r$, then almost all of them are not $r$-partite.