arXiv++ Combinatorics

For all $δ>0$ and infinitely many $n \in \mathbb N$, we show that there exists a set $L$ of $n$ lines in $\mathbb R^2$ such that there are no intersecting quadruples, but for every subset $L' \subset L$ such that $|L'| \geq n^{\frac{4}{5}+δ}$, there exist three lines from $L'$ with a common point of intersection. This gives an improved bound for a dual form of a theorem of Balogh and Solymosi. As a consequence, we derive an improved lower bound for the Hadwiger-Debrunner number $HD_2(p,3)$. We also give, for all $0 \leq s \leq 1$ and arbitrarily large $n \in \mathbb N$, a construction of a point set $S \subset [n]^3$ with cardinality $|S|\geq n^{3-s}$, such that $S$ contains $O(n^{6-4s})$ collinear triples. This shows that a supersaturation lemma of Balogh and Solymosi is optimal, up to logarithmic factors.

Adapting the construction disproving the sum-product conjecture over $\mathbb R$ present in Bloom, Sawin, Schildkraut and Zhelezov, we show the existence of a constant $c>0$ and arbitrarily large finite sets $A \subseteq \mathbb R$ such that $$|AA+A+A| \ll |A|^{2-c}.$$ As a corollary, all of the sets $A+A$, $AA$, $(A+1)(A+1)$, $A(A+1)$ and $AA+A$ are of size $O(|A|^{2-c})$ for this construction.

This paper considers geometric problems of the following type: given a point set $P \subset \mathbb R^2$, one seeks a large subset avoiding a prescribed geometric configuration. Our main result states that, for any $P \subset \mathbb R^2$, there exists a subset $P' \subset P$ with $|P'| \gg |P|^{1/3}$ such that all of the distances determined by $P'$ are distinct. This improves a result of Charalambides. We make heavy use of a result of Li and Postle concerning the independence number of hypergraphs which satisfy some edge distribution conditions, as well as tools from incidence geometry.

The Maker Breaker Domination Game is a two player game played on a graph $G$ in which the players take turns to claim a vertex from the graph. The aim of the Dominator is to claim the vertices of a dominating set, and the aim of the Staller is to prevent this. In this paper, we consider the following problem: for a given integer $d$, what is the size of the smallest (with respect to the number of vertices) graph with minimum degree $d$ such that the Dominator loses going first? We write $β(d)$ to denote the answer to this question. We determine the precise value of $β(d)$ for $d\leq 3$. For general $d$ it was known that $2^{d+1} \leq β(d) \leq 2^{d+1}+2d$; the upper bound is due to a construction communicated to us by Valentin Gledel, while the lower bound follows from a simple application of the Erdős-Selfridge Theorem. We improve the lower bound to $β(d) \geq 2^{d+1}+2$.

This paper considers some different measures for how additively structured a convex set can be. The main result gives a construction of a convex set $A$ containing $Ω(|A|^{3/2})$ three-term arithmetic progressions.

We prove that, for any $B \subset \mathbb R$, the Cartesian product set $B \times B$ determines $Ω(|B|^{2+c})$ distinct angles.

We give a construction of a convex set $A \subset \mathbb R$ with cardinality $n$ such that $A-A$ contains a convex subset with cardinality $Ω(n^2)$. We also consider the following variant of this problem: given a convex set $A$, what is the size of the largest matching $M \subset A \times A$ such that the set \[ \{ a-b : (a,b) \in M \} \] is convex? We prove that there always exists such an $M$ with $|M| \geq \sqrt n$, and that this lower bound is best possible, up a multiplicative constant.

