Applications of Sparse Hypergraph Colorings

The number of visible points in [2^i]^2 is \frac{6}{\pi^2} 2^{2i} (1+o(1)) and the total number of points in [2^{i-1}] is \frac{1}{4} 2^{2i}, implying this observation.

Let i_0 be sufficiently large such that Observation 2.1 holds for i\geq i_0. Let i_0 \leq i\leq \lfloor \log(s^*) \rfloor. Given a visible point p\in V_i, let \ell_p be the line through the origin o and p. The line \ell_p contains \Omega(n/2^{i}) grid points. For any grid point q, the pair qo forms a 2-edge in \mathcal{H}_{s^*} if q is on a line \ell_p for some visible point p\in [s^*]^2. Thus,

By Observation 2.1, |V_i|\geq 2^{2i-2} and therefore \Delta_2(\mathcal{H}_{s^*})=\Omega(n s^*).

For the upper bound, let p\in [n]^2 be an arbitrary grid point. Given s\leq s^*, there are at most 4s choices for slopes of lines \ell passing through p and satisfying H(\ell)=s. On each such line there are at most O(n/s) grid points. Thus,

Since the grid point p was chosen arbitrarily, \Delta_2(\mathcal{H}_{s^*})=O(n s^*).

We will provide a lower bound on \Delta_3(\mathcal{H}_{s^*}) by counting the number of collinear triples containing the origin o. Let i_0 be sufficiently large such that Observation 2.1 holds for i\geq i_0. Let i_0 \leq i\leq \lfloor \log(n) \rfloor. Given a visible point p\in V_i, let \ell_p be the line through the origin o and p. The line \ell_p contains \Omega(n/2^{i}) grid points. For grid points q and q' a 3-set qq'o forms a 3-edge in \mathcal{H}_{s^*} iff q and q' are on a line \ell_p for some visible point p\in [n]^2, we obtain

Using Observation 2.1, we get \Delta_3(\mathcal{H}_{s^*})=\Omega(n^2 \log n).

For the upper bound on \Delta_3(\mathcal{H}_{s^*}), let p\in [n]^2 be an arbitrary grid point. Given s\leq s^*, there are at most 4s choices for slopes of lines \ell passing through p and satisfying H(\ell)=s. On each such line there are at most O(n/s) grid points. Thus,

Since p was chosen arbitrarily from [n]^2, \Delta_3(\mathcal{H}_{s^*})= O(n^2 \log n).

For the lower bound on \Delta_4(\mathcal{H}_{s^*}), we count the number of 4-edges containing the origin. Let i\in \mathbb{N} satisfying that \log s^* \leq i\leq \log n. Denote by T_i the number of trapezoids containing the origin o and exactly one pair of parallel sides (i.e. rhombi are not being counted) such that the line through the origin whose slope appears twice in the trapezoid contains a visible point p\in V_i. Fixing a point p\in V_i, there are \Omega(n/2^i) points on the line \ell_p through the origin o and p. For the third point of the trapezoid we choose an arbitrary grid point from \{(p_1,p_2): n/4\leq p_i \leq 3n/4\} which is not on the line \ell_p. There are \Omega(n/2^i) ways to choose a forth point to complete a trapezoid, and thus in total

Using Observation 2.1, we get \Delta_4(\mathcal{H}_{s^*})=\Omega(n^4 \log n).

Now, let p\in [n]^2 be an arbitrary point. We will count the number of trapezoids containing p. For a given positive integer s, let T_s be the number of trapezoids containing p and two parallel sides on lines \ell_1,\ell_2 satisfying H(\ell_1)=H(\ell_2)=s. Then, clearly

There are at most 4s lines \ell through p satisfying H(\ell)=s. For each of them, there are at most O(n/s) grid points on it. For the third point of a trapezoid there are at most n^2 choices trivially. The last point of the trapezoid needs to be on a line \ell' through the third point and parallel to \ell, that are at most O(n/s) choices for such a point. Thus,

which implies

Since p was arbitrary, we conclude \Delta_{4}(\mathcal{H}_{s^*})= O(n^4 \log n).

Since any line in \mathbb{R}^2 contains at most n grid points, we immediately obtain \Delta_{2,3}(\mathcal{H}_{s^*})= O(n).

Let A=\{p_1,p_2,p_3\} be a 3-element subset of the grid. If the points p_1,p_2,p_3 form a collinear triple, then they cannot be contained in a trapezoid and thus \deg_4(A)=0. Otherwise, for 1\leq i < j \leq 3, let \ell_{i,j} be the line through p_i and p_j. A grid point p forming a trapezoid with the points from A, must lie on the line thorough p_m parallel to \ell_{i,j} for some choice \{i,j,m\}=[3]. For any such point p, the set \{p,p_1,p_2,p_3\} is an edge in \mathcal{H}_{s^*}, if additionally H(\ell_{i,j})\geq s^*. Thus, there are at most O(n/s^*) choices for p. We conclude \Delta_{3,4}(\mathcal{H}_{s^*})=O(n/s^*).

By Lemma 2.3 e),

Towards contradiction, assume that G(m) contains a copy of H on some vertex set
U\subseteq V(G(m)). Then, because H has complete shadow, for any two vertices x_1^{i},x_2^j\in U we have x_1\neq x_2. Therefore G contains a copy of H too, a contradiction.

We have