Showing 1–50 of 52 results for author: Bukh, B

Additive Bases: Change of Domain

Authors: Boris Bukh, Peter van Hintum, Peter Keevash

Abstract: We consider two questions of Ruzsa on how the minimum size of an additive basis $B$ of a given set $A$ depends on the domain of $B$. To state these questions, for an abelian group $G$ and $A \subseteq D \subseteq G$ we write $\ell_D(A) \colon =\min \{ |B|: B \subseteq D, \ A \subseteq B+B \}$. Ruzsa asked how much larger can $\ell_{\mathbb{Z}}(A)$ be than $\ell_{\mathbb{Q}}(A)$ for… ▽ More We consider two questions of Ruzsa on how the minimum size of an additive basis $B$ of a given set $A$ depends on the domain of $B$. To state these questions, for an abelian group $G$ and $A \subseteq D \subseteq G$ we write $\ell_D(A) \colon =\min \{ |B|: B \subseteq D, \ A \subseteq B+B \}$. Ruzsa asked how much larger can $\ell_{\mathbb{Z}}(A)$ be than $\ell_{\mathbb{Q}}(A)$ for $A\subset\mathbb{Z}$, and how much larger can $\ell_{\mathbb{N}}(A)$ be than $\ell_{\mathbb{Z}}(A)$ for $A\subset\mathbb{N}$. For the first question we show that if $\ell_{\mathbb{Q}}(A) = n$ then $\ell_{\mathbb{Z}}(A) \le 2n$, and that this is tight up to an additive error of at most $O(\sqrt{n})$. For the second question, we show that if $\ell_{\mathbb{Z}}(A) = n$ then $\ell_{\mathbb{N}}(A) \le O(n\log n)$, and this is tight up to the constant factor. We also consider these questions for higher order bases. Our proofs use some ideas that are unexpected in this context, including linear algebra and Diophantine approximation. △ Less

Submitted 11 September, 2024; originally announced September 2024.

Comments: 11 pages

MSC Class: 11B13; 05B10; 20K27

Colouring random subgraphs

Authors: Boris Bukh, Michael Krivelevich, Bhargav Narayanan

Abstract: We study several basic problems about colouring the $p$-random subgraph $G_p$ of an arbitrary graph $G$, focusing primarily on the chromatic number and colouring number of $G_p$. In particular, we show that there exist infinitely many $k$-regular graphs $G$ for which the colouring number (i.e., degeneracy) of $G_{1/2}$ is at most $k/3 + o(k)$ with high probability, thus disproving the natural pred… ▽ More We study several basic problems about colouring the $p$-random subgraph $G_p$ of an arbitrary graph $G$, focusing primarily on the chromatic number and colouring number of $G_p$. In particular, we show that there exist infinitely many $k$-regular graphs $G$ for which the colouring number (i.e., degeneracy) of $G_{1/2}$ is at most $k/3 + o(k)$ with high probability, thus disproving the natural prediction that such random graphs must have colouring number at least $k/2 - o(k)$. △ Less

Submitted 6 January, 2025; v1 submitted 13 December, 2023; originally announced December 2023.

MSC Class: 05C80; 05C15

Journal ref: Combinator. Probab. Comp. 34 (2025) 585-595

New bounds for the same-type lemma

Authors: Boris Bukh, Alexey Vasileuski

Abstract: Given finite sets $X_1,\dotsc,X_m$ in $\mathbb{R}^d$ (with $d$ fixed), we prove that there are respective subsets $Y_1,\dotsc,Y_m$ with $|Y_i|\ge \frac{1}{\operatorname{poly}(m)}|X_i|$ such that, for $y_1\in Y_1,\dotsc,y_m\in Y_m$, the orientations of the $(d+1)$-tuples from $y_1,\dotsc,y_m$ do not depend on the actual choices of points $y_1,\dotsc,y_m$. This generalizes previously known case when… ▽ More Given finite sets $X_1,\dotsc,X_m$ in $\mathbb{R}^d$ (with $d$ fixed), we prove that there are respective subsets $Y_1,\dotsc,Y_m$ with $|Y_i|\ge \frac{1}{\operatorname{poly}(m)}|X_i|$ such that, for $y_1\in Y_1,\dotsc,y_m\in Y_m$, the orientations of the $(d+1)$-tuples from $y_1,\dotsc,y_m$ do not depend on the actual choices of points $y_1,\dotsc,y_m$. This generalizes previously known case when all the sets $X_i$ are equal. Furthermore, we give a construction showing that polynomial dependence on $m$ is unavoidable, as well as an algorithm that approximates the best-possible constants in this result. △ Less

Submitted 19 September, 2023; originally announced September 2023.

Comments: 9 pages

Distances between realizations of order types

Authors: Boris Bukh, R. Amzi Jeffs

Abstract: Any $n$-tuple of points in the plane can be moved to any other $n$-tuple by a continuous motion with at most $\binom{n}{3}$ intermediate changes of the order type. Even for tuples with the same order type, the cubic bound is sharp: there exist pairs of $n$-tuples of the same order type requiring $c\binom{n}{3}$ intermediate changes. Any $n$-tuple of points in the plane can be moved to any other $n$-tuple by a continuous motion with at most $\binom{n}{3}$ intermediate changes of the order type. Even for tuples with the same order type, the cubic bound is sharp: there exist pairs of $n$-tuples of the same order type requiring $c\binom{n}{3}$ intermediate changes. △ Less

Submitted 5 September, 2023; originally announced September 2023.

Comments: 9 pages, 1 figure

MSC Class: 52C40

Planar convex codes are decidable

Authors: Boris Bukh, R. Amzi Jeffs

Abstract: We show that every convex code realizable by compact sets in the plane admits a realization consisting of polygons, and analogously every open convex code in the plane can be realized by interiors of polygons. We give factorial-type bounds on the number of vertices needed to form such realizations. Consequently we show that there is an algorithm to decide whether a convex code admits a closed or o… ▽ More We show that every convex code realizable by compact sets in the plane admits a realization consisting of polygons, and analogously every open convex code in the plane can be realized by interiors of polygons. We give factorial-type bounds on the number of vertices needed to form such realizations. Consequently we show that there is an algorithm to decide whether a convex code admits a closed or open realization in the plane. △ Less

Submitted 13 December, 2022; v1 submitted 13 July, 2022; originally announced July 2022.

Comments: 14 pages, 6 figures

MSC Class: 52C99; 52A10

Convex polytopes in restricted point sets in $\mathbb{R}^d$

Authors: Boris Bukh, Zichao Dong

Abstract: For a finite point set $P \subset \mathbb{R}^d$, denote by $\text{diam}(P)$ the ratio of the largest to the smallest distances between pairs of points in $P$. Let $c_{d, α}(n)$ be the largest integer $c$ such that any $n$-point set $P \subset \mathbb{R}^d$ in general position, satisfying $\text{diam}(P) < α\sqrt[d]{n}$, contains an $c$-point convex independent subset. We determine the asymptotics… ▽ More For a finite point set $P \subset \mathbb{R}^d$, denote by $\text{diam}(P)$ the ratio of the largest to the smallest distances between pairs of points in $P$. Let $c_{d, α}(n)$ be the largest integer $c$ such that any $n$-point set $P \subset \mathbb{R}^d$ in general position, satisfying $\text{diam}(P) < α\sqrt[d]{n}$, contains an $c$-point convex independent subset. We determine the asymptotics of $c_{d, α}(n)$ as $n \to \infty$ by showing the existence of positive constants $β= β(d, α)$ and $γ= γ(d)$ such that $βn^{\frac{d-1}{d+1}} \le c_{d, α}(n) \le γn^{\frac{d-1}{d+1}}$ for $α\geq 2$. △ Less

Submitted 14 January, 2025; v1 submitted 5 April, 2022; originally announced April 2022.