In this paper, we prove that the bound \[ \max \{ |8A-7A|,|5f(A)-4f(A)| \} \gg |A|^{\frac{3}{2} + \frac{1}{54}-o(1)} \] holds for all $A \subset \mathbb R$, and for all convex functions $f$ which satisfy an additional technical condition. This technical condition is satisfied by the logarithmic function, and this fact can be used to deduce a sum-product estimate \[ \max \{ |16A| , |A^{(16)}| \} \gg |A|^{\frac{3}{2} + c}, \] for some $c>0$. Previously, no sum-product estimate over $\mathbb R$ with exponent strictly greater than $3/2$ was known for any number of variables. Moreover, the technical condition on $f$ seems to be satisfied for most interesting cases, and we give some further applications. In particular, we show that \[ |AA| \leq K|A| \implies \,\forall d \in \mathbb R \setminus \{0 \}, \,\, |\{(a,b) \in A \times A : a-b=d \}| \ll K^C |A|^{\frac{2}{3}-c'}, \] where $c,C>0$ are absolute constants.

This paper introduces a new problem concerning additive properties of convex sets. Let $S= \{s_1 < \dots <s_n \}$ be a set of real numbers and let $D_i(S)= \{s_x-s_y: 1 \leq x-y \leq i\}$. We expect that $D_i(S)$ is large, with respect to the size of $S$ and the parameter $i$, for any convex set $S$. We give a construction to show that $D_3(S)$ can be as small as $n+2$, and show that this is the smallest possible size. On the other hand, we use an elementary argument to prove a non-trivial lower bound for $D_4(S)$, namely $|D_4(S)| \geq \frac{5}{4}n -1$. For sufficiently large values of $i$, we are able to prove a non-trivial bound that grows with $i$ using incidence geometry.

An arc in $\mathbb F_q^2$ is a set $P \subset \mathbb F_q^2$ such that no three points of $P$ are collinear. We use the method of hypergraph containers to prove several counting results for arcs. Let $\mathcal A(q)$ denote the family of all arcs in $\mathbb F_q^2$. Our main result is the bound \[ |\mathcal A(q)| \leq 2^{(1+o(1))q}. \] This matches, up to the factor hidden in the $o(1)$ notation, the trivial lower bound that comes from considering all subsets of an arc of size $q$. We also give upper bounds for the number of arcs of a fixed (large) size. Let $k=q^t$ for some $t >2/3$, and let $\mathcal A(q,k)$ denote the family of all arcs in $\mathbb F_q^2$ with cardinality $k$. We prove that, for all $γ>0$ \[ |\mathcal A(q,k)| \leq \binom{(1+γ)q}{k}. \] This result improves a bound of Roche-Newton and Warren. A nearly matching lower bound \[ |\mathcal A(q,k)| \geq \binom{q}{k} \] follows by considering all subsets of size $k$ of an arc of size $q$.

We construct a convex set $A$ with cardinality $2n$ and with the property that an element of the difference set $A-A$ can be represented in $n$ different ways. We also show that this construction is optimal by proving that for any convex set $A$, the maximum possible number of representations an element of $A-A$ can have is $\lfloor |A|/2 \rfloor $.

This paper explores the relationship between convexity and sum sets. In particular, we show that elementary number theoretical methods, principally the application of a squeezing principle, can be augmented with the Elekes-Szabó Theorem in order to give new information. Namely, if we let $A \subset \mathbb R$, we prove that there exist $a,a' \in A$ such that \[\left | \frac{(aA+1)^{(2)}(a'A+1)^{(2)}}{(aA+1)^{(2)}(a'A+1)} \right | \gtrsim |A|^{31/12}.\] We are also able to prove that \[ \max \{|A+A-A|, |A^2+A^2-A^2|, |A^3 + A^3 - A^3|\} \gtrsim |A|^{19/12}.\] Both of these bounds are improvements of recent results and takes advantage of computer algebra to tackle some of the computations.

Let $P \subset \mathbb R^2$ be a point set with cardinality $N$. We give an improved bound for the number of dot products determined by $P$, proving that, \[ |\{ p \cdot q :p,q \in P \}| \gg N^{2/3+c}. \] A crucial ingredient in the proof of this bound is a new superquadratic expander involving products and shifts. We prove that, for any finite set $X \subset \mathbb R$, there exist $z,z' \in X$ such that \[ \left|\frac{(zX+1)^{(2)}(z'X+1)^{(2)}}{(zX+1)^{(2)}(z'X+1)}\right| \gtrsim |X|^{5/2}. \] This is derived from a more general result concerning growth of sets defined via convexity and sum sets, and which can be used to prove several other expanders with better than quadratic growth. The proof develops arguments from recent work by the first two listed authors and Misha Rudnev, and uses predominantly elementary methods.

We give a construction of a set $A \subset \mathbb N$ such that any subset $A' \subset A$ with $|A'| \gg |A|^{2/3}$ is neither an additive nor multiplicative Sidon set. In doing so, we refute a conjecture of Klurman and Pohoata.

Let $A \subset \mathbb R$ and $G \subset A \times A$. We prove that, for any $λ\in \mathbb R \setminus \{-1,0,1\}$, \[ \max \{|A+_G A|, |A+_G λA|, |A\cdot_G A|\} \gg |G|^{6/11}. \]

In this paper we give a conditional improvement to the Elekes-Szabó problem over the rationals, assuming the Uniformity Conjecture. Our main result states that for $F\in \mathbb{Q}[x,y,z]$ belonging to a particular family of polynomials, and any finite sets $A, B, C \subset \mathbb Q$ with $|A|=|B|=|C|=n$, we have \[ |Z(F) \cap (A\times B \times C)| \ll n^{2-\frac{1}{s}}. \] The value of the integer $s$ is dependent on the polynomial $F$, but is always bounded by $s \leq 5$, and so even in the worst applicable case this gives a quantitative improvement on a bound of Raz, Sharir and de Zeeuw (arXiv:1504.05012). We give several applications to problems in discrete geometry and arithmetic combinatorics. For instance, for any set $P \subset \mathbb Q^2$ and any two points $p_1,p_2 \in \mathbb Q^2$, we prove that at least one of the $p_i$ satisfies the bound \[ | \{ \| p_i - p \| : p \in P \}| \gg |P|^{3/5}, \] where $\| \cdot \|$ denotes Euclidean distance. This gives a conditional improvement to a result of Sharir and Solymosi (arXiv:1308.0814).

An arc is a subset of $\mathbb F_q^2$ which does not contain any collinear triples. Let $A(q,k)$ denote the number of arcs in $\mathbb F_q^2$ with cardinality $k$. This paper is primarily concerned with estimating the size of $A(q,k)$ when $k$ is relatively large, namely $k=q^t$ for some $t>0$. Trivial estimates tell us that \[ {q \choose k} \leq A(q,k) \leq {q^2 \choose k}. \] We show that the behaviour of $A(q,k)$ changes significantly close to $t=1/2$. Below this threshold an elementary argument is used to prove that the trivial upper bound above cannot be improved significantly. On the other hand, for $t \geq 1/2+δ$, we use the theory of hypergraph containers to get an improved upper bound \[ A(q,k) \leq {q^{2-t+2δ} \choose k}. \] This technique is also used to give an upper bound for the size of the largest arc in a random subset of $\mathbb F_q^2$ which holds with high probability. For example, we prove that a $p$-random subset $Q \subset \mathbb F_q^2$ with $q^{-3/2}<p<q^{-1}$ contains an arc of size $Ω(q^{1/2})$ with high probability. The result is optimal for this range of $p$. Finally, this optimal bound for arcs in random sets is used to prove a finite field analogue of a result of Balogh and Solymosi, with a better exponent: there exists a subset $P \subset \mathbb F_q^2$ which does not contain any collinear quadruples, but with the property that for every $P' \subset P$ with $|P'| \geq |P|^{3/4+o(1)}$, $P'$ contains a collinear triple.

We prove a nontrivial energy bound for a finite set of affine transformations over a general field and discuss a number of implications. These include new bounds on growth in the affine group, a quantitative version of a theorem by Elekes about rich lines in grids. We also give a positive answer to a question of Yufei Zhao that for a plane point set P for which no line contains a positive proportion of points from P, there may be at most one line, meeting the set of lines defined by P in at most a constant multiple of |P| points.

This paper is mainly concerned with sets which do not contain four-term arithmetic progressions, but are still very rich in three term arithmetic progressions, in the sense that all sufficiently large subsets contain at least one such progression. We prove that there exists a positive constant $c$ and a set $A \subset \mathbb F_q^n$ which does not contain a four-term arithmetic progression, with the property that for every subset $A' \subset A$ with $|A'| \geq |A|^{1-c}$, $A'$ contains a nontrivial three term arithmetic progression. We derive this from a more general quantitative Roth-type theorem in random subsets of $\mathbb{F}_{q}^{n}$, which improves a result of Kohayakawa-Luczak-Rödl/Tao-Vu. We also discuss a similar phenomenon over the integers, where we show that for all $ε>0$, and all sufficiently large $N \in \mathbb N$, there exists a four-term progression-free set $A$ of size $N$ with the property that for every subset $A' \subset A$ with $|A'| \gg \frac{1}{(\log N)^{1-ε}} \cdot N$ contains a nontrivial three term arithmetic progression. Finally, we include another application of our methods, showing that for sets in $\mathbb{F}_{q}^{n}$ or $\mathbb{Z}$ the property of "having nontrivial three-term progressions in all large subsets" is almost entirely uncorrelated with the property of "having large additive energy".

The purpose of this article is to further explore how the structure of the affine group can be used to deduce new incidence theorems, and to explore sum-product type applications of these incidence bounds, building on the recent work of Rudnev and Shkredov. We bound the energy of several systems of lines, in some cases obtaining a better energy bound than the corresponding bounds obtained by Rudnev and Shkredov by exploiting a connection with collinear quadruples. Our motivation for seeking to generalise and improve the incidence bound obtained by Rudnev and Shkredov comes from possible applications to sum-product problems. For example, we prove that, for any finite $A \subset \mathbb R$ the following superquadratic bound holds: \[ \left| \left \{ \frac{ab-cd}{a-c} : a,b,c,d \in A \right \} \right| \gg |A|^{2+\frac{1}{14}}. \] This improves the previously known bound with exponent $2$. We also give a threshold-beating asymmetric sum-product estimate for sets with small sum set by proving that there exists a positive constant $c$ such that for all finite $A,B \subset \mathbb R$, \[ |A+A| \ll K|A| \Rightarrow |AB| \gg_K |A||B|^{1/2+c}. \]