Furstenberg sets estimate in the plane

Kevin Ren,Hong Wang

2023-09-08

Abstract:We fully resolve the Furstenberg set conjecture in $\mathbb{R}^2$, that a $(s, t)$-Furstenberg set has Hausdorff dimension $\ge \min(s+t, \frac{3s+t}{2}, s+1)$. As a result, we obtain an analogue of Elekes' bound for the discretized sum-product problem and resolve an orthogonal projection question of Oberlin.

Classical Analysis and ODEs,Combinatorics,Metric Geometry

What problem does this paper attempt to address?

Furstenberg set problem and exceptional set estimate in prime fields: dimension two implies higher dimensions

Shengwen Gan

2024-09-18

Abstract:We study Furstenberg set problem, and exceptional set estimate for Marstrand's orthogonal projection in prime fields for all dimensions. We define the Furstenberg index $\mathbf{F}(s,t;n,k)$ and the Marstrand index $\mathbf{M}(a,s;n,k)$. It is shown that the two-dimensional result for Furstenberg set problem implies all higher dimensional results.

Classical Analysis and ODEs,Combinatorics
On variants of the Furstenberg set problem

Jonathan M. Fraser

2024-09-20

Abstract:Given an integer $d \geq 2$, $s \in (0,1]$, and $t \in [0,2(d-1)]$, suppose a set $X$ in $\mathbb{R}^d$ has the following property: there is a collection of lines of packing dimension $t$ such that every line from the collection intersects $X$ in a set of packing dimension at least $s$. We show that such sets must have packing dimension at least $\max\{s,t/2\}$ and that this bound is sharp. In particular, the special case $d=2$ solves a variant of the Furstenberg set problem for packing dimension. We also solve the upper and lower box dimension variants of the problem. In both of these cases the sharp threshold is $\max\{s,t+1-d\}$.

Classical Analysis and ODEs,Combinatorics,Metric Geometry
Orthogonal projection, dual Furstenberg problem, and discretized sum-product

Longhui Li,Bochen Liu

2024-03-23

Abstract:In this paper we come up with a dual version of the Furstenberg problem and obtain partial results via $L^p$ estimates of orthogonal projections. Examples are also discussed. Moreover, compared with general sets, we find that special structure like Cartesian product has better $L^p$-behavior. This leads to improvement on some discretized sum-product estimates.

Classical Analysis and ODEs
Restriction estimates using decoupling theorems and two-ends Furstenberg inequalities

Hong Wang,Shukun Wu

2024-11-14

Abstract:We propose to study the restriction conjecture using decoupling theorems and two-ends Furstenberg inequalities. Specifically, we pose a two-ends Furstenberg conjecture, which implies the restriction conjecture. As evidence, we prove this conjecture in the plane by using the Furstenberg set estimate. Moreover, we use this planar result to prove a restriction estimate for $p>22/7$ in three dimensions, which implies Wolff's $5/2$-hairbrush bound for Kakeya sets in $\mathbb{R}^3$. Our approach also makes improvements for the restriction conjecture in higher dimensions.

Classical Analysis and ODEs,Combinatorics,Metric Geometry
A study guide for "On the Hausdorff dimension of Furstenberg sets and orthogonal projections in the plane" after T. Orponen and P. Shmerkin

Jacob B. Fiedler,Guo-Dong Hong,Donggeun Ryou,Shukun Wu

2024-06-07

Abstract:This article is a study guide for ``On the Hausdorff dimension of Furstenberg sets and orthogonal projections in the plane" by Orponen and Shmerkin. We begin by introducing Furstenberg set problem and exceptional set of projections and provide a summary of the proof with the core ideas.

Classical Analysis and ODEs,Combinatorics,Metric Geometry
A Furstenberg-type problem for circles, and a Kaufman-type restricted projection theorem in $\mathbb{R}^3$

Malabika Pramanik,Tongou Yang,Joshua Zahl

2024-10-26

Abstract:We resolve a conjecture of Fässler and Orponen on the dimension of exceptional projections to one-dimensional subspaces indexed by a space curve in $\mathbb{R}^3$. We do this by obtaining sharp $L^p$ bounds for a variant of the Wolff circular maximal function over fractal sets for a class of $C^2$ curves related to Sogge's cinematic curvature condition. A key new tool is the use of lens cutting techniques from discrete geometry.

Classical Analysis and ODEs,Metric Geometry
Old and new results on the Furstenberg sets

