English
Related papers

Related papers: Turing Degrees and Randomness for Continuous Measu…

200 papers

We study the randomness properties of reals with respect to arbitrary probability measures on Cantor space. We show that every non-computable real is non-trivially random with respect to some measure. The probability measures constructed in…

Logic · Mathematics 2013-05-16 Jan Reimann , Theodore A. Slaman

The Turing degree of a real measures the computational difficulty of producing its binary expansion. Since Turing degrees are tailsets, it follows from Kolmogorov's 0-1 law that for any property which may or may not be satisfied by any…

Logic · Mathematics 2011-11-07 George Barmpalias , Adam R. Day , Andrew E. M. Lewis

The coarse similarity class $[A]$ of $A$ is the set of all $B$ whose symmetric difference with $A$ has asymptotic density 0. There is a natural metric $\delta$ on the space $\mathcal{S}$ of coarse similarity classes defined by letting…

Logic · Mathematics 2021-06-25 Denis R. Hirschfeldt , Carl G. Jockusch, , Paul E. Schupp

This paper examines the constructive Hausdorff and packing dimensions of Turing degrees. The main result is that every infinite sequence S with constructive Hausdorff dimension dim_H(S) and constructive packing dimension dim_P(S) is Turing…

Computational Complexity · Computer Science 2010-04-09 Laurent Bienvenu , David Doty , Frank Stephan

We present a generator of random networks where both the degree-dependent clustering coefficient and the degree distribution are tunable. Following the same philosophy as in the configuration model, the degree distribution and the…

Disordered Systems and Neural Networks · Physics 2009-11-11 M. Angeles Serrano , Marian Boguna

We study the question, ``For which reals $x$ does there exist a measure $\mu$ such that $x$ is random relative to $\mu$?'' We show that for every nonrecursive $x$, there is a measure which makes $x$ random without concentrating on $x$. We…

Logic · Mathematics 2007-07-11 Jan Reimann , Theodore Slaman

We investigate the truth-table degrees of (co-)c.e.\ sets, in particular, sets of random strings. It is known that the set of random strings with respect to any universal prefix-free machine is Turing complete, but that truth-table…

Logic in Computer Science · Computer Science 2015-07-01 Mingzhong Cai , Rodney G Downey , Rachel Epstein , Steffen Lempp , Joseph Miller

Using nonstandard analysis we define a topology on the ring of germs of functions: $(mathbb R^n,0)\rightarrow(mathbb R,0)$. We prove that this topology is absolutely convex, Hausdorff, that convergent nets of continuous germs have…

General Topology · Mathematics 2012-06-05 Tom McGaffey

The enumeration degrees of sets of natural numbers can be identified with the degrees of difficulty of enumerating neighborhood bases of points in a universal second-countable $T_0$-space (e.g. the $\omega$-power of the Sierpi\'nski space).…

General Topology · Mathematics 2020-09-18 Takayuki Kihara , Keng Meng Ng , Arno Pauly

Reimann and Slaman initiated the study of sequences that are Martin-L\"of random with respect to a continuous measure, establishing fundamental facts about NCR, the collection of sequences that are not Martin-L\"of random with respect to…

Logic · Mathematics 2024-03-08 Christopher P. Porter

We investigate which infinite binary sequences (reals) are effectively random with respect to some continuous (i.e., non-atomic) probability measure. We prove that for every n, all but countably many reals are n-random for such a measure,…

Logic · Mathematics 2021-04-06 Jan Reimann , Theodore A. Slaman

We construct an increasing $\omega$-sequence $(a_n)$ of Turing degrees which forms an initial segment of the Turing degrees, and such that each~$a_{n+1}$ is diagonally noncomputable relative to $a_n$. It follows that the~$\mathsf{DNR}$…

Logic · Mathematics 2015-04-14 Mingzhong Cai , Noam Greenberg , Michael McInerney

This paper investigates the Hausdorff measure of certain sets of generics in computability theory. Let $\Gamma$ be the Turing ideal in which we take the dense open sets. The set of $\Gamma$-Cohen generics has measure positive if and only if…

Logic · Mathematics 2026-03-11 Yiping Miao

We prove various results connected together by the common thread of computability theory. First, we investigate a new notion of algorithmic dimension, the inescapable dimension, which lies between the effective Hausdorff and packing…

Logic · Mathematics 2022-09-14 David J. Webb

Node centrality is one of the integral measures in network analysis with wide range of applications from socio-economic to personalized recommendation. We argue that an effective centrality measure should undertake stability even under…

Social and Information Networks · Computer Science 2019-01-01 Chandni Saxena , M. N. Doja , Tanvir Ahmad

A concept of randomness for infinite time register machines (ITRMs) is defined and studied. In particular, we show that for this notion of randomness, computability from mutually random reals implies computability and that an analogue of…

Logic · Mathematics 2026-05-19 Merlin Carl

In this paper we are interested in computability aspects of subshifts and in particular Turing degrees of 2-dimensional SFTs (i.e. tilings). To be more precise, we prove that given any \pizu subset $P$ of $\{0,1\}^\NN$ there is a SFT $X$…

Computational Complexity · Computer Science 2012-06-04 Emmanuel Jeandel , Pascal Vanier

Intrinsic complexity of a relation on a given computable structure is captured by the notion of its degree spectrum - the set of Turing degrees of images of the relation in all computable isomorphic copies of that structure. We investigate…

Logic · Mathematics 2021-10-05 Nikolay Bazhenov , Dariusz Kalociński , Michał Wrocławski

Property testing algorithms are highly efficient algorithms, that come with probabilistic accuracy guarantees. For a property P, the goal is to distinguish inputs that have P from those that are far from having P with high probability…

Logic in Computer Science · Computer Science 2020-09-17 Isolde Adler , Polly Fahey

We consider statistical hypothesis testing simultaneously over a fairly general, possibly uncountably infinite, set of null hypotheses, under the assumption that a suitable single test (and corresponding $p$-value) is known for each…

Methodology · Statistics 2014-02-10 Gilles Blanchard , Sylvain Delattre , Etienne Roquain
‹ Prev 1 2 3 10 Next ›