A strong-type Furstenberg-S\'{a}rk\"{o}zy theorem for sets of positive measure

TL;DR

This paper proves that positive measure sets in the plane contain points intersecting a family of curved lines with parameters in an interval, extending classical results to nonlinear curves and large parameter sets.

Contribution

It establishes a Furstenberg-Sárközy type theorem for nonlinear curves with positive measure sets, a significant extension of previous linear results.

Findings

Positive measure sets contain points intersecting nonlinear curves for a whole interval of parameters.

The interval of parameters can be arbitrarily large on the logarithmic scale for sets of positive density.

Counterexamples prevent extending the result to straight lines (β=1).

Abstract

For every $\beta\in(0,\infty)$, $\beta\neq 1$ we prove that a positive measure subset $A$ of the unit square contains a point $(x_0,y_0)$ such that $A$ nontrivially intersects curves $y-y_0 = a (x-x_0)^\beta$ for a whole interval $I\subseteq(0,\infty)$ of parameters $a\in I$. A classical Nikodym set counterexample prevents one to take $\beta=1$, which is the case of straight lines. Moreover, for a planar set $A$ of positive density we show that the interval $I$ can be arbitrarily large on the logarithmic scale. These results can be thought of as Bourgain-style large-set variants of a recent continuous-parameter S\'{a}rk\"{o}zy-type theorem by Kuca, Orponen, and Sahlsten.

Equations

$$(x,y),(x,y)+(u,u^2)$$

$$|u|⩾\exp (-\exp ({\delta }^{-C}))$$

$$x,x+z,x+z^2,$$

$$(x,y),(x+z,y),(x,y+z^2),$$

$$(x,y),(x,y)+(u,a{u}^2)$$

$$\exp (-{\delta }^{-C})⩽\inf I<\sup I⩽\exp ({\delta }^{-C}),$$

$$|I|⩾\exp (-{\delta }^{-C}),$$

$$\big{\{}(x,y)+\big{(}u,au^{\beta}\big{)}:\exp(-\delta^{-C})\leqslant u\leqslant\exp(\delta^{-C})\big{\}}.$$

$$A:=\bigg{(}\bigcap_{\alpha\in[0,2\pi)\cap\mathbb{Q}}\mathcal{D}_{\sqrt{2}}\mathcal{R}_{\alpha}N\bigg{)}\cap[0,1]^{2}$$

$$\big{\{}(x,y)+(u,au):u\in\mathbb{R}\big{\}},\quad a\in I,\quad I\subseteq(0,\infty)\text{ an interval},$$

$$\overline{\delta}(A):=\limsup_{R\to\infty}\sup_{(x,y)\in\mathbb{R}^{2}}\frac{\big{|}A\cap\big{(}[x-R,x+R]\times[y-R,y+R]\big{)}\big{|}}{4R^{2}}.$$

$$\big{\{}(x,y)+\big{(}u,au^{\beta}\big{)}:u\in(0,\infty)\big{\}}.$$

$$\Big{(}\frac{\theta}{\eta}\Big{)}^{\beta}-\beta\frac{\theta}{\eta}<\beta-1.$$

$$\big{\{}(u,u^{\beta}):\eta\leqslant u\leqslant\theta\big{\}}$$

$$\Gamma =\{({\gamma }_1(s),{\gamma }_2(s)):s\in [0,L)\},$$

$${\int }_{{\mathbb{R}}^2}f(u,v)\text{d}\nu (u,v)={\int }_0^{L}f({\gamma }_1(s),{\gamma }_2(s))\text{d}s$$

$$\text{d}\sigma =\frac{\Psi \text{d}\nu }{{\int }_{\Gamma }\Psi \text{d}\nu };$$

$${\int }_{{\mathbb{R}}^2}f(u,v)\text{d}\sigma (u,v)={\int }_{\mathbb{R}}f(u,u^{\beta })\psi (u)\text{d}u$$

