A Besicovitch set is defined as a compact subset of \u211d\u207f which contains a line segment of length 1 in every direction. The Kakeya conjecture says that every Besicovitch set has Minkowski and Hausdorff dimensions equal to n. This thesis gives an improved Hausdorff dimension estimate, d \u2a7e 0.60376707287 n + O(1), for Besicovitch sets displaying a special structural property called \"stickiness.\" The improved estimate comes from using an incidence geometry argument called a \"k-planebrush,\" which is a higher dimensional analogue of Wolff's \"hairbrush\" argument from 1995.

\r\n \r\nIn addition, an x-ray transform estimate is obtained as a corollary of Zahl's k-linear estimate in 2019. The x-ray estimate, together with the estimate for sticky sets, implies that all Besicovitch sets in \u211d\u207f must have Minkowski dimension greater than (2 - \u221a2 + \u03b5)n. Though this Minkowski dimension estimate is not as good as one previously known from Katz-Tao(2000), it provides a new proof of the same result.

", "doi": "10.7907/japt-b214", "publication_date": "2024", "thesis_type": "phd", "thesis_year": "2024" }, { "id": "thesis:16515", "collection": "thesis", "collection_id": "16515", "cite_using_url": "https://resolver.caltech.edu/CaltechTHESIS:06102024-225449252", "primary_object_url": { "basename": "Kulkarni_Neeraja_2024.pdf", "content": "final", "filesize": 521723, "license": "other", "mime_type": "application/pdf", "url": "/16515/1/Kulkarni_Neeraja_2024.pdf", "version": "v4.0.0" }, "type": "thesis", "title": "A Kakeya Estimate for Sticky Sets Using a Planebrush", "author": [ { "family_name": "Kulkarni", "given_name": "Neeraja Raghavendra", "orcid": "0000-0001-7747-9177", "clpid": "Kulkarni-Neeraja-Raghavendra" } ], "thesis_advisor": [ { "family_name": "Conlon", "given_name": "David", "orcid": "0000-0001-5899-1829", "clpid": "Conlon-David" } ], "thesis_committee": [ { "family_name": "Graber", "given_name": "Thomas B.", "clpid": "Graber-T-B" }, { "family_name": "Conlon", "given_name": "David", "orcid": "0000-0001-5899-1829", "clpid": "Conlon-David" }, { "family_name": "Isett", "given_name": "Philip", "orcid": "0000-0001-9038-5546", "clpid": "Isett-Phlip" }, { "family_name": "Katz", "given_name": "Nets H.", "orcid": "0000-0002-6239-5429", "clpid": "Katz-N-H" } ], "local_group": [ { "literal": "div_pma" } ], "abstract": "A Besicovitch set is defined as a compact subset of \u211d\u207f which contains a line segment of length 1 in every direction. The Kakeya conjecture says that every Besicovitch set has Minkowski and Hausdorff dimensions equal to n. This thesis gives an improved Hausdorff dimension estimate, d \u2a7e 0.60376707287 n + O(1), for Besicovitch sets displaying a special structural property called \"stickiness.\" The improved estimate comes from using an incidence geometry argument called a \"k-planebrush,\" which is a higher dimensional analogue of Wolff's \"hairbrush\" argument from 1995.

\r\n \r\nIn addition, an x-ray transform estimate is obtained as a corollary of Zahl's k-linear estimate in 2019. The x-ray estimate, together with the estimate for sticky sets, implies that all Besicovitch sets in \u211d\u207f must have Minkowski dimension greater than (2 - \u221a2 + \u03b5)n. Though this Minkowski dimension estimate is not as good as one previously known from Katz-Tao(2000), it provides a new proof of the same result.

", "doi": "10.7907/japt-b214", "publication_date": "2024", "thesis_type": "phd", "thesis_year": "2024" }, { "id": "thesis:16257", "collection": "thesis", "collection_id": "16257", "cite_using_url": "https://resolver.caltech.edu/CaltechTHESIS:12082023-083025167", "type": "thesis", "title": "On the Hecke Module of GL\u2099(k[[z]])\\GL\u2099(k((z)))/GL\u2099(k((z\u00b2)))", "author": [ { "family_name": "Jin", "given_name": "Yuhui", "clpid": "Jin-Yuhui" } ], "thesis_advisor": [ { "family_name": "Rains", "given_name": "Eric M.", "orcid": "0000-0002-9915-0919", "clpid": "Rains-E-M" } ], "thesis_committee": [ { "family_name": "Mantovan", "given_name": "Elena", "orcid": "0000-0003-4521-2130", "clpid": "Mantovan-E" }, { "family_name": "Conlon", "given_name": "David", "orcid": "0000-0001-5899-1829", "clpid": "Conlon-David" }, { "family_name": "Huang", "given_name": "Jia", "clpid": "Huang-Jia" }, { "family_name": "Rains", "given_name": "Eric M.", "orcid": "0000-0002-9915-0919", "clpid": "Rains-E-M" } ], "local_group": [ { "literal": "div_pma" } ], "abstract": "[See Abstract in text of thesis for correct representation of mathematics]

