{"Affiliation":[{"label":"Affiliation","value":"Science, Faculty of","attrs":{"lang":"en","ns":"http:\/\/vivoweb.org\/ontology\/core#departmentOrSchool","classmap":"vivo:EducationalProcess","property":"vivo:departmentOrSchool"},"iri":"http:\/\/vivoweb.org\/ontology\/core#departmentOrSchool","explain":"VIVO-ISF Ontology V1.6 Property; The department or school name within institution; Not intended to be an institution name."},{"label":"Affiliation","value":"Mathematics, Department of","attrs":{"lang":"en","ns":"http:\/\/vivoweb.org\/ontology\/core#departmentOrSchool","classmap":"vivo:EducationalProcess","property":"vivo:departmentOrSchool"},"iri":"http:\/\/vivoweb.org\/ontology\/core#departmentOrSchool","explain":"VIVO-ISF Ontology V1.6 Property; The department or school name within institution; Not intended to be an institution name."}],"AggregatedSourceRepository":[{"label":"AggregatedSourceRepository","value":"DSpace","attrs":{"lang":"en","ns":"http:\/\/www.europeana.eu\/schemas\/edm\/dataProvider","classmap":"ore:Aggregation","property":"edm:dataProvider"},"iri":"http:\/\/www.europeana.eu\/schemas\/edm\/dataProvider","explain":"A Europeana Data Model Property; The name or identifier of the organization who contributes data indirectly to an aggregation service (e.g. Europeana)"}],"Campus":[{"label":"Campus","value":"UBCV","attrs":{"lang":"en","ns":"https:\/\/open.library.ubc.ca\/terms#degreeCampus","classmap":"oc:ThesisDescription","property":"oc:degreeCampus"},"iri":"https:\/\/open.library.ubc.ca\/terms#degreeCampus","explain":"UBC Open Collections Metadata Components; Local Field; Identifies the name of the campus from which the graduate completed their degree."}],"Creator":[{"label":"Creator","value":"Hambrook, Kyle David","attrs":{"lang":"en","ns":"http:\/\/purl.org\/dc\/terms\/creator","classmap":"dpla:SourceResource","property":"dcterms:creator"},"iri":"http:\/\/purl.org\/dc\/terms\/creator","explain":"A Dublin Core Terms Property; An entity primarily responsible for making the resource.; Examples of a Contributor include a person, an organization, or a service."}],"DateAvailable":[{"label":"DateAvailable","value":"2015-07-13T19:04:35Z","attrs":{"lang":"en","ns":"http:\/\/purl.org\/dc\/terms\/issued","classmap":"edm:WebResource","property":"dcterms:issued"},"iri":"http:\/\/purl.org\/dc\/terms\/issued","explain":"A Dublin Core Terms Property; Date of formal issuance (e.g., publication) of the resource."}],"DateIssued":[{"label":"DateIssued","value":"2015","attrs":{"lang":"en","ns":"http:\/\/purl.org\/dc\/terms\/issued","classmap":"oc:SourceResource","property":"dcterms:issued"},"iri":"http:\/\/purl.org\/dc\/terms\/issued","explain":"A Dublin Core Terms Property; Date of formal issuance (e.g., publication) of the resource."}],"Degree":[{"label":"Degree","value":"Doctor of Philosophy - PhD","attrs":{"lang":"en","ns":"http:\/\/vivoweb.org\/ontology\/core#relatedDegree","classmap":"vivo:ThesisDegree","property":"vivo:relatedDegree"},"iri":"http:\/\/vivoweb.org\/ontology\/core#relatedDegree","explain":"VIVO-ISF Ontology V1.6 Property; The thesis degree; Extended Property specified by UBC, as per https:\/\/wiki.duraspace.org\/display\/VIVO\/Ontology+Editor%27s+Guide"}],"DegreeGrantor":[{"label":"DegreeGrantor","value":"University of British Columbia","attrs":{"lang":"en","ns":"https:\/\/open.library.ubc.ca\/terms#degreeGrantor","classmap":"oc:ThesisDescription","property":"oc:degreeGrantor"},"iri":"https:\/\/open.library.ubc.ca\/terms#degreeGrantor","explain":"UBC Open Collections Metadata Components; Local Field; Indicates the institution where thesis was granted."}],"Description":[{"label":"Description","value":"In the first part of this thesis, I prove the sharpness of the exponent range in the L\u00b2 Fourier restriction theorem due to Mockenhaupt and Mitsis (with endpoint estimate due to Bak and Seeger) for measures on \u211d. The proof is based on a random Cantor-type construction of Salem sets due to Laba and Pramanik. The key new idea is to embed in the Salem set a small deterministic Cantor set that disrupts the restriction estimate for the natural measure on the Salem set but does not disrupt the measure's Fourier decay. In the second part of this thesis, I prove a lower bound on the Fourier dimension of \u0395(\u211a,\u03c8,\u03b8) = {x \u220a \u211d : \u2016qx - \u03b8\u2016 \u2264 \u03c8(q) for infinitely many q \u220a \u211a}, where \u211a is an infinite subset of \u2124, \u03a8 : \u2124 \u2192 (0,\u221e), and \u03b8 \u220a \u211d. This generalizes theorems of Kaufman and Bluhm and yields new explicit examples of Salem sets. I also prove a multi-dimensional analog of this result. I give applications of these results to metrical Diophantine approximation and determine the Hausdorff dimension of \u0395(\u211a,\u03c8,\u03b8) in new cases.","attrs":{"lang":"en","ns":"http:\/\/purl.org\/dc\/terms\/description","classmap":"dpla:SourceResource","property":"dcterms:description"},"iri":"http:\/\/purl.org\/dc\/terms\/description","explain":"A Dublin Core Terms Property; An account of the resource.; Description may include but is not limited to: an abstract, a table of contents, a graphical representation, or a free-text account of the resource."}],"DigitalResourceOriginalRecord":[{"label":"DigitalResourceOriginalRecord","value":"https:\/\/circle.library.ubc.ca\/rest\/handle\/2429\/54044?expand=metadata","attrs":{"lang":"en","ns":"http:\/\/www.europeana.eu\/schemas\/edm\/aggregatedCHO","classmap":"ore:Aggregation","property":"edm:aggregatedCHO"},"iri":"http:\/\/www.europeana.eu\/schemas\/edm\/aggregatedCHO","explain":"A Europeana Data Model Property; The identifier of the source object, e.g. the Mona Lisa itself. This could be a full linked open date URI or an internal identifier"}],"FullText":[{"label":"FullText","value":"Restriction Theorems and Salem SetsbyKyle David HambrookA thesis submitted in partial fulfillment of the requirements forthe degree ofDoctor of PhilosophyinThe Faculty of Graduate and Postdoctoral Studies(Mathematics)The University of British Columbia(Vancouver)July 2015c\u00a9 Kyle David Hambrook, 2015AbstractIn the first part of this thesis, I prove the sharpness of the exponent range in theL2 Fourier restriction theorem due to Mockenhaupt [37] and Mitsis [35] (with theendpoint due to Bak and Seeger [1]) for measures on R. The proof is based on arandom Cantor-type construction of Salem sets due to Laba and Pramanik [31]. Thekey new idea is to embed in the Salem set a small deterministic Cantor set thatdisrupts the restriction estimate for the natural measure on the Salem set but doesnot disrupt the measure\u2019s Fourier decay.In the second part of this thesis, I prove a lower bound on the Fourier dimensionofE(Q,\u03a8, \u03b8) = {x \u2208 R : \u2016qx\u2212 \u03b8\u2016 \u2264 \u03a8(q) for infinitely many q \u2208 Q},where Q is an infinite subset of Z, \u03a8 : Z \u2192 [0,\u221e), and \u03b8 \u2208 R. This generalizestheorems of Kaufman [29] and Bluhm [5] and yields new explicit examples of Salemsets. I also prove a multi-dimensional analog of this result. I give applications ofthese results to metrical Diophantine approximation and determine the Hausdorffdimension of E(Q,\u03a8, \u03b8) in new cases.iiPrefaceThe main result in Chapter 2 of this thesis is a stronger version of the main result inthe paper [23], published by Izabella Laba and myself. The proof of the main resultin Chapter 2 is a minor reformulation of the proof of the main result in [23].Chapter 3 of this thesis is adapted from my paper [22], which has been submittedfor publication. Some of the text of [22] has been used verbatim in this thesis. I amthe sole author of [22].iiiTable of ContentsAbstract . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iiPreface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iiiTable of Contents . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ivAcknowledgements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . viDedication . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . vii1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.1 Notation, Conventions, and Basic Definitions . . . . . . . . . . . . . . 41.2 Hausdorff and Fourier Dimension; Salem Sets . . . . . . . . . . . . . 71.3 Restriction Theorems . . . . . . . . . . . . . . . . . . . . . . . . . . . 92 The Sharpness of the Exponents in the Mockenhaupt-Mitsis-Bak-Seeger Restriction Theorem . . . . . . . . . . . . . . . . . . . . . . . . 172.1 Theorem 2.0.3 Implies Theorem 2.0.2 . . . . . . . . . . . . . . . . . . 202.2 The Numbers r, s, t, n, Sj, Tj, Nj, and Lj . . . . . . . . . . . . . . . 222.3 The Sequences of Sets (Aj)\u221ej=0 and (Pj)\u221ej=0 . . . . . . . . . . . . . . . 232.4 The Measures \u00b5 and \u00b5j; The Functions fl . . . . . . . . . . . . . . . 242.5 Existence of the Weak Limit . . . . . . . . . . . . . . . . . . . . . . . 252.6 The Ball Condition . . . . . . . . . . . . . . . . . . . . . . . . . . . . 262.7 The Crucial Inequality . . . . . . . . . . . . . . . . . . . . . . . . . . 26iv2.8 Proof of the Crucial Inequality. I. . . . . . . . . . . . . . . . . . . . . 282.9 Proof of the Crucial Inequality. II. . . . . . . . . . . . . . . . . . . . 322.10 Proof of the Crucial Inequality. III. . . . . . . . . . . . . . . . . . . . 342.11 The Fourier Decay of \u00b5 . . . . . . . . . . . . . . . . . . . . . . . . . . 362.12 The Convergence of \u2016f\u0302l\u00b5j\u20162r2r to \u2016f\u0302l\u00b5\u20162r2r . . . . . . . . . . . . . . . . . 372.13 A Lower Bound on \u2016f\u0302l\u00b5j\u20162r2r . . . . . . . . . . . . . . . . . . . . . . . 382.14 The Divergence of \u2016f\u0302l\u00b5\u2016p\/\u2016fl\u2016L2(\u00b5) . . . . . . . . . . . . . . . . . . . 423 Explicit Salem Sets and Applications to Metrical Diophantine Ap-proximation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 443.1 Remarks on the Proof of Theorems 3.0.1 and 3.0.2 . . . . . . . . . . . 463.2 Motivation: Explicit Salem Sets . . . . . . . . . . . . . . . . . . . . . 473.3 Motivation: Metrical Diophantine Approximation . . . . . . . . . . . 503.4 Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 533.5 Proof of Theorems 3.0.1 and 3.0.2: The Key Function . . . . . . . . . 593.6 Proof of Theorems 3.0.1 and 3.0.2: The Main Lemma . . . . . . . . . 623.7 Proof of Theorems 3.0.1 and 3.0.2: The Measure . . . . . . . . . . . . 653.8 Proof of Lemma 3.3.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . 664 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 694.1 Contributions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 694.2 Directions for Future Work . . . . . . . . . . . . . . . . . . . . . . . . 71Bibliography . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74Appendix A Hoeffding\u2019s Inequality . . . . . . . . . . . . . . . . . . . . . 79Appendix B A Fourier Decay Lemma . . . . . . . . . . . . . . . . . . . 81vAcknowledgementsI thank my supervisor, Izabella Laba, for her invaluable guidance throughout myPh.D. She taught me how to be a mathematician.I thank my supervisory committee members, Malabika Pramanik and Akos Mag-yar, for their advice and their time.I thank my fiance\u00b4e, Yumi Kondo, for her emotional support throughout my Ph.D.Every mathematical breakthrough I have had during my Ph.D. was made sitting byher side.viDedicationTo YumiviiChapter 1IntroductionWe will begin this chapter by stating the main results of this thesis so that expertscan quickly discern its contribution. The notation, conventions, and basic definitionsused in this thesis are described in Section 1.1. Section 1.2 discusses the conceptsof Hausdorff dimension, Fourier dimension, and Salem sets and describes the con-tribution of this thesis to the study of these concepts. Section 1.3 provides detailedbackground and motivation for the restriction problem. It also explains the contri-bution of this thesis to the study of the restriction problem.This thesis consists of two main parts.The first part concerns the following L2 Fourier restriction theorem.Theorem 1.0.1. Let \u00b5 be a compactly supported probability measure on Rd. Supposethere are \u03b1, \u03b2 \u2208 (0, d) such that\u00b5(B(x, r)) . r\u03b1 \u2200x \u2208 Rd, r > 0,(A)|\u00b5\u0302(\u03be)| . (1 + |\u03be|)\u2212\u03b2\/2 \u2200\u03be \u2208 Rd.(B)Then for all p \u2265 2(2d\u2212 2\u03b1 + \u03b2)\/\u03b2 we have\u2016f\u0302\u00b5\u2016p . \u2016f\u2016L2(\u00b5) \u2200f \u2208 L2(\u00b5).(1.0.1)Mockenhaupt [37] and Mitsis [35] independently proved Theorem 1.0.1 for p >12(2d \u2212 2\u03b1 + \u03b2)\/\u03b2. The endpoint case p = 2(2d \u2212 2\u03b1 + \u03b2)\/\u03b2 was proved by Bakand Seeger [1]. Theorem 1.0.1 generalizes the Tomas-Stein theorem, which is thefollowing.Theorem 1.0.2 (Tomas-Stein theorem). Let \u00b5 be the uniform probability measureon the unit sphere Sd\u22121 in Rd, d \u2265 2. Then for all p \u2265 (2d+ 2)\/(d\u2212 1) we have\u2016f\u0302\u00b5\u2016p . \u2016f\u2016L2(\u00b5) \u2200f \u2208 L2(\u00b5).Theorem 1.0.1 implies the Tomas-Stein theorem because (A) and (B) hold with\u03b1 = \u03b2 = d\u2212 1 when \u00b5 is the uniform probability measure on Sd\u22121.The range of p in the Tomas-Stein theorem is optimal in the sense that thetheorem does not hold if (2d + 2)\/(d \u2212 1) is replaced by any smaller number. Thecounterexample that shows this is called the Knapp example. In the Knapp example,f is taken to be the characteristic function of a small (hence almost flat) sphericalcap (cf. [49, Chapter 7]).Since Theorem 1.0.1 contains the Tomas-Stein theorem as a special case, therange of p in Theorem 1.0.1 is also optimal. However, one can still ask whetherthe range of p in Theorem 1.0.1 is optimal for specific classes of measures. TheTomas-Stein theorem and analogs for curved hypersurfaces besides the sphere wereknown for a long time (cf. [43]). The point of Theorem 1.0.1 is that it also applies tomeasures on fractal sets and to measures on the real line R. Therefore, it is naturalto ask whether the range of p in Theorem 1.0.1 is optimal for such measures. Thisquestion is difficult because there is no obvious analog of the Knapp example (withits almost flat spherical cap) for such measures.The main result of the first part of this thesis is the following theorem, whichshows that the range of p in Theorem 1.0.1 is optimal for measures \u00b5 on R thatsatisfy (A) and (B) with \u03b2 \u2264 \u03b1.Theorem 1.0.3. Given any 0 < \u03b2 \u2264 \u03b1 < 1 and given any p\u2217 < 2(2 \u2212 2\u03b1 + \u03b2)\/\u03b2there is a compactly supported probability measure on R that satisfies (A) and (B)but fails to satisfy (2.0.1) whenever p \u2264 p\u2217.2Chapter 2 of this thesis is devoted to Theorem 1.0.3 (and a slightly strongervariant). Theorem 1.0.3 strengthens a result proved by Izabella Laba and myself in2013 [23]. The proof of Theorem 1.0.3 is a minor modification of the proof givenin [23], but it gives a stronger result. More details on how the argument in thisthesis differs from the argument in [23] are also given in Chapter 2. Background onrestriction theorems and further motivation for Theorem 1.0.3 is given in Section 1.3of the current chapter.The second part of this thesis concerns the explicit construction of Salem sets.A Salem set is a subset of Rd whose Hausdorff and Fourier dimension are equal.Every countable set in Rd is Salem set of dimension 0, and Rd itself is a Salem setof dimension d. The classic example of a non-trivial Salem set is a sphere in Rd,which is a Salem set of dimension d \u2212 1. The existence of Salem sets in R of arbi-trary dimension \u03b1 \u2208 (0, 1) was proved by Salem [41] using a random Cantor-typeconstruction. Kahane [27] showed that for every \u03b1 \u2208 (0, d) there is a Salem set inRd of dimension \u03b1 by considering the images of compact subsets of R under certainstochastic processes (see also Chapters 17 and 18 of [28]). Moreover, Kahane [28,Chapter 18] showed that the image of any compact subset of Rd under fractionalBrownian motion is almost surely a Salem set, indicating that Salem sets are ubiqui-tous amongst random sets. Recently, other random constructions of Salem sets havebeen given by Bluhm [6] and Laba and Pramanik [31]. These random constructionscannot produce any explicit examples of Salem sets. Kaufman [29] was the first tofind an explicit Salem set of dimension \u03b1 \/\u2208 {0, d\u2212 1, d}. The set Kaufman provedto be Salem is{x \u2208 R : \u2016qx\u2016 \u2264 |q|\u2212\u03c4 for infinitely many q \u2208 Z},where \u03c4 > 1 and \u2016z\u2016 denotes the distance from z \u2208 R to the nearest integer. Thatthis set has Hausdorff dimension 2\/(1+\u03c4) is the classical Jarn\u00b4\u0131k-Besicovitch theorem[26], [3]. Kaufman showed the Fourier dimension of this set is also 2\/(1 + \u03c4). In his3thesis, Bluhm [5] generalized Kaufman\u2019s result by showing that the set{x \u2208 R : \u2016qx\u2016 \u2264 \u03c8(|q|) for infinitely many q \u2208 Z}is a Salem set for any decreasing function \u03c8 : N \u2192 (0,\u221e). Using a theorem ofGatesoupe [19], explicit Salem sets in Rd of any dimension \u03b1 between d \u2212 1 and dcan be obtained by considering radial versions of the sets of Kaufman and Bluhm.Besides those already mentioned, no other explicit constructions of Salem setsin R of dimension \u03b1 6= 0, 1 or in Rd of dimension \u03b1 6= 0, d \u2212 1, d were known untilnow. Moreover, even now, no explicit sets in Rd (Salem or otherwise) with Fourierdimension strictly between 1 and d\u2212 1 are known.The main results of the second part of this thesis generalize the theorems ofKaufman [29] and Bluhm [5] and exhibit many new explicit Salem sets in R. To bemore specific, let Q be an infinite subset of Z, let \u03a8 : Z\u2192 [0,\u221e), and let \u03b8 \u2208 R. Weprove a lower bound on the Fourier dimension of the set{x \u2208 R : \u2016qx\u2212 \u03b8\u2016 \u2264 \u03a8(q) for infinitely many q \u2208 Q}and prove that it is Salem set for many sets Q and functions \u03a8 (regardless of thevalue of \u03b8). We also prove a multi-dimensional analog of this result and exhibit newexplicit sets in Rd with Fourier dimension larger than 1. We give applications of theseresults to metrical Diophantine approximation. Chapter 3 of this thesis is devotedto these results. A paper on these results was submitted for publication in 2014 (see[22]).1.1 Notation, Conventions, and Basic DefinitionsIn this section, we explain the notation and conventions we use that may be lessthan universal. We also give some basic definitions.The expression X . Y stands for \u201cthere is a constant C > 0 such that X \u2264 CY .\u201dThe expression X & Y is analogous.4If A \u2286 Rd is a finite set, |A| is the cardinality of A. If A \u2286 Rd is an infinite set,|A| is the Lebesgue outer measure of A.For any A,B \u2286 R and c \u2208 R we defineA+B = {a+ b : a \u2208 A, b \u2208 B} ,c+ A = {c+ a : a \u2208 A} ,cA = {ca : a \u2208 A} .The diameter of a set A \u2286 Rd is diam(A) = sup {|x\u2212 y| : x, y \u2208 A}. For x \u2208 Rdand r > 0, B(x, r) denotes the open ball in the Euclidean norm with center x andradius r.We let N = {1, 2, . . .} be the set of positive integers and N0 = {0, 1, 2, . . .} be theset of non-negative integers. For n \u2208 N, let [n] = {0, . . . , n\u2212 1}.For x \u2208 R, \u2016x\u2016 = mink\u2208Z |x\u2212 k| is the distance from x to the nearest integer.The support of a function f : Rd \u2192 C is the closure of the set of points x \u2208 Rdwhere f(x) 6= 0; it is denoted supp(f).For k \u2208 N, we let Ck(Rd) denote the set of functions f : Rd \u2192 C that are k-timescontinuously differentiable. We let C\u221e(Rd) denote the set of functions f : Rd \u2192 Cthat are infinitely differentiable. For k \u2208 N \u222a {\u221e}, we let Ckc (Rd) denote the setof functions f \u2208 Ck(Rd) with compact support. When no confusion is possible, wewrite Ck for Ck(Rd) and Ckc for Ckc (Rd).Every measure on Rd we consider will be assumed to be defined on a \u03c3-algebraon Rd that contains the Borel \u03c3-algebra on Rd.The support of a measure on Rd is the smallest closed set whose complement hasmeasure 0. Thus any measurable set disjoint from the support has measure 0. Anyset that contains the support of a measure is said to support that measure. We writesupp(\u00b5) for the support of a measure \u00b5 on Rd.A probability measure on Rd is a measure \u00b5 with \u00b5(Rd) = 1.5Let \u00b5 be a measure on Rd. For any \u00b5-measurable function f : Rd \u2192 C,\u2016f\u2016Lp(\u00b5) =(\u222bRd|f(x)|pd\u00b5(x))1\/pif 1 \u2264 p <\u221e,\u2016f\u2016L\u221e(\u00b5) = inf{C \u2265 0 : |f(x)| \u2264 C for \u00b5-almost every x \u2208 Rd}.For p \u2208 [1,\u221e], the space of \u00b5-measurable functions f : Rd \u2192 C with \u2016f\u2016Lp(\u00b5) < \u221eis denoted Lp(\u00b5). It is a complete normed vector space with norm \u2016 \u2016Lp(\u00b5) (providedwe identify functions that are equal \u00b5-almost everywhere).The Lebesgue measure on Rd will be denoted by \u03bb. We will often use the notationLp(Rd) = Lp(\u03bb) and \u2016f\u2016p = \u2016f\u2016Lp(Rd) = \u2016f\u2016Lp(\u03bb).The Fourier transform of an L1(\u03bb) function f : Rd \u2192 C is defined byf\u0302(\u03be) =\u222bRde\u22122piix\u00b7\u03bef(x)dx for all \u03be \u2208 Rd.If \u00b5 is a measure on Rd and f : Rd \u2192 C is an L1(\u00b5) function, we definef\u0302\u00b5(\u03be) =\u222bRde\u22122piix\u00b7\u03bef(x)d\u00b5(x) for all \u03be \u2208 Rd.(1.1.1)The Fourier transform of a finite complex-valued measure \u00b5 on Rd is defined by\u00b5\u0302(\u03be) =\u222bRde\u22122piix\u00b7\u03bed\u00b5(x) for all \u03be \u2208 Rd.Let V and W be vector spaces with norms \u2016 \u2016V and \u2016 \u2016W , respectively. A linearoperator T : V \u2192 W is called bounded if there is a constant C > 0 such that\u2016T (v)\u2016W \u2264 C\u2016v\u2016V \u2200v \u2208 V.A linear operator T : V \u2192 W is continuous if and only if it is bounded.61.2 Hausdorff and Fourier Dimension; Salem SetsFor \u03b1 \u2265 0, the \u03b1-dimensional Hausdorff content of a set A \u2286 Rd isH\u03b1(A) = infB\u2211B\u2208B(diam(B))\u03b1,where the infimum is over all countable collections B of balls such that A \u2286\u22c3B\u2208B B,and diam(C) denotes the diameter of a set C \u2286 Rd.The Hausdorff dimension of a set A \u2286 Rd is the supremum of all \u03b1 \u2208 [0, d] suchthat H\u03b1(A) > 0. It is denoted by dimH(A).The following lemma is due to Frostman [18] (cf. [34, Chapter 12], [49, Chapter8]).Lemma 1.2.1 (Frostman\u2019s lemma). If A \u2286 Rd is a Borel set, the Hausdorff dimen-sion of A is the supremum of all \u03b1 \u2208 [0, d] such that\u00b5(B(x, r)) . r\u03b1 \u2200x \u2208 Rd, r > 0for some probability measure \u00b5 on Rd with supp(\u00b5) \u2286 A.The Fourier dimension of a set A \u2286 Rd is the supremum of all \u03b2 \u2208 [0, d] such that|\u00b5\u0302(\u03be)| . (1 + |\u03be|)\u2212\u03b2\/2 \u2200\u03be \u2208 Rdfor some probability measure \u00b5 on Rd with supp(\u00b5) \u2286 A. It is denoted by dimF (A).It is a well-known consequence of Frostman\u2019s lemma thatdimF (A) \u2264 dimH(A)(1.2.1)for all Borel sets A \u2286 Rd (cf. [34, Chapter 12], [49, Chapter 8]).A set A \u2286 Rd with dimF (A) = dimH(A) is called a Salem set.Here are some examples of Salem sets. Every countable set in Rd is a Salem setof dimension 0. More generally, every Borel set in Rd of Hausdorff dimension 0 is7a Salem set of dimension 0. The set Rd itself is a Salem set of dimension d. Moregenerally, every set in Rd that contains a ball is a Salem set of dimension d. Everysphere in Rd is a Salem set of dimension d\u2212 1.Here are some examples of non-Salem sets. All k-dimensional planes in Rd withk < d have Hausdorff dimension k and Fourier dimension 0. The middle-thirds Can-tor set in R has Hausdorff dimension (ln 2)\/(ln 3) and Fourier dimension 0. Ko\u00a8rner[30] showed that for any given 0 \u2264 \u03b2 < \u03b1 \u2264 1 there is a compact subset of R withFourier dimension \u03b2 and Hausdorff dimension \u03b1.Note that the concepts of Fourier dimension and Salem sets depend on the am-bient space, unlike the concept of Hausdorff dimension. For example, the real lineR is a Salem set of dimension 1, but a line in R2 (which we can regard as a copyof R embedded in R2) is a non-Salem set with Hausdorff dimension 1 and Fourierdimension 0.The existence of Salem sets in R for every dimension \u03b1 \u2208 (0, 1) was first provedby Salem [41] using a random Cantor-type construction. The existence of Salem setsin Rd for every dimension \u03b1 \u2208 (0, d) was first proved by Kahane [27] (cf. Chapters17 and 18 of [28])) who considered the images of compact subsets of R under certainstochastic processes. Other random constructions of Salem sets have been given byBluhm [6] and Laba and Pramanik [31]. These random constructions do not produceany explicit examples of Salem sets. In fact, it is quite difficult to find explicit Salemsets in Rd of dimensions other than 0, d \u2212 1, and d. The first person to do so wasKaufman [29]. He proved that the set{x \u2208 R : \u2016qx\u2016 \u2264 |q|\u2212\u03c4 for infinitely many q \u2208 Z},where \u03c4 > 1, is a Salem set of dimension 2\/(1 + \u03c4). Bluhm [5] showed that replacing|q|\u2212\u03c4 by \u03c8(|q|) for any decreasing function \u03c8 : N \u2192 (0,\u221e) also yields a Salem set.No other explicit examples of Salem sets in R with dimension 0 < \u03b1 < 1 were knownuntil now. A theorem of Gatesoupe [19] shows that for any Salem set E contained in[0, 1] of dimension 0 < \u03b1 < 1, the set of points x \u2208 Rd such that |x| \u2208 E is a Salemset of dimension d\u2212 1 + \u03b1. As it is not difficult to modify Kaufman\u2019s proof to show8that{x \u2208 [0, 1] : \u2016qx\u2016 \u2264 |q|\u2212\u03c4 for infinitely many q \u2208 Z}is a Salem set of dimension 2\/(1 + \u03c4) when \u03c4 > 1, Gatesoupe\u2019s theorem leads toexplicit Salem sets in Rd of every dimension \u03b1 \u2208 (d \u2212 1, d). No explicit examplesof Salem sets in Rd of dimension less than d \u2212 1 are known. Moreover, no explicitsets (Salem or otherwise) in Rd of Fourier dimension strictly between 1 and d\u22121 areknown.In this thesis we generalize the theorems of Kaufman [29] and Bluhm [5]. To bemore specific, let Q be an infinite subset of Z, let \u03a8 : Z\u2192 [0,\u221e), and let \u03b8 \u2208 R. Weprove a lower bound on the Fourier dimension of the set{x \u2208 R : \u2016qx\u2212 \u03b8\u2016 \u2264 \u03a8(q) for infinitely many q \u2208 Q} ,and prove that it is Salem for many sets Q and functions \u03a8 (regardless of the value of\u03b8). We also prove a multi-dimensional analog of this result and exhibit new explicitsets in Rd with Fourier dimension larger than 1. We give applications of these resultsto metrical Diophantine approximation.1.3 Restriction TheoremsThe restriction problem is one of the most important problems in harmonic analysis.It is connected to many other important problems in mathematical analysis, includ-ing the Kakeya conjecture, the Bochner-Riesz conjecture, the estimation of solutionsto the wave, Schroedinger, and Helmholtz equations, and the local smoothing conjec-ture for partial differential equations (cf. [45]). It is even connected to Montgomery\u2019sconjecture in analytic number theory on the size of Dirichlet sums (see [9] and [10]).The restriction problem was originally proposed by Stein in the late 1960s. Itoriginates from the study of the boundedness of the Fourier transform as a linearoperator between Lp spaces. To motivate it, we begin with the simplest case. Recall9that the Fourier transform of a function f \u2208 L1(\u03bb) is defined byf\u0302(\u03be) =\u222bRde\u22122piix\u00b7\u03bef(x)dx for all \u03be \u2208 Rd.(1.3.1)It is easy to see that the Fourier transform operator f 7\u2192 f\u0302 is linear. Moreover, theinequality |\u222bRd e\u22122piix\u00b7\u03bef(x)dx| \u2264\u222bRd |f(x)|dx implies\u2016f\u0302\u2016L\u221e(\u00b5) \u2264 \u2016f\u20161for any measure \u00b5, meaning the Fourier transform is always a bounded linear operatorfrom L1(\u03bb) to L\u221e(\u00b5).The restriction problem asks: For which measures \u00b5 on Rd and for which valuesof p and q is the Fourier transform a bounded linear operator from Lp(\u03bb) to Lq(\u00b5)?In other words, it asks: For which measures \u00b5 on Rd and for which values of p andq do we have an inequality of the form\u2016f\u0302\u2016Lq(\u00b5) \u2264 Cp,q\u2016f\u2016p(1.3.2)for all functions f in Lp(\u03bb)? Here Cp,q is a constant. The inequality (1.3.2) is calleda restriction inequality.Before saying anything more, there is a technical issue in (1.3.2) we need toaddress. We haven\u2019t defined f\u0302 for functions f outside of L1(\u03bb). In fact, it is nottrue that the integral in (1.3.1) exists for all f in Lp(\u03bb) when p > 1. However, theintegral in (1.3.1) is certainly defined when f \u2208 C\u221ec (Rd). A standard applicationof Khinchin\u2019s inequality (cf. [49, Chapter 4]) shows that (1.3.2) cannot hold for allf \u2208 C\u221ec (Rd) when p > 2, so we can restrict attention to p \u2264 2. If for some p and q wehave (1.3.2) for all f \u2208 C\u221ec (Rd), then (since C\u221ec (Rd) is dense in Lp(\u03bb)) the Fouriertransform can be extended uniquely to all f \u2208 Lp(\u03bb) in such a way that (1.3.2) holdsfor all f \u2208 Lp(\u03bb). Moreover, the extension agrees with (1.3.1) when f \u2208 L1(\u03bb). Inlight of this discussion, it is technically cleaner to view the restriction problem asasking: When does an inequality of the form (1.3.2) hold for all f \u2208 C\u221ec (Rd)?10One can view the restriction problem as the problem of generalizing the classi-cal Hausdorff-Young theorem, which says that the Fourier transform is a boundedoperator from Lp(\u03bb) to Lq(\u03bb) if and only if 1 \u2264 p \u2264 2 and q = p\u2032 = p\/(p\u2212 1).To understand the term restriction in this context, note \u2016f\u0302\u2016Lq(\u00b5) = \u2016f\u0302 1S\u2016Lq(\u00b5),where S is the support of the measure \u00b5. So (1.3.2) says the Fourier restrictionoperator that maps f to f\u0302 1S (i.e., maps f to the restriction of the Fourier transformof f to the set S) is a bounded operator from Lp(\u03bb) to Lq(\u00b5).As noted above, the Fourier transform is a bounded operator from L1(\u03bb) to L\u221e(\u00b5)for any measure \u00b5. If \u00b5 is absolutely continuous with respect to Lebesgue measure,the proof of the Hausdorff-Young theorem can be modified to give a restrictioninequality (1.3.2) with p and q depending on the regularity and support of the densityfunction of \u00b5.The restriction problem gets interesting if \u00b5 is singular with respect to Lebesguemeasure, so that the support of \u00b5 has Lebesgue measure 0. If p > 1, the Fouriertransform of an Lp(\u03bb) function may be infinite on a set of Lebesgue measure 0. If theintersection of that set with the support of \u00b5 has positive \u00b5-measure, the left-handside of (1.3.2) will be infinite. Hence f 7\u2192 f\u0302 may not be a bounded operator fromLp(\u03bb) to Lq(\u00b5) for any q when \u00b5 is singular.So which singular measures should we consider? Well, if the support S of \u00b5 iscontained in a hyperplane in Rd, we can construct a function that is in Lp(\u03bb) forevery p > 1 and whose Fourier transform is infinite on all of S. For instance, if\u03c8 : Rd\u22121 \u2192 C is any continuous compactly supported function, then the function fdefined byf(x1, . . . , xd) =\u03c8(x2, . . . , xd)1 + |x1|is in Lp(\u03bb) for every p > 1, but its Fourier transform is infinite everywhere on thehyperplane{\u03be \u2208 Rd : \u03be1 = 0}. Hence we must consider measures \u00b5 supported on setsthat are not flat.Perhaps the most natural singular measure to consider is the uniform probabilitymeasure on Sd\u22121, the unit sphere in Rd. Indeed, this is the measure Stein consideredwhen he first proposed the restriction problem in the late 1960s.11To discuss specific results, it will be convenient to restate the restriction problemin its equivalent dual form. We do so via the following lemma.Lemma 1.3.1. Let \u00b5 be a finite measure on Rd. Let p \u2208 [1,\u221e), p\u2032 \u2208 (1,\u221e], andq, q\u2032 \u2208 [1,\u221e] be such that 1p +1p\u2032 = 1,1q +1q\u2032 = 1. The following statements areequivalent.\u2016g\u0302\u2016Lq(\u00b5) \u2264 C\u2016g\u2016p \u2200g \u2208 C\u221ec (Rd).(1.3.3)\u2016h\u0302\u00b5\u2016p\u2032 \u2264 C\u2016h\u2016Lq\u2032 (\u00b5) \u2200h \u2208 Lq\u2032(\u00b5).(1.3.4)Proof. We show only that (1.3.3) implies (1.3.4) as the reverse implication is analo-gous. By Fubini\u2019s theorem, Ho\u00a8lder\u2019s inequality, and (1.3.3), we have\u2223\u2223\u2223\u2223\u222bRdg(y)h\u0302\u00b5(y)dy\u2223\u2223\u2223\u2223 =\u2223\u2223\u2223\u2223\u222bRdg\u0302(x)h(x)d\u00b5(x)\u2223\u2223\u2223\u2223 \u2264 \u2016g\u0302\u2016Lq(\u00b5)\u2016h\u2016Lq\u2032 (\u00b5) \u2264 C\u2016g\u2016p\u2016h\u2016Lq\u2032 (\u00b5)for all g \u2208 C\u221ec (Rd) and h \u2208 Lq\u2032(\u00b5). By applying the formula\u2016h\u0302\u00b5\u2016p\u2032 = sup{\u2223\u2223\u2223\u2223\u222bRdg(y)h\u0302\u00b5(y)dy\u2223\u2223\u2223\u2223 : g \u2208 C\u221ec (Rd), \u2016g\u2016p = 1}(cf. [17, Chapter 6]), we obtain (1.3.4).Since \u00b5 is assumed to be finite in Lemma 1.3.1, Lq\u2032(\u00b5) \u2286 L1(\u00b5) and h\u0302\u00b5 is well-defined by (1.1.1) for every h \u2208 Lq\u2032(\u00b5). An analog of Lemma 1.3.1 can be provedwithout the hypothesis that \u00b5 is finite. However, to avoid complications, we consideronly finite measures from now on.In light of Lemma 1.3.1, it is clear an equivalent formulation of the restrictionproblem is the following. For which measures \u00b5 on Rd and for which values of p andq do we have an inequality of the form\u2016f\u0302\u00b5\u2016p \u2264 Cp,q\u2016f\u2016Lq(\u00b5)(1.3.5)for all functions f in Lq(\u00b5)?12Now we discuss some specific results on the restriction problem.We start with a conjecture of Stein.Conjecture 1.3.2 (Stein\u2019s restriction conjecture). If \u00b5 is the uniform probabilitymeasure on the unit sphere Sd\u22121 in Rd, then (1.3.5) holds for all p > 2d\/(d \u2212 1)when q =\u221e.In 1970, Fefferman and Stein (see [16], [43]) proved the conjecture for d = 2, butit remains open for d \u2265 3 (and is nonsense for d = 1).Another foundational result on the restriction problem is the Tomas-Stein theo-rem of 1975 (see [43], [46], [47]).Theorem 1.3.3 (Tomas-Stein theorem). If \u00b5 is the uniform probability measure onthe unit sphere Sd\u22121 in Rd, then (1.3.5) holds for all p \u2265 (2d+2)\/(d\u22121) when q = 2.Many researchers have studied the restriction problem for hypersurfaces besidesthe sphere, the restriction problem for surfaces of lower dimension, and analogs ofthe restriction problem in finite fields and in the primes (cf. [2], [12], [20], [36], [38],[39], [45]).Recently, there has been active research into the restriction problem for fractals,where \u00b5 is a natural measure on a fractal set.In 2000-2002, Mockenhaupt and Mitsis independently generalized the Tomas-Stein restriction theorem to the fractal setting (see [35], [37]) with the followingtheorem.Theorem 1.3.4. Let \u00b5 be a compactly supported probability measure on Rd. Supposethere are \u03b1, \u03b2 \u2208 (0, d) such that\u00b5(B(x, r)) . r\u03b1 \u2200x \u2208 Rd, r > 0,(A)|\u00b5\u0302(\u03be)| . (1 + |\u03be|)\u2212\u03b2\/2 \u2200\u03be \u2208 Rd.(B)Then (1.3.5) holds whenever p \u2265 2(2d\u2212 2\u03b1 + \u03b2)\/\u03b2 and q = 2.Note the endpoint case p = 2(2d \u2212 2\u03b1 + \u03b2)\/\u03b2 was not proved by Mockenhauptor Mitsis; it was proved by Bak and Seeger [1] in 2011. Theorem 1.3.4 also holds for13any compactly supported finite measure on Rd, as any finite measure is a constantmultiple of a probability measure. If \u00b5 is the uniform probability measure on thesphere in Rd, then (A) and (B) hold with \u03b1 = \u03b2 = d\u2212 1, and so (1.3.5) holds for allp \u2265 (2d+ 2)\/(d\u2212 1) and q = 2. Therefore Theorem 1.3.4 contains the Tomas-Steintheorem as a special case.We now explain how Theorem 1.3.4 is connected to fractals.There is no consensus in the literature on the definition of a fractal, but we willnot need a formal definition anyway. Informally, one may think of a fractal as a setin Rd that exhibits self-similarity, structure at arbitrarily small scales, and local andglobal irregularity.The complicated structure of fractal sets is often summarized by various numericaldimensions, such as Hausdorff dimension and Fourier dimension. For example, themiddle-thirds Cantor set (one of the most famous fractals) has Hausdorff dimension(ln 2)\/(ln 3) and Fourier dimension 0.Condition (A) is closely connected to Hausdorff dimension. Indeed, recall thatLemma 1.2.1 says the Hausdorff dimension of a Borel set A \u2286 Rd is the supremumof all \u03b1 \u2208 [0, d] for which there exists a probability measure \u00b5 supported on A suchthat condition (A) holds. Consequently, if \u00b5 is a probability measure satisfying (A)for some \u03b1 \u2208 [0, d], then \u03b1 \u2264 dimH(supp(\u00b5)).Condition (B) concerns the Fourier decay rate of \u00b5 and is connected to Fourierdimension. The original proofs of the Tomas-Stein theorem for the sphere and analogsof it for other surfaces hinge on deducing an estimate of the Fourier decay rateof the relevant measure from the curvature of the surface on which the measureis supported. By the definition of Fourier dimension in Section 1.2, a probabilitymeasure that satisfies condition (B) must satisfy \u03b2 \u2264 dimF (supp(\u00b5)).Complimentary to the Tomas-Stein theorem is the important fact that the rangeof p in the theorem cannot be enlarged. This is shown by the classic example ofKnapp, in which one takes f to be the characteristic function of a small (hencealmost flat) spherical cap (cf. [49, Chapter 7]). As Theorem 1.3.4 contains theTomas-Stein theorem as a special case, the range of p in Theorem 1.3.4 also cannotbe enlarged in general. However, the point of Theorem 1.3.4 is that it also applies to14measures supported on fractal sets and to measures on R. Therefore, it is interestingto ask whether the range of p in Theorem 1.3.4 is best possible for such measures.In 2013, Izabella Laba and I addressed this question (see [23]).To understand the result of Laba and myself in [23], first observe that for aprobability measure \u00b5 on R that satisfies (A) for some \u03b1 \u2208 (0, 1) and satisfies (B)for every \u03b2 < \u03b1, the inequality (1.3.5) holds whenever p > 2(2 \u2212 \u03b1)\/\u03b1 and q = 2.The result Laba and I established in [23] implies the following.Theorem 1.3.5. Given any 0 < \u03b1 < 1 and given any p\u2217 < 2(2 \u2212 \u03b1)\/\u03b1 there is acompactly supported probability measure on R that satisfies (A) and satisfies (B) forevery \u03b2 < \u03b1 but does not satisfy (1.3.5) when p \u2264 p\u2217 and q = 2.The construction in [23] of the measure \u00b5 is based on the randomized Cantor-type construction of Salem sets by Laba and Pramanik [31]. Laba and I modified theconstruction so that the Cantor set that supports \u00b5 contains a smaller deterministicCantor set. Care must be taken in including the deterministic Cantor set to avoiddestroying the Fourier decay estimates on \u00b5. The inequality (1.3.5) is shown to beviolated when p \u2264 p\u2217 and q = 2 for any prescribed constant Cp,q by taking f to bethe characteristic function of a finite iteration of the deterministic Cantor set. Theargument ultimately hinges on counting solutions to certain linear equations in theendpoints of the finite iterations of the larger Cantor set. To ensure the number ofsolutions is sufficiently large, the embedded deterministic Cantor set is constructedwith the endpoints of each finite iteration in a generalized arithmetic progression.In this thesis, we improve the result of [23]. In particular, we prove the following.Theorem 1.3.6. Given any 0 < \u03b2 \u2264 \u03b1 < 1 and given any p\u2217 < 2(2 \u2212 2\u03b1 + \u03b2)\/\u03b2there is a compactly supported probability measure on R that satisfies (A) and (B)but does not satisfy (1.3.5) when p \u2264 p\u2217 and q = 2.This is a restatement of Theorem 1.0.3. In Chapter 2, we discuss the minordifferences between the proof of Theorem 1.3.6 (which we give in this thesis) and theproof of the result of [23].Theorem 1.3.6 establishes the sharpness of range of p in Theorem 1.3.4 for theclass of probability measures \u00b5 on R that satisfy (A) and (B) for some 0 < \u03b2 \u2264 \u03b1 < 1.15In particular, Theorem 1.3.6 covers those measures that satisfy (A) and (B) with\u03b1 = \u03b2. Theorem 1.3.5 does not cover such measures; it only covers those measuresthat satisfy (A) for some 0 < \u03b1 < 1 and satisfy (B) for \u03b2 arbitrarily close to (butstrictly less than) \u03b1. Theorem 1.3.6 establishes sharpness for those measures thatsatisfy 0 < \u03b2 < \u03b1 < 1. Theorem 1.3.5 does not cover such measures because itonly permits taking p\u2217 up to the number 2(2 \u2212 \u03b1)\/\u03b1, not up to the larger number2(2\u2212 2\u03b1 + \u03b2)\/\u03b2.Chen [11] modified the argument used by Laba and myself in [23] to eliminatethe dependence of the measure on p\u2217. In particular, Chen [11] provedTheorem 1.3.7. Given any 0 < \u03b2 \u2264 \u03b1 < 1 there is a compactly supported probabilitymeasure on R that satisfies (A) and (B) but does not satisfy (1.3.5) when p < 2(2\u22122\u03b1 + \u03b2)\/\u03b2 and q = 2.Evidently, Theorem 1.3.7 implies Theorem 1.3.6. Theorem 1.3.7 is perhaps alsoa more satisfying sharpness statement than Theorem 1.3.6. The modification of theargument of [23] that we present in this thesis to prove Theorem 1.3.6 does not followthe modification of [11]. However, we do borrow some of his notation.16Chapter 2The Sharpness of the Exponents inthe Mockenhaupt-Mitsis-Bak-Seeger Restriction TheoremIn this chapter, we study the sharpness of the range of exponents in the followinggeneral L2 restriction theorem of Mockenhaupt [37] and Mitsis [35] (with the endpointdue to Bak and Seeger [1]).Theorem 2.0.1. Let \u00b5 be a compactly supported probability measure on Rd. Supposethere are \u03b1, \u03b2 \u2208 (0, d) such that\u00b5(B(x, r)) . r\u03b1 \u2200x \u2208 Rd, r > 0,(A)|\u00b5\u0302(\u03be)| . (1 + |\u03be|)\u2212\u03b2\/2 \u2200\u03be \u2208 Rd.(B)Then for all p \u2265 2(2d\u2212 2\u03b1 + \u03b2)\/\u03b2 we have\u2016f\u0302\u00b5\u2016p . \u2016f\u2016L2(\u00b5) \u2200f \u2208 L2(\u00b5).(2.0.1)We will consider the following question. Is the range of p in Theorem 2.0.1 sharp?In other words, does the theorem still hold if 2(2d\u22122\u03b1+\u03b2)\/\u03b2 is replaced by a smallernumber p\u2217?17This question, as stated, is too general. The Knapp example, where f is thecharacteristic function of a small spherical cap and \u00b5 is the uniform probabilitymeasure on the unit sphere in Rd, shows the range of p is sharp (cf. [49, Chapter 7]).However, we can consider the sharpness for specific sets of measures. The noveltyof Theorem 2.0.1 compared to earlier restriction theorems is that it also applies tomeasures on fractal sets and to measures on R. Therefore, it is natural to considerthe sharpness of the range of p in Theorem 2.0.1 for such measures.In this chapter, we will show the range of p in Theorem 2.0.1 is sharp for measures\u00b5 on R that satisfy (A) and (B) with \u03b2 \u2264 \u03b1. In particular, I will prove the followingtheorem.Theorem 2.0.2. Given any 0 < \u03b2 \u2264 \u03b1 < 1 and given any p\u2217 < 2(2 \u2212 2\u03b1 + \u03b2)\/\u03b2there is a compactly supported probability measure on R that satisfies (A) and (B)but fails to satisfy (2.0.1) whenever p \u2264 p\u2217.Theorem 2.0.2 will be deduced from the following stronger result.Theorem 2.0.3. Let 0 < \u03b20 \u2264 \u03b10 < 1 with \u03b10 = ln a\/ ln c and \u03b20 = (2 ln a\u2212ln b)\/ ln cfor some a, b, c \u2208 N. Given any p\u2217 < 2(2\u22122\u03b10+\u03b20)\/\u03b20, there is a compactly supportedprobability measure on R that satisfies the following.\u00b5(B(x, r)) . r\u03b10 \u2200x \u2208 R,\u2200r > 0.(2.0.2)|\u00b5\u0302(\u03be)| . (1 + |\u03be|)\u2212\u03b20\/2(ln(1 + |\u03be|))1\/2 \u2200\u03be \u2208 R.(2.0.3)There is a sequence of functions fl \u2208 L2(\u00b5) such thatliml\u2192\u221e\u2016f\u0302l\u00b5\u2016p\u2016fl\u2016L2(\u00b5)=\u221e \u2200p \u2264 p\u2217.(2.0.4)In section 2.1, we show that Theorem 2.0.3 implies Theorem 2.0.2. The rest ofthe chapter constitutes the proof of Theorem 2.0.3.In 2013, Izabella Laba and I [23] proved (implicitly) the following theorem, whichis the special case of Theorem 2.0.3 where \u03b10 = \u03b20.18Theorem 2.0.4. Let 0 < \u03b10 < 1 with \u03b10 = ln a\/ ln c for some a, c \u2208 N. Givenany p\u2217 < 2(2\u2212 \u03b10)\/\u03b10, there is a compactly supported probability measure on R thatsatisfies the following.\u00b5(B(x, r)) . r\u03b10 \u2200x \u2208 R, \u2200r > 0.(2.0.5)|\u00b5\u0302(\u03be)| . (1 + |\u03be|)\u2212\u03b10\/2(ln(1 + |\u03be|))1\/2 \u2200\u03be \u2208 R.(2.0.6)There is a sequence of functions fl \u2208 L2(\u00b5) such thatliml\u2192\u221e\u2016f\u0302l\u00b5\u2016p\u2016fl\u2016L2(\u00b5)=\u221e \u2200p \u2264 p\u2217.(2.0.7)Theorem 2.0.4 can be deduced from Theorem 2.0.3 by taking a = b.Just as Theorem 2.0.3 implies Theorem 2.0.2, Theorem 2.0.4 implies the followingtheorem, which says the the range of p in Theorem 2.0.1 is sharp for measures \u00b5 onR that satisfy (A) for some \u03b1 \u2208 (0, 1) and satisfy (B) for every \u03b2 < \u03b1.Theorem 2.0.5. Given any 0 < \u03b1 < 1 and given any p\u2217 < 2(2 \u2212 \u03b1)\/\u03b1 there is acompactly supported probability measure on R that satisfies (A) and satisfies (B) forevery \u03b2 < \u03b1 but fails to satisfy (2.0.1) whenever p \u2264 p\u2217.Let us compare what Theorem 2.0.2 and Theorem 2.0.5 tell us.Theorem 2.0.2 establishes the sharpness of range of p in Theorem 2.0.1 for theclass of probability measures \u00b5 on R that satisfy (A) and (B) for some 0 < \u03b2 \u2264 \u03b1 < 1.In particular, it covers those measures that satisfy (A) and (B) with \u03b1 = \u03b2. Theorem2.0.5 does not cover such measures. Theorem 2.0.5 only covers those measures thatsatisfy (A) for some 0 < \u03b1 < 1 and satisfy (B) for all \u03b2 < \u03b1.Furthermore, Theorem 2.0.5 does not establish the sharpness of the range ofp in Theorem 2.0.1 for the class of probability measures \u00b5 on R that satisfy (A)and (B) for some 0 < \u03b2 < \u03b1 < 1, while Theorem 2.0.2 does. It is true thatTheorem 2.0.5 produces, for any prescribed 0 < \u03b2 < \u03b1 < 1 and p\u2217 < 2(2 \u2212 \u03b1)\/\u03b1, aprobability measure \u00b5 that satisfies (A) and (B) but does not satisfy (2.0.1) whenp \u2264 p\u2217. However, establishing sharpness for the class of measures under consideration19requires exhibiting, for any prescribed 0 < \u03b2 < \u03b1 < 1 and p\u2217 < 2(2 \u2212 2\u03b1 + \u03b2)\/\u03b2, aprobability measure \u00b5 that satisfies (A) and (B) but does not satisfy (2.0.1) whenp \u2264 p\u2217. Theorem 2.0.5 does not allow us to take p\u2217 all the way up to 2(2\u22122\u03b1+\u03b2)\/\u03b2.It only permits taking p\u2217 up to the number 2(2 \u2212 \u03b1)\/\u03b1, which is strictly less than2(2\u2212 2\u03b1 + \u03b2)\/\u03b2 when \u03b2 < \u03b1.The proof of Theorem 2.0.3 is a straightforward modification of the proof ofTheorem 2.0.4 given in [23]. It is based ultimately on the randomized Cantor-typeconstruction of Salem sets by Laba and Pramanik [31]. We modify the constructionso that the Cantor set that supports \u00b5 contains a smaller deterministic Cantor set.The functions f` are the characteristic functions of the finite iterations of this de-terministic Cantor set. We must be careful that the deterministic Cantor set is notso large that it destroys the Fourier decay estimates furnished by the randomness ofthe larger Cantor set. The divergence of \u2016f\u0302`\u00b5\u2016p\/\u2016f`\u2016L2(\u00b5) relies on counting solutionsto linear equations in the endpoints of the finite iterations of the larger Cantor set.The deterministic Cantor set is chosen with the endpoints of its finite iterations ina multi-scale arithmetic progression so that this count is sufficiently large to ensuredivergence.The difference between the proof of Theorem 2.0.3 and the proof of Theorem 2.0.4given in [23] is the presence of \u03b20 = (2 ln a\u2212 ln b)\/ ln c in addition to \u03b10 = ln a\/ ln c.This is handled by simply using \u03b20 instead of \u03b10 in all estimates related to theFourier decay of \u00b5. The form of \u03b20 is chosen so that the length (s = n\u03b10\u2212\u03b20\/2 in theterminology to be introduced in Section 2.2) of the single-scale arithmetic progression(which underlies the multi-scale arithmetic progression) is an integer.2.1 Theorem 2.0.3 Implies Theorem 2.0.2In this section, we show that Theorem 2.0.3 implies Theorem 2.0.2.Let 0 < \u03b2 \u2264 \u03b1 < 1 and p\u2217 < 2(2 \u2212 2\u03b1 + \u03b2)\/\u03b2 be given. Choose \u000f > 0 small20enough that \u03b1 + \u000f < 1 andp\u2217 <2(2\u2212 2(\u03b1 + \u000f) + (\u03b2 + \u000f))\u03b2 + \u000f.(2.1.1)Choose c \u2208 N large enough that1ln c<\u000f2Let a \u2208 N be the smallest positive integer that\u03b1 +\u000f2ln aln c\u22121ln c>ln aln c\u2212\u000f2.(2.1.3)Therefore, by combining (2.1.2) and (2.1.3), we obtain\u03b1 < \u03b1 +\u000f2< \u03b10 < \u03b1 + \u000f,(2.1.4)where\u03b10 =ln aln c.Let b \u2208 N be the largest positive integer such thatln bln c< 2\u03b10 \u2212 \u03b2.(2.1.5)Then2\u03b10 \u2212 \u03b2 \u2264ln(b+ 1)ln c 1 and2r \u2265 p\u2217. Define n = c2m, t = a2m = n\u03b10 , and s = bm = n\u03b10\u2212\u03b20\/2, where m is a fixed22positive integer chosen so large thatp\u2217 <2(2\u2212 2\u03b10 + \u03b20)\u03b20\u22124 ln r\u03b20 lnn.(2.2.1)Define Sj = sj, Tj = tj, Nj = nj, and Lj+1 = ln(400(j + 1)Nj+1) for j \u2208 N0.2.3 The Sequences of Sets (Aj)\u221ej=0 and (Pj)\u221ej=0In this section, we describe the sequences of sets (Aj)\u221ej=0 and (Pj)\u221ej=0.Each Aj will be the set of left endpoints of the intervals in the j-th iteration ofthe Cantor set supporting \u00b5. Each Pj will be the set of left endpoints of the intervalsin the j-th iteration of the smaller deterministic Cantor set we embed within theCantor set supporting \u00b5.Let (Pj)\u221ej=0 be the sequence of sets defined byP0 = {0} , Pj+1 = Pj +1Nj+1{1, . . . , s} =\u22c3a\u2208Pja+1Nj+1{1, . . . , s} .We will construct inductively a sequence of sets (Aj)\u221ej=0 of the form\u2022 A0 = {0}\u2022 Aj+1 =\u22c3a\u2208Aja+ Aj+1,a\u2022 Aj+1,a \u22861Nj+1[n]\u2022 |Aj+1,a| = Tj+1\u2022 Aj \u2286 Pj.Note|Aj| = Tj, Aj \u22861Nj[Nj], Aj,a \u22861Nj{1, . . . , s}for all j \u2208 N. The details of the construction of (Aj)\u221ej=0 will be given in Section 2.8.232.4 The Measures \u00b5 and \u00b5j; The Functions flIn this section, we define the probability measures \u00b5 and \u00b5j (j \u2208 N0) on R and thefunctions fl : R\u2192 C (l \u2208 N0).For j \u2208 N0, defineEj = Aj + [0, N\u22121j ]and define \u00b5j to be the uniform probability measure on Ej, i.e.,d\u00b5j =1|Ej|1Ejdx =NjTj\u2211a\u2208Aj1[a,a+N\u22121j ]dx.Define \u00b5 to be the weak limit of (\u00b5j)\u221ej=0, i.e.,\u00b5 = limj\u2192\u221e\u00b5j.We prove the weak limit exists in Section 2.5. A good reference on weak convergenceis [4]. Notesupp(\u00b5) =\u221e\u22c2j=1Ej.Let j \u2208 N0 and a \u2208 Aj. Then\u00b5j([a, a+N\u22121j ]) =1Tj,and in fact\u00b5k([a, a+N\u22121j ]) =1Tj\u2200k \u2208 N0, k \u2265 j.Consequently,\u00b5([a, a+N\u22121j ]) =1Tj.For l \u2208 N0, defineFl = Pl + [0, N\u22121l ) and fl = 1Fl .242.5 Existence of the Weak LimitIn this section, we prove the existence of the weak limit\u00b5 = limj\u2192\u221e\u00b5j.For all other sections in this chapter, Fj is the set defined in Section 2.4. However,in this section, Fj will be the cumulative distribution function of \u00b5j, i.e.,Fj(t) = \u00b5j((\u2212\u221e, t]), \u2200t \u2208 R.Fix j \u2208 N0. For a \u2208 Aj, we have Fj+1(a) = Fj(a) by the definitions of \u00b5j+1 and\u00b5j. For t \u2208 R, let a(t) be the smallest element of N\u22121j [Nj] such that a(t) \u2264 t. Then|Fj+1(t)\u2212 Fj(t)| = |\u00b5j+1([a(t), t])\u2212 \u00b5j([a(t), t])|\u2264 \u00b5j+1([a(t), t]) + \u00b5j([a(t), t])\u2264 \u00b5j+1([a(t), a(t) +N\u2212j]) + \u00b5j([a(t), a(t) +N\u2212j])\u22642Tj.Therefore\u2016Fj+1 \u2212 Fj\u2016\u221e \u22642Tj\u2200j \u2208 N0.Since Tj = nj\u03b10 for j \u2208 N0, we have\u2211\u221ej=0 T\u22121j < \u221e. It follows that (Fj)\u221ej=1 isa uniformly convergent sequence of continuous cumulative distribution functions.Therefore the limit F is a continuous cumulative distribution function of a probabilitymeasure \u00b5. Hence (\u00b5j)\u221ej=1 converges weakly to \u00b5.252.6 The Ball ConditionIn this section, we will show that \u00b5(|I|) . |I|\u03b10 for all intervals I \u2286 R. This isequivalent to (2.0.2) in Theorem 2.0.3.Let I be an interval in R. If |I| > 1, then\u00b5(I) \u2264 \u00b5(R) = 1 \u2264 |I|\u03b10since \u00b5 is a probability measure. Now suppose |I| \u2264 1. Choose j \u2208 N0 such thatN\u22121j+1 \u2264 |I| \u2264 N\u22121j . Assume I intersects supp(\u00b5) (otherwise \u00b5(I) = 0). Notesupp(\u00b5) =\u221e\u22c2j=1Ej =\u221e\u22c2j=1\u22c3a\u2208Aj[a, a+N\u22121j ].Then I intersects an interval [a, a + N\u22121j ] for some a \u2208 Aj. There are at most twosuch intervals, say J1 and J2, because |I| \u2264 N\u22121j and Aj \u2286 N\u22121j [Nj]. Therefore\u00b5(I) = \u00b5(I \u2229 J1) + \u00b5(I \u2229 J2) \u2264 \u00b5(J1) + \u00b5(J2)=1Tj+1Tj=2n\u03b10N\u03b10j+1\u2264 2n\u03b10|I|\u03b10 .2.7 The Crucial InequalityIn this section, we state the crucial Fourier analytic inequality, explain the steps inits proof, and explain its use.Here is the crucial Fourier analytic inequality:\u221e\u2211j=0|f\u0302l\u00b5j+1(k)\u2212 f\u0302l\u00b5j(k)| . |k|\u2212\u03b20\/2(ln(e+ |k|))1\/2(2.7.1)for all k \u2208 Z with k 6= 0 and all l \u2208 N0.In the next three sections, we prove we can construct the sets (Aj)\u221ej=0 so that(2.7.1) holds.26First we show we can construct the sets (Aj)\u221ej=0 so that\u2223\u2223\u2223\u2223\u2223\u22231Tj\u2211a\u2208Aj\u2229FlYa(k)\u2223\u2223\u2223\u2223\u2223\u2223. N\u2212\u03b20\/2j+1 L1\/2j+1(2.7.2)for all k \u2208 Z and all j, l \u2208 N0, j \u2265 l. HereYa(k) = e\u22122piika\uf8eb\uf8ed1t\u2211b\u2208Aj+1,ae\u22122piikb \u22121n\u2211b\u2208[n]\/Nj+1e\u22122piikb\uf8f6\uf8f8 .Next we show|f\u0302l\u00b5j+1(k)\u2212 f\u0302l\u00b5j(k)| \u2264 2 min{1,Nj+1|k|}\u2223\u2223\u2223\u2223\u2223\u22231Tj\u2211a\u2208Aj\u2229FlYa(k)\u2223\u2223\u2223\u2223\u2223\u2223(2.7.3)for all k \u2208 Z, k 6= 0 and all j, l \u2208 N with j \u2265 l.Finally we show that\u221e\u2211j=0min{1,Nj+1|k|}N\u2212\u03b20\/2j+1 L1\/2j+1 . |k|\u2212\u03b20\/2(ln(e+ |k|))1\/2(2.7.4)for all k \u2208 Z, k 6= 0.Evidently (2.7.1) follows upon combining (2.7.2), (2.7.3), and (2.7.4).Once (2.7.1) is established, we will use it to prove|\u00b5\u0302(\u03be)| . (1 + |\u03be|)\u2212\u03b20\/2(ln(e+ |\u03be|))1\/2 \u2200\u03be \u2208 R.(2.7.5)andlimj\u2192\u221e\u2016f\u0302l\u00b5j\u20162r2r = \u2016f\u0302l\u00b5\u20162r2r \u2200l \u2208 N0.(2.7.6)Note (2.7.5) is (2.0.3) in Theorem 2.0.3.272.8 Proof of the Crucial Inequality. I.In this section, we will define (Aj)\u221ej=0 so that (2.7.2) holds. Recall that (2.7.2) is theinequality\u2223\u2223\u2223\u2223\u2223\u22231Tj\u2211a\u2208Aj\u2229FlYa(k)\u2223\u2223\u2223\u2223\u2223\u2223. N\u2212\u03b20\/2j+1 L1\/2j+1for all k \u2208 Z and all j, l \u2208 N0, j \u2265 l. Here (as elsewhere)Ya(k) = e\u22122piika\uf8eb\uf8ed1t\u2211b\u2208Aj+1,ae\u22122piikb \u22121n\u2211b\u2208[n]\/Nj+1e\u22122piikb\uf8f6\uf8f8 .We will define (Aj)\u221ej=0 inductively. Fix j \u2208 N0. Assume Aj containing Pj is given.We will choose Aj+1 =\u22c3a\u2208Aja+ Aj+1,a by choosing Aj+1, a for each a \u2208 Aj.We will need the following version of Hoeffding\u2019s inequality.Lemma 2.8.1. If X1, . . . , Xn are independent complex-valued random variables withEXi = 0 and |Xi| \u2264 1 for i = 1, . . . , n, thenP(\u2223\u2223\u2223\u2223\u22231nn\u2211i=1Xi\u2223\u2223\u2223\u2223\u2223\u2265 u)\u2264 4 exp(\u2212nu2\/4)for all u \u2265 0.This version of Hoeffding\u2019s inequality for complex-valued random variables isdeduced from the standard version for real-valued random variables in Appendix A.Let Bj+1 be the collection of all size tj+1 subsets of N\u22121j+1[n]. There are(nt)setsin Bj+1. Moreover, each fixed b \u2208 N\u22121j+1[n] is contained in exactly(n\u22121t\u22121)sets in Bj+1.For each a \u2208 Aj, choose a set Bj+1,a independently and uniformly at random28from Bj+1. For each a \u2208 Aj and k \u2208 Z, define the random variableXa(k) =12e\u22122piiak\uf8eb\uf8ec\uf8ed1t\u2211b\u2208Bj+1,ae\u22122piikb \u22121n\u2211b\u2208N\u22121j+1[n]e\u22122piikb\uf8f6\uf8f7\uf8f8 .For each a \u2208 Aj, we haveE\uf8eb\uf8ed\u2211b\u2208Bj+1,ae\u22122pii\u03beb\uf8f6\uf8f8 =1(nt)\u2211B\u2208Bj+1\u2211b\u2208Be\u22122pii\u03beb=1(nt)\u2211b\u2208N\u22121j+1[n](n\u2212 1t\u2212 1)e\u22122pii\u03beb=tn\u2211b\u2208N\u22121j+1[n]e\u22122pii\u03beb.It follows that EXa(k) = 0 for all a \u2208 Aj and k \u2208 Z. Clearly |Xa(k)| \u2264 1 for alla \u2208 Aj and k \u2208 Z.Fix k \u2208 [Nj+1]. The random variables (Xa(k))a\u2208Aj are independent because ofhow we choose the sets (Bj+1,a)a\u2208Aj . Note|Aj \u2229 Fl| = sltj\u2212l = (Sl\/Tl)Tj \u2200l \u2208 N0, l \u2264 j.Define ul,j \u2265 0 byu2l,j = 4(Sl\/Tl)\u22121T\u22121j ln(400(j + 1)Nj+1) \u2200l \u2208 N0, l \u2264 j.Lemma 2.8.1 impliesP\uf8eb\uf8ed\u2223\u2223\u2223\u2223\u2223\u22231(Sl\/Tl)Tj\u2211a\u2208Aj\u2229FlXa(k)\u2223\u2223\u2223\u2223\u2223\u2223\u2265 ul,j\uf8f6\uf8f8 \u2264 4 exp(\u2212(Sl\/Tl)Tju2l,j\/4) =1100(j + 1)Nj+1.29ThenP\uf8eb\uf8ed\u2223\u2223\u2223\u2223\u2223\u22231TjS\u22121l\u2211a\u2208Aj\u2229FlXa(k)\u2223\u2223\u2223\u2223\u2223\u2223\u2265 ul,j for some k \u2208 [Nj+1], l \u2208 {0, . . . , j}\uf8f6\uf8f8 \u22641100.Therefore there is some realization of the randomly chosen sets (Bj+1,a)a\u2208Aj suchthat\u2223\u2223\u2223\u2223\u2223\u22231(Sl\/Tl)Tj\u2211a\u2208Aj\u2229FlXa(k)\u2223\u2223\u2223\u2223\u2223\u2223< ul,j(2.8.1)for all k \u2208 [Nj+1] and all l \u2208 N0, l \u2264 j. Fix such a realization. Since Xa(k) is periodicwith period Nj+1 when a \u2208 Aj, the inequality (2.8.1) holds for all k \u2208 Z.We cannot simply define Aj+1,a = Bj+1,a because thenAj+1 =\u22c3a\u2208Aja+ Aj+1,amay not containPj+1 =\u22c3a\u2208Pja+N\u22121j+1 {1, . . . , s} .We define Aj+1,a for a \u2208 Aj as follows. For a \/\u2208 Pj, define Aj+1,a = Bj+1,a. Fora \u2208 Pj, define Aj+1,a to be the set obtained by first removing s arbitrary elementsof Bj+1,a and then replacing them by the elements of N\u22121j+1 {1, . . . , s}. Then Pj+1 \u2286Aj+1.Recall that for a \u2208 Aj and k \u2208 Z we haveXa(k) = e\u22122piika\uf8eb\uf8ed1t\u2211b\u2208Bj+1,ae\u22122piikb \u22121n\u2211b\u2208[n]\/Nj+1e\u22122piikb\uf8f6\uf8f8 ,Ya(k) = e\u22122piika\uf8eb\uf8ed1t\u2211b\u2208Aj+1,ae\u22122piikb \u22121n\u2211b\u2208[n]\/Nj+1e\u22122piikb\uf8f6\uf8f8 .30For a \/\u2208 Pj, we have Ya(k) = Xa(k). For a \u2208 Pj,\u2211b\u2208Aj+1,ae\u22122piikb differs from\u2211b\u2208Bj+1,ae\u22122piikb by at most s terms, hence|Ya(k)\u2212Xa(k)| =1t\u2223\u2223\u2223\u2223\u2223\u2223\u2211b\u2208Aj+1,ae\u22122piikb \u2212\u2211b\u2208Bj+1,ae\u22122piikb\u2223\u2223\u2223\u2223\u2223\u2223\u22642st.Therefore, for all l \u2208 N0, l \u2264 j, we have\u2223\u2223\u2223\u2223\u2223\u22231Tj\u2211a\u2208Aj\u2229FlYa(k)\u22121Tj\u2211a\u2208Aj\u2229FlXa(k)\u2223\u2223\u2223\u2223\u2223\u2223\u22641Tj\u2211a\u2208Aj\u2229Fl|Ya(k)\u2212Xa(k)|=1Tj\u2211a\u2208Pj|Ya(k)\u2212Xa(k)|\u2264|Pj|Tj2st=2Sj+1Tj+1.Combining this with (2.8.1) yields\u2223\u2223\u2223\u2223\u2223\u22231Tj\u2211a\u2208Aj\u2229FlYa(k)\u2223\u2223\u2223\u2223\u2223\u2223< (Sl\/Tl)1\/2(4T\u22121j ln(400(j + 1)Nj+1))1\/2 +2Sj+1Tj+1.Recall that s = n\u03b10\u2212\u03b20\/2, t = n\u03b10 , Sj = sj, Tj = tj, Nj = nj, and Lj+1 = ln(400(j +1)Nj+1). It follows that\u2223\u2223\u2223\u2223\u2223\u22231Tj\u2211a\u2208Aj\u2229FlYa(k)\u2223\u2223\u2223\u2223\u2223\u2223. N\u2212\u03b20\/2j+1 L1\/2j+1.312.9 Proof of the Crucial Inequality. II.In this section, we prove (2.7.3), i.e.,|f\u0302l\u00b5j+1(k)\u2212 f\u0302l\u00b5j(k)| \u2264 2 min{1,Nj+1|k|}\u2223\u2223\u2223\u2223\u2223\u22231Tj\u2211a\u2208Aj\u2229FlYa(k)\u2223\u2223\u2223\u2223\u2223\u2223for all k \u2208 Z, k 6= 0 and all j, l \u2208 N with j \u2265 l. RecallYa(k) = e\u22122piika\uf8eb\uf8ed1t\u2211b\u2208Aj+1,ae\u22122piikb \u22121n\u2211b\u2208[n]\/Nj+1e\u22122piikb\uf8f6\uf8f8 .Fix j, l \u2208 N0 with j \u2265 l. For a \u2208 Aj and x \u2208 R, definega,j(x) = Nj1[a,a+N\u22121j ](x) = N j1[0,1](Nj(x\u2212 a)).Thend\u00b5j(x) =1Tj\u2211a\u2208Ajga,j(x)dx,and sofld\u00b5j(x) =1Tj\u2211a\u2208Ajfl(x)ga,j(x)dx =1Tj\u2211a\u2208Aj\u2229Flga,j(x)dx.For \u03be \u2208 R,g\u0302a,j(\u03be) = e\u22122piia\u03be1\u0302[0,1](\u03be\/Nj).Thereforef\u0302l\u00b5j(\u03be) =1Tj1\u0302[0,1](\u03be\/Nj)\u2211a\u2208Aj\u2229Fle\u22122piia\u03be.(2.9.1)32Likewisef\u0302l\u00b5j+1(\u03be) =1Tj1\u0302[0,1](\u03be\/Nj+1)\u2211a\u2208Aj+1\u2229Fle\u22122piia\u03be.(2.9.2)We now rewrite (2.9.1) and (2.9.2). First, by the geometric sum formula,\u22122pii(\u03be\/Nj)1\u0302[0,1](\u03be\/Nj) = e\u22122pii\u03be\/Nj \u2212 1 = e\u22122pii(\u03be\/Nj+1)n \u2212 1= (e\u22122pii(\u03be\/Nj+1) \u2212 1)\u2211k\u2208[n]e\u22122pii(\u03be\/Nj+1)k= \u22122pii(\u03be\/Nj+1)1\u0302[0,1](\u03be\/Nj+1)\u2211k\u2208[n]e\u22122pii(\u03be\/Nj+1)n= \u22122pii(\u03be\/Nj)1\u0302[0,1](\u03be\/Nj+1)1n\u2211b\u2208N\u22121j+1[n]e\u22122pii\u03beb.Therefore1\u0302[0,1](\u03be\/Nj) = 1\u0302[0,1](\u03be\/Nj+1)1n\u2211b\u2208N\u22121j+1[n]e\u22122pii\u03beb.Applying this to (2.9.1) givesf\u0302l\u00b5j(\u03be) =1Tj1\u0302[0,1](\u03be\/Nj+1)\u2211a\u2208Aj\u2229Fle\u22122piia\u03be1nj+1\u2211b\u2208N\u22121j+1[nj+1]e\u22122pii\u03beb.(2.9.3)On the other hand, sinceAj+1 =\u22c3a\u2208Aja+ Aj+1,a,33we havef\u0302l\u00b5j+1(\u03be) =1Tj+11\u0302[0,1](\u03be\/Nj+1)\u2211a\u2208Aj\u2229Fl\u2211b\u2208Aj+1,ae\u22122pii\u03be(a+b)(2.9.4)=1Tj1\u0302[0,1](\u03be\/Nj+1)\u2211a\u2208Aj\u2229Fle\u22122pii\u03bea1t\u2211b\u2208Aj+1,ae\u22122pii\u03beb.Fix k \u2208 Z, k 6= 0. Comparing (2.9.3) and (2.9.4) yieldsf\u0302l\u00b5j+1(k)\u2212 f\u0302l\u00b5j(k) = 21\u0302[0,1](k\/Nj+1)1Tj\u2211a\u2208Aj\u2229FlYa(k).(2.9.5)Since|1\u0302[0,1](k\/Nj+1)| \u2264 1\u0302[0,1](0) = 1and|1\u0302[0,1](k\/Nj+1)| =\u2223\u2223\u2223\u2223e\u22122piik\/Nj+1 \u2212 1\u22122piik\/Nj+1\u2223\u2223\u2223\u2223 \u22641pi|k|\/Nj+1,it follows from (2.9.5) that|f\u0302l\u00b5j+1(k)\u2212 f\u0302l\u00b5j(k)| \u2264 2 min{1,Nj+1|k|}\u2223\u2223\u2223\u2223\u2223\u22231Tj\u2211a\u2208Aj\u2229FlYa(k)\u2223\u2223\u2223\u2223\u2223\u2223.2.10 Proof of the Crucial Inequality. III.In this section, we prove (2.7.4), i.e.,\u221e\u2211j=0min{1,Nj+1|k|}N\u2212\u03b20\/2j+1 L1\/2j+1 . (ln(e+ |k|))1\/2|k|\u2212\u03b20\/2for all \u2200k \u2208 Z, k 6= 0.34Fix k \u2208 Z, k 6= 0. Let j\u2217 be the smallest non-negative integer such that Nj\u2217+1 >|k|. Then Nj\u2217 \u2264 |k|. Our strategy is to the split the sum above into a sum over0 \u2264 j < j\u2217 and a sum over j \u2265 j\u2217 and estimate each separately. For any j \u2208 N0,Lj+1 = ln(400(j + 1)Nj+1) \u2264 10 ln(Nj+1).If 0 \u2264 j < j\u2217, thenLj+1 \u2264 10 ln(Nj\u2217) \u2264 10 ln |k|.If j \u2265 j\u2217, thenLj+1 \u2264 10 ln(Nj\u2212j\u2217+1Nj\u2217) \u2264 10 ln(Nj\u2212j\u2217+1|k|)\u2264 20 ln(Nj\u2212j\u2217+1) ln(e+ |k|) = 20(j \u2212 j\u2217 + 1) ln(n) ln(e+ |k|).For the sum over 0 \u2264 j < j\u2217, we have1|k|\u22110\u2264j 1and sincelimj\u2192\u221e(f\u0302l\u00b5(\u03be)\u2212 f\u0302l\u00b5j(\u03be))\u2192 0pointwise for every \u03be \u2208 R, the dominated convergence theorem implieslimj\u2192\u221e\u2016f\u0302l\u00b5(\u03be)\u2212 f\u0302l\u00b5j(\u03be)\u20162r = 0.It follows by the triangle inequality thatlimj\u2192\u221e\u2016f\u0302l\u00b5j\u20162r2r = \u2016f\u0302l\u00b5\u20162r2r.2.13 A Lower Bound on \u2016f\u0302l\u00b5j\u20162r2rIn this section, we show that\u2016f\u0302l\u00b5j\u20162r2r \u2265 Cr(SlTl)2r Nlrl+1Sl\u2200j, l \u2208 N0, j \u2265 l,(2.13.1)where Cr > 0 is a constant depending only on r.Fix j, l \u2208 N0 with j \u2265 l. Recall from (2.9.1) thatf\u0302l\u00b5j(\u03be) =1Tj1\u0302[0,1](\u03be\/Nj)\u2211a\u2208Aj\u2229Fle\u22122pii\u03bea38for all \u03be \u2208 R. Thereforef\u0302l\u00b5j(\u03be) =1Tj1\u0302[\u2212 12 ,12 ](\u03be\/Nj)e\u2212pi\u03be\/Nj\u2211a\u2208Aj\u2229Fle\u22122pii\u03bea.Then|f\u0302l\u00b5j(\u03be)|2r =1T 2rj\u2223\u2223\u2223\u2223\u2223\u2223\u2211a\u2208Aj\u2229Fle\u22122pii\u03bea\u2223\u2223\u2223\u2223\u2223\u22232r\u2223\u2223\u22231\u0302[\u2212 12 ,12 ](\u03be\/Nj)e\u2212pii\u03be\/Nj\u2223\u2223\u22232r=1T 2rj\u2223\u2223\u2223\u2223\u2223\u2223\u2211a\u2208Aj\u2229Fle\u22122pii\u03bea\u2223\u2223\u2223\u2223\u2223\u22232r(1\u0302[\u2212 12 ,12 ](\u03be\/Nj))2r=1T 2rj\u2211a1,...,a2r\u2208Aj\u2229Fle\u22122pii\u03be(\u2211rs=1 as\u2212\u22112rs=r+1 as)1\u0302\u22172r[\u2212 12 ,12 ](\u03be\/Nj).Here we have used1\u0302[\u2212 12 ,12 ](\u03be\/Nj) =e\u2212pii\u03be\/Nj \u2212 epii\u03be\/Nj\u22122pii\u03be\/Nj=sin(pi\u03be\/Nj)pi\u03be\/Nj\u2208 R,and the formulas |z|2r = zr z r and(f\u0302)2r= f\u0302 \u22172r, where f \u22172r is the 2r-fold convolutionof f . Therefore\u2016fl\u00b5j\u20162r2r =\u222bR|f\u0302l\u00b5j(\u03be)|2rd\u03be = Nj\u222bR|f\u0302l\u00b5j(Nj\u03be)|2rd\u03be=NjT 2rj\u2211a1,...,a2r\u2208Aj\u2229Fl\u222bRe\u22122pii\u03beNj(\u2211rs=1 as\u2212\u22112rs=r+1 as)1\u0302\u22172r[\u2212 12 ,12 ](\u03be)d\u03be.By Fourier inversion,\u2016fl\u00b5j\u20162r2r =NjT 2rj\u2211a1,...,a2r\u2208Aj\u2229Fl1\u22172r[\u2212 12 ,12 ](Nj(r\u2211s=1as \u22122r\u2211s=r+1as)).39Since 1\u22172r[\u2212 12 ,12 ]\u2265 0, all the terms in the sum are non-negative. Therefore\u2016fl\u00b5j\u20162r2r \u2265NjT 2rj1\u22172r[\u2212 12 ,12 ](0)Mj,l,r,whereMj,l,r =\u2223\u2223\u2223\u2223\u2223{(a1, . . . , a2r) \u2208 (Aj \u2229 Fl)2r :r\u2211s=1as =2r\u2211s=r+1as}\u2223\u2223\u2223\u2223\u2223.Take Cr = 1\u22172r[\u2212 12 , 12 ](0).To prove (2.13.1) now, it remains to establish the lower boundMj,l,r \u2265T 2rjNj(SlTl)2r Nlrl+1Sl.(2.13.2)Define(Aj \u2229 Fl)\u2295r ={r\u2211s=1as : a1, . . . , ar \u2208 Aj \u2229 Fl}.We haveMj,l,r =\u2211b\u2208(Aj\u2229Fl)\u2295r(g(b))2,whereg(b) =\u2223\u2223\u2223\u2223\u2223{(a1, . . . , ar) \u2208 (Aj \u2229 Fl)r :r\u2211s=1as = b}\u2223\u2223\u2223\u2223\u2223So by the Cauchy-Schwarz inequality\uf8eb\uf8ed\u2211b\u2208(Aj\u2229Fl)\u2295rg(b)\uf8f6\uf8f82\u2264 |(Aj \u2229 Fl)\u2295r|Mj,l,r.(2.13.3)40Clearly\u2211b\u2208(Aj\u2229Fl)\u2295rg(b) = |(Aj \u2229 Fl)r| =(SlTlTj)r(2.13.4)To estimate |(Aj \u2229 Fl)\u2295r|, note each a \u2208 Aj \u2229 Fl has a digit representation of theforma =l\u2211k=1a(k)Nk+j\u2211k=l+1a(k)Nk,where a(k) \u2208 {1, . . . , s} for k = 1, . . . , l and a(k) \u2208 [n] for k = l + 1, . . . , j. Thereforeeach a \u2208 Aj \u2229 Fl is of the forma =l\u2211k=1a(k)Nk+a\u2217Nl,where a(k) \u2208 {1, . . . , s} for k = 1, . . . , l and a\u2217 \u2208 [Nj\/Nl]. Therefore each b \u2208(Aj \u2229 Fl)\u2295r is of the formb =l\u2211k=1b(k)Nk+b\u2217Nlwhere b(k) \u2208 {r, . . . , rs} for k = 1, . . . , l and b\u2217 \u2208 [rNj\/Nl]. Hence|(Aj \u2229 Fl)\u2295r| \u2264 (rs)lrNjNl= rl+1SlNjNl.(2.13.5)Now (2.13.2) follows by combining (2.13.3), (2.13.4), and (2.13.5).412.14 The Divergence of \u2016f\u0302l\u00b5\u2016p\/\u2016fl\u2016L2(\u00b5)In this section, we show thatliml\u2192\u221e\u2016f\u0302l\u00b5\u2016p\u2016fl\u2016L2(\u00b5)=\u221e \u2200p \u2264 p\u2217.(2.14.1)This is (2.0.4) in Theorem 2.0.3.Let l \u2208 N0 and 1 \u2264 p \u2264 p\u2217 be given. Recall that r \u2208 N was chosen so thatp\u2217 \u2264 2r. Since|f\u0302l\u00b5(\u03be)| \u2264 \u00b5(Fl) =SlTl\u2200\u03be \u2208 R,we have\u2016f\u0302l\u00b5\u20162r2r =\u222bR|f\u0302l\u00b5(\u03be)|2r\u2212p|f\u0302l\u00b5(\u03be)|pd\u03be \u2264(SlTl)2r\u2212p\u2016f\u0302l\u00b5\u2016pp.Therefore\u2016f\u0302l\u00b5\u2016pp \u2265(SlTl)p\u22122r\u2016f\u0302l\u00b5\u20162r2r.Since\u2016fl\u20162L2(\u00b5) = \u00b5(Fl) =SlTl,it follows that\u2016f\u0302l\u00b5\u2016pp\u2016fl\u2016pL2(\u00b5)\u2265(SlTl)(p\/2)\u22122r\u2016f\u0302l\u00b5\u20162r2r.42By combining (2.7.6) and (2.13.1), we have\u2016f\u0302l\u00b5\u20162r2r \u2265 Cr(SlTl)2r Nlrl+1Sl.Therefore\u2016f\u0302l\u00b5\u2016pp\u2016fl\u2016pL2(\u00b5)\u2265 Cr(SlTl)p\/2 Nlrl+1SlRecall that s = n\u03b10\u2212\u03b20\/2, t = n\u03b10 , Sl = sl, Tl = tl, and Nl = nl. Note also thatrl = nlln rlnn . Therefore we have\u2016f\u0302l\u00b5\u2016pp\u2016fl\u2016pL2(\u00b5)\u2265 Crnl(\u2212 14p\u03b20+1\u2212\u03b10+12\u03b20\u2212ln rlnn ).Recall now that n was defined so thatp\u2217 <2(2\u2212 2\u03b10 + \u03b20)\u03b20\u22124 ln r\u03b20 lnn.Using that p \u2264 p\u2217 and rearranging, we get\u221214p\u03b20 + 1\u2212 \u03b10 +12\u03b20 \u2212ln rlnn> 0.Thereforeliml\u2192\u221e\u2016f\u0302l\u00b5\u2016pp\u2016fl\u2016pL2(\u00b5)=\u221e.This proves (2.14.1) and completes the proof of Theorem 2.0.3.43Chapter 3Explicit Salem Sets andApplications to MetricalDiophantine ApproximationIn this chapter, we generalize theorems of Kaufman [29] and Bluhm [5] to constructnew explicit examples of Salem sets in R. We also prove a multi-dimensional analogof our result and obtain new explicit sets in Rd with large Fourier dimension. Wegive applications of our results to metrical Diophantine approximation.In this chapter only, for x \u2208 Rd,|x| = max1\u2264i\u2264d|xi|, |x|2 = (d\u2211i=1|xi|2)1\/2.Let Q be an infinite subset of Z, let \u03a8 : Z \u2192 [0,\u221e), and let \u03b8 \u2208 R. DefineE(Q,\u03a8, \u03b8) to be the set of all x \u2208 R such that\u2016qx\u2212 \u03b8\u2016 \u2264 \u03a8(q) for infinitely many q \u2208 Q.Recall that, for x \u2208 R, \u2016x\u2016 = mink\u2208Z |x\u2212 k| is the distance from x to the nearest in-teger. We will always assume \u03a8 is bounded. Since \u2016x\u2016 \u2264 1\/2 for all x \u2208 R, assuming44\u03a8 is bounded results in no loss of generality. We will also always assume \u03a8(0) = 1.This assumption is imposed only to avoid tedious notation. Since redefining \u03a8 atfinitely many points does not change the set E(Q,\u03a8, \u03b8), assuming \u03a8(0) = 1 resultsin no loss of generality.For M > 0, defineQ(M) = {q \u2208 Q : M\/2 < |q| \u2264M} ,\u000f(M) = minq\u2208Q(M)\u03a8(q).If Q(M) is empty, \u000f(M) is undefined.The main result of this chapter is the following theorem.Theorem 3.0.1. Suppose there is a number a \u2265 0, an increasing function h :(0,\u221e)\u2192 (0,\u221e), and an unbounded set M\u2286 (0,\u221e) such that|Q(M)|\u000f(M)ah(M) \u2265Ma \u2200M \u2208M.(3.0.1)Then there is a Borel probability measure \u00b5 supported on E(Q,\u03a8, \u03b8) such that|\u00b5\u0302(\u03be)| . |\u03be|\u2212a exp(ln |\u03be|ln ln |\u03be|)h(4|\u03be|) \u2200\u03be \u2208 R, |\u03be| > e.(3.0.2)Note the hypothesesM\u2286 (0,\u221e) and (3.0.1) imply Q(M) is non-empty and \u000f(M)is defined for all M \u2208M.We also have a higher-dimensional version of Theorem 3.0.1.Let m,n \u2208 N, let Q be an infinite subset of Zn, let \u03a8 : Zn \u2192 [0,\u221e), and let\u03b8 \u2208 Rm. Define E(m,n,Q,\u03a8, \u03b8) to be the set of all points(x11, . . . , x1n, . . . , xm1, . . . , xmn) \u2208 Rmnsuch thatmax1\u2264i\u2264m\u2016n\u2211j=1qjxij \u2212 \u03b8i\u2016 \u2264 \u03a8(q) for infinitely many q \u2208 Q.45Clearly E(1, 1, Q,\u03a8, \u03b8) = E(Q,\u03a8, \u03b8). As above, we will always assume \u03a8 is boundedand \u03a8(0) = 1, and these assumptions result in no loss of generality.For M > 0, defineQ(M) = {q \u2208 Q : M\/2 < |qj| \u2264M \u22001 \u2264 j \u2264 n} ,\u000f(M) = minq\u2208Q(M)\u03a8(q).If Q(M) is empty, \u000f(M) is undefined.Theorem 3.0.2. Suppose there is a number a \u2265 0, an increasing function h :(0,\u221e)\u2192 (0,\u221e), and an unbounded set M\u2286 (0,\u221e) such that|Q(M)|\u000f(M)ah(M) \u2265Ma \u2200M \u2208M.(3.0.3)Then there is a Borel probability measure \u00b5 supported on E(m,n,Q,\u03a8, \u03b8) such that|\u00b5\u0302(\u03be)| . |\u03be|\u2212a exp(ln |\u03be|ln ln |\u03be|)h(4|\u03be|) \u2200\u03be \u2208 Rmn, |\u03be| > e.(3.0.4)Note the hypothesesM\u2286 (0,\u221e) and (3.0.3) imply Q(M) is non-empty and \u000f(M)is defined for all M \u2208M.We give some remarks on the proofs of Theorems 3.0.1 and 3.0.2 in Section 3.1.Sections 3.2 and 3.3 discuss motivations for Theorems 3.0.1 and 3.0.2. Section 3.4contains applications of Theorems 3.0.1 and 3.0.2 to metrical Diophantine approxi-mation. The combined proof of Theorems 3.0.1 and 3.0.2 constitutes Sections 3.5,3.6, and 3.7. Section 3.8 contains the proof of Lemma 3.3.1.3.1 Remarks on the Proof of Theorems 3.0.1 and3.0.2Since Theorem 3.0.2 is a generalization of Theorem 3.0.1, we give a single unifiedproof. The proof follows the methods of Kaufman [29] and Bluhm [5, 7]. We also46found Wolff\u2019s variant of Kaufman\u2019s proof in [49] instructive. Kaufman [29] andBluhm [7] considered E(Z,\u03a8\u03c4 , 0), where \u03a8\u03c4 (q) = |q|\u2212\u03c4 and \u03c4 > 1. In [5], Bluhmconsidered E(Z,\u03a8, 0) with \u03a8(q) = \u03c8(|q|) and \u03c8 : N\u2192 (0,\u221e) decreasing. We neededrelatively straightforward modifications in our proof to handle the mn-dimensionalsetting, more general functions \u03a8, and the case \u03b8 6= 0. A more substantial modifica-tion was needed to handle general sets Q 6= Z. We now explain this modification.It is fairly easy to see that the proofs of Bluhm, Kaufman, and Wolff can beadapted to work for any set Q containing the set P of prime numbers. Their proofsuse two properties of the primes. The first property is about their density:|P \u2229 (M\/2,M ]| &MlnM\u2200M \u2208 N.(3.1.1)The second property is about their arithmetic structure:|{p \u2208 P : p divides n, p \u2265M}| \u2264lnnlnM\u2200n,M \u2208 N, 2 \u2264M \u2264 n.(3.1.2)In our proof, we use the divisor bound of Wigert [48] (see Section 3.5) as a substitutefor (3.1.2). This allows us to handle more general sets Q that may not have anyspecial arithmetic structure. The cost is that we have the factor exp(ln |\u03be|\/ ln ln |\u03be|)rather than ln |\u03be| in Theorems 3.0.1 and 3.0.2. The analog in our proof of the densityproperty (3.1.1) is essentially the assumption (3.0.1) (though (3.0.1) is a combinedassumption about the density of Q and the size of \u03a8).3.2 Motivation: Explicit Salem SetsThe first motivation for our main result is the construction of explicit Salem sets andexplicit sets with non-zero Fourier dimension. We start by recalling some definitionsand basic facts mentioned in Chapter 1.Let A \u2286 Rd. For \u03b1 \u2265 0, the \u03b1-dimensional Hausdorff content of A isH\u03b1(A) = infB\u2211B\u2208B(diam(B))\u03b1,47where the infimum is over all countable collections B of balls such that A \u2286\u22c3B\u2208B B.The Hausdorff dimension of A, denoted dimH(A), is the supremum all of \u03b1 \u2208 [0, d]such that H\u03b1(A) > 0. The Fourier dimension of A, denoted dimF (A), is the supre-mum of all \u03b2 \u2208 [0, d] such that|\u00b5\u0302(\u03be)| . (1 + |\u03be|)\u2212\u03b2\/2 \u2200\u03be \u2208 Rd.for some probability measure \u00b5 on Rd with supp(\u00b5) \u2286 A. If A is a Borel set,Frostman\u2019s lemma impliesdimF (A) \u2264 dimH(A)(3.2.1)(cf. [34, Chapter 12], [49, Chapter 8]).A set A \u2286 Rd with dimF (A) = dimH(A) is called a Salem set. Every Borel set inRd of Hausdorff dimension 0 is a Salem set, every set in Rd that contains a ball is aSalem set of dimension d, and every sphere in Rd is a Salem set of dimension d\u2212 1.Salem [41] proved the existence of Salem sets in R of arbitrary dimension \u03b1 \u2208(0, 1) using a random Cantor-type construction. Kahane [27] showed that for every\u03b1 \u2208 (0, d) there is a Salem set in Rd of dimension \u03b1 by considering the images ofcompact subsets of R under certain stochastic processes (cf. Chapters 17 and 18 of[28]). Moreover, Kahane [28, Chapter 18] showed that the image of any compactsubset of Rd under fractional Brownian motion is almost surely a Salem set, indi-cating that Salem sets are ubiquitous amongst random sets. Recently, other randomconstructions of Salem sets have been given by Bluhm [6] and Laba and Pramanik[31]. These random constructions do not produce explicit examples of Salem sets.Kaufman [29] was the first to find an explicit Salem set of dimension \u03b1 \/\u2208{0, d\u2212 1, d}. The set Kaufman proved to be Salem is E(Z,\u03a8\u03c4 , 0), where \u03a8\u03c4 (q) =|q|\u2212\u03c4 and \u03c4 > 1. If \u03c4 \u2264 1, then E(Z,\u03a8\u03c4 , 0) = R by Dirichlet\u2019s approximation theo-rem, and so E(Z,\u03a8\u03c4 , 0) is a Salem set of dimension 1. We are concerned with \u03c4 > 1.48An easy and well-known argument (which we give in Section 3.8) givesdimH E(Z,\u03a8\u03c4 , 0) \u226421 + \u03c4.Since E(Z,\u03a8\u03c4 , 0) is a Borel set, (3.2.1) impliesdimH E(Z,\u03a8\u03c4 , 0) \u2265 dimF (Z,\u03a8\u03c4 , 0).Kaufman showed that for every \u03c4 > 1 there is a probability measure \u00b5 with supportcontained in E(Z,\u03a8\u03c4 , 0) \u2229 [0, 1] such that|\u00b5\u0302(\u03be)| . |\u03be|\u22121\/(1+\u03c4) ln |\u03be| \u2200\u03be \u2208 R, |\u03be| \u2265 2.which impliesdimF E(Z,\u03a8\u03c4 , 0) \u226521 + \u03c4,and hence that E(Z,\u03a8\u03c4 , 0) is a Salem set. See [7] for a detailed variation of Kaufman\u2019sargument. In his thesis, Bluhm [5] showed that E(Z,\u03a8, 0) is Salem for any \u03a8 with\u03a8(q) = \u03c8(|q|) and \u03c8 : N\u2192 (0,\u221e) decreasing. Technically, the results of Bluhm andKaufman are for E(N,\u03a8, 0), not E(Z,\u03a8, 0), but it is easy to adapt their proofs toE(Z,\u03a8, 0).If A \u2286 R is a set of Fourier dimension \u03b1 \u2208 [0, 1], then it is easy to see the productset Ad \u2286 Rd has Fourier dimension at least \u03b1 by considering product measures.A theorem of Gatesoupe [19] implies that if A \u2286 [0, 1] has Fourier dimension \u03b1 \u2208[0, 1], then{x \u2208 Rd : |x|2 \u2208 A}has Fourier dimension at least d\u2212 1 + \u03b1. Moreover,Gatesoupe\u2019s theorem implies that if A \u2286 [0, 1] is a Salem set of dimension \u03b1 \u2208 [0, 1],then{x \u2208 Rd : |x|2 \u2208 A}is a Salem set in Rd of dimension d \u2212 1 + \u03b1. CombiningGatesoupe\u2019s and Kaufman\u2019s results yields explicit examples of Salem sets in Rd ofdimension \u03b1 for every \u03b1 \u2208 (d\u2212 1, d). Of course, the unit sphere in Rd and Rd itselfare explicit Salem sets with dimensions d\u2212 1 and d, respectively. Explicit examplesof sets (Salem or otherwise) in Rd with Fourier dimension \u03b1 \u2208 (1, d\u22121) are unknown.Theorems 3.0.1 and 3.0.2 generalize the theorems of Kaufman [29] and Bluhm49[5]. Theorem 3.0.1 gives many new explicit Salem sets in R. Some particular Salemsets produced by Theorem 3.0.1 are discussed in Section 3.4. Theorem 3.0.2 givesnew examples of explicit sets in Rd with Fourier dimension \u03b1 > 1.3.3 Motivation: Metrical Diophantine Approxi-mationThe second motivation for our main result comes from metrical Diophantine approxi-mation, where there is considerable interest in the Hausdorff dimension of E(Q,\u03a8, \u03b8).For \u03c4 \u2208 R, define \u03a8\u03c4 : Z \u2192 [0,\u221e) by \u03a8\u03c4 (q) = |q|\u2212\u03c4 . The classical Jarn\u00b4\u0131k-Besicovitch theorem [26], [3] is thatdimH E(Z,\u03a8\u03c4 , 0) = min{21 + \u03c4, 1}.In the setting of restricted Diophantine approximation, where Q is not necessarilyequal to Z, Borosh and Fraenkel [8] showed thatdimH E(Q,\u03a8\u03c4 , 0) = min{1 + \u03bd(Q)1 + \u03c4, 1},where\u03bd(Q) = inf{\u03bd \u2265 0 :\u2211q\u2208Qq 6=0|q|\u2212\u03bd <\u221e}.Eggleston [15] previously obtained this result for certain sets Q with \u03bd(Q) = 0 or\u03bd(Q) = 1.There are also several results for more general functions \u03a8. For \u03a8 of the form\u03a8(q) = \u03c8(|q|) with \u03c8 : N\u2192 (0,\u221e) decreasing, Dodson [14] showed thatdimH E(Z,\u03a8, 0) = min{21 + \u03bb, 1},50where\u03bb = lim infM\u2192\u221e\u2212 ln\u03c8(M)lnM.Hinokuma and Shiga [24] considered the non-monotone function \u03a8(HS)\u03c4 (q) = |sinq||q|\u2212\u03c4and proved thatdimH E(Z,\u03a8(HS)\u03c4 , 0) = min{21 + \u03c4, 1}.Dickinson [13] considered restricted Diophantine approximation with a function \u03a8satisfying \u03a8(q) = \u03c8(|q|) with \u03c8 : N\u2192 (0,\u221e) and\u03bb = lim infM\u2192\u221e\u2212 ln\u03c8(M)lnM= lim supM\u2192\u221e\u2212 ln\u03c8(M)lnM.Dickinson deduced from the result of Borosh and Fraenkel above thatdimH E(Q,\u03a8, 0) = min{1 + \u03bd(Q)1 + \u03bb, 1}.Rynne [40] proved a very general result that implies all of those above. Suppose onlythat \u03a8 : Z\u2192 [0,\u221e) is positive for all q \u2208 Q. Let\u03b7(Q,\u03a8) = inf{\u03b7 \u2265 0 :\u2211q\u2208Qq 6=0|q|(\u03a8(q)|q|)\u03b7<\u221e}.Rynne showed thatdimH E(Q,\u03a8, 0) = min {\u03b7(Q,\u03a8), 1} .The main result in the case of inhomogeneous Diophantine approximation (i.e,the case where \u03b8 is non-zero) is due to Levesley [32]. Levesley showed that if \u03a8(q) =\u03c8(|q|) with \u03c8 : N\u2192 (0,\u221e) decreasing, and if\u03bb = lim infM\u2192\u221e\u2212 ln\u03c8(M)lnM,51thendimH E(Z,\u03a8, \u03b8) = min{21 + \u03bb, 1}.By an adaptation of Dickinson\u2019s argument from [13], the assumption that \u03c8 is de-creasing can be replaced by the assumption that\u03bb = lim infM\u2192\u221e\u2212 ln\u03c8(M)lnM= lim supM\u2192\u221e\u2212 ln\u03c8(M)lnM.The main content of the formulas above is the lower bounds they give on the Haus-dorff dimension of E(Q,\u03a8, \u03b8). The \u2264-half of all the formulas for dimH E(Q,\u03a8, \u03b8)above are implied by the following lemma whose proof is well-known and straight-forward. For completeness, we give the proof in Section 3.8.Lemma 3.3.1.dimH E(Q,\u03a8, \u03b8) \u2264 min {\u03b7(Q,\u03a8), 1} .Because of (3.2.1), the Fourier analytic method of Theorem 3.0.1 stands as analternative to the usual methods of proving lower bounds on the Hausdorff dimensionof E(Q,\u03a8, \u03b8). In fact, Theorem 3.0.1 implies or implies special cases of all the resultsfor dimH E(Q,\u03a8, \u03b8) above (details are given in Section 3.4). Moreover, Theorem 3.0.1allows us to calculate the Hausdorff dimension of E(Q,\u03a8, \u03b8) in cases that (as far aswe know) have not been treated previously in the literature, such as the case where\u03b8 6= 0 and Q 6= N,Z.One particular advantage of the Fourier analytic method of Theorem 3.0.1 is theease with which it handles the inhomogeneous case \u03b8 6= 0. In the proof of Theorem3.0.1 it is trivial to accommodate \u03b8 6= 0, while Levelsey\u2019s proof of his result for \u03b8 6= 0is a non-trivial extension of Dodson\u2019s proof for \u03b8 = 0.There are analogs of the formulas above for dimH E(m,n,Q,\u03a8, \u03b8). For example,Rynne [40] proveddimH E(m,n,Q,\u03a8, 0) = min {m(n\u2212 1) + \u03b7(Q,\u03a8),mn}52when \u03a8 : Zn \u2192 [0,\u221e) is positive for all q \u2208 Q and\u03b7(Q,\u03a8) = inf{\u03b7 \u2265 0 :\u2211q\u2208Qq 6=0|q|m(\u03a8(q)|q|)\u03b7<\u221e}.Theorem 3.0.2 (via (3.2.1)) provides a lower bound on dimH E(m,n,Q,\u03a8, \u03b8), butit does not reach the true value of dimH E(m,n,Q,\u03a8, \u03b8) for any known case withmn > 1.3.4 ApplicationsIn this section we will present several consequences of Theorem 3.0.1 that give newfamilies of explicit Salem sets and imply formulas for dimH E(Q,\u03a8, \u03b8) discussed inSection 3.3. We will also present a typical consequence of Theorem 3.0.2 that yieldsexplicit sets in Rmn (mn > 1) with Fourier dimension larger than 1.Theorem 3.4.1. Assume \u03a8 is of the form \u03a8(q) = \u03c8(|q|) with \u03c8 : N \u2192 (0,\u221e) adecreasing function. Assume there is an increasing function h : (0,\u221e) \u2192 (0,\u221e)such that|Q(M)| \u2265M\/h(M) \u2200M \u2208 N(3.4.1)andlimx\u2192\u221elnh(x)lnx= 0Then E(Q,\u03a8, \u03b8) is a Salem set of dimension min {2\/(1 + \u03bb), 1}, where\u03bb = lim infM\u2192\u221e\u2212 ln(\u03c8(M))lnM.(3.4.2)Proof. Since \u03a8 is bounded, \u03bb \u2265 0.Let \u03bb\u2032 < \u03bb and \u03b4 > 0. By (3.4.2), \u03c8(M) < M\u2212\u03bb\u2032for all large M \u2208 N. It follows53that\u2211q\u2208Qq 6=0|q|(\u03a8(q)|q|)(2+\u03b4)\/(1+\u03bb\u2032).\u2211q\u2208Qq 6=0|q|\u2212(1+\u03b4) <\u221e.Therefore, by applying Lemma 3.3.1 and then letting \u03bb\u2032 \u2192 \u03bb and \u03b4 \u2192 0, we havedimH E(Q,\u03a8, \u03b8) \u2264 min{21 + \u03bb, 1}.If \u03bb =\u221e, this argument shows dimH E(Q,\u03a8, \u03b8) = dimF E(Q,\u03a8, \u03b8) = 0.Assume 0 \u2264 \u03bb < \u221e. Let \u03bb\u2032 > \u03bb. By (3.4.2), there is an infinite set M \u2286 Nsuch that \u03c8(M) > M\u2212\u03bb\u2032for all M \u2208 M. Since \u03c8 is decreasing, it follows that\u000f(M) > M\u2212\u03bb\u2032for all M \u2208M. Combining this with (3.4.1), we see that (3.0.1) holdswith a = 1\/(1 + \u03bb\u2032). Since \u03bb\u2032 > \u03bb is arbitrary, Theorem 3.0.1 givesdimF E(Q,\u03a8, \u03b8) \u2265 min{21 + \u03bb, 1}.Theorem 3.4.1 implies the result of Dodson [14] for dimH E(Z,\u03a8, 0) discussedin Section 3.3. Theorem 3.4.1 also implies the formula for dimH E(Z,\u03a8, \u03b8) due toLevesley [32] mentioned in Section 3.3.Theorem 3.4.2. Assume \u03a8 is of the form \u03a8(q) = \u03c8(|q|) with \u03c8 : N \u2192 (0,\u221e).Assume\u03bb = lim infM\u2192\u221e\u2212 ln\u03c8(M)lnM= lim supM\u2192\u221e\u2212 ln\u03c8(M)lnM(3.4.3)and\u2211q\u2208Qq 6=0|q|\u22121 =\u221e.(3.4.4)Then E(Q,\u03a8, \u03b8) is a Salem set of dimension min {2\/(1 + \u03bb), 1}.54Proof. Since \u03a8 is bounded, \u03bb \u2265 0.The same argument as in the proof of Theorem 3.4.1 showsdimH E(Q,\u03a8, \u03b8) \u2264 min{21 + \u03bb, 1}.If \u03bb =\u221e, the argument shows dimH E(Q,\u03a8, \u03b8) = dimF E(Q,\u03a8, \u03b8) = 0.Assume 0 \u2264 \u03bb <\u221e. Seeking a contradiction, suppose|Q(M)| < M\/ ln2(M)for all large M \u2208 N. Then\u2211q\u2208Qq 6=0|q|\u22121 =\u221e\u2211k=0\u2211q\u2208Q(2k)|q|\u22121 .\u221e\u2211k=02\u2212k\u2211q\u2208Q(2k)1.\u221e\u2211k=01ln2(2k)=1ln2(2)\u221e\u2211k=01k2<\u221e,which contradicts (3.4.4). So there is an infinite set M\u2286 N such that|Q(M)| \u2265M\/ ln2(M) \u2200M \u2208M.Let \u03bb\u2032 > \u03bb be given. By (3.4.3), \u03c8(M) > M\u2212\u03bb\u2032for all large M \u2208 N. Therefore\u000f(M) > M\u2212\u03bb\u2032for all large M \u2208 N. After removing finitely elements of M, we have\u000f(M) > M\u2212\u03bb\u2032\u2200M \u2208M.Then (3.0.1) holds with a = 1\/(1 + \u03bb\u2032) and h(x) = ln2(x). Since \u03bb\u2032 > \u03bb is arbitrary,Theorem 3.0.1 givesdimF E(Q,\u03a8, \u03b8) \u2265 min{21 + \u03bb, 1}.55Theorem 3.4.2 implies the result of Dickinson [13] for dimH E(Q,\u03a8, 0) discussedin Section 3.3 in the case \u03bd(Q) = 1. Consequently, it also implies the results ofBorosh and Fraenkel [8] and Eggleston [15] in the case \u03bd(Q) = 1. Theorem 3.4.2implies the variation of the result of Levesley [32] for dimH E(Z,\u03a8, \u03b8) mentioned inSection 3.3 that uses Dickinson\u2019s argument from [13].As far as we know, Theorems 3.4.1 and 3.4.2 represent the first calculation ofdimH E(Q,\u03a8, \u03b8) in the case where \u03b8 6= 0 and Q 6= N,Z.Theorem 3.4.3. Suppose \u03a8(HS)\u03c4 : Z \u2192 (0,\u221e) is defined by \u03a8(HS)\u03c4 (q) = | sin q||q|\u2212\u03c4 .Then E(Z,\u03a8(HS)\u03c4 , \u03b8) is a Salem set of dimension of min {2\/(1 + \u03c4), 1}.Proof. For every \u000f > 0,\u2211q\u2208Zq 6=0|q|(\u03a8(q)|q|)2\/(1+\u03c4)+\u000f=\u2211q\u2208Zq 6=0|q|\u22121\u2212(1+\u03c4)\u000f| sin q|2\/(1+\u03c4)+\u000f <\u221e.So, by Lemma 3.3.1,dimH E(Z,\u03a8(HS)\u03c4 , \u03b8) \u2264 min{21 + \u03c4, 1}.Let Q = {q \u2208 N : | sin q| \u2265 1\/2}. Clearlyminq\u2208Q(M)\u03a8(HS)\u03c4 (q) \u226512M\u2212\u03c4 \u2200M \u2208 N.It is also easy to see that|Q(M)| \u2265M4pifor all largeM (for instance, by notingQ contains the nearest integer(s) to (2k+1)pi\/2for every k \u2208 N). It follows that (3.0.1) holds with a = 1\/(1 + \u03c4) and h(x) = 4pi.Therefore Theorem 3.0.1 and the fact E(Q,\u03a8(HS)\u03c4 , \u03b8) \u2286 E(Z,\u03a8(HS)\u03c4 , \u03b8) impliesdimF E(Z,\u03a8(HS)\u03c4 , \u03b8) \u2265 min{21 + \u03c4, 1}.56Theorem 3.4.3 implies the formula for dimH E(Z,\u03a8(HS)\u03c4 , 0) due to Hinokuma andShiga [24] mentioned in Section 3.3.Finally, we give a typical consequence of Theorem 3.0.2 that yields explicit setsin Rmn with Fourier dimension larger than 1. The Hausdorff dimension of the setsis also determined for comparison.Theorem 3.4.4. Assume \u03a8 : Zn \u2192 [0,\u221e) is of the form \u03a8(q) = \u03c8(|q|) with \u03c8 :N\u2192 (0,\u221e) and\u03bb = lim infM\u2192\u221e\u2212 ln\u03c8(M)lnM= lim supM\u2192\u221e\u2212 ln\u03c8(M)lnM.(3.4.5)Assume h : (0,\u221e)\u2192 (0,\u221e) is an increasing function such thatlimx\u2192\u221elnh(x)lnx= 0.(3.4.6)Assume there is an unbounded set M\u2286 (0,\u221e) such that|Q(M)|h(M) \u2265Mn \u2200M \u2208M.(3.4.7)ThendimH E(m,n,Q,\u03a8, 0) = min{m(n\u2212 1) +m+ n1 + \u03bb,mn}anddimF E(m,n,Q,\u03a8, 0) \u2265 min{2n1 + \u03bb,mn}.Proof. Since \u03a8 is bounded, \u03bb \u2265 0.Let \u03bb\u2032 < \u03bb and \u03b4 > 0. By (3.4.5), \u03c8(M) < M\u2212\u03bb\u2032for all large M \u2208 N. It followsthat\u2211q\u2208Qq 6=0|q|m(\u03a8(q)|q|)(m+n+\u03b4)\/(1+\u03bb\u2032).\u2211q\u2208Qq 6=0|q|\u2212(n+\u03b4) <\u221e.57Since \u03bb\u2032 < \u03bb and \u03b4 > 0 are arbitrary, we have\u2211q\u2208Qq 6=0|q|m(\u03a8(q)|q|)\u03b7<\u221e \u2200\u03b7 >m+ n1 + \u03bb.Let \u03bb\u2032 > \u03bb and \u03b4 > 0. By (3.4.5), \u03c8(M) > M\u2212\u03bb\u2032for all large M \u2208 N. Choose asequence (Mk)k\u2208N of numbers in M such that Mk \u2265 2Mk\u22121. Then\u2211q\u2208Qq 6=0|q|m(\u03a8(q)|q|)(m+n\u2212\u03b4)\/(1+\u03bb\u2032)&\u2211q\u2208Qq 6=0|q|\u2212(n\u2212\u03b4) &\u2211k\u2208N\u2211q\u2208Q(Mk)|q|\u2212(n\u2212\u03b4)&\u2211k\u2208NM\u2212(n\u2212\u03b4)k |Q(Mk)| &\u2211k\u2208NM \u03b4k (h(Mk))\u22121&\u2211k\u2208NM \u03b4\/2k =\u221eSince \u03bb\u2032 > \u03bb and \u03b4 > 0 are arbitrary, we have\u2211q\u2208Qq 6=0|q|m(\u03a8(q)|q|)\u03b7=\u221e \u2200\u03b7 \u03bb. By (3.4.5), \u03c8(M) > M\u2212\u03bb\u2032for all large M \u2208 N.Therefore \u000f(M) > M\u2212\u03bb\u2032for all large M \u2208 N. After removing finitely many elementsof M, we have \u000f(M) > M\u2212\u03bb\u2032for all M \u2208 M. Combining this with (3.4.7), we seethat (3.0.3) holds with a = n\/(1 + \u03bb\u2032). As \u03bb\u2032 > \u03bb is arbitrary, Theorem 3.0.2 impliesdimF E(m,n,Q,\u03a8, 0) \u2265 min{2n1 + \u03bb,mn}.583.5 Proof of Theorems 3.0.1 and 3.0.2: The KeyFunctionWe start with two basic definitions.Suppose f : Rd \u2192 C. If f \u2208 L1(Rd), the Fourier transform of f is defined byf\u0302(\u03be) =\u222bRf(x)e\u22122piix\u00b7\u03bedx \u2200\u03be \u2208 Rd.If f \u2208 L1([0, 1]d) (i.e.,\u222b[0,1]d |f(x)|dx < \u221e) and f is periodic for the lattice Zd (i.e.,f(x) = f(x+ k) for all x \u2208 Rd and k \u2208 Zd), the Fourier transform of f is defined byf\u0302(\u03be) =\u222b[0,1]df(x)e\u22122piix\u00b7\u03bedx \u2200\u03be \u2208 Rd.There is no ambiguity with these definitions; if f \u2208 L1(Rd) and f is periodic for thelattice Zd, then f\u0302 = 0 using either definition.Now we begin the construction.Let K be a positive integer with K > mn+a. Let \u03c6 : Rm \u2192 R be a non-negativeCK function with supp(\u03c6) \u2286 [\u22121, 1]m and\u222bRm \u03c6 = 1. Then there is a C1 > 0 suchthat|\u03c6\u0302(\u03be)| \u2264 C1(1 + |\u03be|)\u2212K \u2200\u03be \u2208 Rm.(3.5.1)For \u000f > 0 and x \u2208 Rm, let \u03c6\u000f(x) = \u000f\u2212m\u03c6(\u000f\u22121x), and\u03a6\u000f(x) =\u2211k\u2208Zm\u03c6\u000f(x\u2212 k).Note \u03a6\u000f is CK , is periodic for the lattice Zm, and satisfies\u03a6\u0302\u000f(k) = \u03c6\u0302\u000f(k) = \u03c6\u0302(\u000fk) \u2200k \u2208 Zm.Therefore\u03a6\u000f(x) =\u2211k\u2208Zm\u03c6\u0302(\u000fk)e2piikx \u2200x \u2208 Rm59with uniform convergence.For q \u2208 Zn, \u03b8 \u2208 Rm, and x = (x11, . . . , x1n, . . . , xm1, . . . , xmn) \u2208 Rmn, define xqby identifying x with the m\u00d7 n matrix whose ij-entry is xij, and define\u03a6\u000fq,\u03b8(x) = \u03a6\u000f(xq \u2212 \u03b8) =\u2211k\u2208Zm\u03c6\u0302(\u000fk)e2piik\u00b7(xq\u2212\u03b8).Note \u03a6\u000fq,\u03b8 is CK and is periodic for the lattice Zmn.Assume from now on that qj 6= 0 for all 1 \u2264 j \u2264 n.If mn = 1, then for ` \u2208 Z we have\u03a6\u0302\u000fq,\u03b8(`) =\u2211k\u2208Z\u222b[0,1]\u03c6\u0302(\u000fk)e2piik(xq\u2212\u03b8)e\u22122pii`xdx=\u2211k\u2208Ze\u22122piik\u03b8\u03c6\u0302(\u000fk)\u222b[0,1]e2piix(kq\u2212`)dx={e\u22122piiq\u22121`\u03b8\u03c6\u0302(\u000fq\u22121`) if q\u22121` \u2208 Z,0 otherwise.In general, for ` = (`11, . . . , `1n, . . . , `m1, . . . , `mn) \u2208 Zmn we have\u03a6\u0302\u000fq,\u03b8(`) =\u2211k\u2208Zm\u222b[0,1]mn\u03c6\u0302(\u000fk)e2piik\u00b7(xq\u2212\u03b8)e\u22122pii`\u00b7xdx(3.5.2)=\u2211k\u2208Zme\u22122piik\u00b7\u03b8\u03c6\u0302(\u000fk)\u222b[0,1]mne2pii(k\u00b7(xq\u2212\u03b8)\u2212`\u00b7x)dx=\u2211k\u2208Zme\u22122piik\u00b7\u03b8\u03c6\u0302(\u000fk)m\u220fi=1n\u220fj=1\u222b[0,1]e2piixij(kiqj\u2212`ij)dxij={e\u22122piiq\u221211 `1\u00b7\u03b8\u03c6\u0302(\u000fq\u221211 `1) if q \u2208 Q\u02dc(`),0 otherwise,whereQ\u02dc(`) ={q \u2208 Zn : q\u221211 `1 = \u00b7 \u00b7 \u00b7 = q\u22121n `n \u2208 Zm}and `j = (`1j, . . . , `mj) for all 1 \u2264 j \u2264 n.60For M > 0, defineFM(x) =1|Q(M)|\u2211q\u2208Q(M)\u03a6\u000f(M)q,\u03b8 (x) \u2200x \u2208 Rmn.This is the key function in the proof.Note FM is CK and periodic for the lattice Zmn. Since supp(\u03c6) \u2286 [\u22121, 1]m and\u000f(M) = minq\u2208Q(M)\u03a8(q), we havesupp(FM) \u2286 {x \u2208 Rmn : max1\u2264i\u2264m\u2016n\u2211j=1xijqj \u2212 \u03b8i\u2016 \u2264 \u03a8(q) for some q \u2208 Q(M)}.If q \u2208 Q(M) and 0 < |`| \u2264M\/2, then q \/\u2208 Q\u02dc(`). So by (3.5.2) we haveF\u0302M(`) = 0 for 0 < |`| \u2264M\/2.(3.5.3)As \u03c6 \u2265 0 and \u03c6\u0302(0) = 1, (3.5.2) also implies|F\u0302M(`)| \u2264 F\u0302M(0) = 1 \u2200` \u2208 Zmn.(3.5.4)Choose i0 \u2208 {1, . . . ,m} and j0 \u2208 {1, . . . , n} such that |`| = |`j0| = |`i0j0|. By(3.5.1) and (3.5.2), for all ` \u2208 Zmn we have|F\u0302M(`)| \u2264 C11|Q(M)|\u2211q\u2208Q(M)\u2229Q\u02dc(`)|\u03c6\u0302(\u000f(M)q\u221211 `1)|\u2264 C11|Q(M)|\u2211q\u2208Q(M)\u2229Q\u02dc(`)(1 + \u000f(M)|q1|\u22121|`1|)\u2212K= C11|Q(M)|\u2211q\u2208Q(M)\u2229Q\u02dc(`)(1 + \u000f(M)|qj0|\u22121|`j0 |)\u2212K\u2264 C1|Q(M) \u2229 Q\u02dc(`)||Q(M)|(1 + \u000f(M)M\u22121|`|)\u2212K .61To bound |Q(M) \u2229 Q\u02dc(`)|, first note that for ` 6= 0 we haveQ\u02dc(`) \u2286{(q1, . . . , qn) \u2208 Zn :`i0j0qj0\u2208 Z, qj =`i0jqj0`i0j0\u22001 \u2264 j \u2264 n}.It follows that|Q(M) \u2229 Q\u02dc(`)| \u2264 |Q\u02dc(`)| \u2264 2\u03c4(|`|),where \u03c4(v) denotes the number of positive integer divisors of the integer v. Thedivisor bound of Wigert [48] (cf. [21, p. 262]) sayslim supv\u2192\u221eln \u03c4(v)ln v\/ ln ln v= ln 2.For \u03b6 > 0, definef\u03b6(x) = exp(\u03b6 lnxln lnx)\u2200x > e.So for any \u03b6 > ln 2 there is a v\u03b6 \u2208 N such that\u03c4(v) \u2264 f\u03b6(v) \u2200v \u2208 N, v \u2265 v\u03b6 .Therefore|F\u0302M(`)| \u2264 2C1f\u03b6(|`|)|Q(M)|(1 + \u000f(M)M\u22121|`|)\u2212K \u2200` \u2208 Zmn, |`| \u2265 v\u03b6 .(3.5.5)3.6 Proof of Theorems 3.0.1 and 3.0.2: The MainLemmaDefineg(\u03be) ={1 if |\u03be| \u2264 e|\u03be|\u2212af1(|\u03be|)h(4|\u03be|) if |\u03be| > eLemma 3.6.1. For every \u03b4 > 0, M0 > 0, and \u03c7 \u2208 CKc (Rmn), there is an M\u2217 =M\u2217(\u03b4,M0, \u03c7) \u2208M such that M\u2217 \u2265M0 and|\u03c7\u0302FM\u2217(\u03be)\u2212 \u03c7\u0302(\u03be)| \u2264 \u03b4g(\u03be) \u2200\u03be \u2208 Rmn.62The proof will show M\u2217 can be taken to be any sufficiently large element of M.Proof. Since \u03c7 \u2208 CKc (Rmn), there is a C2 > 0 such that|\u03c7\u0302(\u03be)| \u2264 C2(1 + |\u03be|)\u2212K \u2200\u03be \u2208 Rmn.(3.6.1)For every p > mn, we havesup\u03be\u2208Rmn\u2211`\u2208Zmn(1 + |\u03be \u2212 `|)\u2212p <\u221e.(3.6.2)Since FM is CK and periodic for the lattice Zmn, we haveFM(x) =\u2211`\u2208ZmnF\u0302M(`)e2pii`\u00b7x \u2200x \u2208 Rmnwith uniform convergence. Since \u03c7 \u2208 L1(Rmn), multiplying by \u03c7 and taking theFourier transform yields\u03c7\u0302FM(\u03be) =\u2211`\u2208ZmnF\u0302M(`)\u222bRmn\u03c7(x)e2pii(`\u2212\u03be)\u00b7xdx =\u2211`\u2208ZmnF\u0302M(`)\u03c7\u0302(\u03be \u2212 `)for all \u03be \u2208 Rmn. Then by (3.5.4) and (3.5.3) we have\u03c7\u0302FM(\u03be)\u2212 \u03c7\u0302(\u03be) =\u2211|`|\u2265M\/2\u03c7\u0302(\u03be \u2212 `)F\u0302M(`).(3.6.3)Case 1: |\u03be| \u2264 M\/4. If |`| \u2265 M\/2, then |\u03be \u2212 `| \u2265 M\/4 \u2265 |\u03be|. Hence by (3.5.3),(3.6.1), (3.6.2) and (3.6.3) we have|\u03c7\u0302FM(\u03be)\u2212 \u03c7\u0302(\u03be)| \u2264 C2\u2211|`|\u2265M\/2(1 + |\u03be \u2212 `|)\u2212K\u2264 C2(1 + |\u03be|)\u2212a(1 +M\/4)\u2212(K\u2212a\u2212mn)\/2\u2211|`|\u2265M\/2(1 + |\u03be \u2212 `|)\u2212mn\u2212(K\u2212a\u2212mn)\/2\u2264 \u03b4g(\u03be)63for M sufficiently large.Case 2: |\u03be| \u2265M\/4. Using (3.6.3), write\u03c7\u0302FM(\u03be)\u2212 \u03c7\u0302(\u03be) =\u2211|`|\u2265M\/2|`|\u2264|\u03be|\/2\u03c7\u0302(\u03be \u2212 `)F\u0302M(`) +\u2211|`|\u2265M\/2|`|>|\u03be|\/2\u03c7\u0302(\u03be \u2212 `)F\u0302M(`) = S1 + S2.If |`| \u2264 |\u03be|\/2, then |\u03be \u2212 `| \u2265 |\u03be|\/2 \u2265 M\/8. Hence by (3.5.3), (3.6.1), and (3.6.2) wehave|S1| \u2264 C2\u2211|`|\u2265M\/2|`|\u2264|\u03be|\/2(1 + |\u03be \u2212 `|)\u2212K\u2264 C2(1 + |\u03be|\/2)\u2212a(1 +M\/8)\u2212(K\u2212a\u2212mn)\/2\u2211|`|\u2265M\/2|`|\u2264|\u03be|\/2(1 + |\u03be \u2212 `|)\u2212mn\u2212(K\u2212a\u2212mn)\/2\u2264\u03b42g(\u03be)for M sufficiently large.Fix ln 2 < \u03b6 < 1. By (3.0.1), (3.5.5), (3.6.1), (3.6.2) and because K > a we have|S2| \u2264 2C1C2\u2211|`|\u2265M\/2|`|>|\u03be|\/2f\u03b6(|`|)|Q(M)|(1 + \u000f(M)M\u22121|`|)\u2212K(1 + |\u03be \u2212 `|)\u2212K\u2264 2C1C2\u2211|`|\u2265M\/2|`|>|\u03be|\/2|`|\u2212af\u03b6(|`|)(\u000f(M)M\u22121)\u2212a|Q(M)|(1 + |\u03be \u2212 `|)\u2212K\u2264 2C1C2(|\u03be|\/2)\u2212af\u03b6(|\u03be|\/2)h(M)\u2211|`|\u2265M\/2|`|>|\u03be|\/2(1 + |\u03be \u2212 `|)\u2212K\u2264\u03b42g(\u03be)for all sufficiently large M \u2208M.643.7 Proof of Theorems 3.0.1 and 3.0.2: The Mea-sureLet \u03c70 \u2208 CK(Rmn) with\u222bRmn \u03c70(x)dx = 1, supp(\u03c70) = [\u22121, 1]mn, and \u03c70(x) > 0 forall |x| < 1. With the notation of Lemma 3.6.1, defineM1 = M\u2217(2\u22121, 1, \u03c70), Mk = M\u2217(2\u2212k\u22121, 2Mk\u22121, \u03c70FM1 \u00b7 \u00b7 \u00b7FMk\u22121) \u2200k \u2265 2.For k \u2208 N0, define the measure \u00b5k byd\u00b5k = \u03c70FM1 \u00b7 \u00b7 \u00b7FMkdx.By Lemma 3.6.1,|\u00b5\u0302k(\u03be)\u2212 \u00b5\u0302k\u22121(\u03be)| \u2264 2\u2212k\u22121g(\u03be) \u2200\u03be \u2208 Rmn, k \u2208 N.(3.7.1)Since g(\u03be) is bounded , (3.7.1) implies (\u00b5\u0302k)k\u2208N0 is a Cauchy sequence in the supremumnorm. Therefore, since each \u00b5\u0302k is a continuous function, limk\u2192\u221e\u00b5\u0302k is a continuousfunction. By (3.7.1) we have| limk\u2192\u221e\u00b5\u0302k(\u03be)\u2212 \u00b5\u03020(\u03be)| \u2264\u221e\u2211k=1|\u00b5\u0302k(\u03be)\u2212 \u00b5\u0302k\u22121(\u03be)| \u2264 g(\u03be)\u221e\u2211k=12\u2212k\u22121 =12g(\u03be)(3.7.2)for all \u03be \u2208 Rmn. Since \u00b5\u03020(0) = g(0) = 1, it follows from (3.7.2) that1\/2 \u2264 | limk\u2192\u221e\u00b5\u0302k(0)| \u2264 3\/2.Therefore, by Le\u00b4vy\u2019s continuity theorem, (\u00b5k)k\u2208N0 converges weakly to a non-trivialfinite measure \u00b5 with \u00b5\u0302 = limk\u2192\u221e\u00b5\u0302k andsupp(\u00b5) =\u221e\u22c2k=1supp(\u00b5k) = supp(\u03c70) \u2229\u221e\u22c2k=1supp(FMk).65Because Mk \u2265 2Mk\u22121 and because (as we noted in Section 3.5)supp(FM) \u2286 {x \u2208 Rmn : max1\u2264i\u2264m\u2016n\u2211j=1xijqj \u2212 \u03b8i\u2016 \u2264 \u03a8(q) for some q \u2208 Q(M)},we havesupp(\u00b5) \u2286 E(m,n,Q,\u03a8, \u03b8).Since \u03c70 \u2208 CKc and K > a, we have |\u00b5\u03020(\u03be)| . (1 + |\u03be|)\u2212a for all \u03be \u2208 Rmn. Combiningthis with (3.7.2) gives|\u00b5\u0302(\u03be)| . g(\u03be) \u2200\u03be \u2208 Rmn.By multiplying \u00b5 by a constant, we can make \u00b5 a probability measure. This completesthe proof of Theorems 3.0.1 and 3.0.2.3.8 Proof of Lemma 3.3.1Lemma 3.8.1 (Restatement of Lemma 3.3.1).dimH E(Q,\u03a8, \u03b8) \u2264 min {\u03b7(Q,\u03a8), 1} ,where\u03b7(Q,\u03a8) = inf{\u03b7 \u2265 0 :\u2211q\u2208Qq 6=0|q|(\u03a8(q)|q|)\u03b7<\u221e}.Proof. Since dimH E(Q,\u03a8, \u03b8) \u2264 dimH R \u2264 1, we only need to provedimH E(Q,\u03a8, \u03b8) \u2264 \u03b7(Q,\u03a8).66Note E(Q,\u03a8, \u03b8) is invariant under translation by integers. ThereforedimH E(Q,\u03a8, \u03b8) = dimH\u22c3k\u2208ZE(Q,\u03a8, \u03b8) \u2229 ([0, 1] + k)= dimH\u22c3k\u2208Z(E(Q,\u03a8, \u03b8)\u2212 k) \u2229 [0, 1]= dimH\u22c3k\u2208ZdimH E(Q,\u03a8, \u03b8) \u2229 [0, 1]= dimH E(m,n,Q,\u03a8, \u03b8) \u2229 [0, 1].So it suffices to provedimH E(Q,\u03a8, \u03b8) \u2229 [0, 1] \u2264 \u03b7(Q,\u03a8).Therefore, according to the definition of Hausdorff dimension, it will suffice to showthat for all \u000f > 0 and all \u03b7 > \u03b7(Q,\u03a8) there is a countable collection I of intervalsthat covers E(Q,\u03a8, \u03b8) \u2229 [0, 1] and satisfies\u2211I\u2208I(diam(I))\u03b7 < \u000f.Let \u000f > 0 and \u03b7 > \u03b7(Q,\u03a8). Define C = |\u03b8|+ supq\u2208Z\u03a8(q). Observe thatE(Q,\u03a8, \u03b8) \u2229 [0, 1] =\u22c2N\u2208N\u22c3q\u2208Q|q|\u2265N\u22c3k\u2208Z|k|\u2264C+|q|{x \u2208 [0, 1] : |xq \u2212 \u03b8 \u2212 k| \u2264 \u03a8(q)} .Let N \u2208 N. ThenE(Q,\u03a8, \u03b8) \u2229 [0, 1] \u2286\u22c3q\u2208Q|q|\u2265N\u22c3k\u2208Z|k|\u2264C+|q|{x \u2208 [0, 1] : |xq \u2212 \u03b8 \u2212 k| \u2264 \u03a8(q)}\u2286\u22c3q\u2208Q|q|\u2265N\u22c3k\u2208Z|k|\u2264C+|q|Iq,k,67whereIq,k = [(\u03b8 + k \u2212\u03a8(q))\/|q|, (\u03b8 + k + \u03a8(q))\/|q|].We have\u2211q\u2208Q|q|\u2265N\u2211k\u2208Z|k|\u2264C+|q|(diam(Iq,k))\u03b7 =\u2211q\u2208Q|q|\u2265N\u2211k\u2208Z|k|\u2264C+|q|2\u03b7(\u03a8(q)|q|)\u03b7\u2264\u2211q\u2208Q|q|\u2265N(2(C + |q|) + 1)2\u03b7(\u03a8(q)|q|)\u03b7.\u2211q\u2208Q|q|\u2265N|q|(\u03a8(q)|q|)\u03b7.The last sum converges because \u03b7 > \u03b7(Q,\u03a8). So, by taking N sufficiently large, wecan make the sum less than \u000f.68Chapter 4ConclusionIn this chapter, we summarize the contributions of this thesis and discuss directionsfor future work.4.1 ContributionsIn this section, we summarize the contributions of this thesis.The first major contribution of this thesis concerns the L2 Fourier restrictiontheorem due to Mockenhaupt [37] and Mitsis [35] (with the endpoint due to Bak andSeeger [1]). We state the theorem again here for convenience.Theorem 4.1.1. Let \u00b5 be a compactly supported probability measure on Rd. Supposethere are \u03b1, \u03b2 \u2208 (0, d) such that\u00b5(B(x, r)) . r\u03b1 \u2200x \u2208 Rd, r > 0,(A)|\u00b5\u0302(\u03be)| . (1 + |\u03be|)\u2212\u03b2\/2 \u2200\u03be \u2208 Rd.(B)Then for all p \u2265 2(2d\u2212 2\u03b1 + \u03b2)\/\u03b2 we have\u2016f\u0302\u00b5\u2016p . \u2016f\u2016L2(\u00b5) \u2200f \u2208 L2(\u00b5).(4.1.1)Restriction theorems are some of the main objects of study in harmonic analysis.69They represent an important way to understand the nature of the Fourier transformand the geometry of sets and measures. Restriction theorems are connected to manyother important problems in mathematical analysis, including the Kakeya conjecture,the Bochner-Riesz conjecture, the estimation of solutions to the wave, Schroedinger,and Helmholtz equations, and the local smoothing conjecture for partial differentialequations (cf. [45]).Once a restriction theorem such as Theorem 4.1.1 has been established, it isnatural to ask whether it can be improved. In this thesis, we considered whetherwe can enlarge the range of p in the theorem by replacing 2(2d\u2212 2\u03b1 + \u03b2)\/\u03b2 with asmaller number. We considered this question only for a particular class of measures.If we do not limit the class of measures considered, the well-known Knapp example(cf. [49, Chapter 7]) shows the range of p cannot be enlarged. Whereas the classicrestriction theorems established before Theorem 4.1.1 applied only to smooth curvedsurfaces (like spheres) in Rd, d \u2265 2, the novel aspect of Theorem 4.1.1 is that itapplies to measures supported on fractal sets and to measures on R. In this thesis,we have considered the optimality of the range of p in Theorem 4.1.1 for measureson R. In particular, we proved the following theorem.Theorem 4.1.2. Given any 0 < \u03b2 \u2264 \u03b1 < 1 and given any p\u2217 < 2(2 \u2212 2\u03b1 + \u03b2)\/\u03b2there is a compactly supported probability measure on R that satisfies (A) and (B)but does not satisfy (4.1.1) for every p \u2264 p\u2217.The theorem is important and interesting because there is no obvious analog ofthe Knapp example (with its small, almost flat, spherical cap) available to prove theoptimality of the range of p in Theorem 4.1.1 when considering measures on the realline.The second major contribution of this thesis is the construction of new explicitSalem sets in R and new explicit sets in Rd with large Fourier dimension.There are many random constructions of Salem sets (cf. [41], [27], [28], [6], [31]).Moreover, Kahane [28, Chapter 18] showed that the image of any compact set inRd under fractional Brownian motion is almost surely a Salem set, which illustratesthat Salem sets are ubiquitous as random sets. These random constructions do not70produce any explicit examples of Salem sets. Moreover, besides the classic examplesof Salem sets in Rd of dimensions 0, d\u2212 1, and d, explicit examples of Salem sets arevery difficult to find. The first (and essentially only) construction of explicit Salemsets with dimensions other than 0, d \u2212 1, or d is due to Kaufman [29], who showedthat{x \u2208 R : \u2016qx\u2016 \u2264 |q|\u2212\u03c4 for infinitely many q \u2208 Z}is a Salem set of dimension 2\/(1 + \u03c4) when \u03c4 > 1. Bluhm [7] generalized this byshowing that replacing |q|\u2212\u03c4 by \u03c8(|q|) for any decreasing function \u03c8 : N \u2192 (0,\u221e)still gives a Salem set. In this thesis, we further generalized the results of Kaufmanand Bluhm. For Q \u2286 Z infinite, \u03a8 : Z \u2192 [0,\u221e), and \u03b8 \u2208 R, we proved a lowerbound on the Fourier dimension ofE(Q,\u03a8, \u03b8) = {x \u2208 R : \u2016qx\u2212 \u03b8\u2016 \u2264 \u03a8(q) for infinitely many q \u2208 Q} .Moreover, we showed that this set is Salem for many choices of Q and \u03a8 (regardlessof the value of \u03b8). Explicit examples of sets in Rd with Fourier dimension larger than1 are also hard to find. We gave in this thesis some new explicit examples of suchsets. Furthermore, we applied our results to compute the Hausdorff dimension ofE(Q,\u03a8, \u03b8) in new cases, which is of interest in metrical Diophantine approximation.4.2 Directions for Future WorkIn this section, we discuss directions for future work related to the content of thisthesis.We first note that Chen [11] has obtained the following improved version of The-orem 4.1.2 by modifying the argument of Laba and myself from [23].Theorem 4.2.1. Given any 0 < \u03b2 \u2264 \u03b1 < 1, there is a compactly supported proba-bility measure on R that satisfies (A) and (B) but does not satisfy (4.1.1) for everyp \u2264 2(2d\u2212 2\u03b1 + \u03b2)\/\u03b2.There are several interesting ways Theorems 4.1.2 and 4.2.1 could possibly be71extended. We briefly discuss two of them.First, one could try to obtain a version of Theorem 4.1.2 or 4.2.1 with \u03b2 > \u03b1. Sincethe Hausdorff dimension of a Borel set in R is the supremum of all \u03b1 \u2208 [0, 1] for whichthe set supports some probability measure \u00b5 satisfying (A), it is tempting to thinkthat the supremum of the numbers \u03b1 \u2208 [0, 1] for which a given probability measure\u00b5 satisfies (A) is the Hausdorff dimension of the support of \u00b5. This is wrong. TheHausdorff dimension of supp(\u00b5) can be strictly larger than the supremum of \u03b1 \u2208 [0, 1]for which \u00b5 satisfies (A). Moreover, since the Fourier dimension of Borel set in R isthe supremum of \u03b2 \u2208 [0, 1] for which the set supports some probability measure \u00b5satisfying (B), it is tempting to think that the supremum of the numbers \u03b2 \u2208 [0, 1]for which a given probability measure \u00b5 satisfies (B) is the Fourier dimension ofthe support of \u00b5. This is also wrong. The Fourier dimension of supp(\u00b5) can bestrictly larger than the supremum of \u03b2 \u2208 [0, d] for which \u00b5 satisfies (B). Finally, sincethe Fourier dimension of a Borel set is always less than or equal to the Hausdorffdimension of the set, it is tempting to think a probability measure \u00b5 on R thatsatisfies (B) for some \u03b2 must satisfy (A) for some \u03b1 \u2265 \u03b2. This, again, is wrong.A probability measure \u00b5 may satisfy (B) for some \u03b2 and fail to satisfy (A) for any\u03b1 \u2265 \u03b2. In other words, there are probability measures \u00b5 such that the largest \u03b1and \u03b2 in (0, d) for which (A) and (B) hold obey \u03b2 > \u03b1. Neither Theorem 4.1.2 norTheorem 4.2.1 give the sharpness of the range of p in Theorem 4.1.1 for the class ofsuch measures. It is likely a substantial new idea is needed to obtain such a sharpnessresult as it appears the current method cannot be modified to handle \u03b2 > \u03b1.Second, it would be interesting to obtain a version of Theorem 4.1.2 or 4.2.1 formeasures on Rd and 0 < \u03b2 \u2264 \u03b1 < d. The current method of proof does not seem togeneralize easily to this situation. However, it seems likely that such a theorem canbe obtained for \u03b1 and \u03b2 in a restricted range.Concerning the results in this thesis on the construction of explicit Salem sets,we pose three questions that are interesting for future research.What is the Fourier dimension of E(Q,\u03a8\u03c4 , 0) when \u03bd(Q) < 1? For example,consider Q as the set of squares (so that \u03bd(Q) = 1\/2) or the set of powers of 2 (so that\u03bd(Q) = 0). Theorem 3.0.1 says nothing when \u03bd(Q) < 1. One natural conjecture is72that E(Q,\u03a8\u03c4 , 0) is a Salem set, meaning its Fourier dimension is min{(1+\u03bd(Q))\/(1+\u03c4), 1}.What is the Fourier dimension of E(m,n,Z,\u03a8\u03c4 , 0)? Theorem 3.0.2 implies theFourier dimension is at least min {2n\/(1 + \u03c4),mn}. It is natural to conjecture thatthe Fourier dimension is exactly min {2n\/(1 + \u03c4),mn}. The verification of thisconjecture would make E(m,n,Z,\u03a8\u03c4 , 0) the first explicit example of a set in Rd(d \u2265 2) with Fourier dimension strictly between 1 and d \u2212 1. Another natural con-jecture is that E(m,n,Z,\u03a8\u03c4 , 0) is a Salem set, meaning its Fourier dimension ismin{m(n\u2212 1) + (m+ n)\/(1 + \u03c4),mn}.What is the Fourier dimension of E(m,n,Q,\u03a8, \u03b8) when no additional restrictionsare placed on the parameters? This is the most general question and therefore themost challenging.73Bibliography[1] J.-G. Bak, A. Seeger, Extensions of the Stein-Tomas theorem, Math. Res. Lett.18 (2011), no. 4, 767\u2013781.[2] A. Banner, Restriction of the Fourier transform to quadratic submanifolds,Princeton University Thesis, 2002.[3] A. S. Besicovitch, Sets of fractional dimension (IV); on rational approximationto real numbers, J. London Math. Soc., 9 (1934), 126-131.[4] P. Billingsley, Convergence of Probability Measures, 2ed, Wiley (1999).[5] C. Bluhm, Zur Konstruktion von Salem-Mengen, Ph. D. Dissertation, Erlangen,1996.[6] C. Bluhm, Random recursive construction of Salem sets, Ark. Mat. 34 (1996),51\u201363.[7] C. Bluhm, On a theorem of Kaufman: Cantor-type construction of linear fractalSalem sets, Ark. Mat. 36 (1998), 307\u2013316.[8] I. Borosh, A. S. Fraenkel, A generalization of Jarn\u00b4\u0131ks theorem on Diophantineapproximations, Indag. Math. 34 (1972), 193-201.[9] J. Bourgain, Remarks on Montgomery\u2019s conjectures on Dirichlet sums, Geomet-ric aspects of functional analysis (1989-90), 153-165, Lecture Notes in Math.,1469, Springer, Berlin, 1991.74[10] J. Bourgain, On the distribution of Dirichlet sums, J. Anal. Math. 60 (1993),21-32.[11] X. Chen, Sets of Salem type and sharpness of the L2-Fourier restriction theorem,preprint, 2013. http:\/\/arxiv.org\/pdf\/1305.5584v2.pdf, visited 2015-04-26.[12] M. Christ, Restriction of the Fourier transform to submanifolds of low codimen-sion, Thesis, U. Chicago, 1982.[13] H. Dickinson, A note on the theorem of Jarn\u00b4\u0131k-Besicovitch, Glasgow Math. J.39 (1997), no. 2, 233-236.[14] M. M. Dodson, Hausdorff dimension, lower order and Khintchine\u2019s theorem inmetric Diophantine approximation, J. Reine Angew. Math. 432 (1992), 69\u201376.[15] H. G. Eggleston, Sets of fractional dimensions which occur in some problems ofnumber theory, Proc. London Math. Soc. 54 (1951), 42\u201393.[16] C. Fefferman, Inequalities for strongly singular convolution operators, ActaMath. 124 (1970), 9\u201336.[17] G. B. Folland, Real Analysis: Modern Techniques and Their Applications, 2nded., Wiley (1999).[18] O. Frostman, Potentiel de\u00b4quilibre et capacite\u00b4 des ensembles avec quelques appli-cations a` la the\u00b4orie des fonctions, Meddel. Lunds Univ. Math. Sem. 3 (1935)1-118.[19] M. Gatesoupe, Sur un the\u00b4ore`me de R. Salem, Bull. Sci. Math. (2) 91 (1967),125-127.[20] B. Green, Roth\u2019s theorem in the primes, Annals of Mathematics, 161 (2005),1609-1636.[21] G. H. Hardy, E. M. Wright, An Introduction to the Theory of Numbers, 4th ed.,Oxford: Clarendon Press, 1975.75[22] K. Hambrook, Explicit Salem Sets and applications to metrical Diophantineapproximation, preprint. http:\/\/www.math.ubc.ca\/~hambrook\/research\/Hambrook-Explicit-v2.pdf, visited 2015-04-26.[23] K. Hambrook, I. Laba, On the sharpness of Mockenhaupt\u2019s restriction theorem,Geometric and Functional Analysis 23 (2013), no. 4, 1262-1277.[24] T. Hinokuma, H. Shiga, A remark on theorem of Jarn\u00b4\u0131k, Ryukyu Math. J. 5(1992), 1-6.[25] W. Hoeffding, Probability inequalities for sums of bounded random variables,Journal of the American Statistical Association 58 (1963), no. 301, 13\u201330.[26] V. Jarn\u00b4\u0131k, Diophantischen Approximationen und Hausdorffsches Mass, Mat.Sbornik, 36 (1929), 371\u2013382.[27] J.-P. Kahane, Images d\u2019ensembles parfaits par des se\u00b4ries de Fourier gaussiennes,C. R. Acad. Sci. Paris Sr. A-B 263 (1966) A678\u2013A681.[28] J.-P. Kahane, Some Random Series of Functions, 2nd ed., Cambridge Univ.Press, 1985.[29] R. Kaufman, On the theorem of Jarn\u00b4\u0131k and Besicovitch, Acta Arith. 39 (1981),265\u2013267.[30] T. Ko\u00a8rner, Hausdorff and Fourier dimension, Studia Math. 158 (2011), 37\u201350.[31] I. Laba, M. Pramanik, Arithmetic progressions in sets of fractional dimension,Geom. Funct. Anal. 19 (2009), no. 2, 429\u2013456.[32] J. Levesley, A general inhomogeneous Jarnk-Besicovitch theorem, J. NumberTheory 71 (1998), 65-80.[33] W. Littman, Lp-Lq-estimates for singular integral operators arising from hyper-bolic equations, Partial Differential Equations (Proc. Sympos. Pure Math., Vol.XXIII, Univ. California, Berkeley, Calif., 1971), pp. 479-481. Amer. Math. Soc.,Providence, R.I., 1973.76[34] P. Mattila, Geometry of sets and measures in Euclidean spaces, Cambridge Stud-ies in Advanced Mathematics, vol. 44, Cambridge University Press, 1995.[35] T. Mitsis, A Stein-Tomas restriction theorem for general measures, Publ. Math.Debrecen 60 (2002), 89\u201399.[36] G. Mockenhaupt, Bounds in Lebesgue spaces of Oscillatory integrals, Habilita-tionsschrift, U. of Siegen, 1996.[37] G. Mockenhaupt, Salem sets and restriction properties of Fourier transforms,Geom. Funct. Anal. 10 (2000), 1579\u20131587.[38] G. Mockenhaupt and T. Tao, Restriction and Kakeya phenomena for finitefields, Duke Math. J. 121 (2004), no. 1, 35\u201374.[39] E. Prestini, Restriction theorems for the Fourier transform to some manifoldsin Rn, Harmonic Analysis in Euclidean Spaces (Proc. Sympos. Pure Math. 35,Amer. Math. Soc., 1979, vol I), 101-109.[40] B. P. Rynne, The Hausdorff dimension of sets arising from Diophantine ap-proximation with a general error function, J. Number Theory 71 (1998), no. 2,166\u2013171.[41] R. Salem, On singular monotonic functions whose spectrum has a given Haus-dorff dimension, Ark. Mat. 1 (1951), 353\u2013365.[42] E. M. Stein, Maximal functions. I. Spherical means, Proc. Nat. Acad. Sci. U.S.A.73 (1976), no. 7, 2174\u20132175.[43] E. M. Stein, Harmonic Analysis, Princeton Univ. Press, 1993.[44] R. Strichartz, Convolutions with kernels having singularities on a sphere, Trans.Amer. Math. Soc. 148 (1970), 461\u2013471.[45] T. Tao, Some Recent Progress on the Restriction Conjecture, Fourier Analy-sis and Convexity, 217-243, Appl. Numer. Harmon. Anal., Birkhuser Boston,Boston, MA, 2004.77[46] P. A. Tomas, A restriction theorem for the Fourier transform, Bull. Amer. Math.Soc. 81 (1975), 477\u2013478.[47] P. A. Tomas, Restriction theorems for the Fourier transform, in Harmonic Anal-ysis in Euclidean Spaces (Proc. Sympos. Pure Math. 35, Amer. Math. Soc.,1979, vol I), 111\u2013114.[48] S. Wigert, Sur l\u2019ordre de grandeur du nombre des diviseurs d\u2019un entier, Ark.Mat. 3 (1906\/7), 1-9.[49] T. Wolff, Lectures on Harmonic Analysis, Amer. Math. Soc., Providence, R.I.(2003).78Appendix AHoeffding\u2019s InequalityThe standard version of Hoeffding\u2019s inequality for real-valued random variables isthe following.Lemma A.0.1. If X1, . . . , Xn are independent real-valued random variables withEXi = 0 and |Xi| \u2264 1 for i = 1, . . . , n, thenP(\u2223\u2223\u2223\u2223\u22231nn\u2211i=1Xi\u2223\u2223\u2223\u2223\u2223\u2265 u)\u2264 2 exp(\u2212nu2\/2)for all u \u2265 0.For the proof of Lemma A.0.1, see [25].The following version of Hoeffding\u2019s inequality for complex-valued random vari-ables can be deduced from Lemma A.0.1.Lemma A.0.2. If X1, . . . , Xn are independent complex-valued random variables withEXi = 0 and |Xi| \u2264 1 for i = 1, . . . , n, thenP(\u2223\u2223\u2223\u2223\u22231nn\u2211i=1Xi\u2223\u2223\u2223\u2223\u2223\u2265 u)\u2264 4 exp(\u2212nu2\/4)for all u \u2265 0.79Proof. For z \u2208 C, if |z| = (|Re(z)|2 + |Im(z)|2)1\/2 \u2265 u, then |Re(z)| \u2265 u\/\u221a2 or|Im(z)| \u2265 u\/\u221a2. ThereforeP(\u2223\u2223\u2223\u2223\u22231nn\u2211i=1Xi\u2223\u2223\u2223\u2223\u2223\u2265 u)\u2264 P(\u2223\u2223\u2223\u2223\u22231nn\u2211i=1Re(Xi)\u2223\u2223\u2223\u2223\u2223\u2265u\u221a2)+ P(\u2223\u2223\u2223\u2223\u22231nn\u2211i=1Im(Xi)\u2223\u2223\u2223\u2223\u2223\u2265u\u221a2).Applying Lemma A.0.1 on the right-hand side completes the proof.80Appendix BA Fourier Decay LemmaLemma B.0.1. Let \u00b5 be a complex-valued measure on R with compact support.Suppose there are positive constants b and c1 such that|\u00b5\u0302(k)| \u2264 c1(ln(e+ |k|))1\/2(1 + |k|)\u2212b \u2200k \u2208 Z.(B.0.1)Then there is a positive constant c2 such that|\u00b5\u0302(\u03be)| \u2264 c1c2(ln(e+ |\u03be|))1\/2(1 + |\u03be|)\u2212b \u2200\u03be \u2208 R.(B.0.2)Proof. If the support of \u00b5 is contained in an interval [\u2212M,M ], then the measure \u03bddefined by \u222bRf(x)d\u03bd(x) =\u222bRf( 14M x+12)d\u00b5(x) \u2200f \u2208 L1(\u00b5)has support contained in [14 ,34 ] and satisfies \u03bd\u0302(\u03be) = \u00b5\u0302(14M \u03be)e\u2212pii\u03be for all \u03be \u2208 R. There-fore it suffices to prove the lemma under the assumption that the support of \u00b5 iscontained in [14 ,34 ].Let \u03b3 : R\u2192 C be a C\u221e function that is equal to 1 on supp(\u00b5) and has supp(\u03b3) \u2286[0, 1]. For a \u2208 [\u22121, 1], define\u03b3a(x) = e\u22122piiax\u03b3(x) \u2200x \u2208 R.81We claim that for every n \u2208 N there is a constant Cn,\u03b3 > 0 depending only on n and\u03b3 such that|\u03b3\u0302a(k)| \u2264 Cn,\u03b3(1 + |k|)\u2212n \u2200k \u2208 Z, a \u2208 [\u22121, 1].(B.0.3)We now prove this claim. Fix n \u2208 N. Note that for any compactly supported C\u221efunction f : R\u2192 C, integration by parts yieldsf\u0302 (n)(k) = (2piik)nf\u0302(k) \u2200k \u2208 Z.Therefore\u0302\u03b3(n)a (k) = (2piik)n\u03b3\u0302a(k) \u2200k \u2208 Z, a \u2208 [\u22121, 1].(B.0.4)By direct computation, the n-th derivative of \u03b3a is\u03b3(n)a (x) = e\u22122piiaxn\u2211j=0(nk)(\u22122piia)j\u03b3(n\u2212j)(x) \u2200x \u2208 R.Therefore there exists a constant C \u2032n,\u03b3 > 0 depending only on n and \u03b3 such that|\u03b3(n)a (x)| \u2264 C\u2032n,\u03b3 \u2200x \u2208 R, a \u2208 [\u22121, 1].Since supp(\u03b3(n)a ) \u2286 [0, 1] for every a \u2208 [\u22121, 1], it follows that|\u0302\u03b3(n)a (k)| \u2264\u222b[0,1]|\u03b3(n)a (x)|dx \u2264 C\u2032n,\u03b3 \u2200k \u2208 Z, a \u2208 [\u22121, 1].Then (B.0.4) yields|\u03b3\u0302a(k)| \u2264C \u2032n,\u03b3(2pi)n|k|\u2212n \u2200k \u2208 Z, k 6= 0, a \u2208 [\u22121, 1].82This implies (B.0.3) because (1 + |k|)n \u2264 2|k|n for k \u2208 Z, k 6= 0 and|\u03b3\u0302a(0)| \u2264 \u2016\u03b3a\u20161 = \u2016\u03b3\u20161 <\u221e \u2200a \u2208 [\u22121, 1].Now that the claim is proved, we can complete the proof of the lemma. Letm \u2208 Z and a \u2208 [\u22121, 1] be given. Since \u03b3a is C\u221e with supp(\u03b3a) \u2286 [0, 1], we have\u03b3a(x) =\u2211k\u2208Z\u03b3\u0302a(k)e2piikx \u2200x \u2208 R,where the convergence is uniform for x \u2208 R. Then, as \u03b3 is equal to 1 on supp(\u00b5), wehave\u00b5\u0302(m+ a) =\u222bRe\u22122piiaxe\u22122piimxd\u00b5(x) =\u222bRe\u22122piiax\u03b3(x)e\u22122piimxd\u00b5(x)=\u222bR\u03b3a(x)e\u22122piimxd\u00b5(x) =\u222bR\u2211k\u2208Z\u03b3\u0302a(k)e2piikxe\u22122piimxd\u00b5(x)=\u2211k\u2208Z\u03b3\u0302a(k)\u222bRe\u22122pii(m\u2212k)xd\u00b5(x) =\u2211k\u2208Z\u03b3\u0302a(k)\u00b5\u0302(m\u2212 k).Write\u00b5\u0302(m+ a) =\u2211|k|\u2264 12 |m|\u03b3\u0302a(k)\u00b5\u0302(m\u2212 k) +\u2211|k|> 12 |m|\u03b3\u0302a(k)\u00b5\u0302(m\u2212 k).We bound each sum separately. Fix a positive integer n > 1 + b and define Cb =\u2211k\u2208Z(1 + |k|)\u2212n+b. If |k| \u2264 12 |m|, then12 |m| \u2264 |m \u2212 k| \u226432 |m|, and so (B.0.1) and(B.0.3) give\u2211|k|\u2264 12 |m||\u03b3\u0302a(k)||\u00b5\u0302(m\u2212 k)| \u2264 c1Cn,\u03b3(ln(e+ 32 |m|))1\/2(1 + 12 |m|)\u2212b\u2211|k|\u2264 12 |m|(1 + |k|)\u2212n\u2264 c1CbCn,\u03b3(ln(e+ 32 |m|))1\/2(1 + 12 |m|)\u2212b.83Define C \u2032b = supx\u22650(ln(e+ x))1\/2(1 + x)\u2212b. Then by (B.0.1) and (B.0.3) we have\u2211|k|> 12 |m||\u03b3\u0302a(k)||\u00b5\u0302(m\u2212 k)| \u2264 c1C\u2032bCn,\u03b3\u2211|k|> 12 |m|(1 + |k|)\u2212n\u2264 c1C\u2032bCn,\u03b3(1 +12 |m|)\u2212b\u2211|k|> 12 |m|(1 + |k|)\u2212n+b\u2264 c1CbC\u2032bCn,\u03b3(1 +12 |m|)\u2212b\u2264 c1CbC\u2032bCn,\u03b3(ln(e+32 |m|))1\/2(1 + 12 |m|)\u2212b.Combining the bounds on the two sums yields|\u00b5\u0302(m+ a)| \u2264 2c1CbC\u2032bCn,\u03b3(ln(e+32 |m|))1\/2(1 + 12 |m|)\u2212b\u2264 c1CbC\u2032bCn,\u03b32b+ 32 (ln(e+ |m+ a|))1\/2(1 + |m+ a|)\u2212bfor every m \u2208 Z and a \u2208 [\u22121, 1]. This proves (B.0.2) because each \u03be \u2208 R can bewritten as \u03be = m+ a for some m \u2208 Z and a \u2208 [\u22121, 1].It is possible to prove a more general version of Lemma B.0.1 (cf. [28, p. 252]).84","attrs":{"lang":"en","ns":"http:\/\/www.w3.org\/2009\/08\/skos-reference\/skos.html#note","classmap":"oc:AnnotationContainer"},"iri":"http:\/\/www.w3.org\/2009\/08\/skos-reference\/skos.html#note","explain":"Simple Knowledge Organisation System; Notes are used to provide information relating to SKOS concepts. There is no restriction on the nature of this information, e.g., it could be plain text, hypertext, or an image; it could be a definition, information about the scope of a concept, editorial information, or any other type of information."}],"Genre":[{"label":"Genre","value":"Thesis\/Dissertation","attrs":{"lang":"en","ns":"http:\/\/www.europeana.eu\/schemas\/edm\/hasType","classmap":"dpla:SourceResource","property":"edm:hasType"},"iri":"http:\/\/www.europeana.eu\/schemas\/edm\/hasType","explain":"A Europeana Data Model Property; This property relates a resource with the concepts it belongs to in a suitable type system such as MIME or any thesaurus that captures categories of objects in a given field. It does NOT capture aboutness"}],"GraduationDate":[{"label":"GraduationDate","value":"2015-09","attrs":{"lang":"en","ns":"http:\/\/vivoweb.org\/ontology\/core#dateIssued","classmap":"vivo:DateTimeValue","property":"vivo:dateIssued"},"iri":"http:\/\/vivoweb.org\/ontology\/core#dateIssued","explain":"VIVO-ISF Ontology V1.6 Property; Date Optional Time Value, DateTime+Timezone Preferred "}],"IsShownAt":[{"label":"IsShownAt","value":"10.14288\/1.0166366","attrs":{"lang":"en","ns":"http:\/\/www.europeana.eu\/schemas\/edm\/isShownAt","classmap":"edm:WebResource","property":"edm:isShownAt"},"iri":"http:\/\/www.europeana.eu\/schemas\/edm\/isShownAt","explain":"A Europeana Data Model Property; An unambiguous URL reference to the digital object on the provider\u2019s website in its full information context."}],"Language":[{"label":"Language","value":"eng","attrs":{"lang":"en","ns":"http:\/\/purl.org\/dc\/terms\/language","classmap":"dpla:SourceResource","property":"dcterms:language"},"iri":"http:\/\/purl.org\/dc\/terms\/language","explain":"A Dublin Core Terms Property; A language of the resource.; Recommended best practice is to use a controlled vocabulary such as RFC 4646 [RFC4646]."}],"Program":[{"label":"Program","value":"Mathematics","attrs":{"lang":"en","ns":"https:\/\/open.library.ubc.ca\/terms#degreeDiscipline","classmap":"oc:ThesisDescription","property":"oc:degreeDiscipline"},"iri":"https:\/\/open.library.ubc.ca\/terms#degreeDiscipline","explain":"UBC Open Collections Metadata Components; Local Field; Indicates the program for which the degree was granted."}],"Provider":[{"label":"Provider","value":"Vancouver : University of British Columbia Library","attrs":{"lang":"en","ns":"http:\/\/www.europeana.eu\/schemas\/edm\/provider","classmap":"ore:Aggregation","property":"edm:provider"},"iri":"http:\/\/www.europeana.eu\/schemas\/edm\/provider","explain":"A Europeana Data Model Property; The name or identifier of the organization who delivers data directly to an aggregation service (e.g. Europeana)"}],"Publisher":[{"label":"Publisher","value":"University of British Columbia","attrs":{"lang":"en","ns":"http:\/\/purl.org\/dc\/terms\/publisher","classmap":"dpla:SourceResource","property":"dcterms:publisher"},"iri":"http:\/\/purl.org\/dc\/terms\/publisher","explain":"A Dublin Core Terms Property; An entity responsible for making the resource available.; Examples of a Publisher include a person, an organization, or a service."}],"Rights":[{"label":"Rights","value":"Attribution-NonCommercial-NoDerivs 2.5 Canada","attrs":{"lang":"en","ns":"http:\/\/purl.org\/dc\/terms\/rights","classmap":"edm:WebResource","property":"dcterms:rights"},"iri":"http:\/\/purl.org\/dc\/terms\/rights","explain":"A Dublin Core Terms Property; Information about rights held in and over the resource.; Typically, rights information includes a statement about various property rights associated with the resource, including intellectual property rights."}],"RightsURI":[{"label":"RightsURI","value":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/2.5\/ca\/","attrs":{"lang":"en","ns":"https:\/\/open.library.ubc.ca\/terms#rightsURI","classmap":"oc:PublicationDescription","property":"oc:rightsURI"},"iri":"https:\/\/open.library.ubc.ca\/terms#rightsURI","explain":"UBC Open Collections Metadata Components; Local Field; Indicates the Creative Commons license url."}],"ScholarlyLevel":[{"label":"ScholarlyLevel","value":"Graduate","attrs":{"lang":"en","ns":"https:\/\/open.library.ubc.ca\/terms#scholarLevel","classmap":"oc:PublicationDescription","property":"oc:scholarLevel"},"iri":"https:\/\/open.library.ubc.ca\/terms#scholarLevel","explain":"UBC Open Collections Metadata Components; Local Field; Identifies the scholarly level of the author(s)\/creator(s)."}],"Title":[{"label":"Title","value":"Restriction theorems and Salem sets","attrs":{"lang":"en","ns":"http:\/\/purl.org\/dc\/terms\/title","classmap":"dpla:SourceResource","property":"dcterms:title"},"iri":"http:\/\/purl.org\/dc\/terms\/title","explain":"A Dublin Core Terms Property; The name given to the resource."}],"Type":[{"label":"Type","value":"Text","attrs":{"lang":"en","ns":"http:\/\/purl.org\/dc\/terms\/type","classmap":"dpla:SourceResource","property":"dcterms:type"},"iri":"http:\/\/purl.org\/dc\/terms\/type","explain":"A Dublin Core Terms Property; The nature or genre of the resource.; Recommended best practice is to use a controlled vocabulary such as the DCMI Type Vocabulary [DCMITYPE]. To describe the file format, physical medium, or dimensions of the resource, use the Format element."}],"URI":[{"label":"URI","value":"http:\/\/hdl.handle.net\/2429\/54044","attrs":{"lang":"en","ns":"https:\/\/open.library.ubc.ca\/terms#identifierURI","classmap":"oc:PublicationDescription","property":"oc:identifierURI"},"iri":"https:\/\/open.library.ubc.ca\/terms#identifierURI","explain":"UBC Open Collections Metadata Components; Local Field; Indicates the handle for item record."}],"SortDate":[{"label":"Sort Date","value":"2015-12-31 AD","attrs":{"lang":"en","ns":"http:\/\/purl.org\/dc\/terms\/date","classmap":"oc:InternalResource","property":"dcterms:date"},"iri":"http:\/\/purl.org\/dc\/terms\/date","explain":"A Dublin Core Elements Property; A point or period of time associated with an event in the lifecycle of the resource.; Date may be used to express temporal information at any level of granularity. Recommended best practice is to use an encoding scheme, such as the W3CDTF profile of ISO 8601 [W3CDTF].; A point or period of time associated with an event in the lifecycle of the resource.; Date may be used to express temporal information at any level of granularity. Recommended best practice is to use an encoding scheme, such as the W3CDTF profile of ISO 8601 [W3CDTF]."}]}