Fourier Anti-Concentration Regularizer
Implementation & benchmark of arXiv:2607.18010 — Quantitative Fourier decay for Patterson-Sullivan measures of dimension larger than $1/2$
Source paper: Quantitative Fourier decay for Patterson-Sullivan measures of dimension larger than $1/2$ arXiv:2607.18010 ⓘ · analyzed Aug 30, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Add a Fourier-domain anti-concentration penalty to normalized embeddings or latent codes. For random one-dimensional projections, penalize empirical characteristic functions that exceed a power-law envelope whose exponent is determined by the estimated effective fractal dimension, discouraging collapsed, lattice-like, or overly periodic representations.
Formulas
Mathematical statement
The paper proves that for a Patterson–Sullivan probability measure \(\mu\) with dimension \(\delta>1/2\), its Fourier transform \(\widehat\mu(\xi)=\int e^{-2\pi i\xi x}\,d\mu(x)\) satisfies \(|\widehat\mu(\xi)|\le C|\xi|^{-\alpha(\delta)}\) for \(|\xi|\ge1\), where \(\alpha(\delta)=\delta(2\delta-1)/((2\delta+1)(3-\delta))\). For a minibatch of normalized scalar projections \(z_j=u^\top h_j\), define the empirical characteristic function \(\widehat\phi_u(\xi)=B^{-1}\sum_{j=1}^B e^{-2\pi i\xi z_j}\). The adapted penalty minimizes violations of \(|\widehat\phi_u(\xi)|\le C_u(1+|\xi|)^{-\alpha}\), with \(\alpha=\alpha(\widehat\delta)\) when estimated effective dimension \(\widehat\delta>1/2\), and a small floor otherwise. The transferred mechanism is oscillatory cancellation caused by non-concentration; the theorem itself does not guarantee that a neural representation satisfies the bound.
Implementation notes
Integrate the penalty after the encoder projection and before the task head, or on latent vectors of a VAE or diffusion autoencoder. First apply batch-wise centering and whitening, then sample 8–32 unit projection vectors \(u\), and evaluate frequencies \(\Xi=\{1,2,4,8,16,32\}\). Pseudocode: compute projected values \(z_{u,j}=u^\top h_j\); for every projection and frequency calculate real and imaginary batch means of \(\exp(-2\pi i\xi z_{u,j})\); take their magnitude; add the hinge penalty in the formula to the task loss; backpropagate; and update \(C_u\) using an exponential moving maximum so the regularizer does not impose an arbitrary absolute scale. Estimate \(\widehat\delta\) every 100 steps using a correlation-dimension fit: count pairs with \(|u^\top h_i-u^\top h_j|<r\), fit the slope of \(\log N(r)\) versus \(\log r\), and average across projections. The paper supplies the explicit exponent and threshold \(\delta=1/2\); the dimension estimator, projections, frequency grid, and constants are empirical adaptations. The first cheap experiment is a small VAE on MNIST or CIFAR-10 with standard reconstruction plus KL loss, comparing no penalty, fixed \(\alpha=0.05\), and adaptive \(\alpha(\widehat\delta)\). Evaluate reconstruction, latent collapse, and held-out Fourier slopes. The quantitative prediction is that runs with measured \(\widehat\delta>0.5\) should show a positive log-log decay slope near \(-\alpha(\widehat\delta)\), whereas runs below 0.5 should not show a stable positive-theory slope; the penalty should reduce high-frequency characteristic-function plateaus without increasing latent variance collapse.
Verification
This idea has not been verified yet.
Verification happens in two stages: Stage 1 — a mechanism check on a toy system confirms the claimed mathematical phenomenon reproduces; Stage 2 — a benchmark implements the idea on a real (small) neural network task and compares it against a tuned baseline over 8 paired seeds with a permutation test.
Artifacts
Artifacts unavailable.