English
Related papers

Related papers: Equivalent characterizations of partial randomness…

200 papers

We apply a common measure of randomness, the entropy, in the context of iterated functions on a finite set with n elements. For a permutation, it turns out that this entropy is asymptotically (for a growing number of iterations) close to…

Number Theory · Mathematics 2017-12-20 Joachim von zur Gathen

A space X is called an alpha-Toronto space if X is scattered of Cantor-Bendixson rank alpha and is homeomorphic to each of its subspaces of same rank. We answer a question of Steprans by constructing a countable alpha-Toronto space for each…

General Topology · Mathematics 2007-05-23 Gary Gruenhage , J. Tatch Moore

TThe problem is to identify a probability associated with a set of natural numbers, given an infinite data sequence of elements from the set. If the given sequence is drawn i.i.d. and the probability mass function involved (the target)…

Machine Learning · Computer Science 2014-07-14 Paul M. B. Vitanyi , Nick Chater

Let $(a_n), (b_n)$ be linear recursive sequences of integers with characteristic polynomials $A(X),B(X)\in \mathbb{Z}[X]$ respectively. Assume that $A(X)$ has a dominating and simple real root $\alpha$, while $B(X)$ has a pair of conjugate…

Number Theory · Mathematics 2021-11-23 Attila Pethő

The authors present evidence for universality in numerical computations with random data. Given a (possibly stochastic) numerical algorithm with random input data, the time (or number of iterations) to convergence (within a given tolerance)…

Numerical Analysis · Mathematics 2015-06-22 Percy Deift , Govind Menon , Sheehan Olver , Thomas Trogdon

Chaitin [G. J. Chaitin, J. Assoc. Comput. Mach., vol.22, pp.329-340, 1975] introduced \Omega number as a concrete example of random real. The real \Omega is defined as the probability that an optimal computer halts, where the optimal…

Logic · Mathematics 2019-09-04 Kohtaro Tadaki

It is common practice to compare the computational power of different models of computation. For example, the recursive functions are strictly more powerful than the primitive recursive functions, because the latter are a proper subset of…

Logic in Computer Science · Computer Science 2020-06-11 Udi Boker , Nachum Dershowitz

A celebrated analogy between prime factorizations of integers and cycle decompositions of permutations is explored here. Asymptotic formulas characterizing semismooth numbers (possessing at most several large factors) carry over to random…

Combinatorics · Mathematics 2022-05-03 Steven Finch

We generalise the randomness test definitions in the literature for both the Martin-L\"of and Schnorr randomness of a series of binary outcomes, in order to allow for interval-valued rather than merely precise forecasts for these outcomes,…

Probability · Mathematics 2023-12-21 Gert de Cooman , Floris Persiau , Jasper De Bock

Speedable numbers are real numbers which are algorithmically approximable from below and whose approximations can be accelerated nonuniformly. We begin this article by answering a question of Barmpalias by separating a strict subclass that…

Logic · Mathematics 2024-08-26 Rupert Hölzl , Philip Janicki , Wolfgang Merkle , Frank Stephan

Van Lambalgen's theorem states that a pair $(\alpha,\beta)$ of bitsequences is Martin-L\"of random if and only if $\alpha$ is Martin-L\"of random and $\beta$ is Martin-L\"of random relative to $\alpha$. In [Information and Computation 209.2…

Logic · Mathematics 2016-03-15 Bruno Bauwens

Let $X$ be an arbitrary real-valued random variable (r.v.), with the characteristic function (c.f.) $f$. Integral expressions for the c.f.\ of the r.v.'s $\max(0,X)$ in terms of $f$ are given, as well as other related results. Applications…

Probability · Mathematics 2017-01-17 Iosif Pinelis

Combinatorics, like computer science, often has to deal with large objects of unspecified (or unusable) structure. One powerful way to deal with such an arbitrary object is to decompose it into more usable components. In particular, it has…

Combinatorics · Mathematics 2011-11-10 Terence Tao

We define recursive harmonic numbers as a generalization of harmonic numbers. The table of recursive harmonic numbers, which is like Pascal's triangle, is constructed. A formula for recursive harmonic numbers containing binomial…

Combinatorics · Mathematics 2017-11-30 Aung Phone Maw , Aung Kyaw

A notable feature of the TTE approach to computability is the representation of the argument values and the corresponding function values by means of infinitistic names. Two ways to eliminate the using of such names in certain cases are…

Logic in Computer Science · Computer Science 2015-07-01 Dimiter Skordev

Randomness in the sense of Martin-L\"of can be defined in terms of lower semicomputable supermartingales. We show that such a supermartingale cannot be replaced by a pair of supermartingales that bet only on the even bits (the first one)…

Information Theory · Computer Science 2008-11-28 Andrej Muchnik

Randomness is a crucial resource for a broad range of important applications, such as Monte Carlo simulation and computation, generative artificial intelligence and cryptography. But what is randomness? A widely accepted definition has…

Quantum Physics · Physics 2024-10-01 Mario Stipčević

We show that the values of entropies of multidimensional shifts of finite type (SFTs) are characterized by a certain computation-theoretic property: a real number $h\geq 0$ is the entropy of such an SFT if and only if it is right…

Dynamical Systems · Mathematics 2014-09-23 Michael Hochman , Tom Meyerovitch

We consider integer sequences that satisfy a recursion of the form $x_{n+1} = P(x_n)$ for some polynomial $P$ of degree $d > 1$. If such a sequence tends to infinity, then it satisfies an asymptotic formula of the form $x_n \sim A…

Number Theory · Mathematics 2020-08-07 Stephan Wagner , Volker Ziegler

We are lifting classical problems from single instances to regular sets of instances. The task of finding a positive instance of the combinatorial problem $P$ in a potentially infinite given regular set is equivalent to the so called…

Formal Languages and Automata Theory · Computer Science 2020-07-17 Petra Wolf
‹ Prev 1 8 9 10 Next ›