Table of Contents
Fetching ...

Self-similar and self-conformal measures with slow Fourier decay

Simon Baker, Amlan Banaji

TL;DR

The paper shows that Rajchman self-similar and nonlinear self-conformal measures can exhibit arbitrarily slow Fourier decay, answering negative questions about universal polynomial or logarithmic decay. It develops a framework for both constructing generic slow-decay self-similar measures via a parameter family and producing $C^{ abla}$ pushforwards with slow decay, including explicit Liouville-type examples and $C^{ abla}$-smooth IFSs whose second-derivative structure yields slow decay along subsequences. A key contribution is the demonstration that slow Fourier decay persists even under nonlinear, smooth transformations, and that such measures can be Rajchman while still supporting very slow equidistribution properties in dynamical systems such as base-10 expansions. The work provides explicit constructions, higher-dimensional generalizations, and a blend of harmonic analysis, fractal geometry, and Diophantine techniques (e.g., Brémont-type criteria) to realize these counterintuitive phenomena. Its results have implications for fractal uncertainty principles, normality in expansions, and the broader understanding of how smooth perturbations interact with fractal measures in Fourier space.

Abstract

Given any function $φ\colon [0,\infty)\to (0,1]$ satisfying $\lim_{ξ\to\infty}φ(ξ) = 0$, we prove the existence of i) self-similar measures and ii) nonlinear $C^{\infty}$ self-conformal measures which are Rajchman and whose Fourier transform $\widehatμ$ satisfies \[ \limsup_{ξ\to\infty}\frac{|\widehatμ(ξ)|}{φ(ξ)}>0.\] Moreover, we derive new sufficient conditions for a self-conformal measure to be Rajchman, and construct an explicit self-similar measure $μ$ such that $μ$ almost every $x$ is normal in base $10$ but the sequence $(10^{n}x \mod 1)_{n=1}^{\infty}$ equidistributes extremely slowly.

Self-similar and self-conformal measures with slow Fourier decay

TL;DR

The paper shows that Rajchman self-similar and nonlinear self-conformal measures can exhibit arbitrarily slow Fourier decay, answering negative questions about universal polynomial or logarithmic decay. It develops a framework for both constructing generic slow-decay self-similar measures via a parameter family and producing pushforwards with slow decay, including explicit Liouville-type examples and -smooth IFSs whose second-derivative structure yields slow decay along subsequences. A key contribution is the demonstration that slow Fourier decay persists even under nonlinear, smooth transformations, and that such measures can be Rajchman while still supporting very slow equidistribution properties in dynamical systems such as base-10 expansions. The work provides explicit constructions, higher-dimensional generalizations, and a blend of harmonic analysis, fractal geometry, and Diophantine techniques (e.g., Brémont-type criteria) to realize these counterintuitive phenomena. Its results have implications for fractal uncertainty principles, normality in expansions, and the broader understanding of how smooth perturbations interact with fractal measures in Fourier space.

Abstract

Given any function satisfying , we prove the existence of i) self-similar measures and ii) nonlinear self-conformal measures which are Rajchman and whose Fourier transform satisfies Moreover, we derive new sufficient conditions for a self-conformal measure to be Rajchman, and construct an explicit self-similar measure such that almost every is normal in base but the sequence equidistributes extremely slowly.
Paper Structure (14 sections, 23 theorems, 229 equations)

This paper contains 14 sections, 23 theorems, 229 equations.

Key Result

Theorem 1.2

For every function $\phi \colon [0,\infty) \to (0,1]$ such that $\phi(\xi) \to 0$ as $\xi \to \infty$, there exists a Rajchman homogeneous self-similar measure $\mu$ on $\mathbb{R}$ such that

Theorems & Definitions (48)

  • Theorem 1.2
  • Theorem 1.3
  • Remark 1.4
  • Theorem 1.5: PVZZ, Theorem 3
  • Theorem 1.7
  • Example 1.9
  • Theorem 1.11
  • Corollary 1.12
  • proof
  • Theorem 1.13
  • ...and 38 more