Aihua Fan,Hervé Queffélec,Martine Quffélec

2023-03-13

Abstract:This paper is a complement to our previous paper [21]. It surveys the works on the Furstenberg set $S=\{2^{m}3^{n}: n\ge 0, m\ge 0\}$ and its random version $T$. We also present some new results. For example, it is proved that $T$ almost surely contains a subset of positive lower density which is $\frac{4}{3}$-Rider. It is also proved that a class of random sets of integers are Sidon sets when Bourgain's condition is not satisfied; this generalizes a result of Kahane-Katznelson. Some open questions about $S$ and $T$ are listed at the end of the paper.

Functional Analysis
Orthogonal projections in the plane over prime order fields

Ben Lund,Thang Pham,Le Anh Vinh

2023-11-09

Abstract:We give an upper bound on the number of exceptional orthogonal projections of a small set of points in a plane over a prime order field, which makes progress toward a conjecture of Chen (2018). This theorem relies on a new upper bound on the number of incidences between an arbitrary set of lines and a set of points contained in a reasonably small pencil of lines. We also prove a new upper bound on the number of incidences between points and lines when both are Cartesian products in an appropriate sense.

Combinatorics
Triangles with one fixed side‚Äďlength, a Furstenberg-type problem, and incidences in finite vector spaces

Thang Pham

DOI: https://doi.org/10.1515/forum-2023-0470

2024-03-27

Forum Mathematicum

Abstract:The first goal of this paper is to prove a sharp condition to guarantee of having a positive proportion of all congruence classes of triangles in given sets in ūĚĒĹ q 2 . More precisely, for A , B , C ‚äā ūĚĒĹ q 2 , if | A | ‚ĀĘ | B | ‚ĀĘ | C | 1 2 ‚Čę q 4 , then for any őĽ ‚ąą ūĚĒĹ q ‚ąĖ { 0 } , the number of congruence classes of triangles with vertices in A √ó B √ó C and one side-length őĽ is at least ‚Čę q 2 . In higher dimensions, we obtain similar results for k -simplex but under a slightly stronger condition. Compared to the well-known L 2 method in the literature, our approach offers better results in both conditions and conclusions. When A = B = C , the second goal of this paper is to give a new and unified proof of the best current results on the distribution of simplex due to Bennett, Hart, Iosevich, Pakianathan and Rudnev (2017) and McDonald (2020). The third goal of this paper is to study a Furstenberg-type problem associated to a set of rigid motions. The main ingredients in our proofs are incidence bounds between points and rigid motions. While the incidence bounds for large sets are due to the author and Semin Yoo (2023), the bound for small sets will be proved by using a point‚Äďline incidence bound in ūĚĒĹ q 3 due to Koll√°r (2015).

mathematics, applied
The Furstenberg-Sárközy theorem for polynomials in one or more prime variables

John R. Doyle,Alex Rice

2024-05-02

Abstract:We establish upper bounds on the size of the largest subset of $\{1,2,\dots,N\}$ lacking nonzero differences of the form $h(p_1,\dots,p_{\ell})$, where $h\in \mathbb{Z}[x_1,\dots,x_{\ell}]$ is a fixed polynomial satisfying appropriate conditions and $p_1,\dots,p_{\ell}$ are prime. The bounds are of the same type as the best-known analogs for unrestricted integer inputs, due to Bloom-Maynard and Arala for $\ell=1$, and to the authors for $\ell \geq 2$.

Number Theory,Combinatorics
Discretized Radial Projections in $\mathbb{R}^d$

Kevin Ren

2023-09-08

Abstract:We generalize a Furstenberg-type result of Orponen-Shmerkin to higher dimensions, leading to an $\epsilon$-improvement in Kaufman's projection theorem for hyperplanes and an unconditional discretized radial projection theorem in the spirit of Orponen-Shmerkin-Wang. Our proof relies on a new incidence estimate for $\delta$-tubes and a quasi-product set of $\delta$-balls in $\mathbb{R}^d$.

Classical Analysis and ODEs,Combinatorics,Metric Geometry
On distance sets, box-counting and Ahlfors-regular sets

Pablo Shmerkin

DOI: https://doi.org/10.19086/da.1643

2017-05-22

