Complexity and Randomness of Recursive - CiteSeerX

2 downloads 0 Views 8MB Size Report
Complexity and Randomness of Recursive. Discretizations of Dynamical. Systems. T. Krüger, P. Seibt1 and S. Troubetzkoy. Forsehungszentrum. BiBoS.
'L..\-\

1

and Randomness

Complexity

Discretizations

of Recursive

of Dynamical

Systems

T. Krüger, P. Seibt1 and S. Troubetzkoy Forsehungszentrum BiBoS Universität Bielefeld W-4800 Bielefeld 1 1 Introd uction. We begin by giving a heuristie Suppose points

(X,T) in X.

is a dynamical With

be automatically recursive

description

system with a distinguished

the definition

aT-invariant

discl'etization

of "computability"

set.

discretization?

approxirnation

of the mapping

averages,

in recovering

Lyapunov

quite different behavior.

about the dynamics

simulation?

of (X, T) can

(X, T) on a computer about

the dynamics

behavior

of (X, T), i.e. suitable discretizations

discretizations

whieh lead to the expected

Dur motivation

partly philosophical:

what kind of ergodic theory can be düne in a constructive

ical articIes.

is partly practical-do

and simulation

in ergodic

theory

of periodic

points

and classical systems inthe

simulations

work?manner?

and phys-

by periodic orbits is an old erle. For example,

it is we11 known thai [B02]. Periodic

computer

are the object of many mathematical

The study of discretization

time

can give rise to

(classical) behavior?

Both discretization

is ca11ed a

In both Gases the information

Different recursive

Can one fihd natural

ibis will

points and orbits of these points under

is the ergodic

exponents,etc.