$$\Psi (u,u^{\beta })({\gamma }_1^{-1}{)}^{\prime }(u).$$

$$\int_{\mathbb{R}^{2}}f(u,v)\,\textup{d}\sigma_{t}(u,v)=\frac{1}{t}\int_{\mathbb{R}}f\Big{(}u,\frac{u^{\beta}}{t^{\beta-1}}\Big{)}\psi\Big{(}\frac{u}{t}\Big{)}\,\textup{d}u,$$

$$a=t^{1-\beta }.$$

$$\big{(}\tilde{\sigma}_{t}\ast f\big{)}(x,y)=\frac{1}{t}\int_{\mathbb{R}}f\Big{(}x+u,y+\frac{u^{\beta}}{t^{\beta-1}}\Big{)}\psi\Big{(}\frac{u}{t}\Big{)}\,\textup{d}u.$$

$$1>b_1>c_1>b_2>c_2>\cdots >b_J>c_J>0$$

$$\inf_{t\in[c_{j},b_{j}]}\big{(}\tilde{\sigma}_{t}\ast\mathbbm{1}_{A}\big{)}(x,y)=0$$

$$f:=\text{mathbbm}{1}_A\text{and}g:=\text{mathbbm}{1}_{[0,1{]}^2}-f.$$

$$j>J_{0}:=\Big{\lceil}\frac{1}{2}\log_{2}\frac{\mathop{\textup{diam}}\Gamma}{\tau}\Big{\rceil},$$

$$b_j\frac{\mathrm{diam}\Gamma }{2}⩽2^{-2j}\mathrm{diam}\Gamma <\tau ,$$

$$\big{(}\tilde{\sigma}_{t}\ast\mathbbm{1}_{[0,1]^{2}}\big{)}(x,y)=\sigma_{t}(\mathbb{R}^{2})=\sigma(\mathbb{R}^{2})=1.$$

$$f(x,y)\sup_{t\in[c_{j},b_{j}]}\big{(}\tilde{\sigma}_{t}\ast g\big{)}(x,y)=1,$$

$${\int }_{{\mathbb{R}}^2}f\cdot \underset{t\in [c_j,b_j]}{\sup }({\tilde{\sigma }}_t\ast g)$$

Full text

1. Introduction

Geometric measure theory often tries to identify patters in sufficiently large, but otherwise arbitrary, measurable sets. Recently, nonlinear or curved patterns have begun to attract much attention [3, 13, 8, 6, 5, 10, 15, 17, 16, 9]; most of these references will be discussed below. In this note we follow one of the many opened lines of research.

Kuca, Orponen, and Sahlsten [17] showed that there exists $\varepsilon>0$ with the following property: every compact set $K\subseteq\mathbb{R}^{2}$ with Hausdorff dimension at least $2-\varepsilon$ necessarily contains a pair of points of the form

[TABLE]

for some $u\neq 0$. We can imagine that we started from a point $(x,y)\in K$, translated the parabola $v=u^{2}$ so that its vertex falls into $(x,y)$, and moved along that parabola to find another point in the set $K$; see Figure 1. Their result can be thought of as a continuous-parameter analogue of the classical Furstenberg–Sárközy theorem [11, 19], on $\mathbb{R}^{2}$ instead of $\mathbb{Z}$. Parabola cannot be replaced with a vertical straight line (see the comments in [17]); curvature is crucial.

The authors of [17] mention that a set $A\subseteq[0,1]^{2}$ of Lebesgue measure at least $0<\delta\leqslant 1/2$ contains a pair of points (1.1) that also satisfy the gap bound

[TABLE]

for some absolute constant $C$. This property is seen either by an easy adaptation of Bourgain’s argument from [3] for quadratic progressions

[TABLE]

or by merely considering the last two points of the three-point quadratic corner

[TABLE]