Comments: 30 pages, 2 figures; added more detailed explanations throughout the paper

MSC Class: 52A20; 52C07

Journal ref: Advances in Combinatorics 2025:1, 27pp

Enumeration of interval graphs and $d$-representable complexes

Authors: Boris Bukh, R. Amzi Jeffs

Abstract: For each fixed $d\ge 1$, we obtain asymptotic estimates for the number of $d$-representable simplicial complexes on $n$ vertices as a function of $n$. The case $d=1$ corresponds to counting interval graphs, and we obtain new results in this well-studied case as well. Our results imply that the $d$-representable complexes comprise a vanishingly small fraction of $d$-collapsible complexes. For each fixed $d\ge 1$, we obtain asymptotic estimates for the number of $d$-representable simplicial complexes on $n$ vertices as a function of $n$. The case $d=1$ corresponds to counting interval graphs, and we obtain new results in this well-studied case as well. Our results imply that the $d$-representable complexes comprise a vanishingly small fraction of $d$-collapsible complexes. △ Less

Submitted 28 June, 2023; v1 submitted 22 March, 2022; originally announced March 2022.

Comments: 13 pages, 2 figures

MSC Class: 52A20; 05A16

Applications of Random Algebraic Constructions to Hardness of Approximation

Authors: Boris Bukh, Karthik C. S., Bhargav Narayanan

Abstract: In this paper, we show how one may (efficiently) construct two types of extremal combinatorial objects whose existence was previously conjectural. (*) Panchromatic Graphs: For fixed integer k, a k-panchromatic graph is, roughly speaking, a balanced bipartite graph with one partition class equipartitioned into k colour classes in which the common neighbourhoods of panchromatic k-sets of vertices… ▽ More In this paper, we show how one may (efficiently) construct two types of extremal combinatorial objects whose existence was previously conjectural. (*) Panchromatic Graphs: For fixed integer k, a k-panchromatic graph is, roughly speaking, a balanced bipartite graph with one partition class equipartitioned into k colour classes in which the common neighbourhoods of panchromatic k-sets of vertices are much larger than those of k-sets that repeat a colour. The question of their existence was raised by Karthik and Manurangsi [Combinatorica 2020]. (*) Threshold Graphs: For fixed integer k, a k-threshold graph is, roughly speaking, a balanced bipartite graph in which the common neighbourhoods of k-sets of vertices on one side are much larger than those of (k+1)-sets. The question of their existence was raised by Lin [JACM 2018]. As applications of our constructions, we show the following conditional time lower bounds on the parameterized set intersection problem where, given a collection of n sets over universe [n] and a parameter k, the goal is to find k sets with the largest intersection. (*) Assuming ETH, for any computable function F, no $n^{o(k)}$-time algorithm can approximate the parameterized set intersection problem up to factor F(k). This improves considerably on the previously best-known result under ETH due to Lin [JACM 2018], who ruled out any $n^{o(\sqrt{k})}$ time approximation algorithm for this problem. (*) Assuming SETH, for every $\varepsilon>0$ and any computable function F, no $n^{k-\varepsilon}$-time algorithm can approximate the parameterized set intersection problem up to factor F(k). No result of comparable strength was previously known under SETH, even for solving this problem exactly. △ Less

Submitted 9 November, 2021; originally announced November 2021.

Comments: Abstract in metadata shortened to meet arxiv requirements

Sharp density bounds on the finite field Kakeya problem

Authors: Boris Bukh, Ting-Wei Chao

Abstract: A Kakeya set in $\mathbb{F}_q^n$ is a set containing a line in every direction. We show that every Kakeya set in $\mathbb{F}_q^n$ has density at least $1/2^{n-1}$, matching the construction by Dvir, Kopparty, Saraf and Sudan. A Kakeya set in $\mathbb{F}_q^n$ is a set containing a line in every direction. We show that every Kakeya set in $\mathbb{F}_q^n$ has density at least $1/2^{n-1}$, matching the construction by Dvir, Kopparty, Saraf and Sudan. △ Less

Submitted 11 December, 2021; v1 submitted 30 July, 2021; originally announced August 2021.

Comments: 9 pages, 1 figure

Journal ref: Discrete Analysis, 2021:26

Extremal graphs without exponentially-small bicliques

Authors: Boris Bukh

Abstract: The Turán problem asks for the largest number of edges in an $n$-vertex graph not containing a fixed forbidden subgraph $F$. We construct a new family of graphs not containing $K_{s,t}$, for $t= C^s$, with $Ω(n^{2-1/s})$ edges matching the upper bound of Kövári, Sós and Turán. The Turán problem asks for the largest number of edges in an $n$-vertex graph not containing a fixed forbidden subgraph $F$. We construct a new family of graphs not containing $K_{s,t}$, for $t= C^s$, with $Ω(n^{2-1/s})$ edges matching the upper bound of Kövári, Sós and Turán. △ Less

Submitted 6 August, 2023; v1 submitted 8 July, 2021; originally announced July 2021.

Comments: 20 pages

MSC Class: 05D40; 14N07

Digital almost nets

Authors: Boris Bukh, Ting-Wei Chao

Abstract: Digital nets (in base $2$) are the subsets of $[0,1]^d$ that contain the expected number of points in every not-too-small dyadic box. We construct sets that contain almost the expected number of points in every such box, but which are exponentially smaller than the digital nets. We also establish a lower bound on the size of such almost nets. Digital nets (in base $2$) are the subsets of $[0,1]^d$ that contain the expected number of points in every not-too-small dyadic box. We construct sets that contain almost the expected number of points in every such box, but which are exponentially smaller than the digital nets. We also establish a lower bound on the size of such almost nets. △ Less

Submitted 27 September, 2022; v1 submitted 25 February, 2021; originally announced February 2021.

Comments: 9 pages

Longest common subsequences between words of very unequal length

Authors: Boris Bukh, Zichao Dong

Abstract: We consider the expected length of the longest common subsequence between two random words of lengths $n$ and $(1-\varepsilon)kn$ over $k$-symbol alphabet. It is well-known that this quantity is asymptotic to $γ_{k,\varepsilon} n$ for some constant $γ_{k,\varepsilon}$. We show that $γ_{k,\varepsilon}$ is of the order $1-c\varepsilon^2$ uniformly in $k$ and $\varepsilon$. In addition, for large… ▽ More We consider the expected length of the longest common subsequence between two random words of lengths $n$ and $(1-\varepsilon)kn$ over $k$-symbol alphabet. It is well-known that this quantity is asymptotic to $γ_{k,\varepsilon} n$ for some constant $γ_{k,\varepsilon}$. We show that $γ_{k,\varepsilon}$ is of the order $1-c\varepsilon^2$ uniformly in $k$ and $\varepsilon$. In addition, for large $k$, we give evidence that $γ_{k,\varepsilon}$ approaches $1-\tfrac{1}{4}\varepsilon^2$, and prove a matching lower bound. △ Less

Submitted 19 August, 2021; v1 submitted 12 September, 2020; originally announced September 2020.

Comments: 38 pages

MSC Class: 60C05; 60J05; 60K35

Empty axis-parallel boxes

Authors: Boris Bukh, Ting-Wei Chao

Abstract: We show that, for every set of $n$ points in the $d$-dimensional unit cube, there is an empty axis-parallel box of volume at least $Ω(d/n)$ as $n\to\infty$ and $d$ is fixed. In the opposite direction, we give a construction without an empty axis-parallel box of volume $O(d^2\log d/n)$. These improve on the previous best bounds of $Ω(\log d/n)$ and $O(2^{7d}/n)$ respectively. We show that, for every set of $n$ points in the $d$-dimensional unit cube, there is an empty axis-parallel box of volume at least $Ω(d/n)$ as $n\to\infty$ and $d$ is fixed. In the opposite direction, we give a construction without an empty axis-parallel box of volume $O(d^2\log d/n)$. These improve on the previous best bounds of $Ω(\log d/n)$ and $O(2^{7d}/n)$ respectively. △ Less

