Source author record

János Pach

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CO Computational Geometry Discrete Mathematics math.MG math.HO math.PR

Catalog footprint

Research overview

32works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2023arXiv

Two trees are better than one

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.

preprint2022arXiv

Exchange properties of finite set-systems

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)}$ .

preprint2020arXiv

Crossings between non-homotopic edges

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.

preprint2020arXiv

Erdős-Hajnal-type results for ordered paths

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.

preprint2020arXiv

Minimum area isosceles containers

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.

preprint2020arXiv

Two extensions of the Erdős-Szekeres problem

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)}$ .

preprint2017arXiv

Borsuk and Ramsey type questions in Euclidean space

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$ .

preprint2016arXiv

Decomposition of multiple packings with subquadratic union complexity

Suppose $k$ is a positive integer and $\mathcal{X}$ is a $k$ -fold packing of the plane by infinitely many arc-connected compact sets, which means that every point of the plane belongs to at most $k$ sets. Suppose there is a function $f(n)=o(n^2)$ with the property that any $n$ members of $\mathcal{X}$ determine at most $f(n)$ holes, which means that the complement of their union has at most $f(n)$ bounded connected components. We use tools from extremal graph theory and the topological Helly theorem to prove that $\mathcal{X}$ can be decomposed into at most $p$ ( $1$ -fold) packings, where $p$ is a constant depending only on $k$ and $f$ .

preprint2016arXiv

Sphere-of-influence graphs in normed spaces

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).

preprint2015arXiv

A semi-algebraic version of Zarankiewicz's problem

A bipartite graph $G$ is semi-algebraic in $\mathbb{R}^d$ if its vertices are represented by point sets $P,Q \subset \mathbb{R}^d$ and its edges are defined as pairs of points $(p,q) \in P\times Q$ that satisfy a Boolean combination of a fixed number of polynomial equations and inequalities in $2d$ coordinates. We show that for fixed $k$ , the maximum number of edges in a $K_{k,k}$ -free semi-algebraic bipartite graph $G = (P,Q,E)$ in $\mathbb{R}^2$ with $|P| = m$ and $|Q| = n$ is at most $O((mn)^{2/3} + m + n)$ , and this bound is tight. In dimensions $d \geq 3$ , we show that all such semi-algebraic graphs have at most $C\left((mn)^{ \frac{d}{d+1} + \varepsilon} + m + n\right)$ edges, where here $\varepsilon$ is an arbitrarily small constant and $C = C(d,k,t,\varepsilon)$ . This result is a far-reaching generalization of the classical Szemerédi-Trotter incidence theorem. The proof combines tools from several fields: VC-dimension and shatter functions, polynomial partitioning, and Hilbert polynomials. We also present various applications of our theorem. For example, a general point-variety incidence bound in $\mathbb{R}^d$ , an improved bound for a $d$ -dimensional variant of the Erdős unit distances problem, and more.

preprint2015arXiv

Beyond the Richter-Thomassen Conjecture

If two closed Jordan curves in the plane have precisely one point in common, then it is called a {\em touching point}. All other intersection points are called {\em crossing points}. The main result of this paper is a Crossing Lemma for closed curves: In any family of $n$ pairwise intersecting simple closed curves in the plane, no three of which pass through the same point, the number of crossing points exceeds the number of touching points by a factor of at least $Ω((\log\log n)^{1/8})$ . As a corollary, we prove the following long-standing conjecture of Richter and Thomassen: The total number of intersection points between any $n$ pairwise intersecting simple closed curves in the plane, no three of which pass through the same point, is at least $(1-o(1))n^2$ .

preprint2015arXiv

Cross-intersecting families of vectors

