arXiv subjects

Will Burstein

Publications and source records attributed to Will Burstein.

4 recordsLinked to original sources

arXiv2026

The Fourier Ratio: A Unifying Measure of Complexity for Recovery, Localization, and Learning

We introduce a generalized Fourier ratio, the $\ell^1/\ell^2$ norm ratio of coefficients in an \emph{arbitrary} orthonormal system, as a single, basis-invariant measure of \emph{effective dimension} that governs fundamental limits across signal recovery, localization, and learning. First, we prove that functions with small Fourier ratio can be stably recovered from random missing samples via $\ell^1$ minimization, extending and clarifying compressed sensing guarantees for general bounded orthonormal systems. Second, we establish a sharp \emph{localization obstruction}: any attempt to localize recovery to subslices of a product space necessarily inflates the Fourier ratio by a factor scaling with the square root of the slice count, demonstrating that global complexity cannot be distributed locally. Finally, we show that the same parameter controls key complexity-theoretic measures: it provides explicit upper bounds on Kolmogorov rate-distortion description length and on the statistical query (SQ) dimension of the associated function class. These results unify analytic, algorithmic, and learning-theoretic constraints under a single complexity parameter, revealing the Fourier ratio as a fundamental invariant in information-theoretic signal processing.

math.CA↗

arXiv2025

Fourier minimization and imputation of time series

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.

math.CA↗

arXiv2025

$\Lambda_p$ Style Bounds in Orlicz Spaces Close to $L^2$

Let $(\varphi_i)_{i=1}^n$ be mutually orthogonal functions on a probability space such that $\|\varphi_i\|_\infty \leq 1 $ for all $i \in [n]$. Let $\alpha > 0$. Let $\Phi(u) = u^2 \log^{\alpha}(u)$ for $u \geq u_{0}$, and $\Phi(u) = c(\alpha) u^2$ otherwise. $u_0 \geq e$ and $c(\alpha)$ are constants chosen so that $\Phi$ is a Young function, depending only on $\alpha$. Our main result shows that with probability at least $1/4$ over subsets $I$ of $[n]$, where $I$ is constructed by choosing each index of $[n]$ independently from a Bernoulli distribution, the following holds: $|I| \geq \frac{n}{e \log^{\alpha+1}(n)} $ and for any $a \in \mathbb{C}^n$, $$ \left \|\sum_{i \in I} a_i \varphi_i \right \|_{\Phi} \leq K(\alpha) \log^{\frac{\alpha}{2}}(\log n) \cdot \|a\|_2. $$ $K(\alpha)$ is a constant depending only on $\alpha$. In the main Theorem of \cite{Ryou22}, Ryou proved the result above to a constant factor, depending on $p$ and $\alpha$, when the Orlicz space is a $L^p(\log L)^{p\alpha}$ space for $p > 2$ where $|I| \sim \frac{n^{2/p}}{\log^{2 \alpha /p}(n)}$. However, their work did not extend to the case where $p=2$, an open question in \cite{Iosevich25}. Our result resolves the latter question up to $\log \log n$ factors. Moreover, our result sharpens the constants of Limonova's main result in \cite{Limonova23} from a factor of $\log n$ to a factor of $\log \log n$, if the orthogonal functions are bounded by a constant. In addition, our proof is much shorter and simpler than the latter's. Finally, to complement our main result, we give a probabilistic lower bound (subsets of $[n]$ are selected by a Bernoulli distribution over $[n]$'s indices) that matches our main result's upper bound.

math.CA↗

arXiv2024

Group Action Approaches in Erdos Quotient Set Problem

Let $\mathbb{F}_q$ denote the finite field of $q$ elements. For $E \subset \mathbb{F}_q^d$, denote the distance set $\Delta(E)= \{\|x-y\|^2:=(x_1-y_1)^2+ \cdots + (x_d-y_d)^2 : (x,y)\in E^2 \}$. The Erdos quotient set problem was introduced in \cite{Iosevich_2019} where it was shown that for even $d\geq2$ that if $|E| \subset \mathbb{F}_q^2$ such that $|E| >> q^{d/2}$, then $\frac{\Delta(E)}{\Delta(E)}:= \{\frac{s}{t}:s,t \in \Delta(E), t\not=0\} =\mathbb{F}_q^d$. The proof of the latter result is quite sophisticated and in \cite{pham2023group}, a simple proof using a group-action approach was obtained for the case of $q \equiv 3 \mod 4$ when $d=2$. In the $q \equiv 3 \mod 4$ setting, for each $r \in (\mathbb{F}_q)^2$, \cite{pham2023group} showed if $E \subset \mathbb{F}_q$, then $V(r):= \# \left\{ (a,b,c,d) \in E^2: \frac{\|a-b\|^2}{\|c-d\|^2} = r \right\} >> \frac{|E|^4}{q}$. In this work we use group action techniques in the $q \equiv 3 \mod 4$ setting, for $d=2$ and improve the results of \cite{pham2023group} by removing the assumption on $r \in (\mathbb{F}_q)^2$. Specifically we show if $d=2$ and $q \equiv 3 \mod 4$, then for each $r \in \mathbb{F}_q^*$,$V(r)\geq \frac{|E|^4}{2q}$if $|E|\geq \sqrt{2}q$ for all $r \in \mathbb{F}_q$. Finally, we improve the main result of \cite{bhowmik2023near} using our proof techniques from our quotient set results.

math.CO↗