studied by Christ, Roos, and one of the present authors [6, Theorem 4]. A gap bound is needed in order to have a nontrivial result, as the Steinhaus theorem would identify sufficiently small copies of any finite configuration inside a set of positive measure. More on polynomial patterns like these can be found in recent preprints [16] and [9].

It is natural to wonder if sets $A\subseteq[0,1]^{2}$ of positive measure also possess some stronger property of the Furstenberg–Sárközy type. For instance, we can consider many parabolas $v=au^{2}$ with their vertex translated to the point $(x,y)$. Reasoning from the previous paragraph applies equally well for any fixed $a>0$ to the vertically scaled set, giving a well-separated pair of points

[TABLE]

in the set $A$. However, it is not obvious if there exists a common starting point $(x,y)\in A$ from which we could move along “many” parabolas and always find points in the set $A$; see Figure 2. This is the content of our main theorem below and here by many we mean a whole “beam” of parabolas with parameter $a$ running over a non-degenerate interval $I$. In fact, a parabola can be replaced with any power curve $v=au^{\beta}$, for a fixed $\beta\neq 1$ and a varying $a>0$.

Here is the main result of the paper. Let $|E|$ denote the Lebesgue measure of a measurable set $E\subseteq\mathbb{R}^{2}$.

Theorem 1**.**

For a given $\beta\in(0,\infty)$, $\beta\neq 1$ there exists a finite constant $C\geqslant 1$ with the following property: for every $0<\delta\leqslant 1/2$ and every measurable set $A\subseteq[0,1]^{2}$ of Lebesgue measure $|A|$ at least $\delta$ there exist a point $(x,y)\in A$ and an interval $I\subseteq(0,\infty)$ such that

[TABLE]

[TABLE]

and that for every $a\in I$ the set $A$ intersects the arc of the power curve

[TABLE]

The following short argument shows that Theorem 1 fails in the limiting case $\beta=1$, i.e., when the power curves are replaced with straight lines through $(x,y)$. Let $N\subseteq[0,1]^{2}$ be a Nikodym set, which is a set of full Lebesgue measure such that through every point of $N$ one can draw a line that intersects $N$ only at a single point; let us call such lines exceptional. If $\mathcal{R}_{\alpha}\colon\mathbb{R}^{2}\to\mathbb{R}^{2}$ denotes the rotation about the point $(1/2,1/2)$ by the angle $\alpha$, while $\mathcal{D}_{c}\colon\mathbb{R}^{2}\to\mathbb{R}^{2}$ denotes the dilation centered at $(1/2,1/2)$ by the factor $c>0$, then

[TABLE]

is a Nikodym set such that its exceptional lines determine a dense set of directions through each of its points. In particular, there can be no beam of lines

[TABLE]

through any point $(x,y)\in A$ that would non-trivially intersect $A$ for each $a\in I$, as required in Theorem 1. In fact, Davies [7] has already constructed a Nikodym set whose exceptional lines though each of its points form both dense and uncountable sets of directions. On the other hand, if we repeat the simple construction (1.3) starting with a Nikodym-type set found by Chang, Csörnyei, Héra, and Keleti [4, Corollary 1.2], then we can also rule out curves composed of countably many pieces of straight lines.

Finally, it is also legitimate to ask if an even stronger result holds for “really large” sets, namely for the sets $A\subseteq\mathbb{R}^{2}$ that occupy a positive “share” of the plane. Recall that the upper Banach density of a measurable set $A$ is defined as

[TABLE]

Theorem 2**.**

For a given $\beta>1$ (resp. $0<\beta<1$) and a measurable set $A\subseteq\mathbb{R}^{2}$ with $\overline{\delta}(A)>0$ there is a number $a_{0}\in(0,\infty)$ with the following property: for every $a_{1}$ satisfying $0<a_{1}<a_{0}$ (resp. $a_{1}>a_{0}$) there exist a point $(x,y)\in A$ such that for every $a\in\mathbb{R}$ satisfying $a_{1}\leqslant a\leqslant a_{0}$ (resp. $a_{0}\leqslant a\leqslant a_{1}$) the set $A$ intersects the power curve

