-
Enumeration of intersection graphs of $x$-monotone curves
Authors:
Jacob Fox,
Janos Pach,
Andrew Suk
Abstract:
A curve in the plane is $x$-monotone if every vertical line intersects it at most once. A family of curves are called pseudo-segments if every pair of them have at most one point in common. We construct $2^{Ω(n^{4/3})}$ families, each consisting of $n$ labelled $x$-monotone pseudo-segments such that their intersection graphs are different. On the other hand, we show that the number of such interse…
▽ More
A curve in the plane is $x$-monotone if every vertical line intersects it at most once. A family of curves are called pseudo-segments if every pair of them have at most one point in common. We construct $2^{Ω(n^{4/3})}$ families, each consisting of $n$ labelled $x$-monotone pseudo-segments such that their intersection graphs are different. On the other hand, we show that the number of such intersection graphs is at most $2^{O(n^{3/2-\varepsilon})}$, where $\varepsilon>0$ is a suitable constant. Our proof uses a new upper bound on the number of set systems of size $m$ on a ground set of size $n$, with VC-dimension at most $d$. Much better upper bounds are obtained if we only count bipartite intersection graphs, or, in general, intersection graphs with bounded chromatic number.
△ Less
Submitted 30 May, 2024;
originally announced May 2024.
-
Partitioning complete geometric graphs into plane subgraphs
Authors:
Adrian Dumitrescu,
János Pach
Abstract:
A \emph{complete geometric graph} consists of a set $P$ of $n$ points in the plane, in general position, and all segments (edges) connecting them. It is a well known question of Bose, Hurtado, Rivera-Campo, and Wood, whether there exists a positive constant $c<1$, such that every complete geometric graph on $n$ points can be partitioned into at most $cn$ plane graphs (that is, noncrossing subgraph…
▽ More
A \emph{complete geometric graph} consists of a set $P$ of $n$ points in the plane, in general position, and all segments (edges) connecting them. It is a well known question of Bose, Hurtado, Rivera-Campo, and Wood, whether there exists a positive constant $c<1$, such that every complete geometric graph on $n$ points can be partitioned into at most $cn$ plane graphs (that is, noncrossing subgraphs). We answer this question in the affirmative in the special case where the underlying point set $P$ is \emph{dense}, which means that the ratio between the maximum and the minimum distances in $P$ is of the order of $Θ(\sqrt{n})$.
△ Less
Submitted 27 May, 2024;
originally announced May 2024.
-
Two trees are better than one
Authors:
Adrian Dumitrescu,
János Pach,
Géza Tóth
Abstract:
We consider partitions of a point set into two parts, and the lengths of the minimum spanning trees of the original set and of the two parts. If $w(P)$ denotes the length of a minimum spanning tree of $P$, we show that every set $P$ of $n \geq 12$ points admits a bipartition $P= R \cup B$ for which the ratio $\frac{w(R)+w(B)}{w(P)}$ is strictly larger than $1$; and that $1$ is the largest number w…
▽ More
We consider partitions of a point set into two parts, and the lengths of the minimum spanning trees of the original set and of the two parts. If $w(P)$ denotes the length of a minimum spanning tree of $P$, we show that every set $P$ of $n \geq 12$ points admits a bipartition $P= R \cup B$ for which the ratio $\frac{w(R)+w(B)}{w(P)}$ is strictly larger than $1$; and that $1$ is the largest number with this property. Furthermore, we provide a very fast algorithm that computes such a bipartition in $O(1)$ time and one that computes the corresponding ratio in $O(n \log{n})$ time. In certain settings, a ratio larger than $1$ can be expected and sometimes guaranteed. For example, if $P$ is a set of $n$ random points uniformly distributed in $[0,1]^2$ ($n \to \infty$), then for any $\eps>0$, the above ratio in a maximizing partition is at least $\sqrt2 -\eps$ with probability tending to $1$. As another example, if $P$ is a set of $n$ points with spread at most $α\sqrt{n}$, for some constant $α>0$, then the aforementioned ratio in a maximizing partition is $1 + Ω(α^{-2})$. All our results and techniques are extendable to higher dimensions.
△ Less
Submitted 31 December, 2023; v1 submitted 15 December, 2023;
originally announced December 2023.
-
A structure theorem for pseudo-segments and its applications
Authors:
Jacob Fox,
Janos Pach,
Andrew Suk
Abstract:
We prove a far-reaching strengthening of Szemerédi's regularity lemma for intersection graphs of pseudo-segments. It shows that the vertex set of such a graph can be partitioned into a bounded number of parts of roughly the same size such that almost all bipartite graphs between different pairs of parts are complete or empty. We use this to get an improved bound on disjoint edges in simple topolog…
▽ More
We prove a far-reaching strengthening of Szemerédi's regularity lemma for intersection graphs of pseudo-segments. It shows that the vertex set of such a graph can be partitioned into a bounded number of parts of roughly the same size such that almost all bipartite graphs between different pairs of parts are complete or empty. We use this to get an improved bound on disjoint edges in simple topological graphs, showing that every $n$-vertex simple topological graph with no $k$ pairwise disjoint edges has at most $n(\log n)^{O(\log k)}$ edges.
△ Less
Submitted 1 December, 2023;
originally announced December 2023.
-
Odd-Sunflowers
Authors:
Peter Frankl,
János Pach,
Dömötör Pálvölgyi
Abstract:
Extending the notion of sunflowers, we call a family of at least two sets an odd-sunflower if every element of the underlying set is contained in an odd number of sets or in none of them. It follows from the Erd\H os--Szemerédi conjecture, recently proved by Naslund and Sawin, that there is a constant $μ<2$ such that every family of subsets of an $n$-element set that contains no odd-sunflower cons…
▽ More
Extending the notion of sunflowers, we call a family of at least two sets an odd-sunflower if every element of the underlying set is contained in an odd number of sets or in none of them. It follows from the Erd\H os--Szemerédi conjecture, recently proved by Naslund and Sawin, that there is a constant $μ<2$ such that every family of subsets of an $n$-element set that contains no odd-sunflower consists of at most $μ^n$ sets. We construct such families of size at least $1.5021^n$. We also characterize minimal odd-sunflowers of triples.
△ Less
Submitted 20 March, 2024; v1 submitted 25 October, 2023;
originally announced October 2023.
-
Maximum Betti numbers of Čech complexes
Authors:
Herbert Edelsbrunner,
János Pach
Abstract:
The Upper Bound Theorem for convex polytopes implies that the $p$-th Betti number of the Čech complex of any set of $N$ points in $\mathbb R^d$ and any radius satisfies $β_{p} = O(N^{m})$, with $m = \min \{ p+1, \lceil d/2 \rceil \}$. We construct sets in even and odd dimensions that prove this upper bound is asymptotically tight. For example, we describe a set of $N = 2(n+1)$ points in…
▽ More
The Upper Bound Theorem for convex polytopes implies that the $p$-th Betti number of the Čech complex of any set of $N$ points in $\mathbb R^d$ and any radius satisfies $β_{p} = O(N^{m})$, with $m = \min \{ p+1, \lceil d/2 \rceil \}$. We construct sets in even and odd dimensions that prove this upper bound is asymptotically tight. For example, we describe a set of $N = 2(n+1)$ points in $\mathbb R^3$ and two radii such that the first Betti number of the Čech complex at one radius is $(n+1)^2 - 1$, and the second Betti number of the Čech complex at the other radius is $n^2$.
△ Less
Submitted 23 October, 2023;
originally announced October 2023.
-
Decomposition of Geometric Graphs into Star Forests
Authors:
János Pach,
Morteza Saghafian,
Patrick Schnider
Abstract:
We solve a problem of Dujmović and Wood (2007) by showing that a complete convex geometric graph on $n$ vertices cannot be decomposed into fewer than $n-1$ star-forests, each consisting of noncrossing edges. This bound is clearly tight. We also discuss similar questions for abstract graphs.
We solve a problem of Dujmović and Wood (2007) by showing that a complete convex geometric graph on $n$ vertices cannot be decomposed into fewer than $n-1$ star-forests, each consisting of noncrossing edges. This bound is clearly tight. We also discuss similar questions for abstract graphs.
△ Less
Submitted 25 August, 2023; v1 submitted 22 June, 2023;
originally announced June 2023.
-
Where have all the grasshoppers gone?
Authors:
János Pach,
Gábor Tardos
Abstract:
Let $P$ be an $N$-element point set in the plane. Consider $N$ (pointlike) grasshoppers sitting at different points of $P$. In a "legal" move, any one of them can jump over another, and land on its other side at exactly the same distance. After a finite number of legal moves, can the grasshoppers end up at a point set, similar to, but larger than $P$? We present a linear algebraic approach to answ…
▽ More
Let $P$ be an $N$-element point set in the plane. Consider $N$ (pointlike) grasshoppers sitting at different points of $P$. In a "legal" move, any one of them can jump over another, and land on its other side at exactly the same distance. After a finite number of legal moves, can the grasshoppers end up at a point set, similar to, but larger than $P$? We present a linear algebraic approach to answer this question. In particular, we solve a problem of Brunck by showing that the answer is yes if $P$ is the vertex set of a regular $N$-gon and $N\neq 3, 4, 6$. Some generalizations are also considered.
△ Less
Submitted 7 May, 2023; v1 submitted 7 November, 2022;
originally announced November 2022.
-
Successive vertex orderings of fully regular graphs
Authors:
Lixing Fang,
Hao Huang,
Janos Pach,
Gabor Tardos,
Junchi Zuo
Abstract:
A graph G = (V,E) is called fully regular if for every independent set $I\subset V$ , the number of vertices in $V\setminus$ I that are not connected to any element of I depends only on the size of I. A linear ordering of the vertices of G is called successive if for every i, the first i vertices induce a connected subgraph of G. We give an explicit formula for the number of successive vertex orde…
▽ More
A graph G = (V,E) is called fully regular if for every independent set $I\subset V$ , the number of vertices in $V\setminus$ I that are not connected to any element of I depends only on the size of I. A linear ordering of the vertices of G is called successive if for every i, the first i vertices induce a connected subgraph of G. We give an explicit formula for the number of successive vertex orderings of a fully regular graph.
As an application of our results, we give alternative proofs of two theorems of Stanley and Gao + Peng, determining the number of linear edge orderings of complete graphs and complete bipartite graphs, respectively, with the property that the first i edges induce a connected subgraph. As another application, we give a simple product formula for the number of linear orderings of the hyperedges of a complete 3-partite 3-uniform hypergraph such that, for every i, the first i hyperedges induce a connected subgraph. We found similar formulas for complete (non-partite) 3-uniform hypergraphs and in another closely related case, but we managed to verify them only when the number of vertices is small.
△ Less
Submitted 28 October, 2022; v1 submitted 27 June, 2022;
originally announced June 2022.
-
Optimal embedded and enclosing isosceles triangles
Authors:
Aron Ambrus,
Monika Csikos,
Gergely Kiss,
Janos Pach,
Gabor Somlai
Abstract:
Given a triangle $Δ$, we study the problem of determining the smallest enclosing and largest embedded isosceles triangles of $Δ$ with respect to area and perimeter. This problem was initially posed by Nandakumar and was first studied by Kiss, Pach, and Somlai, who showed that if $Δ'$ is the smallest area isosceles triangle containing $Δ$, then $Δ'$ and $Δ$ share a side and an angle.
In the prese…
▽ More
Given a triangle $Δ$, we study the problem of determining the smallest enclosing and largest embedded isosceles triangles of $Δ$ with respect to area and perimeter. This problem was initially posed by Nandakumar and was first studied by Kiss, Pach, and Somlai, who showed that if $Δ'$ is the smallest area isosceles triangle containing $Δ$, then $Δ'$ and $Δ$ share a side and an angle.
In the present paper, we prove that for any triangle $Δ$, every maximum area isosceles triangle embedded in $Δ$ and every maximum perimeter isosceles triangle embedded in $Δ$ shares a side and an angle with $Δ$. Somewhat surprisingly, the case of minimum perimeter enclosing triangles is different: there are infinite families of triangles $Δ$ whose minimum perimeter isosceles containers do not share a side and an angle with $Δ$.
△ Less
Submitted 23 May, 2022;
originally announced May 2022.
-
Random necklaces require fewer cuts
Authors:
Noga Alon,
Dor Elboim,
János Pach,
Gábor Tardos
Abstract:
It is known that any open necklace with beads of $t$ types in which the number of beads of each type is divisible by $k$, can be partitioned by at most $(k-1)t$ cuts into intervals that can be distributed into $k$ collections, each containing the same number of beads of each type. This is tight for all values of $k$ and $t$.
Here, we consider the case of random necklaces, where the number of bea…
▽ More
It is known that any open necklace with beads of $t$ types in which the number of beads of each type is divisible by $k$, can be partitioned by at most $(k-1)t$ cuts into intervals that can be distributed into $k$ collections, each containing the same number of beads of each type. This is tight for all values of $k$ and $t$.
Here, we consider the case of random necklaces, where the number of beads of each type is $km$. Then the minimum number of cuts required for a ``fair'' partition with the above property is a random variable $X(k,t,m)$. We prove that for fixed $k,t,$ and large $m$, this random variable is at least $(k-1)(t+1)/2$ with high probability. For $k=2$, fixed $t$, and large $m$, we determine the asymptotic behavior of the probability that $X(2,t,m)=s$ for all values of $s\le t $. We show that this probability is polynomially small when $s<(t+1)/2$, it is bounded away from zero when $s>(t+1)/2$, and decays like $Θ( 1/\log m)$ when $s=(t+1)/2$.
We also show that for large $t$, $X(2,t,1)$ is at most $(0.4+o(1))t$ with high probability and that for large $t$ and large ratio $k/\log t$, $X(k,t,1)$ is $o(kt)$ with high probability.
△ Less
Submitted 29 December, 2021;
originally announced December 2021.
-
Nearly equal distances in the plane, II
Authors:
P. Erdős,
E. Makai, Jr.,
J. Pach
Abstract:
Let $\{p_1, \ldots , p_n \} \subset {\Bbb{R}}^2$ be a separated point set, i.e., any two points have a distance at least $1$. Let $k \ge 1$ be an integer, and $1 \le t_1 < \ldots < t_k$ be real numbers. Let $δ> 0$. Suppose for all $1 \le \ell (1) \le \ell (2) < \ell (3) \le k$ that $|t_{\ell (3)} / (t_{\ell (1)} + t_{\ell (2)}) - 1| \ge δ$. Then for $n \ge n_{k, δ}$, the number of pairs…
▽ More
Let $\{p_1, \ldots , p_n \} \subset {\Bbb{R}}^2$ be a separated point set, i.e., any two points have a distance at least $1$. Let $k \ge 1$ be an integer, and $1 \le t_1 < \ldots < t_k$ be real numbers. Let $δ> 0$. Suppose for all $1 \le \ell (1) \le \ell (2) < \ell (3) \le k$ that $|t_{\ell (3)} / (t_{\ell (1)} + t_{\ell (2)}) - 1| \ge δ$. Then for $n \ge n_{k, δ}$, the number of pairs $\{ p_i,p_j\} $, for which $d(p_i,p_j) \in [t_1, t_1 + 1] \cup \ldots \cup [t_k, t_k + 1] $, is at most $n^2/4 + C_{k,δ}n$. This is sharp, up to the value of the constant $C_{k,δ} > 0$.
△ Less
Submitted 16 December, 2021;
originally announced December 2021.
-
Disjointness graphs of short polygonal chains
Authors:
János Pach,
Gábor Tardos,
Géza Tóth
Abstract:
The {\em disjointness graph} of a set system is a graph whose vertices are the sets, two being connected by an edge if and only if they are disjoint. It is known that the disjointness graph $G$ of any system of segments in the plane is {\em $χ$-bounded}, that is, its chromatic number $χ(G)$ is upper bounded by a function of its clique number $ω(G)$.
Here we show that this statement does not rema…
▽ More
The {\em disjointness graph} of a set system is a graph whose vertices are the sets, two being connected by an edge if and only if they are disjoint. It is known that the disjointness graph $G$ of any system of segments in the plane is {\em $χ$-bounded}, that is, its chromatic number $χ(G)$ is upper bounded by a function of its clique number $ω(G)$.
Here we show that this statement does not remain true for systems of polygonal chains of length $2$. We also construct systems of polygonal chains of length $3$ such that their disjointness graphs have arbitrarily large girth and chromatic number. In the opposite direction, we show that the class of disjointness graphs of (possibly self-intersecting) \emph{$2$-way infinite} polygonal chains of length $3$ is $χ$-bounded: for every such graph $G$, we have $χ(G)\le(ω(G))^3+ω(G).$
△ Less
Submitted 11 December, 2021;
originally announced December 2021.
-
Quasiplanar Graphs, String Graphs, and the Erdos-Gallai Problem
Authors:
Jacob Fox,
Janos Pach,
Andrew Suk
Abstract:
An $r$-quasiplanar graph is a graph drawn in the plane with no $r$ pairwise crossing edges. Let $s \geq 3$ be an integer and $r=2^s$. We prove that there is a constant $C$ such that every $r$-quasiplanar graph with $n \geq r$ vertices has at most $n\left(Cs^{-1}\log n\right)^{2s-4}$ edges.
A graph whose vertices are continuous curves in the plane, two being connected by an edge if and only if th…
▽ More
An $r$-quasiplanar graph is a graph drawn in the plane with no $r$ pairwise crossing edges. Let $s \geq 3$ be an integer and $r=2^s$. We prove that there is a constant $C$ such that every $r$-quasiplanar graph with $n \geq r$ vertices has at most $n\left(Cs^{-1}\log n\right)^{2s-4}$ edges.
A graph whose vertices are continuous curves in the plane, two being connected by an edge if and only if they intersect, is called a string graph. We show that for every $ε>0$, there exists $δ>0$ such that every string graph with $n$ vertices, whose chromatic number is at least $n^ε$ contains a clique of size at least $n^δ$. A clique of this size or a coloring using fewer than $n^ε$ colors can be found by a polynomial time algorithm in terms of the size of the geometric representation of the set of strings.
In the process, we use, generalize, and strengthen previous results of Lee, Tomon, and others. All of our theorems are related to geometric variants of the following classical graph-theoretic problem of Erdos, Gallai, and Rogers. Given a $K_r$-free graph on $n$ vertices and an integer $s<r$, at least how many vertices can we find such that the subgraph induced by them is $K_s$-free?
△ Less
Submitted 25 October, 2022; v1 submitted 4 December, 2021;
originally announced December 2021.
-
On the number of edges of separated multigraphs
Authors:
Jacob Fox,
Janos Pach,
Andrew Suk
Abstract:
We prove that the number of edges of a multigraph $G$ with $n$ vertices is at most $O(n^2\log n)$, provided that any two edges cross at most once, parallel edges are noncrossing, and the lens enclosed by every pair of parallel edges in $G$ contains at least one vertex. As a consequence, we prove the following extension of the Crossing Lemma of Ajtai, Chvátal, Newborn, Szemerédi and Leighton, if…
▽ More
We prove that the number of edges of a multigraph $G$ with $n$ vertices is at most $O(n^2\log n)$, provided that any two edges cross at most once, parallel edges are noncrossing, and the lens enclosed by every pair of parallel edges in $G$ contains at least one vertex. As a consequence, we prove the following extension of the Crossing Lemma of Ajtai, Chvátal, Newborn, Szemerédi and Leighton, if $G$ has $e \geq 4n$ edges, in any drawing of $G$ with the above property, the number of crossings is $Ω\left(\frac{e^3}{n^2\log(e/n)}\right)$. This answers a question of Kaufmann et al. and is tight up to the logarithmic factor.
△ Less
Submitted 22 February, 2022; v1 submitted 25 August, 2021;
originally announced August 2021.
-
Exchange properties of finite set-systems
Authors:
Peter Frankl,
János Pach,
Dömötör Pálvölgyi
Abstract:
In a recent breakthrough, Adiprasito, Avvakumov, and Karasev constructed a triangulation of the $n$-dimensional real projective space with a subexponential number of vertices. They reduced the problem to finding a small downward closed set-system $\cal F$ covering an $n$-element ground set which satisfies the following condition: For any two disjoint members $A, B\in\cal F$, there exist $a\in A$ a…
▽ More
In a recent breakthrough, Adiprasito, Avvakumov, and Karasev constructed a triangulation of the $n$-dimensional real projective space with a subexponential number of vertices. They reduced the problem to finding a small downward closed set-system $\cal F$ covering an $n$-element ground set which satisfies the following condition: For any two disjoint members $A, B\in\cal F$, there exist $a\in A$ and $b\in B$ such that either $B\cup\{a\}\in\cal F$ and $A\cup\{b\}\setminus\{a\}\in\cal F$, or $A\cup\{b\}\in\cal F$ and $B\cup\{a\}\setminus\{b\}\in\cal F$. Denoting by $f(n)$ the smallest cardinality of such a family $\cal F$, they proved that $f(n)<2^{O(\sqrt{n}\log n)}$, and they asked for a nontrivial lower bound. It turns out that the construction of Adiprasito et al. is not far from optimal; we show that $2^{(1.42+o(1))\sqrt{n}}\le f(n)\le 2^{(1+o(1))\sqrt{2n\log n}}$.
We also study a variant of the above problem, where the condition is strengthened by also requiring that for any two disjoint members $A, B\in\cal F$ with $|A|>|B|$, there exists $a\in A$ such that $B\cup\{a\}\in\cal F$. In this case, we prove that the size of the smallest $\cal F$ satisfying this stronger condition lies between $2^{Ω(\sqrt{n}\log n)}$ and $2^{O(n\log\log n/\log n)}$.
△ Less
Submitted 15 August, 2022; v1 submitted 26 March, 2021;
originally announced March 2021.
-
Sunflowers in set systems of bounded dimension
Authors:
Jacob Fox,
Janos Pach,
Andrew Suk
Abstract:
Given a family $\mathcal F$ of $k$-element sets, $S_1,\ldots,S_r\in\mathcal F$ form an {\em $r$-sunflower} if $S_i \cap S_j =S_{i'} \cap S_{j'}$ for all $i \neq j$ and $i' \neq j'$. According to a famous conjecture of Erd\H os and Rado (1960), there is a constant $c=c(r)$ such that if $|\mathcal F|\ge c^k$, then $\mathcal F$ contains an $r$-sunflower.
We come close to proving this conjecture for…
▽ More
Given a family $\mathcal F$ of $k$-element sets, $S_1,\ldots,S_r\in\mathcal F$ form an {\em $r$-sunflower} if $S_i \cap S_j =S_{i'} \cap S_{j'}$ for all $i \neq j$ and $i' \neq j'$. According to a famous conjecture of Erd\H os and Rado (1960), there is a constant $c=c(r)$ such that if $|\mathcal F|\ge c^k$, then $\mathcal F$ contains an $r$-sunflower.
We come close to proving this conjecture for families of bounded {\em Vapnik-Chervonenkis dimension}, VC-dim$(\mathcal F)\le d$. In this case, we show that $r$-sunflowers exist under the slightly stronger assumption $|\mathcal F|\ge2^{10k(dr)^{2\log^{*} k}}$. Here, $\log^*$ denotes the iterated logarithm function.
We also verify the Erd\H os-Rado conjecture for families $\mathcal F$ of bounded {\em Littlestone dimension} and for some geometrically defined set systems.
△ Less
Submitted 25 March, 2021; v1 submitted 18 March, 2021;
originally announced March 2021.
-
On well-connected sets of strings
Authors:
Peter Frankl,
Janos Pach
Abstract:
Given $n$ pairwise disjoint sets $X_1,\ldots, X_n$, we call the elements of $S=X_1\times\ldots\times X_n$ strings. A nonempty set of strings $W\subseteq S$ is said to be well-connected if for every $v\in W$ and for every $i\, (1\le i\le n)$, there is another element $v'\in W$ which differs from $v$ only in its $i$th coordinate. We prove a conjecture of Yaokun Wu and Yanzhen Xiong by showing that e…
▽ More
Given $n$ pairwise disjoint sets $X_1,\ldots, X_n$, we call the elements of $S=X_1\times\ldots\times X_n$ strings. A nonempty set of strings $W\subseteq S$ is said to be well-connected if for every $v\in W$ and for every $i\, (1\le i\le n)$, there is another element $v'\in W$ which differs from $v$ only in its $i$th coordinate. We prove a conjecture of Yaokun Wu and Yanzhen Xiong by showing that every set of more than $\prod_{i=1}^n|X_i|-\prod_{i=1}^n(|X_i|-1)$ strings has a well-connected subset. This bound is tight.
△ Less
Submitted 21 December, 2021; v1 submitted 21 February, 2021;
originally announced February 2021.
-
Crossings between non-homotopic edges
Authors:
János Pach,
Gábor Tardos,
Géza Tóth
Abstract:
We call a multigraph {\em non-homotopic} if it can be drawn in the plane in such a way that no two edges connecting the same pair of vertices can be continuously transformed into each other without passing through a vertex, and no loop can be shrunk to its end-vertex in the same way. It is easy to see that a non-homotopic multigraph on $n>1$ vertices can have arbitrarily many edges. We prove that…
▽ More
We call a multigraph {\em non-homotopic} if it can be drawn in the plane in such a way that no two edges connecting the same pair of vertices can be continuously transformed into each other without passing through a vertex, and no loop can be shrunk to its end-vertex in the same way. It is easy to see that a non-homotopic multigraph on $n>1$ vertices can have arbitrarily many edges. We prove that the number of crossings between the edges of a non-homotopic multigraph with $n$ vertices and $m>4n$ edges is larger than $c\frac{m^2}{n}$ for some constant $c>0$, and that this bound is tight up to a polylogarithmic factor. We also show that the lower bound is not asymptotically sharp as $n$ is fixed and $m$ tends to infinity.
△ Less
Submitted 19 September, 2020; v1 submitted 26 June, 2020;
originally announced June 2020.
-
Shattered matchings in intersecting hypergraphs
Authors:
Peter Frankl,
Janos Pach
Abstract:
Let $X$ be an $n$-element set, where $n$ is even. We refute a conjecture of J. Gordon and Y. Teplitskaya, according to which, for every maximal intersecting family $\mathcal{F}$ of $\frac{n}2$-element subsets of $X$, one can partition $X$ into $\frac{n}2$ disjoint pairs in such a way that no matter how we pick one element from each of the first $\frac{n}2 - 1$ pairs, the set formed by them can alw…
▽ More
Let $X$ be an $n$-element set, where $n$ is even. We refute a conjecture of J. Gordon and Y. Teplitskaya, according to which, for every maximal intersecting family $\mathcal{F}$ of $\frac{n}2$-element subsets of $X$, one can partition $X$ into $\frac{n}2$ disjoint pairs in such a way that no matter how we pick one element from each of the first $\frac{n}2 - 1$ pairs, the set formed by them can always be completed to a member of $\mathcal{F}$ by adding an element of the last pair.
The above problem is related to classical questions in extremal set theory. For any $t\ge 2$, we call a family of sets $\mathcal{F}\subset 2^X$ {\em $t$-separable} if for any ordered pair of elements $(x,y)$ of $X$, there exists $F\in\mathcal{F}$ such that $F\cap\{x,y\}=\{x\}$. For a fixed $t, 2\le t\le 5$ and $n\rightarrow\infty$, we establish asymptotically tight estimates for the smallest integer $s=s(n,t)$ such that every family $\mathcal{F}$ with $|\mathcal{F}|\ge s$ is $t$-separable.
△ Less
Submitted 11 May, 2020;
originally announced May 2020.
-
Erdős-Hajnal-type results for ordered paths
Authors:
János Pach,
István Tomon
Abstract:
An ordered graph is a graph with a linear ordering on its vertex set. We prove that for every positive integer $k$, there exists a constant $c_k>0$ such that any ordered graph $G$ on $n$ vertices with the property that neither $G$ nor its complement contains an induced monotone path of size $k$, has either a clique or an independent set of size at least $n^{c_k}$. This strengthens a result of Bous…
▽ More
An ordered graph is a graph with a linear ordering on its vertex set. We prove that for every positive integer $k$, there exists a constant $c_k>0$ such that any ordered graph $G$ on $n$ vertices with the property that neither $G$ nor its complement contains an induced monotone path of size $k$, has either a clique or an independent set of size at least $n^{c_k}$. This strengthens a result of Bousquet, Lagoutte, and Thomassé, who proved the analogous result for unordered graphs.
A key idea of the above paper was to show that any unordered graph on $n$ vertices that does not contain an induced path of size $k$, and whose maximum degree is at most $c(k)n$ for some small $c(k)>0$, contains two disjoint linear size subsets with no edge between them. This approach fails for ordered graphs, because the analogous statement is false for $k\geq 3$, by a construction of Fox. We provide further examples how this statement fails for ordered graphs avoiding other ordered trees as well.
△ Less
Submitted 9 April, 2020;
originally announced April 2020.
-
Minimum area isosceles containers
Authors:
Gergely Kiss,
János Pach,
Gábor Somlai
Abstract:
We show that every minimum area isosceles triangle containing a given triangle $T$ shares a side and an angle with $T$. This proves a conjecture of Nandakumar motivated by a computational problem. We use our result to deduce that for every triangle $T$, (1) there are at most $3$ minimum area isosceles triangles that contain $T$, and (2) there exists an isosceles triangle containing $T$ whose area…
▽ More
We show that every minimum area isosceles triangle containing a given triangle $T$ shares a side and an angle with $T$. This proves a conjecture of Nandakumar motivated by a computational problem. We use our result to deduce that for every triangle $T$, (1) there are at most $3$ minimum area isosceles triangles that contain $T$, and (2) there exists an isosceles triangle containing $T$ whose area is smaller than $\sqrt2$ times the area of $T$. Both bounds are best possible.
△ Less
Submitted 3 September, 2020; v1 submitted 26 January, 2020;
originally announced January 2020.
-
Colorings with only rainbow arithmetic progressions
Authors:
János Pach,
István Tomon
Abstract:
If we want to color $1,2,\ldots,n$ with the property that all 3-term arithmetic progressions are rainbow (that is, their elements receive 3 distinct colors), then, obviously, we need to use at least $n/2$ colors. Surprisingly, much fewer colors suffice if we are allowed to leave a negligible proportion of integers uncolored. Specifically, we prove that there exist $α,β<1$ such that for every $n$,…
▽ More
If we want to color $1,2,\ldots,n$ with the property that all 3-term arithmetic progressions are rainbow (that is, their elements receive 3 distinct colors), then, obviously, we need to use at least $n/2$ colors. Surprisingly, much fewer colors suffice if we are allowed to leave a negligible proportion of integers uncolored. Specifically, we prove that there exist $α,β<1$ such that for every $n$, there is a subset $A$ of $\{1,2,\ldots,n\}$ of size at least $n-n^α$, the elements of which can be colored with $n^β$ colors with the property that every 3-term arithmetic progression in $A$ is rainbow. Moreover, $β$ can be chosen to be arbitrarily small. Our result can be easily extended to $k$-term arithmetic progressions for any $k\ge 3$.
As a corollary, we obtain the following result of Alon, Moitra, and Sudakov, which can be used to design efficient communication protocols over shared directional multi-channels. There exist $α',β'<1$ such that for every $n$, there is a graph with $n$ vertices and at least $\binom{n}{2}-n^{1+α'}$ edges, whose edge set can be partitioned into at most $n^{1+β'}$ induced matchings.
△ Less
Submitted 16 December, 2019;
originally announced December 2019.
-
Bounded VC-dimension implies the Schur-Erdos conjecture
Authors:
Jacob Fox,
Janos Pach,
Andrew Suk
Abstract:
In 1916, Schur introduced the Ramsey number $r(3;m)$, which is the minimum integer $n$ such that for any $m$-coloring of the edges of the complete graph $K_n$, there is a monochromatic copy of $K_3$. He showed that $r(3;m) \leq O(m!)$, and a simple construction demonstrates that $r(3;m) \geq 2^{Ω(m)}$. An old conjecture of Erd\H os states that $r(3;m) = 2^{Θ(m)}$. In this note, we prove the conjec…
▽ More
In 1916, Schur introduced the Ramsey number $r(3;m)$, which is the minimum integer $n$ such that for any $m$-coloring of the edges of the complete graph $K_n$, there is a monochromatic copy of $K_3$. He showed that $r(3;m) \leq O(m!)$, and a simple construction demonstrates that $r(3;m) \geq 2^{Ω(m)}$. An old conjecture of Erd\H os states that $r(3;m) = 2^{Θ(m)}$. In this note, we prove the conjecture for $m$-colorings with bounded VC-dimension, that is, for $m$-colorings with the property that the set system $\mathcal{F}$ induced by the neighborhoods of the vertices with respect to each color class has bounded VC-dimension.
△ Less
Submitted 4 December, 2019;
originally announced December 2019.
-
Coloring Hasse diagrams and disjointness graphs of curves
Authors:
Janos Pach,
Istvan Tomon
Abstract:
Given a family of curves $\mathcal{C}$ in the plane, its disjointness graph is the graph whose vertices correspond to the elements of $\mathcal{C}$, and two vertices are joined by an edge if and only if the corresponding sets are disjoint. We prove that for every positive integer $r$ and $n$, there exists a family of $n$ curves whose disjointness graph has girth $r$ and chromatic number…
▽ More
Given a family of curves $\mathcal{C}$ in the plane, its disjointness graph is the graph whose vertices correspond to the elements of $\mathcal{C}$, and two vertices are joined by an edge if and only if the corresponding sets are disjoint. We prove that for every positive integer $r$ and $n$, there exists a family of $n$ curves whose disjointness graph has girth $r$ and chromatic number $Ω(\frac{1}{r}\log n)$. In the process we slightly improve Bollobás's old result on Hasse diagrams and show that our improved bound is best possible for uniquely generated partial orders.
△ Less
Submitted 22 August, 2019;
originally announced August 2019.
-
Planar Point Sets Determine Many Pairwise Crossing Segments
Authors:
János Pach,
Natan Rubin,
Gábor Tardos
Abstract:
We show that any set of $n$ points in general position in the plane determines $n^{1-o(1)}$ pairwise crossing segments. The best previously known lower bound, $Ω\left(\sqrt n\right)$, was proved more than 25 years ago by Aronov, Erd\H os, Goddard, Kleitman, Klugerman, Pach, and Schulman. Our proof is fully constructive, and extends to dense geometric graphs.
We show that any set of $n$ points in general position in the plane determines $n^{1-o(1)}$ pairwise crossing segments. The best previously known lower bound, $Ω\left(\sqrt n\right)$, was proved more than 25 years ago by Aronov, Erd\H os, Goddard, Kleitman, Klugerman, Pach, and Schulman. Our proof is fully constructive, and extends to dense geometric graphs.
△ Less
Submitted 30 April, 2023; v1 submitted 18 April, 2019;
originally announced April 2019.
-
Large homogeneous submatrices
Authors:
Dániel Korándi,
János Pach,
István Tomon
Abstract:
A matrix is homogeneous if all of its entries are equal. Let $P$ be a $2\times 2$ zero-one matrix that is not homogeneous. We prove that if an $n\times n$ zero-one matrix $A$ does not contain $P$ as a submatrix, then $A$ has an $cn\times cn$ homogeneous submatrix for a suitable constant $c>0$. We further provide an almost complete characterization of the matrices $P$ (missing only finitely many ca…
▽ More
A matrix is homogeneous if all of its entries are equal. Let $P$ be a $2\times 2$ zero-one matrix that is not homogeneous. We prove that if an $n\times n$ zero-one matrix $A$ does not contain $P$ as a submatrix, then $A$ has an $cn\times cn$ homogeneous submatrix for a suitable constant $c>0$. We further provide an almost complete characterization of the matrices $P$ (missing only finitely many cases) such that forbidding $P$ in $A$ guarantees an $n^{1-o(1)}\times n^{1-o(1)}$ homogeneous submatrix. We apply our results to chordal bipartite graphs, totally balanced matrices, halfplane-arrangements and string graphs.
△ Less
Submitted 12 October, 2020; v1 submitted 15 March, 2019;
originally announced March 2019.
-
Ordered graphs and large bi-cliques in intersection graphs of curves
Authors:
Janos Pach,
Istvan Tomon
Abstract:
An ordered graph $G_<$ is a graph with a total ordering $<$ on its vertex set. A monotone path of length $k$ is a sequence of vertices $v_1<v_2<\ldots<v_k$ such that $v_iv_{j}$ is an edge of $G_<$ if and only if $|j-i|=1$. A bi-clique of size $m$ is a complete bipartite graph whose vertex classes are of size $m$.
We prove that for every positive integer $k$, there exists a constant $c_k>0$ such…
▽ More
An ordered graph $G_<$ is a graph with a total ordering $<$ on its vertex set. A monotone path of length $k$ is a sequence of vertices $v_1<v_2<\ldots<v_k$ such that $v_iv_{j}$ is an edge of $G_<$ if and only if $|j-i|=1$. A bi-clique of size $m$ is a complete bipartite graph whose vertex classes are of size $m$.
We prove that for every positive integer $k$, there exists a constant $c_k>0$ such that every ordered graph on $n$ vertices that does not contain a monotone path of length $k$ as an induced subgraph has a vertex of degree at least $c_kn$, or its complement has a bi-clique of size at least $c_kn/\log n$. A similar result holds for ordered graphs containing no induced ordered subgraph isomorphic to a fixed ordered matching.
As a consequence, we give a short combinatorial proof of the following theorem of Fox and Pach. There exists a constant $c>0$ such the intersection graph $G$ of any collection of $n$ $x$-monotone curves in the plane has a bi-clique of size at least $cn/\log n$ or its complement contains a bi-clique of size at least $cn$. (A curve is called $x$-monotone if every vertical line intersects it in at most one point.) We also prove that if $G$ has at most $\left(\frac14 -ε\right){n\choose 2}$ edges for some $ε>0$, then $\overline{G}$ contains a linear sized bi-clique. We show that this statement does not remain true if we replace $\frac14$ by any larger constants.
△ Less
Submitted 26 February, 2019;
originally announced February 2019.
-
Two nearly equal distances in $R^d$
Authors:
P. Erdős,
E. Makai, Jr.,
J. Pach
Abstract:
A set $\cal P$ of $n$ points in $R^d$ is separated if all distances of distinct points are at least~$1$. Then we may ask how many of these distances, with multiplicity, lie in an interval $[t, t + 1]$. The authors and J. Spencer proved that the maximum is $(n^2/2)(1 - 1/d) + O(1)$. The authors showed that for $d = 2$ and $\cal P$ separated, the maximal number of distances, with multiplicity, in th…
▽ More
A set $\cal P$ of $n$ points in $R^d$ is separated if all distances of distinct points are at least~$1$. Then we may ask how many of these distances, with multiplicity, lie in an interval $[t, t + 1]$. The authors and J. Spencer proved that the maximum is $(n^2/2)(1 - 1/d) + O(1)$. The authors showed that for $d = 2$ and $\cal P$ separated, the maximal number of distances, with multiplicity, in the union of $k$ unit intervals is $(n^2/2)$ $(1 - 1/(k + 1) + o(1))$. (In these papers the unit intervals could be replaced by intervals of length $\text{const}_d\cdot n^{1/d}$.) In this paper we show that for $k = 2$, and for any $n$, this maximal number is $(n^2/2)(1 - 1/m_{d - 1} + o(1))$, where $m_{d - 1}$ is the maximal size of a two-distance set in $R^{d - 1}$. (The value of $m_{d - 1}$ is known for $d - 1 \leq 8$, and for each $d$ it lies in $\left[\left({d\atop 2}\right), \left({d + 1\atop 2}\right)\right]$. For $d \neq 4,5$ we can replace unit intervals by intervals of length $\text{const}_d \cdot n^{1/d}$, and the maximum is the respective Turán number, for $n \geq n(d)$.) We also investigate a variant of this question, namely with $k$ intervals of the form $[t, t(1 + \varepsilon)]$, for $\varepsilon < \varepsilon (d, k)$, and for $n > n(d, k)$. Here the maximal number of distances, with multiplicity, in the union of $k$ such intervals is the Turán number $T(n, (d + 1)^k + 1)$. Several of these results were announced earlier by Makai-Pach-Spencer.
△ Less
Submitted 4 January, 2019;
originally announced January 2019.
-
On the chromatic number of disjointness graphs of curves
Authors:
Janos Pach,
Istvan Tomon
Abstract:
Let $ω(G)$ and $χ(G)$ denote the clique number and chromatic number of a graph $G$, respectively. The {\em disjointness graph} of a family of curves (continuous arcs in the plane) is the graph whose vertices correspond to the curves and in which two vertices are joined by an edge if and only if the corresponding curves are disjoint. A curve is called {\em $x$-monotone} if every vertical line inter…
▽ More
Let $ω(G)$ and $χ(G)$ denote the clique number and chromatic number of a graph $G$, respectively. The {\em disjointness graph} of a family of curves (continuous arcs in the plane) is the graph whose vertices correspond to the curves and in which two vertices are joined by an edge if and only if the corresponding curves are disjoint. A curve is called {\em $x$-monotone} if every vertical line intersects it in at most one point. An $x$-monotone curve is {\em grounded} if its left endpoint lies on the $y$-axis.
We prove that if $G$ is the disjointness graph of a family of grounded $x$-monotone curves such that $ω(G)=k$, then $χ(G)\leq \binom{k+1}{2}$. If we only require that every curve is $x$-monotone and intersects the $y$-axis, then we have $χ(G)\leq \frac{k+1}{2}\binom{k+2}{3}$. Both of these bounds are best possible. The construction showing the tightness of the last result settles a 25 years old problem: it yields that there exist $K_k$-free disjointness graphs of $x$-monotone curves such that any proper coloring of them uses at least $Ω(k^{4})$ colors. This matches the upper bound up to a constant factor.
△ Less
Submitted 22 November, 2018;
originally announced November 2018.
-
The number of crossings in multigraphs with no empty lens
Authors:
Michael Kaufmann,
Janos Pach,
Geza Toth,
Torsten Ueckerdt
Abstract:
Let $G$ be a multigraph with $n$ vertices and $e>4n$ edges, drawn in the plane such that any two parallel edges form a simple closed curve with at least one vertex in its interior and at least one vertex in its exterior. Pach and Tóth (A Crossing Lemma for Multigraphs, SoCG 2018) extended the Crossing Lemma of Ajtai et al. (Crossing-free subgraphs, North-Holland Mathematics Studies, 1982) and Leig…
▽ More
Let $G$ be a multigraph with $n$ vertices and $e>4n$ edges, drawn in the plane such that any two parallel edges form a simple closed curve with at least one vertex in its interior and at least one vertex in its exterior. Pach and Tóth (A Crossing Lemma for Multigraphs, SoCG 2018) extended the Crossing Lemma of Ajtai et al. (Crossing-free subgraphs, North-Holland Mathematics Studies, 1982) and Leighton (Complexity issues in VLSI, Foundations of computing series, 1983) by showing that if no two adjacent edges cross and every pair of nonadjacent edges cross at most once, then the number of edge crossings in $G$ is at least $αe^3/n^2$, for a suitable constant $α>0$. The situation turns out to be quite different if nonparallel edges are allowed to cross any number of times. It is proved that in this case the number of crossings in $G$ is at least $αe^{2.5}/n^{1.5}$. The order of magnitude of this bound cannot be improved.
△ Less
Submitted 19 October, 2021; v1 submitted 30 August, 2018;
originally announced August 2018.
-
A stability theorem on cube tessellations
Authors:
Peter Frankl,
Janos Pach
Abstract:
It is shown that if a $d$-dimensional cube is decomposed into n cubes, the side lengths of which belong to the interval $\left(1-\frac{1}{n^{1/d}+1}, 1\right], then $n$ is a perfect $d$-th power and all cubes are of the same size. This result is essentially tight.
It is shown that if a $d$-dimensional cube is decomposed into n cubes, the side lengths of which belong to the interval $\left(1-\frac{1}{n^{1/d}+1}, 1\right], then $n$ is a perfect $d$-th power and all cubes are of the same size. This result is essentially tight.
△ Less
Submitted 13 July, 2018;
originally announced July 2018.
-
Tiling the plane with equilateral triangles
Authors:
Janos Pach,
Gabor Tardos
Abstract:
Let $\cal T$ be a tiling of the plane with equilateral triangles no two of which share a side. We prove that if the side lengths of the triangles are bounded from below by a positive constant, then $\cal T$ is periodic and it consists of translates of only at most three different triangles. As a corollary, we prove a theorem of Scherer and answer a question of Nandakumar. The same result has been…
▽ More
Let $\cal T$ be a tiling of the plane with equilateral triangles no two of which share a side. We prove that if the side lengths of the triangles are bounded from below by a positive constant, then $\cal T$ is periodic and it consists of translates of only at most three different triangles. As a corollary, we prove a theorem of Scherer and answer a question of Nandakumar. The same result has been obtained independently by Richter and Wirth.
△ Less
Submitted 22 May, 2018;
originally announced May 2018.
-
Almost all string graphs are intersection graphs of plane convex sets
Authors:
János Pach,
Bruce Reed,
Yelena Yuditsky
Abstract:
A {\em string graph} is the intersection graph of a family of continuous arcs in the plane. The intersection graph of a family of plane convex sets is a string graph, but not all string graphs can be obtained in this way. We prove the following structure theorem conjectured by Janson and Uzzell: The vertex set of {\em almost all} string graphs on $n$ vertices can be partitioned into {\em five} cli…
▽ More
A {\em string graph} is the intersection graph of a family of continuous arcs in the plane. The intersection graph of a family of plane convex sets is a string graph, but not all string graphs can be obtained in this way. We prove the following structure theorem conjectured by Janson and Uzzell: The vertex set of {\em almost all} string graphs on $n$ vertices can be partitioned into {\em five} cliques such that some pair of them is not connected by any edge ($n\rightarrow\infty$). We also show that every graph with the above property is an intersection graph of plane convex sets. As a corollary, we obtain that {\em almost all} string graphs on $n$ vertices are intersection graphs of plane convex sets.
△ Less
Submitted 18 March, 2018;
originally announced March 2018.
-
A crossing lemma for multigraphs
Authors:
Janos Pach,
Geza Toth
Abstract:
Let $G$ be a drawing of a graph with $n$ vertices and $e>4n$ edges, in which no two adjacent edges cross and any pair of independent edges cross at most once. According to the celebrated Crossing Lemma of Ajtai, Chvátal, Newborn, Szemerédi and Leighton, the number of crossings in $G$ is at least $c{e^3\over n^2}$, for a suitable constant $c>0$. In a seminal paper, Székely generalized this result t…
▽ More
Let $G$ be a drawing of a graph with $n$ vertices and $e>4n$ edges, in which no two adjacent edges cross and any pair of independent edges cross at most once. According to the celebrated Crossing Lemma of Ajtai, Chvátal, Newborn, Szemerédi and Leighton, the number of crossings in $G$ is at least $c{e^3\over n^2}$, for a suitable constant $c>0$. In a seminal paper, Székely generalized this result to multigraphs, establishing the lower bound $c{e^3\over mn^2}$, where $m$ denotes the maximum multiplicity of an edge in $G$. We get rid of the dependence on $m$ by showing that, as in the original Crossing Lemma, the number of crossings is at least $c'{e^3\over n^2}$ for some $c'>0$, provided that the "lens" enclosed by every pair of parallel edges in $G$ contains at least one vertex. This settles a conjecture of Kaufmann.
△ Less
Submitted 2 January, 2018;
originally announced January 2018.
-
Tilings of the plane with unit area triangles of bounded diameter
Authors:
Andrey Kupavskii,
János Pach,
Gábor Tardos
Abstract:
There exist tilings of the plane with pairwise noncongruent triangles of equal area and bounded perimeter. Analogously, there exist tilings with triangles of equal perimeter, the areas of which are bounded from below by a positive constant. This solves a problem of Nandakumar.
There exist tilings of the plane with pairwise noncongruent triangles of equal area and bounded perimeter. Analogously, there exist tilings with triangles of equal perimeter, the areas of which are bounded from below by a positive constant. This solves a problem of Nandakumar.
△ Less
Submitted 5 February, 2018; v1 submitted 8 December, 2017;
originally announced December 2017.
-
Tilings with noncongruent triangles
Authors:
Andrey Kupavskii,
János Pach,
Gábor Tardos
Abstract:
We solve a problem of R. Nandakumar by proving that there is no tiling of the plane with pairwise noncongruent triangles of equal area and equal perimeter. We also show that no convex polygon with more than three sides can be tiled with finitely many triangles such that no pair of them share a full side.
We solve a problem of R. Nandakumar by proving that there is no tiling of the plane with pairwise noncongruent triangles of equal area and equal perimeter. We also show that no convex polygon with more than three sides can be tiled with finitely many triangles such that no pair of them share a full side.
△ Less
Submitted 11 April, 2018; v1 submitted 13 November, 2017;
originally announced November 2017.
-
Two extensions of the Erdős-Szekeres problem
Authors:
Andreas F. Holmsen,
Hossein Nassajian Mojarrad,
János Pach,
Gábor Tardos
Abstract:
According to Suk's breakthrough result on the Erdos-Szekeres problem, any point set in general position in the plane, which has no $n$ elements that form the vertex set of a convex $n$-gon, has at most $2^{n+O\left({n^{2/3}\log n}\right)}$ points. We strengthen this theorem in two ways. First, we show that the result generalizes to convexity structures induced by pseudoline arrangements. Second, w…
▽ More
According to Suk's breakthrough result on the Erdos-Szekeres problem, any point set in general position in the plane, which has no $n$ elements that form the vertex set of a convex $n$-gon, has at most $2^{n+O\left({n^{2/3}\log n}\right)}$ points. We strengthen this theorem in two ways. First, we show that the result generalizes to convexity structures induced by pseudoline arrangements. Second, we improve the error term.
A family of $n$ convex bodies in the plane is said to be in convex position if the convex hull of the union of no $n-1$ of its members contains the remaining one. If any three members are in convex position, we say that the family is in general position. Combining our results with a theorem of Dobbins, Holmsen, and Hubard, we significantly improve the best known upper bounds on the following two functions, introduced by Bisztriczky and Fejes Toth and by Pach and Toth, respectively. Let $c(n)$ (and $c'(n)$) denote the smallest positive integer $N$ with the property that any family of $N$ pairwise disjoint convex bodies in general position (resp., $N$ convex bodies in general position, any pair of which share at most two boundary points) has an $n$-membered subfamily in convex position. We show that $c(n)\le c'(n)\leq 2^{n+O\left(\sqrt{n\log n}\right)}$.
△ Less
Submitted 2 August, 2020; v1 submitted 31 October, 2017;
originally announced October 2017.
-
Erdos-Hajnal conjecture for graphs with bounded VC-dimension
Authors:
Jacob Fox,
János Pach,
Andrew Suk
Abstract:
The Vapnik-Chervonenkis dimension (in short, VC-dimension) of a graph is defined as the VC-dimension of the set system induced by the neighborhoods of its vertices. We show that every $n$-vertex graph with bounded VC-dimension contains a clique or an independent set of size at least $e^{(\log n)^{1 - o(1)}}$. The dependence on the VC-dimension is hidden in the $o(1)$ term. This improves the genera…
▽ More
The Vapnik-Chervonenkis dimension (in short, VC-dimension) of a graph is defined as the VC-dimension of the set system induced by the neighborhoods of its vertices. We show that every $n$-vertex graph with bounded VC-dimension contains a clique or an independent set of size at least $e^{(\log n)^{1 - o(1)}}$. The dependence on the VC-dimension is hidden in the $o(1)$ term. This improves the general lower bound, $e^{c\sqrt{\log n}}$, due to Erdos and Hajnal, which is valid in the class of graphs satisfying any fixed nontrivial hereditary property. Our result is almost optimal and nearly matches the celebrated Erdos-Hajnal conjecture, according to which one can always find a clique or an independent set of size at least $e^{Ω(\log n)}$. Our results partially explain why most geometric intersection graphs arising in discrete and computational geometry have exceptionally favorable Ramsey-type properties.
Our main tool is a partitioning result found by Lovász-Szegedy and Alon-Fischer-Newman, which is called the "ultra-strong regularity lemma" for graphs with bounded VC-dimension. We extend this lemma to $k$-uniform hypergraphs, and prove that the number of parts in the partition can be taken to be $(1/\varepsilon)^{O(d)}$, improving the original bound of $(1/\varepsilon)^{O(d^2)}$ in the graph setting. We show that this bound is tight up to an absolute constant factor in the exponent. Moreover, we give an $O(n^k)$-time algorithm for finding a partition meeting the requirements. Finally, we establish tight bounds on Ramsey-Turán numbers for graphs with bounded VC-dimension.
△ Less
Submitted 10 October, 2017;
originally announced October 2017.
-
Thrackles: An Improved Upper Bound
Authors:
Radoslav Fulek,
János Pach
Abstract:
A {\em thrackle} is a graph drawn in the plane so that every pair of its edges meet exactly once: either at a common end vertex or in a proper crossing. We prove that any thrackle of $n$ vertices has at most $1.3984n$ edges. {\em Quasi-thrackles} are defined similarly, except that every pair of edges that do not share a vertex are allowed to cross an {\em odd} number of times. It is also shown tha…
▽ More
A {\em thrackle} is a graph drawn in the plane so that every pair of its edges meet exactly once: either at a common end vertex or in a proper crossing. We prove that any thrackle of $n$ vertices has at most $1.3984n$ edges. {\em Quasi-thrackles} are defined similarly, except that every pair of edges that do not share a vertex are allowed to cross an {\em odd} number of times. It is also shown that the maximum number of edges of a quasi-thrackle on $n$ vertices is ${3\over 2}(n-1)$, and that this bound is best possible for infinitely many values of $n$.
△ Less
Submitted 26 August, 2017;
originally announced August 2017.
-
A Crossing Lemma for Jordan Curves
Authors:
János Pach,
Natan Rubin,
Gábor Tardos
Abstract:
If two Jordan curves in the plane have precisely one point in common, and there they do not properly cross, then the common point is called a {\em touching point}. The main result of this paper is a Crossing Lemma for simple curves: Let $X$ and $T$ stand for the sets of intersection points and touching points, respectively, in a family of $n$ simple curves in the plane, no three of which pass thro…
▽ More
If two Jordan curves in the plane have precisely one point in common, and there they do not properly cross, then the common point is called a {\em touching point}. The main result of this paper is a Crossing Lemma for simple curves: Let $X$ and $T$ stand for the sets of intersection points and touching points, respectively, in a family of $n$ simple curves in the plane, no three of which pass through the same point. If $|T|>cn$, for some fixed constant $c>0$, then we prove that $|X|=Ω(|T|(\log\log(|T|/n))^{1/504})$. In particular, if $|T|/n\rightarrow\infty$, then the number of intersection points is much larger than the number of touching points.
As a corollary, we confirm the following long-standing conjecture of Richter and Thomassen: The total number of intersection points between $n$ pairwise intersecting simple closed (i.e., Jordan) curves in the plane, no three of which pass through the same point, is at least $(1-o(1))n^2$.
△ Less
Submitted 7 August, 2017;
originally announced August 2017.
-
Many Touchings Force Many Crossings
Authors:
Janos Pach,
Geza Toth
Abstract:
Given $n$ continuous open curves in the plane, we say that a pair is touching if they have only one interior point in common and at this point the first curve does not get from one side of the second curve to its other side. Otherwise, if the two curves intersect, they are said to form a crossing pair. Let $t$ and $c$ denote the number of touching pairs and crossing pairs, respectively. We prove t…
▽ More
Given $n$ continuous open curves in the plane, we say that a pair is touching if they have only one interior point in common and at this point the first curve does not get from one side of the second curve to its other side. Otherwise, if the two curves intersect, they are said to form a crossing pair. Let $t$ and $c$ denote the number of touching pairs and crossing pairs, respectively. We prove that $c \ge {1\over 10^5}{t^2\over n^2}$, provided that $t\ge 10n$. Apart from the values of the constants, this result is best possible.
△ Less
Submitted 30 August, 2017; v1 submitted 21 June, 2017;
originally announced June 2017.
-
Controlling Lipschitz functions
Authors:
Andrey Kupavskii,
Janos Pach,
Gabor Tardos
Abstract:
Given any positive integers $m$ and $d$, we say the a sequence of points $(x_i)_{i\in I}$ in $\mathbb R^m$ is {\em Lipschitz-$d$-controlling} if one can select suitable values $y_i\; (i\in I)$ such that for every Lipschitz function $f:\mathbb R^m\rightarrow \mathbb R^d$ there exists $i$ with $|f(x_i)-y_i|<1$. We conjecture that for every $m\le d$, a sequence $(x_i)_{i\in I}\subset\mathbb R^m$ is…
▽ More
Given any positive integers $m$ and $d$, we say the a sequence of points $(x_i)_{i\in I}$ in $\mathbb R^m$ is {\em Lipschitz-$d$-controlling} if one can select suitable values $y_i\; (i\in I)$ such that for every Lipschitz function $f:\mathbb R^m\rightarrow \mathbb R^d$ there exists $i$ with $|f(x_i)-y_i|<1$. We conjecture that for every $m\le d$, a sequence $(x_i)_{i\in I}\subset\mathbb R^m$ is $d$-controlling if and only if $$\sup_{n\in\mathbb N}\frac{|\{i\in I\, :\, |x_i|\le n\}|}{n^d}=\infty.$$ We prove that this condition is necessary and a slightly stronger one is already sufficient for the sequence to be $d$-controlling. We also prove the conjecture for $m=1$.
△ Less
Submitted 11 April, 2018; v1 submitted 10 April, 2017;
originally announced April 2017.
-
On the size of $k$-cross-free families
Authors:
Andrey Kupavskii,
János Pach,
István Tomon
Abstract:
Two subsets $A,B$ of an $n$-element ground set $X$ are said to be \emph{crossing}, if none of the four sets $A\cap B$, $A\setminus B$, $B\setminus A$ and $X\setminus(A\cup B)$ are empty. It was conjectured by Karzanov and Lomonosov forty years ago that if a family $\mathcal{F}$ of subsets of $X$ does not contain $k$ pairwise crossing elements, then $|\mathcal{F}|=O_{k}(n)$. For $k=2$ and $3$, the…
▽ More
Two subsets $A,B$ of an $n$-element ground set $X$ are said to be \emph{crossing}, if none of the four sets $A\cap B$, $A\setminus B$, $B\setminus A$ and $X\setminus(A\cup B)$ are empty. It was conjectured by Karzanov and Lomonosov forty years ago that if a family $\mathcal{F}$ of subsets of $X$ does not contain $k$ pairwise crossing elements, then $|\mathcal{F}|=O_{k}(n)$. For $k=2$ and $3$, the conjecture is true, but for larger values of $k$ the best known upper bound, due to Lomonosov, is $|\mathcal{F}|=O_{k}(n\log n)$. In this paper, we improve this bound by showing that $|\mathcal{F}|=O_{k}(n\log^{*} n)$ holds, where $\log^{*}$ denotes the iterated logarithm function.
△ Less
Submitted 7 April, 2017;
originally announced April 2017.
-
Disjointness graphs of segments
Authors:
Janos Pach,
Gabor Tardos,
Geza Toth
Abstract:
The {\em disjointness graph} $G=G({\cal S})$ of a set of segments ${\cal S}$ in $R^d$, $d\ge 2,$ is a graph whose vertex set is ${\cal S}$ and two vertices are connected by an edge if and only if the corresponding segments are disjoint. We prove that the chromatic number of $G$ satisfies $χ(G)\le(ω(G))^4+(ω(G))^3$, where $ω(G)$ denotes the clique number of $G$. It follows, that $\cal S$ has…
▽ More
The {\em disjointness graph} $G=G({\cal S})$ of a set of segments ${\cal S}$ in $R^d$, $d\ge 2,$ is a graph whose vertex set is ${\cal S}$ and two vertices are connected by an edge if and only if the corresponding segments are disjoint. We prove that the chromatic number of $G$ satisfies $χ(G)\le(ω(G))^4+(ω(G))^3$, where $ω(G)$ denotes the clique number of $G$. It follows, that $\cal S$ has $Ω(n^{1/5})$ pairwise intersecting or pairwise disjoint elements. Stronger bounds are established for lines in space, instead of segments.
We show that computing $ω(G)$ and $χ(G)$ for disjointness graphs of lines in space are NP-hard tasks. However, we can design efficient algorithms to compute proper colorings of $G$ in which the number of colors satisfies the above upper bounds. One cannot expect similar results for sets of continuous arcs, instead of segments, even in the plane. We construct families of arcs whose disjointness graphs are triangle-free ($ω(G)=2$), but whose chromatic numbers are arbitrarily large.
△ Less
Submitted 11 November, 2021; v1 submitted 6 April, 2017;
originally announced April 2017.
-
Borsuk and Ramsey type questions in Euclidean space
Authors:
Peter Frankl,
János Pach,
Christian Reiher,
Vojtěch Rödl
Abstract:
We give a short survey of problems and results on (1) diameter graphs and hypergraphs, and (2) geometric Ramsey theory. We also make some modest contributions to both areas. Extending a well known theorem of Kahn and Kalai which disproved Borsuk's conjecture, we show that for any integer $r\ge 2$, there exist $\varepsilon=\varepsilon(r)>0$ and $d_0=d_0(r)$ with the following property. For every…
▽ More
We give a short survey of problems and results on (1) diameter graphs and hypergraphs, and (2) geometric Ramsey theory. We also make some modest contributions to both areas. Extending a well known theorem of Kahn and Kalai which disproved Borsuk's conjecture, we show that for any integer $r\ge 2$, there exist $\varepsilon=\varepsilon(r)>0$ and $d_0=d_0(r)$ with the following property. For every $d\ge d_0$, there is a finite point set $P\subset\mathbb{R}^d$ of diameter $1$ such that no matter how we color the elements of $P$ with fewer than $(1+\varepsilon)^{\sqrt{d}}$ colors, we can always find $r$ points of the same color, any two of which are at distance $1$.
△ Less
Submitted 14 September, 2017; v1 submitted 13 February, 2017;
originally announced February 2017.
-
Note on k-planar crossing numbers
Authors:
János Pach,
László A. Székely,
Csaba D. Tóth,
Géza Tóth
Abstract:
The crossing number $cr(G)$ of a graph $G=(V,E)$ is the smallest number of edge crossings over all drawings of $G$ in the plane. For any $k\ge 1$, the $k$-planar crossing number of $G$, $cr_k(G)$, is defined as the minimum of $cr(G_0)+cr(G_1)+\ldots+cr(G_{k-1})$ over all graphs $G_0, G_1,\ldots, G_{k-1}$ with $\cup_{i=0}^{k-1}G_i=G$. It is shown that for every $k\ge 1$, we have…
▽ More
The crossing number $cr(G)$ of a graph $G=(V,E)$ is the smallest number of edge crossings over all drawings of $G$ in the plane. For any $k\ge 1$, the $k$-planar crossing number of $G$, $cr_k(G)$, is defined as the minimum of $cr(G_0)+cr(G_1)+\ldots+cr(G_{k-1})$ over all graphs $G_0, G_1,\ldots, G_{k-1}$ with $\cup_{i=0}^{k-1}G_i=G$. It is shown that for every $k\ge 1$, we have $cr_k(G)\le \left(\frac{2}{k^2}-\frac1{k^3}\right)cr(G)$. This bound does not remain true if we replace the constant $\frac{2}{k^2}-\frac1{k^3}$ by any number smaller than $\frac1{k^2}$. Some of the results extend to the rectilinear variants of the $k$-planar crossing number.
△ Less
Submitted 17 November, 2016;
originally announced November 2016.
-
Arrangements of homothets of a convex body
Authors:
Márton Naszódi,
János Pach,
Konrad Swanepoel
Abstract:
Answering a question of Füredi and Loeb (1994), we show that the maximum number of pairwise intersecting homothets of a $d$-dimensional centrally symmetric convex body $K$, none of which contains the center of another in its interior, is at most $O(3^d d\log d)$. If $K$ is not necessarily centrally symmetric and the role of its center is played by its centroid, then the above bound can be replaced…
▽ More
Answering a question of Füredi and Loeb (1994), we show that the maximum number of pairwise intersecting homothets of a $d$-dimensional centrally symmetric convex body $K$, none of which contains the center of another in its interior, is at most $O(3^d d\log d)$. If $K$ is not necessarily centrally symmetric and the role of its center is played by its centroid, then the above bound can be replaced by $O(3^d\binom{2d}{d}d\log d)$. We establish analogous results for the case where the center is defined as an arbitrary point in the interior of $K$. We also show that in the latter case, one can always find families of at least $Ω((2/\sqrt{3})^d)$ translates of $K$ with the above property.
△ Less
Submitted 5 June, 2017; v1 submitted 16 August, 2016;
originally announced August 2016.
-
Approximating the rectilinear crossing number
Authors:
Jacob Fox,
Janos Pach,
Andrew Suk
Abstract:
A straight-line drawing of a graph $G$ is a map** which assigns to each vertex a point in the plane and to each edge a straight-line segment connecting the corresponding two points. The rectilinear crossing number of a graph $G$, $\overline{cr}(G)$, is the minimum number of crossing edges in any straight-line drawing of $G$. Determining or estimating $\overline{cr}(G)$ appears to be a difficult…
▽ More
A straight-line drawing of a graph $G$ is a map** which assigns to each vertex a point in the plane and to each edge a straight-line segment connecting the corresponding two points. The rectilinear crossing number of a graph $G$, $\overline{cr}(G)$, is the minimum number of crossing edges in any straight-line drawing of $G$. Determining or estimating $\overline{cr}(G)$ appears to be a difficult problem, and deciding if $\overline{cr}(G)\leq k$ is known to be NP-hard. In fact, the asymptotic behavior of $\overline{cr}(K_n)$ is still unknown.
In this paper, we present a deterministic $n^{2+o(1)}$-time algorithm that finds a straight-line drawing of any $n$-vertex graph $G$ with $\overline{cr}(G) + o(n^4)$ crossing edges. Together with the well-known Crossing Lemma due to Ajtai et al. and Leighton, this result implies that for any dense $n$-vertex graph $G$, one can efficiently find a straight-line drawing of $G$ with $(1 + o(1))\overline{cr}(G)$ crossing edges.
△ Less
Submitted 7 September, 2016; v1 submitted 12 June, 2016;
originally announced June 2016.
-
Sphere-of-influence graphs in normed spaces
Authors:
Márton Naszódi,
János Pach,
Konrad Swanepoel
Abstract:
We show that any $k$-th closed sphere-of-influence graph in a $d$-dimensional normed space has a vertex of degree less than~$5^d k$, thus obtaining a common generalization of results of Füredi and Loeb (1994) and Guibas, Pach and Sharir (1994).
We show that any $k$-th closed sphere-of-influence graph in a $d$-dimensional normed space has a vertex of degree less than~$5^d k$, thus obtaining a common generalization of results of Füredi and Loeb (1994) and Guibas, Pach and Sharir (1994).
△ Less
Submitted 6 May, 2016;
originally announced May 2016.