\r\n\r\nEvery double coset in GL\u2098(k[[z]])\\GL\u2098(k((z)))/GL\u2098(k((z\u00b2))) is uniquely represented by a block diagonal matrix with diagonal blocks in { 1,z, (11 z \\\\0 z\u2071 \\\\) (i>1) } if char(k) \u2260 2 and k is a finite field. These cosets form a (spherical) Hecke module H(G,H,K) over the (spherical) Hecke algebra H(G,K) of double cosets in K\\G/H, where K=GL\u2098(k[[z]]) and H=GL\u2098(k((z\u00b2))) and G=GL\u2098(k((z))). Similarly to Hall polynomial h\u03bb,\u03bd^\u00b5 from the Hecke algebra H(G,K), coefficients h\u03bb,\u03bd^\u00b5 arise from the Hecke module. We will provide a closed formula for h\u03bb,\u03bd^\u00b5, under some restrictions over \u03bb, \u03bd, \u00b5.

", "doi": "10.7907/d0bn-5e47", "publication_date": "2024", "thesis_type": "phd", "thesis_year": "2024" }, { "id": "thesis:14608", "collection": "thesis", "collection_id": "14608", "cite_using_url": "https://resolver.caltech.edu/CaltechTHESIS:05252022-040224796", "type": "thesis", "title": "Descriptive Set Theory and Dynamics of Countable Groups", "author": [ { "family_name": "Shinko", "given_name": "Forte", "orcid": "0000-0001-8142-1509", "clpid": "Shinko-Forte" } ], "thesis_advisor": [ { "family_name": "Kechris", "given_name": "Alexander S.", "orcid": "0000-0002-2226-0423", "clpid": "Kechris-A-S" } ], "thesis_committee": [ { "family_name": "Tamuz", "given_name": "Omer", "orcid": "0000-0002-0111-0418", "clpid": "Tamuz-Omer" }, { "family_name": "Conlon", "given_name": "David", "orcid": "0000-0001-5899-1829", "clpid": "Conlon-David" }, { "family_name": "Vidny\u00e1nszky", "given_name": "Zolt\u00e1n", "orcid": "0000-0001-8168-9353", "clpid": "Vidny\u00e1nszky-Zolt\u00e1n" }, { "family_name": "Kechris", "given_name": "Alexander S.", "orcid": "0000-0002-2226-0423", "clpid": "Kechris-A-S" } ], "local_group": [ { "literal": "div_pma" } ], "abstract": "This thesis comprises four papers.

\r\n\r\n1. We show that for any Polish group G and any countable normal subgroup \u0393 \u22b3 G, the coset equivalence relation G/\u0393 is a hyperfinite Borel equivalence relation. In particular, the outer automorphism group of any countable group is hyperfinite.

\r\n\r\n2. Given a countable Borel equivalence relation E and a countable group G, we study the problem of when a Borel action of G on X/E can be lifted to a Borel action of G on X.

\r\n\r\n 3. Let \u0393 be a countable group. A classical theorem of Thorisson states that if X is a standard Borel \u0393-space and \u00b5 and \u03bd are Borel probability measures on X which agree on every \u0393-invariant subset, then \u00b5 and \u03bd are equidecomposable,\r\ni.e., there are Borel measures (\u00b5_{\u03b3})_{\u03b3\u03f5\u0393} on X such that \u00b5 = \u03a3_{\u03b3}\u00b5_{\u03b3} and \u03bd = \u03a3_{\u03b3}\u03b3\u00b5_{\u03b3}. We establish a generalization of this result to cardinal algebras.

4. Let R be a ring equipped with a proper norm. We show that under suitable conditions on R, there is a natural basis under continuous linear injection for the set of Polish R-modules which are not countably generated. When R is a division ring, this basis can be taken to be a singleton.

