-
Orlicz spaces and the uncertainty principle
Authors:
A. Iosevich,
I. Li,
Z. Li,
E. Yu
Abstract:
Let $f$ be a finite signal. The classical uncertainty principle tells us that the product of the support of $f$ and the support of $\hat{f}$, the Fourier transform of $f$, must satisfy $|supp(f)|\cdot|supp(\hat{f})|\geq |G|$. Recently, Iosevich and Mayeli improved the uncertainty principle for signals with Fourier supported on generic sets. This was done by employing the Fourier restriction theory…
▽ More
Let $f$ be a finite signal. The classical uncertainty principle tells us that the product of the support of $f$ and the support of $\hat{f}$, the Fourier transform of $f$, must satisfy $|supp(f)|\cdot|supp(\hat{f})|\geq |G|$. Recently, Iosevich and Mayeli improved the uncertainty principle for signals with Fourier supported on generic sets. This was done by employing the Fourier restriction theory in $L^p$ spaces. In this paper, we extended the $(p,q)$-restriction setting to Orlicz spaces. Then we apply uncertainty principles to the problem of exact recovery, which again extends and recovers the result that Iosevich and Mayeli obtained in Lebesgue spaces.
△ Less
Submitted 5 September, 2025;
originally announced September 2025.
-
Some Results in Spectral Synthesis Over ${\mathbb Z}_N^d$
Authors:
P. Bhowmik,
S. Deodhar,
A. Iosevich
Abstract:
A classical result due to Agranovsky and Narayanan (\cite{AN04}) says that if the support of the Fourier transform of $f: {\mathbb R}^n \to {\mathbb C}$ is carried by a smooth measure on a $d$-dimensional manifold $M$, and $f \in L^p({\mathbb R}^d)$ for $p \leq \frac{2n}{d}$, then $f$ is identically equal to $0$. In this paper, we investigate an analogous problem for functions…
▽ More
A classical result due to Agranovsky and Narayanan (\cite{AN04}) says that if the support of the Fourier transform of $f: {\mathbb R}^n \to {\mathbb C}$ is carried by a smooth measure on a $d$-dimensional manifold $M$, and $f \in L^p({\mathbb R}^d)$ for $p \leq \frac{2n}{d}$, then $f$ is identically equal to $0$. In this paper, we investigate an analogous problem for functions $f: {\mathbb Z}_N^d \to {\mathbb C}$. Bourgain's celebrated result on $Λ_p$ sets (\cite{Bou89}), random constructions (\cite{Bab89}), and connections with the theory of exact signal recovery (\cite{DS89}, \cite{MS73}, \cite{IKLM24}, \cite{IM24}) play an important role.
△ Less
Submitted 16 August, 2025;
originally announced August 2025.
-
Frostman random variables, entropy inequalities, and applications
Authors:
Alex Iosevich,
Thang Pham,
Nguyen Dac Quan,
Steven Senger,
Boqing Xue
Abstract:
We introduce Frostman conditions for bivariate random variables and study discretized entropy sum-product phenomena in both independent and dependent regimes. We prove that for any non-degenerate rational quadratic form $φ(x, y)$ and parameter $0 < s < 1$, there exists a positive constant $ε= ε(φ,s)$ such that \[ \max\{H_n(X+Y), H_n(φ(X,Y))\} \geq n(s+ε) \] for sufficiently large $n$, where the pr…
▽ More
We introduce Frostman conditions for bivariate random variables and study discretized entropy sum-product phenomena in both independent and dependent regimes. We prove that for any non-degenerate rational quadratic form $φ(x, y)$ and parameter $0 < s < 1$, there exists a positive constant $ε= ε(φ,s)$ such that \[ \max\{H_n(X+Y), H_n(φ(X,Y))\} \geq n(s+ε) \] for sufficiently large $n$, where the precise conditions on $(X,Y)$ depend on the Frostman level. The proof introduces a novel multi-step entropy framework, combining the submodularity formula, the discretized entropy Balog-Szemerédi-Gowers theorem, and state-of-the-art results on the Falconer distance problem, to reduce general forms to a diagonal core case.
As an application, we derive a result on a discretized sum-product type problem. In particular, for a $δ$-separated set $A\subset [0, 1]$ of cardinality $δ^{-s}$, satisfying some non-concentration conditions, and a dense subset $G\subset A\times A$, there exists $ε=ε(s, φ)>0$ such that $$ E_δ(A+_GA) + E_δ(φ_G(A, A)) \ggδ^{-ε}(\#A) $$ for all $δ$ small enough. Here by $E_δ(A)$ we mean the $δ$-covering number of $A$, $\{A+_GA:=\{x+y\colon (x, y)\in G\}$, and $φ_G(A):=\{φ(x, y)\colon (x, y)\in G\}$.
△ Less
Submitted 9 September, 2025; v1 submitted 20 July, 2025;
originally announced July 2025.
-
Fourier minimization and imputation of time series
Authors:
Will Burstein,
Alex Iosevich,
Azita Mayeli,
Hari Sarang Nathan
Abstract:
One of the most common procedures in modern data analytics is filling in missing values in times series. For a variety of reasons, the data provided by clients to obtain a forecast, or other forms of data analysis, may have missing values, and those values need to be filled in before the data set can be properly analyzed. Many freely available forecasting software packages, such as the sktime libr…
▽ More
One of the most common procedures in modern data analytics is filling in missing values in times series. For a variety of reasons, the data provided by clients to obtain a forecast, or other forms of data analysis, may have missing values, and those values need to be filled in before the data set can be properly analyzed. Many freely available forecasting software packages, such as the sktime library, have built-in mechanisms for filling in missing values. The purpose of this paper is to adapt the classical $L^1$ minimization method for signal recovery to the filling of missing values in times. The theoretical justifications of these methods leverage results by Bourgain (\cite{Bourgain89}), Talagrand (\cite{Talagrand98}), the second and the third listed authors (\cite{IM24}), and the result by the second listed author, Kashin, Limonova and the third listed author (\cite{IKLM24}). Brief numerical tests for these algorithms are given but more extensive will be discussed in a companion paper.
△ Less
Submitted 23 June, 2025;
originally announced June 2025.
-
Additive energy, uncertainty principle and signal recovery mechanisms
Authors:
K. Aldahleh,
A. Iosevich,
J. Iosevich,
J. Jaimangal,
A. Mayeli,
S. Pack
Abstract:
Given a signal $f:G\to\mathbb{C}$, where $G$ is a finite abelian group, under what reasonable assumptions can we guarantee the exact recovery of $f$ from a proper subset of its Fourier coefficients? In 1989, Donoho and Stark established a result \cite{DS89} using the classical uncertainty principle, which states that $|\text{supp}(f)|\cdot|\text{supp}(\hat{f})|\geq |G|$ for any nonzero signal $f$.…
▽ More
Given a signal $f:G\to\mathbb{C}$, where $G$ is a finite abelian group, under what reasonable assumptions can we guarantee the exact recovery of $f$ from a proper subset of its Fourier coefficients? In 1989, Donoho and Stark established a result \cite{DS89} using the classical uncertainty principle, which states that $|\text{supp}(f)|\cdot|\text{supp}(\hat{f})|\geq |G|$ for any nonzero signal $f$. Another result, first proven by Santose and Symes \cite{SS86}, was based on the Logan phenomenon \cite{L65}. In particular, the result showcases how the $L^1$ and $L^2$ minimizing signals with matching Fourier frequencies often recovers the original signal.
The purpose of this paper is to relate these recovery mechanisms to additive energy, a combinatorial measure denoted and defined by $$Λ(A)=\left| \left\{ (x_1, x_2, x_3, x_4) \in A^4 \mid x_1 + x_2 = x_3 + x_4 \right\} \right|,$$ where $A\subset\mathbb{Z}_N^d$. In the first part of this paper, we use combinatorial techniques to establish an improved variety of the uncertainty principle in terms of additive energy. In a similar fashion as the Donoho-Stark argument, we use this principle to establish an often stronger recovery condition. In the latter half of the paper, we invoke these combinatorial methods to demonstrate two $L^p$ minimizing recovery results.
△ Less
Submitted 20 April, 2025;
originally announced April 2025.
-
An Approach To Endpoint Problems in Oscillatory Singular Integrals
Authors:
Alex Iosevich,
Ben Krause,
Hamed Mousavi
Abstract:
In this note we provide a quick proof that maximal truncations of oscillatory singular integrals are bounded from $L^1(\mathbb{R})$ to $L^{1,\infty}(\mathbb{R})$. The methods we use are entirely elementary, and rely only on pigeonholing and stationary phase considerations.
In this note we provide a quick proof that maximal truncations of oscillatory singular integrals are bounded from $L^1(\mathbb{R})$ to $L^{1,\infty}(\mathbb{R})$. The methods we use are entirely elementary, and rely only on pigeonholing and stationary phase considerations.
△ Less
Submitted 26 February, 2025;
originally announced February 2025.
-
Uncertainty Principle, annihilating pairs and Fourier restriction
Authors:
Philippe Jaming,
Alexander Iosevich,
Azita Mayeli
Abstract:
Let $G$ be a locally compact abelian group, and let $\widehat{G}$ denote its dual group, equipped with a Haar measure. A variant of the uncertainty principle states that for any $S \subset G$ and $Σ\subset \widehat{G}$, there exists a constant $C(S, Σ)$ such that for any $f \in L^2(G)$, the following inequality holds: \[\|f\|_{L^2(G)} \leq C(S, Σ) \bigl( \|f\|_{L^2(G \setminus S)} + \|\widehat{f}\…
▽ More
Let $G$ be a locally compact abelian group, and let $\widehat{G}$ denote its dual group, equipped with a Haar measure. A variant of the uncertainty principle states that for any $S \subset G$ and $Σ\subset \widehat{G}$, there exists a constant $C(S, Σ)$ such that for any $f \in L^2(G)$, the following inequality holds: \[\|f\|_{L^2(G)} \leq C(S, Σ) \bigl( \|f\|_{L^2(G \setminus S)} + \|\widehat{f}\|_{L^2(\widehat{G} \setminus Σ)} \bigr),\] where $\widehat{f}$ denotes the Fourier transform of $f$. This variant of the uncertainty principle is particularly useful in applications such as signal processing and control theory.The purpose of this paper is to show that such estimates can be strengthened when $S$ or $Σ$ satisfies a restriction theorem and to provide an estimate for the constant $C(S, Σ)$. This result serves as a quantitative counterpart to a recent finding by the first and last author. In the setting of finite groups, the results also extend those of Matolcsi-Szücs and Donoho-Stark.
△ Less
Submitted 19 February, 2025;
originally announced February 2025.
-
Effective support, Dirac combs, and signal recovery
Authors:
G. Garza,
K. Gurevich,
A. Iosevich,
A. Mayeli,
K. Nguyen,
N. Shaffer
Abstract:
Let
$f: {\mathbb Z}_N^d \to {\mathbb C}$ be a signal with the Fourier transform $\widehat{f}: \Bbb Z_N^d\to \Bbb C$. A classical result due to Matolcsi and Szucs (\cite{MS73}), and, independently, to Donoho and Stark (\cite{DS89}) states if a subset of frequencies ${\{\widehat{f}(m)\}}_{m \in S}$ of $f$ are unobserved due to noise or other interference, then $f$ can be recovered exactly and uniq…
▽ More
Let
$f: {\mathbb Z}_N^d \to {\mathbb C}$ be a signal with the Fourier transform $\widehat{f}: \Bbb Z_N^d\to \Bbb C$. A classical result due to Matolcsi and Szucs (\cite{MS73}), and, independently, to Donoho and Stark (\cite{DS89}) states if a subset of frequencies ${\{\widehat{f}(m)\}}_{m \in S}$ of $f$ are unobserved due to noise or other interference, then $f$ can be recovered exactly and uniquely provided that $$ |E| \cdot |S|<\frac{N^d}{2},$$ where $E$ is the support of $f$, i.e., $E=\{x \in {\mathbb Z}_N^d: f(x) \not=0\}$. In this paper, we consider signals that are Dirac combs of complexity $γ$, meaning they have the form $f(x)=\sum_{i=1}^γ a_i 1_{A_i}(x)$, where the sets $A_i \subset {\mathbb Z}_N^d$ are disjoint, $a_i$ are complex numbers, and $γ\leq N^d$. We will define the concept of effective support of these signals and show that if $γ$ is not too large, a good recovery condition can be obtained by pigeonholing under additional reasonable assumptions on the distribution of values. Our approach produces a non-trivial uncertainty principle and a signal recovery condition in many situations when the support of the function is too large to apply the classical theory.
△ Less
Submitted 28 November, 2024;
originally announced November 2024.
-
Buffon Needle Problem Over Convex Sets
Authors:
M. Dannenberg,
W. Hagerstrom,
G. Hart,
A. Iosevich,
T. Le,
I. Li,
N. Skerrett
Abstract:
We solve a variant of the classical Buffon Needle problem. More specifically, we inspect the probability that a randomly oriented needle of length $l$ originating in a bounded convex set $X\subset\mathbb{R}^2$ lies entirely within $X$. Using techniques from convex geometry, we prove an isoperimetric type inequality, showing that among sets $X$ with equal perimeter, the disk maximizes this probabil…
▽ More
We solve a variant of the classical Buffon Needle problem. More specifically, we inspect the probability that a randomly oriented needle of length $l$ originating in a bounded convex set $X\subset\mathbb{R}^2$ lies entirely within $X$. Using techniques from convex geometry, we prove an isoperimetric type inequality, showing that among sets $X$ with equal perimeter, the disk maximizes this probability.
△ Less
Submitted 25 November, 2024;
originally announced November 2024.
-
Fourier Uncertainty Principles on Riemannian Manifolds
Authors:
Alex Iosevich,
Azita Mayeli,
Emmett Wyman
Abstract:
The purpose of this paper is to develop a Fourier uncertainty principle on compact Riemannian manifolds and contrast the underlying ideas with those arising in the setting of locally compact abelian groups. The key obstacle is the growth of eigenfunctions, and connections to Bourgain's celebrated $Λ_q$ theorem are discussed in this context.
The purpose of this paper is to develop a Fourier uncertainty principle on compact Riemannian manifolds and contrast the underlying ideas with those arising in the setting of locally compact abelian groups. The key obstacle is the growth of eigenfunctions, and connections to Bourgain's celebrated $Λ_q$ theorem are discussed in this context.
△ Less
Submitted 13 November, 2024;
originally announced November 2024.
-
Packing sets under finite groups via algebraic incidence structures
Authors:
Norbert Hegyvári,
Le Quang Hung,
Alex Iosevich,
Thang Pham
Abstract:
Let $E$ be a set in $\mathbb{F}_p^n$ and $S$ be a set of maps from $\mathbb{F}_p^n$ to $\mathbb{F}_p^n$. We define \[ S (E) := \bigcup_{f\in S} f(E) = \left\lbrace f(x) \colon x\in E, f\in S \right\rbrace.\] In this paper, we establish sharp lower bounds on the size of $S(E)$ when $S$ consists of matrices from either the special linear group $SL_2(\mathbb{F}_p)$ or the first Heisenberg group…
▽ More
Let $E$ be a set in $\mathbb{F}_p^n$ and $S$ be a set of maps from $\mathbb{F}_p^n$ to $\mathbb{F}_p^n$. We define \[ S (E) := \bigcup_{f\in S} f(E) = \left\lbrace f(x) \colon x\in E, f\in S \right\rbrace.\] In this paper, we establish sharp lower bounds on the size of $S(E)$ when $S$ consists of matrices from either the special linear group $SL_2(\mathbb{F}_p)$ or the first Heisenberg group $\mathbb{H}_1(\mathbb{F}_p)$. Our proofs are based on novel results on algebraic incidence-type structures associated with these groups. We also discuss higher-dimensional generalizations.
△ Less
Submitted 23 February, 2025; v1 submitted 8 November, 2024;
originally announced November 2024.
-
Congruence Classes of Simplex Structures in Finite Field Vector Spaces
Authors:
Timothy Cheek,
Joseph Cooper,
Pico Gilman,
Alex Iosevich,
Kareem Jaber,
Eyvindur Palsson,
Vismay Sharan,
Jenna Shuffelton,
Marie-Hélène Tomé
Abstract:
We study a generalization of the Erdős-Falconer distance problem over finite fields. For a graph $G$, two embeddings $p, p': V(G) \to \mathbb{F}_q^d$ of a graph $G$ are congruent if for all edges $(v_i, v_j)$ of $G$ we have that $||p(v_i) - p(v_j)|| = ||p'(v_i) - p'(v_j)||$. What is the infimum of $s$ such that for any subset $E\subset \mathbb{F}_q^d$ with $|E| \gtrsim q^s$, $E$ contains a positiv…
▽ More
We study a generalization of the Erdős-Falconer distance problem over finite fields. For a graph $G$, two embeddings $p, p': V(G) \to \mathbb{F}_q^d$ of a graph $G$ are congruent if for all edges $(v_i, v_j)$ of $G$ we have that $||p(v_i) - p(v_j)|| = ||p'(v_i) - p'(v_j)||$. What is the infimum of $s$ such that for any subset $E\subset \mathbb{F}_q^d$ with $|E| \gtrsim q^s$, $E$ contains a positive proportion of congruence classes of $G$ in $\mathbb{F}_q^d$? Bennett et al. and McDonald used group action methods to prove results in the case of $k$-simplices. The work of Iosevich, Jardine, and McDonald as well as that of Bright et al. have proved results in the case of trees and trees of simplices, utilizing the inductive nature of these graphs.
Recently, Aksoy, Iosevich, and McDonald combined these two approaches to obtain nontrivial bounds on the "bowtie" graph, two triangles joined at a vertex. Their proof relies on an application of the Hadamard three-lines theorem to pass to a different graph. We develop novel geometric techniques called branch shifting and simplex unbalancing to reduce our analysis of trees of simplices to a much smaller class of simplex structures. This allows us to establish a framework that handles a wide class of graphs exhibiting a combination of rigid and loose behavior. In $\mathbb{F}_q^2$, this approach gives new nontrivial bounds on chains and trees of simplices. In $\mathbb{F}_q^d$, we improve on the results of Bright et al. in many cases and generalize their work to a wider class of simplex trees. We discuss partial progress on how this framework can be extended to more general simplex structures, such as cycles of simplices and structures of simplices glued together along an edge or a face.
△ Less
Submitted 22 August, 2024; v1 submitted 14 August, 2024;
originally announced August 2024.
-
Interpolation of point configurations in the discrete plane
Authors:
Esen Aksoy,
Alex Iosevich,
Brian McDonald
Abstract:
Defining distances over finite fields formally by $||x-y||:=(x_1-y_1)^2+\cdots + (x_d-y_d)^2$ for $x,y\in \mathbb{F}_q^d$, distance problems naturally arise in analogy to those studied by Erdős and Falconer in Euclidean space. Given a graph $G$ and a set $E\subseteq \mathbb{F}_q^2$, let $Δ_G(E)$ be the generalized distance set corresponding to $G$. In the case when $G$ is the complete graph on…
▽ More
Defining distances over finite fields formally by $||x-y||:=(x_1-y_1)^2+\cdots + (x_d-y_d)^2$ for $x,y\in \mathbb{F}_q^d$, distance problems naturally arise in analogy to those studied by Erdős and Falconer in Euclidean space. Given a graph $G$ and a set $E\subseteq \mathbb{F}_q^2$, let $Δ_G(E)$ be the generalized distance set corresponding to $G$. In the case when $G$ is the complete graph on $k+1$ vertices, Bennett, Hart, Iosevich, Pakianathan, and Rudnev showed that when $|E|\geq q^{d-\frac{d-1}{k+1}}$, it follows that $|Δ_G(E)|\geq cq^{\binom{k+1}{2}}$. In the case when $k=d=2$, the threshold can be improved to $|E|\geq q^{\frac{8}{5}}$.
Moreover, Jardine, Iosevich, and McDonald showed that in the case when $G$ is a tree with $k+1$ vertices, then whenever $E\subseteq \mathbb{F}_q^d$, $d\geq 2$ satisfies $|E|\geq C_kq^{\frac{d+1}{2}}$, it follows that $Δ_G(E)=\mathbb{F}_q^k$. In this paper, we present a technique which enables us to study certain graphs with both rigid and non-rigid components. In particular, we show that for $E\subseteq \mathbb{F}_q^2$, $q=p^n$, $n$ odd, $p\equiv 3 \ \text{mod} \ 4$, and $G$ is the graph consisting of two triangles joined at a vertex, then whenever $|E|\geq q^{\frac{12}{7}}$, it follows that $|Δ_G(E)|\geq cq^6$.
△ Less
Submitted 19 August, 2024; v1 submitted 13 August, 2024;
originally announced August 2024.
-
Packing sets in Euclidean space by affine transformations
Authors:
Alex Iosevich,
Pertti Mattila,
Eyvindur Palsson,
Minh-Quy Pham,
Thang Pham,
Steven Senger,
Chun-Yen Shen
Abstract:
For Borel subsets $Θ\subset O(d)\times \mathbb{R}^d$ (the set of all rigid motions) and $E\subset \mathbb{R}^d$, we define \begin{align*}
Θ(E):=\bigcup_{(g,z)\in Θ}(gE+z). \end{align*} In this paper, we investigate the Lebesgue measure and Hausdorff dimension of $Θ(E)$ given the dimensions of the Borel sets $E$ and $Θ$, when $Θ$ has product form. We also study this question by replacing rigid mo…
▽ More
For Borel subsets $Θ\subset O(d)\times \mathbb{R}^d$ (the set of all rigid motions) and $E\subset \mathbb{R}^d$, we define \begin{align*}
Θ(E):=\bigcup_{(g,z)\in Θ}(gE+z). \end{align*} In this paper, we investigate the Lebesgue measure and Hausdorff dimension of $Θ(E)$ given the dimensions of the Borel sets $E$ and $Θ$, when $Θ$ has product form. We also study this question by replacing rigid motions with the class of dilations and translations; and similarity transformations. The dimensional thresholds are sharp. Our results are variants of some previously known results in the literature when $E$ is restricted to smooth objects such as spheres, $k$-planes, and surfaces.
△ Less
Submitted 5 May, 2024;
originally announced May 2024.
-
Similar point configurations via group actions
Authors:
P. Bhowmik,
A. Greenleaf,
A. Iosevich,
S. Mkrtchyan,
F. Rakhmonov
Abstract:
We prove that for $d\ge 2,\, k\ge 2$, if the Hausdorff dimension of a compact set $E\subset \mathbb{R}^d$ is greater than $\frac{d^2}{2d-1}$, then, for any given $r > 0$, there exist $(x^1, \dots, x^{k+1})\in E^{k+1}$, $(y^1, \dots, y^{k+1})\in E^{k+1}$, a rotation $θ\in \mathrm{O}_d(\mathbb{R})$, and a vector $a \in \mathbb{R}^d$ such that $rx^j = θy^j - a$ for $1 \leq j \leq k+1$. Such a result…
▽ More
We prove that for $d\ge 2,\, k\ge 2$, if the Hausdorff dimension of a compact set $E\subset \mathbb{R}^d$ is greater than $\frac{d^2}{2d-1}$, then, for any given $r > 0$, there exist $(x^1, \dots, x^{k+1})\in E^{k+1}$, $(y^1, \dots, y^{k+1})\in E^{k+1}$, a rotation $θ\in \mathrm{O}_d(\mathbb{R})$, and a vector $a \in \mathbb{R}^d$ such that $rx^j = θy^j - a$ for $1 \leq j \leq k+1$. Such a result on existence of similar $k$-simplices in thin sets had previously been established under a more stringent dimensional threshold in Greenleaf, Iosevich and Mkrtchyan \cite{GIM21}. The argument we are use to prove the main result here was previously employed in Bhowmik and Rakhmonov \cite{BR23} to establish a finite field version. We also show the existence of multi-similarities of arbitrary multiplicity in $\R^d$, show how to extend these results from similarities to arbitrary proper continuous maps, as well as explore a general group-theoretic formulation of this problem in vector spaces over finite fields.
△ Less
Submitted 5 May, 2024;
originally announced May 2024.
-
Multi-linear forms, structure of graphs and Lebesgue spaces
Authors:
A. Iosevich,
E. Palsson,
Y. Zhai,
E. Wyman
Abstract:
Consider the operator $$T_Kf(x)=\int_{{\mathbb R}^d} K(x,y) f(y) dy,$$ where $K$ is a locally integrable function or a measure. The purpose of this paper is to study the multi-linear form $$ Λ^K_G(f_1, \dots, f_n)=\int \dots \int \prod_{ \{(i,j): 1 \leq i<j \leq n; E(i,j)=1 \} } K(x^i,x^j) \prod_{i=1}^n f_i(x^i) dx^i, $$ where $G$ is a connected graph on $n$ vertices, $E$ is the edge map on $G$, i…
▽ More
Consider the operator $$T_Kf(x)=\int_{{\mathbb R}^d} K(x,y) f(y) dy,$$ where $K$ is a locally integrable function or a measure. The purpose of this paper is to study the multi-linear form $$ Λ^K_G(f_1, \dots, f_n)=\int \dots \int \prod_{ \{(i,j): 1 \leq i<j \leq n; E(i,j)=1 \} } K(x^i,x^j) \prod_{i=1}^n f_i(x^i) dx^i, $$ where $G$ is a connected graph on $n$ vertices, $E$ is the edge map on $G$, i.e $E(i,j)=1$ if and only if the $i$'th and $j$'th vertices are connected by an edge, $K$ is the aforementioned kernel, and $f_i: {\mathbb R}^d \to {\mathbb R}$, measurable.
This paper establishes multi-linear inequalities of the form $$ Λ^K_G(f_1,f_2, \dots,f_n) \leq C {||f_1||}_{L^{p_1}({\mathbb R}^d)} {||f_2||}_{L^{p_2}({\mathbb R}^d)} \dots {||f_n||}_{L^{p_n}({\mathbb R}^d)}$$ and determines how the exponents depend on the structure of the kernel $K$ and the graph $G$.
△ Less
Submitted 30 January, 2024;
originally announced January 2024.
-
A quantitative version of the Steinhaus theorem
Authors:
Alex Iosevich,
Jonathan Pakianathan
Abstract:
The classical Steinhaus theorem (\cite{Steinhaus1920}) says that if $A \subset {\Bbb R}^d$ has positive Lebesgue measure than $A-A=\{x-y: x,y \in A\}$ contains an open ball. We obtain some quantitative lower bounds on the size of this ball and in some cases, relate it to natural geometric properties of $\partial A$. We also study the process $K_n =\frac{1}{2}(K_{n-1} - K_{n-1})$ when $K_0$ is a co…
▽ More
The classical Steinhaus theorem (\cite{Steinhaus1920}) says that if $A \subset {\Bbb R}^d$ has positive Lebesgue measure than $A-A=\{x-y: x,y \in A\}$ contains an open ball. We obtain some quantitative lower bounds on the size of this ball and in some cases, relate it to natural geometric properties of $\partial A$. We also study the process $K_n =\frac{1}{2}(K_{n-1} - K_{n-1})$ when $K_0$ is a compact subset of $\mathbb{R}^d$ and determine various aspects of its convergence to $Conv(K_1)$, the convex hull of $K_1$. We discuss some connections with convex geometry, Weyl tube formula and the Kakeya needle problem.
\noindent
{\it Keywords: Measure theory, Steinhaus theorem, Convex geometry, Weyl tube formula.}
\noindent
2020 {\it Mathematics Subject Classification:} Primary: 28A75, 52A27. Secondary: 52A30, 53A07.
△ Less
Submitted 22 January, 2024;
originally announced January 2024.
-
Realizing trees of configurations in thin sets
Authors:
Allan Greenleaf,
Alex Iosevich,
Krystal Taylor
Abstract:
Let $φ(x,y)$ be a continuous function, smooth away from the diagonal, such that, for some $α>0$, the associated generalized Radon transforms \begin{equation} \label{Radon} R_t^φf(x)=\int_{φ(x,y)=t} f(y) ψ(y) dσ_{x,t}(y) \end{equation} map $L^2({\mathbb R}^d) \to L^2_α({\mathbb R}^d)$ for all $t>0$. Let $E$ be a compact subset of ${\mathbb R}^d$ for some $d \ge 2$, and suppose that the Hausdorff di…
▽ More
Let $φ(x,y)$ be a continuous function, smooth away from the diagonal, such that, for some $α>0$, the associated generalized Radon transforms \begin{equation} \label{Radon} R_t^φf(x)=\int_{φ(x,y)=t} f(y) ψ(y) dσ_{x,t}(y) \end{equation} map $L^2({\mathbb R}^d) \to L^2_α({\mathbb R}^d)$ for all $t>0$. Let $E$ be a compact subset of ${\mathbb R}^d$ for some $d \ge 2$, and suppose that the Hausdorff dimension of $E$ is $>d-α$. We show that any tree graph $T$ on $k+1$ ($k \ge 1$) vertices is \new{stably} realizable in $E$, in the sense that \new{for each $t$ in some open interval} there exist distinct $x^1, x^2, \dots, x^{k+1} \in E$ %and $t>0$ such that the $φ$-distance $φ(x^i, x^j)=t$ for all pairs $(i,j)$ corresponding to the edges of $T$.
We extend this result to trees whose edges are prescribed by more complicated point configurations, such as congruence classes of triangles.
△ Less
Submitted 20 April, 2025; v1 submitted 21 January, 2024;
originally announced January 2024.
-
A distinction between the paraboloid and the sphere in weighted restriction
Authors:
Alex Iosevich,
Ruixiang Zhang
Abstract:
For several weights based on lattice point constructions in $\mathbb{R}^d (d \geq 2)$, we prove that the sharp $L^2$ weighted restriction inequality for the sphere is very different than the corresponding result for the paraboloid. The proof uses Poisson summation, linear algebra, and lattice counting. We conjecture that the $L^2$ weighted restriction is generally better for the circle for a wide…
▽ More
For several weights based on lattice point constructions in $\mathbb{R}^d (d \geq 2)$, we prove that the sharp $L^2$ weighted restriction inequality for the sphere is very different than the corresponding result for the paraboloid. The proof uses Poisson summation, linear algebra, and lattice counting. We conjecture that the $L^2$ weighted restriction is generally better for the circle for a wide variety of general sparse weights.
△ Less
Submitted 20 December, 2023;
originally announced December 2023.
-
$L^p$ integrability of functions with Fourier support on a smooth space curve
Authors:
Shaoming Guo,
Alex Iosevich,
Ruixiang Zhang,
Pavel Zorin-Kranich
Abstract:
We prove that if $f\in L^p(\mathbb{R}^k)$ with $p<(k^2+k+2)/2$ satisfies that $\widehat{f}$ is supported on a small perturbation of the moment curve in $\mathbb{R}^k$, then $f$ is identically zero. This improves the more general result of Agranovsky and Narayanan, and the exponents are sharp in all dimensions. In the process, we develop a mechanism that should lead to further progress on related p…
▽ More
We prove that if $f\in L^p(\mathbb{R}^k)$ with $p<(k^2+k+2)/2$ satisfies that $\widehat{f}$ is supported on a small perturbation of the moment curve in $\mathbb{R}^k$, then $f$ is identically zero. This improves the more general result of Agranovsky and Narayanan, and the exponents are sharp in all dimensions. In the process, we develop a mechanism that should lead to further progress on related problems.
△ Less
Submitted 19 November, 2023;
originally announced November 2023.
-
Uncertainty Principles on Finite Abelian Groups, Restriction Theory, and Applications to Sparse Signal Recovery
Authors:
Alex Iosevich,
Azita Mayeli
Abstract:
Let $G$ be a finite abelian group. Let $f: G \to {\mathbb C}$ be a signal (i.e. function). The classical uncertainty principle asserts that the product of the size of the support of $f$ and its Fourier transform $\hat f$, $\text{supp}(f)$ and $\text{supp}(\hat f)$ respectively, must satisfy the condition: $$|\text{supp}(f)| \cdot |\text{supp}(\hat f)| \geq |G|.$$
In the first part of this paper,…
▽ More
Let $G$ be a finite abelian group. Let $f: G \to {\mathbb C}$ be a signal (i.e. function). The classical uncertainty principle asserts that the product of the size of the support of $f$ and its Fourier transform $\hat f$, $\text{supp}(f)$ and $\text{supp}(\hat f)$ respectively, must satisfy the condition: $$|\text{supp}(f)| \cdot |\text{supp}(\hat f)| \geq |G|.$$
In the first part of this paper, we improve the uncertainty principle for signals with Fourier transform supported on generic sets. This improvement is achieved by employing {\it the restriction theory} and {\it the Salem set} mechanism from harmonic analysis. Then we investigate some applications of uncertainty principles that were developed in the first part of this paper, to the problem of unique recovery of finite sparse signals in the absence of some frequencies.
Donoho and Stark (\cite{DS89}) showed that a signal of length $N$ can be recovered exactly, even if some of the frequencies are unobserved, provided that the product of the size of the number of non-zero entries of the signal and the number of missing frequencies is not too large, leveraging the classical uncertainty principle for vectors. Our results broaden the scope for a natural class of signals in higher-dimensional spaces. In the case when the signal is binary, we provide a very simple exact recovery mechanism through the DRA algorithm.
△ Less
Submitted 7 November, 2023;
originally announced November 2023.
-
Generalized point configurations in ${\mathbb F}_q^d$
Authors:
Paige Bright,
Xinyu Fang,
Barrett Heritage,
Alex Iosevich,
Tingsong Jiang,
Hans Parshall,
Maxwell Sun
Abstract:
In this paper, we generalize \cite{IosevichParshall}, \cite{LongPaths} and \cite{cycles} by allowing the \emph{distance} between two points in a finite field vector space to be defined by a general non-degenerate bilinear form or quadratic form. We prove the same bounds on the sizes of large subsets of $\F_q^d$ for them to contain distance graphs with a given maximal vertex degree, under the more…
▽ More
In this paper, we generalize \cite{IosevichParshall}, \cite{LongPaths} and \cite{cycles} by allowing the \emph{distance} between two points in a finite field vector space to be defined by a general non-degenerate bilinear form or quadratic form. We prove the same bounds on the sizes of large subsets of $\F_q^d$ for them to contain distance graphs with a given maximal vertex degree, under the more general notion of distance. We also prove the same results for embedding paths, trees and cycles in the general setting.
△ Less
Submitted 21 August, 2023;
originally announced August 2023.
-
Improved bounds for embedding certain configurations in subsets of vector spaces over finite fields
Authors:
Paige Bright,
Xinyu Fang,
Barrett Heritage,
Alex Iosevich,
Maxwell Sun
Abstract:
The fourth listed author and Hans Parshall (\cite{IosevichParshall}) proved that if $E \subset {\mathbb F}_q^d$, $d \ge 2$, and $G$ is a connected graph on $k+1$ vertices such that the largest degree of any vertex is $m$, then if $|E| \ge C q^{m+\frac{d-1}{2}}$, for any $t>0$, there exist $k+1$ points $x^1, \dots, x^{k+1}$ in $E$ such that $||x^i-x^j||=t$ if the $i$'th vertex is connected to the…
▽ More
The fourth listed author and Hans Parshall (\cite{IosevichParshall}) proved that if $E \subset {\mathbb F}_q^d$, $d \ge 2$, and $G$ is a connected graph on $k+1$ vertices such that the largest degree of any vertex is $m$, then if $|E| \ge C q^{m+\frac{d-1}{2}}$, for any $t>0$, there exist $k+1$ points $x^1, \dots, x^{k+1}$ in $E$ such that $||x^i-x^j||=t$ if the $i$'th vertex is connected to the $j$'th vertex by an edge in $G$. In this paper, we give several indications that the maximum degree is not always the right notion of complexity and prove several concrete results to obtain better exponents than the Iosevich-Parshall result affords. This can be viewed as a step towards understanding the right notion of complexity for graph embeddings in subsets of vector spaces over finite fields.
△ Less
Submitted 17 August, 2023;
originally announced August 2023.
-
VC-Dimension of Hyperplanes over Finite Fields
Authors:
Ruben Ascoli,
Livia Betti,
Justin Cheigh,
Alex Iosevich,
Ryan Jeong,
Xuyan Liu,
Brian McDonald,
Wyatt Milgrim,
Steven J. Miller,
Francisco Romero Acosta,
Santiago Velazquez Iannuzzelli
Abstract:
Let $\mathbb{F}_q^d$ be the $d$-dimensional vector space over the finite field with $q$ elements. For a subset $E\subseteq \mathbb{F}_q^d$ and a fixed nonzero $t\in \mathbb{F}_q$, let $\mathcal{H}_t(E)=\{h_y: y\in E\}$, where $h_y$ is the indicator function of the set $\{x\in E: x\cdot y=t\}$. Two of the authors, with Maxwell Sun, showed in the case $d=3$ that if $|E|\geq Cq^{\frac{11}{4}}$ and…
▽ More
Let $\mathbb{F}_q^d$ be the $d$-dimensional vector space over the finite field with $q$ elements. For a subset $E\subseteq \mathbb{F}_q^d$ and a fixed nonzero $t\in \mathbb{F}_q$, let $\mathcal{H}_t(E)=\{h_y: y\in E\}$, where $h_y$ is the indicator function of the set $\{x\in E: x\cdot y=t\}$. Two of the authors, with Maxwell Sun, showed in the case $d=3$ that if $|E|\geq Cq^{\frac{11}{4}}$ and $q$ is sufficiently large, then the VC-dimension of $\mathcal{H}_t(E)$ is 3. In this paper, we generalize the result to arbitrary dimension and improve the exponent in the case $d=3$.
△ Less
Submitted 19 July, 2023;
originally announced July 2023.
-
A singular variant of the Falconer distance problem
Authors:
Tainara Borges,
Alex Iosevich,
Yumeng Ou
Abstract:
In this paper we study the following variant of the Falconer distance problem. Let $E$ be a compact subset of ${\mathbb{R}}^d$, $d \ge 1$, and define $$ \Box(E)=\left\{\sqrt{{|x-y|}^2+{|x-z|}^2}: x,y,z \in E,\, y\neq z \right\}.$$ We shall prove using a variety of methods that if the Hausdorff dimension of $E$ is greater than $\frac{d}{2}+\frac{1}{4}$, then the Lebesgue measure of $\Box(E)$ is pos…
▽ More
In this paper we study the following variant of the Falconer distance problem. Let $E$ be a compact subset of ${\mathbb{R}}^d$, $d \ge 1$, and define $$ \Box(E)=\left\{\sqrt{{|x-y|}^2+{|x-z|}^2}: x,y,z \in E,\, y\neq z \right\}.$$ We shall prove using a variety of methods that if the Hausdorff dimension of $E$ is greater than $\frac{d}{2}+\frac{1}{4}$, then the Lebesgue measure of $\Box(E)$ is positive. This problem can be viewed as a singular variant of the classical Falconer distance problem because considering the diagonal $(x,x)$ in the definition of $\Box(E)$ poses interesting complications stemming from the fact that the set $\{(x,x): x \in E\}\subseteq \mathbb{R}^{2d}$ is much smaller than the sets for which the Falconer type results are typically established.
We also prove a finite field variant of the Euclidean results for $\Box(E)$ and indicate both the similarities and the differences between the two settings.
△ Less
Submitted 31 August, 2023; v1 submitted 8 June, 2023;
originally announced June 2023.
-
An improved point-line incidence bound over arbitrary finite fields via the VC-dimension theory
Authors:
Alex Iosevich,
Thang Pham,
Steven Senger,
Michael Tait
Abstract:
The main purpose of this paper is to prove that the point-line incidence bound due to Vinh (2011) over arbitrary finite fields can be improved in certain ranges by using tools from the VC-dimension theory. As consequences, a number of applications will be discussed in detail.
The main purpose of this paper is to prove that the point-line incidence bound due to Vinh (2011) over arbitrary finite fields can be improved in certain ranges by using tools from the VC-dimension theory. As consequences, a number of applications will be discussed in detail.
△ Less
Submitted 1 March, 2023;
originally announced March 2023.
-
The quotient set of the quadratic distance set over finite fields
Authors:
Alex Iosevich,
Doowon Koh,
Firdavs Rakhmonov
Abstract:
Let $\mathbb F_q^d$ be the $d$-dimensional vector space over the finite field $\mathbb F_q$ with $q$ elements. For each non-zero $r$ in $\mathbb F_q$ and $E\subset \mathbb F_q^d$, we define $W(r)$ as the number of quadruples $(x,y,z,w)\in E^4$ such that $ Q(x-y)/Q(z-w)=r,$ where $Q$ is a non-degenerate quadratic form in $d$ variables over $\mathbb F_q.$ When $Q(α)=\sum_{i=1}^d α_i^2$ with…
▽ More
Let $\mathbb F_q^d$ be the $d$-dimensional vector space over the finite field $\mathbb F_q$ with $q$ elements. For each non-zero $r$ in $\mathbb F_q$ and $E\subset \mathbb F_q^d$, we define $W(r)$ as the number of quadruples $(x,y,z,w)\in E^4$ such that $ Q(x-y)/Q(z-w)=r,$ where $Q$ is a non-degenerate quadratic form in $d$ variables over $\mathbb F_q.$ When $Q(α)=\sum_{i=1}^d α_i^2$ with $α=(α_1, \ldots, α_d)\in \mathbb F_q^d,$ Pham (2022) recently used the machinery of group actions and proved that if $E\subset \mathbb F_q^2$ with $q\equiv 3 \pmod{4}$ and $|E|\ge C q$, then we have $W(r)\ge c |E|^4/q$ for any non-zero square number $r \in \mathbb F_q,$ where $C$ is a sufficiently large constant, $ c$ is some number between $0$ and $1,$ and $|E|$ denotes the cardinality of the set $E.$
In this article, we improve and extend Pham's result in two dimensions to arbitrary dimensions with general non-degenerate quadratic distances. As a corollary of our results, we also generalize the sharp results on the Falconer type problem for the quotient set of distance set due to the first two authors and Parshall (2019). Furthermore, we provide improved constants for the size conditions of the underlying sets.
The key new ingredient is to relate the estimate of the $W(r)$ to a quadratic homogeneous variety in $2d$-dimensional vector space. This approach is fruitful because it allows us to take advantage of Gauss sums which are more handleable than the Kloosterman sums appearing in the standard distance type problems.
△ Less
Submitted 1 September, 2023; v1 submitted 27 January, 2023;
originally announced January 2023.
-
Approximate orthogonality, Bourgain's pinned distance theorem and exponential frames
Authors:
Alex Iosevich,
Azita Mayeli
Abstract:
Let $A$ be a countable and discrete subset of ${\Bbb R}^d$, $d \ge 2$, of positive upper Beurling density. Let $K$ denote a bounded symmetric convex set with a smooth boundary and everywhere non-vanishing Gaussian curvature. It is known that ${\mathcal E}(A)=\{e^{2 πi x \cdot a}\}_{a \in A}$ cannot serve as an orthogonal basis for $L^2(K)$ \cite{IKT01}. In this paper, we prove that even approximat…
▽ More
Let $A$ be a countable and discrete subset of ${\Bbb R}^d$, $d \ge 2$, of positive upper Beurling density. Let $K$ denote a bounded symmetric convex set with a smooth boundary and everywhere non-vanishing Gaussian curvature. It is known that ${\mathcal E}(A)=\{e^{2 πi x \cdot a}\}_{a \in A}$ cannot serve as an orthogonal basis for $L^2(K)$ \cite{IKT01}. In this paper, we prove that even approximate average orthogonality is an obstacle to the existence of an exponential frame in the following sense. Let $A$ be as above and $φ\ge 0$ be a continuous monotonically nonincreasing function on $[0, \infty)$ such that the approximate orthogonality condition holds \begin{align}\notag {\left( \frac{1}{2^j} \int_{2^j}^{2^{j+1}} φ^p(t) dt \right)}^{1/p} \leq c_j 2^{-j\frac{d+1}{2}} \quad \text{and} \quad |\widehatχ_K(a-a')| \leq φ(ρ^*(a-a')) \ \forall a \not=a , a,a' \in A, \end{align} where $ρ^*$ is the Minkowski functional on $K^*$, the dual body of $K$. Then, if $$\limsup_{j \to \infty} c_j=0,$$ then the upper density of $A$ is equal to $0$, hence ${\mathcal E}(A)$ is not a frame for $L^2(K)$. The case $p=\infty$ was previously established by the authors of this paper in \cite{IM2020}. The point is that if ${\mathcal E}(A)$ is a frame for $L^2(K)$, then very few pairs of distinct exponentials $e^{2 πi x.a}, e^{2 πi x.a'}$ from ${\mathcal E}(A)$ come anywhere near being orthogonal. Our proof uses a generalization of Bourgain's result on pinned distances determined by sets of positive Lebesgue upper density in ${\Bbb R}^d$, $d \ge 2$. We also improve the $L^{\infty}$ version of this result originally established in \cite{IM2020}. By using an extension of the combinatorial idea from \cite{IR03}, we prove that under the $L^{\infty}$ hypothesis, $A$ is finite if $d \not=1 \mod 4$. If $d=1$ mod $4, A$ may be infinite, but if it is, then it must be a subset of a line.
△ Less
Submitted 22 January, 2023;
originally announced January 2023.
-
Multi-linear forms, graphs, and $L^p$-improving measures in ${\Bbb F}_q^d$
Authors:
Pablo Bhowmick,
Alex Iosevich,
Doowon Koh,
Thang Pham
Abstract:
The purpose of this paper is to introduce and study the following graph theoretic paradigm. Let $$T_Kf(x)=\int K(x,y) f(y) dμ(y),$$ where $f: X \to {\Bbb R}$, $X$ a set, finite or infinite, and $K$ and $μ$ denote a suitable kernel and a measure, respectively. Given a connected ordered graph $G$ on $n$ vertices, consider the multi-linear form…
▽ More
The purpose of this paper is to introduce and study the following graph theoretic paradigm. Let $$T_Kf(x)=\int K(x,y) f(y) dμ(y),$$ where $f: X \to {\Bbb R}$, $X$ a set, finite or infinite, and $K$ and $μ$ denote a suitable kernel and a measure, respectively. Given a connected ordered graph $G$ on $n$ vertices, consider the multi-linear form $$ Λ_G(f_1,f_2, \dots, f_n)=\int_{x^1, \dots, x^n \in X} \ \prod_{(i,j) \in {\mathcal E}(G)} K(x^i,x^j) \prod_{l=1}^n f_l(x^l) dμ(x^l), $$ where ${\mathcal E}(G)$ is the edge set of $G$. Define $Λ_G(p_1, \ldots, p_n)$ as the smallest constant $C>0$ such that the inequality $$ Λ_G(f_1, \dots, f_n) \leq C \prod_{i=1}^n {||f_i||}_{L^{p_i}(X, μ)}$$ holds for all non-negative real-valued functions $f_i$, $1\le i\le n$, on $X$. The basic question is, how does the structure of $G$ and the mapping properties of the operator $T_K$ influence the sharp exponents. In this paper, this question is investigated mainly in the case $X={\Bbb F}_q^d$, the $d$-dimensional vector space over the field with $q$ elements, and $K(x^i,x^j)$ is the indicator function of the sphere evaluated at $x^i-x^j$. This provides a connection with the study of $L^p$-improving measures and distance set problems.
△ Less
Submitted 3 May, 2023; v1 submitted 1 January, 2023;
originally announced January 2023.
-
VC-Dimension and Distance Chains in $\mathbb{F}_q^d$
Authors:
Ruben Ascoli,
Livia Betti,
Justin Cheigh,
Alex Iosevich,
Ryan Jeong,
Xuyan Liu,
Brian McDonald,
Wyatt Milgrim,
Steven J. Miller,
Francisco Romero Acosta,
Santiago Velazquez Iannuzzelli
Abstract:
Given a domain $X$ and a collection $\mathcal{H}$ of functions $h:X\to \{0,1\}$, the Vapnik-Chervonenkis (VC) dimension of $\mathcal{H}$ measures its complexity in an appropriate sense. In particular, the fundamental theorem of statistical learning says that a hypothesis class with finite VC-dimension is PAC learnable. Recent work by Fitzpatrick, Wyman, the fourth and seventh named authors studied…
▽ More
Given a domain $X$ and a collection $\mathcal{H}$ of functions $h:X\to \{0,1\}$, the Vapnik-Chervonenkis (VC) dimension of $\mathcal{H}$ measures its complexity in an appropriate sense. In particular, the fundamental theorem of statistical learning says that a hypothesis class with finite VC-dimension is PAC learnable. Recent work by Fitzpatrick, Wyman, the fourth and seventh named authors studied the VC-dimension of a natural family of functions $\mathcal{H}_t^{'2}(E): \mathbb{F}_q^2\to \{0,1\}$, corresponding to indicator functions of circles centered at points in a subset $E\subseteq \mathbb{F}_q^2$. They showed that when $|E|$ is large enough, the VC-dimension of $\mathcal{H}_t^{'2}(E)$ is the same as in the case that $E = \mathbb F_q^2$. We study a related hypothesis class, $\mathcal{H}_t^d(E)$, corresponding to intersections of spheres in $\mathbb{F}_q^d$, and ask how large $E\subseteq \mathbb{F}_q^d$ needs to be to ensure the maximum possible VC-dimension. We resolve this problem in all dimensions, proving that whenever $|E|\geq C_dq^{d-1/(d-1)}$ for $d\geq 3$, the VC-dimension of $\mathcal{H}_t^d(E)$ is as large as possible. We get a slightly stronger result if $d=3$: this result holds as long as $|E|\geq C_3 q^{7/3}$. Furthermore, when $d=2$ the result holds when $|E|\geq C_2 q^{7/4}$.
△ Less
Submitted 19 July, 2023; v1 submitted 6 October, 2022;
originally announced October 2022.
-
Fractal dimension, approximation and data sets
Authors:
L. Betti,
I. Chio,
J. Fleischman,
A. Iosevich,
F. Iulianelli,
S. Kirila,
M. Martino,
A. Mayeli,
S. Pack,
Z. Sheng,
C. Taliancic,
A. Thomas,
N. Whybra,
E. Wyman,
U. Yildirim,
K. Zhao
Abstract:
The purpose of this paper is to study the fractal phenomena in large data sets and the associated questions of dimension reduction. We examine situations where the classical Principal Component Analysis is not effective in identifying the salient underlying fractal features of the data set. Instead, we employ the discrete energy, a technique borrowed from geometric measure theory, to limit the num…
▽ More
The purpose of this paper is to study the fractal phenomena in large data sets and the associated questions of dimension reduction. We examine situations where the classical Principal Component Analysis is not effective in identifying the salient underlying fractal features of the data set. Instead, we employ the discrete energy, a technique borrowed from geometric measure theory, to limit the number of points of a given data set that lie near a $k$-dimensional hyperplane, or, more generally, near a set of a given upper Minkowski dimension. Concrete motivations stemming from naturally arising data sets are described and future directions outlined.
△ Less
Submitted 24 September, 2022;
originally announced September 2022.
-
Nonempty interior of configuration sets via microlocal partition optimization
Authors:
Allan Greenleaf,
Alex Iosevich,
Krystal Taylor
Abstract:
We prove new results of Mattila-Sjölin type, giving lower bounds on Hausdorff dimensions of thin sets $E\subset \Bbb R^d$ ensuring that various $k$-point configuration sets, generated by elements of $E$, have nonempty interior. The dimensional thresholds in our previous work \cite{GIT20} were dictated by associating to a configuration function a family of generalized Radon transforms, and then opt…
▽ More
We prove new results of Mattila-Sjölin type, giving lower bounds on Hausdorff dimensions of thin sets $E\subset \Bbb R^d$ ensuring that various $k$-point configuration sets, generated by elements of $E$, have nonempty interior. The dimensional thresholds in our previous work \cite{GIT20} were dictated by associating to a configuration function a family of generalized Radon transforms, and then optimizing $L^2$-Sobolev estimates for them over all nontrivial bipartite partitions of the $k$ points. In the current work, we extend this by allowing the optimization to be done locally over the configuration's incidence relation, or even microlocally over the conormal bundle of the incidence relation. We use this approach to prove Mattila-Sjölin type results for (i) areas of subtriangles determined by quadrilaterals and pentagons in a set $E\subset\Bbb R^2$; (ii) pairs of ratios of distances of 4-tuples in $\Bbb R^d$; and (iii) similarity classes of triangles in $\Bbb R^d$, as well as to (iv) give a short proof of Palsson and Romero Acosta's result on congruence classes of triangles in $\Bbb R^d$.
△ Less
Submitted 17 February, 2024; v1 submitted 5 September, 2022;
originally announced September 2022.
-
Pinned simplices and connections to product of sets on paraboloids
Authors:
Alex Iosevich,
Quy Pham,
Thang Pham,
Chun-Yen Shen
Abstract:
In this paper we obtain improved dimensional thresholds for dot product sets corresponding to compact subsets of a paraboloid. As a direct application of these estimates, we obtain significant improvements to the best known dimensional thresholds that guarantee that a given compact subset of Euclidean space determines a positive proportion of all possible congruence classes of simplexes. In many r…
▽ More
In this paper we obtain improved dimensional thresholds for dot product sets corresponding to compact subsets of a paraboloid. As a direct application of these estimates, we obtain significant improvements to the best known dimensional thresholds that guarantee that a given compact subset of Euclidean space determines a positive proportion of all possible congruence classes of simplexes. In many regimes this improves the results previously obtained by Erdogan-Hart-Iosevich (\cite{EHI}), Greenleaf-Iosevich-Liu-Palsson (\cite{GILP}) and others.
△ Less
Submitted 21 August, 2022;
originally announced August 2022.
-
Dot products in ${\Bbb F}_q^3$ and the Vapnik-Chervonenkis dimension
Authors:
A. Iosevich,
B. McDonald,
M. Sun
Abstract:
Given a set $E \subset {\Bbb F}_q^3$, where ${\Bbb F}_q$ is the field with $q$ elements. Consider a set of "classifiers" ${\mathcal H}^3_t(E)=\{h_y: y \in E\}$, where $h_y(x)=1$ if $x \cdot y=t$, $x \in E$, and $0$ otherwise. We are going to prove that if $|E| \ge Cq^{\frac{11}{4}}$, with a sufficiently large constant $C>0$, then the Vapnik-Chervonenkis dimension of ${\mathcal H}^3_t(E)$ is equal…
▽ More
Given a set $E \subset {\Bbb F}_q^3$, where ${\Bbb F}_q$ is the field with $q$ elements. Consider a set of "classifiers" ${\mathcal H}^3_t(E)=\{h_y: y \in E\}$, where $h_y(x)=1$ if $x \cdot y=t$, $x \in E$, and $0$ otherwise. We are going to prove that if $|E| \ge Cq^{\frac{11}{4}}$, with a sufficiently large constant $C>0$, then the Vapnik-Chervonenkis dimension of ${\mathcal H}^3_t(E)$ is equal to $3$. In particular, this means that for sufficiently large subsets of ${\Bbb F}_q^3$, the Vapnik-Chervonenkis dimension of ${\mathcal H}^3_t(E)$ is the same as the Vapnik-Chervonenkis dimension of ${\mathcal H}^3_t({\Bbb F}_q^3)$. In some sense the proof leads us to consider the most complicated possible configuration that can always be embedded in subsets of ${\Bbb F}_q^3$ of size $\ge Cq^{\frac{11}{4}}$.
△ Less
Submitted 6 March, 2022;
originally announced March 2022.
-
Uniform distribution and geometric incidence theory
Authors:
A. Gafni,
A. Iosevich,
E. Wyman
Abstract:
A celebrated unit distance conjecture due to Erd\H os says that that the unit distances cannot arise more than $C_εn^{1+ε}$ times (for any $ε>0$) among $n$ points in the Euclidean plane (see e.g. \cite{SST84} and the references contained therein). In three dimensions, the conjectured bound is $Cn^{\frac{4}{3}}$ (see e.g. \cite{KMSS12} and \cite{Z19}). In dimensions four and higher, this problem, i…
▽ More
A celebrated unit distance conjecture due to Erd\H os says that that the unit distances cannot arise more than $C_εn^{1+ε}$ times (for any $ε>0$) among $n$ points in the Euclidean plane (see e.g. \cite{SST84} and the references contained therein). In three dimensions, the conjectured bound is $Cn^{\frac{4}{3}}$ (see e.g. \cite{KMSS12} and \cite{Z19}). In dimensions four and higher, this problem, in its general formulation, loses meaning because the Lens example shows that one can construct a set of $n$ points in dimension $4$ and higher where the unit distance arises $\approx n^2$ times (see e.g. \cite{B97}). However, the Lens example is one-dimension in nature, which raises the possibility that the unit distance conjecture is still quite interesting in higher dimensions under additional structural assumptions on the point set. This point of view was explored in \cite{I19}, \cite{IS16}, \cite{IMT12}, \cite{IRU14}, \cite{OO15} and has led to some interesting connections between the unit distance problem and its continuous counterparts, especially the Falconer distance conjecture (\cite{Falc85}).
In this paper, we study the unit distance problem and its variants under the assumption that the underlying family of point sets is uniformly distributed. We prove several incidence bounds in this setting and clarify some key properties of uniformly distributed sequences in the context of incidence problems in combinatorial geometry.
△ Less
Submitted 10 February, 2022;
originally announced February 2022.
-
A multi-linear geometric estimate
Authors:
Charlotte Aten,
Alex Iosevich
Abstract:
We give a generalization of the geometric estimate used by Hart and the second author in their 2008 work on sums and products in finite fields. Their result concerned level sets of non-degenerate bilinear forms over finite fields, while in this work we prove that if $E\subset\mathbb{F}_q^d$ is sufficiently large and $\varpi$ is a non-degenerate multi-linear form then $\varpi$ will attain all possi…
▽ More
We give a generalization of the geometric estimate used by Hart and the second author in their 2008 work on sums and products in finite fields. Their result concerned level sets of non-degenerate bilinear forms over finite fields, while in this work we prove that if $E\subset\mathbb{F}_q^d$ is sufficiently large and $\varpi$ is a non-degenerate multi-linear form then $\varpi$ will attain all possible nonzero values as its arguments vary over $E$, under a certain quantitative assumption on the extent to which $E$ is projective. We show that our bound is nontrivial in the case that $n=3$ and $d=2$ and construct examples of sets to which this applies. In particular, we give conditions under which every member of $\mathbb{F}_q^*$ belongs to $A\cdot A\cdot A+A\cdot A\cdot A\cdot A\cdot A\cdot A$ where $A$ is a union of cosets of a subgroup of $\mathbb{F}_q^*$.
△ Less
Submitted 1 December, 2021;
originally announced December 2021.
-
Simplex Averaging Operators: Quasi-Banach and $L^p$-Improving Bounds in Lower Dimensions
Authors:
Alex Iosevich,
Eyvindur Ari Palsson,
Sean R. Sovine
Abstract:
We establish some new $L^p$-improving bounds for the $k$-simplex averaging operators $S^k$ that hold in dimensions $d \geq k$. As a consequence of these $L^p$-improving bounds we obtain nontrivial bounds $S^k\colon L^{p_1}\times\cdots\times L^{p_k}\rightarrow L^r$ with $r < 1$. In particular we show that the triangle averaging operator $S^2$ maps…
▽ More
We establish some new $L^p$-improving bounds for the $k$-simplex averaging operators $S^k$ that hold in dimensions $d \geq k$. As a consequence of these $L^p$-improving bounds we obtain nontrivial bounds $S^k\colon L^{p_1}\times\cdots\times L^{p_k}\rightarrow L^r$ with $r < 1$. In particular we show that the triangle averaging operator $S^2$ maps $ L^{\frac{d+1}{d}}\times L^{\frac{d+1}{d}} \rightarrow L^{\frac{d+1}{2d}}$ in dimensions $d\geq 2$. This improves quasi-Banach bounds obtained by Palsson and Sovine and extends bounds obtained by Greenleaf, Iosevich, Krauss, and Liu for the case of $k = d = 2$.
△ Less
Submitted 18 September, 2021;
originally announced September 2021.
-
The VC-dimension and point configurations in ${\Bbb F}_q^2$
Authors:
D. Fitzpatrick,
A. Iosevich,
B. McDonald,
E. Wyman
Abstract:
Let $X$ be a set and ${\mathcal H}$ a collection of functions from $X$ to $\{0,1\}$. We say that ${\mathcal H}$ shatters a finite set $C \subset X$ if the restriction of ${\mathcal H}$ yields every possible function from $C$ to $\{0,1\}$. The VC-dimension of ${\mathcal H}$ is the largest number $d$ such that there exists a set of size $d$ shattered by ${\mathcal H}$, and no set of size $d+1$ is sh…
▽ More
Let $X$ be a set and ${\mathcal H}$ a collection of functions from $X$ to $\{0,1\}$. We say that ${\mathcal H}$ shatters a finite set $C \subset X$ if the restriction of ${\mathcal H}$ yields every possible function from $C$ to $\{0,1\}$. The VC-dimension of ${\mathcal H}$ is the largest number $d$ such that there exists a set of size $d$ shattered by ${\mathcal H}$, and no set of size $d+1$ is shattered by ${\mathcal H}$. Vapnik and Chervonenkis introduced this idea in the early 70s in the context of learning theory, and this idea has also had a significant impact on other areas of mathematics. In this paper we study the VC-dimension of a class of functions ${\mathcal H}$ defined on ${\Bbb F}_q^d$, the $d$-dimensional vector space over the finite field with $q$ elements. Define $$ {\mathcal H}^d_t=\{h_y(x): y \in {\Bbb F}_q^d \},$$ where for $x \in {\Bbb F}_q^d$, $h_y(x)=1$ if $||x-y||=t$, and $0$ otherwise, where here, and throughout, $||x||=x_1^2+x_2^2+\dots+x_d^2$. Here $t \in {\Bbb F}_q$, $t \not=0$. Define ${\mathcal H}_t^d(E)$ the same way with respect to $E \subset {\Bbb F}_q^d$. The learning task here is to find a sphere of radius $t$ centered at some point $y \in E$ unknown to the learner. The learning process consists of taking random samples of elements of $E$ of sufficiently large size.
We are going to prove that when $d=2$, and $|E| \ge Cq^{\frac{15}{8}}$, the VC-dimension of ${\mathcal H}^2_t(E)$ is equal to $3$. This leads to an intricate configuration problem which is interesting in its own right and requires a new approach.
△ Less
Submitted 30 August, 2021;
originally announced August 2021.
-
Lattice points problem, equidistribution and ergodic theorems for certain arithmetic spheres
Authors:
Alex Iosevich,
Bartosz Langowski,
Mariusz Mirek,
Tomasz Z. Szarek
Abstract:
We establish an asymptotic formula for the number of lattice points in the sets \[ \mathbf S_{h_1, h_2, h_3}(λ): =\{x\in\mathbb Z_+^3:\lfloor h_1(x_1)\rfloor+\lfloor h_2(x_2)\rfloor+\lfloor h_3(x_3)\rfloor=λ\} \quad \text{with}\quad λ\in\mathbb Z_+; \] where functions $h_1, h_2, h_3$ are constant multiples of regularly varying functions of the form $h(x):=x^c\ell_h(x)$, where the exponent $c>1$ (b…
▽ More
We establish an asymptotic formula for the number of lattice points in the sets \[ \mathbf S_{h_1, h_2, h_3}(λ): =\{x\in\mathbb Z_+^3:\lfloor h_1(x_1)\rfloor+\lfloor h_2(x_2)\rfloor+\lfloor h_3(x_3)\rfloor=λ\} \quad \text{with}\quad λ\in\mathbb Z_+; \] where functions $h_1, h_2, h_3$ are constant multiples of regularly varying functions of the form $h(x):=x^c\ell_h(x)$, where the exponent $c>1$ (but close to $1$) and a function $\ell_h(x)$ is taken from a certain wide class of slowly varying functions. Taking $h_1(x)=h_2(x)=h_3(x)=x^c$ we will also derive an asymptotic formula for the number of lattice points in the sets \[ \mathbf S_{c}^3(λ) := \{x \in \mathbb Z^3 : \lfloor |x_1|^c \rfloor + \lfloor |x_2|^c \rfloor + \lfloor |x_3|^c \rfloor= λ\} \quad \text{with}\quad λ\in\mathbb Z_+; \] which can be thought of as a perturbation of the classical Waring problem in three variables.
We will use the latter asymptotic formula to study, the main results of this paper, norm and pointwise convergence of the ergodic averages \[ \frac{1}{\#\mathbf S_{c}^3(λ)}\sum_{n\in \mathbf S_{c}^3(λ)}f(T_1^{n_1}T_2^{n_2}T_3^{n_3}x) \quad \text{as}\quad λ\to\infty; \] where $T_1, T_2, T_3:X\to X$ are commuting invertible and measure-preserving transformations of a $σ$-finite measure space $(X, ν)$ for any function $f\in L^p(X)$ with $p>\frac{11-4c}{11-7c}$. Finally, we will study the equidistribution problem corresponding to the spheres $\mathbf S_{c}^3(λ)$.
△ Less
Submitted 22 June, 2021;
originally announced June 2021.
-
Cycles of arbitrary length in distance graphs on $\mathbb{F}_q^d$
Authors:
Alex Iosevich,
Gail Jardine,
Brian McDonald
Abstract:
For $E \subset {\Bbb F}_q^d$, $d \ge 2$, where ${\Bbb F}_q$ is the finite field with $q$ elements, we consider the distance graph ${\mathcal G}^{dist}_t(E)$, $t \not=0$, where the vertices are the elements of $E$, and two vertices $x$, $y$ are connected by an edge if $||x-y|| \equiv {(x_1-y_1)}^2+\dots+{(x_d-y_d)}^2=t$. We prove that if $|E| \ge C_k q^{\frac{d+2}{2}}$, then…
▽ More
For $E \subset {\Bbb F}_q^d$, $d \ge 2$, where ${\Bbb F}_q$ is the finite field with $q$ elements, we consider the distance graph ${\mathcal G}^{dist}_t(E)$, $t \not=0$, where the vertices are the elements of $E$, and two vertices $x$, $y$ are connected by an edge if $||x-y|| \equiv {(x_1-y_1)}^2+\dots+{(x_d-y_d)}^2=t$. We prove that if $|E| \ge C_k q^{\frac{d+2}{2}}$, then ${\mathcal G}^{dist}_t(E)$ contains a statistically correct number of cycles of length $k$. We are also going to consider the dot-product graph ${\mathcal G}^{prod}_t(E)$, $t \not=0$, where the vertices are the elements of $E$, and two vertices $x$, $y$ are connected by an edge if $x \cdot y \equiv x_1y_1+\dots+x_dy_d=t$. We obtain similar results in this case using more sophisticated methods necessitated by the fact that the function $x \cdot y$ is not translation invariant. The exponent $\frac{d+2}{2}$ is improved for sufficiently long cycles.
△ Less
Submitted 3 January, 2021;
originally announced January 2021.
-
Sums of Powers in Large Finite Fields: A Mix of Methods
Authors:
Vitaly Bergelson,
Andrew Best,
Alex Iosevich
Abstract:
Can any element in a sufficiently large finite field be represented as a sum of two $d$th powers in the field? In this article, we recount some of the history of this problem, touching on cyclotomy, Fermat's last theorem, and diagonal equations. Then, we offer two proofs, one new and elementary, and the other more classical, based on Fourier analysis and an application of a nontrivial estimate fro…
▽ More
Can any element in a sufficiently large finite field be represented as a sum of two $d$th powers in the field? In this article, we recount some of the history of this problem, touching on cyclotomy, Fermat's last theorem, and diagonal equations. Then, we offer two proofs, one new and elementary, and the other more classical, based on Fourier analysis and an application of a nontrivial estimate from the theory of finite fields. In context and juxtaposition, each will have its merits.
△ Less
Submitted 16 December, 2020; v1 submitted 20 September, 2020;
originally announced September 2020.
-
Simplices in thin subsets of Euclidean spaces
Authors:
Alex Iosevich,
Akos Magyar
Abstract:
Let $\De$ be a non-degenerate simplex on $k$ vertices. We prove that there exists a threshold $s_k<k$ such that any set $A\subs \R^k$ of Hausdorff dimension $dim\,A\geq s_k$ necessarily contains a similar copy of the simplex $\De$.
Let $\De$ be a non-degenerate simplex on $k$ vertices. We prove that there exists a threshold $s_k<k$ such that any set $A\subs \R^k$ of Hausdorff dimension $dim\,A\geq s_k$ necessarily contains a similar copy of the simplex $\De$.
△ Less
Submitted 8 September, 2020;
originally announced September 2020.
-
On complete and incomplete exponential systems
Authors:
Alex Iosevich,
Azita Mayeli
Abstract:
Given a bounded domain $Ω\subset {\Bbb R}^d$ with positive measure and a finite set $A=\{a^1, a^2, \dots, a^d\}$, we say that the set ${\mathcal E}(A)={\{e^{2 πi x \cdot a^j}\}}_{a^j \in A}$ is a complete exponential system if for every $ξ\in {\Bbb R}^d$, there exists $1 \leq j \leq d+1$ such that \begin{equation} \label{completedef} \int_Ω e^{-2 πi x \cdot (a^j-ξ)} dx \not=0; \end{equation} other…
▽ More
Given a bounded domain $Ω\subset {\Bbb R}^d$ with positive measure and a finite set $A=\{a^1, a^2, \dots, a^d\}$, we say that the set ${\mathcal E}(A)={\{e^{2 πi x \cdot a^j}\}}_{a^j \in A}$ is a complete exponential system if for every $ξ\in {\Bbb R}^d$, there exists $1 \leq j \leq d+1$ such that \begin{equation} \label{completedef} \int_Ω e^{-2 πi x \cdot (a^j-ξ)} dx \not=0; \end{equation} otherwise ${\mathcal E}(A)$ is called an incomplete exponential system. In this paper, we essentially classify complete and incomplete exponential systems when $Ω=B_d$, the unit ball, and when $Ω=Q_d$, the unit cube.
Given a bounded domain $Ω$, we say that $e^{2 πi x \cdot a}, e^{2 πi x \cdot a'}$ are $φ$-approximately orthogonal if $$|\widehatχ_Ω(a-a')| \leq φ(|a-a'|), \ a\neq a'$$ where $φ: [0, \infty) \to [0, \infty)$ is a bounded measurable function that tends to $0$ at infinity. We prove that $L^2(B_d)$ does not possess a $φ$-approximate orthogonal basis of exponentials for a wide range of functions $φ$. The proof involves connections with the theory of distances in sets of positive Lebesgue upper density originally developed by Furstenberg, Katznelson and Weiss (\cite{FKW90}).
△ Less
Submitted 15 July, 2020;
originally announced July 2020.
-
Falconer-type estimates for dot products
Authors:
Alex Iosevich,
Steven Senger
Abstract:
We present a family of sharpness examples for Falconer-type single dot product results. In particular, for $d\geq 2,$ for any $s<\frac{d+1}{2},$ we construct a Borel probability measure $μ$ satisfying the energy estimate $I_s(μ)<\infty,$ yet the estimate \begin{equation} (μ\times μ)\{(x,y):1\leq x\cdot y \leq 1+ε\} \leq Cε\end{equation} does not hold with constants independent of $ε$. It is known…
▽ More
We present a family of sharpness examples for Falconer-type single dot product results. In particular, for $d\geq 2,$ for any $s<\frac{d+1}{2},$ we construct a Borel probability measure $μ$ satisfying the energy estimate $I_s(μ)<\infty,$ yet the estimate \begin{equation} (μ\times μ)\{(x,y):1\leq x\cdot y \leq 1+ε\} \leq Cε\end{equation} does not hold with constants independent of $ε$. It is known (\cite{EIT11}) that such an estimate always holds with $C$ independent of $ε$ if $I_{\frac{d+1}{2}}(μ)<\infty$. Thus our estimate proves the sharpness of the dimensional threshold in this result and generalizes similar results (\cite{Mat95}, \cite{IS16}) established in the case when the dot product $x \cdot y$ is replaced by the Euclidean distance function $|x-y|$, or, more generally, ${||x-y||}_K$, the distance that comes from the norm induced by a symmetric convex body $K$ with a smooth boundary and non-vanishing curvature. Our constructions are partially based on ideas that come from discrete incidence theory.
△ Less
Submitted 28 June, 2020; v1 submitted 16 June, 2020;
originally announced June 2020.
-
An improved result for Falconer's distance set problem in even dimensions
Authors:
Xiumin Du,
Alex Iosevich,
Yumeng Ou,
Hong Wang,
Ruixiang Zhang
Abstract:
We show that if compact set $E\subset \mathbb{R}^d$ has Hausdorff dimension larger than $\frac{d}{2}+\frac{1}{4}$, where $d\geq 4$ is an even integer, then the distance set of $E$ has positive Lebesgue measure. This improves the previously best known result towards Falconer's distance set conjecture in even dimensions.
We show that if compact set $E\subset \mathbb{R}^d$ has Hausdorff dimension larger than $\frac{d}{2}+\frac{1}{4}$, where $d\geq 4$ is an even integer, then the distance set of $E$ has positive Lebesgue measure. This improves the previously best known result towards Falconer's distance set conjecture in even dimensions.
△ Less
Submitted 29 March, 2021; v1 submitted 11 June, 2020;
originally announced June 2020.
-
On $k$-point configuration sets with nonempty interior
Authors:
Allan Greenleaf,
Alex Iosevich,
Krystal Taylor
Abstract:
We give conditions for $k$-point configuration sets of thin sets to have nonempty interior, applicable to a wide variety of configurations. This is a continuation of our earlier work \cite{GIT19} on 2-point configurations, extending a theorem of Mattila and Sjölin \cite{MS99} for distance sets in Euclidean spaces. We show that for a general class of $k$-point configurations, the configuration set…
▽ More
We give conditions for $k$-point configuration sets of thin sets to have nonempty interior, applicable to a wide variety of configurations. This is a continuation of our earlier work \cite{GIT19} on 2-point configurations, extending a theorem of Mattila and Sjölin \cite{MS99} for distance sets in Euclidean spaces. We show that for a general class of $k$-point configurations, the configuration set of a $k$-tuple of sets, $E_1,\,\dots,\, E_k$, has nonempty interior provided that the sum of their Hausdorff dimensions satisfies a lower bound, dictated by optimizing $L^2$-Sobolev estimates of associated generalized Radon transforms over all nontrivial partitions of the $k$ points into two subsets. We illustrate the general theorems with numerous specific examples. Applications to 3-point configurations include areas of triangles in $\mathbb R^2$ or the radii of their circumscribing circles; volumes of pinned parallelepipeds in $\mathbb R^3$; and ratios of pinned distances in $\mathbb R^2$ and $\mathbb R^3$. Results for 4-point configurations include cross-ratios on $\mathbb R$, triangle area pairs determined by quadrilaterals in $\mathbb R^2$, and dot products of differences in $\mathbb R^d$.
△ Less
Submitted 26 April, 2021; v1 submitted 21 May, 2020;
originally announced May 2020.
-
Weyl Law Improvement for Products of Spheres
Authors:
Alex Iosevich,
Emmett Wyman
Abstract:
The classical Weyl Law says that if $N_M(λ)$ denotes the number of eigenvalues of the Laplace operator on a $d$-dimensional compact manifold $M$ without a boundary that are less than or equal to $λ$, then $$ N_M(λ)=cλ^d+O(λ^{d-1}).$$
In this paper, we show Duistermaat and Guillemin's result allows us to replace the $O(λ^{d-1})$ error with $o(λ^{d-1})$ if $M$ is a product manifold. We quantify th…
▽ More
The classical Weyl Law says that if $N_M(λ)$ denotes the number of eigenvalues of the Laplace operator on a $d$-dimensional compact manifold $M$ without a boundary that are less than or equal to $λ$, then $$ N_M(λ)=cλ^d+O(λ^{d-1}).$$
In this paper, we show Duistermaat and Guillemin's result allows us to replace the $O(λ^{d-1})$ error with $o(λ^{d-1})$ if $M$ is a product manifold. We quantify this bound in the case of Cartesian product of spheres by reducing the problem to the study of the distribution of weighted integer lattice points in Euclidean space and formulate a conjecture in the general case reminiscent of the sum-product phenomenon in additive combinatorics.
△ Less
Submitted 25 September, 2019;
originally announced September 2019.
-
Microlocal decoupling inequalities and the distance problem on Riemannian manifolds
Authors:
Alex Iosevich,
Bochen Liu,
Yakun Xi
Abstract:
We study the generalization of the Falconer distance problem to the Riemannian setting. In particular, we extend the result of Guth-Iosevich-Ou-Wang for the distance set in the plane to general Riemannian surfaces. Key new ingredients include a family of refined microlocal decoupling inequalities, which are related to the work of Beltran-Hickman-Sogge on Wolff-type inequalities, and an analog of O…
▽ More
We study the generalization of the Falconer distance problem to the Riemannian setting. In particular, we extend the result of Guth-Iosevich-Ou-Wang for the distance set in the plane to general Riemannian surfaces. Key new ingredients include a family of refined microlocal decoupling inequalities, which are related to the work of Beltran-Hickman-Sogge on Wolff-type inequalities, and an analog of Orponen's radial projection lemma which has proved quite useful in recent work on distance sets.
△ Less
Submitted 20 January, 2023; v1 submitted 11 September, 2019;
originally announced September 2019.
-
Configuration sets with nonempty interior
Authors:
Allan Greenleaf,
Alex Iosevich,
Krystal Taylor
Abstract:
A theorem of Steinhaus states that if $E\subset \mathbb R^d$ has positive Lebesgue measure, then the difference set $E-E$ contains a neighborhood of $0$. Similarly, if $E$ merely has Hausdorff dimension $\dim_{\mathcal H}(E)>(d+1)/2$, a result of Mattila and Sjölin states that the distance set $Δ(E)\subset\mathbb R$ contains an open interval. In this work, we study such results from a general view…
▽ More
A theorem of Steinhaus states that if $E\subset \mathbb R^d$ has positive Lebesgue measure, then the difference set $E-E$ contains a neighborhood of $0$. Similarly, if $E$ merely has Hausdorff dimension $\dim_{\mathcal H}(E)>(d+1)/2$, a result of Mattila and Sjölin states that the distance set $Δ(E)\subset\mathbb R$ contains an open interval. In this work, we study such results from a general viewpoint, replacing $E-E$ or $Δ(E)$ with more general $Φ\,$-configurations for a class of $Φ:\mathbb R^d\times\mathbb R^d\to\mathbb R^k$, and showing that, under suitable lower bounds on $\dim_{\mathcal H}(E)$ and a regularity assumption on the family of generalized Radon transforms associated with $Φ$, it follows that the set $Δ_Φ(E)$ of $Φ$-configurations in $E$ has nonempty interior in $\mathbb R^k$. Further extensions hold for $Φ\,$-configurations generated by two sets, $E$ and $F$, in spaces of possibly different dimensions and with suitable lower bounds on $\dim_{\mathcal H}(E)+\dim_{\mathcal H}(F)$.
△ Less
Submitted 19 September, 2019; v1 submitted 29 July, 2019;
originally announced July 2019.
-
Fourier frames for surface-carried measures
Authors:
Alex Iosevich,
Chun-Kit Lai,
Bochen Liu,
Emmett Wyman
Abstract:
In this paper we show that the surface measure on the boundary of a convex body of everywhere positive Gaussian curvature does not admit a Fourier frame. This answers a question proposed by Lev and provides the first example of a uniformly distributed measure supported on a set of Lebesgue measure zero that does not admit a Fourier frame. In contrast, we show that the surface measure on the bounda…
▽ More
In this paper we show that the surface measure on the boundary of a convex body of everywhere positive Gaussian curvature does not admit a Fourier frame. This answers a question proposed by Lev and provides the first example of a uniformly distributed measure supported on a set of Lebesgue measure zero that does not admit a Fourier frame. In contrast, we show that the surface measure on the boundary of a polytope always admits a Fourier frame.
We also explore orthogonal bases and frames adopted to sets under consideration. More precisely, given a compact manifold $M$ without a boundary and $D \subset M$, we ask whether $L^2(D)$ possesses an orthogonal basis of eigenfunctions. The non-abelian nature of this problem, in general, puts it outside the realm of the previously explored questions about the existence of bases of characters for subsets of locally compact abelian groups.
△ Less
Submitted 20 May, 2019; v1 submitted 16 May, 2019;
originally announced May 2019.