(finite 01' infinite)

T. What information

of (X, T) ean one reeover from a computer we are interested

subset of a11 "computable"

If we try to simulate

then we consider finite subsets of computable

taken in ibis. paper.

taken in ibis article

Any of its subsets

of (X, T). What information

Olle re cover from a recursive a computer

of the approach

Gibbs measures

orbits are regarded

search für quantum

chaos.

can be described

by the set

as a linkage between

quantum

The interpretation

of statisti-

cal properties restricted to the periodic points hag led to confusion in the literature, due to the fact thai in the classical sense ibis motion cannot be understood as chaotic . [Be,f,V]. The theory we dev:lop in ibis article resolves this paradox in the sense thai any finite ob server (who observes für arbitrary, hut finite, time and with arbitrary, hut finite, precision)

is unable to distinguish

the motion on the recursive diseretization

from

the original system. For a computer hand, coneeptually 1 CPT-CNRS

expert

diseretization

most dynamical

systems

means finite discretization. are highly non-eonstructive

Luminy, Oase 907, F-13288 Marseille Cedex9

On the ether objeets

(and

2 their behcwiour

is.usually

c:liscussed in this llon-construdive

taken in this article is thai countably

of an intermediate

infinite discretizations

setting).

approximation:

with an ordering

The approach

elevelop atheory

(i) as a lower approximation

for

to the

original continuous situation, (ii) as an upper approximation to finite eliscretizations, which will be considered as truncations of these infinite discretizations. It is wielely believed thai computer The evidence is mostly heuristic owing property

simulations

Most arguments

produce

correct ergodic behavior.

are based on the pseudo-orbit

(see [BCGGS],[Bll],[BG],[CFM],[GHY1],[GHY2],[NY]).

proven the best possible theorem for uniformly hyperbolic of ergodic theory:

almost an (with respect

Blank [Bll] has

systems frorn the point of view

to infinite product

are sha,clowed by points with gODelergo die averages.

shad-

measure)

pseudo-orbits

However computer

pseudo-orbits

form a set of measure 0 in Blank's sense anel thus need not be shaelowed by generic points.

Blank hag also studieel the persistence .

period multipication

on simulation

A uniform treatment dynanl.ics. system ,

anel the effects of

[B12].

of computability

aspects is best clone in the setting of symbolic

We can code any transformation

by constructing

.

of perioelic trajectories

a generating

on a Lebesgue

partition

space to 1:1, symbolie

anel cohsic1ering the symbolic

shift

system

corresponding to it [K]. Thus it is enough to stuely the ergodic properties of subsets of recursive

points

of the syrnbolie

system.

Let ~ c

~m = {I, 2, . . . , m}Z be the

image of (X, T) uneler such a coding and let a be the BhiEt transformation. :r; =

N such thai f(2i) - = Xi X-i for an i [C]. Let ~ be the set of recursive sequences in~. ~ is a

{:r;i} ~~ E ~ recursive if illere is a reeursive funcbon f : N -

and f(2i

1) =

~

countable

a-invariantset,

(t, a) with respect need a structure

is countable, measures

hence we call it a lattice.

to an invariant

on

t

which

no non-atomic

we use densities

or any' sublattice

measure.

enables

To study ergodic properties about

statistical

prob ability measures

with respect

B C t. A Gödelization

---t

We study the ergodic p~operties of

us to speak

invariant

require thai (B, '1) is recursive. natural

to bijective

exist.

Gödelizations

finite observer can observe. finite ergoelic properties

for the lattice,

Instead

t

Sinee

of invariant

(enumerations)

of f;

for example it is

Every Gödelization

thai is ergodie properties

which a

In ibis article we stuely which lattices (B, '1) give rise to gODel

corresponding

to same fixeel measure

of (f;, a) in terms of eomplexity

already stuelied the relationship the classical framework

properties.

Note the set B neeel not be a-invariant,

gives rise to finite ergoclic properties

of (t, a) we

is given by a bijection '1 : N f-+ B. We do not

to consider sets B that consist of one point from each orbit.

ergodie properties

We eall

properties

~i. vVe want to classify

of (B, '1). Bruelno [BI'] hag

between ergoclic theory ancl algorithmic

of a11sequences

(non-recursive).

complexity

in

'

3 The structure state

all theorems.

01' a11 theorems. this article

In seetion

is as follows.

In section

2 we give fonnal

3 we give Borne exafnples

5 we state

someopen

and in section

problems.

in [KT2] 1'01'the special

Several

case 01' Cl.measure

definitions

and

4 we give proofs

01' the theorems 01' rnaxinla1

in

entropy.

and Theorems.

Let X*

=

In section

were proven

2 Definitions

[w]

01' the article

be the set 01' finite

{x E

'Z;m, : Xi

=

strings

=

Wi für i

string w. We neeel a constructive

in 'Z;m. Astring

0,1,...,

W E X*

defines

lew) -- 1} where l(w)is

concept of a probability

measure

a eylinder

the length 01' the [USS]. A probablity

meaSure Il on 'Z;mis calleel comp'U,tableif there is a recursi:ve 1'unction M : X* XN2 such that IA1(w,rn,n) - p([w])!:::;nlm for all (w,n,rn) For W E X* let A~(x)

['Lu] anel

+ N2

E X* X N2.

be the difference betweeri the average munber

Ure first '/I,iterates of x to the set

set

of visits of

the expecteel frequency ot:visiting the set [w],

that is 1 n-l

A:~(x)

=

-:;;

L

i=O

. (l[w] (0"2X) -

anci &:,8 is the set 01' x who~e first r; iteratesvisit

(2.1)

p([w]))

the set [LU]within

5 of the expecteel

frequeney:

&:,0 = {x E B : IA~~(x)1< 5}. We say that the lattice

(2.2)

(8, I) satisfies the finite ergod'ic -theorem for the measure

V5 > 0, Vw E X*, that is 1'or each 'LUE X* and 8

>

lim n-HX>

den ([:,O) .- = 1,

j1.iil (2.3)

0 a set of x of lower density Olle visit thc set [Lu]with

the expectecl frequeney::l::8. Here the lower clensity of A c B is definecl by the following

formula :

It is natural

delleA)

= lirn inf k-+oo

hut not necessary

1 -k card {x E A : 1-1 (x)

:::; Tc}

(2.4)

.

to assurne that this limit is effectively computable2.

All

exa:mples in this article are 01'this type. All proofs remain unchangecl under this stronger requirement,

thus we will not comment

ergodic averages. Orle cannot,

Backward

usinga.

itself is countable.

on it further.

Here we consider

only forward

ergodic averages can be dealt with analogously.

countable

intersection

argument,

conclude the case 8

'Note that

=

0 since 8

Such a finite ergodie theorem haB the following interpretation.

If

we

M :N

+

._-~....__...._---_._---_._.__._..__.-

2 lim an

=

0. is called effectively computable

N such that limM(n)

=

00 anel

lan -:- 0.1


fllnction.

null set

A lattice

0 such that

(2.6) den { x E ß : x E i~ [qSuniv(6,i)J} .0, 3a > 0 such that clen{x E ß: kM(x(n)) For convenience of complexity.

~ -logp([x(n)])

-log(nl-a)}

in the following we will consider Kolmogorov's

Namely consicler a partial recursive function f : X* X N

Then the Kolmogarov

complexity

Kj(x) where again inf l(0)

~ 1-

=

in the sense of equation

(2.12)

original definition

(computer)

X* .

(2.13)

inclucecl by f is definecl by the formula

= inf{l(y):

00. For this definition (2.10).

-+

f Vn ~ 1.

f(y,l(x))

= x}

there is also a universal

Again we shall choose a fixecl universal

(2.14) p.l'. computer Kolmogorov ',.

------------..

7 computer'Ll definitions

and we shall write K(:I:(n)) instead of Kv(:I;(n)). is compl~xity K(x)

vVe call a lattice complexity

KR

K lvI replaced

KJyIR and VVKR Suppose

01' liVKR

ergodie I

4.

This

the main

Equation

(2.11) OI' (2.12) with the (2.15) implies that JC~ ~

meaBures für subshifts

of maximal

of finite type are always com-

satisfies

the finite

for Pma.~'

bounds

is quite

can be faHnd 1'01'the rate 01' convergence

technical

concepts

behind

inequality

Note that

(2.15)

of finite type anel fLmax is its Ineasure

and

thus

we do not include

the theorems.

loge n 1- CI mn

[1 -

(.n~ - \) me ]

.

(3.1)

The following list exhibits this lattice for 2:;2' ...000000...000... ...

1 00000 ...

...000000...000...

000...

'..

10 ...010000...000... ...100000...000... ...110000...000... ...000000...000.., ", 001 000 ... 000... ...010000...000... ... 011

000

... 000...

... 100 000

... 000...

Another

example,

rioclic repetition be made

Lattice

of the finite block

by the same

construction

insteacl of triloiling zeros. Similar

with

constructions

pecan

for subshifts of finite type,

2.

Suppose

thai j.lis an arbitrary computable

min{f.L([x]) : denotes

the perioclic lattice, is given

f.L([x])

>

0, l(x)

will appeal' (with

ordere clin increasing to minimize for example,

Cl,

in the space

in the following

way.

a(:Ti) is a clecreasing sequence. .a(:1:2)copies of :r:2asunifonnly

We

2:;. Let an :=

construct a ~l-weighted finitelattice.Each

trailing zeros) exactly

order of l(x). The

fluctuations

with support ,

= n} anclfor:c E X* leta(x) := lf.L([:c])janJ where laJ

the greatest integer less than

string .x E X*

measure

strings of the same (I/rn) I:;7:~1

average

Suppose Take

a( x) times.

a(xd

The

strings will be

length will be ordered l[w](--y(i)). This

can

the strings of length n are nurnbered copies

of the sequence

as possible. Continue

includively.

Xl The

and

be

so as clone,

so thai

intersperse

resulting lattice

is a. f.L-distribution.

Lattice 3. Let y

=

...

0100011011 000001

010 011

This is an example

of a Champer-

nowne sequence.For thislattice r(n) will be y with the nth bit changing parity. This lattice satisfies the finite ergodic theorem for 2:;2with the Bernoulli measure.

In fact it

even satisfies it tor E = O. However, this lattice is not }( R since for this lattice illere exists a constant

C such that rl~g{x E B: ](11,4(x(n))< C} = 1 \In:::: 1. Here C can

be choosen to be SUPn J(l(y(n)).

This shows that the inverse implication

in Theorem

4

is very far horn being true. Lattice 4.

'..

11 Let y be an infinite ranelom sequence. truncated

First construct

a lattice with rCn) heilig y

after the nth place with trailing zeros. This lattice is KfIIIR. Next, we make

this into a shirt invariant Insert into the lattice . in a monotone Theorem 5.

lattice

by choosing an increasing

sequence

ni of elensity O.

along this sequence an shirts of rows of this lattice-' (for instarlce .

way). This shift invariant

lattice is a counterexample

to t,he converse of

Lattice 5. Take the perioc1ic lattice

P in lexicographic

lexicographic Göelelization r a new lattice

C

oreler for~m'

vVe elefine from the

P* , r*) by

'Y*(i) = aLPer(-y(i))/2JrCi). Here, perC x), x E P, elenotes the length of the minimal example of a 11-distributeel latticewith ~m' Note that, although

(3.2) period of x. This lattice

respect to the measure of maximal entropy p for

the lattice (P, r) is not ~l-distributed, I

nli:~ ~.n

is an

the following still holds:

mn-1

~ l[w](r(i)) i=O

(3.3)

p([w]).

~

Lattice 6.

Here we construct attractor.

All initial conditions

of iterations [0, I/l(w)]

an example of a recursive lattice (B, r) which hag a very bad ghost

anel (infinite)

to this ghost attractor

after a finite number

ergodie averages do not exist in the sense that UJ(A~(x))

=

\i(:c, w) E B x X*. However i~ all other senses Dur lattice will be gODel: (B, r)

will be a p-distribution

(see (2.17)) as weIl as invariant;

our finite ergodie theorem

sequence:r

are attracteel

E~2

furthermore

(B, r) will satisfy

ancl be K lvIR ancl fIIILR für p. First we construct

such that UJCA;~(:y;)) = [O,l/l(w)] Vw E X*.

Let f:

N

a single --+

N2 be

the Cantor pairing functiol1, i.e. the inverse of gen, Tn) = ((n + m)2 + 3n + Tn)/2 and

.fj(i) the projection of f on the j-th coordinate. Consider I the Göclelization of X* in lexicographical order ancl define h : N define x as follows :c

.

--+

N by hC1)