Given a sequence of positive integers $p = (p_1, . . ., p_n)$ , let $S_p$ denote the family of all sequences of positive integers $x = (x_1,...,x_n)$ such that $x_i \le p_i$ for all $i$ . Two families of sequences (or vectors), $A,B \subseteq S_p$ , are said to be $r$ -cross-intersecting if no matter how we select $x \in A$ and $y \in B$ , there are at least $r$ distinct indices $i$ such that $x_i = y_i$ . We determine the maximum value of $|A|\cdot|B|$ over all pairs of $r$ - cross-intersecting families and characterize the extremal pairs for $r \ge 1$ , provided that $\min p_i >r+1$ . The case $\min p_i \le r+1$ is quite different. For this case, we have a conjecture, which we can verify under additional assumptions. Our results generalize and strengthen several previous results by Berge, Frankl, Füredi, Livingston, Moon, and Tokushige, and answers a question of Zhang.

preprint2015arXiv

Distinct distances on algebraic curves in the plane

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.

preprint2015arXiv

Separation with restricted families of sets

Given a finite $n$ -element set $X$ , a family of subsets ${\mathcal F}\subset 2^X$ is said to separate $X$ if any two elements of $X$ are separated by at least one member of $\mathcal F$ . It is shown that if $|\mathcal F|>2^{n-1}$ , then one can select $\lceil\log n\rceil+1$ members of $\mathcal F$ that separate $X$ . If $|\mathcal F|\ge α2^n$ for some $0<α<1/2$ , then $\log n+O(\log\frac1α\log\log\frac1α)$ members of $\mathcal F$ are always sufficient to separate all pairs of elements of $X$ that are separated by some member of $\mathcal F$ . This result is generalized to simultaneous separation in several sets. Analogous questions on separation by families of bounded Vapnik-Chervonenkis dimension and separation of point sets in ${\mathbb{R}}^d$ by convex sets are also considered.

preprint2015arXiv

Unsplittable coverings in the plane

A system of sets forms an {\em $m$ -fold covering} of a set $X$ if every point of $X$ belongs to at least $m$ of its members. A $1$ -fold covering is called a {\em covering}. The problem of splitting multiple coverings into several coverings was motivated by classical density estimates for {\em sphere packings} as well as by the {\em planar sensor cover problem}. It has been the prevailing conjecture for 35 years (settled in many special cases) that for every plane convex body $C$ , there exists a constant $m=m(C)$ such that every $m$ -fold covering of the plane with translates of $C$ splits into $2$ coverings. In the present paper, it is proved that this conjecture is false for the unit disk. The proof can be generalized to construct, for every $m$ , an unsplittable $m$ -fold covering of the plane with translates of any open convex body $C$ which has a smooth boundary with everywhere {\em positive curvature}. Somewhat surprisingly, {\em unbounded} open convex sets $C$ do not misbehave, they satisfy the conjecture: every $3$ -fold covering of any region of the plane by translates of such a set $C$ splits into two coverings. To establish this result, we prove a general coloring theorem for hypergraphs of a special type: {\em shift-chains}. We also show that there is a constant $c>0$ such that, for any positive integer $m$ , every $m$ -fold covering of a region with unit disks splits into two coverings, provided that every point is covered by {\em at most} $c2^{m/2}$ sets.

preprint2014arXiv

A lower bound on opaque sets

It is proved that the total length of any set of countably many rectifiable curves, whose union meets all straight lines that intersect the unit square U, is at least 2.00002. This is the first improvement on the lower bound of 2 established by Jones in 1964. A similar bound is proved for all convex sets U other than a triangle.

preprint2014arXiv

Double-normal pairs in the plane and on the sphere

A double-normal pair of a finite set $S$ of points from Euclidean space is a pair of points $\{p,q\}$ from $S$ such that $S$ lies in the closed strip bounded by the hyperplanes through $p$ and $q$ that are perpendicular to $pq$ . A double-normal pair $pq$ is strict if $S\setminus\{p,q\}$ lies in the open strip. We answer a question of Martini and Soltan (2006) by showing that a set of $n\geq 3$ points in the plane has at most $3\lfloor n/2\rfloor$ double-normal pairs. This bound is sharp for each $n\geq 3$ . In a companion paper, we have asymptotically determined this maximum for points in $R^3$ . Here we show that if the set lies on some 2-sphere, it has at most $17n/4 - 6$ double-normal pairs. This bound is attained for infinitely many values of $n$ . We also establish tight bounds for the maximum number of strict double-normal pairs in a set of $n$ points in the plane and on the sphere.

