View PDF HTML (experimental)

Abstract:In this note we connect Sobolev estimates in the context of polynomial averages e.g.\ \begin{align}\label{e:savings}
\| \int_0^1 \prod_{k=1}^m f_k(x-t^k) \|_{1} \leq \text{Const} \cdot 2^{-\text{const} \cdot l} \prod_{i=1}^m \| f_k \|_m \end{align} whenever some $f_i$ vanishes on $\{ |\xi| \leq 2^l \}$ to the existence of polynomial progressions inside of sets of sufficiently large Hausdorff dimension, in analogy with work of Peluse in the discrete context. Our strongest results builds off work of Becker-Krause and is as follows: suppose that $\mathcal{P} = \{a_{d_1} t^{d_1}, a_{d_2} t^{d_2},\dots, a_{d_k} t^{d_k}\}$ vanish at the origin at different rates, and that $E \subset [0,1]$ has sufficiently large Hausdorff dimension, \[ 1 - \text{const}(\mathcal{P}) < \text{dim}_H(E) < 1 \] and Hausdorff content bounded away from zero, sufficiently large in terms of its dimension. Then $E$ contains a non-trivial polynomial progression of the form \begin{align}
\{ x , x - a_{d_1} t^{d_1}, x - a_{d_2} t^{d_2}, \dots, x - a_{d_k} t^{d_k} \} \subset E, \; \; \; t \neq 0. \end{align}
Also, using the Fourier spectrum, we provide a short proof that whenever $E$ supports a measure with both positive Fourier dimension and a sufficiently large Frostman condition, it necessarily contains a non-trivial generalized three-term arithmetic progression of the form \[ \{ x, x - \gamma_1 t, x- \gamma_2 t\} \subset E, \; \; \; \gamma_i \in \mathbb{Q},\ t \neq 0.\]

Submission history

From: Benjamin Krause [view email]
[v1] Wed, 6 Aug 2025 17:45:31 UTC (12 KB)
[v2] Fri, 8 Aug 2025 09:49:51 UTC (16 KB)
[v3] Thu, 17 Sep 2026 12:01:06 UTC (18 KB)