=

2 and h(n)

rCfzCO))rCfzCO))"'rCfzCO))rCfzC1))rCfzCI))

,

"v

h(O) times

"'"

"Y'"

h(l)

=

CL:i

E

(4.3) 111

'..

13 This theorem is a finitizeel version of the Levin-SchnoIT theorern [USS p. 155-159]. First we will show that if (13,"Y) is not JCNI R then it is .not JvILR. Thus we assurne that :::JE> 0 s.t. \je> 0 den {x E B: J(JvI(;r;(n)) \Ve (knote

-logf-L([;r(n)J

- c}

>

E for same n.

(4.4)

by De the set of all 'Ll)E X* such that J(AI('Lu) < -logf-L([w]) ~ c. Therefore (4.4) beeome

equation


0 the elensity of x

that for same



such that

xC'!'/')E De is

greater than E for ~ome n. Let xo, xl,. .. be all the minimal elements of Dc, that is if y :::;'xi and y i- xi then y r:j De. Let Pe:= Ui[xiJ. We claim thatf-L(Pe) < rn-co To see this note t.11.atby the minimality

of the xi we have that

p,(Pc):::; N.ow choose

L f-L([xi]) ::; L

m-(e+K

(4.5)

M(xD).

yi sud} that u(V'j, l(xi)) = xi anel l(vi) = '](Jvl(xi) where u is the fixeel

univeral Kolmogorov mapping. vVehave [vi]n [vi] =0 the :r:f are minimal.

Thcrefore,

Z Comparing

if 'l i- j since 'Llis monotone Bernoulli measure we have

if /\ is the uniform

m-KM(xi)

=

L

m-l(yi)

=

L A([yi])

~ m -c.

(4.7)

vVe wish to show tha.t P := nPe elefines an effective null set.

Unfortunately

the

{xi} neeel not be r.e.. However the set De is r.e. To see this let V:= {(c,x)

Q+ x X* : J(JvI(;c) set U:=

(4.6)

:::; 1.

(4.5) anel (4.6) we have the elesireel

equations

f-L(Pe)

sequence

anel

((;r,y)


0 s.t. \je>

that

is r.e. since'Ll is p.l'.. Höwever (c,x)

- c holds for same (x,y) EU.

can be checkeel recursively

Remember

E

z8, z:f, . ... such

zi clefines an effective We assumecl

E for Borne n(c, E).

(4.8) ',"

14 Let {wi} be a r.e. l( wi) > n. Then equation

of De. Let I(n)

be a positive

integer

such that Vi > I(n)

(4.8) implies I(n)

31' > 0 s.t. Ve> 0 den

Only a finite number equivalent to

{ x E B : x(n)E

(4.9)

i~[wi] }

> I' für same n.

of the [z,f] cover [lVi] thus there exists J(n)

such that

(4.9) is

J(n)

3E>OS.t./V5>Oden

{

Finally note that the set of approximating

able and enumerable.

(4.10)

i~[cP(5,i)]} >

xEB:xE

functions

Eforsomen.

für constructive

null sets is count-

A universal approximating function hag the property that there

exists a constant C such that V5VJ3L such that U!=o[cP(5,i)] C Ur=o[cPuniv(C . 5,i)]. This together

with (4.10) implies

3, > Q s.t. V8 > Q.den { x E ß

,x

E

(4.11)

~,[ ~univ(8,i)]} > , for someL

01' that B is not M LR. Next we show the other half of the theoreln,

namely that a lattice

which is not

lVfLR is not KM R. Thus we assurne that there is an effective null set A defined by the recursive function

cPsuch that the lattice (B, I) satisfies

{

3, > 0 s.t. \/8 > 0 cleri x E ß : x E

i~

[4>(8,i) J}

>

,

(4.12) far

same L.

First we need the following Lemma.

Ve > 0, 350 s.t. V5 E (0,50] allel Vn > 0 we call effectively5

tolJe mappillg

fe,6 : X*x N ---+ X* such that Kfc,6(X) satisfying that l( x) = n allel x ;:::cP(8, i) foT same i. 5 f:

procluce a mOllO-

< -logp([x])

-

c

holcls Vx

N X Q+ X N x X* ---+X* is p.T.

'..

15 Proof,of

,Lemma:

For each c,5,n let X ni:=

L-logp,([:r;J)

:= {:rE X*

: l(x) = n,x

2:

for Bornej} := {xd.

rjJ(5,J')

- cJ. Now

I:: m -Tii:::; I:: mlog

=

~L([X;])+c

I:: fl([XiJ)

mc


0 8.t. \lc> 0 elen

je

{x

EB

:

6:I(Yi):::;

-logp,([xiJ)

Finally - c. 111

(4.12).

We see

imply that

(x(n)) < -log

Kfc,/jo

(4.13 )

,

ni and such thai

Set Tl,:= maxoS;i::;LI(cjJ(80,i)) where L(8o) was clefinecl in equation that equation

Set

fl([x(n)])

- c}

>

e für Borne n(c).

(4.14) Now let Cr := 2r + 1. Use the above lemma to construct the ~orresponclingmappings fr

:= fc,.,80' Define a p.r. f by the formula f(or1x, n) := fr,(x,n)

consecutiveO's. then J{f(x(n» je>

where or means l'

Kfr(x)+r+1. Thus ifKfc,.,/jo (x(n)) < -logp,([x(n)])~cr - r. Then equation (4.14) above implies

ThenKf(x):::; < -logfl([x(n)])

0 s:t. \Ir> 0 den {x E ß: Kf(x(n))

< -logfl([x(n)])

- T} > e für same n(r).

,

No""T equation

(2.10)

completes Proof of Theorem 4:

For the proof of this theorem

,

=

f( w). To clefine flet

m

the proof.

abreviate

finite type are always computable. f

(4.15)

f-Lmaxby p. Maximal measures

für subshifts

of

For each W E X* we will use a special ccmputer

mw (x) be the number

Suppose l(x) = '17"then set dw(x) = Imw(x)

of occurences

ofw in the strihg

x E X*.

nf1([w])I. Put an orclering on the worcls

-

of length n as follows: dw(x) and 1'01'dw(x)

=

< dw(Y)

===?

x

>

Y

(4.16)

dw(Y) we put :r < y

{=::}

:r;less than Y in lexicographical

order.

(4.17)

Inforrnally, the eloser x is to having the correct ergodie frequency für the cylinder [w] the larger

i t iso f is then

clefined by f (y

if l is the length of the m-ary ordering.

Here m is the number

, n) =

expansion

the

yth

string

oflength

of the position

of symbols in ~A'

no Then

K f

(x ( n )

=

l

of x in the list given by ibis

'N

16 this orclering for the Bernoulli measure on 2:;2,for n = 4

The following list exhibits an cl [w]=[l].

Position Decimal ---

String

dw

0000

2

1

1

1

1111

2

2

10

2

0001

1

3

11

2

0010

1

4

100

3

0100

1

5

101

3

1000

1

6

110

3

0111

1

7

111

3

1011

1

8

1000

4

1101

1

9

1001

4

1110

1

10

1010

4

0011

0

11

1011

4

0101

0

12

1100

4

0110

0

13

1101

4

1001

0

14

1110

4

1010

0

15

1111

4

1100

0

16

10000

5

Binary ---

Kf(x(n))

Thus, for example, the above list should be reacl f(1110,4) = 1001. From equation (2.10) there exists a constant c such that

~

{x E B: K(x(n))

h(.o1" n -log(nl-LY)}

C

C {x E B: Kf(:c(n)) ~ htop' '/?,-log(nl-Ü')

(4.18) - c}.

For '/7E ((), 1) set

By Chebychev's

F7~(x) :-

~~-Ol (l[w](crix) nl-TJ/2 -IL([W]))

inequality

we have

IL ({x

= nTJ/2 . A~(x).

E I;A : IF~u (x) I S; t} ) ~ 1

-

(4.19)

(4.20)

var( FT~U)

,

t2

.

Now

var(F;~)

=

n}-'f/

.

n . var(.f~U) + 2

{

L

OS;i 0 choose N := NCr;,E) so large that für all n ~ N, Vii/n?7/2 < t. Then

equation

(4.23) ,implies

p({x Let

Cn

=

E I:A: IA~(x)l:::;; E}) ~ 1-

logm card{:r

E XA

: l(.r)

=

n}.

(4.24)

nI1-?7 \In ~ N.

Set gen) := 10g(n,1-CV)+ c. A simple

counting argument shows that

lcnJ-g(n)-I

card {.r E XA : leI:)

= n,

Kj(xCn)) ~ h. n

- gen)}

:::;; mcn

m~

i=I

m Cn

:::;;

Here la J is the greatest

~

-

integer 1ess than a. The greater

(

-g(n)-I

1- m

m-1

the f-comp1exity

)

< + 2. (4.25)

of astring

the greater it is in the order 0

deiined

m

and the theorem follows.

5:

{x E B: ICA1(x(n))::; in the

a tL-distribution . .

proof

-log,u([x(n)])

of theorem

2. Since

- c}. Note that Ae(n) C Pe where

fl( Pe)


O. Set G::,6 := {x E ~ : IA~(x)1 < 5}.

(4.28)

For each E > () by the Birkhoff ergodic theorem there exists n so that. ,u(G'/:,,5) > 1 - E. , Now x E E:,6

x E G'/:,,6

~

n B.

The setG'/:,,6 is a finite union of cyllnders

of length n

it follows that limm->oo(l/,m,) Z":-l o'11 o nw,o'(r(i)) = I-l(G~~,{j).Thus the density of [,:::,,6is greater than 01'equc1.lto 1- E. Since Ewas arbitrary

thus since (B,I) the theorem Proof

is a fl-distribution

m

follows.

of Theorem

8:

Fix U anel 8' > O. For E:> 0 let UE = {x EU:

B(x, E) CU}.

Then far E > 0 sufficiently

small j.1(U\ Uf) < 8'. Set 6' = min( E,8'). Uging corollary 7 we can choose N so large that für all n ~ N there is a K(n) so that forall k ~ K card({x E E~o,6/2: I(x)::; k} 2': (1 - 5/2)k. Then für fixedn 2': N, using the continuity of T (and of Tn) we choose Tc so elose to T that dist(Ti;r;, T;x) ::; 5/2 far a11 x E Xc anel für a11 0 ::; i ::; n. It fo11ows . U6 . 1 t lat lll11n->oo Den ( En:e(n)) = 1. l1li -

5 Open

Problems.

OHr investigation leads to many interesting further. We list a few hefe. (1) Classify the set of recursive f.

=

O. For product

measure

these

problems which we plan to investigate

strings which satisfy the finite ergodie theorem für are ca11ed norrrial

numbers

01' Bernoulli

Recursive Bernou11i sequences exist, for example the Champernowne in Lattice 3 ofsection "3. (2) The lattice or lack qfrandomness [KS] have recently

(8'1)

can be thought

of (B, I) as a matrix

sequence discussed

of as an N x Z matrix.

The rancloinness

needs to be ana.lyzecl. KrÜger ancl Seiht

clefinecl what it means für an infinite matrix

classical sense of Martin-Löf.

sequences.

t,o be random

in the

All our (B, I) turn out not to be ranc1om in this sense.

Howeve~ they may have weaker ranc1om properties, such as randomness along columns. Randomness along columns is interesting because it corresponcls to space averages.

'..

19 (3) Many (more natural) chaotic dynamical systems are homeomorphic to topological Markov chains with countable alphabets ([KT1]). Develop pa.rallels to Gur theorems für the countable case. This seems not to be difficult sinte the dassical notions of ]{ ,lv:!R and MLR

can easily be extendend

(4) Consider to increasing

syntacticallength

arithmetic

lattices E

alphabets.

the dass of a11recursive strings in ~2 which are Gödelized according für same fixed formallanguage.

Alternatively

consider

dass of a11provable total recursive strings in 2:;2with ~espect to

the more constructive Peano

to symbolic spaces with countable

ordered

in increasing

syntacticallength

or proof length.

Are these

finite ergo die, J{!vI R or W J{ M R or do they satisfy the ergodie theorem

für

= O. ~5) In Theorem

8 we showed that computer simulations

can give good finite ergo~ic

averages with high probability

für randomly

choosen initial points;

probability

and the goodness

by choosing the initial point randomly

probability

distribution

which weighs complex.(with

Can Olle improve the with respect to a

respect to the computer

encodlng)

points more heavily. Acknowledgments. The third author would like to thank Deutsche Forschungsgemeinschaft

(DFG) für

their support. References

1. [BCGGS] G. Benettin,M. Casartelli, '1. Galgani, A. Giorgilli and J.-M. Strelcyn: On the Reliability oi Numerical StudieJ oi Stochasticity Il Nuovo Cimento; 44B pp 183-199 (1978) and 50B pp 211-227 (1979). 2. [Be] M. Berry: Same Quantum-to-Classical AJymptotics Les Houches, Session LLII, 1989, Chaos and Quantum Physics, M,-J. Giannoni, A. Vöros and J. Zinn-Justin, eds., (Elsevier Science Pub!. B.V. 1991). 3. [Bll] 'M.L. Blank: Metric PropertieJ oi E-trajectorieJ oi Dynamical Systems with Stochastic Behaviour Ergocl. Th. Dyn. Sys.; 8 pp 365-378 (1988). 4. [B12]M.L. Blank: Ergodic Properties oi DiJcretizations oi Dynamical Systems Sov. Math. Dok!.; 30 pp 449-452 (1984). 5. [Bo] R. Bowen: Equilibrium StateJ and the Ergodie Theory 0/ Anosov DiffeomorphismJ Springer Lect. Notes in Math.; 470 (1975). 6. [BG] A. Boyarski alld P. Gora: Why Computers like Lebesgue Measure Comput. Math. App!.; 16 pp 321-329 (1988). 7. [Br] A. Brudno: Eniropy and the Complexity 0/ the Trajectories oi a Dynamical System Trans. Mosc. Math. So~.; 2 pp 127-151 (1983).

'.

20 8. [C] C. Caluele: TheoTies of COTnputational graph 35; North-Hollanel;

Amsterelam

Complex-lty Ann. Disc. Math.;

Mono-

(1988).

9. [CFIVI] KM. Corless, G.W. Frank anel J.G. Monroe Chaos a:nd ContimLed Fmciions Physica D; 46 pp 241-253 (1990).

10. [GHYl] C. Grebogi, S. Hammel anel J. Yorke: Do NumC'rical OTbits of Chaotic Dynamical

Systems

11. [GHY2] C. - Grebogi, cesses RepTesent 12. [K] W. Kreiger:

RepTesent

TnJ,C OTbits? J. Complexity;

S. Hammel

3 pp 136-145 (1987).

anel J. Yorke: NumC'rical OTbits of Chaotic PTO-

True OTbits Bull. AMS; 19 pp 465-469 (1988). On EntTopy and GenemtoTs

of MeaS?LTePTeseTving TransfoTma-

tions Trans AMS; 149 pp 453-464 (1970) anel 168 p 519 (1972). 13. [KS] T. KrÜger and P. Seibt: RandOTnness of Infinite 0 -1 Ma.tTices BiBoS Preprint No. 440 (1990). 14. [KT1] T. Krüger anel S. Troubetzkoy: lLnifoT'mly H ypeTbolic Systems pp 487-508 (1992).

MaTkov PaTtitions

with SingnlaTities

15. [KT2] T, KrÜger anel S. Troubetzkoy:

Ergoelic Theory anel Dyn. Sys.; 12,

E7'!}odic TheoTY on RecuTsive Lattices,

TheoTetical AppTOach to ComputeT Simldations the proceeclings of Conference Worlel Scientific.

and Shadowing foT Non-

on Dynamics

of Chaotic Systems

on Complex

16. [NY] H. Nusse and J. Yorke: Is EveTV ApPToximate

A

to appeal' in

anel lrregular

Systems,

TTnjeciOT'V of Same PTOcess

Nea:r an Exact TmjectoTY of a NeaTby P-rocess? Comm. Math. Pl--ws.; 114 pp 363379 (1988). 17. [S] C.P. Schnorr: A SuT'uey of the -TheoTY of Random Seq'uences Basic Problems in Methodology Emd Linguistics; D. Reielel Publishing Comp. Dordrech-Hollanel pp 193-211 (1977). 18. [USS] V.A. Uspenskii,

A.L. Semenov anel A.Kh. Shen': Can an Individual

of ZeTas and On es be Random?

Sequence

Russ. Math. Surveys; 45:1 pp 121-189 (1990).

19. [V] F. Vivaleli: Geomei'ry of LineaT Map.'> O'ueT Finite

Fields Nonlinearity;

5 pp

133-147 (1992).

'..