Abstract:We obtain box-counting estimates for the pinned distance sets of (dense subsets of) planar discrete Ahlfors-regular sets of exponent $s>1$. As a corollary, we improve upon a recent result of Orponen, by showing that if $A$ is Ahlfors-regular of dimension $s>1$, then almost all pinned distance sets of $A$ have lower box-counting dimension $1$. We also show that if $A,B\subset\mathbb{R}^2$ have Hausdorff dimension $>1$ and $A$ is Ahlfors-regular, then the set of distances between $A$ and $B$ has modified lower box-counting dimension $1$, which taking $B=A$ improves Orponen's result in a different direction, by lowering packing dimension to modified lower box-counting dimension. The proofs involve ergodic-theoretic ideas, relying on the theory of CP-processes and projections.

Classical Analysis and ODEs,Combinatorics,Dynamical Systems
New improvement to Falconer distance set problem in higher dimensions

Xiumin Du,Yumeng Ou,Kevin Ren,Ruixiang Zhang

2024-10-22

Abstract:We show that if a compact set $E\subset \mathbb{R}^d$ has Hausdorff dimension larger than $\frac{d}{2}+\frac{1}{4}-\frac{1}{8d+4}$, where $d\geq 3$, then there is a point $x\in E$ such that the pinned distance set $\Delta_x(E)$ has positive Lebesgue measure. This improves upon bounds of Du-Zhang and Du-Iosevich-Ou-Wang-Zhang in all dimensions $d \ge 3$. We also prove lower bounds for Hausdorff dimension of pinned distance sets when $\dim_H (E) \in (\frac{d}{2} - \frac{1}{4} - \frac{3}{8d+4}, \frac{d}{2}+\frac{1}{4}-\frac{1}{8d+4})$, which improves upon bounds of Harris and Wang-Zheng in dimensions $d \ge 3$.

Classical Analysis and ODEs,Combinatorics,Metric Geometry
Hausdorff dimension of intersections with planes and general sets

Pertti Mattila

DOI: https://doi.org/10.48550/arXiv.2005.11790

2020-06-08

Abstract:We give conditions on a general family $P_{\lambda}:\R^n\to\R^m, \lambda \in \Lambda,$ of orthogonal projections which guarantee that the Hausdorff dimension formula $\dim A\cap P_{\lambda}^{-1}\{u\}=s-m$ holds generically for measurable sets $A\subset\Rn$ with positive and finite $s$-dimensional Hausdorff measure, $s>m$, and with positive lower density. As an application we prove for measurable sets $A,B\subset\Rn$ with positive $s$- and $t$-dimensional measures, and with positive lower density that if $s + (n-1)t/n > n$, then $\dim A\cap (g(B)+z) = s+t - n$ for almost all rotations $g$ and for positively many $z\in\Rn$.

Classical Analysis and ODEs
On the distance sets spanned by sets of dimension $d/2$ in $\mathbb{R}^d$

Pablo Shmerkin,Hong Wang

2024-08-13

Abstract:We establish the dimension version of Falconer's distance set conjecture for sets of equal Hausdorff and packing dimension (in particular, for Ahlfors-regular sets) in all ambient dimensions. In dimensions $d=2$ or $3$, we obtain the first explicit estimates for the dimensions of distance sets of general Borel sets of dimension $d/2$; for example, we show that the set of distances spanned by a planar Borel set of Hausdorff dimension $1$ has Hausdorff dimension at least $(\sqrt{5}-1)/2\approx 0.618$. In higher dimensions we obtain explicit estimates for the lower Minkowski dimension of the distance sets of sets of dimension $d/2$. These results rely on new estimates for the dimensions of radial projections that may have independent interest.

Classical Analysis and ODEs,Combinatorics,Metric Geometry
Cubes, side lengths and centres

Han Yu

DOI: https://doi.org/10.48550/arXiv.1711.06533

2017-11-17

Classical Analysis and ODEs

Abstract:It is known that in $\mathbb{R}^n,n\geq 2$, a compact set which contains $n-1$ spheres with all radii in $[1/2,1]$ or with all possible centres in $[0,1]^n$ has full Hausdorff dimension. In fact the later set has positive Lebesgue measure. In this paper we consider a similar problem with sphere replacing by fractal cubes. The radii set and the centre set are also considered to be fractal sets. In addition we discuss the exceptional set in the setting of general largeness. In the end, an Furstenberg type example is discussed which can be somehow considered as the Furstenberg $\times 2$, $\times 3$ set conjecture (now theorem) in the setting of cubes/circles sets considered here.
Hausdorff dimension of plane sections and general intersections

