English
Related papers

Related papers: Lowness for Integer-Valued Randomness

200 papers

A random variable Z will be called self-inverse if it has the same distribution as its reciprocal 1/Z. It is shown that if Z is defined as a ratio, X/Y, of two rv's X and Y (with Pr[X=0]=Pr[Y=0]=0), then Z is self-inverse if and only if X…

Methodology · Statistics 2016-11-18 Theophilos Cacoullos , Nickos Papadatos

Though the ability of human beings to deal with probabilities has been put into question, the assessment of rarity is a crucial competence underlying much of human decision-making and is pervasive in spontaneous narrative behaviour. This…

Other Computer Science · Computer Science 2011-08-25 Jean-Louis Dessalles

In the theory of algorithmic randomness, several notions of random sequence are defined via a game-theoretic approach, and the notions that received most attention are perhaps Martin-Loef randomness and computable randomness. The latter…

Computational Complexity · Computer Science 2009-07-15 Laurent Bienvenu , Rupert Hoelzl , Thorsten Kraling , Wolfgang Merkle

An infinite bit sequence is called recursively random if no computable strategy betting along the sequence has unbounded capital. It is well-known that the property of recursive randomness is closed under computable permutations. We…

Logic · Mathematics 2017-09-27 Andre Nies , Frank Stephan

We consider a square random matrix made by i.i.d. rows with any distribution and prove that, for any given dimension, the probability for the least singular value to be in [0; $\epsilon$) is at least of order $\epsilon$. This allows us to…

Probability · Mathematics 2020-04-16 Matteo Gregoratti , Davide Maran

As computability implies value definiteness, certain sequences of quantum outcomes cannot be computable.

Quantum Physics · Physics 2009-04-29 Cristian S. Calude , Karl Svozil

The index of codivisibility of a set of integers is the size of its largest subset with a common prime divisor. For large random samples of integers, the index of codivisibility is approximately normal.

Number Theory · Mathematics 2013-10-18 José L. Fernández , Pablo Fernández

Unlike Martin-L\"of randomness and Schnorr randomness, computable randomness has not been defined, except for a few ad hoc cases, outside of Cantor space. This paper offers such a definition (actually, several equivalent definitions), and…

Logic · Mathematics 2015-04-23 Jason Rute

A fruitful way of obtaining meaningful, possibly concrete, algorithmically random numbers is to consider a potential behaviour of a Turing machine and its probability with respect to a measure (or semi-measure) on the input space of binary…

Computational Complexity · Computer Science 2017-06-13 George Barmpalias , Douglas Cenzer , Christopher P. Porter

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 \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

Can a probabilistic gambler get arbitrarily rich when all deterministic gamblers fail? We study this problem in the context of algorithmic randomness, introducing a new notion -- almost everywhere computable randomness. A binary sequence…

Logic · Mathematics 2021-12-09 Laurent Bienvenu , Valentino Delle Rose , Tomasz Steifer

Random matrices arise in many mathematical contexts, and it is natural to ask about the properties that such matrices satisfy. If we choose a matrix with integer entries at random, for example, what is the probability that it will have a…

Probability · Mathematics 2008-08-15 Greg Martin , Erick B. Wong

There are many randomness notions. On the classical account, many of them are about whether a given infinite binary sequence is random for some given probability. If so, this probability turns out to be the same for all these notions, so…

Probability · Mathematics 2021-07-19 Floris Persiau , Jasper De Bock , Gert de Cooman

We study the probability that a random polynomial with integer coefficients is reducible when factored over the rational numbers. Using computer-generated data, we investigate a number of different models, including both monic and non-monic…

We consider a randomised version of Kleene's realisability interpretation of intuitionistic arithmetic in which computability is replaced with randomised computability with positive probability. In particular, we show that (i) the set of…

Logic · Mathematics 2021-02-01 Merlin Carl , Lorenzo Galeotti , Robert Passmann

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 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 study Doob's martingale convergence theorem for computable continuous time martingales on Brownian motion, in the context of algorithmic randomness. A characterization of the class of sample points for which the theorem holds is given.…

Logic in Computer Science · Computer Science 2015-07-01 Bjørn Kjos-Hanssen , Paul Kim Long V. Nguyen , Jason Rute

We study the problem of whether a betting-strategy can be decomposed into an equivalent set of simpler betting-strategies, such as betting-strategies that bet on a restricted set of stages or bet on a restricted of favorable outcomes. We…

Probability · Mathematics 2022-03-08 George Barmpalias , Lu Liu