preprint2014arXiv

On the Richter-Thomassen Conjecture about Pairwise Intersecting Closed Curves

A long standing conjecture of Richter and Thomassen states that the total number of intersection points between any $n$ simple closed Jordan curves in the plane, so that any pair of them intersect and no three curves pass through the same point, is at least $(1-o(1))n^2$ . We confirm the above conjecture in several important cases, including the case (1) when all curves are convex, and (2) when the family of curves can be partitioned into two equal classes such that each curve from the first class is touching every curve from the second class. (Two curves are said to be touching if they have precisely one point in common, at which they do not properly cross.) An important ingredient of our proofs is the following statement: Let $S$ be a family of the graphs of $n$ continuous real functions defined on $\mathbb{R}$ , no three of which pass through the same point. If there are $nt$ pairs of touching curves in $S$ , then the number of crossing points is $Ω(nt\sqrt{\log t/\log\log t})$ .

preprint2014arXiv

Saturated simple and $k$ -simple topological graphs

A simple topological graph $G$ is a graph drawn in the plane so that any pair of edges have at most one point in common, which is either an endpoint or a proper crossing. $G$ is called saturated if no further edge can be added without violating this condition. We construct saturated simple topological graphs with $n$ vertices and $O(n)$ edges. For every $k>1$ , we give similar constructions for $k$ -simple topological graphs, that is, for graphs drawn in the plane so that any two edges have at most $k$ points in common. We show that in any $k$ -simple topological graph, any two independent vertices can be connected by a curve that crosses each of the original edges at most $2k$ times. Another construction shows that the bound $2k$ cannot be improved. Several other related problems are also considered.

preprint2013arXiv

Ramsey-type results for semi-algebraic relations

A k-ary semi-algebraic relation E on R^d is a subset of R^{kd}, the set of k-tuples of points in R^d, which is determined by a finite number of polynomial equations and inequalities in kd real variables. The description complexity of such a relation is at most t if the number of polynomials and their degrees are all bounded by t. A subset A of R^d is called homogeneous if all or none of the k-tuples from A satisfy E. A large number of geometric Ramsey-type problems and results can be formulated as questions about finding large homogeneous subsets of sets in R^d equipped with semi-algebraic relations. In this paper we study Ramsey numbers for k-ary semi-algebraic relations of bounded complexity and give matching upper and lower bounds, showing that they grow as a tower of height k-1. This improves on a direct application of Ramsey's theorem by one exponential and extends a result of Alon, Pach, Pinchasi, Radoičić, and Sharir, who proved this for k=2. We apply our results to obtain new estimates for some geometric Ramsey-type problems relating to order types and one-sided sets of hyperplanes. We also study the off-diagonal case, achieving some partial results.

preprint2013arXiv

The number of distinct distances from a vertex of a convex polygon

Erdős conjectured in 1946 that every n-point set P in convex position in the plane contains a point that determines at least floor(n/2) distinct distances to the other points of P. The best known lower bound due to Dumitrescu (2006) is 13n/36 - O(1). In the present note, we slightly improve on this result to (13/36 + eps)n - O(1) for eps ~= 1/23000. Our main ingredient is an improved bound on the maximum number of isosceles triangles determined by P.

preprint2013arXiv

The range of a random walk on a comb

