DOCSLIB.ORG

Kakeya-Type Sets, Lacunarity, and Directional Maximal Operators in Euclidean Space

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Kakeya-Type Sets, Lacunarity, and Directional Maximal Operators in Euclidean Space Kakeya-type Sets, Lacunarity, and Directional Maximal Operators in Euclidean Space by Edward Kroc A thesis submitted in partial fulfilment of the requirements for the degree of Doctor of Philosophy in The Faculty of Graduate and Postdoctoral Studies (Mathematics) The University of British Columbia (Vancouver) April 2015 ⃝c Edward Kroc, 2015 Abstract Given a Cantor-type subset Ω of a smooth curve in Rd+1, we construct random examples of Euclidean sets that contain unit line segments with directions from Ω and enjoy analytical features similar to those of traditional Kakeya sets of infinitesimal Lebesgue measure. We also develop a notion of finite order lacunarity for direction sets in Rd+1, and use it to extend our construction to direction sets Ω that are sublacunary according to this definition. This generalizes to higher dimensions a pair of planar results due to Bateman and Katz [4], [3]. In particular, the existence of such sets implies that the directional maximal operator associated with the direction set Ω is unbounded on Lp(Rd+1) for all 1 ≤ p < 1. ii Preface Much of the proceeding document is adapted from two research papers authored by myself and Malabika Pramanik, currently unpublished. These materials are used with permission. Chapters 6 through 11 form the main content of [31], Kakeya-type sets over Cantor sets of directions in Rd+1, while Chapters 2, 3.7, and 12 through 19 are adapted from [32], Lacunarity, Kakeya-type sets and directional maximal op- erators. The first of these two manuscripts has recently been conditionally accepted for publication in the Journal of Fourier Analysis and Applications. iii Table of Contents Abstract ...................................... ii Preface ....................................... iii Table of Contents ................................ iv List of Figures .................................. viii Acknowledgements ............................... x 1 Introduction .................................. 1 1.1 Summary of results ............................ 2 1.2 Notations, conventions, and structure of the document . 6 1.3 Early history of Kakeya sets ....................... 10 1.4 Background: maximal averages over lines with prescribed directions . 17 1.5 Kakeya-type sets and the property of stickiness . 21 2 Finite order lacunarity ........................... 24 2.1 Lacunarity on the real line ........................ 24 2.1.1 Examples ............................. 26 2.1.2 Non-closure of finite order lacunarity under algebraic sums . 28 2.2 Finite order lacunarity in general dimensions . 29 2.2.1 Examples of admissible lacunary and sublacunary sets in Rd . 32 2.3 Finite order lacunarity for direction sets . 35 2.3.1 Examples of admissible lacunary and sublacunary direction sets 36 iv 3 Rooted, labelled trees ............................ 40 3.1 The terminology of trees ......................... 40 3.2 Encoding bounded subsets of the unit interval by trees . 43 3.3 Encoding higher dimensional bounded subsets of Euclidean space by trees .................................... 45 3.4 Stickiness as a kind of mapping between trees . 46 3.5 The tree structure of Cantor-type and sublacunary sets . 48 3.6 The splitting number of a tree ...................... 50 3.6.1 Preliminary facts about splitting numbers . 52 3.6.2 A reformulation of Theorem 1.3 . 53 3.7 Lacunarity on trees ............................ 55 4 Electrical circuits and percolation on trees .............. 60 4.1 The percolation process associated to a tree . 60 4.2 Trees as electrical networks ........................ 62 4.3 Estimating the survival probability after percolation . 65 5 Kakeya-type sets over a Cantor set of directions in the plane ... 68 5.1 The result of Bateman and Katz ..................... 68 5.1.1 Proof of inequality (5.4) ..................... 70 5.1.2 Proof of inequality (5.5) ..................... 74 5.2 Points of distinction between the construction of Kakeya-type sets over Cantor directions in the plane and over arbitrary sublacunary sets in any dimension ............................... 77 6 Setup of construction of Kakeya-type sets in Rd+1 over a Cantor set of directions: a reformulation of Theorem 1.2 .......... 80 7 Families of intersecting tubes ....................... 85 8 The random mechanism and sticky collections of tubes in Rd+1 over a Cantor set of directions ...................... 91 v 8.1 Slope assignment algorithm ....................... 93 8.2 Construction of Kakeya-type sets revisited . 96 9 Slope probabilities and root configurations, Cantor case ...... 97 9.1 Four point root configurations . 100 9.2 Three point root configurations . 103 10 Proposition 8.4: proof of the lower bound (6.6) ............ 105 10.1 Proof of Proposition 10.1 . 107 10.2 Proof of Proposition 10.2 . 109 10.3 Expected intersection counts . 113 11 Proposition 8.4: proof of the upper bound (6.7) ........... 122 12 Construction of Kakeya-type sets in Rd+1 over an arbitrary sub- lacunary set of directions .......................... 128 12.1 Pruning of the slope tree . 129 12.2 Splitting and basic slope cubes . 135 12.3 Binary representation of ΩN . 138 13 Families of intersecting tubes, revisited ................. 140 13.1 Tubes and a point .............................142 13.2 Weakly sticky maps ............................148 14 Random construction of Kakeya-type sets ............... 152 14.1 Features of the construction . 155 14.2 Theorem 1.3 revisited . 157 15 Proof of the upper bound (14.10) ..................... 159 16 Probability estimates for slope assignments .............. 163 16.1 A general rule ...............................163 16.2 Root configurations ............................166 16.3 Notation ..................................167 vi 16.4 The case of two roots . 168 16.5 The case of three roots . 169 16.6 The case of four roots . 173 17 Tube counts .................................. 183 17.1 Collections of two intersecting tubes . 183 17.2 Counting slope tuples . 188 17.3 Collections of four tubes with at least two pairwise intersections . 190 17.3.1 Four roots of type 1 . 190 17.3.2 Four roots of type 2 . 191 17.3.3 Four roots of type 3 . 194 17.4 Collections of three tubes with at least two pairwise intersections . 198 18 Sums over root and slope vertices .................... 200 19 Proof of the lower bound (14.9) ...................... 205 19.1 Proof of Proposition 19.1 . 206 19.2 Proof of Proposition 19.2 . 208 19.2.1 Expected value of S41 . 210 19.2.2 Expected value of S42 . 213 19.2.3 Expected value of S43 . 219 20 Future work .................................. 224 20.1 Maximal functions over other collections of sticky objects . 224 20.2 A characterization of the Lp(Rd+1)-boundedness of directional maxi- mal operators over an arbitrary set of directions . 227 20.2.1 Boundedness of directional maximal operators, sketch . 228 20.2.2 Boundedness of directional maximal operators, a detailed ex- ample ...............................233 Bibliography ................................... 237 vii List of Figures 1.1 A direction set in the plane ....................... 6 1.2 Flowchart of thesis chapters ....................... 7 1.3 Flowchart of thesis chapters, proof of the main theorems . 8 1.4 Besicovitch construction of a zero measure Kakeya set . 11 1.5 Besicovitch's solution to the Kakeya needle problem . 13 1.6 A sticky collection of tubes ........................ 22 3.1 Cantor set tree .............................. 49 3.2 Example trees encoding simple Euclidean sets . 51 3.3 A figure explaining inequality (3.15) when M = 2 and nk = k. 59 4.1 Diagram of proof of Proposition 4.1 ................... 63 6.1 Two tubes in the Kakeya-type set .................... 82 7.1 Triangle defined by the intersection of two tubes . 86 7.2 The cone generated by a set of Cantor directions . 88 9.1 A sticky assignment between trees .................... 98 9.2 Intersections of tubes, four point configurations of type 1 . 101 9.3 Intersections of tubes, four point configurations of type 2 . 103 9.4 Intersections of tubes, three point configurations . 104 10.1 Diagram of all root cubes restricted to lie within a prescribed distance from the boundary of a child of some tree vertex . 114 viii 12.1 Euclidean separation in the pruning mechanism of the slope tree . 133 12.2 Illustration of a pruned tree at the second step of pruning . 135 12.3 Two basic slope cubes . 137 13.1 The pull-back mechanism used to define the compressed root tree . 145 14.1 Diagram of a typical weakly sticky slope assignment . 154 16.1 Identification of basic slope cubes . 168 16.2 Intersections of tubes, three point configurations . 170 16.3 Intersections of tubes, four point configurations . 175 16.4 Root configurations not preserved under sticky mappings . 182 17.1 Illustration of the proof of Lemma 17.1 . 185 17.2 Illustration of the proof of Lemma 17.2 . 187 17.3 Illustration of the spatial restriction of a root cube paired with a cer- tain structured partner root cube . 194 19.1 Slope configurations for four roots of type 3 . 223 ix Acknowledgements Above all others, I would like to thank my supervisor Malabika Pramanik. This work would not have been remotely possible without her unwavering support and tireless commitment. Her advice, her guidance, and her enthusiasm have been invaluable. I am grateful for the financial support she has granted me throughout my graduate studies at UBC, support that has allowed me to fulfill a personal dream of studying mathematics professionally, while simultaneously pursuing my myriad other interests and ambitions. Malabika has generously supported me in all my scientific and profes- sional endeavours, regardless of their bearing on my status as a mathematician. She has guided me through the sometimes existential perils of life in academia, providing truly life changing direction and support. She has been there for me at each and every step of my academic career over the past six years, always happy to help in any way possible. I will be forever grateful for her kindness, her assistance, and her wisdom. I consider myself immeasurably lucky to have had the chance to work with and learn from her. She is my mentor, my colleague, and my friend.
Load more

