Finite state verifiers with constant randomness

We give a new characterization of $\mathsf{NL}$ as the class of languages whose members have certificates that can be verified with small error in polynomial time by finite state machines that use a constant number of random bits, as opposed to its conventional description in terms of deterministic logarithmic-space verifiers. It turns out that allowing two-way interaction with the prover does not change the class of verifiable languages, and that no polynomially bounded amount of randomness is useful for constant-memory computers when used as language recognizers, or public-coin verifiers. A corollary of our main result is that the class of outcome problems corresponding to O(log n)-space bounded games of incomplete information where the universal player is allowed a constant number of moves equals NL.Comment: 17 pages. An improved versio

Computational universes

Suspicions that the world might be some sort of a machine or algorithm existing ``in the mind'' of some symbolic number cruncher have lingered from antiquity. Although popular at times, the most radical forms of this idea never reached mainstream. Modern developments in physics and computer science have lent support to the thesis, but empirical evidence is needed before it can begin to replace our contemporary world view.Comment: Several corrections of typos and smaller revisions, final versio

Non-invertible transformations and spatiotemporal randomness

We generalize the exact solution to the Bernoulli shift map. Under certain conditions, the generalized functions can produce unpredictable dynamics. We use the properties of the generalized functions to show that certain dynamical systems can generate random dynamics. For instance, the chaotic Chua's circuit coupled to a circuit with a non-invertible I-V characteristic can generate unpredictable dynamics. In general, a nonperiodic time-series with truncated exponential behavior can be converted into unpredictable dynamics using non-invertible transformations. Using a new theoretical framework for chaos and randomness, we investigate some classes of coupled map lattices. We show that, in some cases, these systems can produce completely unpredictable dynamics. In a similar fashion, we explain why some wellknown spatiotemporal systems have been found to produce very complex dynamics in numerical simulations. We discuss real physical systems that can generate random dynamics.Comment: Accepted in International Journal of Bifurcation and Chao

A transformation sequencing approach to pseudorandom number generation

This paper presents a new approach to designing pseudorandom number generators based on cellular automata. Current cellular automata designs either focus on i) ensuring desirable sequence properties such as maximum length period, balanced distribution of bits and uniform distribution of n-bit tuples etc. or ii) ensuring the generated sequences pass stringent randomness tests. In this work, important design patterns are first identified from the latter approach and then incorporated into cellular automata such that the desirable sequence properties are preserved like in the former approach. Preliminary experiment results show that the new cellular automata designed have potential in passing all DIEHARD tests