The graph obtained from the integer grid Z x Z by the removal of all horizontal edges that do not belong to the x-axis is called a comb. In a random walk on a graph, whenever a walker is at a vertex v, in the next step it will visit one of the neighbors of v, each with probability 1/d(v), where d(v) denotes the degree of v. We answer a question of Csáki, Csörgö, Földes, Révész, and Tusnády by showing that the expected number of vertices visited by a random walk on the comb after n steps is (1/(2\sqrt{2π})+o(1))\sqrt n\log n. This contradicts a claim of Weiss and Havlin.

preprint2013arXiv

The visible perimeter of an arrangement of disks

Given a collection of n opaque unit disks in the plane, we want to find a stacking order for them that maximizes their visible perimeter---the total length of all pieces of their boundaries visible from above. We prove that if the centers of the disks form a dense point set, i.e., the ratio of their maximum to their minimum distance is O(n^1/2), then there is a stacking order for which the visible perimeter is Omega(n^2/3). We also show that this bound cannot be improved in the case of a sufficiently small n^1/2 by n^1/2 uniform grid. On the other hand, if the set of centers is dense and the maximum distance between them is small, then the visible perimeter is O(n^3/4) with respect to any stacking order. This latter bound cannot be improved either. Finally, we address the case where no more than c disks can have a point in common. These results partially answer some questions of Cabello, Haverkort, van Kreveld, and Speckmann.

preprint2012arXiv

How Many Potatoes are in a Mesh?

We consider the combinatorial question of how many convex polygons can be made by using the edges taken from a fixed triangulation of n vertices. For general triangulations, there can be exponentially many: we show a construction that has Omega(1.5028^n) convex polygons, and prove an O(1.62^n) upper bound in the worst case. If the triangulation is fat (every triangle has its angles lower-bounded by a constant delta>0), then there can be only polynomially many. We also consider the problem of counting convex outerplanar polygons (i.e., they contain no vertices of the triangulation in their interiors) in the same triangulations. In this setting, we get the same exponential bounds in general triangulations, and lower polynomial bounds in fat triangulations. If the triangulation is furthermore compact (the ratio between the longest and shortest distance between any two vertices is bounded), the bounds drop further to Theta (n^2) for general convex outerplanar polygons, and Theta (n) for fat convex outerplanar polygons.

preprint2012arXiv

Opaque sets

The problem of finding "small" sets that meet every straight-line which intersects a given convex region was initiated by Mazurkiewicz in 1916. We call such a set an {\em opaque set} or a {\em barrier} for that region. We consider the problem of computing the shortest barrier for a given convex polygon with $n$ vertices. No exact algorithm is currently known even for the simplest instances such as a square or an equilateral triangle. For general barriers, we present an approximation algorithm with ratio $1/2 + \frac{2 +\sqrt{2}}π=1.5867...$ . For connected barriers we achieve the approximation ratio 1.5716, while for single-arc barriers we achieve the approximation ratio $\frac{π+5}{π+2} = 1.5834...$ . All three algorithms run in O(n) time. We also show that if the barrier is restricted to the (interior and the boundary of the) input polygon, then the problem admits a fully polynomial-time approximation scheme for the connected case and a quadratic-time exact algorithm for the single-arc case.

preprint2011arXiv

Lower bounds on the obstacle number of graphs

Given a graph $G$ , an {\em obstacle representation} of $G$ is a set of points in the plane representing the vertices of $G$ , together with a set of connected obstacles such that two vertices of $G$ are joined by an edge if and only if the corresponding points can be connected by a segment which avoids all obstacles. The {\em obstacle number} of $G$ is the minimum number of obstacles in an obstacle representation of $G$ . It is shown that there are graphs on $n$ vertices with obstacle number at least $Ω({n}/{\log n})$ .

preprint2011arXiv

Remarks on a Ramsey theory for trees

