English

Algorithmic randomness in harmonic analysis

Logic 2026-01-07 v1 Logic in Computer Science

Abstract

Within the last fifteen years, a program of establishing relationships between algorithmic randomness and almost-everywhere theorems in analysis and ergodic theory has developed. In harmonic analysis, Franklin, McNicholl, and Rute characterized Schnorr randomness using an effective version of Carleson's Theorem. We show here that, for computable 1<p<1<p<\infty, the reals at which the Fourier series of a weakly computable vector in Lp[π,π]L^p[-\pi,\pi] converges are precisely the Martin-L\"{o}f random reals. Furthermore, we show that radial limits of the Poisson integral of an L1(R)L^1(\mathbb{R})-computable function coincide with the values of the function at exactly the Schnorr random reals and that radial limits of the Poisson integral of a weakly L1(R)L^1(\mathbb{R})-computable function coincide with the values of the function at exactly the Martin-L\"{o}f random reals.

Keywords

Cite

@article{arxiv.2601.03239,
  title  = {Algorithmic randomness in harmonic analysis},
  author = {Johanna N. Y. Franklin and Lucas E. Rodriguez and Diego A. Rojas},
  journal= {arXiv preprint arXiv:2601.03239},
  year   = {2026}
}

Comments

16 pages