arXiv++ Combinatorics

We show that very small distances in a planar integral point set are essentially one-dimensional. Let P be a non-collinear set of n points in the plane, all of whose pairwise distances are integers. We prove that, for a sufficiently small $c>0$, at most one pair of points can determine a distance below $n^{c\log\log{n}}$ unless all such short pairs are supported on a single line. We also give a construction showing that the line-supported alternative is necessary: there are arbitrarily large non-collinear integral point sets with one off-line point and with the first two distinct distances 2 and 4. We conjecture that in the general case (no three points are collinear) even the smallest distance should be large, at least $n^{c\log\log{n}}$, however we can prove a linear lower bound only.

In connection to the Brown-Erdős-Sós conjecture, we give a short local averaging proof of a density theorem for linear uniform hypergraphs. Let $r \ge 3$, $k \ge 3$, and suppose that $n \ge (r-2)(k-2)+1$. If $H$ is a linear $r$-uniform hypergraph on $n$ vertices and \[|E(H)| \geq \frac{k-2}{r^2((r-2)(k-2)+1)}n^2 + \frac{n}{r},\] then $H$ contains $k$ edges spanning at most $(r-2)k+3$ vertices. In the standard linear-density normalization, this gives the asymptotic density threshold $c \geq \frac{r-1}{r} \cdot \frac{k-2}{(r-2)(k-2)+1} + o(1)$. In particular, this yields a simple proof of the large-uniformity form of the Brown-Erdős-Sós theorem, due to Keevash and Long. In the case of triple systems, our bound becomes $c \geq \frac{2(k-2)}{3(k-1)} + o(1)$, improving upon a bound of $\frac{4}{5}$ due to Santos and Tyomkyn.

We show that Blokhuis' quadratic upper bound for two-distance sets is sharp over finite fields in almost all dimensions. Our construction complements Lisoněk's higher-dimensional maximal constructions that were carried out in Lorentz spaces.

John E. Littlewood posted the question {\em ``Is it possible in 3-space for seven infinite circular cylinders of unit radius each to touch all the others? Seven is the number suggested by counting constants.''} Bozóki, Lee, and Rónyai constructed a configuration of 7 mutually touching unit cylinders. The best-known upper bounds show that at most 10 unit cylinders in $\mathbb{R}^3$ can mutually touch. We consider this problem in higher dimensions, and obtain exponential (in $d$) upper bounds on the number of mutually touching cylinders in $\mathbb{R}^d$. Our method is fairly flexible, and it makes use of the fact that cylinder touching can be expressed as a combination of polynomial equalities and non-equalities.

According to a classical result of Spencer, Szemerédi, and Trotter (1984), the maximum number of times the unit distance can occur among $n$ points in the plane is $O(n^{4/3})$. This is far from Erdős's lower bound, $n^{1+O(1/\log\log n)}$, which is conjectured to be optimal. We prove a structural result for point sets with nearly $n^{4/3}$ unit distances and use it to reduce the problem to a conjecture on rigid frameworks. This conjecture, if true, would yield the first improvement on the bound of Spencer et al. A weaker version of this conjecture has been established by the last two authors.

We show a construction for dense 3-uniform linear hypergraphs without $3\times 3$ grids, improving the lower bound on its Turán number.

In this note, we show that in planar pointsets determining many unit distances, these unit distances must span many directions. Specifically, we show that a set of $n$ points can determine only $o(n^{4/3})$ unit distances from a set of at most $O(n^{1/3})$ directions.

We prove that every $n$ vertex linear triple system with $m$ edges has at least $m^6/n^7$ copies of a pentagon, provided $m>100 \, n^{3/2}$. This provides the first nontrivial bound for a question posed by Jiang and Yepremyan. More generally, for each $ \ell \ge 2$, we prove that there is a constant $c$ such that if an $n$-vertex graph is $\varepsilon$-far from being triangle-free, with $\varepsilon \gg n^{-1/3\ell}$, then it has at least $c \, \varepsilon^{3\ell} n^{2\ell+1}$ copies of $C_{2\ell+1}$. This improves the previous best bound of $c \, \varepsilon^{4\ell+2} n^{2\ell+1}$ due to Gishboliner, Shapira and Wigderson. Our result also yields some geometric theorems, including the following. For $n$ large, every $n$-point set in the plane with at least $60\, n^{11/6}$ triangles similar to a given triangle $T$, contains two triangles sharing a special point, called the harmonic point. In the other direction, we give a construction showing that the exponent $11/6\approx 1.83$ cannot be reduced to anything smaller than $\log_3 6 \approx 1.726$.