Extending Furstenberg's ergodic theoretic proof for Szemerédi's theorem on arithmetic progressions, Furstenberg and Weiss (2003) proved the following qualitative result. For every d and k, there exists an integer N such that no matter how we color the vertices of a complete binary tree T_N of depth N with k colors, we can find a monochromatic replica of T_d in T_N such that (1) all vertices at the same level in T_d are mapped into vertices at the same level in T_N; (2) if a vertex x of T_d is mapped into a vertex y in T_N, then the two children of x are mapped into descendants of the the two children of y in T_N, respectively; and 3 the levels occupied by this replica form an arithmetic progression. This result and its density versions imply van der Waerden's and Szemerédi's theorems, and laid the foundations of a new Ramsey theory for trees. Using simple counting arguments and a randomized coloring algorithm called random split, we prove the following related result. Let N=N(d,k) denote the smallest positive integer such that no matter how we color the vertices of a complete binary tree T_N of depth N with k colors, we can find a monochromatic replica of T_d in T_N which satisfies properties (1) and (2) above. Then we have N(d,k)=Θ(dk\log k). We also prove a density version of this result, which, combined with Szemerédi's theorem, provides a very short combinatorial proof of a quantitative version of the Furstenberg-Weiss theorem.

preprint2011arXiv

Small (2,s)-colorable graphs without 1-obstacle representations

An obstacle representation of a graph G is a set of points on the plane together with a set of polygonal obstacles that determine a visibility graph isomorphic to G. The obstacle number of G is the minimum number of obstacles over all obstacle representations of G. Alpert, Koch, and Laison gave a 12-vertex bipartite graph and proved that its obstacle number is two. We show that a 10-vertex induced subgraph of this graph has obstacle number two. Alpert et al. also constructed very large graphs with vertex set consisting of a clique and an independent set in order to show that obstacle number is an unbounded parameter. We specify a 70-vertex graph with vertex set consisting of a clique and an independent set, and prove that it has obstacle number greater than one. This is an ancillary document to our article in press. We conclude by showing that a 10-vertex graph with vertex set consisting of two cliques has obstacle number greater than one, improving on a result therein.

preprint2010arXiv

Drawing planar graphs of bounded degree with few slopes

We settle a problem of Dujmović, Eppstein, Suderman, and Wood by showing that there exists a function $f$ with the property that every planar graph $G$ with maximum degree $d$ admits a drawing with noncrossing straight-line edges, using at most $f(d)$ different slopes. If we allow the edges to be represented by polygonal paths with {\em one} bend, then 2d slopes suffice. Allowing {\em two} bends per edge, every planar graph with maximum degree $d\ge 3$ can be drawn using segments of at most $\lceil d/2\rceil$ different slopes. There is only one exception: the graph formed by the edges of an octahedron is 4-regular, yet it requires 3 slopes. These bounds cannot be improved.

preprint2010arXiv

Square Trisection

A square trisection is a problem of assembling three identical squares from a larger square, using a minimal number of pieces. This paper presents an historical overview of the square trisection problem starting with its origins in the third century. We detail the reasoning behind some of the main known solutions. Finally, we give a new solution and three ruler-and-compass constructions. We conclude with a conjecture of optimality of the proposed solution.

preprint2010arXiv

Tight lower bounds for the size of epsilon-nets

According to a well known theorem of Haussler and Welzl (1987), any range space of bounded VC-dimension admits an $\eps$-net of size $O\left(\frac{1}{\eps}\log\frac1{\eps}\right)$. Using probabilistic techniques, Pach and Woeginger (1990) showed that there exist range spaces of VC-dimension 2, for which the above bound can be attained. The only known range spaces of small VC-dimension, in which the ranges are geometric objects in some Euclidean space and the size of the smallest $\eps$-nets is superlinear in $\frac1{\eps}$, were found by Alon (2010). In his examples, the size of the smallest $\eps$-nets is $Ω\left(\frac{1}{\eps}g(\frac{1}{\eps})\right)$, where $g$ is an extremely slowly growing function, closely related to the inverse Ackermann function. \smallskip We show that there exist geometrically defined range spaces, already of VC-dimension $2$ , in which the size of the smallest $\eps$-nets is $Ω\left(\frac{1}{\eps}\log\frac{1}{\eps}\right)$. We also construct range spaces induced by axis-parallel rectangles in the plane, in which the size of the smallest $\eps$-nets is $Ω\left(\frac{1}{\eps}\log\log\frac{1}{\eps}\right)$. By a theorem of Aronov, Ezra, and Sharir (2010), this bound is tight.

