204 research outputs found
Algorithmic randomness and stochastic selection function
We show algorithmic randomness versions of the two classical theorems on
subsequences of normal numbers. One is Kamae-Weiss theorem (Kamae 1973) on
normal numbers, which characterize the selection function that preserves normal
numbers. Another one is the Steinhaus (1922) theorem on normal numbers, which
characterize the normality from their subsequences. In van Lambalgen (1987), an
algorithmic analogy to Kamae-Weiss theorem is conjectured in terms of
algorithmic randomness and complexity. In this paper we consider two types of
algorithmic random sequence; one is ML-random sequences and the other one is
the set of sequences that have maximal complexity rate. Then we show
algorithmic randomness versions of corresponding theorems to the above
classical results.Comment: submitted to CCR2012 special issue. arXiv admin note: text overlap
with arXiv:1106.315
Van Lambalgen's Theorem for uniformly relative Schnorr and computable randomness
We correct Miyabe's proof of van Lambalgen's Theorem for truth-table Schnorr
randomness (which we will call uniformly relative Schnorr randomness). An
immediate corollary is one direction of van Lambalgen's theorem for Schnorr
randomness. It has been claimed in the literature that this corollary (and the
analogous result for computable randomness) is a "straightforward modification
of the proof of van Lambalgen's Theorem." This is not so, and we point out why.
We also point out an error in Miyabe's proof of van Lambalgen's Theorem for
truth-table reducible randomness (which we will call uniformly relative
computable randomness). While we do not fix the error, we do prove a weaker
version of van Lambalgen's Theorem where each half is computably random
uniformly relative to the other
New Lower Bounds for van der Waerden Numbers Using Distributed Computing
This paper provides new lower bounds for van der Waerden numbers. The number
is defined to be the smallest integer for which any -coloring
of the integers admits monochromatic arithmetic progression of
length ; its existence is implied by van der Waerden's Theorem. We exhibit
-colorings of that do not contain monochromatic arithmetic
progressions of length to prove that . These colorings are
constructed using existing techniques. Rabung's method, given a prime and a
primitive root , applies a color given by the discrete logarithm base
mod and concatenates copies. We also used Herwig et al's
Cyclic Zipper Method, which doubles or quadruples the length of a coloring,
with the faster check of Rabung and Lotts. We were able to check larger primes
than previous results, employing around 2 teraflops of computing power for 12
months through distributed computing by over 500 volunteers. This allowed us to
check all primes through 950 million, compared to 10 million by Rabung and
Lotts. Our lower bounds appear to grow roughly exponentially in . Given that
these constructions produce tight lower bounds for known van der Waerden
numbers, this data suggests that exact van der Waerden Numbers grow
exponentially in with ratio asymptotically, which is a new conjecture,
according to Graham.Comment: 8 pages, 1 figure. This version reflects new results and reader
comment
Reasoning in non-probabilistic uncertainty: logic programming and neural-symbolic computing as examples
This article aims to achieve two goals: to show that probability is not the only way of dealing with uncertainty (and even more, that there are kinds of uncertainty which are for principled reasons not addressable with probabilistic means); and to provide evidence that logic-based methods can well support reasoning with uncertainty. For the latter claim, two paradigmatic examples are presented: Logic Programming with Kleene semantics for modelling reasoning from information in a discourse, to an interpretation of the state of affairs of the intended model, and a neural-symbolic implementation of Input/Output logic for dealing with uncertainty in dynamic normative context
Algorithmic analogies to Kamae-Weiss theorem on normal numbers
Open House, ISM in Tachikawa, 2011.7.14統計数理研究所オープンハウス(立川)、H23.7.14ポスター発
Abduction: Some Conceptual Issues
We claim that abduction should primarily be studied from the perspective of its use. The big question “What is abduction?” is most often interpreted substantively and this distracts attention from the instrumental aspect of this form of reasoning. We propose to address the problem by asking “How abduction is used?”. As a result of our approach we see the fact that abduction needs to be construed as concerned with both generation and evaluation of hypotheses, and, furthermore, that abduction is a compound form of reasoning
The Dimensions of Individual Strings and Sequences
A constructive version of Hausdorff dimension is developed using constructive
supergales, which are betting strategies that generalize the constructive
supermartingales used in the theory of individual random sequences. This
constructive dimension is used to assign every individual (infinite, binary)
sequence S a dimension, which is a real number dim(S) in the interval [0,1].
Sequences that are random (in the sense of Martin-Lof) have dimension 1, while
sequences that are decidable, \Sigma^0_1, or \Pi^0_1 have dimension 0. It is
shown that for every \Delta^0_2-computable real number \alpha in [0,1] there is
a \Delta^0_2 sequence S such that \dim(S) = \alpha.
A discrete version of constructive dimension is also developed using
termgales, which are supergale-like functions that bet on the terminations of
(finite, binary) strings as well as on their successive bits. This discrete
dimension is used to assign each individual string w a dimension, which is a
nonnegative real number dim(w). The dimension of a sequence is shown to be the
limit infimum of the dimensions of its prefixes.
The Kolmogorov complexity of a string is proven to be the product of its
length and its dimension. This gives a new characterization of algorithmic
information and a new proof of Mayordomo's recent theorem stating that the
dimension of a sequence is the limit infimum of the average Kolmogorov
complexity of its first n bits.
Every sequence that is random relative to any computable sequence of
coin-toss biases that converge to a real number \beta in (0,1) is shown to have
dimension \H(\beta), the binary entropy of \beta.Comment: 31 page
- …