Recommended publications
  • The University of Chicago Besicovitch Sets
    THE UNIVERSITY OF CHICAGO BESICOVITCH SETS, RECTIFIABILITY, AND PROJECTIONS A DISSERTATION SUBMITTED TO THE FACULTY OF THE DIVISION OF THE PHYSICAL SCIENCES IN CANDIDACY FOR THE DEGREE OF DOCTOR OF PHILOSOPHY DEPARTMENT OF MATHEMATICS BY ALAN CHANG CHICAGO, ILLINOIS JUNE 2020 Copyright c 2020 by Alan Chang All Rights Reserved This thesis is dedicated to my family, and also to you, the reader! \We will use this process to generate our monster, which will have a tiny heart and many arms." { Elias Stein, Harmonic Analysis [51, xX.1: The Besicovitch set] TABLE OF CONTENTS LIST OF FIGURES . viii ACKNOWLEDGMENTS . ix ABSTRACT . x 1 INTRODUCTION . 1 1.1 Besicovitch sets and the Kakeya conjecture . .1 1.2 Rectifiability and projections . .2 1.3 Main results of each chapter . .2 1.3.1 Chapter 2: Kakeya needle problem and Besicovitch sets . .2 1.3.2 Chapter 3: Small unions of affine subspaces and skeletons . .3 1.3.3 Chapter 4: Analytic capacity and projections . .5 2 THE KAKEYA NEEDLE PROBLEM AND THE EXISTENCE OF BESICOVITCH AND NIKODYM SETS FOR RECTIFIABLE SETS . 7 2.1 Introduction . .7 2.1.1 History . .8 2.1.2 Translations . .9 2.1.3 Rotations . 10 2.1.4 Besicovitch and Nikodym sets . 13 2.1.5 The sharpness of our results, and dilations . 15 2.2 Main ideas of the proof of Theorems 2.1.2 and 2.5.1 . 16 2.2.1 The first key idea . 16 2.2.2 The second key idea . 17 2.2.3 Combining the key ideas . 17 2.3 Preliminaries .
    [Show full text]
  • Some Open Problems in Algorithmic Fractal Geometry by Neil Lutz
    Open Problems Column Edited by William Gasarch This issue's Open Problem Column is by Neil Lutz and is on Some Open Problems in Algorithmic Fractal Geometry. Neil uses techniques from theoretical computer science to gain insight into problems in pure math. The synergy is awesome! I invite any reader who has knowledge of some area to contact me and arrange to write a column about open problems in that area. That area can be (1) broad or narrow or anywhere inbetween, and (2) really important or really unimportant or anywhere inbetween. Some Open Problems in Algorithmic Fractal Geometry by Neil Lutz The standard notion of dimension in fractal geometry has a natural interpretation in terms of algorithmic information theory, which enables new, pointwise proof techniques that apply theoretical computer science to pure mathematics. This column outlines recent progress in this area and describes several open problems, with a focus on problems related to Kakeya sets and fractal projections. 1 Classical Fractal Dimensions There are various ways to define the dimension of a set, but most formalize a familiar intuition: A set's dimension is the number of free parameters within the set, i.e., the number of parameters needed to specify a point in the set when the set is already known. For simple geometric figures, this number is obvious: Specifying a point on a known segment requires one parameter, and specifying a point in a known disc requires two parameters. For certain complex figures like the Koch curve in Figure 1, the answer is less clear. This curve is the limit of the sequence , , , .
    [Show full text]
  • Some Connections Between Falconer's Distance Set Conjecture
    New York Journal of Mathematics New York J. Math. 7 (2001) 149–187. Some Connections between Falconer’s Distance Set Conjecture and Sets of Furstenburg Type Nets Hawk Katz and Terence Tao Abstract. In this paper we investigate three unsolved conjectures in geomet- ric combinatorics, namely Falconer’s distance set conjecture, the dimension of Furstenburg sets, and Erd¨os’s ring conjecture. We formulate natural δ- discretized versions of these conjectures and show that in a certain sense that these discretized versions are equivalent. Contents 1. Introduction 149 1.1. Notation 150 1.3. The Falconer distance problem 150 1.7. Dimension of sets of Furstenburg type 153 1.12. The Erd¨os ring problem 153 1.15. The main result 154 2. Basic tools 155 3. Arithmetic combinatorics 157 4. Bilinear Distance Conjecture implies Ring Conjecture 158 5. Ring Conjecture implies Discretized Furstenburg Conjecture 163 6. Discretized Furstenburg Conjecture implies Bilinear Distance Conjecture171 7. Discretization of fractals 176 8. Discretized Furstenburg Conjecture implies Furstenburg problem 178 9. Bilinear Distance Conjecture implies Falconer Distance Conjecture 180 References 186 1. Introduction In this paper we studyFalconer’s distance problem, the dimension of sets of Furstenburg type, and Erd¨os’s ring problem. Although we have no direct progress Received January 22, 2001. Mathematics Subject Classification. 05B99, 28A78, 28A75. Key words and phrases. Falconer distance set conjecture, Furstenberg sets, Hausdorff dimen- sion, Erd¨os ring conjecture, combinatorialgeometry. ISSN 1076-9803/01 149 150 Nets Hawk Katz and Terence Tao on anyof these problems, we are able to reduce the geometric problems to δ- discretized variants and show that these variants are all equivalent.
    [Show full text]
  • Martin Aigner · Günter M. Ziegler Proofs from the BOOK
    Martin Aigner · Günter M. Ziegler Proofs from THE BOOK Sixth Edition Martin Aigner Günter M. Ziegler Proofs from THE BOOK Sixth Edition Martin Aigner Günter M. Ziegler Proofs from THE BOOK Sixth Edition Including Illustrations by Karl H. Hofmann 123 Martin Aigner Günter M. Ziegler Institut für Mathematik Institut für Mathematik Freie Universität Berlin Freie Universität Berlin Berlin, Germany Berlin, Germany ISBN 978-3-662-57264-1 ISBN 978-3-662-57265-8 (eBook) https://doi.org/10.1007/978-3-662-57265-8 Library of Congress Control Number: 2018940433 © Springer-Verlag GmbH Germany, part of Springer Nature 1998, 2001, 2004, 2010, 2014, 2018 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. The publisher, the authors and the editors are safe to assume that the advice and information in this book are believed to be true and accurate at the date of publication. Neither the publisher nor the authors or the editors give a warranty, express or implied, with respect to the material contained herein or for any errors or omissions that may have been made.
    [Show full text]
  • Polynomials with Dense Zero Sets and Discrete Models of the Kakeya
    POLYNOMIALS WITH DENSE ZERO SETS AND DISCRETE MODELS OF THE KAKEYA CONJECTURE AND THE FURSTENBERG SET PROBLEM RUIXIANG ZHANG n Abstract. We prove the discrete analogue of Kakeya conjecture over R . This result suggests that a (hypothetically) low dimensional Kakeya set cannot be con- structed directly from discrete configurations. We also prove a generalization which completely solves the discrete analogue of the Furstenberg set problem in all di- mensions. The difference between our theorems and the (true) problems is only the (still difficult) issue of continuity since no transversality-at-incidences assump- tions are imposed. The main tool of the proof is a theorem of Wongkew [Won03] which states that a low degree polynomial cannot have its zero set being too dense inside the unit cube, coupled with Dvir-type polynomial arguments [Dvi09]. From the viewpoint of the proofs, we also state a conjecture that is stronger than and almost equivalent to the (lower) Minkowski version of the Kakeya conjecture and prove some results towards it. We also present our own version of the proof of the theorem in [Won03]. Our proof shows that this theorem follows from a com- bination of properties of zero sets of polynomials and a general proposition about hypersurfaces which might be of independent interest. Finally, we discuss how to generalize Bourgain’s conjecture to high dimensions, which is closely related to the theme here. 1. introduction 1.1. Discrete models of Kakeya conjecture and the polynomial method. A Kakeya set in Rn is a compact set which contains a unit line segment in every direction.
    [Show full text]
  • The Kakeya Conjecture Presentation at the New Wave Mathematics Lecture Series
    The Kakeya Conjecture presentation at the New Wave Mathematics Lecture series Po-Lam Yung The Chinese University of Hong Kong March 21, 2015 Kakeya’s question (1917) Soichi Kakeya (1886-1947) Suppose a needle of unit length can be turned through 180 degrees in a region in the plane, by rotations and translations only. What is the least area for such a region? An obvious thought 1 1 2 π Area = π = 0.785 2 4 ≃ A smaller area 1 1 2 1 Area = (1) = 0.577 2 √3 √3 ≃ (If base length is x, then x2 = x 2 + 12, which implies x = 2 .) 2 √3 Can the area be smaller still? Abram Samoilovitch Besicovitch (1891-1970) Yes! Besicovitch’s construction (1928) Indeed, the area can be made arbitrarily small! Given any tiny positive number ε (say the the diameter of an atom), one can find a region Dε in the plane, that ◮ Dε has area smaller than that of ε; and yet ◮ a needle of unit length can be turned through 60 degrees inside Dε, by translations and rotations only. Splitting a triangle Moving a sub-triangle Moving a needle through 30 degrees Jump! Then move through another 30 degrees Jumping using P´al’s joins Gyula P´al (1881-1946) We can move a unit line segment to a parallel position in an arbitarily small area! Recap So far we have found a region in the plane, with area quite a bit smaller than 0.577, in which a needle of unit length can be turned through 60 degrees.
    [Show full text]
  • Arxiv:1704.04488V1 [Math.CA] 14 Apr 2017 KT0.I Hspprw Osdraseiltp Fkky E.I O in Set
    KAKEYA BOOKS AND PROJECTIONS OF KAKEYA SETS HAN YU Abstract. Here we show some results related with Kakeya conjecture which says that for any integer n ≥ 2, a set containing line segments in every dimension in Rn has full Hausdorff dimension as well as box dimension. We proved here that the Kakeya books, which are Kakeya sets with some restrictions on positions of line segments have full box dimension. We also prove here a relation between the projection property of Kakeya sets and the Kakeya conjecture. If for any Kakeya set K ⊂ Rn, the Hausdorff dimension of orthogonal projections on k ≤ n subspaces is independent of directions then the Kakeya conjecture is true. Moreover, the converse is also true. 1. Introduction A Kakeya set in Rn is a set which contains a unit line segment in every direction. There are good reference sources for this topic, for example in [Tao99], [Lab02], where we can find many recent results. To clarify the conventions we use, consider the following restricted sense of Kakeya set: Definition 1.1. Let Ω ⊂ Sn−1 be a set of directions, then a set K(Ω) ⊂ Rn is a Ω-Kakeya set iff it is a bounded set and it is an union of lines in different direction: K(Ω) = lθ, θ[∈Ω n where lθ is a line segment with unit length centred at a point aθ ∈ R pointing in direction θ. This definition is a bit more restrictive than other references in the sense that usually we only require that: K(Ω) ⊃ lθ. θ[∈Ω In this sense the definition 1.1 can be seen as Kakeya set ’without redundancy’, namely, we can write K(Ω) as a union of line segments such that for every direction in Ω there is an unique line segment with that direction.
    [Show full text]
  • GEOMETRIC MEASURE THEORY 1. Some Discrete Problems 2 1.1
    GEOMETRIC MEASURE THEORY TUOMAS ORPONEN ABSTRACT. These are the lecture notes for the course Geometric measure theory, given at the University of Helsinki in fall semester 2018. The presentation is largely based on the books of Falconer [6] and Mattila [16, 18]. CONTENTS 1. Some discrete problems2 1.1. Applying the elementary incidence bound3 2. Dimension5 2.1. Hausdorff measures and Hausdorff dimension6 2.2. Some general measure theory8 2.3. Continuous analogues of Questions1,2 and3 10 3. The mass distribution principle and Frostman’s lemma 10 3.1. Frostman’s lemma 12 3.2. Weak convergence and compactness of measures 12 3.3. Proof of Frostman’s lemma 15 3.4. Hausdorff dimension of product sets 17 4. Riesz energies 18 4.1. Marstrand’s projection theorem: part I 20 5. Rectifiable sets and the Besicovitch projection theorem 23 5.1. A density lemma 23 5.2. Rectifiable and unrectifiable sets 24 5.3. Projections of rectifiable sets 25 5.4. Conical densities of purely 1-unrectifiable sets 26 5.5. Projections of unrectifiable sets 30 6. Fourier transforms of measures 36 6.1. Marstrand’s projection theorem: part II 39 6.2. Distance sets 40 6.3. Fourier dimension and spherical averages 43 7. Kakeya sets 46 7.1. The box dimension of planar Kakeya sets is 2 47 7.2. The pigeonhole principle, and the Hausdorff dimension of Kakeya sets 49 7.3. Kakeya sets in higher dimensions: the hairbrush argument 52 References 54 1 2 TUOMAS ORPONEN 1. SOME DISCRETE PROBLEMS This course is about studying the geometric properties of fractals using tools from measure theory (in addition to combinatorial and geometric arguments).
    [Show full text]
  • Oscillatory Integrals and Curved Kakeya Sets
    Oscillatory Integrals and Curved Kakeya Sets Laura Jane Wisewel] Doctor of Philosophy University of Edinburgh 2003 To Chris. Abstract This thesis investigates analogues for curves of the Kakeya conjecture for straight lines in R. These arise from Hörmander's conjecture about oscillatory integrals in the same way as the straight line case comes from the Restriction and Bochner- Riesz problems. The problem is to determine from the phase what the minimal dimension for the corresponding curved Kakeya set is. This is defined to be a set which includes a translate of each member of a specified collection of curved arcs. For the straight line case, the minimum is conjectured to be n, but some curves are known to admit Kakeya sets with dimension as low as We focus almost entirely on parabolic curves, since the corresponding question about quadratic phases is the simplest for which such examples are known. First of all we prove that such sets of curves can indeed have zero measure. Then we show that the lower bound of holds for all of the families of quadratic curves under consideration. We then use both geometric and arithmetic tech- niques (which were developed for the straight line case by Bourgain, Wolff, Katz and Tao) and apply them to the curved case. In this way we are able to obtain lower bounds such as for Kakeya sets consisting of particular types of curves, and results for the more difficult maximal function problem corresponding to the bound . The curves for which such bounds can be proved are specified in terms of algebraic criteria for matrices occurring in their coefficients.
    [Show full text]
  • Kakeya Problem and Estimates for the X-Ray Transform
    THE (d, k) KAKEYA PROBLEM AND ESTIMATES FOR THE X-RAY TRANSFORM By Richard Oberlin A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy (Mathematics) at the UNIVERSITY OF WISCONSIN – MADISON 2007 i Abstract A(d, k) set is a subset of Rd containing a translate of every k-dimensional disc of √ diameter 1. We show that if (1 + 2)k−1 + k > d and k ≥ 2, then every (d, k) set has positive Lebesgue measure. This improves a result of Bourgain, who showed that the analogous statement holds when 2k−1 +k ≥ d and k ≥ 2. We obtain this improvement in two parts. First, we replace Bourgain’s main estimate with a simple recursive maximal operator bound involving mixed-norm estimates for the X-ray transform. This method allows us to simplify Bourgain’s proof, allows us to obtain improved bounds for the maximal operator associated with (d, k) sets, and demonstrates that improved estimates for (d, k) sets would follow from new bounds for the X-ray transform. Second, we adapt arithmetic-combinatorial methods of Katz and Tao to obtain improved bounds for the X-ray transform suitable for use with the recursive maximal operator bound. ii Acknowledgements I would first like to thank my advisor, Andreas Seeger. Through my years in Madison, he has continuously sought opportunities for me to grow as a mathematician, and he has always looked out for my best interests. I hope to help my future students as much as he has helped me. I thank my friends and family for their support.
    [Show full text]
  • The P-Adic Kakeya Conjecture
    THE P -ADIC KAKEYA CONJECTURE BODAN ARSOVSKI n Abstract. We prove that all bounded subsets of Qp containing a line segment of unit length in every direction have Hausdorff and Minkowski dimension n. This is the analogue of the classical Kakeya conjecture with R replaced by Qp. 1. Introduction In 1917, Kakeya posed the Kakeya needle problem, asking about the minimum area of a region in the plane in which a needle of unit length can be rotated around by 360◦. The problem reduces to asking about the minimum area of a Kakeya set in R2—that is, a bounded subset of R2 containing a line segment of unit length in every direction. Besicovitch [Bes63] showed that, in a certain sense, the answer is “arbi- trarily small”, by constructing a Kakeya set in R2 of Lebesgue measure zero. On the other hand, Davies [Dav71] showed that, in a different sense, the answer is “large”: a Kakeya set in R2 must have Minkowski dimension 2. The construction of [Bes63] extends immediately to Rn with n > 3. The higher-dimensional analogue of the result of [Dav71] is much more difficult: it is the Minkowski dimension version of the notorious Kakeya conjecture, which is one of the most important open problems in geometric measure theory, and analysis in general. Conjecture A (Kakeya). Let n be a positive integer. All Kakeya sets n arXiv:2108.03750v2 [math.NT] 13 Sep 2021 in R have Hausdorff and Minkowski dimension n. The Kakeya conjecture has deep connections with harmonic analysis, PDEs, and combinatorics among other fields, and it is open for n > 3.
    [Show full text]
  • The Fourier Restriction and Kakeya Problems Over Rings of Integers Modulo N
    DISCRETE ANALYSIS, 2018:11, 54 pp. www.discreteanalysisjournal.com The Fourier Restriction and Kakeya Problems over Rings of Integers Modulo N Jonathan Hickman ∗ James Wright Received 29 January 2018; Published 30 May 2018 Abstract: The Fourier restriction phenomenon and the size of Kakeya sets are explored in the setting of the ring of integers modulo N for general N and a striking similarity with the corresponding euclidean problems is observed. One should contrast this with known results in the finite field setting. Key words and phrases: Fourier restriction, Kakeya, Congruence equations. 1 Introduction In [44] Mockenhaupt and Tao introduced a variant of the classical (euclidean) Fourier restriction problem in the setting of finite fields. The point of view espoused in [44], following an initial proposal by Wolff for the Kakeya problem, is to seek a model discrete setting in which to study various modern harmonic analysis problems (the Fourier restriction, Kakeya and Bochner–Riesz conjectures, et cetera) which should highlight certain aspects of the euclidean problem: for instance, the underlying combinatorial or incidence-geometric features. The following Fourier restriction problem1 was proposed in the setting of a finite abelian group G. arXiv:1801.03176v2 [math.CA] 28 May 2018 Problem 1.1. Let S ⊆ Gbn be a set of frequencies in the n-fold product of the dual group Gb. Consider the `r − `s Fourier restriction estimates 1 1=s 1=r jFˆ(x)js ≤ C jF(x)jr (1) j j ∑ r;s;n ∑ S x2S x2Gn ∗Supported by NSF Grant No. DMS-1440140 1In [44] the problem was proposed only in the setting of vector spaces over finite fields, but it can be equally formulated over any finite abelian group.
    [Show full text]