Non-isotropic distance measures for lattice-generated sets

Transcription

1 Non-isotropic distance measures for lattice-generated sets A. Iosevich and M. Rudnev December 3, 4 Abstract We study distance measures for lattice-generated sets in R d, d 3, with respect to nonisotropic distances, induced by smooth symmetric convex bodies. An effective Fourieranalytic approach is developed to get sharp upper bounds for the second moment of the weighted distance measure. The implications of these estimates are discussed in the context of the general Erdös-Falconer distance problem. eywords Lattice point distribution, mean square estimates, distance measures, homogeneous sets AMS subject classification 4B. Introduction. In this paper we study distance sets, corresponding to the integer lattice Z d, d 3, with respect to non-isotropic distances, defined in terms of the Minkowski functional of some well-curved central-symmetric convex body R d, with a smooth boundary. Namely we assume that the Gaussian curvature on the boundary is bounded from above and below by some fixed pair of positive constants. The boundary itself should be C r, for a large enough r, and we do not discuss how small r can possibly be. Suppose the volume of equals the volume of the Euclidean unit ball, which is denoted as B throughout the paper. Let denote the class of such convex bodies. For, let be the Minkowski functional of, or the -norm. Let be the dual norm to, defined as x = sup x y, = {x R d : x }. ( y The dual also belongs to the class. For a Borel set S R d, define its -distance set as (S = { a b : a, b S}. ( Let (S B (S be the distance set of S with respect to the Euclidean metric. An infinite discrete set A R d is called homogeneous if all its elements are separated by some c >, while any cube of side length C > c contains at least one element of A. Let q be a large real, consider a homothety q of, with respect to the center of. For a homogeneous discrete set A, let A q = A q be a truncation of A (which strictly speaking depends on.

2 In the special case of A = Z d and = B, it is well known that { q, d 3, # (A q q log q, d =. (3 To fix the notation, # denotes the cardinality of a finite set, stands for the Lebesgue measure of a Borel measurable set. The symbols O or absorb constants depending only on (and hence d. Also we write a b, or equivalently a = Ω(b, if b a and a b if both a b and a b. The symbol will indicate proportionality, up to some constant c(. The main goal in this paper is to develop a technically transparent Fourier-analysis based approach which would extend estimate (3 to the case of -distances. We are able to do so in d 4; if d = 3 we are off by a logarithmic factor. The result follows by estimating the second moment of the corresponding distance measure; it is stated in Theorem further in the paper, after all the notations have been developed. Theorem If A = Z d, the d-dimensional integer lattice, one has # (A q { q, d 4, q log q, d = 3. (4. Theorem can be given interpretation in terms of the borderline dimension d in the Falconer distance problem. The Falconer distance problem states that if the Hausdorff dimension of a Borel set S R d, d is greater than d, then the Lebesgue measure of the distance set (S >. (See [5], [], [], [6], [7], [3], and the references contained therein for the description of this open for every d problem and progress over the years. The best known results are due to Wolff in R and Erdogan in R d, who vindicate the conjecture if the dimension of S exceeds d(d+ (d+ rather than d. The discrete analogue of the Falconer distance problem is the Erdös distance conjecture (see e.g. [3] and the references contained therein for thorough discussion and the state-of-the-art restricted to homogeneous sets, which states # (A q C ε q ε. (5 Falconer ([5] showed that the borderline dimension d cannot be improved, due to the following construction. Fix a rapidly growing sequence of positive integers {q i } i, with q = and q i+ > qi i. Let A = Z d and S i be the union of Euclidean balls of radius q d s i, for some < s < d, centered at the points of q i A qi. Let us call S F = i S i the Falconer set. Then (see e.g. [4] the Hausdorff dimension dim H S F = s. On the other hand, the Lebesgue measure (S i q d s i # (A qi. (6 It follows from (3 that (S F = if s < d. More precisely, (S F >, provided that s d for d 3 and s > d for d =. An immediate consequence of Theorem is that the same conclusion can be drawn in the case d 4 for the Falconer set S F with respect to -distances,, irrespective of the pair of constants that bound the curvature. Consequently, as the basis for the Falconer construction one can use any d-dimensional lattice, in which case Theorem will be valid as well.

3 Corollary. Let S F be the Falconer set with dim H S F = s. Suppose, s d, and d 4. Then (S F >, for any central-symmetric, which is smooth and has bounded and everywhere non-zero curvature on. Remark: The assumption of central symmetry is not essential: one can always consider Z d + only. We do not study to what extent the curvature assumption can be weakened so that may still qualify as well-curved, which for our purposes is determined by the validity of Lemma. further in the paper. As a separate issue, our result shows that if one fixes the Euclidean metric, the scope of Falconer s construction can be extended to a class A of homogeneous sets { } a A = a a : a Zd,. (7 The difficult part in Theorem is the endpoint issue, namely the precision of the exponents in estimates (4, which transcribes into the inequality s d, inclusive of the endpoint, in Corollary.. Otherwise, that is if an extra q ε were allowed in the right-hand side of (4, the proof can be made somewhat shorter, using the techniques developed by Müller ([] and Iosevich et al. ([8] developed to study the quantity E(t = #{t Z d } t d Vol. (8.3 It appears to be important to understand how much the analytic methods for geometry of numbers, i.e. in the present context the case A = Z d, can apply to study the Erdös-Falconer problem, dealing with general homogeneous sets A. The motivation for doing so it comes from a hypothesis closely related to (5 that lattice sets yield local minima for second moments of the corresponding distance measures, with respect to variations of the sets. Hence our approach is developed on the basis of the general distance measure formalism, set up by Mattila ([]. The distance measure ν(t, relative to the set A q counts the number of points of A q in q -thin -annuli of radius t, centered at points of A q, average with respect to the position of the center. (In the case of a lattice it suffices to fix the center at the origin. The L -norm ν is approximately the number of points of A in q. The main task is to estimate the square of L -norm, or the second moment ν. This is the content of the forthcoming Theorem, after all the definitions have been made. Beyond this non-technical introduction, we will be using various weighted measures ν, which will carry extra identification. The distance measure formalism however has nothing to do with the lattice structure, in the sense that any finite compactly supported Borel measure µ in R d generates a well-defined distance measure ν in R +. To this effect, Mattila ([] proved a general theorem for the Euclidean distance, which generalizes to -distances (see [] as follows. The second moment of the -distance measure ν, generated by µ is finite in case what we call the Mattila integral ( M(µ = ˆµ(tx dω (x t d dt <. (9 Above, ω is the Lebesgue measure on. Hence, if M(µ <, the Lebesgue measure of the support of ν is positive. As for the Falconer construction (see., for the natural (i.e. induced by the Lebesgue measure in R d measure on the set S F, in the case dim H S F < d the integral (9 diverges. 3

4 In essence, our proof of Theorem consists in analyzing and estimating the Mattila integral for a natural measure µ on the set S i = S qi, in the Falconer construction, when S F = S i has Hausdorff dimension s = d, after fixing q i = q and appropriate scaling. Looking back at the construction of the set S F, it is clear that instead of the lattice Z d, one can use any homogeneous set A as a basis for the construction. Unfortunately, our proof of Theorem does not extend beyond the very special case when A is a lattice. The reason is that in the proof we use a smooth approximation E(t of the discrepancy E(t, see (8, as the auxiliary quantity. In the lattice case, E(t admits a well known analytic representation via the Poisson summation formula, whereupon E (t looks very similar to the integrand in the Mattila integral. It follows that L estimates for the distance measure ν can be obtained in terms of L -estimates for E. Whether such an approach has a prototype in the general homogeneous set context is not at all clear..4 To prove our main result we develop an asymptotic method, which enables one first to dominate the L -estimate for E by a weighted L estimate for ν, see (46 below. Then the latter estimate can in turn be dominated by another L -estimate for E, see e.g. (6 below. Theorem follows. L -estimates for the quantity E were obtained in the works [] and [8] (see also [9] for further developments where basically the same trick was used. However, the asymptotic techniques of those papers did not yield a clear cut relation like (46 between the L estimates for the quantities ν and E, due to plethora of cut-off functions, truncations, etc. used. These are the technical difficulties one encounters in the effort to attain the endpoint result claimed in Theorem. We identify the estimate (46 as the key display of the technical advantage of our approach, which also yields the mean square estimates for E and E as a by-product. In addition, throughout the proof a number of integral representations for the distance measure ν and related quantities are obtained, which can be interesting in their own right. The approach rests on the use of the Hankel rather than Fourier transform for distance measures, defined on R +, which enables to make the analysis fairly transparent. Due to the fact that it is only a weighted estimate for the second moment of the distance measure ν that gets majorated by the second moment of E, our approach results in tight (modulo the logarithmic factor in d = 3 estimates for the second moment of ν in d 3, yet for d = it does not do better than yield a trivial estimate. In d =, the case of a general is an open problem. The main body of the paper is organized as follows. In Section we set up the distance measure formalism in the context of a general homogeneous set A. In the special case A = Z d, we formulate Theorem and show how it implies Theorem. As an example of how the formalism applies to a general A, we briefly discuss the Euclidean distance case and write out the integral expression for the second moment of the distance measure. We further move on to the case of -distances and prove the general Mattila integral identity for the second moment in Proposition.3. The proposition contributes little to the special case A = Z d. However, it establishes the proof template which is further used in Section 3 to prove the crucial Lemma 3.. Section 3 however is already fully dedicated to the case A = Z d and from its outset takes advantage of the Poisson summation formula. Comparison of the yield of the Poisson summation formula for the distance measure with the general formula in Proposition.3 yields as a by-product Theorem 3 on duality. However, the main result of Section 3 is Lemma 3.. In Section 4 this lemma is used to prove Theorem.. Distance measure Let φ be a non-negative radial (radial henceforth means radial with respect to the Euclidean metric Schwartz class function, such that φ(x =, φ(x = inside the ball of some radius and vanishes 4

5 outside the ball of twice the radius. Let q be a large number, denote φ q (x = q d φ(qx and A R d a homogeneous set, A q = A q. Let also Z d q = Z d q for the special case A = Z d. Without loss of generality (only to discount additional trivial estimates suppose A q contains no point in some c-neighborhood of the origin. For a function f L (R d L (R d, let ˆf(ξ = f(xe πιξ x dx ( define the Fourier transform. Let µ q (x = φ q (x a, ( be the smoothing of the counting measure on A q. The radius of the atoms of the measure µ q is c /q, with < c < by the choice of φ. Clearly ˆµ q (ξ = ˆφ(ξ/qe πιa ξ, ( and the function ˆφ is radial. To study the distances between the elements of A and the origin, define for t > : ν q, (t = ω (x/tdµ q (x, N q, (t = Ω (x/tdµ q (x = t dν q,. Above ω is the Lebesgue measure on, Ω is the characteristic function of. Note that in the first integral µ q is actually a Schwartz function, and ω - a distribution. Without loss of generality one can assume that every lattice cube contains exactly one point of A (this can always be achieved for any finite truncation A q by sparsing it out and subsequent scaling. In this case define the volume discrepancy (3 E q, (t = N q, (t t d Vol. (4 Studying the quantity E q, for the integer lattice has a long history, see [8] for some references. In the general context of homogeneous sets, the quantity E q, defined relative to the origin cannot be expected to be smaller in absolute value than O(q d. However, averaging with respect to the choice of the center throughout A q can result in a non-trivial estimate, important in the context of the Erdös distance problem. This issue is briefly discussed further in the paper following (3. The seemingly redundant subscripts come from the fact that in the sequel it turns out to be more convenient to work with the weighted quantities [ν q (t, N q (t, E q (t] = t d [νq,, N q, (t, E q, (t]. (5 The quantity ν q, is the density of the measure µ q on -spheres of radius t, centered at the origin. The primitive N q, (t counts the points in -balls of radius t. Clearly ν q, q d. (6 5

6 By definition of the quantities µ q and ν q,, in order to obtain estimates in terms of q, it is legitimate to sample integrals containing ν q, (as well as E q, and other versions of ν and E to appear later by Darboux sums with the step size c q, for some constant c. Clearly ν q, vanishes for t > q + q, while for t < q q, ν q, q Γ(t, q, (7 where Γ(t, δ is the number of points of A in a -annulus α(t, δ (defined as (t + δ \ t centered at the origin, with radius t and width δ; further on δ will always be approximately q. More precisely the statement (7 means that there exist uniform constants c and c 3, such that ( Γ t, ν ( q, Γ t, c 3. (8 c q q q Let us cover A q by a set of concentric -annuli α k around the origin, all of which have fixed width δ q. Suppose α has radius q and for k > the inner boundary of α k+ coincides with the outer boundary of α k. Terminate the construction as soon as q is covered by the union of α k. Thus k q and the -radii t k of α k go up to q + O(q. Define the annulus standard deviation and D α and the ball mean square discrepancy D as follows: D α = D = q k Γ (t k, δ q k E q, (t k q 3 q ν q, (tdt, q q E q, (tdt. (9 Theorem Suppose A = Z d. Then D α, D q d, d 4, D α, D q log q, d = 3. ( As far as the weighted quantity ν q (t is concerned, see (5, the estimate ( of Theorem is tantamount to { ν q = νq q (tdt d, d 4, q 3 log ( q, d = 3. Theorem implies Theorem. Proof of Theorem Assume Theorem. By the Cauchy-Schwartz inequality, ( q q d q ν q, dt supp ν q, νq,(tdt, ( where supp ν q, is the Lebesgue measure of the support of ν q,. Substituting the estimates ( in the right hand side, one gets the lower bound supp ν q, q for d 4 and supp ν q, q log q for d = 3. Hence, by definition of ν q,, cf. (7, there exists Ω(q in d 4 and Ω(q / log q disjoint -annuli, of width δ q, and whose radii do not exceed q, such that each of these annuli contains at least one lattice point. This is equivalent to the statement of Theorem. 6

7 Let us now return to the general homogeneous set A set-up. Observe that in the same way as (, as supp ν q, q, for the second moment of the weighted quantity ν q one should always have ν q q d. (3 Let us write up some integral representations for the quantities ν q, N q. Applying the Plancherel theorem to the integrals in (3, for the weighted quantities (5 we get: ν q (t = t d N q (t = t d+ ˆφ(ξ/qˆω (tξ e πι a ξ dξ, ˆφ(ξ/qˆΩ (tξ e πι a ξ dξ. (4 Observe that ν q (t extends as zero to t =, as well as the fact that the quantity N q (t is not in L (R + if d =. Euclidean case First let us get an integral representation for the second moment ν q when is the Euclidean ball, with the notations ω B, Ω B for the surface and volume measure. In this case the Fourier transform ˆω B (ξ is radial, namely ˆω B (ξ ξ d J d (π ξ, where J v further denotes the Bessel function of order v. Let us skip the factor of π in what follows. This can always be accomplished by scaling. After writing the integral (4 for ν q in the spherical coordinates we have where henceforth ν q (t t rj d (rtψ(r/q J d so ψ(r/q is asymptotically smaller than any inverse power of r/q. Using the Hankel formula (see e.g. [5], (r a dr, (5 ψ(r = ˆφ(ξ ξ =r, (6 tj v (atj v (btdt = δ(a b, (7 a one gets from (4 ν q = νq (tdt rψ (r/q J d (r a J d (r b a,b A q dr ( a b d r d ψ (r/q a,b A q ˆω B (r a ˆω B (r b dr. (8 The representation (8 is closely related to the Mattila integral (9 for the measure µ q. Observe that by the Hankel formula (7 with v = d, the expression (8 is in essence the Parseval identity for the Hankel transformation H[ν q ](r = rtj d (rtν q(tdt rψ(r/q 7 J d (r a. (9 ( a d

8 Remark Similarly to (8 one can apply the Hankel formula with v = d to the quantity N q(t and get for d 3: q d+ N q r ψ (r/q J d (r a J d (r b a,b A q dr ( a b d r d 3 ψ (r/q a,b A q ˆω B (r a ˆω B (r b dr, (3 It is easy to show that in order to get the order of magnitude q d+ for N q in the latter integral, it suffices to restrict the domain of integration to (,. On the other hand, the integral on [, would be approximately q νq. In the special case A = Zd, the integral (3, taken from to infinity is closely related to the quantity E q, see the ensuing Lemma 3., However, for a general homogeneous set the integral (3, taken from to infinity apparently cannot be interpreted in terms of the quantity E q. Anisotropic case Let us move on to the case of -distances. To proceed, we need the following lemma on the asymptotics of the Fourier transforms ˆω and ˆΩ. We do not present a proof here, as for ˆΩ it can be found in [7], and the case of ˆω follows in the same way. For more asymptotics of this kind see [6], [4]. Lemma. For ξ, ˆω (ξ, ˆΩ (ξ, otherwise ˆω (ξ = j= u j ( ξ ξ ( J d +j(c 4 ξ ξ d j + O ˆΩ (ξ = ( ( j= U ξ j ξ J d +j(c 4 ξ ξ d j + O ξ d+3 ξ d+5 where the quantities u, U are strictly positive and the constant c 4 depends on only.,, (3 Without loss of generality, assume c 4 = in the formulae (3 above. The sums in the asymptotic expansions have two terms, because this is as many as we will have to analyze. Observe that in the Euclidean case, the expressions (3 reduce to the first term in the sum only. Lemma. will be instrumental for our proofs. First let us use it to derive the -analog of the formula (8. Proposition.3 For d, ν q r d ψ (r/q a,b A q ˆω (raˆω (rb dr rψ (r/q J d ( a rj d ( b r a,b A q dr. ( a b d (3 Proof The proof is direct verification, done by substituting the asymptotic expansion for ˆω (naturally = from (3 into the intermediate term in (3. Given a pair (a, b A q A q in the double sum (3, it suffices to consider three cases, as far as the three-term expansions in (3 are concerned: the leading terms for both a and b, the leading term for a and the second term for b, 8

9 and finally the leading term for a and the remainder for b. The contribution of other combinations of terms is negligible, by the order of their asymptotics. Hence the proof has three steps.. Given (a, b, take the product of the leading terms in the sum (3. Then, cf. (8, what we get is proportional to the following quantity, involving an integral over R d : u (a/ a u (b/ b ˆφ (ξ/qˆω B ( a ξˆω B ( b ξdξ [φ q (ω B a ](x [φ q (ω B b ](xdx, (33 where ω B a (x = a d ω B( a x. The integrand in the right hand side of (33 is roughly the product of characteristic functions of concentric Euclidean annuli, of radii a and b. It vanishes if a b > q, and its integral is proportional to a d in case a = b. Thus the average value of ω B a across the Euclidean annulus of radius a and width of q is proportional to q. So we get a,b A q u (a/ a u (b/ b rψ (r/q J d ( a rj d ( b r dr q q Γ (r k,δ ( a b d k= r d k ν q (tdt. The sum in the intermediate expression is taken over consecutive -annuli of radius r k and fixed width δ q, cf. (7.. Now let us take the first term in the sum (3 for a and the second one for b and substitute them in the right-hand side of (3. Note that merely using the leading order asymptotics in this case would result in a superfluous factor r ψ (r/qdr log q. So, given (a, b A q A q we have, similarly to (33 and omitting uniform constants: ψ (r/q J d ( a rj d ( b r a d b d dr ˆφ (ξ/qˆω B ( a ξˆω B ( b ξdξ (34 = [φ q (ω B a ](x [φ q (Ω B b ](xdx { a d b d a d, a b + q, otherwise. (35 Summing in absolute value over a, b A q yields b d q d, (36 b A q a b cf. (3. 3. Finally, we estimate the contribution into (3 of the leading order term for a and the remainder for b in (3. Rewrite the integral in (3 as a,b A q I a,b and notice that without loss of generality one can assume a b. Then partition a,b A q, b a I a,b = a,b A q, b a 9 ( a b + + a b. (37

10 In the first piece we substitute for the a-term and for the b-term, this yields b A q, b a a r d dr a d b A q, b a q d. (38 For the second piece use for the b-term and zero order asymptotics ( a r d for the a-term, this yields b A q, b a b a a d r d dt d a b d+ b A q, b a q d. (39 Finally, for the third piece substitute ( a r d for the a-term terms and ( b r d+3, for the b-term to get a d b d+3 ψ (r/qt dt q d. (4 a,b A q We have shown that the upper estimates in steps,3 match the lower bound (3 for ν q. This completes the proof of Proposition Poisson formula From now on consider the case A = Z d, A q = Z d q. Then the quantities ν q (t, N q (t, E q (t can be computed directly, rather than via (4, using the Poisson summation formula. By doing this, one gets expressions for these quantities on the t-side, rather than on the Hankel transform side, cf. (9. For example, see (3, (5, for q < t < q q one has ν q (t = t d a Z d ω (x/tφ q (x adx. (4 Applying the Poisson summation formula to the convolution that the integral in (4 represents and doing the same thing for the quantities N q, E q yields, for q < t < q q : ν q (t t d N q (t t d+ E q (t t d+ a Z q ˆφ(a/qˆω (ta ν(t, a Z q ˆφ(a/qˆΩ (ta N(t, a Z q \{} ˆφ(a/qˆΩ (ta E(t. Note however that the quantities in the right hand side of (4 are unbounded as t, besides the summation is carried over the whole integer lattice. Still, there is a considerable resemblance between the expression for ν(t and the square root of the integrand in (3. Let us introduce L (R + quantities [ ν(t, Ñ(t, Ẽ(t] = ψ(t/q[ν(t, N(t, E(t]. (43 Clearly ν q ν, q (4 E q (tdt Ẽ. (44

11 Now define the quantities ν q (t, ν (t, ν (t with respect to the dual body in the same way as ν q (t, ν(t, ν(t, have been defined for (see (3, (5, (43, (4, do the same thing for the quantity E. Also with respect to, define the notation Γ, cf. (7. Note that ν (t will be given precisely by the square root of the integrand in (3, after the summation therein has been extended over the whole Z d by weighing each term with ˆφ(a/q. Since the dual quantities also satisfy (44, comparison of the expression for ν in (4 with (3 results in the following theorem. Theorem 3 For d, ν ν. (45 Note that in the definition (43 of the quantity ν there is no harm restricting the summation to Z d \ {}, which will be done further. Indeed, a = results in a regular term t d, and it is easy to check that the contribution of this term into ν is O(qd, cf. (3. The next lemma is the central ingredient to prove Theorem. Lemma 3. For d : Ẽ where R(q = O(q d in d 3 and O(log q in d =. ν (t dt + R(q, (46 + t Proof The proof follows the same pattern as the proof of Proposition.3. Namely, it consists in direct verification, done by substituting the asymptotic expansion for ˆΩ from (3 into the definition (4, (43 of Ẽ and evaluating the second moment. Given a, b Zd \ {} in the resulting double sum, it suffices to consider three cases: the leading terms for both a and b, the leading term for a and the second term for b, and finally the leading term for a and the remainder for b. Hence the proof has three steps.. For the principal terms contribution into Ẽ, omitting uniform positive constants we get a,b Z d \{} ˆφ(a/q ˆφ(b/q tψ (t/q The integral in (47, given (a, b can be rewritten as an integral over R d : J d ( a tj d ( b t ( a b d dt. (47 [(ΩB a φ q] b (ξξ [(Ω B b φ q] b (ξξdξ = x [(Ω B a φ q](x x [(Ω B b φ q](xdx. (48 where, cf. (33, Ω B a (x = a d Ω B( a x. The integral in the right-hand side of (48 is clearly zero if a b > q, while if a = b, it is O( a d. Hence, (47 is q Γ (r k, δ ψ (r k /q k= r k rd k ν (t dt, (49 + t cf. (34.

12 . For the principal a-term and second b-term in the asymptotics (3, omitting uniform constants, we get ˆφ(a/q a,b Z ˆφ(b/q J ψ d ( a tj d (t/q +( b t dt. (5 d \{} a d b d + Observe that the expression (5 is reminiscent of (35, only in dimension d +. Let w B, W B be the Lebesgue measure on S d and the characteristic function of the Euclidean unit ball in R d+, respectively. Let (y, ζ R d+ R d+, let the radial cutoff function ϕ be defined in the same way as φ, only in dimension d +. Denote ϕ q (y = q d+ ϕ(qy, w B a W B ( a a d (y = a d w B( a y, as well as W B a (y = y. Then given (a, b, the integral in (5 is a constant times [(wb a ϕ q] b (ζ ([(W B a ϕ q] b (ζ ζ dζ [(w B a ϕ q](y y [(W B a ϕ q](y dy. Thus the integral vanishes if a b > q and is approximately if a b d+ = b. Summation in absolute values over (a, b values results precisely in ( We deal with the remainder in the asymptotics (3 in the same way as it was done in Proposition.3. On this step, in the double sum in a, b Z d \ {} representing the second moment of Ẽ we use the leading term for a and the remainder for b. The demonstration consists in essentially repeating (37 4. The presence of the cutoff terms ˆφ(a/q, ˆφ(b/q allows here for restricting the summation to Z d q \ {}. Assume a b and partition each integral into three counterparts in the summation according to (37. For instance, for the first counterpart, cf. (38, we have a Z dq \{} b, b a a r d+ dr a Z d q \{} a { q d, d 3, log q, d =. The estimates of the second and third counterpart are done along the same lines as (39 and (4 and we omit them. Remark It is clear that estimating the right-hand-side of (46 which is essentially an L -estimate for ν t does not suffice to get a sharp estimate for ν, when it grows in average slower than t as t. That is why we cannot prove Theorem for d =. The logarithmic factor in the case d = 3 in the estimate ( also appears to be an artifact. 4. Proof of Theorem Theorem will follow immediately from the bound (46 of Lemma 3. and the following lemma, which somewhat generalizes the results of [8]. Lemma 4. We have the following bound: Ẽ b d (q, where b d (q = q d, d 4, q log q, d = 3, q, d =. (5 (5 (53

13 Proof There is no harm changing in(46 the lower limit of integration to and + t in the denominator to t. By definition of ν, for any t l, t u, with t u t l q and a small enough δ q, we have the representation of the integral as a Darboux sum: tu t l ν (t t dt k ν (t t Ik t ψ(t k /q δ, (54 k where the intervals I k = [t k, t k+ of length δ partition [t l, t u and choice of t [t k, t k+ is arbitrary. Then one can always choose t inside each interval I k in such a way that ] ν (t max [t d, q E (t. (55 Indeed, the first term inside the above maximum corresponds to the case of the existence ( of t I k such that ν (t t d. Otherwise, let us use the fact that de (t dt ν (t + O t d, and if ( ν (t t d, the O t d term can be omitted. Then E (t t t ν (τdτ, where at t, E has its absolute minimum in I k. Which implies that q sup Ik E (t inf Ik ν (t in this case. ( Note that due to (3 all the regular terms O in (53, and in fact stronger inequalities for d =, 3. Furthermore by (55 where ν (t t dt t d t d 3 ψ(t/qdt + that appear further would a-priori result I ν (t t dt, (56 I = {t : ν (t c 5 q E (t }, (57 for some c 5. The first integral in (56 bounded via q d for d 3 and log q for d =. Let us turn to the second integral in (56. Clearly, in order to get the upper bound, the integral can be extended from I to R +, under the assumption that ν (t c 5 q E (t everywhere (note that I can be represented as the union of intervals of length not smaller than q each. Under this assumption, we write out a dyadic decomposition: ν (t + t dt k+ k k= k ν (tdt q k= ψ( k /q d+ 4 k k k+ k Ẽ ν (tdt, (58 To get the right-hand side we have applied Cauchy-Schwartz and used the fact that in an annulus of width k the integral of ν is O( k d+, recall the scaling (5. Furthermore, using the fact that de(t dt k+ k Ẽ ν (tdt ψ( k /q ( ν (t + O(t d, we have E ( k 3 + E ( k+ 3 + k d k+ k E (tdt. (59 The cubic terms in brackets are bounded as d 3 O [ 3k( + d+ ] + 3k d q 3, (6 3

14 which follows from the well known, see e.g. [], L estimate E (t t d + d+ + q t d, (6 where E (t = t d E(t, in view of the scaling (5. It is a routine calculation to show using the decay of ψ that the contribution of these terms into (58 is well in compliance with (53. Hence we are left with Ẽ (tdt b d (q + q k( d k+ ψ( k /q Ẽ (tdt. (6 k k= Assuming that the sum above is b d (q, see (53, consider the case d 4 first. Then, as clearly we have k( d ψ( k /q q d, for d 4, (63 k= Ẽ (tdt q d Ẽ (tdt, (64 and it follows that Ẽ, Ẽ b d(q = q d, d 4, as one can certainly swap the subscript to the left-hand side. The case d =, 3 requires some extra consideration, see [8], which we have adopted from the latter reference for the sake of completeness. Recall that the quantity E has been defined with respect to the parameter q, where q is the characteristic scale of the smoothing. To reflect this fact, let us further write E = E (q, Ẽ = Ẽ(q. It is easy to verify by definition of E that for t q q, one has E ( q (t E (q (t + O(t d q. (65 Let us rewrite (6 as follows: k+ Ẽ(q (tdt b d (q + q sup Ẽ(q (tdt k b d ( k+ k( d ψ( k /q b d ( k+. (66 k= Evaluating the sum yields Ẽ(q dt b d (q k+ + sup Ẽ(q dt k b d ( k+. (67 The supremum above should be achieved for some finite k, because of the decay, built into the quantity Ẽ, due to the presence of the cutoff ψ. Then define k as follows: ( k+ m(q = max sup Ẽ(q k+ dt k b d ( k+, Ẽ(q dt b d ( k+ (68 is achieved for k = k. Without loss of generality suppose the maximum in (68 is effected by the first entry. Also suppose m(q >, otherwise the proof of Lemma 4. would be complete. 4

15 Then by definition of k, Ẽ(q dt b d (q Ẽ(q dt, (69 b ( k+ d hence k+ q. Consider now two cases, with the objective to show that m(q = O(. Case. If k+ q, then the quantity m(q, by its definition, has to be bounded by a constant times the left-hand side of (67. This implies m(q = O(. Case. Suppose now k+ q, let q = k+. Look back at the expressions (67 and (68 replacing q by q, i.e. as the statements about the quantity Ẽ( q rather than Ẽ(q. By (65, if k = k, then k+ Ẽ( q dt k+ Ẽ(q dt. (7 Otherwise, if k < k, the relation (7 should in general hold with the sign. This implies m( q m(q, in other words m( q may be thought to be achieved when k = k, so by (7 Ẽ( q dt m( q. (7 b d ( q This, similarly to Case, the statement (67 for the quantity Ẽ( q, would imply m( q = O(, so once again m(q = O(. Therefore the right-hand side of (67 always turns our to be O(. This completes the proof of Lemma 4. and Theorem. Acknowledgements: Research has been partially supported by the NSF Grant DMS-45369, EPSRC Grant GR/S368/ and the Bristol Institute for Advanced Study. References [] G. Arutyunyants, A. Iosevich. Falconer conjecture, spherical averages, and discrete analogs. Contemp. Math. 34 Towards the theory of geometric graphs, J. Pach editor ( [] J. Bourgain. Hausdorff dimension and distance sets. Israel Math. J. 87 ( [3] B. Erdogan. On the Falconer conjecture. Preprint 4. [4]. J. Falconer. The geometry of fractal sets. Cambridge Univ. Press 985. [5]. J. Falconer. On the Hausdorff dimensions of distance sets. Mathematika 3 ( [6] C. S. Herz. Fourier transforms related to convex sets. Ann. Math. 75 (96 no, 8 9. [7] A. Iosevich, M. Rudnev. A combinatorial approach to orthogonal exponentials. IMRN 5 (3, [8] A. Iosevich, E. Sawyer, A. Seeger. Mean square discrepancy bounds for the number of lattice points in large convex bodies. J. D Anal. Maths. 87 (, 9 3. [9] A. Iosevich, E. Sawyer, A. Seeger. Mean square discrepancy bounds for the number of lattice points in large convex bodies II: planar domains. (preprint (4. 5

16 [] E. Landau. Vorlesungen über Zahlentheorie, Vol. II. S. Hirzel, Leipzig 97. [] P. Mattila. Spherical averages of Fourier transforms of measures with finite energy; dimension of intersection and distance sets. Mathematica 34 (987, 7 8. [] W. Müller. On the average order of the lattice rest of a convex body. Acta Arith. 8 ( [3] J. Pach, M. Sharir. Geometric Incidences. Towards a theory of geometric graphs, Contemp. Math., 34, Amer. Math. Soc., Providence, RI, 4. [4] C. Sogge. Fourier integrals in classical analysis. Cambridge University Press 993. [5] G.N. Watson. A Treatise on the Theory of Bessel Functions, nd ed. Cambridge University Press 966. [6] T. Wolff. Decay of circular means of Fourier transforms of measures. IMRN (999, [7] T. Wolff. Lectures in harmonic analysis. Caltech Class Lecture Notes, revised by I. Laba,. Alex Iosevich: University of Missouri, Columbia, Missouri, 65 USA, iosevich@math.missouri.edu Mischa Rudnev: University of Bristol, Bristol BS6 6AL U, m.rudnev@bris.ac.uk 6