-
On the Pair Correlation Statistic of Sequences with Finite Gap Property
Authors:
Jasmin Fiedler,
Christian Weiß
Abstract:
The limiting function $f(s)$ of the pair correlation \[ \frac{1}{N} \# \left\{ 1 \leq i\neq j\leq N \middle\vert \left\lVert x_i - x_j \right\rVert \leq \frac{s}{N} \right\} \] for a sequence $(x_N)_{N \in \mathbb{N}}$ on the torus $\mathbb{T}^1$ is said to be Poissonian if it exists and equals $2s$ for all $s \geq 0$. For instance, independent, uniformly distributed random variables generically h…
▽ More
The limiting function $f(s)$ of the pair correlation \[ \frac{1}{N} \# \left\{ 1 \leq i\neq j\leq N \middle\vert \left\lVert x_i - x_j \right\rVert \leq \frac{s}{N} \right\} \] for a sequence $(x_N)_{N \in \mathbb{N}}$ on the torus $\mathbb{T}^1$ is said to be Poissonian if it exists and equals $2s$ for all $s \geq 0$. For instance, independent, uniformly distributed random variables generically have this property. Obviously $f(s)$ is always a monotonic function if existent. There are only few examples of sequences where $f(s) \neq 2s$, but where the limit can still be explicitly calculated. Therefore, it is an open question which types of functions $f(s)$ can or cannot appear here. In this note, we give a partial answer on this question by addressing the case that the number of different gap lengths in the sequence is finite and showing that $f$ cannot be continuous then.
△ Less
Submitted 28 January, 2025;
originally announced January 2025.
-
Universal Sets for Projections
Authors:
Jacob B. Fiedler,
D. M. Stull
Abstract:
We investigate variants of Marstrand's projection theorem that hold for sets of directions and classes of sets in $\mathbb{R}^2$. We say that a set of directions $D \subseteq\mathcal{S}^1$ is $\textit{universal}$ for a class of sets if, for every set $E$ in the class, there is a direction $e\in D$ such that the projection of $E$ in the direction $e$ has maximal Hausdorff dimension. We construct sm…
▽ More
We investigate variants of Marstrand's projection theorem that hold for sets of directions and classes of sets in $\mathbb{R}^2$. We say that a set of directions $D \subseteq\mathcal{S}^1$ is $\textit{universal}$ for a class of sets if, for every set $E$ in the class, there is a direction $e\in D$ such that the projection of $E$ in the direction $e$ has maximal Hausdorff dimension. We construct small universal sets for certain classes. Particular attention is paid to the role of regularity. We prove the existence of universal sets with arbitrarily small positive Hausdorff dimension for the class of weakly regular sets. We prove that there is a universal set of zero Hausdorff dimension for the class of AD-regular sets.
△ Less
Submitted 23 March, 2025; v1 submitted 24 November, 2024;
originally announced November 2024.
-
Pinned distances of planar sets with low dimension
Authors:
Jacob B. Fiedler,
D. M. Stull
Abstract:
In this paper, we give improved bounds on the Hausdorff dimension of pinned distance sets of planar sets with dimension strictly less than one. As the planar set becomes more regular (i.e., the Hausdorff and packing dimension become closer), our lower bound on the Hausdorff dimension of the pinned distance set improves. Additionally, we prove the existence of small universal sets for pinned distan…
▽ More
In this paper, we give improved bounds on the Hausdorff dimension of pinned distance sets of planar sets with dimension strictly less than one. As the planar set becomes more regular (i.e., the Hausdorff and packing dimension become closer), our lower bound on the Hausdorff dimension of the pinned distance set improves. Additionally, we prove the existence of small universal sets for pinned distances. In particular, we show that, if a Borel set $X\subseteq\mathbb{R}^2$ is weakly regular ($\dim_H(X) = \dim_P(X)$), and $\dim_H(X) > 1$, then
\begin{equation*}
\sup\limits_{x\in X}\dim_H(Δ_x Y) = \min\{\dim_H(Y), 1\}
\end{equation*}
for every Borel set $Y\subseteq\mathbb{R}^2$. Furthermore, if $X$ is also compact and Ahlfors-David regular, then for every Borel set $Y\subseteq\mathbb{R}^2$, there exists some $x\in X$ such that
\begin{equation*}
\dim_H(Δ_x Y) = \min\{\dim_H(Y), 1\}.
\end{equation*}
△ Less
Submitted 28 March, 2025; v1 submitted 1 August, 2024;
originally announced August 2024.
-
A study guide for "On the Hausdorff dimension of Furstenberg sets and orthogonal projections in the plane" after T. Orponen and P. Shmerkin
Authors:
Jacob B. Fiedler,
Guo-Dong Hong,
Donggeun Ryou,
Shukun Wu
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.
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.
△ Less
Submitted 6 June, 2024;
originally announced June 2024.
-
Bounds on the dimension of lineal extensions
Authors:
Ryan E. G. Bushling,
Jacob B. Fiedler
Abstract:
Let $E \subseteq \mathbb{R}^n$ be a union of line segments and $F \subseteq \mathbb{R}^n$ the set obtained from $E$ by extending each line segment in $E$ to a full line. Keleti's line segment extension conjecture posits that the Hausdorff dimension of $F$ should equal that of $E$. Working in $\mathbb{R}^2$, we use effective methods to prove a strong packing dimension variant of this conjecture, fr…
▽ More
Let $E \subseteq \mathbb{R}^n$ be a union of line segments and $F \subseteq \mathbb{R}^n$ the set obtained from $E$ by extending each line segment in $E$ to a full line. Keleti's line segment extension conjecture posits that the Hausdorff dimension of $F$ should equal that of $E$. Working in $\mathbb{R}^2$, we use effective methods to prove a strong packing dimension variant of this conjecture, from which the generalized Kakeya conjecture for packing dimension immediately follows. This is followed by several doubling estimates in higher dimensions and connections to related problems.
△ Less
Submitted 8 March, 2025; v1 submitted 24 April, 2024;
originally announced April 2024.
-
Weak Poissonian box correlations of higher order
Authors:
Jasmin Fiedler,
Christian Weiß
Abstract:
Poissonian pair correlations have sparked interest within the mathematical community, because of their number theoretic properties, and their connections to quantum physics and probability theory, particularly uniformly distributed random numbers. Rather recently, several generalizations of the concept have been introduced, including weak Poissonian pair correlations and $k$-th order Poissonian co…
▽ More
Poissonian pair correlations have sparked interest within the mathematical community, because of their number theoretic properties, and their connections to quantum physics and probability theory, particularly uniformly distributed random numbers. Rather recently, several generalizations of the concept have been introduced, including weak Poissonian pair correlations and $k$-th order Poissonian correlations. In this paper, we propose a new generalized concept called $(k,m,β)$-Poissonian box correlations. We study their properties and more specifically their relation to uniform distribution theory, discrepancy theory, random numbers and gap distributions.
△ Less
Submitted 19 February, 2025; v1 submitted 18 December, 2023;
originally announced December 2023.
-
Dimension of Pinned Distance Sets for Semi-Regular Sets
Authors:
Jacob B. Fiedler,
D. M. Stull
Abstract:
We prove that if $E\subseteq \R^2$ is analytic and $1<d < \dim_H(E)$, there are ``many'' points $x\in E$ such that the Hausdorff dimension of the pinned distance set $Δ_x E$ is at least $d\left(1 - \frac{\left(D-1\right)\left(D-d\right)}{2D^2+\left(2-4d\right)D+d^2+d-2}\right)$, where $D = \dim_P(E)$. In particular, we prove that $\dim_H(Δ_x E) \geq \frac{d(d-4)}{d-5}$ for these $x$, which gives t…
▽ More
We prove that if $E\subseteq \R^2$ is analytic and $1<d < \dim_H(E)$, there are ``many'' points $x\in E$ such that the Hausdorff dimension of the pinned distance set $Δ_x E$ is at least $d\left(1 - \frac{\left(D-1\right)\left(D-d\right)}{2D^2+\left(2-4d\right)D+d^2+d-2}\right)$, where $D = \dim_P(E)$. In particular, we prove that $\dim_H(Δ_x E) \geq \frac{d(d-4)}{d-5}$ for these $x$, which gives the best known lower bound for this problem when $d \in (1, 5-\sqrt{15})$. We also prove that there exists some $x\in E$ such that the packing dimension of $Δ_x E$ is at least $\frac{12 -\sqrt{2}}{8\sqrt{2}}$. Moreover, whenever the packing dimension of $E$ is sufficiently close to the Hausdorff dimension of $E$, we show the pinned distance set $Δ_x E$ has full Hausdorff dimension for many points $x\in E$; in particular the condition is that $D<\frac{(3+\sqrt{5})d-1-\sqrt{5}}{2}$.
We also consider the pinned distance problem between two sets $X, Y\subseteq \R^2$, both of Hausdorff dimension greater than 1. We show that if either $X$ or $Y$ has equal Hausdorff and packing dimensions, the pinned distance $Δ_x Y$ has full Hausdorff dimension for many points $x\in X$.
△ Less
Submitted 20 September, 2023;
originally announced September 2023.
-
New Bounds for the Extreme and the Star Discrepancy of Double-Infinite Matrices
Authors:
Jasmin Fiedler,
Michael Gnewuch,
Christian Weiß
Abstract:
According to Aistleitner and Weimar, there exist two-dimensional (double) infinite matrices whose star-discrepancy $D_N^{*s}$ of the first $N$ rows and $s$ columns, interpreted as $N$ points in $[0,1]^s$, satisfies an inequality of the form $$D_N^{*s} \leq \sqrtα \sqrt{A+B\frac{\ln(\log_2(N))}{s}}\sqrt{\frac{s}{N}}$$ with $α= ζ^{-1}(2) \approx 1.73, A=1165$ and $B=178$. These matrices are obtained…
▽ More
According to Aistleitner and Weimar, there exist two-dimensional (double) infinite matrices whose star-discrepancy $D_N^{*s}$ of the first $N$ rows and $s$ columns, interpreted as $N$ points in $[0,1]^s$, satisfies an inequality of the form $$D_N^{*s} \leq \sqrtα \sqrt{A+B\frac{\ln(\log_2(N))}{s}}\sqrt{\frac{s}{N}}$$ with $α= ζ^{-1}(2) \approx 1.73, A=1165$ and $B=178$. These matrices are obtained by using i.i.d sequences, and the parameters $s$ and $N$ refer to the dimension and the sample size respectively. In this paper, we improve their result in two directions: First, we change the character of the equation so that the constant $A$ gets replaced by a value $A_s$ dependent on the dimension $s$ such that for $s>1$ we have $A_s<A$. Second, we generalize the result to the case of the (extreme) discrepancy. The paper is complemented by a section where we show numerical results for the dependence of the parameter $A_s$ on $s$.
△ Less
Submitted 8 May, 2023;
originally announced May 2023.
-
From Fourier to Gegenbauer: Dimension walks on spheres
Authors:
Jochen Fiedler
Abstract:
We show that the even- resp. odd-dimensional Schoenberg coefficients in Gegenbauer expansions of isotropic positive definite functions on the d-sphere can be expressed as linear combinations of Fourier resp. Legendre coefficients, and we give closed form expressions for the coefficients involved in these expansions.
We show that the even- resp. odd-dimensional Schoenberg coefficients in Gegenbauer expansions of isotropic positive definite functions on the d-sphere can be expressed as linear combinations of Fourier resp. Legendre coefficients, and we give closed form expressions for the coefficients involved in these expansions.
△ Less
Submitted 9 September, 2014; v1 submitted 27 March, 2013;
originally announced March 2013.