[TABLE]

In comparison with Theorem 1, an improvement coming from Theorem 2 is in the fact that the interval $I=[a_{1},a_{0}]$ (resp. $I=[a_{0},a_{1}]$) can have an arbitrarily small (resp. large) left (resp. right) endpoint $a_{1}$. It is not clear to us if the latter result also holds with $I=(0,\infty)$; this extension would probably be very difficult to prove. Our proof will rely on Bourgain’s dyadic pigeonholing in the parameter $a$, and as such it is unable to assert anything for every single value of $a\in(0,\infty)$. Thus, it is not coincidental that Theorem 2 is quite reminiscent of the so-called pinned distances theorem of Bourgain [2, Theorem 1’]. Our proof will closely follow Bourgain’s proof of that theorem, replacing circles with arcs of the curves $v=au^{\beta}$ and also invoking Bourgain’s results on generalized circular maximal functions in the plane [1].

Theorems 1 and 2 might also be interesting because they initiate the study of strong-type (a.k.a. Bourgain-type) results for finite curved Euclidean configurations, asserting their existence in $A$ for a whole interval $I$ of parameters/scales. The two-point pattern (1.2) studied here could possibly be replaced with larger and more complicated configurations in the future.

2. Analytical reformulation

It is sufficient to study the case $\beta>1$. Afterwards, one can cover $0<\beta<1$ simply by interchanging the roles of the coordinate axes and applying the previous case to $1/\beta$. Note that all bounds formulated in Theorem 1 and the statement of Theorem 2 are sufficiently symmetric to allow such swapping. Thus, let us fix the parameter $\beta\in(1,\infty)$.

It is geometrically evident that one can realize an arc of the power curve $v=u^{\beta}$ as a part of a smooth closed simple curve $\Gamma$, which has non-vanishing curvature and which is the boundary of a centrally symmetric convex set in the plane. More precisely, take parameters $0<\eta<\theta$ such that

[TABLE]

Figure 3 depicts how the arc

[TABLE]

can be extended by its tangents at the endpoints to a boundary of a centrally symmetric convex set. It is then easy to curve and smooth this boundary a little in order to make it $\textup{C}^{\infty}$ with non-vanishing curvature while still containing the above arc. The trick of realizing a power arc as a part of the boundary of an appropriate centrally symmetric convex set with intention of applying Bourgain’s results [1] has already been used by Marletta and Ricci [18, Section 1, p. 59].

Define $\nu$ to be the arclength measure of $\Gamma$. We can also parametrize the curve $\Gamma$ by arc length (i.e., traversing it at unit speed) as

[TABLE]

so that we have

[TABLE]

for every bounded measurable function $f$. Now take a nonnegative smooth function $\Psi$ such that its support intersects $\Gamma$ precisely in the arc (2.1), and which is constant $1$ on a major part of that arc. Let $\sigma$ be the measure given by

[TABLE]

note that it is normalized as $\sigma(\mathbb{R}^{2})=\sigma(\Gamma)=1$. Then

[TABLE]

for every bounded measurable function $f$, where $\psi(u)$ is a constant multiple of

[TABLE]

Thus, $\psi$ is a nonnegative $\textup{C}^{\infty}$ function whose support is contained in $[\eta,\theta]$. All constants appearing in the proof are allowed to depend on $\Gamma,\beta,\eta,\theta,\Psi$ without further mention.

If $\sigma_{t}$ is the dilate of $\sigma$ by a number $t>0$, i.e., $\sigma_{t}(E):=\sigma(t^{-1}E)$, then we have

[TABLE]

so $\sigma_{t}$ is “detects” points on the curve $v=au^{\beta}$, where

[TABLE]

Finally, let $\tilde{\sigma}$ be the reflection of $\sigma$, i.e., $\tilde{\sigma}(E):=\sigma(-E)$. Note that