Submitted 25 February, 2021; v1 submitted 12 September, 2020; originally announced September 2020.

Comments: 14 pages, derandomized algorithm, many minor changes

MSC Class: 11K38; 05D99; 52C10; 65D99

On convex holes in $d$-dimensional point sets

Authors: Boris Bukh, Ting-Wei Chao, Ron Holzman

Abstract: Given a finite set $A \subseteq \mathbb{R}^d$, points $a_1,a_2,\dotsc,a_{\ell} \in A$ form an $\ell$-hole in $A$ if they are the vertices of a convex polytope which contains no points of $A$ in its interior. We construct arbitrarily large point sets in general position in $\mathbb{R}^d$ having no holes of size $O(4^dd\log d)$ or more. This improves the previously known upper bound of order… ▽ More Given a finite set $A \subseteq \mathbb{R}^d$, points $a_1,a_2,\dotsc,a_{\ell} \in A$ form an $\ell$-hole in $A$ if they are the vertices of a convex polytope which contains no points of $A$ in its interior. We construct arbitrarily large point sets in general position in $\mathbb{R}^d$ having no holes of size $O(4^dd\log d)$ or more. This improves the previously known upper bound of order $d^{d+o(d)}$ due to Valtr. The basic version of our construction uses a certain type of equidistributed point sets, originating from numerical analysis, known as $(t,m,s)$-nets or $(t,s)$-sequences, yielding a bound of $2^{7d}$. The better bound is obtained using a variant of $(t,m,s)$-nets, obeying a relaxed equidistribution condition. △ Less

Submitted 12 March, 2021; v1 submitted 17 July, 2020; originally announced July 2020.

Comments: 10 pages, 1 figure, improved construction

MSC Class: 52C10; 11K38

Order-isomorphic twins in permutations

Authors: Boris Bukh, Oleksandr Rudenko

Abstract: Let $a_1,\dotsc,a_n$ be a permutation of $[n]$. Two disjoint order-isomorphic subsequences are called \emph{twins}. We show that every permutation of $[n]$ contains twins of length $Ω(n^{3/5})$ improving the trivial bound of $Ω(n^{1/2})$. We also show that a random permutation contains twins of length $Ω(n^{2/3})$, which is sharp. Let $a_1,\dotsc,a_n$ be a permutation of $[n]$. Two disjoint order-isomorphic subsequences are called \emph{twins}. We show that every permutation of $[n]$ contains twins of length $Ω(n^{3/5})$ improving the trivial bound of $Ω(n^{1/2})$. We also show that a random permutation contains twins of length $Ω(n^{2/3})$, which is sharp. △ Less

Submitted 20 June, 2020; v1 submitted 29 February, 2020; originally announced March 2020.

Comments: 3 pages

MSC Class: 05D40; 05D99

Periodic words, common subsequences and frogs

Authors: Boris Bukh, Christopher Cox