In this note, we show that extremal Szemerédi-Trotter configurations are rigid in the following sense: If $P,L$ are sets of points and lines determining at least $C|P|^{2/3}|L|^{2/3}$ incidences, then there exists a collection $P'$ of points of size at most $k = k_0(C)$ such that, heuristically, fixing those points fixes a positive fraction of the arrangement. That is, the incidence structure and a small number of points determine a large part of the arrangement. The key tools we use are the Guth-Katz polynomial partitioning, and also a result of Dvir, Garg, Oliveira and Solymosi that was used to show the rigidity of near-Sylvester-Gallai configurations.

In the 60s, Micha Perles constructed a point-line arrangement in the plane on nine points, which can not be realized only by points with rational coordinates. Grünbaum conjectured that Perles' construction is the smallest: any geometric arrangement on eight or fewer points if it is realizable with real coordinates in the plane, it is also realizable with rational coordinates. In this paper, we prove the conjecture.

Let $H_n^{(3)}$ be a 3-uniform linear hypergraph, i.e. any two edges have at most one vertex common. A special hypergraph, {\em wicket}, is formed by three rows and two columns of a $3 \times 3$ point matrix. In this note, we give a new lower bound on the Turán number of wickets using estimates on cap sets. We also show that this problem is closely connected to important questions in additive combinatorics.

We describe constructions of infinite graphs which are not representable as integral graphs in the plane, addressing a question of Erdős. We also mention some related problems.

In these notes, we consider a Turán-type problem in hypergraphs. What is the maximum number of edges if we forbid a subgraph? Let $H_n^{(3)}$ be a 3-uniform linear hypergraph, i.e. any two edges have at most one vertex common. A special hypergraph, called {\em wicket}, is formed by three rows and two columns of a $3 \times 3$ point matrix. We describe two linear hypergraphs -- both containing a wicket -- that if we forbid either of them in $H_n^{(3)}$, then the hypergraph is sparse, and the number of its edges is $o(n^2)$. This proves a conjecture of Gyárfás and Sárközy.

Let $\mathcal{P}$ be a set of points in the plane, and $\mathcal{S}$ a strictly convex set of points. In this note, we show that if $\mathcal{P}$ contains many translates of $\mathcal{S}$, then these translates must come from a generalized arithmetic progression of low dimension. We also discuss an application to the unit distance conjecture.

We prove a new Elekes-Szabó type estimate on the size of the intersection of a Cartesian product $A\times B\times C$ with an algebraic surface $\{f=0\}$ over the reals. In particular, if $A,B,C$ are sets of $N$ real numbers and $f$ is a trivariate polynomial, then either $f$ has a special form that encodes additive group structure (for example $f(x,y,x) = x + y - z$), or $A \times B\times C \cap\{f=0\}$ has cardinality $O(N^{12/7})$. This is an improvement over the previously bound $O(N^{11/6})$. We also prove an asymmetric version of our main result, which yields an Elekes-Ronyai type expanding polynomial estimate with exponent $3/2$. This has applications to questions in combinatorial geometry related to the Erdős distinct distances problem. Like previous approaches to the problem, we rephrase the question as a $L^2$ estimate, which can be analyzed by counting additive quadruples. The latter problem can be recast as an incidence problem involving points and curves in the plane. The new idea in our proof is that we use the order structure of the reals to restrict attention to a smaller collection of proximate additive quadruples.

We show that there are five types of planar curves such that arrangements of its translates are combinatorially equivalent to an arrangement of lines. These curves can be used to define norms giving constructions with many unit distances among points in the plane.

It is conjectured that if a finite set of points in the plane contains many collinear triples then there is some structure in the set. We are going to show that under some combinatorial conditions such pointsets contain special configurations of triples, proving a case of Elekes' conjecture. Using the techniques applied in the proof we show a density version of Jamison's theorem. If the number of distinct directions between many pairs of points of a pointset in convex position is small, then many points are on a conic.

Extending an earlier result for real matrices we show that multiple eigenvalues of a complex matrix lie in a reduced Gershgorin disk. One consequence is a slightly better estimate in the real case. Another one is a geometric application. Further results of a similar type are given for normal and almost symmetric matrices.

We establish lower bounds on the rank of matrices in which all but the diagonal entries lie in a multiplicative group of small rank. Applying these bounds we show that the distance sets of finite pointsets in $\mathbb{R}^d$ generate high rank multiplicative groups and that multiplicative groups of small rank cannot contain large sumsets.

It was proved by Ron Graham and the second author that for any coloring of the $N \times N$ grid using fewer than $\log \log N$ colours, one can always find a monochromatic isosceles right triangle, a triangle with vertex coordinates $(x, y),(x + d, y),$ and $(x, y + d).$ In this paper we are asking questions where not only axis-parallel, but tilted isosceles right triangles are considered as well. Both colouring and density variants of the problem will be discussed.