Pertti Mattila

2023-10-11

Abstract:This paper extends some results of [M5] and [M3], in particular, removing assumptions of positive lower density. We give conditions on a general family $P_{\lambda}:\mathbb{R}^{n}\to\mathbb{R}^{m}, \lambda \in \Lambda,$ of orthogonal projections which guarantee that the Hausdorff dimension formula $\dim A\cap P_{\lambda}^{-1}\{u\}=s-m$ holds generically for measurable sets $A\subset\mathbb{R}^{n}$ with positive and finite $s$-dimensional Hausdorff measure, $s>m$. As an application we prove for measurable sets $A,B\subset\mathbb{R}^{n}$ with positive $s$- and $t$-dimensional measures that if $s + (n-1)t/n > n$, then $\dim A\cap (g(B)+z) \geq s+t - n$ for almost all rotations $g$ and for positively many $z\in\mathbb{R}^{n}$. We shall also give an application on the estimates of the dimension of the set of exceptional rotations.

Classical Analysis and ODEs
Upper bounds for the number of substructures in finite geometries from the container method

Sam Mattheus,Geertrui Van de Voorde

2024-04-08

Abstract:We use techniques from algebraic and extremal combinatorics to derive upper bounds on the number of independent sets in several (hyper)graphs arising from finite geometry. In this way, we obtain asymptotically sharp upper bounds for partial ovoids and EKR-sets of flags in polar spaces, line spreads in $\mathrm{PG}(2r-1,q)$ and plane spreads in $\mathrm{PG}(5,q)$, and caps in $\mathrm{PG}(3,q)$. The latter result extends work due to Roche-Newton and Warren and Bhowmick and Roche-Newton. Finally, we investigate caps in $p$-random subsets of $\mathrm{PG}(r,q)$, which parallels recent work for arcs in projective planes by Bhowmick and Roche-Newton, and by Roche-Newton and Warren, and arcs in projective spaces by Chen, Liu, Nie and Zeng.

Combinatorics
Large sum-free sets in finite vector spaces I

Christian Reiher,Sofia Zotova

2024-08-28

Abstract:Let $p$ be a prime number with $p\equiv 2\pmod{3}$ and let $n\ge 1$ be a dimension. It is known that a sum-free subset of ${\mathbb F}_p^n$ can have at most the size $\frac13(p+1)p^{n-1}$ and that, up to automorphisms of ${\mathbb F}_p^n$, the only extremal example is the `cuboid' $\bigl[\frac{p+1}3, \frac{2p-1}3\bigr]\times {\mathbb F}_p^{n-1}$. For $p\ge 11$ we show that if a sum-free subset of ${\mathbb F}_p^n$ is not contained in such an extremal one, then its size is at most $\frac13(p-2)p^{n-1}$. This bound is optimal and we classify the extremal configurations. The remaining cases $p=2, 5$ are known to behave differently. For $p=3$ the analogous question was solved by Vsevolod Lev, and for $p\equiv 1\pmod{3}$ it is less interesting.

Combinatorics

Furstenberg sets estimate in the plane

Furstenberg set problem and exceptional set estimate in prime fields: dimension two implies higher dimensions

On variants of the Furstenberg set problem

Orthogonal projection, dual Furstenberg problem, and discretized sum-product

Restriction estimates using decoupling theorems and two-ends Furstenberg inequalities

A study guide for "On the Hausdorff dimension of Furstenberg sets and orthogonal projections in the plane" after T. Orponen and P. Shmerkin

A Furstenberg-type problem for circles, and a Kaufman-type restricted projection theorem in $\mathbb{R}^3$

Old and new results on the Furstenberg sets

Orthogonal projections in the plane over prime order fields

Triangles with one fixed side‚Äďlength, a Furstenberg-type problem, and incidences in finite vector spaces

The Furstenberg-Sárközy theorem for polynomials in one or more prime variables

Discretized Radial Projections in $\mathbb{R}^d$

On distance sets, box-counting and Ahlfors-regular sets

New improvement to Falconer distance set problem in higher dimensions

Hausdorff dimension of intersections with planes and general sets

On the distance sets spanned by sets of dimension $d/2$ in $\mathbb{R}^d$

Cubes, side lengths and centres

Hausdorff dimension of plane sections and general intersections

Upper bounds for the number of substructures in finite geometries from the container method

Large sum-free sets in finite vector spaces I