preprint1996arXiv

A Tverberg-type result on multicolored simplices

Let $P_1, P_2,\ldots, P_{d+1}$ be pairwise disjoint $n$ -element point sets in general position in $d$ -space. It is shown that there exist a point $O$ and suitable subsets $Q_i\subseteq P_i \; (i=1, 2, \ldots, d+1)$ such that $|Q_i|\geq c_d|P_i|$ , and every $d$ -dimensional simplex with exactly one vertex in each $Q_i$ contains $O$ in its interior. Here $c_d$ is a positive constant depending only on $d$ .

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

János Pach

Research overview

Is this your work?

32 publications

Two trees are better than one

Exchange properties of finite set-systems

Crossings between non-homotopic edges

Erdős-Hajnal-type results for ordered paths

Minimum area isosceles containers

Two extensions of the Erdős-Szekeres problem

Borsuk and Ramsey type questions in Euclidean space

Decomposition of multiple packings with subquadratic union complexity

Sphere-of-influence graphs in normed spaces

A semi-algebraic version of Zarankiewicz's problem

Beyond the Richter-Thomassen Conjecture

Cross-intersecting families of vectors

Distinct distances on algebraic curves in the plane

Separation with restricted families of sets

Unsplittable coverings in the plane

A lower bound on opaque sets

Double-normal pairs in the plane and on the sphere

On the Richter-Thomassen Conjecture about Pairwise Intersecting Closed Curves

Saturated simple and $k$ -simple topological graphs

Ramsey-type results for semi-algebraic relations

The number of distinct distances from a vertex of a convex polygon

The range of a random walk on a comb

The visible perimeter of an arrangement of disks

How Many Potatoes are in a Mesh?

Opaque sets

Lower bounds on the obstacle number of graphs

Remarks on a Ramsey theory for trees

Small (2,s)-colorable graphs without 1-obstacle representations

Drawing planar graphs of bounded degree with few slopes

Square Trisection

Tight lower bounds for the size of epsilon-nets

A Tverberg-type result on multicolored simplices

See the researcher in context

Building this map preview

János Pach

Research overview

Is this your work?

32 publications

Two trees are better than one

Exchange properties of finite set-systems

Crossings between non-homotopic edges

Erdős-Hajnal-type results for ordered paths

Minimum area isosceles containers

Two extensions of the Erdős-Szekeres problem

Borsuk and Ramsey type questions in Euclidean space

Decomposition of multiple packings with subquadratic union complexity

Sphere-of-influence graphs in normed spaces

A semi-algebraic version of Zarankiewicz's problem

Beyond the Richter-Thomassen Conjecture

Cross-intersecting families of vectors

Distinct distances on algebraic curves in the plane

Separation with restricted families of sets

Unsplittable coverings in the plane

A lower bound on opaque sets

Double-normal pairs in the plane and on the sphere

On the Richter-Thomassen Conjecture about Pairwise Intersecting Closed Curves

Saturated simple and kkk-simple topological graphs

Ramsey-type results for semi-algebraic relations

The number of distinct distances from a vertex of a convex polygon

The range of a random walk on a comb

The visible perimeter of an arrangement of disks

How Many Potatoes are in a Mesh?

Opaque sets

Lower bounds on the obstacle number of graphs

Remarks on a Ramsey theory for trees

Small (2,s)-colorable graphs without 1-obstacle representations

Drawing planar graphs of bounded degree with few slopes

Square Trisection

Tight lower bounds for the size of epsilon-nets

A Tverberg-type result on multicolored simplices

See the researcher in context

Building this map preview

Saturated simple and $k$ -simple topological graphs