[TABLE]

Both theorems will be consequences of the following purely analytical result. Let $\mathbbm{1}_{E}$ denote the indicator function of a set $E\subseteq\mathbb{R}^{2}$.

Proposition 3**.**

Take $0<\delta\leqslant 1/2$ and a measurable set $A\subseteq[0,1]^{2}$ of measure $|A|\geqslant\delta$. Suppose that there exist dyadic numbers (i.e., elements of $2^{\mathbb{Z}}$)

[TABLE]

having the property

[TABLE]

for every point $(x,y)\in A$ and every index $1\leqslant j\leqslant J$. Then $J\leqslant\delta^{-C^{\prime}}$ for some constant $C^{\prime}\geqslant 1$ independent of $\delta$ or $A$.

Our main task is to establish Proposition 3 and its proof will span over the next section.

3. Proof of Proposition 3

Let us write $A\lesssim B$ and $B\gtrsim A$ if the inequality $A\leqslant CB$ holds for a constant $C\in(0,\infty)$. This constant $C$ is always understood to depend on $\Gamma,\beta,\eta,\theta,\Psi$ from previous sections. Let $\tau>0$ be a fixed positive number and $\varrho>0$ a fixed dyadic number; their values will be small and they will be chosen later.

Take a measurable set $A\subseteq[0,1]^{2}$ with $|A|\geqslant\delta$. We write

[TABLE]

If we take an index $j$ such that

[TABLE]

then

[TABLE]

so for every $(x,y)\in A\cap[\tau,1-\tau]^{2}$ and $t\in[c_{j},b_{j}]$ we have

[TABLE]

For such points $(x,y)$ the assumption (2.4) then implies

[TABLE]

which in turn leads to a lower bound

[TABLE]

provided $j$ is chosen large enough that (3.1) holds.

Let $\varphi_{t}$ be the Poisson kernel on $\mathbb{R}^{2}$, i.e.,

[TABLE]

for every $t>0$, where the normalization is chosen such that $\int_{\mathbb{R}^{2}}\varphi_{t}=1$. For a bounded measurable function $h$ we will write

[TABLE]

Also, for $k\in\mathbb{Z}$ let $\mathbb{E}_{k}$ denote the martingale averages with respect to the dyadic filtration, i.e.,

[TABLE]

where $h\in\textup{L}^{1}_{\textup{loc}}(\mathbb{R}^{2})$ and the sum is taken over all dyadic squares $Q$ in $\mathbb{R}^{2}$ of area $2^{-2k}$ (and sidelength $2^{-k}$).

Take $t\in[c_{j},b_{j}]$ and $k_{j}=-\log_{2}(\varrho c_{j})$, which is an integer. We decompose

[TABLE]

Taking the triangle inequality and the supremum over $t$ gives

[TABLE]

We will estimate each of the terms separately, using Hölder’s inequality. For the first term on the right-hand side of (3.3) we will use the bound

[TABLE]

whenever $p>2$, where $\alpha$ is a positive constant depending only on $p$. (Any fixed finite value of $p$ greater than $2$ will do.) This bound will follow from the central estimate (10) in Bourgain’s paper [1], which can be written in our notation as

[TABLE]

whenever $\mathbb{E}_{i}h=0$, while $n\leqslant i$ are positive integers and $p,\alpha$ are as before. Bourgain [1, (10)] actually formulated (3.8) for the full arclength measure $\textup{d}\nu$, but the very same proof establishes it also for the smooth truncation $\Psi\,\textup{d}\nu$. In fact, Bourgain has already performed several decompositions of $\nu$ [1, Sections 3–6], and an additional smooth angular finite decomposition of $\Gamma$ can be added freely to the proof of his upper bound [1, (10)], making the proof insusceptible to a smooth truncation by $\Psi$.

