Related papers: Algorithmic randomness and Fourier analysis

In this paper, we study Bernoulli random sequences, i.e., sequences that are Martin-L\"of random with respect to a Bernoulli measure $\mu_p$ for some $p\in[0,1]$, where we allow for the possibility that $p$ is noncomputable. We focus in…

We consider the open problem: Does every square-integrable function f on a compact, connected Lie group G have an almost everywhere convergent Fourier series? We prove a general theorem from which it follows that if the integral modulus of…

Let $S_n f$ be the $n$th partial sum of the Fourier series of a function $f$ in $L^1(\D)$, where $\D$ is the ring of integers of a local field $K$. For $1<p<\infty$, we characterize all weight functions $w$ so that the partial sum operators…

Helgason showed that a given measure $f\in M(G)$ on a compact group $G$ should be in $L^2(G)$ automatically if all random Fourier series of $f$ are in $M(G)$. We explore a natural analogue of the theorem in the framework of compact quantum…

We investigate the $L^p$ mapping properties of maximal functions associated with analytic hypersurfaces in $\mathbb R^d$, with a particular emphasis on the role of transversality. Around points that are not transversal, we show that the…

Let $a_n$ be the random increasing sequence of natural numbers which takes each value independently with decreasing probability of order $n^{-\alpha}$, $0 < \alpha < 1/2$. We prove that, almost surely, for every measure-preserving system…

For 1<p<infty and for weight w in A_p, we show that the r-variation of the Fourier sums of any function in L^p(w) is finite a.e. for r larger than a finite constant depending on w and p. The fact that the variation exponent depends on w is…

This paper explores a novel definition of Schnorr randomness for noncomputable measures. We say $x$ is uniformly Schnorr $\mu$-random if $t(\mu,x)<\infty$ for all lower semicomputable functions $t(\mu,x)$ such that $\mu\mapsto\int…

There's something really strange about quantum mechanics. It's not just that cats can be dead and alive at the same time, and that entanglement seems to violate the principle of locality; quantum mechanics seems to be what Aaronson calls…

In this paper, we generalize Bochkarev's theorem, which states that for any uniformly bounded biorthonormal system $\Phi$, there exists a Lebesgue integrable function whose Fourier series with respect to the system $\Phi$ diverges on a set…

We prove that the generalized Carleson operator $C_d$ with polynomial phase function is of strong type $(p,r)$, $1<r<p<\infty$; this yields a positive answer in the $1<p<2$ case to a conjecture of Stein which asserts that for $1<p<\infty$…

Almost everywhere strong exponential summability of Fourier series in Walsh and trigonometric systems established by Rodin in 1990. We prove, that if the growth of a function $\Phi(t):[0,\infty)\to[0,\infty)$ is bigger than the exponent,…

Based on the tile discretization elaborated by the author in "The Polynomial Carleson Operator", we develop a Calderon-Zygmund type decomposition of the Carleson operator. As a consequence, through a unitary method that makes no use of…

We study the size, in terms of the Hausdorff dimension, of the subsets of $\mathbb T$ such that the Fourier series of a generic function in $L^1(\TT)$, $L^p(\TT)$ or in $\mathcal C(\mathbb T)$ may behave badly. Genericity is related to the…

In his 2006 ICM invited address, Konyagin mentioned the following conjecture: if $S_n f$ stands for the $n$-th partial Fourier sum of $f$ and ${n_j}_j\subset \N$ is a lacunary sequence, then $S_{n_j} f$ is a.e. pointwise convergent for any…

For every natural number k we prove a decomposition theorem for bounded measurable functions on compact abelian groups into a structured part, a quasi random part and a small error term. In this theorem quasi randomness is measured with the…

Following Chaudhuri, Sankaranarayanan, and Vardi, we say that a function $f:[0,1] \to [0,1]$ is $r$-regular if there is a B\"{u}chi automaton that accepts precisely the set of base $r \in \mathbb{N}$ representations of elements of the graph…

Using the Kaczmarz algorithm, we prove that for any singular Borel probability measure $\mu$ on $[0,1)$, every $f\in L^2(\mu)$ possesses a Fourier series of the form $f(x)=\sum_{n=0}^{\infty}c_ne^{2\pi inx}$. We show that the coefficients…

In this paper, we consider the convergence problem of Schr\"odinger equation. Firstly, we show the almost everywhere pointwise convergence of Schr\"odinger equation in Fourier-Lebesgue spaces…

We present a survey of results related to the solution of Kolmogorov--Nikolsky problem for Fourier sums on the classes of generalized Poisson integrals $C^{\alpha,r}_{\beta,p}$, which consists in finding of asymptotic equalities for exact…