Related papers: Algorithmic randomness and Fourier analysis

Fourier restriction theorems, whose study had been initiated by E.M. Stein, usually describe a family of a priori estimates of the L^q-norm of the restriction of the Fourier transform of a function f in L^p (say, on Euclidean space) to a…

The celebrated universal approximation theorems for neural networks roughly state that any reasonable function can be arbitrarily well-approximated by a network whose parameters are appropriately chosen real numbers. This paper examines the…

We demonstrate the almost everywhere convergence of the planar Bochner-Riesz means for $L^p$ functions in the optimal range when $5/3\leq p\leq 2$. This is achieved by establishing a sharp $L^{5/3}$ estimate for a maximal operator closely…

We study a.e. convergence on $L^p$, and Lorentz spaces $L^{p,q}$, $p>\tfrac{2d}{d-1}$, for variants of Riesz means at the critical index $d(\tfrac 12-\tfrac 1p)-\tfrac12$. We derive more general results for (quasi-)radial Fourier…

The convergence theory for the gradient sampling algorithm is extended to directionally Lipschitz functions. Although directionally Lipschitz functions are not necessarily locally Lipschitz, they are almost everywhere differentiable and…

Algorithmic randomness theory starts with a notion of an individual random object. To be reasonable, this notion should have some natural properties; in particular, an object should be random with respect to image distribution if and only…

We prove $L^p$ estimates for the Walsh model of the maximal bi-Carleson operator (which is a hybrid of the bilinear Hilbert transform and the Carleson maximal operator which appears naturally in the eigenfunction problem for one-dimensional…

For any $p\in[1,\infty]$, we prove that the set of simple functions taking at most $k$ different values is proximinal in $L^p$ for all $k\geq 1$. We introduce the class of uniformly approximable subsets of $L^p$, which is larger than the…

We determine the asymptotic behavior of the $l_{p}$-norms of the sequence of Taylor coefficients of $b^{n}$, where $b=\frac{z-\lambda}{1-\bar{\lambda}z}$ is an automorphism of the unit disk, $p\in[1,\infty]$, and $n$ is large. It is known…

We prove continuity and surjectivity of the trace map onto $L_p$, from a space of functions of locally bounded variation, defined by the Carleson functional. The extension map is constructed through a stopping time argument. This extends…

We prove that the Fourier cosine series $\sum_{k=1}^{\infty}(-1)^{k+1}\frac{r^k\cos{k\phi}}{k+2}$ assumes its maximum value at $\phi = 0$ for $\phi \in [0, \pi)$ regardless of $r$ if $r \in (0, 1]$. This was first proved by Arias de Reyna…

We show that the decreasing rearrangement of the Fourier series with respect to the Jacobi polynomials for functions in $L_p$ does not converge unless $p=2$. As a by-product of our work on quasi-greedy bases in $L_{p}(\mu)$, we show that no…

We characterize Martin-L\"of randomness and Schnorr randomness in terms of the merging of opinions, along the lines of the Blackwell-Dubins Theorem. After setting up a general framework for defining notions of merging randomness, we focus…

In this paper the generalized localization principle for the spherical partial sums of the multiple Fourier series in the $L_2$ - class is proved, that is, if $f\in L_2(T^N)$ and $f=0$ on an open set $\Omega \subset T^N$, then it is shown…

The Friedgut--Kalai--Naor theorem states that if a Boolean function $f\colon \{0,1\}^n \to \{0,1\}$ is close (in $L^2$-distance) to an affine function $\ell(x_1,...,x_n) = c_0 + \sum_i c_i x_i$, then $f$ is close to a Boolean affine…

Let g : $\Omega$ = [0, 1] d $\rightarrow$ R denote a Lipschitz function that can be evaluated at each point, but at the price of a heavy computational time. Let X stand for a random variable with values in $\Omega$ such that one is able to…

We elaborate the notions of Martin-L\"of and Schnorr randomness for real numbers in terms of uniform distribution of sequences. We give a necessary condition for a real number to be Schnorr random expressed in terms of classical uniform…

We study the regularity of smooth functions $f$ defined on an open set of $\mathbb{R}^n$ and such that, for certain integers $p\geq 2$, the powers $f^p :x\mapsto (f(x))^p$ belong to a Denjoy-Carleman class $\mathcal{C}_M$ associated with a…

Fourier series are considered on the one-dimensional torus for the space of periodic distributions that are the distributional derivative of a continuous function. This space of distributions is denoted $\alext$ and is a Banach space under…

Suppose that $X_1,X_2,\ldots$ are independent identically distributed Bernoulli random variables with mean $p$. A Bernoulli factory for a function $f$ takes as input $X_1,X_2,\ldots$ and outputs a random variable that is Bernoulli with mean…