English
Related papers

Related papers: Subcomputable Schnorr Randomness

200 papers

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…

Solomonoff unified Occam's razor and Epicurus' principle of multiple explanations to one elegant, formal, universal theory of inductive inference, which initiated the field of algorithmic information theory. His central result is that the…

Machine Learning · Computer Science 2008-06-26 Marcus Hutter

A real number is called left-computable if there exists a computable increasing sequence of rational numbers converging to it. In this article we are investigating a proper subset of the left-computable numbers. We say that a real number…

Logic · Mathematics 2024-07-12 Philip Janicki

We establish a normal approximation for the limiting distribution of partial sums of random Rademacher multiplicative functions over function fields, provided the number of irreducible factors of the polynomials is small enough. This…

Number Theory · Mathematics 2022-07-26 Daksh Aggarwal , Unique Subedi , William Verreault , Asif Zaman , Chenghui Zheng

One of the main lines of research in algorithmic randomness is that of lowness notions. Given a randomness notion R, we ask for which sequences A does relativization to A leave R unchanged (i.e., R^A = R)? Such sequences are call low for R.…

Logic · Mathematics 2013-03-21 Laurent Bienvenu , Joseph S. Miller

Classification is an important goal in many branches of mathematics. The idea is to describe the members of some class of mathematical objects, up to isomorphism or other important equivalence in terms of relatively simple invariants. Where…

Logic · Mathematics 2008-03-25 Wesley Calvert , Julia F. Knight

We define a very general notion of regularity for functions taking values in an alternative real $*$-algebra. Over Clifford numbers, this notion subsumes the well-established notions of monogenic function and slice-monogenic function. Over…

Complex Variables · Mathematics 2024-06-10 Riccardo Ghiloni , Caterina Stoppato

The question of whether it is possible to compute scattering resonances of Schr\"odinger operators - independently of the particular potential - is addressed. A positive answer is given, and it is shown that the only information required to…

Spectral Theory · Mathematics 2020-06-08 Jonathan Ben-Artzi , Marco Marletta , Frank Rösler

In this article the idea of random variables over the set theoretic universe is investigated. We explore what it can mean for a random set to have a specific probability of belonging to an antecedently given class of sets.

Logic · Mathematics 2019-03-21 Hazel Brickhill , Leon Horsten

The low for random reals are characterized topologically, as well as in terms of domination of Turing functionals on a set of positive measure.

Logic · Mathematics 2014-08-12 Bjørn Kjos-Hanssen

We show that a computable function $f:\mathbb R\rightarrow\mathbb R$ has Luzin's property (N) if and only if it reflects $\Pi^1_1$-randomnes, if and only if it reflects $\Delta^1_1(\mathcal O)$-randomness, and if and only if it reflects…

Logic · Mathematics 2020-09-29 Arno Pauly , Linda Westrick , Liang Yu

Consider a universal Turing machine that produces a partial or total function (or a binary stream), based on the answers to the binary queries that it makes during the computation. We study the probability that the machine will produce a…

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

One can consider $\mu$-Martin-L\"of randomness for a probability measure $\mu$ on $2^{\omega}$, such as the Bernoulli measure $\mu_p$ given $p \in (0, 1)$. We study Bernoulli randomness of sequences in $n^{\omega}$ with parameters $p_0,…

Logic · Mathematics 2020-11-30 Andrew DeLapo

A stationary random sequence admits under some assumptions a representation as the sum of two others: one of them is a martingale difference sequence, and another is a so-called coboundary. Such a representation can be used for proving some…

Probability · Mathematics 2008-12-24 Mikhail Gordin

We study the empirical meaning of randomness with respect to a family of probability distributions $P_\theta$, where $\theta$ is a real parameter, using algorithmic randomness theory. In the case when for a computable probability…

Machine Learning · Computer Science 2009-06-25 Vladimir V'yugin

We define a normal form (called the canonical image) of an arbitrary measurable function of several variables with respect to a natural group of transformations; describe a new complete system of invariants of such a function (the system of…

Dynamical Systems · Mathematics 2013-01-25 A. Vershik

We investigate the connection between measure, capacity and algorithmic randomness for the space of closed sets. For any computable measure m, a computable capacity T may be defined by letting T(Q) be the measure of the family of closed…

Logic in Computer Science · Computer Science 2015-07-01 Douglas Cenzer , Paul Brodhead , Ferit Toska , Sebastian Wyman

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

The purpose of this paper is to give some refined results about the distribution of resonances in potential scattering. We use techniques and results from one and several complex variables, including properties of functions of completely…

Spectral Theory · Mathematics 2011-08-02 T. J. Christiansen

In this paper we describe a theory of a cumulative distribution function on a space with an order from a probability measure defined in this space. This distribution function plays a similar role to that played in the classical case.…

Probability · Mathematics 2019-04-12 J. F. Gálvez-Rodríguez , M. A. Sánchez-Granero