", "doi": "10.7907/egch-kp69", "publication_date": "2022", "thesis_type": "phd", "thesis_year": "2022" }, { "id": "thesis:13719", "collection": "thesis", "collection_id": "13719", "cite_using_url": "https://resolver.caltech.edu/CaltechTHESIS:05232020-121812350", "primary_object_url": { "basename": "PohoataTHESIS.pdf", "content": "final", "filesize": 672010, "license": "other", "mime_type": "application/pdf", "url": "/13719/1/PohoataTHESIS.pdf", "version": "v5.0.0" }, "type": "thesis", "title": "Extremal Results in and out of Additive Combinatorics", "author": [ { "family_name": "Pohoata", "given_name": "Andrei Cosmin", "orcid": "0000-0002-3757-2526", "clpid": "Pohoata-Andrei-Cosmin" } ], "thesis_advisor": [ { "family_name": "Katz", "given_name": "Nets H.", "clpid": "Katz-N-H" } ], "thesis_committee": [ { "family_name": "Conlon", "given_name": "David", "clpid": "Conlon-David" }, { "family_name": "Katz", "given_name": "Nets H.", "clpid": "Katz-N-H" }, { "family_name": "Tamuz", "given_name": "Omer", "clpid": "Tamuz-Omer" }, { "family_name": "Tyomkyn", "given_name": "Mykhaylo", "clpid": "Tyomkyn-Mykhaylo" } ], "local_group": [ { "literal": "div_pma" } ], "abstract": "In this thesis, we study several related topics in extremal combinatorics, all tied together by various themes from additive combinatorics and combinatorial geometry.

\r\n \r\nFirst, we discuss some extremal problems where local properties are used to derive global properties. That is, we consider a given configuration where every small piece of the configuration satisfies some restriction, and use this local property to derive global properties of the entire configuration. We study one such Ramsey problem of Erd\u0151s and Shelah, where the configurations are complete graphs with colored edges and every\r\nsmall induced subgraph contains many distinct colors. Our bounds for this Ramsey\r\nproblem show that the known probabilistic construction is tight in various cases. We\r\nstudy one discrete geometry variant, also by Erd\u0151s, where we have a set of points in the\r\nplane such that every small subset spans many distinct distances. Finally, we consider\r\nan arithmetic variant, suggested by Dvir, where we are given sets of real numbers such that\r\nevery small subset has a large difference set. In Chapter 2, we derive new bounds for all of the above problems. Along the way, we also essentially answer a question of Erd\u0151s and Gy\u00e1rf\u00e1s.

\r\n\r\nSecond, we study the behavior of expanding polynomials on sets with additive or multiplicative structure. Given an arbitrary set of real numbers *A* and a two-variate polynomial *f* with real coefficients, a remarkable theorem of Elekes and R\u00f3nyai from 2000 states that the size |*f*(*A*,*A*)| of the image of *f* on the cartesian product *A* \u00d7 *A* grows asymptotically faster than |*A*|, unless *f* exhibits additive or multiplicative structure. Finding the best quantitative bounds for this intriguing phenomenon (and for variants of it) has generated a lot of interest over the years due to its intimate connection with the *sum-product problem* in additive combinatorics. In Chapter 3, we discuss new bounds for |*f*(*A*,*A*)| when the set *A* has few sums or few products.

Another central problem in additive combinatorics is the problem of finding good quantitative bounds for maximal progression-free sets in the integers (or various other groups). In 2017, a major breakthrough of Croot, Lev and Pach took the community by surprise with impressive new bounds for the problem in \u2124_{4}^{n} and in higher order 2-abelian groups. Their new polynomial method was quickly adapted by Ellenberg and Gijswijt to show a similar strong result for the size of the largest three-term progression free subset of 𝔽_{q}^{n} where *q* is an odd prime power, the so-called *cap set problem*. This new set of ideas has subsequently led to very exciting developments in a vast range of topics. The rest of the thesis will be dedicated to discussing my joint results around these new developents. In Chapter 4, we develop a new multi-layered polynomial method approach to derive improved bounds for the largest three-term progression free set in \u2124_{8}^{n} (which also improve on the Croot-Lev-Pach bounds for a large family of higher order 2-abelian groups). In Chapter 5, we generalize the Ellenberg-Gijswijt bound for the cap set problem to random progression-free subsets of 𝔽_{q}^{n}, improving on a theorem of Tao and Vu. A result of this type enables one to find four term progressions-free sets which contain three-term progressions in all of their large subsets (with good quantitative bounds), but which do not contain too many three-term progressions overall. Motivated by this application, in Chapter 6 we continue this investigation and study further the question of determining the maximum total number of 3APs in a given 4AP-free set. We show in general, for all fixed integers *k* > *s* \u2265 3, that if *f _{s,k}*(