Related papers: Effectivizing Lusin's Theorem

We consider the space $A(\mathbb T)$ of all continuous functions $f$ on the circle $\mathbb T$ such that the sequence of Fourier coefficients $\hat{f}=\{\hat{f}(k), ~k \in \mathbb Z\}$ belongs to $l^1(\mathbb Z)$. The norm on $A(\mathbb T)$…

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…

We extend the study of \emph{melonic} quartic tensor models to models with arbitrary quartic interactions. This extension requires a new version of the loop vertex expansion using several species of intermediate fields and iterated…

More than a century ago, G. Kowalewski stated that for each n continuous functions on a compact interval [a,b], there exists an n-point quadrature rule (with respect to Lebesgue measure on [a,b]), which is exact for given functions. Here we…

We find a countable partition $P$ on\textbf{} a Lebesgue space, labeled $\{1,2,3...$\}, for any non-periodic measure preserving transformation $T$ such that $P$ generates $T$ and for the $T,P$ process, if you see an $n$ on time -1 then you…

We prove the existence of harmonic functions $f$ on trees, with respect to suitable transient transition operators $P$, that satisfy an analogue of Menshov universal property in the following sense: $f$ is the Poisson transform of a…

R.D.Mauldin asked if every translation invariant $\sigma$-finite Borel measure on $\RR^d$ is a constant multiple of Lebesgue measure. The aim of this paper is to show that the answer is "yes and no", since surprisingly the answer depends on…

We prove a local version of a recently established theorem by Myroshnychenko, Ryabogin and the second named author. More specifically, we show that if $n\geq 3$, $g:\mathbb{S}^{n-1}\to\mathbb{R}$ is an even bounded measurable function, $U$…

We investigate the statement that the Lebesgue measure defined on all subsets of the Cantor space exists. As base system we take $\mathsf{ACA}_0^\omega + (\mu)$. The system $\mathsf{ACA}_0^\omega$ is the higher order extension of Friedman's…

Regular functions from infinite words to infinite words can be equivalently specified by MSO-transducers, streaming $\omega$-string transducers as well as deterministic two-way transducers with look-ahead. In their one-way restriction, the…

We consider vanishing properties of exponential sums of the Liouville function $\lambda$ of the form $$ \lim_{H\to\infty}\limsup_{X\to\infty}\frac{1}{\log X}\sum_{m\leq X}\frac{1}{m}\sup_{\alpha\in C}\bigg|\frac{1}{H}\sum_{h\leq…

We prove a local $Tb$ theorem under close to minimal (up to certain `buffering') integrability assumptions, conjectured by S. Hofmann (El Escorial, 2008): Every cube is assumed to support two non-degenerate functions $b^1_Q\in L^p$ and…

Let $(X,{\mathcal A},\mu)$ be a probability space and let $S\colon X\to X$ be a measurable transformation. Motivated by the paper of K. Nikodem [Czechoslovak Math. J. 41(116) (4) (1991) 565--569], we concentrate on a functional equation…

In this article, we will show that uncomputability is a relative property not only of oracle Turing machines, but also of subrecursive classes. We will define the concept of a Turing submachine, and a recursive relative version for the Busy…

We present a self-contained and modern survey of some existing quasi-sure results via the connection to the Brownian sheet. Among other things, we prove that quasi-every continuous function: (i) satisfies the local law of the iterated…

Consider the partition function S(\epsilon) associated in theory of Renyi dimension to a finite Borel measure \mu on Euclidean d-space. This partion function S(\epsilon) is the sum of the q-th powers of the measure applied to a partition of…

The conceptual relation between the measurability of quantum mechanical observables and the computability of numerical functions is re-examined. A new formulation is given for the notion of measurability with finite precision in order to…

The universal approximation theorem is generalised to uniform convergence on the (noncompact) input space $\mathbb{R}^n$. All continuous functions that vanish at infinity can be uniformly approximated by neural networks with one hidden…

Models of computation operating over the real numbers and computing a larger class of functions compared to the class of general recursive functions invariably introduce a non-finite element of infinite information encoded in an arbitrary…

We show that if $X$ is a Banach space whose dual $X^{*}$ has an equivalent locally uniformly rotund (LUR) norm, then for every open convex $U\subseteq X$, for every $\varepsilon >0$, and for every continuous and convex function $f:U…