In order to prove (3.7), let $d_{j}=-\log_{2}(c_{j})$. We split $[c_{j},1)$ into dyadic intervals $[2^{-n},2^{-n+1})$, estimate the maximum in $n$ by the $\ell^{p}$-sum, write

[TABLE]

where $\Delta_{i}=\mathbb{E}_{i+1}-\mathbb{E}_{i}$, and use the triangle inequality, after which it suffices to show

[TABLE]

The left-hand side can be rewritten as

[TABLE]

and then estimated by Minkowski’s inequality with

[TABLE]

Finally, the inequality (3.8) with $i=m+k_{j}$ bounds this by

[TABLE]

as desired.

To control (3.4) and (3.5) we use Bourgain’s maximal estimate in the plane [1, Theorem 1],

[TABLE]

for $p>2$. Here it gives

[TABLE]

and

[TABLE]

for an absolute constant $C_{2}$.

To estimate (3.6), we claim that for each $(x,y)\in\mathbb{R}^{2}$, $j$, and $t\leqslant b_{j}$,

[TABLE]

for some absolute constant $C_{3}$. To see this, we first use that

[TABLE]

for each $(x,y)\in\mathbb{R}^{2}$. Since $\|g\|_{\textup{L}^{\infty}(\mathbb{R}^{2})}\leqslant 1$, it only remains to bound, using (2.3),

[TABLE]

where we also changed variables in $x,y$. By the mean value theorem, the last display is

[TABLE]

for

[TABLE]

and some $0<a<1$. This is further bounded by

[TABLE]

where we also used $|u|\lesssim t\leqslant b_{j}<1$, and dominated a non-centered $|\nabla\varphi_{1}|$ by a centered integrable function. Integrating in $u$ and $(x,y)$ we obtain a bound by $C_{3}\varrho$.

Therefore, using (3.2) to obtain a lower bound, estimates (3.7), (3.9), (3.10), (3.11) for upper bounds, and Hölder’s inequality, we obtain

[TABLE]

provided $j$ is large enough.

Next,

[TABLE]

and we have

[TABLE]

and

[TABLE]

for some absolute constant $c_{0}>0$. The estimate (3.13) follows by the trivial $\textup{L}^{\infty}$ bound for the convolution. To see (3.14), we note that by the Cauchy-Schwarz inequality, for any $k\in\mathbb{Z}$,

[TABLE]

Then it remains to bound the martingale averages from above by the Poisson averages. The reader can find the details in the proof of Lemma 2.1 in [8]. Therefore, from (3.12) and $\int_{\mathbb{R}^{2}}f=|A|\geqslant\delta$ we get

[TABLE]

which will turn out useful provided that $\tau$ is small enough.

Furthermore, we claim that for $p>2$ and for any $J>J_{0}$ we have

[TABLE]

and

[TABLE]

with the constant $C_{4}$ independent of $J_{0},J$. These will be consequences of boundedness on $\textup{L}^{p}(\mathbb{R}^{2})$, $1<p<\infty$, of the square functions

[TABLE]

and

[TABLE]

Bound for $S_{1}$ follows from the classical Calderón-Zygmund theory [12, Subsections 6.1.3], while boundedness of $S_{2}$ was proven by Jones, Seeger, and Wright [14, Sections 3–4]. In fact, the emphasis of the paper [14] was on more general dilation structures and more general martingales, while the square function estimate from the last display is essentially due to Calderón; see [12, Subsection 6.4.4]. Now, (3.16) follows by recalling $p>2$ and writing

[TABLE]

Similarly we deduce (3.17):

[TABLE]

To be completely determined, one can simply take $p=3$. From (3.16) and (3.17) we conclude that there exists $j\in\{J_{0}+1,\ldots,J\}$ such that

[TABLE]

Together with (3.15) applied for this particular $j$ and $\tau=c_{0}\delta^{2}/8$ we obtain

[TABLE]

i.e.,

[TABLE]

