Closure of resource-bounded randomness notions under polynomial time permutations

09/26/2017
by   Andre Nies, et al.
0

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 investigate analogous statements for randomness notions defined by betting strategies that are computable within resource bounds. Suppose that S is a polynomial time computable permutation of the set of strings over the unary alphabet (identified with N). If the inverse of S is not polynomially bounded, it is easy to build a polynomial time random bit sequence Z such that Z o S is not polynomial time random. So one should only consider permutations S satisfying the extra condition that the inverse is polynomially bounded. Now the closure depends on additional assumptions in complexity theory. Our first result shows that if BPP contains a superpolynomial deterministic time class then polynomial time randomness is not preserved by some permutation S such that in fact both S and its inverse are in P. Our second result shows that polynomial space randomness is preserved by polynomial time permutations with polynomially bounded inverse, so if P=PSPACE then polynomial time randomness is preserved.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/12/2016

Loss Bounds and Time Complexity for Speed Priors

This paper establishes for the first time the predictive performance of ...
research
12/21/2019

Two-closure of supersolvable permutation group in polynomial time

The 2-closure G of a permutation group G on Ω is defined to be the large...
research
12/29/2022

Betting strategies with bounded splits

We show that a pair of Kolmogorov-Loveland betting strategies cannot win...
research
01/23/2018

Type-two polynomial-time and restricted lookahead

This paper provides an alternate characterization of type-two polynomial...
research
03/04/2013

LT^2C^2: A language of thought with Turing-computable Kolmogorov complexity

In this paper, we present a theoretical effort to connect the theory of ...
research
09/07/2021

Congruence Closure Modulo Permutation Equations

We present a framework for constructing congruence closure modulo permut...
research
02/03/2018

Parametric Presburger Arithmetic: Complexity of Counting and Quantifier Elimination

We consider an expansion of Presburger arithmetic which allows multiplic...

Please sign up or login with your details

Forgot password? Click here to reset