English
Related papers

Related papers: Luzin's (N) and randomness reflection

200 papers

We characterize some major algorithmic randomness notions via differentiability of effective functions. (1) As the main result we show that a real number z in [0,1] is computably random if and only if each nondecreasing computable function…

Logic · Mathematics 2018-12-10 Vasco Brattka , Joseph S. Miller , André Nies

We present two theorems concerned with algorithmic randomness and differentiability of functions of several variables. Firstly, we prove an effective form of the Rademacher's Theorem: we show that computable randomness implies…

Logic · Mathematics 2015-09-29 Alex Galicki , Daniel Turetsky

We characterize the variation functions of computable Lipschitz functions. We show that a real z is computably random if and only if every computable Lipschitz function is differentiable at z. Beyond these principal results, we show that a…

Logic · Mathematics 2014-05-15 Cameron Freer , Bjørn Kjos-Hanssen , André Nies , Frank Stephan

Let f be a computable function from finite sequences of 0's and 1's to real numbers. We prove that strong f-randomness implies strong f-randomness relative to a PA-degree. We also prove: if X is strongly f-random and Turing reducible to Y…

A real number \alpha is called recursively enumerable if there exists a computable, increasing sequence of rational numbers which converges to \alpha. The randomness of a recursively enumerable real \alpha can be characterized in various…

Information Theory · Computer Science 2008-05-20 Kohtaro Tadaki

A result of Shen says that if $F\colon2^{\mathbb{N}}\rightarrow2^{\mathbb{N}}$ is an almost-everywhere computable, measure-preserving transformation, and $y\in2^{\mathbb{N}}$ is Martin-L\"of random, then there is a Martin-L\"of random…

Logic · Mathematics 2016-03-09 Jason Rute

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…

Logic · Mathematics 2021-11-30 Verónica Becher , Serge Grigorieff

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…

Logic · Mathematics 2016-07-15 Laurent Bienvenu , Mathieu Hoyrup , Alexander Shen

This paper provides a new and more direct proof of the assertion that a Turing computable function of the natural numbers is primitive recursive if and only if the time complexity of the corresponding Turing machine is bounded by a…

Formal Languages and Automata Theory · Computer Science 2025-10-22 Daniel G. Schwartz

We study the statistical properties of random numbers under the Martin-L\"of definition of randomness, proving that random numbers obey analogues of Strong Law of Large Numbers, the Law of the Iterated Logarithm, and that they are normal.…

Logic · Mathematics 2014-10-14 Matthew Pancia

We study generalizations of Demuth's Theorem, which states that the image of a Martin-L\"of random real under a tt-reduction is either computable or Turing equivalent to a Martin-L\"of random real. We show that Demuth's Theorem holds for…

Logic · Mathematics 2011-10-27 Laurent Bienvenu , Christopher Porter

We show that polynomial-time randomness (p-randomness) is preserved under a variety of familiar operations, including addition and multiplication by a nonzero polynomial-time computable real number. These results follow from a general…

Computational Complexity · Computer Science 2012-03-01 Stephen A. Fenner

A real \alpha is called recursively enumerable ("r.e." for short) if there exists a computable, increasing sequence of rationals which converges to \alpha. It is known that the randomness of an r.e. real \alpha can be characterized in…

Computational Complexity · Computer Science 2015-05-13 Kohtaro Tadaki

We investigate enumerability properties for classes of sets which permit recursive, lexicographically increasing approximations, or left-r.e. sets. In addition to pinpointing the complexity of left-r.e. Martin-L\"{o}f, computably, Schnorr,…

Logic · Mathematics 2014-08-14 Bjørn Kjos-Hanssen , Frank Stephan , Jason R. Teutsch

Suppose $1 < p < \infty$. Carleson's Theorem states that the Fourier series of any function in $L^p[-\pi, \pi]$ converges almost everywhere. We show that the Schnorr random points are precisely those that satisfy this theorem for every $f…

Logic · Mathematics 2016-03-16 Johanna Franklin , Timothy McNicholl , Jason Rute

We say that a function f defined on R or Qp has a well defined weak Mellin transform (or weak zeta integral) if there exists some function $M\_f(s)$ so that we have $Mell(\phi \star f,s) = Mell(\phi,s)M\_f(s)$ for all test functions $\phi$…

Number Theory · Mathematics 2015-02-10 Bruno Sauvalle

We show that probabilistic computable functions, i.e., those functions outputting distributions and computed by probabilistic Turing machines, can be characterized by a natural generalization of Church and Kleene's partial recursive…

Logic in Computer Science · Computer Science 2014-06-26 Ugo Dal Lago , Sara Zuppiroli

We show that $z\in\R^n$ is computably random if and only if every computable monotone function on $\R^n$ is differentiable at $z$.

Logic · Mathematics 2015-09-29 Alex Galicki

We introduce the notion of $N$-reflection equation which provides a large generalization of the usual classical reflection equation describing integrable boundary conditions. The latter is recovered as a special example of the $N=2$ case.…

Mathematical Physics · Physics 2025-04-25 Vincent Caudrelier , Nicolas Crampe

We add to the literature the following observation. If $\mu$ is a singular measure on $\mathbb{R}^n$ which assigns measure zero to every porous set and $f:\mathbb{R}^n\rightarrow\mathbb{R}$ is a Lipschitz function which is…

Classical Analysis and ODEs · Mathematics 2016-01-27 Andrea Marchese
‹ Prev 1 2 3 10 Next ›