Now we recall that we actually chose $J_{0}$ in (3.1) at the beginning of the proof, which guarantees that $J_{0}\leqslant\log_{2}(C_{5}\delta^{-2})$ for a suitable constant $C_{5}$. Taking $\varrho$ to be a small multiple of $\min\{\delta^{2/\alpha},\delta^{2}\}$ we obtain $J\leqslant\delta^{-C^{\prime}}$ for a suitable constant $C^{\prime}$.

4. Proofs of Theorems 1 and 2

In this section we deduce the two main theorems from Proposition 3. Once again, it is sufficient to consider $\beta\in(1,\infty)$.

Proof of Theorem 1.

Set $J=\lfloor\delta^{-C^{\prime}}\rfloor+1$, where $C^{\prime}$ is the constant from Proposition 3. Let us simply choose consecutive dyadic scales, $b_{j}=2^{-2j+1}$ and $c_{j}=2^{-2j}$ for every $1\leqslant j\leqslant J$. By the contraposition of Proposition 3 and using formula (2.3) we conclude that there exist a point $(x,y)\in A$ and an index $1\leqslant j\leqslant J$ such that for every $c_{j}\leqslant t\leqslant b_{j}$ the set $A$ contains a point of the form

[TABLE]

Substituting (2.2) we get

[TABLE]

which now means that for every

[TABLE]

there exists

[TABLE]

such that $(x+u,y+au^{\beta})\in A$. Observing

[TABLE]

and that any such $u$ satisfies

[TABLE]

we finally establish Theorem 1. ∎

Proof of Theorem 2.

Suppose that the claim does not hold for some measurable set $A\subseteq\mathbb{R}^{2}$ with $\overline{\delta}(A)>0$. Take $\delta:=\overline{\delta}(A)/2$ and $J=\lfloor\delta^{-C^{\prime}}\rfloor+1$, where $C^{\prime}$ is the constant from Proposition 3. Inductively we construct positive numbers

[TABLE]

satisfying $C_{j+1}\leqslant B_{j}/8^{\beta-1}$ and such that for each $j\geqslant 1$ and every point $(x,y)\in A$ there exists $a\in[B_{j},C_{j}]$ with the property that $A$ does not contain a point of the form

[TABLE]

After the change of variables (2.2) we see that for each $j\geqslant 1$ and every point $(x,y)\in A$ there exists

[TABLE]

such that $A$ does not contain a point of the form (4.1), so

[TABLE]

By the definition of the upper Banach density there exist a number $R\geqslant B_{J}^{-1/(\beta-1)}$ and a point $(x_{0},y_{0})\in\mathbb{R}^{2}$ such that

[TABLE]

Define

[TABLE]

and let $b_{j}$ and $c_{j}$ respectively be the number $B_{J+1-j}^{-1/(\beta-1)}/2R$ rounded up to the nearest dyadic number and the number $C_{J+1-j}^{-1/(\beta-1)}/2R$ rounded down to the nearest dyadic number, i.e.,

[TABLE]

for every $1\leqslant j\leqslant J$. Finally, for every $(x,y)\in A^{\prime}$ and every $1\leqslant j\leqslant J$ this implies

[TABLE]

for some $c_{j}\leqslant t\leqslant b_{j}$, while we have chosen $J$ so that $J>\delta^{-C^{\prime}}$. Note that also $|A^{\prime}|\geqslant\delta$, so the set (4.2) and the numbers (4.3) violate Proposition 3, which leads us to a contradiction. ∎

Acknowledgments

P. D. is partially supported by the NSF grant DMS-2154356. P. D. and V. K. were supported by the NSF grant DMS-1929284 while the authors were in residence at the Institute for Computational and Experimental Research in Mathematics in Providence, RI, during the Harmonic Analysis and Convexity program. V. K. and M. S. are partially supported by the Croatian Science Foundation project UIP-2017-05-4129 (MUNHANAP). M. S. is supported by a fellowship through the Grand Challenges Initiative at Chapman University.