Abstract: Let $W^{(n)}$ be the $n$-letter word obtained by repeating a fixed word $W$, and let $R_n$ be a random $n$-letter word over the same alphabet. We show several results about the length of the longest common subsequence (LCS) between $W^{(n)}$ and $R_n$; in particular, we show that its expectation is $γ_W n-O(\sqrt{n})$ for an efficiently-computable constant $γ_W$. This is done by relating the pro… ▽ More Let $W^{(n)}$ be the $n$-letter word obtained by repeating a fixed word $W$, and let $R_n$ be a random $n$-letter word over the same alphabet. We show several results about the length of the longest common subsequence (LCS) between $W^{(n)}$ and $R_n$; in particular, we show that its expectation is $γ_W n-O(\sqrt{n})$ for an efficiently-computable constant $γ_W$. This is done by relating the problem to a new interacting particle system, which we dub "frog dynamics". In this system, the particles (`frogs') hop over one another in the order given by their labels. Stripped of the labeling, the frog dynamics reduces to a variant of the PushTASEP. In the special case when all symbols of $W$ are distinct, we obtain an explicit formula for the constant $γ_W$ and a closed-form expression for the stationary distribution of the associated frog dynamics. In addition, we propose new conjectures about the asymptotic of the LCS of a pair of random words. These conjectures are informed by computer experiments using a new heuristic algorithm to compute the LCS. Through our computations, we found periodic words that are more random-like than a random word, as measured by the LCS. △ Less

Submitted 4 June, 2021; v1 submitted 7 December, 2019; originally announced December 2019.

Comments: 43 pages, 4 figures, 2 tables

MSC Class: 60J10

Linear orderings of combinatorial cubes

Authors: Boris Bukh, Anish Sevekari

Abstract: We show that, for every linear ordering of $[2]^n$, there is a large subcube on which the ordering is lexicographic. We use this to deduce that every long sequence contains a long monotone subsequence supported on an affine cube. More generally, we prove an analogous result for linear orderings of $[k]^n$. We show that, for every such ordering, there is a large subcube on which the ordering agre… ▽ More We show that, for every linear ordering of $[2]^n$, there is a large subcube on which the ordering is lexicographic. We use this to deduce that every long sequence contains a long monotone subsequence supported on an affine cube. More generally, we prove an analogous result for linear orderings of $[k]^n$. We show that, for every such ordering, there is a large subcube on which the ordering agrees with one of approximately $\frac{(k-1)!}{2(\ln 2)^k}$ orderings. △ Less

Submitted 27 June, 2019; originally announced June 2019.

Comments: 9 pages, 2 figures

Turán numbers of theta graphs

Authors: Boris Bukh, Michael Tait

Abstract: The theta graph $Θ_{\ell,t}$ consists of two vertices joined by $t$ vertex-disjoint paths of length $\ell$ each. For fixed odd $\ell$ and large $t$, we show that the largest graph not containing $Θ_{\ell,t}$ has at most $c_{\ell} t^{1-1/\ell}n^{1+1/\ell}$ edges and that this is tight apart from the value of $c_{\ell}$. The theta graph $Θ_{\ell,t}$ consists of two vertices joined by $t$ vertex-disjoint paths of length $\ell$ each. For fixed odd $\ell$ and large $t$, we show that the largest graph not containing $Θ_{\ell,t}$ has at most $c_{\ell} t^{1-1/\ell}n^{1+1/\ell}$ edges and that this is tight apart from the value of $c_{\ell}$. △ Less

Submitted 31 October, 2019; v1 submitted 26 April, 2018; originally announced April 2018.

Comments: Revised to reflect referee comments. To appear in Combinatorics, Probability and Computing

Consistent sets of lines with no colorful incidence

Authors: Boris Bukh, Xavier Goaoc, Alfredo Hubard, Matthew Trager

Abstract: We consider incidences among colored sets of lines in $\mathbb{R}^d$ and examine whether the existence of certain concurrences between lines of $k$ colors force the existence of at least one concurrence between lines of $k+1$ colors. This question is relevant for problems in 3D reconstruction in computer vision. We consider incidences among colored sets of lines in $\mathbb{R}^d$ and examine whether the existence of certain concurrences between lines of $k$ colors force the existence of at least one concurrence between lines of $k+1$ colors. This question is relevant for problems in 3D reconstruction in computer vision. △ Less

Submitted 16 March, 2018; originally announced March 2018.

Comments: 20 pages, 4 color figures

Length of the longest common subsequence between overlapping words

Authors: Boris Bukh, Raymond Hogenson

Abstract: Given two random finite sequences from $[k]^n$ such that a prefix of the first sequence is a suffix of the second, we examine the length of their longest common subsequence. If $\ell$ is the length of the overlap, we prove that the expected length of an LCS is approximately $\max(\ell, \mathbb{E}[L_n])$, where $L_n$ is the length of an LCS between two independent random sequences. We also obtain t… ▽ More Given two random finite sequences from $[k]^n$ such that a prefix of the first sequence is a suffix of the second, we examine the length of their longest common subsequence. If $\ell$ is the length of the overlap, we prove that the expected length of an LCS is approximately $\max(\ell, \mathbb{E}[L_n])$, where $L_n$ is the length of an LCS between two independent random sequences. We also obtain tail bounds on this quantity. △ Less

Submitted 8 March, 2018; originally announced March 2018.

Comments: 10 pages, 5 figures

MSC Class: 60C05; 05A05; 68R15

Nearly orthogonal vectors and small antipodal spherical codes

Authors: Boris Bukh, Christopher Cox

Abstract: How can $d+k$ vectors in $\mathbb{R}^d$ be arranged so that they are as close to orthogonal as possible? In particular, define $θ(d,k):=\min_X\max_{x\neq y\in X}|\langle x,y\rangle|$ where the minimum is taken over all collections of $d+k$ unit vectors $X\subseteq\mathbb{R}^d$. In this paper, we focus on the case where $k$ is fixed and $d\to\infty$. In establishing bounds on $θ(d,k)$, we find an i… ▽ More How can $d+k$ vectors in $\mathbb{R}^d$ be arranged so that they are as close to orthogonal as possible? In particular, define $θ(d,k):=\min_X\max_{x\neq y\in X}|\langle x,y\rangle|$ where the minimum is taken over all collections of $d+k$ unit vectors $X\subseteq\mathbb{R}^d$. In this paper, we focus on the case where $k$ is fixed and $d\to\infty$. In establishing bounds on $θ(d,k)$, we find an intimate connection to the existence of systems of ${k+1\choose 2}$ equiangular lines in $\mathbb{R}^k$. Using this connection, we are able to pin down $θ(d,k)$ whenever $k\in\{1,2,3,7,23\}$ and establish asymptotics for general $k$. The main tool is an upper bound on $\mathbb{E}_{x,y\simμ}|\langle x,y\rangle|$ whenever $μ$ is an isotropic probability mass on $\mathbb{R}^k$, which may be of independent interest. Our results translate naturally to the analogous question in $\mathbb{C}^d$. In this case, the question relates to the existence of systems of $k^2$ equiangular lines in $\mathbb{C}^k$, also known as SIC-POVM in physics literature. △ Less

Submitted 29 August, 2019; v1 submitted 7 March, 2018; originally announced March 2018.

Comments: 22 pages, 1 figure

On a fractional version of Haemers' bound

Authors: Boris Bukh, Christopher Cox

Abstract: In this note, we present a fractional version of Haemers' bound on the Shannon capacity of a graph, which is originally due to Blasiak. This bound is a common strengthening of both Haemers' bound and the fractional chromatic number of a graph. We show that this fractional version outperforms any bound on the Shannon capacity that could be attained through Haemers' bound. We show also that this bou… ▽ More In this note, we present a fractional version of Haemers' bound on the Shannon capacity of a graph, which is originally due to Blasiak. This bound is a common strengthening of both Haemers' bound and the fractional chromatic number of a graph. We show that this fractional version outperforms any bound on the Shannon capacity that could be attained through Haemers' bound. We show also that this bound is multiplicative, unlike Haemers' bound. △ Less

Submitted 12 December, 2018; v1 submitted 1 February, 2018; originally announced February 2018.

Comments: 17 pages, 1 figure

List-decodable zero-rate codes

Authors: Noga Alon, Boris Bukh, Yury Polyanskiy

Abstract: We consider list-decoding in the zero-rate regime for two cases: the binary alphabet and the spherical codes in Euclidean space. Specifically, we study the maximal $τ\in [0,1]$ for which there exists an arrangement of $M$ balls of relative Hamming radius $τ$ in the binary hypercube (of arbitrary dimension) with the property that no point of the latter is covered by $L$ or more of them. As… ▽ More We consider list-decoding in the zero-rate regime for two cases: the binary alphabet and the spherical codes in Euclidean space. Specifically, we study the maximal $τ\in [0,1]$ for which there exists an arrangement of $M$ balls of relative Hamming radius $τ$ in the binary hypercube (of arbitrary dimension) with the property that no point of the latter is covered by $L$ or more of them. As $M\to \infty$ the maximal $τ$ decreases to a well-known critical value $τ_L$. In this work, we prove several results on the rate of this convergence. For the binary case, we show that the rate is $Θ(M^{-1})$ when $L$ is even, thus extending the classical results of Plotkin and Levenshtein for $L=2$. For $L=3$ the rate is shown to be $Θ(M^{-\tfrac{2}{3}})$. For the similar question about spherical codes, we prove the rate is $Ω(M^{-1})$ and $O(M^{-\tfrac{2L}{L^2-L+2}})$. △ Less

Submitted 14 May, 2018; v1 submitted 29 October, 2017; originally announced October 2017.

Comments: 20 pages, improved exposition

MSC Class: 68P30; 05D99; 52C35

On a topological version of Pach's overlap theorem

Authors: Boris Bukh, Alfredo Hubard

Abstract: Pach showed that every $d+1$ sets of points $Q_1,\dotsc,Q_{d+1} \subset \mathbb{R}^d$ contain linearly-sized subsets $P_i\subset Q_i$ such that all the transversal simplices that they span intersect. We show, by means of an example, that a topological extension of Pach's theorem does not hold with subsets of size $C(\log n)^{1/(d-1)}$. We show that this is tight in dimension $2$, for all surfaces… ▽ More Pach showed that every $d+1$ sets of points $Q_1,\dotsc,Q_{d+1} \subset \mathbb{R}^d$ contain linearly-sized subsets $P_i\subset Q_i$ such that all the transversal simplices that they span intersect. We show, by means of an example, that a topological extension of Pach's theorem does not hold with subsets of size $C(\log n)^{1/(d-1)}$. We show that this is tight in dimension $2$, for all surfaces other than $\mathbb{S}^2$. Surprisingly, the optimal bound for $\mathbb{S}^2$ in the topological version of Pach's theorem is of the order $(\log n)^{1/2}$. We conjecture that, among higher-dimensional manifolds, spheres are similarly distinguished. This improves upon the results of Bárány, Meshulam, Nevo and Tancer. △ Less

Submitted 16 September, 2019; v1 submitted 14 August, 2017; originally announced August 2017.

Comments: 9 pages, 2 figures

MSC Class: 52A35; 05D99; 05D40; 52C10

Shatter functions with polynomial growth rates

Authors: Boris Bukh, Xavier Goaoc

Abstract: We study how a single value of the shatter function of a set system restricts its asymptotic growth. Along the way, we refute a conjecture of Bondy and Hajnal which generalizes Sauer's Lemma. We study how a single value of the shatter function of a set system restricts its asymptotic growth. Along the way, we refute a conjecture of Bondy and Hajnal which generalizes Sauer's Lemma. △ Less

Submitted 23 January, 2017; originally announced January 2017.

Comments: 9 pages, 3 figures

MSC Class: 05D05; 52C99

Classifying unavoidable Tverberg partitions

Authors: Boris Bukh, Po-Shen Loh, Gabriel Nivasch

Abstract: Let $T(d,r) = (r-1)(d+1)+1$ be the parameter in Tverberg's theorem, and call a partition $\mathcal I$ of $\{1,2,\ldots,T(d,r)\}$ into $r$ parts a "Tverberg type". We say that $\mathcal I$ "occurs" in an ordered point sequence $P$ if $P$ contains a subsequence $P'$ of $T(d,r)$ points such that the partition of $P'$ that is order-isomorphic to $\mathcal I$ is a Tverberg partition. We say that… ▽ More Let $T(d,r) = (r-1)(d+1)+1$ be the parameter in Tverberg's theorem, and call a partition $\mathcal I$ of $\{1,2,\ldots,T(d,r)\}$ into $r$ parts a "Tverberg type". We say that $\mathcal I$ "occurs" in an ordered point sequence $P$ if $P$ contains a subsequence $P'$ of $T(d,r)$ points such that the partition of $P'$ that is order-isomorphic to $\mathcal I$ is a Tverberg partition. We say that $\mathcal I$ is "unavoidable" if it occurs in every sufficiently long point sequence. In this paper we study the problem of determining which Tverberg types are unavoidable. We conjecture a complete characterization of the unavoidable Tverberg types, and we prove some cases of our conjecture for $d\le 4$. Along the way, we study the avoidability of many other geometric predicates. Our techniques also yield a large family of $T(d,r)$-point sets for which the number of Tverberg partitions is exactly $(r-1)!^d$. This lends further support for Sierksma's conjecture on the number of Tverberg partitions. △ Less

Submitted 22 March, 2017; v1 submitted 3 November, 2016; originally announced November 2016.

Comments: Revision following referee comments. 32 pages, 8 figures

MSC Class: 52C99; 68U05 ACM Class: G.2.1

Journal ref: Journal of Computational Geometry 8(1):174-205, 2017

One-sided epsilon-approximants

Authors: Boris Bukh, Gabriel Nivasch

Abstract: Given a finite point set $P\subset\mathbb{R}^d$, we call a multiset $A$ a one-sided weak $\varepsilon$-approximant for $P$ (with respect to convex sets), if $|P\cap C|/|P|-|A\cap C|/|A|\leq\varepsilon$ for every convex set $C$. We show that, in contrast with the usual (two-sided) weak $\varepsilon$-approximants, for every set $P\subset \mathbb{R}^d$ there exists a one-sided weak $\varepsilon$-ap… ▽ More Given a finite point set $P\subset\mathbb{R}^d$, we call a multiset $A$ a one-sided weak $\varepsilon$-approximant for $P$ (with respect to convex sets), if $|P\cap C|/|P|-|A\cap C|/|A|\leq\varepsilon$ for every convex set $C$. We show that, in contrast with the usual (two-sided) weak $\varepsilon$-approximants, for every set $P\subset \mathbb{R}^d$ there exists a one-sided weak $\varepsilon$-approximant of size bounded by a function of $\varepsilon$ and $d$. △ Less

Submitted 27 May, 2016; v1 submitted 17 March, 2016; originally announced March 2016.

Comments: 14 pages

Bipartite algebraic graphs without quadrilaterals

Authors: Boris Bukh, Zilin Jiang

Abstract: Let $\mathbb{P}^s$ be the $s$-dimensional complex projective space, and let $X, Y$ be two non-empty open subsets of $\mathbb{P}^s$ in the Zariski topology. A hypersurface $H$ in $\mathbb{P}^s\times\mathbb{P}^s$ induces a bipartite graph $G$ as follows: the partite sets of $G$ are $X$ and $Y$, and the edge set is defined by $\overline{u}\sim\overline{v}$ if and only if… ▽ More Let $\mathbb{P}^s$ be the $s$-dimensional complex projective space, and let $X, Y$ be two non-empty open subsets of $\mathbb{P}^s$ in the Zariski topology. A hypersurface $H$ in $\mathbb{P}^s\times\mathbb{P}^s$ induces a bipartite graph $G$ as follows: the partite sets of $G$ are $X$ and $Y$, and the edge set is defined by $\overline{u}\sim\overline{v}$ if and only if $(\overline{u},\overline{v})\in H$. Motivated by the Turán problem for bipartite graphs, we say that $H\cap (X\times Y)$ is $(s,t)$-grid-free provided that $G$ contains no complete bipartite subgraph that has $s$ vertices in $X$ and $t$ vertices in $Y$. We conjecture that every $(s,t)$-grid-free hypersurface is equivalent, in a suitable sense, to a hypersurface whose degree in $\overline{y}$ is bounded by a constant $d = d(s,t)$, and we discuss possible notions of the equivalence. We establish the result that if $H\cap(X\times \mathbb{P}^2)$ is $(2,2)$-grid-free, then there exists $F\in \mathbb{C}[\overline{x},\overline{y}]$ of degree $\le 2$ in $\overline{y}$ such that $H\cap(X\times \mathbb{P}^2) = \{F = 0\}\cap (X\times \mathbb{P}^2)$. Finally, we transfer the result to algebraically closed fields of large characteristic. △ Less

Submitted 12 March, 2018; v1 submitted 15 November, 2015; originally announced November 2015.

Comments: 13 pages, accepted to Discrete Math., corrections suggested by the referees have been incorporated

MSC Class: 05C25; 05C35; 05C75; 14E07; 14H50; 14N25; 14R10

Journal ref: Discrete Mathematics, Volume 341, Issue 6, June 2018, Pages 1597-1604

Ranks of matrices with few distinct entries

Authors: Boris Bukh

Abstract: An $L$-matrix is a matrix whose off-diagonal entries belong to a set $L$, and whose diagonal is zero. Let $N(r,L)$ be the maximum size of a square $L$-matrix of rank at most $r$. Many applications of linear algebra in extremal combinatorics involve a bound on $N(r,L)$. We review some of these applications, and prove several new results on $N(r,L)$. In particular, we classify the sets $L$ for which… ▽ More An $L$-matrix is a matrix whose off-diagonal entries belong to a set $L$, and whose diagonal is zero. Let $N(r,L)$ be the maximum size of a square $L$-matrix of rank at most $r$. Many applications of linear algebra in extremal combinatorics involve a bound on $N(r,L)$. We review some of these applications, and prove several new results on $N(r,L)$. In particular, we classify the sets $L$ for which $N(r,L)$ is linear, and show that if $N(r,L)$ is superlinear and $L\subset \mathbb{Z}$, then $N(r,L)$ is at least quadratic. As a by-product of the work, we asymptotically determine the maximum multiplicity of an eigenvalue $λ$ in an adjacency matrix of a digraph of a given size. △ Less

Submitted 19 August, 2016; v1 submitted 1 August, 2015; originally announced August 2015.

Comments: 27 pages, minor changes, to appear in Israel J. of Mathematics

MSC Class: 15A03; 05C50; 15A18; 05B99; 05D05; 11C99

Bounds on equiangular lines and on related spherical codes

Authors: Boris Bukh

Abstract: An $L$-spherical code is a set of Euclidean unit vectors whose pairwise inner products belong to the set $L$. We show, for a fixed $α,β>0$, that the size of any $[-1,-β]\cup\{α\}$-spherical code is at most linear in the dimension. In particular, this bound applies to sets of lines such that every two are at a fixed angle to each another. An $L$-spherical code is a set of Euclidean unit vectors whose pairwise inner products belong to the set $L$. We show, for a fixed $α,β>0$, that the size of any $[-1,-β]\cup\{α\}$-spherical code is at most linear in the dimension. In particular, this bound applies to sets of lines such that every two are at a fixed angle to each another. △ Less

Submitted 25 February, 2016; v1 submitted 1 August, 2015; originally announced August 2015.

Comments: 7 pages, final version

MSC Class: 52C35; 05D10

An improved bound on the fraction of correctable deletions

Authors: Boris Bukh, Venkatesan Guruswami, Johan Håstad

Abstract: We consider codes over fixed alphabets against worst-case symbol deletions. For any fixed $k \ge 2$, we construct a family of codes over alphabet of size $k$ with positive rate, which allow efficient recovery from a worst-case deletion fraction approaching $1-\frac{2}{k+\sqrt k}$. In particular, for binary codes, we are able to recover a fraction of deletions approaching… ▽ More We consider codes over fixed alphabets against worst-case symbol deletions. For any fixed $k \ge 2$, we construct a family of codes over alphabet of size $k$ with positive rate, which allow efficient recovery from a worst-case deletion fraction approaching $1-\frac{2}{k+\sqrt k}$. In particular, for binary codes, we are able to recover a fraction of deletions approaching $1/(\sqrt 2 +1)=\sqrt 2-1 \approx 0.414$. Previously, even non-constructively the largest deletion fraction known to be correctable with positive rate was $1-Θ(1/\sqrt{k})$, and around $0.17$ for the binary case. Our result pins down the largest fraction of correctable deletions for $k$-ary codes as $1-Θ(1/k)$, since $1-1/k$ is an upper bound even for the simpler model of erasures where the locations of the missing symbols are known. Closing the gap between $(\sqrt 2 -1)$ and $1/2$ for the limit of worst-case deletions correctable by binary codes remains a tantalizing open question. △ Less

Submitted 1 March, 2016; v1 submitted 7 July, 2015; originally announced July 2015.

Comments: 19 pages, this version presents a code with better rate, improves exposition, and adds a new author

MSC Class: 68R15; 94B60; 05D99

Rational exponents in extremal graph theory

Authors: Boris Bukh, David Conlon

Abstract: Given a family of graphs $\mathcal{H}$, the extremal number $\textrm{ex}(n, \mathcal{H})$ is the largest $m$ for which there exists a graph with $n$ vertices and $m$ edges containing no graph from the family $\mathcal{H}$ as a subgraph. We show that for every rational number $r$ between $1$ and $2$, there is a family of graphs $\mathcal{H}_r$ such that $\textrm{ex}(n, \mathcal{H}_r) = Θ(n^r)$. Thi… ▽ More Given a family of graphs $\mathcal{H}$, the extremal number $\textrm{ex}(n, \mathcal{H})$ is the largest $m$ for which there exists a graph with $n$ vertices and $m$ edges containing no graph from the family $\mathcal{H}$ as a subgraph. We show that for every rational number $r$ between $1$ and $2$, there is a family of graphs $\mathcal{H}_r$ such that $\textrm{ex}(n, \mathcal{H}_r) = Θ(n^r)$. This solves a longstanding problem in the area of extremal graph theory. △ Less

Submitted 19 September, 2017; v1 submitted 21 June, 2015; originally announced June 2015.

Comments: 11 pages. arXiv admin note: text overlap with arXiv:1411.0856

Random algebraic construction of extremal graphs

Authors: Boris Bukh

Abstract: In this expository paper, we present a motivated construction of large graphs not containing a given complete bipartite subgraph. The key insight is that the algebraic constructions yield very non-smooth probability distributions. In this expository paper, we present a motivated construction of large graphs not containing a given complete bipartite subgraph. The key insight is that the algebraic constructions yield very non-smooth probability distributions. △ Less

Submitted 23 July, 2015; v1 submitted 12 September, 2014; originally announced September 2014.

Comments: 8 pages

MSC Class: 05C35; 05D99

Longest common subsequences in sets of words

Authors: Boris Bukh, Jie Ma

Abstract: Given a set of $t$ words of length $n$ over a $k$-letter alphabet, it is proved that there exists a common subsequence among two of them of length at least $\frac{n}{k}+cn^{1-1/(t-k-2)}$, for some $c>0$ depending on $k$ and $t$. This is sharp up to the value of $c$. Given a set of $t$ words of length $n$ over a $k$-letter alphabet, it is proved that there exists a common subsequence among two of them of length at least $\frac{n}{k}+cn^{1-1/(t-k-2)}$, for some $c>0$ depending on $k$ and $t$. This is sharp up to the value of $c$. △ Less

Submitted 22 October, 2014; v1 submitted 26 June, 2014; originally announced June 2014.

Comments: 9+epsilon pages, 1 figure

MSC Class: 68R15; 05D99

A bound on the number of edges in graphs without an even cycle

Authors: Boris Bukh, Zilin Jiang

Abstract: We show that, for each fixed $k$, an $n$-vertex graph not containing a cycle of length $2k$ has at most $80\sqrt{k}\log k\cdot n^{1+1/k}+O(n)$ edges. We show that, for each fixed $k$, an $n$-vertex graph not containing a cycle of length $2k$ has at most $80\sqrt{k}\log k\cdot n^{1+1/k}+O(n)$ edges. △ Less

Submitted 15 August, 2019; v1 submitted 6 March, 2014; originally announced March 2014.

Comments: 16 pages, v2 appeared in Comb. Probab. Comp., v3 fixes an error in v2 and explains why the method in the paper cannot improve the power of k further, v4 fixes the proof of Theorem 12 introduced in v3

MSC Class: 05C35; 05D99; 05C38

Journal ref: Combin. Probab. Comput. 26 (2017), no. 1, 1-15

Twins in words and long common subsequences in permutations

Authors: Boris Bukh, Lidong Zhou

Abstract: A large family of words must contain two words that are similar. We investigate several problems where the measure of similarity is the length of a common subsequence. We construct a family of n^{1/3} permutations on n letters, such that LCS of any two of them is only cn^{1/3}, improving a construction of Beame, Blais, and Huynh-Ngoc. We relate the problem of constructing many permutations with… ▽ More A large family of words must contain two words that are similar. We investigate several problems where the measure of similarity is the length of a common subsequence. We construct a family of n^{1/3} permutations on n letters, such that LCS of any two of them is only cn^{1/3}, improving a construction of Beame, Blais, and Huynh-Ngoc. We relate the problem of constructing many permutations with small LCS to the twin word problem of Axenovich, Person and Puzynina. In particular, we show that every word of length n over a k-letter alphabet contains two disjoint equal subsequences of length cnk^{-2/3}. Many problems are left open. △ Less

Submitted 2 March, 2015; v1 submitted 29 June, 2013; originally announced July 2013.

Comments: 18+epsilon pages

MSC Class: 68R15; 05D40; 05D99

An improvement of the Beck-Fiala theorem

Authors: Boris Bukh

Abstract: In 1981 Beck and Fiala proved an upper bound for the discrepancy of a set system of degree d that is independent of the size of the ground set. In the intervening years the bound has been decreased from 2d-2 to 2d-4. We improve the bound to 2d-log* d. In 1981 Beck and Fiala proved an upper bound for the discrepancy of a set system of degree d that is independent of the size of the ground set. In the intervening years the bound has been decreased from 2d-2 to 2d-4. We improve the bound to 2d-log* d. △ Less

Submitted 18 March, 2015; v1 submitted 25 June, 2013; originally announced June 2013.

Comments: 18 pages

MSC Class: 05D05; 11K38; 05C15 ACM Class: G.2.2

Suborbits in Knaster's problem

Authors: Boris Bukh, Roman Karasev

Abstract: In this paper we exhibit a similarity between Euclidean Ramsey problems and Knaster-type problems. By borrowing ideas from Ramsey theory we prove weak Knaster properties of non-equatorial triangles in spheres, and of simplices in Euclidean spaces. In this paper we exhibit a similarity between Euclidean Ramsey problems and Knaster-type problems. By borrowing ideas from Ramsey theory we prove weak Knaster properties of non-equatorial triangles in spheres, and of simplices in Euclidean spaces. △ Less

Submitted 1 October, 2013; v1 submitted 21 December, 2012; originally announced December 2012.

Comments: Minor corrections are made after reviewing in the journal

MSC Class: 46B07; 05D10; 52C99

Journal ref: Bull. London Math. Soc. 46:2 (2014), 269-278

Erdos-Szekeres-type statements: Ramsey function and decidability in dimension 1

Authors: Boris Bukh, Jiri Matousek

Abstract: A classical and widely used lemma of Erdos and Szekeres asserts that for every n there exists N such that every N-term sequence a of real numbers contains an n-term increasing subsequence or an n-term nondecreasing subsequence; quantitatively, the smallest N with this property equals (n-1)^2+1. In the setting of the present paper, we express this lemma by saying that the set of predicates Phi={x_1… ▽ More A classical and widely used lemma of Erdos and Szekeres asserts that for every n there exists N such that every N-term sequence a of real numbers contains an n-term increasing subsequence or an n-term nondecreasing subsequence; quantitatively, the smallest N with this property equals (n-1)^2+1. In the setting of the present paper, we express this lemma by saying that the set of predicates Phi={x_1<x_2,x_1\ge x_2}$ is Erdos-Szekeres with Ramsey function ES_Phi(n)=(n-1)^2+1. In general, we consider an arbitrary finite set Phi={Phi_1,...,Phi_m} of semialgebraic predicates, meaning that each Phi_j=Phi_j(x_1,...,x_k) is a Boolean combination of polynomial equations and inequalities in some number k of real variables. We define Phi to be Erdos-Szekeres if for every n there exists N such that each N-term sequence a of real numbers has an n-term subsequence b such that at least one of the Phi_j holds everywhere on b, which means that Phi_j(b_{i_1},...,b_{i_k}) holds for every choice of indices i_1,i_2,...,i_k, 1<=i_1<i_2<... <i_k<= n. We write ES_Phi(n) for the smallest N with the above property. We prove two main results. First, the Ramsey functions in this setting are at most doubly exponential (and sometimes they are indeed doubly exponential): for every Phi that is Erdős--Szekeres, there is a constant C such that ES_Phi(n) < exp(exp(Cn)). Second, there is an algorithm that, given Phi, decides whether it is Erdos-Szekeres; thus, one-dimensional Erdos-Szekeres-style theorems can in principle be proved automatically. △ Less

Submitted 21 November, 2013; v1 submitted 3 July, 2012; originally announced July 2012.

Comments: minor fixes of the previous version. to appear in Duke Math. J

MSC Class: 05D10 (Primary) 52C45 (Secondary)

Journal ref: Duke Math. J. 163, no. 12 (2014), 2243-2270

Turán numbers for $K_{s,t}$-free graphs: topological obstructions and algebraic constructions

Authors: Pavle Blagojević, Boris Bukh, Roman Karasev

Abstract: We show that every hypersurface in $\R^s\times \R^s$ contains a large grid, i.e., the set of the form $S\times T$, with $S,T\subset \R^s$. We use this to deduce that the known constructions of extremal $K_{2,2}$-free and $K_{3,3}$-free graphs cannot be generalized to a similar construction of $K_{s,s}$-free graphs for any $s\geq 4$. We also give new constructions of extremal $K_{s,t}$-free graphs… ▽ More We show that every hypersurface in $\R^s\times \R^s$ contains a large grid, i.e., the set of the form $S\times T$, with $S,T\subset \R^s$. We use this to deduce that the known constructions of extremal $K_{2,2}$-free and $K_{3,3}$-free graphs cannot be generalized to a similar construction of $K_{s,s}$-free graphs for any $s\geq 4$. We also give new constructions of extremal $K_{s,t}$-free graphs for large $t$. △ Less

Submitted 3 June, 2012; v1 submitted 26 August, 2011; originally announced August 2011.

Comments: Fixed a small mistake in the application of Proposition 1

Journal ref: Israel Journal of Mathematics 197:1 (2013), 199-214

Upper bounds for centerlines

Authors: Boris Bukh, Gabriel Nivasch

Abstract: In 2008, Bukh, Matousek, and Nivasch conjectured that for every n-point set S in R^d and every k, 0 <= k <= d-1, there exists a k-flat f in R^d (a "centerflat") that lies at "depth" (k+1) n / (k+d+1) - O(1) in S, in the sense that every halfspace that contains f contains at least that many points of S. This claim is true and tight for k=0 (this is Rado's centerpoint theorem), as well as for k = d-… ▽ More In 2008, Bukh, Matousek, and Nivasch conjectured that for every n-point set S in R^d and every k, 0 <= k <= d-1, there exists a k-flat f in R^d (a "centerflat") that lies at "depth" (k+1) n / (k+d+1) - O(1) in S, in the sense that every halfspace that contains f contains at least that many points of S. This claim is true and tight for k=0 (this is Rado's centerpoint theorem), as well as for k = d-1 (trivial). Bukh et al. showed the existence of a (d-2)-flat at depth (d-1) n / (2d-1) - O(1) (the case k = d-2). In this paper we concentrate on the case k=1 (the case of "centerlines"), in which the conjectured value for the leading constant is 2/(d+2). We prove that 2/(d+2) is an *upper bound* for the leading constant. Specifically, we show that for every fixed d and every n there exists an n-point set in R^d for which no line in R^d lies at depth larger than 2n/(d+2) + o(n). This point set is the "stretched grid"---a set which has been previously used by Bukh et al. for other related purposes. Hence, in particular, the conjecture is now settled for R^3. △ Less

Submitted 2 May, 2012; v1 submitted 18 July, 2011; originally announced July 2011.

Comments: This paper (without the appendix) has been published in Journal of Computational Geometry 3:20--30, 2012. 17 pages; 10 figures

MSC Class: 52C35; 52A30; 68U05

Journal ref: Journal of Computational Geometry 3:20--30, 2012

Space crossing numbers

Authors: Boris Bukh, Alfredo Hubard

Abstract: We define the crossing number for an embedding of a graph G into R^3, and prove a lower bound on it which almost implies the classical crossing lemma. We also give sharp bounds on the space crossing numbers of pseudo-random graphs. We define the crossing number for an embedding of a graph G into R^3, and prove a lower bound on it which almost implies the classical crossing lemma. We also give sharp bounds on the space crossing numbers of pseudo-random graphs. △ Less

Submitted 12 August, 2011; v1 submitted 7 February, 2011; originally announced February 2011.

Comments: 16 pages, 3 figures, minor embellishments

MSC Class: 05C10; 05D99; 05C83; 57M25

Radon partitions in convexity spaces

Authors: Boris Bukh

Abstract: Tverberg's theorem asserts that every (k-1)(d+1)+1 points in R^d can be partitioned into k parts, so that the convex hulls of the parts have a common intersection. Calder and Eckhoff asked whether there is a purely combinatorial deduction of Tverberg's theorem from the special case k=2. We dash the hopes of a purely combinatorial deduction, but show that the case k=2 does imply that every set of O… ▽ More Tverberg's theorem asserts that every (k-1)(d+1)+1 points in R^d can be partitioned into k parts, so that the convex hulls of the parts have a common intersection. Calder and Eckhoff asked whether there is a purely combinatorial deduction of Tverberg's theorem from the special case k=2. We dash the hopes of a purely combinatorial deduction, but show that the case k=2 does imply that every set of O(k^2 log^2 k) points admits a Tverberg partition into k parts. △ Less

Submitted 13 September, 2010; originally announced September 2010.

Comments: 11 pages

MSC Class: 52A01 (Primary); 05D05; 06A15; 52A37 (Secondary)

Multidimensional Kruskal-Katona theorem

Authors: Boris Bukh

Abstract: We present a generalization of a version of the Kruskal-Katona theorem due to Lovasz. A shadow of a d-tuple (S_1,...,S_d) in binom{X}{r}^d consists of d-tuples (S_1',...,S_d') in binom{X}{r-1}^d obtained by removing one element from each of S_i. We show that if a family F in binom{X}{r}^d has size |F|=binom{x}{r}^d for a real number x>=r, then the shadow of F has size at least binom{x}{r-1}^d. We present a generalization of a version of the Kruskal-Katona theorem due to Lovasz. A shadow of a d-tuple (S_1,...,S_d) in binom{X}{r}^d consists of d-tuples (S_1',...,S_d') in binom{X}{r-1}^d obtained by removing one element from each of S_i. We show that if a family F in binom{X}{r}^d has size |F|=binom{x}{r}^d for a real number x>=r, then the shadow of F has size at least binom{x}{r-1}^d. △ Less

Submitted 6 November, 2011; v1 submitted 13 September, 2010; originally announced September 2010.

Comments: 8 pages, 1 figure, typos fixed

MSC Class: 05D05

Sum-product estimates for rational functions

Authors: Boris Bukh, Jacob Tsimerman

Abstract: We establish several sum-product estimates over finite fields that involve polynomials and rational functions. First, |f(A)+f(A)|+|AA| is substantially larger than |A| for an arbitrary polynomial f over F_p. Second, a characterization is given for the rational functions f and g for which |f(A)+f(A)|+|g(A,A)| can be as small as |A|, for large |A|. Third, we show that under mild conditions on f, |f(… ▽ More We establish several sum-product estimates over finite fields that involve polynomials and rational functions. First, |f(A)+f(A)|+|AA| is substantially larger than |A| for an arbitrary polynomial f over F_p. Second, a characterization is given for the rational functions f and g for which |f(A)+f(A)|+|g(A,A)| can be as small as |A|, for large |A|. Third, we show that under mild conditions on f, |f(A,A)| is substantially larger than |A|, provided |A| is large. We also present a conjecture on what the general sum-product result should be. △ Less

Submitted 25 April, 2011; v1 submitted 12 February, 2010; originally announced February 2010.

Comments: 32 pages, small additions, several typos fixed

MSC Class: 05E15; 11T23; 11B75; 14N10

Lower bounds for weak epsilon-nets and stair-convexity

Authors: Boris Bukh, Jiří Matoušek, Gabriel Nivasch

Abstract: A set N is called a "weak epsilon-net" (with respect to convex sets) for a finite set X in R^d if N intersects every convex set that contains at least epsilon*|X| points of X. For every fixed d>=2 and every r>=1 we construct sets X in R^d for which every weak (1/r)-net has at least Omega(r log^{d-1} r) points; this is the first superlinear lower bound for weak epsilon-nets in a fixed dimension.… ▽ More A set N is called a "weak epsilon-net" (with respect to convex sets) for a finite set X in R^d if N intersects every convex set that contains at least epsilon*|X| points of X. For every fixed d>=2 and every r>=1 we construct sets X in R^d for which every weak (1/r)-net has at least Omega(r log^{d-1} r) points; this is the first superlinear lower bound for weak epsilon-nets in a fixed dimension. The construction is a "stretched grid", i.e., the Cartesian product of d suitable fast-growing finite sequences, and convexity in this grid can be analyzed using "stair-convexity", a new variant of the usual notion of convexity. We also consider weak epsilon-nets for the diagonal of our stretched grid in R^d, d>=3, which is an "intrinsically 1-dimensional" point set. In this case we exhibit slightly superlinear lower bounds (involving the inverse Ackermann function), showing that upper bounds by Alon, Kaplan, Nivasch, Sharir, and Smorodinsky (2008) are not far from the truth in the worst case. Using the stretched grid we also improve the known upper bound for the so-called "second selection lemma" in the plane by a logarithmic factor: We obtain a set T of t triangles with vertices in an n-point set in the plane such that no point is contained in more than O(t^2 / (n^3 log (n^3/t))) triangles of T. △ Less

Submitted 14 October, 2009; v1 submitted 30 December, 2008; originally announced December 2008.

Comments: To appear in Israel J. Math. 21 pages, 4 figures

MSC Class: 52A30; 52C99; 68U05

Journal ref: Israel Journal of Mathematics, 182:199-228, 2011

Stabbing simplices by points and flats

Authors: Boris Bukh, Jiří Matoušek, Gabriel Nivasch

Abstract: The following result was proved by Barany in 1982: For every d >= 1 there exists c_d > 0 such that for every n-point set S in R^d there is a point p in R^d contained in at least c_d n^{d+1} - O(n^d) of the simplices spanned by S. We investigate the largest possible value of c_d. It was known that c_d <= 1/(2^d(d+1)!) (this estimate actually holds for every point set S). We construct sets showi… ▽ More The following result was proved by Barany in 1982: For every d >= 1 there exists c_d > 0 such that for every n-point set S in R^d there is a point p in R^d contained in at least c_d n^{d+1} - O(n^d) of the simplices spanned by S. We investigate the largest possible value of c_d. It was known that c_d <= 1/(2^d(d+1)!) (this estimate actually holds for every point set S). We construct sets showing that c_d <= (d+1)^{-(d+1)}, and we conjecture this estimate to be tight. The best known lower bound, due to Wagner, is c_d >= gamma_d := (d^2+1)/((d+1)!(d+1)^{d+1}); in his method, p can be chosen as any centerpoint of S. We construct n-point sets with a centerpoint that is contained in no more than gamma_d n^{d+1}+O(n^d) simplices spanned by S, thus showing that the approach using an arbitrary centerpoint cannot be further improved. We also prove that for every n-point set S in R^d there exists a (d-2)-flat that stabs at least c_{d,d-2} n^3 - O(n^2) of the triangles spanned by S, with c_{d,d-2}>=(1/24)(1- 1/(2d-1)^2). To this end, we establish an equipartition result of independent interest (generalizing planar results of Buck and Buck and of Ceder): Every mass distribution in R^d can be divided into 4d-2 equal parts by 2d-1 hyperplanes intersecting in a common (d-2)-flat. △ Less

Submitted 17 September, 2008; v1 submitted 28 April, 2008; originally announced April 2008.

Comments: 18 pages, 5 figures

MSC Class: 52C10; 52C35; 52A35; 54C99

Journal ref: Discrete and Computational Geometry, 43:321--338, 2010

Set families with a forbidden subposet

Authors: Boris Bukh

Abstract: We asymptotically determine the size of the largest family F of subsets of {1,...,n} not containing a given poset P if the Hasse diagram of P is a tree. This is a qualitative generalization of several known results including Sperner's theorem. We asymptotically determine the size of the largest family F of subsets of {1,...,n} not containing a given poset P if the Hasse diagram of P is a tree. This is a qualitative generalization of several known results including Sperner's theorem. △ Less

Submitted 21 November, 2009; v1 submitted 26 March, 2008; originally announced March 2008.

Comments: 10 pages, 1 figure, motivation and details expanded, final version

MSC Class: 06A07; 05D05

Sums of dilates

Authors: Boris Bukh

Abstract: The lambda-dilate of a set A is lambda*A={lambda a : a \in A}. We give an asymptotically sharp lower bound on the size of sumsets of the form lambda_1*A+...+lambda_k*A for arbitrary integers lambda_1,...,lambda_k and integer sets A. We also establish an upper bound for such sums, which is similar to, but often stronger than Plunnecke's inequality. The lambda-dilate of a set A is lambda*A={lambda a : a \in A}. We give an asymptotically sharp lower bound on the size of sumsets of the form lambda_1*A+...+lambda_k*A for arbitrary integers lambda_1,...,lambda_k and integer sets A. We also establish an upper bound for such sums, which is similar to, but often stronger than Plunnecke's inequality. △ Less

Submitted 2 April, 2008; v1 submitted 10 November, 2007; originally announced November 2007.

Comments: 14 pages, typos and small errors fixed

MSC Class: 11B75; 11H99; 05D99

Discrete Kakeya-type problems and small bases

Authors: Noga Alon, Boris Bukh, Benny Sudakov

Abstract: A subset U of a group G is called k-universal if U contains a translate of every k-element subset of G. We give several nearly optimal constructions of small k-universal sets, and use them to resolve an old question of Erdos and Newman on bases for sets of integers, and to obtain several extensions for other groups. A subset U of a group G is called k-universal if U contains a translate of every k-element subset of G. We give several nearly optimal constructions of small k-universal sets, and use them to resolve an old question of Erdos and Newman on bases for sets of integers, and to obtain several extensions for other groups. △ Less

Submitted 5 April, 2008; v1 submitted 10 November, 2007; originally announced November 2007.

Comments: 12 pages

MSC Class: 05B10; 11B13; 20D60