210
The p-adic Ergodic Theory and applications Vladimir Anashin Lomonosov Moscow State University Ecole Jeunes Chercheurs du GDR Informatique Math´ ematique Universit´ e de Picardie Jules Verne. Amiens, 2011 Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´ e de Picardie 1/ 43

The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

  • Upload
    others

  • View
    2

  • Download
    0

Embed Size (px)

Citation preview

Page 1: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic Ergodic Theoryand applications

Vladimir Anashin

Lomonosov Moscow State University

Ecole Jeunes Chercheurs du GDR Informatique MathematiqueUniversite de Picardie Jules Verne. Amiens, 2011

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 1 /

43

Page 2: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Outline

1 Basics of p-adicsp-adic numbersp-adic distancep-adic Calculus

2 The p-adic ergodic theoryBasicsErgodic transformations on the space of p-adic integersErgodic transformations on p-adic balls and p-adic spheres

3 ApplicationsLatin squaresPseudo random generators and stream ciphersTransducers

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 2 /

43

Page 3: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Reading

Vladimir Anashin and Andrei KhrennikovApplied Algebraic Dynamicsde Gruyter Expositions in Mathematics, vol. 49Walter de Gruyter, Berlin–New York, 2009.xxiv +533 pages.ISBN 978-3-11-020300-4

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 3 /

43

Page 4: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics

Our first theme is:

1 Basics of p-adicsp-adic numbersp-adic distancep-adic Calculus

2 The p-adic ergodic theoryBasicsErgodic transformations on the space of p-adic integersErgodic transformations on p-adic balls and p-adic spheres

3 ApplicationsLatin squaresPseudo random generators and stream ciphersTransducers

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 4 /

43

Page 5: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic numbers

So we start with:

1 Basics of p-adicsp-adic numbersp-adic distancep-adic Calculus

2 The p-adic ergodic theoryBasicsErgodic transformations on the space of p-adic integersErgodic transformations on p-adic balls and p-adic spheres

3 ApplicationsLatin squaresPseudo random generators and stream ciphersTransducers

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 5 /

43

Page 6: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic numbers

p-adic integers

The ring Zp of p-adic integers may be thought of as a set of all infinitestrings

. . . α3α2α1α0 = ∙ ∙ ∙+ α3 ∙ p3 + α2 ∙ p

2 + α1 ∙ p+ α0

over alphabet Fp = {0, 1, . . . , p − 1} (the number p > 1 will usually be aprime); so all αi ∈ Fp.The rightmost representation is called a canonical p-adic form of a p-adic in-teger, or the base-p expansion; addition and multiplication of p-adic integerscan be defined via school-textbook algorithms.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 6 /

43

Page 7: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic numbers

p-adic integers

The ring Zp of p-adic integers may be thought of as a set of all infinitestrings

. . . α3α2α1α0 = ∙ ∙ ∙+ α3 ∙ p3 + α2 ∙ p

2 + α1 ∙ p+ α0

over alphabet Fp = {0, 1, . . . , p− 1}; addition and multiplication of p-adicintegers can be defined via school-textbook algorithms.

The following example shows that . . . 11111 = −1 in Z2:

. . . 1 1 1 1

+

. . . 0 0 0 1

. . . 0 0 0 0

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 6 /

43

Page 8: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic numbers

p-adic integers

The following example shows that . . . 1010101 = −13 in Z2

. . . 0 1 0 1 0 1

×

. . . 0 0 0 0 1 1

. . . 0 1 0 1 0 1

+

. . . 1 0 1 0 1

. . . 1 1 1 1 1 1

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 6 /

43

Page 9: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic numbers

p-adic integers

... and even a simple calculator understands this logic!

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 6 /

43

Page 10: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic numbers

p-adic integers

Note that Zp ∩Q ' Z.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 6 /

43

Page 11: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic numbers

p-adic integers

Note that Zp ∩Q ' Z.

For instance, in Z2:

Sequences that contain only finite number of 1-s correspond tonon-negative rational integers represented by their base-2 expansions:. . . 00011 = 3.

Sequences that contain only finite number of 0-s correspond tonegative rational integers:. . . 111100 = −4.

Sequences that are (eventually) periodic correspond to rationalnumbers that can be represented by irreducible fractions with odddenominators:. . . 1010101 = −13 .

Non-periodic sequences correspond to no rational numbers.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 6 /

43

Page 12: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic numbers

p-adic integers

Note that Zp ∩Q ' Z.

For instance, in Z2:

Sequences that contain only finite number of 1-s correspond tonon-negative rational integers represented by their base-2 expansions:. . . 00011 = 3.

Sequences that contain only finite number of 0-s correspond tonegative rational integers:. . . 111100 = −4.

Sequences that are (eventually) periodic correspond to rationalnumbers that can be represented by irreducible fractions with odddenominators:. . . 1010101 = −13 .

Non-periodic sequences correspond to no rational numbers.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 6 /

43

Page 13: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic numbers

p-adic integers

Note that Zp ∩Q ' Z.

For instance, in Z2:

Sequences that contain only finite number of 1-s correspond tonon-negative rational integers represented by their base-2 expansions:. . . 00011 = 3.

Sequences that contain only finite number of 0-s correspond tonegative rational integers:. . . 111100 = −4.

Sequences that are (eventually) periodic correspond to rationalnumbers that can be represented by irreducible fractions with odddenominators:. . . 1010101 = −13 .

Non-periodic sequences correspond to no rational numbers.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 6 /

43

Page 14: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic numbers

p-adic integers

Note that Zp ∩Q ' Z.

For instance, in Z2:

Sequences that contain only finite number of 1-s correspond tonon-negative rational integers represented by their base-2 expansions:. . . 00011 = 3.

Sequences that contain only finite number of 0-s correspond tonegative rational integers:. . . 111100 = −4.

Sequences that are (eventually) periodic correspond to rationalnumbers that can be represented by irreducible fractions with odddenominators:. . . 1010101 = −13 .

Non-periodic sequences correspond to no rational numbers.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 6 /

43

Page 15: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic numbers

The field Qp

Along with p-adic integers we can consider ‘non-integer’ p-adic numbers ofthe form

∞∑

i=−k

αipi,

where k ∈ N = {1, 2, 3, . . .}, αi ∈ Fp = {0, 1, . . . , p − 1}, define addi-tion and multiplication of these numbers in a similar way we did for p-adicintegers and thus obtain a field Qp of p-adic numbers.

The ring of p-adic integers Zp is a ring of integers of the field Qp.

The field Qp contains a field of rational numbers Q as a subfield.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 7 /

43

Page 16: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic numbers

The field Qp

Along with p-adic integers we can consider ‘non-integer’ p-adic numbers ofthe form

∞∑

i=−k

αipi,

where k ∈ N = {1, 2, 3, . . .}, αi ∈ Fp = {0, 1, . . . , p − 1}, define addi-tion and multiplication of these numbers in a similar way we did for p-adicintegers and thus obtain a field Qp of p-adic numbers.

The ring of p-adic integers Zp is a ring of integers of the field Qp.

The field Qp contains a field of rational numbers Q as a subfield.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 7 /

43

Page 17: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic numbers

The field Qp

Along with p-adic integers we can consider ‘non-integer’ p-adic numbers ofthe form

∞∑

i=−k

αipi,

where k ∈ N = {1, 2, 3, . . .}, αi ∈ Fp = {0, 1, . . . , p − 1}, define addi-tion and multiplication of these numbers in a similar way we did for p-adicintegers and thus obtain a field Qp of p-adic numbers.

The ring of p-adic integers Zp is a ring of integers of the field Qp.

The field Qp contains a field of rational numbers Q as a subfield.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 7 /

43

Page 18: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic numbers

The field Qp

Along with p-adic integers we can consider ‘non-integer’ p-adic numbers ofthe form

∞∑

i=−k

αipi,

where k ∈ N = {1, 2, 3, . . .}, αi ∈ Fp = {0, 1, . . . , p − 1}, define addi-tion and multiplication of these numbers in a similar way we did for p-adicintegers and thus obtain a field Qp of p-adic numbers.

The ring of p-adic integers Zp is a ring of integers of the field Qp.

The field Qp contains a field of rational numbers Q as a subfield.

Although further we deal with Zp rather than with Qp, p-adic Calculus,p-adic dynamics, and p-adic ergodic theory can also be developed for Qp.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 7 /

43

Page 19: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

Next topic:

1 Basics of p-adicsp-adic numbersp-adic distancep-adic Calculus

2 The p-adic ergodic theoryBasicsErgodic transformations on the space of p-adic integersErgodic transformations on p-adic balls and p-adic spheres

3 ApplicationsLatin squaresPseudo random generators and stream ciphersTransducers

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 8 /

43

Page 20: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

Metric on Zp

Definition (Metric)

Let M be a non-empty set, and let d : M ×M → R≥0 be a 2-variatefunction that is defined on M and valuated in non-negative real numbers.The function d is called a metric (and M is called a metric space)whenever d obeys the following laws:

1 For every pair a, b ∈M : d(a, b) = 0 if and only if a = b.2 For every pair a, b ∈M : d(a, b) = d(b, a).3 For every triple a, b, c ∈M : d(a, b) ≤ d(a, c) + d(c, b).

For example, the set R of all real numbers is a metric space with a metricd(a, b) = |a− b|, where | ∙ | is an absolute value.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 9 /

43

Page 21: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

Metric on ZpA distance (=metric) dp(a, b) between a, b ∈ Zp is p−`, where` = (the length of the longest common prefix of a and b)− 1.Absolute value of a p-adic integer a ∈ Zp is a distance from a to 0: |a|p =dp(a, 0); that is, dp(a, b) = |a− b|p.

For instance, in the case p = 2 we have:

. . . 101010101 = −1

3. . . 000000101 = 5

⇒ d2

(

−1

3, 5

)

=1

24=1

16

In other words, −13 ≡ 5 (mod 16);−13 6≡ 5 (mod 32).

Reduction modulo pk is an epimorphism of Zp onto Z/pkZ:

modpk : Zp → Z/pkZ;

(∞∑

i=0

αipi

)

mod pk =k−1∑

i=0

αipi

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 9 /

43

Page 22: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

Metric on ZpA distance (=metric) dp(a, b) between a, b ∈ Zp is p−`, where` = (the length of the longest common prefix of a and b)− 1.Absolute value of a p-adic integer a ∈ Zp is a distance from a to 0: |a|p =dp(a, 0); that is, dp(a, b) = |a− b|p.

The metric dp satisfies strong triangle inequality:

|a− b|p 6 max{|a− c|p, |c− b|p} for all a, b, c ∈ Zp,

The latter relation is called a strong triangle inequality, and a metric thatsatisfies this inequality is called a non-Archimedean metric, or an ultramet-ric.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 9 /

43

Page 23: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

Metric on ZpMetric on the n-th Cartesian power Znp of Zp can be defined in a similarway:

|(a1, . . . , an)− (b1, . . . , bn)|p = max{|ai − bi|p : i = 1, 2, . . . , n}

for every (a1, . . . , an), (b1, . . . , bn) ∈ Znp .

This metric is also an ultrametric.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 9 /

43

Page 24: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

Metric on ZpInteresting: In ultrametric spaces, appending a segment to itself may resultin a segment that is shorter than the original one!

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 9 /

43

Page 25: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

Metric on ZpInteresting: In ultrametric spaces, appending a segment to itself may resultin a segment that is shorter than the original one!The strong triangle inequality implies:

All triangles are isosceles!

Any point inside a circle is a center of this circle!

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 9 /

43

Page 26: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

Metric on ZpInteresting: In ultrametric spaces, appending a segment to itself may resultin a segment that is shorter than the original one!The strong triangle inequality implies:

All triangles are isosceles!

Any point inside a circle is a center of this circle!

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 9 /

43

Page 27: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

p-adic limits

Once a metric is defined we can speak of convergence, limits, continuousfunctions, derivatives, etc.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 10 /

43

Page 28: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

p-adic limits

Once a metric is defined we can speak of convergence, limits, continuousfunctions, derivatives, etc.

Definition (Limit)

A p-adic integer z is said to be a limit of the sequence (zi)∞i=0 if and only

if for every real ε > 0 there exists N such that |zi − z|p < ε for all i > N .

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 10 /

43

Page 29: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

p-adic limits

Definition (Limit)

A p-adic integer z is said to be a limit of the sequence (zi)∞i=0 if and only

if for every real ε > 0 there exists N such that |zi − z|p < ε for all i > N .

However, according to the definition of the p-adic metric, the value of |zi−z|p is equal to p−` for a suitable ` = 0, 1, 2, . . .; so we may consider onlyε = p−r for r = 0, 1, 2, . . .. and thus re-state the definition:

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 10 /

43

Page 30: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

p-adic limits

Definition (Limit)

A p-adic integer z is said to be a limit of the sequence (zi)∞i=0 if and only

if for every real ε > 0 there exists N such that |zi − z|p < ε for all i > N .

However, according to the definition of the p-adic metric, the value of |zi−z|p is equal to p−` for a suitable ` = 0, 1, 2, . . .; so we may consider onlyε = p−r for r = 0, 1, 2, . . .. and thus re-state the definition:

Definition (Limit, equivalent form)

A p-adic integer z is said to be a limit of the sequence (zi)∞i=0 if and only

if for every (sufficiently large) positive rational integer K there exists Nsuch that zi ≡ z (mod pK) for all i > N .

NB: By the definition of the p-adic metric, |zi − z|p ≤ p−K ⇐⇒ zi ≡ z

(mod pK)

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 10 /

43

Page 31: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

p-adic limits

Definition (Limit, equivalent form)

A p-adic integer z is said to be a limit of the sequence (zi)∞i=0 if and only

if for every (sufficiently large) positive rational integer K there exists Nsuch that zi ≡ z (mod pK) for all i > N .

Example: 1, 3, 7, 15, 31, . . . , 2i − 1 . . .2−→− 1

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 10 /

43

Page 32: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

p-adic limits

Definition (Limit, equivalent form)

A p-adic integer z is said to be a limit of the sequence (zi)∞i=0 if and only

if for every (sufficiently large) positive rational integer K there exists Nsuch that zi ≡ z (mod pK) for all i > N .

Example: 1, 3, 7, 15, 31, . . . , 2i − 1 . . .2−→− 1

This is not too odd, however

. . . 0 0 0 0 1 = 1

. . . 0 0 0 1 1 = 3

. . . 0 0 1 1 1 = 7

. . . 0 1 1 1 1 = 15∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙. . . 1 1 1 1 1 = −1

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 10 /

43

Page 33: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

p-adic limits

Definition (Limit, equivalent form)

A p-adic integer z is said to be a limit of the sequence (zi)∞i=0 if and only

if for every (sufficiently large) positive rational integer K there exists Nsuch that zi ≡ z (mod pK) for all i > N .

In p-adics, students’ dream is getting true:

p-adic series∑∞i=0 xi converges if and only if xi tends to 0 as i→∞:

p

limi→∞

xi = 0.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 10 /

43

Page 34: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

p-adic topology

The base of topology on Zp are p-adic balls.A (closed) ball B 1

pk(a) of radius 1

pkcentered at a ∈ Zp is

B 1

pk(a) =

{

z ∈ Zp : |z − a|p ≤1

pk

}

= {z ∈ Zp : z≡a (mod pk)} = a+pkZp.

That is, B 1

pk(a) is a set of all infinite words over alphabet Fp =

{0, 1, . . . , p − 1} that have the same prefix of length k as the worda ∈ Zp.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 11 /

43

Page 35: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

p-adic topology

A (closed) ball B 1

pk(a) of radius 1

pkcentered at a ∈ Zp is

B 1

pk(a) =

{

z ∈ Zp : |z − a|p ≤1

pk

}

= {z ∈ Zp : z≡a (mod pk)} = a+pkZp.

That is, B 1

pk(a) is a set of all infinite words over alphabet Fp =

{0, 1, . . . , p−1} that have the same prefix of length k as the word a ∈ Zp.

The set of all infinite binary words of the form∙ ∙ ∙ ∗ ∗ ∗ ∗ ∗ 0101 = 5 + 16 ∙ Z2 = −13 + 16 ∙ Z2is a 2-adic ball of radius 116 centered at 5 (or, which is the same, centeredat −13 , etc.)

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 11 /

43

Page 36: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

p-adic topology

A (closed) ball B 1

pk(a) of radius 1

pkcentered at a ∈ Zp is

B 1

pk(a) =

{

z ∈ Zp : |z − a|p ≤1

pk

}

= {z ∈ Zp : z≡a (mod pk)} = a+pkZp.

A closed ball (of radius 1pk) is an open ball (of radius 1

pk−1) and vice versa!

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 11 /

43

Page 37: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

p-adic topology

A (closed) ball B 1

pk(a) of radius 1

pkcentered at a ∈ Zp is

B 1

pk(a) =

{

z ∈ Zp : |z − a|p ≤1

pk

}

= {z ∈ Zp : z≡a (mod pk)} = a+pkZp.

A closed ball (of radius 1pk) is an open ball (of radius 1

pk−1) and vice versa!

Indeed,

B 1

pk(a) =

{

z ∈ Zp : |z − a|p ≤1

pk

}

=

{

z ∈ Zp : |z − a|p <1

pk−1

}

since |u− v|p takes only discrete values:

|u− v|p ∈

{

1,1

p,1

p2, . . .

}

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 11 /

43

Page 38: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

p-adic topology

A (closed) ball B 1

pk(a) of radius 1

pkcentered at a ∈ Zp is

B 1

pk(a) =

{

z ∈ Zp : |z − a|p ≤1

pk

}

= {z ∈ Zp : z≡a (mod pk)} = a+pkZp.

A closed ball (of radius 1pk) is an open ball (of radius 1

pk−1) and vice versa!

A p-adic ball of radius 1pkis a disjoint union of p balls of radius 1

pk+1each.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 11 /

43

Page 39: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

p-adic topology

A (closed) ball B 1

pk(a) of radius 1

pkcentered at a ∈ Zp is

B 1

pk(a) =

{

z ∈ Zp : |z − a|p ≤1

pk

}

= {z ∈ Zp : z≡a (mod pk)} = a+pkZp.

A closed ball (of radius 1pk) is an open ball (of radius 1

pk−1) and vice versa!

A p-adic ball of radius 1pkis a disjoint union of p balls of radius 1

pk+1each.

Indeed,

B 1

pk(a) = a+ pkZp =

a+pk+1Zp∪a+1+pk+1Zp∪a+2+p

k+1Zp∪ . . .∪a+(p−1)+pk+1Zp

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 11 /

43

Page 40: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

p-adic topology

A (closed) ball B 1

pk(a) of radius 1

pkcentered at a ∈ Zp is

B 1

pk(a) =

{

z ∈ Zp : |z − a|p ≤1

pk

}

= {z ∈ Zp : z≡a (mod pk)} = a+pkZp.

A closed ball (of radius 1pk) is an open ball (of radius 1

pk−1) and vice versa!

A p-adic ball of radius 1pkis a disjoint union of p balls of radius 1

pk+1each.

A p-adic sphere S 1

pk(a) of radius 1

pkcentered at a ∈ Zp is a disjoint union

of p− 1 balls of radius 1pk+1

each.

Indeed, S 1

pk(a) = {z ∈ Zp : |z − a|p = 1

pk} = B 1

pk(a) \B 1

pk+1(a)

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 11 /

43

Page 41: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

p-adic topology

A (closed) ball B 1

pk(a) of radius 1

pkcentered at a ∈ Zp is

B 1

pk(a) =

{

z ∈ Zp : |z − a|p ≤1

pk

}

= {z ∈ Zp : z≡a (mod pk)} = a+pkZp.

A closed ball (of radius 1pk) is an open ball (of radius 1

pk−1) and vice versa!

A p-adic ball of radius 1pkis a disjoint union of p balls of radius 1

pk+1each.

A p-adic sphere S 1

pk(a) of radius 1

pkcentered at a ∈ Zp is a disjoint union

of p− 1 balls of radius 1pk+1

each.

BTW, a 2-adic sphere of radius 12kis a ball of a half-small radius 1

2k+1.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 11 /

43

Page 42: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

p-adic topology

Zp is compact (actually, it is a p-adic ball of radius 1).

Zp is totally disconnected (a connected component ofa point is the point).

Rational integers Z = {0,±1,±2, . . .}, as well aspositive rational integers N = {1, 2, 3, . . .} andnegative rational integers −N = {−1,−2,−3, . . .},are everywhere dense in Zp.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 11 /

43

Page 43: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

Continuous p-adically valued functions on Zp

Definition (Continuous function)

A function f : Zp → Zp is said to be continuous at the point z ∈ Zp if andonly if for every (sufficiently large) positive rational integer M there thereexists a positive rational integer L such that f(x) ≡ f(z) (mod pM )whenever x ≡ z (mod pL)

Note: The function f is said to be uniformly continuous (=equicontinuous)on Zp if and only if f is continuous at every point z ∈ Zp, and L dependsonly on M , and not on z.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 12 /

43

Page 44: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

Continuous p-adically valued functions on Zp

Definition (Continuous function)

A function f : Zp → Zp is said to be continuous at the point z ∈ Zp if andonly if for every (sufficiently large) positive rational integer M there thereexists a positive rational integer L such that f(x) ≡ f(z) (mod pM )whenever x ≡ z (mod pL)

Important example of uniformly continuous transformations onZp are compatible functions (in algebra, compatible transforma-tions=transformations of an algebraic system that agree with all congru-ences the algebraic system).

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 12 /

43

Page 45: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

Continuous p-adically valued functions on Zp

Definition (Continuous function)

A function f : Zp → Zp is said to be continuous at the point z ∈ Zp if andonly if for every (sufficiently large) positive rational integer M there thereexists a positive rational integer L such that f(x) ≡ f(z) (mod pM )whenever x ≡ z (mod pL)

Definition (Compatible function)

A map f : Zp → Zp is called compatible iff a ≡ b (mod pk) impliesf(a) ≡ f(b) (mod pk).

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 12 /

43

Page 46: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

Continuous p-adically valued functions on Zp

Definition (Compatible function)

A map f : Zp → Zp is called compatible iff a ≡ b (mod pk) impliesf(a) ≡ f(b) (mod pk).

As |zi − z|p ≤ p−K ⇐⇒ zi ≡ z (mod pK), by the definition of the p-adicmetric,

compatibility=1-Lipschitz property:

A map f : Zp → Zp is compatible iff it satisfies p-adic Lipschitz conditionwith a constant 1: |f(a)− f(b)|p ≤ |a− b|p for all a, b ∈ Zp.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 12 /

43

Page 47: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

Continuous p-adically valued functions on Zp

Definition (Compatible function)

A map f : Zp → Zp is called compatible iff a ≡ b (mod pk) impliesf(a) ≡ f(b) (mod pk).

compatibility=1-Lipschitz property:

A map f : Zp → Zp is compatible iff it satisfies p-adic Lipschitz conditionwith a constant 1: |f(a)− f(b)|p ≤ |a− b|p for all a, b ∈ Zp.

compatibility=triangularity:

A map f : Zp → Zp is called triangular iff it is of the form

∙ ∙ ∙+χ2 ∙p2+χ1 ∙p+χ0f7→ ∙ ∙ ∙+ψ2(χ0, χ1, χ2) ∙p2+ψ1(χ0, χ1) ∙p+ψ0(χ0),

where χ0, χ1, . . . ∈ Fp = {0, 1, . . . , p− 1}, ψi : Fi+1p → Fp, i = 0, 1, 2, . . .

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 12 /

43

Page 48: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

Automata maps are continuous p-adic functions

A

〈I, S,O, S,O, s0〉

Automaton A = 〈I, S,O, S,O, s0〉: I – input alphabet; O – outputalphabet; S – state set; S : I× S→ S – transition function;O : I× S→ O – output function; s0 ∈ S – initial state

χi ξi

ξi ∈ O — i-th output symbol

Obvious; however, important: ξi depends only on χ0, . . . , χi ∈ I :

ξi = ψi(χ0, . . . , χi) ∈ O

χi ∈ I — i-th input symbol

Note: Both the input alphabet I and the output alphabet O are assumedto be finite; however, the state set S might be infinite.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 13 /

43

Page 49: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

Automata maps are continuous p-adic functions

A

〈I, S,O, S,O, s0〉

Automaton A = 〈I, S,O, S,O, s0〉: I – input alphabet; O – outputalphabet; S – state set; S : I× S→ S – transition function;O : I× S→ O – output function; s0 ∈ S – initial state

χi ξi

ξi ∈ O — i-th output symbol

Obvious; however, important: ξi depends only on χ0, . . . , χi ∈ I :

ξi = ψi(χ0, . . . , χi) ∈ O

χi ∈ I — i-th input symbol

Further we mostly deal with transducers; i.e., with automata that havenon-empty input and output. Moreover, we mostly assume that I = O.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 13 /

43

Page 50: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

Automata maps are continuous p-adic functions

Let I = O = Fp = {0, 1, . . . , p− 1}; then, as any automaton (=transducer)A transforms (infinite) input sequence . . . , χ1, χ0 into (infinite) output se-quence . . . , ξi = ψi(χ0, χ1, . . . , χi), . . . , ξ1 = ψ1(χ0, χ1), ξ0 = ψ0(χ0),the automaton A determines a (unique) transformation fA of the ring Zp:

∙ ∙ ∙+χ2 ∙p2+χ1 ∙p+χ0

fA7→ ∙ ∙ ∙+ψ2(χ0, χ1, χ2) ∙p2+ψ1(χ0, χ1) ∙p+ψ0(χ0).

The sequence of maps ψi : Fi+1p → Fp, i = 0, 1, 2, . . ., is completelydetermined by the automaton A, and vice versa.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 13 /

43

Page 51: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

Automata maps are continuous p-adic functions

Let I = O = Fp = {0, 1, . . . , p− 1}; then, as any automaton (=transducer)A transforms (infinite) input sequence . . . , χ1, χ0 into (infinite) output se-quence . . . , ξi = ψi(χ0, χ1, . . . , χi), . . . , ξ1 = ψ1(χ0, χ1), ξ0 = ψ0(χ0),the automaton A determines a (unique) transformation fA of the ring Zp:

∙ ∙ ∙+χ2 ∙p2+χ1 ∙p+χ0

fA7→ ∙ ∙ ∙+ψ2(χ0, χ1, χ2) ∙p2+ψ1(χ0, χ1) ∙p+ψ0(χ0).

The sequence of maps ψi : Fi+1p → Fp, i = 0, 1, 2, . . ., is completelydetermined by the automaton A, and vice versa.

As ξi = ψi(χ0, . . . , χi), i = 0, 1, 2, . . ., the transformation fA iscompatible; i.e., satisfies a p-adic Lipschitz condition with a constant 1.Conversely, every 1-Lipschitz transformation f of the space Zp isdetermined by some automaton A: f = fA.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 13 /

43

Page 52: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

Computers think 2-adically!

T-functions are special maps that are used in modern cryptography andcomputer science:

Definition (T-function)

A (univariate) T-function is a mapping that maps binary words (finite orinfinite) to binary words w.r.t. the rulef : (χ0, χ1, χ2, . . .) 7→ (ψ0(χ0);ψ1(χ0, χ1);ψ2(χ0, χ1, χ2); . . .),where χj ∈ {0, 1}, and each ψj(χ0, . . . , χj) is a Boolean function inBoolean variables χ0, . . . , χj .

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 14 /

43

Page 53: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

Computers think 2-adically!

Definition (T-function)

A (univariate) T-function is a mapping that maps binary words (finite orinfinite) to binary words w.r.t. the rulef : (χ0, χ1, χ2, . . .) 7→ (ψ0(χ0);ψ1(χ0, χ1);ψ2(χ0, χ1, χ2); . . .),where χj ∈ {0, 1}, and each ψj(χ0, . . . , χj) is a Boolean function inBoolean variables χ0, . . . , χj .

Accordingly, an m-variate T-function function is a mapping

(α↓0, α↓1, α

↓2, . . .) 7→ (Φ

↓0(α

↓0),Φ

↓1(α

↓0, α

↓1),Φ

↓2(α

↓0, α

↓1, α

↓2), . . .).

Here α↓i ∈ Bm is a Boolean columnar m-dimensional vector; B =

{0, 1}; Φ↓i : (Bm)(i+1) → Bn maps (i + 1) Boolean columnar m-

dimensional vectors α↓0, . . . , α↓i to a n-dimensional columnar Boolean vector

Φ↓i (α↓0, . . . , α

↓i ).

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 14 /

43

Page 54: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

Computers think 2-adically!

Definition (T-function)

A (univariate) T-function is a mapping that maps binary words (finite orinfinite) to binary words w.r.t. the rulef : (χ0, χ1, χ2, . . .) 7→ (ψ0(χ0);ψ1(χ0, χ1);ψ2(χ0, χ1, χ2); . . .),where χj ∈ {0, 1}, and each ψj(χ0, . . . , χj) is a Boolean function inBoolean variables χ0, . . . , χj .

T-functions may be viewed as maps from Z2 to Z2: e.g., a univariate T-function f sends a 2-adic integer

χ0 + χ1 ∙ 2 + χ2 ∙ 22 + ∙ ∙ ∙

to the 2-adic integer

ψ0(χ0) + ψ1(χ0, χ1) ∙ 2 + ψ2(χ0, χ1, χ2) ∙ 22 + ∙ ∙ ∙

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 14 /

43

Page 55: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

Computers think 2-adically!

Definition (T-function)

A (univariate) T-function is a mapping that maps binary words (finite orinfinite) to binary words w.r.t. the rulef : (χ0, χ1, χ2, . . .) 7→ (ψ0(χ0);ψ1(χ0, χ1);ψ2(χ0, χ1, χ2); . . .),where χj ∈ {0, 1}, and each ψj(χ0, . . . , χj) is a Boolean function inBoolean variables χ0, . . . , χj .

Every T-function f is compatible with all congruences modulo 2k:

a ≡ b (mod 2k)⇒ f(a) ≡ f(b) (mod 2k).

Vice versa, every map f : Z2 → Z2 that is compatible with all congruencesmodulo 2k for all k = 1, 2, . . ., is a T-function.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 14 /

43

Page 56: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

Computers think 2-adically!

Definition (T-function)

A (univariate) T-function is a mapping that maps binary words (finite orinfinite) to binary words w.r.t. the rulef : (χ0, χ1, χ2, . . .) 7→ (ψ0(χ0);ψ1(χ0, χ1);ψ2(χ0, χ1, χ2); . . .),where χj ∈ {0, 1}, and each ψj(χ0, . . . , χj) is a Boolean function inBoolean variables χ0, . . . , χj .

Thus we conclude:

T-functions are 1-Lipschitz (whence, continuous and thus uniformlycontinuous) 2-adic functions.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 14 /

43

Page 57: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

Computers think 2-adically!

Definition (T-function)

A (univariate) T-function is a mapping that maps binary words (finite orinfinite) to binary words w.r.t. the rulef : (χ0, χ1, χ2, . . .) 7→ (ψ0(χ0);ψ1(χ0, χ1);ψ2(χ0, χ1, χ2); . . .),where χj ∈ {0, 1}, and each ψj(χ0, . . . , χj) is a Boolean function inBoolean variables χ0, . . . , χj .

Examples of T-functions:

arithmetic (numerical) instructions (integer addition, integermultiplication, etc.);

bitwise logical instructions (e.g., and, or, not, xor);

other machine instructions; e.g., shifts towards more significant bits,masking, etc.

arbitrary compositions of the above instructions.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 14 /

43

Page 58: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

Computers think 2-adically!

Definition (T-function)

A (univariate) T-function is a mapping that maps binary words (finite orinfinite) to binary words w.r.t. the rulef : (χ0, χ1, χ2, . . .) 7→ (ψ0(χ0);ψ1(χ0, χ1);ψ2(χ0, χ1, χ2); . . .),where χj ∈ {0, 1}, and each ψj(χ0, . . . , χj) is a Boolean function inBoolean variables χ0, . . . , χj .

Examples of T-functions:

arithmetic (numerical) instructions (integer addition, integermultiplication, etc.);

bitwise logical instructions (e.g., and, or, not, xor);

other machine instructions; e.g., shifts towards more significant bits,masking, etc.

arbitrary compositions of the above instructions.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 14 /

43

Page 59: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

Computers think 2-adically!

Definition (T-function)

A (univariate) T-function is a mapping that maps binary words (finite orinfinite) to binary words w.r.t. the rulef : (χ0, χ1, χ2, . . .) 7→ (ψ0(χ0);ψ1(χ0, χ1);ψ2(χ0, χ1, χ2); . . .),where χj ∈ {0, 1}, and each ψj(χ0, . . . , χj) is a Boolean function inBoolean variables χ0, . . . , χj .

Examples of T-functions:

arithmetic (numerical) instructions (integer addition, integermultiplication, etc.);

bitwise logical instructions (e.g., and, or, not, xor);

other machine instructions; e.g., shifts towards more significant bits,masking, etc.

arbitrary compositions of the above instructions.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 14 /

43

Page 60: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

Computers think 2-adically!

Definition (T-function)

A (univariate) T-function is a mapping that maps binary words (finite orinfinite) to binary words w.r.t. the rulef : (χ0, χ1, χ2, . . .) 7→ (ψ0(χ0);ψ1(χ0, χ1);ψ2(χ0, χ1, χ2); . . .),where χj ∈ {0, 1}, and each ψj(χ0, . . . , χj) is a Boolean function inBoolean variables χ0, . . . , χj .

Examples of T-functions:

arithmetic (numerical) instructions (integer addition, integermultiplication, etc.);

bitwise logical instructions (e.g., and, or, not, xor);

other machine instructions; e.g., shifts towards more significant bits,masking, etc.

arbitrary compositions of the above instructions.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 14 /

43

Page 61: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

Computers think 2-adically!

Definition (T-function)

A (univariate) T-function is a mapping that maps binary words (finite orinfinite) to binary words w.r.t. the rulef : (χ0, χ1, χ2, . . .) 7→ (ψ0(χ0);ψ1(χ0, χ1);ψ2(χ0, χ1, χ2); . . .),where χj ∈ {0, 1}, and each ψj(χ0, . . . , χj) is a Boolean function inBoolean variables χ0, . . . , χj .

Shifts towards less significant bits are not T-functions; however, they arecontinuous 2-adic maps!

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 14 /

43

Page 62: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

Computers think 2-adically!

Definition (T-function)

A (univariate) T-function is a mapping that maps binary words (finite orinfinite) to binary words w.r.t. the rulef : (χ0, χ1, χ2, . . .) 7→ (ψ0(χ0);ψ1(χ0, χ1);ψ2(χ0, χ1, χ2); . . .),where χj ∈ {0, 1}, and each ψj(χ0, . . . , χj) is a Boolean function inBoolean variables χ0, . . . , χj .

This is also a T-function:

f(x) = 1 + x+ 4 ∙

(

1− 2 ∙x and x2 + x3 or x4

3− 4 ∙ (5 + 6x5)x6xorx7

)8+not(

8x8

9+10x9

)

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 14 /

43

Page 63: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

Computers think 2-adically!

Definition (T-function)

A (univariate) T-function is a mapping that maps binary words (finite orinfinite) to binary words w.r.t. the rulef : (χ0, χ1, χ2, . . .) 7→ (ψ0(χ0);ψ1(χ0, χ1);ψ2(χ0, χ1, χ2); . . .),where χj ∈ {0, 1}, and each ψj(χ0, . . . , χj) is a Boolean function inBoolean variables χ0, . . . , χj .

While processing straight line programs, digital computersjust make evaluations of continuous 2-adic functions w.r.t.2-adic precision determined by the computers’ bitlengths.

Note that loading a long number into a short registry results in automaticallyreduction of the number modulo 2`, where ` is bitlength of the registry.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 14 /

43

Page 64: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic distance

Computers think 2-adically!

Definition (T-function)

A (univariate) T-function is a mapping that maps binary words (finite orinfinite) to binary words w.r.t. the rulef : (χ0, χ1, χ2, . . .) 7→ (ψ0(χ0);ψ1(χ0, χ1);ψ2(χ0, χ1, χ2); . . .),where χj ∈ {0, 1}, and each ψj(χ0, . . . , χj) is a Boolean function inBoolean variables χ0, . . . , χj .

While processing straight line programs, digital computersjust make evaluations of continuous 2-adic functions w.r.t.2-adic precision determined by the computers’ bitlengths.

Branching programs (i.e., the ones containing jumps) can also be consideredas continuous transformations on certain (more sophisticated) ultrametricspaces; see Part II of Applied Algebraic Dynamics for details.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 14 /

43

Page 65: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic Calculus

Next topic:

1 Basics of p-adicsp-adic numbersp-adic distancep-adic Calculus

2 The p-adic ergodic theoryBasicsErgodic transformations on the space of p-adic integersErgodic transformations on p-adic balls and p-adic spheres

3 ApplicationsLatin squaresPseudo random generators and stream ciphersTransducers

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 15 /

43

Page 66: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic Calculus

p-adic derivations

Definition (differentiability at a point)

The differentiability of a univariate function f : Zp → Zp at the pointx ∈ Zp means that for arbitrary M ∈ N0 and sufficiently small h ∈ Zp

∣∣∣∣f(x+ h)− f(x)

h− f ′(x)

∣∣∣∣p

≤1

pM

or, in the equivalent form

f(x+ h) ≡ f(x) + f ′(x) ∙ h (mod pordp h+M ),

where ordp h = − logp |h|p is the p-adic valuation of h.

NB: ordp h is the length of zero prefix in a base-p expansion of h.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 16 /

43

Page 67: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic Calculus

p-adic derivations

Similarly, a multi-variate function F = (f1, . . . , fm) : Znp → Zmp is said tobe differentiable at the point x = (x1, . . . , xn) ∈ Znp if there exists an n×mmatrix F ′(x) over Qp such that for every positive rational integer M ∈ Nand all sufficiently small h = (h1, . . . , hn) ∈ Znp the following congruenceholds:

F (x+ h) ≡ F (x) + h ∙ F ′(x) (mod pordp h+M )

Here ordp h = min{ordp hi : i = 1, 2, . . . , n} by the definition.

Entries of the matrix F ′(x) are partial derivatives of F at the point x.

If F is 1-Lipschitz, then all partial derivatives are p-adic integers.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 16 /

43

Page 68: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic Calculus

p-adic derivations

Definition (uniform differentiability)

A function f : Zp → Zp is called uniformly differentiable (or,equidifferentiable) on Zp iff for every sufficiently large M ∈ N0 there existsK ∈ N0 such that once |h|p 6 1

pK, the inequality

∣∣∣f(x+h)−f(x)h − f ′(x)

∣∣∣p6 1pM(or, which is equivalent, the congruence

f(x+ h) ≡ f(x) + f ′(x) ∙ h (mod pordp h+M )) holds for all x ∈ Zp. GivenM , the minimum K with this property is denoted via NM (f).

Similarly: a multi-variate function F = (f1, . . . , fm) : Znp → Zmp is uniformlydifferentiable iff the congruence

F (x+ h) ≡ F (x) + h ∙ F ′(x) (mod pordp h+M )

holds for all x ∈ Znp once ordp h ≥ NM (F ).

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 16 /

43

Page 69: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic Calculus

p-adic derivations

Definition (uniform differentiability)

A function f : Zp → Zp is called uniformly differentiable (or,equidifferentiable) on Zp iff for every sufficiently large M ∈ N0 there existsK ∈ N0 such that once |h|p 6 1

pK, the inequality

∣∣∣f(x+h)−f(x)h − f ′(x)

∣∣∣p6 1pM(or, which is equivalent, the congruence

f(x+ h) ≡ f(x) + f ′(x) ∙ h (mod pordp h+M )) holds for all x ∈ Zp. GivenM , the minimum K with this property is denoted via NM (f).

Polynomials over Zp are uniformly differentiable on Zp.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 16 /

43

Page 70: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic Calculus

p-adic derivations

Definition (uniform differentiability)

A function f : Zp → Zp is called uniformly differentiable (or,equidifferentiable) on Zp iff for every sufficiently large M ∈ N0 there existsK ∈ N0 such that once |h|p 6 1

pK, the inequality

∣∣∣f(x+h)−f(x)h − f ′(x)

∣∣∣p6 1pM(or, which is equivalent, the congruence

f(x+ h) ≡ f(x) + f ′(x) ∙ h (mod pordp h+M )) holds for all x ∈ Zp. GivenM , the minimum K with this property is denoted via NM (f).

If c ∈ Z then bitwise logical instructions f(x) = x and c,f(x) = x or c, f(x) = x xor c are uniformly differentiable on Z2

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 16 /

43

Page 71: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic Calculus

p-adic derivations

Proposition

The function f(x) = x and c is uniformly differentiable on Z2 for anyc ∈ Z, and

f ′(x) =

{0, if c ≥ 0;

1, if c < 0.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 16 /

43

Page 72: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic Calculus

p-adic derivations

Proposition

The function f(x) = x and c is uniformly differentiable on Z2 for anyc ∈ Z, and

f ′(x) =

{0, if c ≥ 0;

1, if c < 0.

Indeed, take n greater than the bitlength of |c|; then for all s ∈ Z2:

f(x+ 2ns) =

{f(x) , if c ≥ 0,

f(x) + 2ns , if c < 0,

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 16 /

43

Page 73: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic Calculus

p-adic derivations

Proposition

The function f(x) = x and c is uniformly differentiable on Z2 for anyc ∈ Z, and

f ′(x) =

{0, if c ≥ 0;

1, if c < 0.

Indeed, take n greater than the bitlength of |c|; then for all s ∈ Z2:

f(x+ 2ns) =

{f(x) , if c ≥ 0,

f(x) + 2ns , if c < 0,

since all most significant bits in a base-2 expansion of a positive rationalinteger are 0; whereas they all are 1 for a negative one.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 16 /

43

Page 74: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic Calculus

p-adic derivations

The rest of table of derivations of bitwise logical instructions

(notx)′ = −1.

If c ∈ Z, then

(x xor c)′ =

{1, if c ≥ 0;

−1, if c < 0.

If c ∈ Z, then

(x or c)′ =

{1, if c ≥ 0;

0, if c < 0.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 16 /

43

Page 75: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic Calculus

p-adic derivations

The rest of table of derivations of bitwise logical instructions

(notx)′ = −1.

If c ∈ Z, then

(x xor c)′ =

{1, if c ≥ 0;

−1, if c < 0.

If c ∈ Z, then

(x or c)′ =

{1, if c ≥ 0;

0, if c < 0.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 16 /

43

Page 76: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic Calculus

p-adic derivations

The rest of table of derivations of bitwise logical instructions

(notx)′ = −1.

If c ∈ Z, then

(x xor c)′ =

{1, if c ≥ 0;

−1, if c < 0.

If c ∈ Z, then

(x or c)′ =

{1, if c ≥ 0;

0, if c < 0.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 16 /

43

Page 77: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic Calculus

p-adic derivations

The rest of table of derivations of bitwise logical instructions

(notx)′ = −1.

If c ∈ Z, then

(x xor c)′ =

{1, if c ≥ 0;

−1, if c < 0.

If c ∈ Z, then

(x or c)′ =

{1, if c ≥ 0;

0, if c < 0.

Rules of derivation are the same both in ‘Archimedean’ and p-adic cases.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 16 /

43

Page 78: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic Calculus

p-adic derivations

The rest of table of derivations of bitwise logical instructions

(notx)′ = −1.

If c ∈ Z, then

(x xor c)′ =

{1, if c ≥ 0;

−1, if c < 0.

If c ∈ Z, then

(x or c)′ =

{1, if c ≥ 0;

0, if c < 0.

Example:

The T-function f(x) = x+ x2 or 5 is uniformly differentiable on Z2;f ′(x) = 1 + 2x.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 16 /

43

Page 79: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic Calculus

Differentiability modulo pM

Whereas the p-adic differentiability is a direct analog of a common(‘Archimedean’) differentiability, the differentiability modulo pM has no suchanalog.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 17 /

43

Page 80: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic Calculus

Differentiability modulo pM

Whereas the p-adic differentiability is a direct analog of a common(‘Archimedean’) differentiability, the differentiability modulo pM has no suchanalog.

Definition (differentiability modulo pM )

A function F = (f1, . . . , fm) : Znp → Zmp is said to be differentiable modulopM at the point x = (x1, . . . , xn) ∈ Znp if there exists an n×m matrixF ′M (u) over Qp such that for every sufficiently smallh = (h1, . . . , hn) ∈ Znp the following congruence holds:

F (x+ h) ≡ F (x) + h ∙ F ′M (x) (mod pordp h+M ).

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 17 /

43

Page 81: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic Calculus

Differentiability modulo pM

Definition (differentiability modulo pM )

A function F = (f1, . . . , fm) : Znp → Zmp is said to be differentiable modulopM at the point x = (x1, . . . , xn) ∈ Znp if there exists an n×m matrixF ′M (u) over Qp such that for every sufficiently smallh = (h1, . . . , hn) ∈ Znp the following congruence holds:

F (x+ h) ≡ F (x) + h ∙ F ′M (x) (mod pordp h+M ).

Note that in a contrast to ‘ordinary’ p-adic differentiability, now thepositive rational integer M ∈ N is fixed!

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 17 /

43

Page 82: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic Calculus

Differentiability modulo pM

Definition (differentiability modulo pM )

A function F = (f1, . . . , fm) : Znp → Zmp is said to be differentiable modulopM at the point x = (x1, . . . , xn) ∈ Znp if there exists an n×m matrixF ′M (u) over Qp such that for every sufficiently smallh = (h1, . . . , hn) ∈ Znp the following congruence holds:

F (x+ h) ≡ F (x) + h ∙ F ′M (x) (mod pordp h+M ).

Note that in a contrast to ‘ordinary’ p-adic differentiability, now thepositive rational integer M ∈ N is fixed!

Entries ∂Mfi(x)∂Mxjof the matrix F ′M (x) are called partial derivatives modulo

pM ); they are determined up to a summand that is 0 modulo pM . That is,if F is 1-Lipschitz, then all its partial derivatives modulo pM are elementsof Z/pMZ, the residue ring modulo pM .

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 17 /

43

Page 83: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic Calculus

Differentiability modulo pM

Definition (differentiability modulo pM )

A function F = (f1, . . . , fm) : Znp → Zmp is said to be differentiable modulopM at the point x = (x1, . . . , xn) ∈ Znp if there exists an n×m matrixF ′M (u) over Qp such that for every sufficiently smallh = (h1, . . . , hn) ∈ Znp the following congruence holds:

F (x+ h) ≡ F (x) + h ∙ F ′M (x) (mod pordp h+M ).

Entries ∂Mfi(x)∂Mxjof the matrix F ′M (x) are called partial derivatives modulo

pM ); they are determined up to a summand that is 0 modulo pM . That is,if F is 1-Lipschitz, then all its partial derivatives modulo pM are elementsof Z/pMZ, the residue ring modulo pM .

Rules of derivation modulo pM are similar to those of ‘ordinary’ case;however, they are congruences modulo pM , and not equalities.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 17 /

43

Page 84: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic Calculus

Differentiability modulo pM

Definition (differentiability modulo pM )

A function F = (f1, . . . , fm) : Znp → Zmp is said to be differentiable modulopM at the point x = (x1, . . . , xn) ∈ Znp if there exists an n×m matrixF ′M (u) over Qp such that for every sufficiently smallh = (h1, . . . , hn) ∈ Znp the following congruence holds:

F (x+ h) ≡ F (x) + h ∙ F ′M (x) (mod pordp h+M ).

Differentiability modulo pM implies differentiability modulo pM−1.

‘Ordinary’ p-adic differentiability implies differentiability modulo pM

for all M = 1, 2, 3, . . ..

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 17 /

43

Page 85: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic Calculus

Differentiability modulo pM

Definition (differentiability modulo pM )

A function F = (f1, . . . , fm) : Znp → Zmp is said to be differentiable modulopM at the point x = (x1, . . . , xn) ∈ Znp if there exists an n×m matrixF ′M (u) over Qp such that for every sufficiently smallh = (h1, . . . , hn) ∈ Znp the following congruence holds:

F (x+ h) ≡ F (x) + h ∙ F ′M (x) (mod pordp h+M ).

The function F is said to be uniformly differentiability modulo pM iff given

a sufficiently small h, the above congruence holds for all x ∈ Znp si-

multaneously. The smallest ordp h with this property is denoted via NM (F ).

If F is uniformly differentiable modulo pM , its (partial) derivatives modulopM are periodic; the period is pNM (F ). Thus, the derivatives are welldefined on (Z/pNM (F )Z)n (and valuated in Z/pMZ).

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 17 /

43

Page 86: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic Calculus

Differentiability modulo pM

Definition (differentiability modulo pM )

A function F = (f1, . . . , fm) : Znp → Zmp is said to be differentiable modulopM at the point x = (x1, . . . , xn) ∈ Znp if there exists an n×m matrixF ′M (u) over Qp such that for every sufficiently smallh = (h1, . . . , hn) ∈ Znp the following congruence holds:

F (x+ h) ≡ F (x) + h ∙ F ′M (x) (mod pordp h+M ).

Example: f(x, y) = x xor y

The T-function f(x, y) = x xor y is uniformly differentiable modulo 2 onZ22; its partial derivatives modulo 2 are ≡ 1 (mod 2).

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 17 /

43

Page 87: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Basics of p-adics p-adic Calculus

Differentiability modulo pM

Definition (differentiability modulo pM )

A function F = (f1, . . . , fm) : Znp → Zmp is said to be differentiable modulopM at the point x = (x1, . . . , xn) ∈ Znp if there exists an n×m matrixF ′M (u) over Qp such that for every sufficiently smallh = (h1, . . . , hn) ∈ Znp the following congruence holds:

F (x+ h) ≡ F (x) + h ∙ F ′M (x) (mod pordp h+M ).

Example: f(x, y) = x xor y

The T-function f(x, y) = x xor y is uniformly differentiable modulo 2 onZ22; its partial derivatives modulo 2 are ≡ 1 (mod 2).However, x xor y is differentiable modulo 4 at no point of Z22; whence,x xor y is nowhere differentiable on Z22.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 17 /

43

Page 88: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory

The next theme is:

1 Basics of p-adicsp-adic numbersp-adic distancep-adic Calculus

2 The p-adic ergodic theoryBasicsErgodic transformations on the space of p-adic integersErgodic transformations on p-adic balls and p-adic spheres

3 ApplicationsLatin squaresPseudo random generators and stream ciphersTransducers

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 18 /

43

Page 89: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Basics

Next topic:

1 Basics of p-adicsp-adic numbersp-adic distancep-adic Calculus

2 The p-adic ergodic theoryBasicsErgodic transformations on the space of p-adic integersErgodic transformations on p-adic balls and p-adic spheres

3 ApplicationsLatin squaresPseudo random generators and stream ciphersTransducers

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 19 /

43

Page 90: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Basics

Measure preservation and ergodicity

Definition (measure preservation; ergodicity)

A map f : S→ T of a measure space S onto a measure space T endowedwith probability measures μ and ν respectively is called

measure-preserving iff μ(f−1(T )) = ν(T ) for each ν-measurablesubset T ⊂ T, and

ergodic iff S = T, μ = ν, f is measure-preserving and f has no properinvariant μ-measurable subsets:

f−1(S) = S implies either μ(S) = 0 or μ(S) = 1.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 20 /

43

Page 91: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Basics

Measure preservation and ergodicity

A trivial (however, important!) example: Let both S and T be finite,

let both μ(S) =#S

#Sand ν(T ) =

#T

#Tbe “common” probability measures,

and let f map S onto T; then:

f is measure-preserving iff f is balanced, i.e., iff the number off -pre-images of a point from T does not depend on the point:

#f−1(t) =#S#Tfor any t ∈ T.

In particular, in the case when S = T and μ = ν, the map f ismeasure-preserving iff f is bijective, i.e., iff f is a permutation on S.

Finally, f is ergodic iff it is transitive; that is, iff f is a single cyclepermutation on S (clearly, the length of the cycle is #S).

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 20 /

43

Page 92: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Basics

Measure preservation and ergodicity

A trivial (however, important!) example: Let both S and T be finite,

let both μ(S) =#S

#Sand ν(T ) =

#T

#Tbe “common” probability measures,

and let f map S onto T; then:

f is measure-preserving iff f is balanced, i.e., iff the number off -pre-images of a point from T does not depend on the point:

#f−1(t) =#S#Tfor any t ∈ T.

In particular, in the case when S = T and μ = ν, the map f ismeasure-preserving iff f is bijective, i.e., iff f is a permutation on S.

Finally, f is ergodic iff it is transitive; that is, iff f is a single cyclepermutation on S (clearly, the length of the cycle is #S).

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 20 /

43

Page 93: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Basics

Measure preservation and ergodicity

A trivial (however, important!) example: Let both S and T be finite,

let both μ(S) =#S

#Sand ν(T ) =

#T

#Tbe “common” probability measures,

and let f map S onto T; then:

f is measure-preserving iff f is balanced, i.e., iff the number off -pre-images of a point from T does not depend on the point:

#f−1(t) =#S#Tfor any t ∈ T.

In particular, in the case when S = T and μ = ν, the map f ismeasure-preserving iff f is bijective, i.e., iff f is a permutation on S.

Finally, f is ergodic iff it is transitive; that is, iff f is a single cyclepermutation on S (clearly, the length of the cycle is #S).

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 20 /

43

Page 94: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Basics

Measure preservation and ergodicity

Definition (Bijectivity, transitivity, and balance modulo pk)

A 1-Lipschitz map F : Znp → Znp is called bijective (resp., transitive)modulo pk iff the reduced map F mod pk : x 7→ F (x) (mod pk) is abijective (resp,. transitive) transformation on the n-th Cartesianpower (Z/pkZ)n of the residue ring Z/pkZ.

A 1-Lipschitz map F : Zmp → Znp is called balanced modulo pk iff the

reduced map F mod pk is balanced; that is, F mod pk maps(Z/pkZ)m onto (Z/pkZ)n and all elements from (Z/pkZ)n haveequal numbers of F -preimages in (Z/pkZ)m.

Bijectivity modulo pk = invertibility of F mod pk

Transitivity modulo pk = single cycle property of F mod pk: thesequence F (x) mod pk, F (F (x)) mod pk, F (F (F (x))) mod pk, . . .has the longest possible period, of length pkn.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 20 /

43

Page 95: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Basics

Measure preservation and ergodicity

Definition (Bijectivity, transitivity, and balance modulo pk)

A 1-Lipschitz map F : Znp → Znp is called bijective (resp., transitive)modulo pk iff the reduced map F mod pk : x 7→ F (x) (mod pk) is abijective (resp,. transitive) transformation on the n-th Cartesianpower (Z/pkZ)n of the residue ring Z/pkZ.

A 1-Lipschitz map F : Zmp → Znp is called balanced modulo pk iff the

reduced map F mod pk is balanced; that is, F mod pk maps(Z/pkZ)m onto (Z/pkZ)n and all elements from (Z/pkZ)n haveequal numbers of F -preimages in (Z/pkZ)m.

Bijectivity modulo pk = invertibility of F mod pk

Transitivity modulo pk = single cycle property of F mod pk: thesequence F (x) mod pk, F (F (x)) mod pk, F (F (F (x))) mod pk, . . .has the longest possible period, of length pkn.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 20 /

43

Page 96: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Basics

Measure preservation and ergodicity

Definition (Bijectivity, transitivity, and balance modulo pk)

A 1-Lipschitz map F : Znp → Znp is called bijective (resp., transitive)modulo pk iff the reduced map F mod pk : x 7→ F (x) (mod pk) is abijective (resp,. transitive) transformation on the n-th Cartesianpower (Z/pkZ)n of the residue ring Z/pkZ.

A 1-Lipschitz map F : Zmp → Znp is called balanced modulo pk iff the

reduced map F mod pk is balanced; that is, F mod pk maps(Z/pkZ)m onto (Z/pkZ)n and all elements from (Z/pkZ)n haveequal numbers of F -preimages in (Z/pkZ)m.

Bijectivity modulo pk = invertibility of F mod pk

Transitivity modulo pk = single cycle property of F mod pk: thesequence F (x) mod pk, F (F (x)) mod pk, F (F (F (x))) mod pk, . . .has the longest possible period, of length pkn.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 20 /

43

Page 97: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Basics

Measure preservation and ergodicity

Definition (Bijectivity, transitivity, and balance modulo pk)

A 1-Lipschitz map F : Znp → Znp is called bijective (resp., transitive)modulo pk iff the reduced map F mod pk : x 7→ F (x) (mod pk) is abijective (resp,. transitive) transformation on the n-th Cartesianpower (Z/pkZ)n of the residue ring Z/pkZ.

A 1-Lipschitz map F : Zmp → Znp is called balanced modulo pk iff the

reduced map F mod pk is balanced; that is, F mod pk maps(Z/pkZ)m onto (Z/pkZ)n and all elements from (Z/pkZ)n haveequal numbers of F -preimages in (Z/pkZ)m.

Bijectivity modulo pk = invertibility of F mod pk

Transitivity modulo pk = single cycle property of F mod pk: thesequence F (x) mod pk, F (F (x)) mod pk, F (F (F (x))) mod pk, . . .has the longest possible period, of length pkn.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 20 /

43

Page 98: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Basics

Main theorem

The space Zp is endowed with a natural probability measure μp, thenormalized Haar measure. Elementary measurable sets are p-adic balls:μp(Bp−k(a)) = p

−k.

Reminder: A p-adic ball Bp−k(a) = a + pkZp of radius p−k centered ata ∈ Zp is the set of all p-adic integers that are congruent to a modulo pk;that is, the ball consists of all infinite strings that have common initial prefixof length k.By the definition, the measure of this ball is μp(a+ p

kZp) = p−k.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 21 /

43

Page 99: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Basics

Main theorem

The space Zp is endowed with a natural probability measure μp, thenormalized Haar measure. Elementary measurable sets are p-adic balls:μp(Bp−k(a)) = p

−k.

Reminder: A p-adic ball Bp−k(a) = a + pkZp of radius p−k centered ata ∈ Zp is the set of all p-adic integers that are congruent to a modulo pk;that is, the ball consists of all infinite strings that have common initial prefixof length k.By the definition, the measure of this ball is μp(a+ p

kZp) = p−k.

For example, ∙ ∙ ∙ ∗ ∗ ∗ ∗ ∗ 0101 = 5+ 16 ∙Z2 = −13 + 16 ∙Z2 is a 2-adic ball

of radius (and of measure) 116 centered at 5 (or, the same, at −13) consists

of all 2-adic integers whose initial prefix (of length 4) is 0101.

. . . 101010101 = −1

3. . . 000000101 = 5

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 21 /

43

Page 100: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Basics

Main theorem

The space Zp is endowed with a natural probability measure μp, thenormalized Haar measure. Elementary measurable sets are p-adic balls:μp(Bp−k(a)) = p

−k.

Reminder: A p-adic ball Bp−k(a) = a + pkZp of radius p−k centered ata ∈ Zp is the set of all p-adic integers that are congruent to a modulo pk;that is, the ball consists of all infinite strings that have common initial prefixof length k.By the definition, the measure of this ball is μp(a+ p

kZp) = p−k.

That is, μp(Bp−k(a)) is just a probability that a randomly chosen

p-adic integer is congruent to a modulo pk;

or in other words, μp(Bp−k(a)) is just a probability that the initialk-letter segment of an infinite random string over the alphabet{0, 1, . . . , p− 1} agrees with the initial k-letter segment of the stringthat represents the p-adic integer a.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 21 /

43

Page 101: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Basics

Main theorem

The space Zp is endowed with a natural probability measure μp, thenormalized Haar measure. Elementary measurable sets are p-adic balls:μp(Bp−k(a)) = p

−k.

Reminder: A p-adic ball Bp−k(a) = a + pkZp of radius p−k centered ata ∈ Zp is the set of all p-adic integers that are congruent to a modulo pk;that is, the ball consists of all infinite strings that have common initial prefixof length k.By the definition, the measure of this ball is μp(a+ p

kZp) = p−k.

That is, μp(Bp−k(a)) is just a probability that a randomly chosen

p-adic integer is congruent to a modulo pk;

or in other words, μp(Bp−k(a)) is just a probability that the initialk-letter segment of an infinite random string over the alphabet{0, 1, . . . , p− 1} agrees with the initial k-letter segment of the stringthat represents the p-adic integer a.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 21 /

43

Page 102: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Basics

Main theorem

Reminder: A p-adic ball Bp−k(a) = a + pkZp of radius p−k centered ata ∈ Zp is the set of all p-adic integers that are congruent to a modulo pk;that is, the ball consists of all infinite strings that have common initial prefixof length k.By the definition, the measure of this ball is μp(a+ p

kZp) = p−k.In a similar way we define the measure μp on Znp :By the definition, the measure of an n-dimensional p-adic ball of radius p−k

is p−kn.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 21 /

43

Page 103: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Basics

Main theorem

By the definition, the measure of an n-dimensional p-adic ball of radius p−k

is p−kn.

Definition (measure preservation and ergodicity on Zp)

A map f : Zp → Zp is called ergodic iff

f preserves the measure μp; that is, μp(f−1(S)) = μp(S) for each

μp-measurable subset S ⊂ Zp, and

f has no proper invariant μp-measurable subsets:

f−1(S) = S implies either μp(S) = 0 or μp(S) = 1.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 21 /

43

Page 104: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Basics

Main theorem

By the definition, the measure of an n-dimensional p-adic ball of radius p−k

is p−kn.

Theorem (V. A., 2002)

A 1-Lipschitz map F : Znp → Zmp preserves the measure μp iff every itsreduction modulo pk

F mod pk : (Z/pkZ)n → (Z/pkZ)m

is balanced, for all k = 1, 2, 3, . . .

Once m = n = 1, the 1-Lipschitz map F is ergodic iff its reductionmodulo pk

F mod pk : Z/pkZ→ Z/pkZ

is transitive, for all k = 1, 2, 3, . . ..

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 21 /

43

Page 105: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Basics

Main theorem

Theorem (V. A., 2002)

A 1-Lipschitz map F : Znp → Zmp preserves the measure μp iff every itsreduction modulo pk

F mod pk : (Z/pkZ)n → (Z/pkZ)m

is balanced, for all k = 1, 2, 3, . . .

Once m = n = 1, the 1-Lipschitz map F is ergodic iff its reductionmodulo pk

F mod pk : Z/pkZ→ Z/pkZ

is transitive, for all k = 1, 2, 3, . . ..

In other words: Measure preservation (resp., ergodicity) of a p-adic 1-Lipschitz transformation f : Zp → Zp is equivalent to bijectivity (resp.,transitivity) of all maps f mod pk : Z/pkZ→ Z/pkZ.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 21 /

43

Page 106: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Basics

Main theorem

Measure preservation (resp., ergodicity) of a p-adic 1-Lipschitz transforma-tion f : Zp → Zp is equivalent to bijectivity (resp., transitivity) of all mapsf mod pk : Z/pkZ→ Z/pkZ.

It turns out that in many cases bijectivity (resp., transitivity) of f modulopk for some k implies measure preservation (resp., ergodicity) of f on Zp;whence by main theorem implies bijectivity (resp., transitivity) of fmodulo pk for all k = 1, 2, 3, . . .

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 21 /

43

Page 107: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Ergodic transformations on the space of p-adic integers

Next topic:

1 Basics of p-adicsp-adic numbersp-adic distancep-adic Calculus

2 The p-adic ergodic theoryBasicsErgodic transformations on the space of p-adic integersErgodic transformations on p-adic balls and p-adic spheres

3 ApplicationsLatin squaresPseudo random generators and stream ciphersTransducers

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 22 /

43

Page 108: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Ergodic transformations on the space of p-adic integers

Ergodicity of uniformly differentiable functions

Theorem (on measure preservation; V. A., 2002)

Let a 1-Lipschitz function F : Znp → Zmp be uniformly differentiable modpon Znp .

The function F preserves the measure μp whenever f is balancedmodulo pk for some (equivalently, for any) k ≥ N1(F ) and the rankof the matrix F ′1(u) modulo p is m for allu = (u1, . . . , un) ∈ (Z/pN1(F )Z)n.

When m = n, these conditions are also necessary: the function Fpreserves the measure μp if and only if F is bijective modulo p

k forsome (equivalently, for any) k ≥ N1(F ) and det(F ′1(u)) 6≡ 0 (mod p)for all u = (u1, . . . , un) ∈ (Z/pN1(F )Z)n.

When m = n, the function F preserves the measure μp if and only ifF is bijective modulo pk for some (equivalently, for any)k ≥ N1(F ) + 1.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 23 /

43

Page 109: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Ergodic transformations on the space of p-adic integers

Ergodicity of uniformly differentiable functions

Theorem (on measure preservation; V. A., 2002)

Let a 1-Lipschitz function F : Znp → Zmp be uniformly differentiable modpon Znp .

The function F preserves the measure μp whenever f is balancedmodulo pk for some (equivalently, for any) k ≥ N1(F ) and the rankof the matrix F ′1(u) modulo p is m for allu = (u1, . . . , un) ∈ (Z/pN1(F )Z)n.

When m = n, these conditions are also necessary: the function Fpreserves the measure μp if and only if F is bijective modulo p

k forsome (equivalently, for any) k ≥ N1(F ) and det(F ′1(u)) 6≡ 0 (mod p)for all u = (u1, . . . , un) ∈ (Z/pN1(F )Z)n.

When m = n, the function F preserves the measure μp if and only ifF is bijective modulo pk for some (equivalently, for any)k ≥ N1(F ) + 1.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 23 /

43

Page 110: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Ergodic transformations on the space of p-adic integers

Ergodicity of uniformly differentiable functions

Theorem (on measure preservation; V. A., 2002)

Let a 1-Lipschitz function F : Znp → Zmp be uniformly differentiable modpon Znp .

The function F preserves the measure μp whenever f is balancedmodulo pk for some (equivalently, for any) k ≥ N1(F ) and the rankof the matrix F ′1(u) modulo p is m for allu = (u1, . . . , un) ∈ (Z/pN1(F )Z)n.

When m = n, these conditions are also necessary: the function Fpreserves the measure μp if and only if F is bijective modulo p

k forsome (equivalently, for any) k ≥ N1(F ) and det(F ′1(u)) 6≡ 0 (mod p)for all u = (u1, . . . , un) ∈ (Z/pN1(F )Z)n.

When m = n, the function F preserves the measure μp if and only ifF is bijective modulo pk for some (equivalently, for any)k ≥ N1(F ) + 1.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 23 /

43

Page 111: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Ergodic transformations on the space of p-adic integers

Ergodicity of uniformly differentiable functions

Theorem (on ergodicity, V. A., 1994)

Let a 1-Lipschitz function f : Zp → Zp be uniformly differentiable modp2

on Zp. The function f is ergodic if and only if f is transitive modulo pk

for some (equivalently, for any) k > N2(f) + 2.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 23 /

43

Page 112: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Ergodic transformations on the space of p-adic integers

Ergodicity in terms of Mahler expansion

Various p-adic techniques may be used to determine measure preservationand/or ergodicity, and not only the one that uses derivations. Other tech-niques are based on convergent p-adic series, e.g. on Mahler series, van derPut series, Taylor series, etc.

Due to time constraints, in the lecture we consider only Mahler series.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 24 /

43

Page 113: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Ergodic transformations on the space of p-adic integers

Ergodicity in terms of Mahler expansion

Every continuous map f : Zp → Zp can be expressed via Mahler interpola-tion series

f(x) =∞∑

i=0

ai

(x

i

)

.

Here ai ∈ Zp, i = 0, 1, 2, . . ., and

(x

i

)

=x(x− 1) ∙ ∙ ∙ (x− i+ 1)

i!

for i = 1, 2, . . .;(x0

)= 1 by the definition.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 24 /

43

Page 114: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Ergodic transformations on the space of p-adic integers

Ergodicity in terms of Mahler expansion

Every continuous map f : Zp → Zp can be expressed via Mahler interpola-tion series

f(x) =∞∑

i=0

ai

(x

i

)

.

Here ai ∈ Zp, i = 0, 1, 2, . . ., and

(x

i

)

=x(x− 1) ∙ ∙ ∙ (x− i+ 1)

i!

for i = 1, 2, . . .;(x0

)= 1 by the definition.

The series converges uniformly on Zp if and only if

p

limi→∞

ai = 0.

Uniformly continuous Mahler series determines a uniformly continuous func-tion.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 24 /

43

Page 115: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Ergodic transformations on the space of p-adic integers

Ergodicity in terms of Mahler expansion

Theorem (V. A.: 1994 for p = 2, 2002 for p > 2)

The function

f(x) =∞∑

i=0

ai

(x

i

)

determines a 1-Lipschitz ergodic transformation on Zp whenever thefollowing conditions hold simultaneously:

a0 6≡ 0 (mod p);

a1 ≡ 1 (mod p), for p odd;

a1 ≡ 1 (mod 4), for p = 2;

ai ≡ 0 (mod pblogp(i+1)c+1), i = 2, 3, . . . .

Moreover, in the case p = 2 these conditions are necessary.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 24 /

43

Page 116: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Ergodic transformations on the space of p-adic integers

Various classes of ergodic transformations on ZpDenote xi = x(x− 1) ∙ ∙ ∙ (x− i+ 1) the i-th descending factorial power ofx ∈ Zp. Then all functions from the following class B are 1-Lipschitz anduniformly differentiable on Zp:

B =

{

f : Zp → Zp : f(x) =∞∑

i=0

eixi,where ei ∈ Zp; i = 0, 1, 2, . . .

}

.

In other words, if f(x) =∑∞i=0 ai

(xi

)is Mahler expansion for f , then

f ∈ B if and only if aii! are p-adic integers for all i = 0, 1, 2, . . ..

Actually the class B is a Stone-Weierstrass completion of polynomial func-tions over Zp: along with polynomials, it contains analytic functions over Zp(e.g., entire functions, exponential functions) and some other functions.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 25 /

43

Page 117: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Ergodic transformations on the space of p-adic integers

Various classes of ergodic transformations on ZpDenote xi = x(x− 1) ∙ ∙ ∙ (x− i+ 1) the i-th descending factorial power ofx ∈ Zp. Then all functions from the following class B are 1-Lipschitz anduniformly differentiable on Zp:

B =

{

f : Zp → Zp : f(x) =∞∑

i=0

eixi,where ei ∈ Zp; i = 0, 1, 2, . . .

}

.

Actually the class B is a Stone-Weierstrass completion of polynomial func-tions over Zp: along with polynomials, it contains analytic functions overZp (e.g., entire functions, exponential functions) and some other functions.

Theorem (V. A., 2002)

A B-function f is measure preserving iff f is bijective modulo p2.

A B-function f is ergodic iff f is transitive either modulo p2 whenp /∈ {2, 3} or modulo p3 when p ∈ {2, 3}.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 25 /

43

Page 118: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Ergodic transformations on the space of p-adic integers

Various classes of ergodic transformations on ZpDenote xi = x(x− 1) ∙ ∙ ∙ (x− i+ 1) the i-th descending factorial power ofx ∈ Zp.

B =

{

f : Zp → Zp : f(x) =∞∑

i=0

eixi,where ei ∈ Zp; i = 0, 1, 2, . . .

}

.

Corollary (measure preservation/ergodicity criteria for p = 2)

A T-function f ∈ B is measure preserving if and only if

e1 ≡ 1 (mod 2), e2 ≡ 0 (mod 2), e3 ≡ 0 (mod 2).

A T-function f ∈ B is ergodic on Z2 if and only if

e0 ≡ 1 (mod 2), e1 ≡ 1 (mod 4), e2 ≡ 0 (mod 2), e3 ≡ 0 (mod 4).

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 25 /

43

Page 119: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Ergodic transformations on the space of p-adic integers

Various classes of ergodic transformations on ZpThe following theorem, which can be derived from the measure-preservation/ergodicity criteria for Mahler series, yields a general and com-plete characterization of measure preserving/ergodic T-functions:

Theorem ( V. A., 2002)

A T-function f : Z2 → Z2 is measure preserving if and only if it is ofthe form

f(x) = c+ x+ 2 ∙ g(x),

where c ∈ Z2 and g : Z2 → Z2 is arbitrary T-function.

A T-function f : Z2 → Z2 is ergodic if and only if it is of the form

f(x) = 1 + x+ 2 ∙ (g(x+ 1)− g(x)),

where g : Z2 → Z2 is arbitrary T-function.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 25 /

43

Page 120: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Ergodic transformations on the space of p-adic integers

Various classes of ergodic transformations on Zp

Examples

The function f(x) = 1 + x+ p2

1+px is ergodic on Zp; e.g.,

1 + x+ 41+2x is an ergodic T-function.

The function f(x) = (1 + p)x+ (1 + p)x is ergodic on Zp; e.g.,3x+ 3x is an ergodic T-function.

The following T-function is ergodic on Z2:

f(x) =2 +x

3+1

3x+ 2 ∙

((x2 + 2x) xor (1/3)

2x+ 3

) (x+1)and(1/5)1−2x

+ 2 ∙ not

((x2 − 1) xor (1/3)

2x+ 1

)xand(1/5)5−2x

.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 25 /

43

Page 121: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Ergodic transformations on p-adic balls and p-adic spheres

Next topic:

1 Basics of p-adicsp-adic numbersp-adic distancep-adic Calculus

2 The p-adic ergodic theoryBasicsErgodic transformations on the space of p-adic integersErgodic transformations on p-adic balls and p-adic spheres

3 ApplicationsLatin squaresPseudo random generators and stream ciphersTransducers

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 26 /

43

Page 122: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Ergodic transformations on p-adic balls and p-adic spheres

Ergodic transformations on p-adic balls

Usually the problem to determine ergodicity of a 1-Lipschitz transformationon a ball Bp−k(a) = a + pkZp from Zp can be reduced to the one on thewhole space Zp.

Indeed, if f : Zp → Zp is a 1-Lipschitz transformation on Zp s.t.f(a+ pkZp) ⊂ a+ pkZp, then necessarily f(a) = a+ pky for asuitable y ∈ Zp.

Thus, f(a+ pkz) = f(a) + pk ∙ g(z) for any z ∈ Zp; so we can relateto f the following 1-Lipschitz transformation on Zp

g : z 7→ g(z) =1

pk(f(a+ pkz)− a− pky); z ∈ Zp.

The transformation f is ergodic on the ball Bp−k(a) if and only if thetransformation g is ergodic on Zp.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 27 /

43

Page 123: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Ergodic transformations on p-adic balls and p-adic spheres

Ergodic transformations on p-adic balls

Usually the problem to determine ergodicity of a 1-Lipschitz transformationon a ball Bp−k(a) = a + pkZp from Zp can be reduced to the one on thewhole space Zp.

Indeed, if f : Zp → Zp is a 1-Lipschitz transformation on Zp s.t.f(a+ pkZp) ⊂ a+ pkZp, then necessarily f(a) = a+ pky for asuitable y ∈ Zp.

Thus, f(a+ pkz) = f(a) + pk ∙ g(z) for any z ∈ Zp; so we can relateto f the following 1-Lipschitz transformation on Zp

g : z 7→ g(z) =1

pk(f(a+ pkz)− a− pky); z ∈ Zp.

The transformation f is ergodic on the ball Bp−k(a) if and only if thetransformation g is ergodic on Zp.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 27 /

43

Page 124: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Ergodic transformations on p-adic balls and p-adic spheres

Ergodic transformations on p-adic balls

Usually the problem to determine ergodicity of a 1-Lipschitz transformationon a ball Bp−k(a) = a + pkZp from Zp can be reduced to the one on thewhole space Zp.

Indeed, if f : Zp → Zp is a 1-Lipschitz transformation on Zp s.t.f(a+ pkZp) ⊂ a+ pkZp, then necessarily f(a) = a+ pky for asuitable y ∈ Zp.

Thus, f(a+ pkz) = f(a) + pk ∙ g(z) for any z ∈ Zp; so we can relateto f the following 1-Lipschitz transformation on Zp

g : z 7→ g(z) =1

pk(f(a+ pkz)− a− pky); z ∈ Zp.

The transformation f is ergodic on the ball Bp−k(a) if and only if thetransformation g is ergodic on Zp.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 27 /

43

Page 125: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Ergodic transformations on p-adic balls and p-adic spheres

Ergodic transformations on p-adic balls

Usually the problem to determine ergodicity of a 1-Lipschitz transformationon a ball Bp−k(a) = a + pkZp from Zp can be reduced to the one on thewhole space Zp.

Indeed, if f : Zp → Zp is a 1-Lipschitz transformation on Zp s.t.f(a+ pkZp) ⊂ a+ pkZp, then necessarily f(a) = a+ pky for asuitable y ∈ Zp.

Thus, f(a+ pkz) = f(a) + pk ∙ g(z) for any z ∈ Zp; so we can relateto f the following 1-Lipschitz transformation on Zp

g : z 7→ g(z) =1

pk(f(a+ pkz)− a− pky); z ∈ Zp.

The transformation f is ergodic on the ball Bp−k(a) if and only if thetransformation g is ergodic on Zp.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 27 /

43

Page 126: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Ergodic transformations on p-adic balls and p-adic spheres

Ergodic transformations of spheres in ZpThe problem to determine whether a 1-Lipschitz transformation on a p-adicsphere is ergodic is more complicated than the one for balls.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 28 /

43

Page 127: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Ergodic transformations on p-adic balls and p-adic spheres

Ergodic transformations of spheres in ZpThe problem to determine whether a 1-Lipschitz transformation on a p-adicsphere is ergodic is more complicated than the one for balls.A sphere Sp−k(a) of radius p

−k centered at a ∈ Zp is a disjoint union ofp− 1 (thus, not all) balls of radius 1

pk+1each:

Sp−k(a) =

p−1⋃

s=1

(a+ pks+ pk+1Zp).

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 28 /

43

Page 128: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Ergodic transformations on p-adic balls and p-adic spheres

Ergodic transformations of spheres in ZpA sphere Sp−k(a) of radius p

−k centered at a ∈ Zp is a disjoint union of

p− 1 balls of radius 1pk+1

each: Sp−k(a) =⋃p−1s=1(a+ p

ks+ pk+1Zp).

Lemma

A 1-Lipschitz map f : Zp → Zp is ergodic on the sphere Sp−k(a) if andonly if the following two conditions hold simultaneously:

1 the map z 7→ f(z) mod pk+1 is transitive on the set

Sp−k(a) mod pk+1 = {a+ pks : s = 1, 2, . . . , p− 1} ⊂ Z/pk+1Z; and

2 the map fp−1 (i.e., (p− 1) times iterated map f) is ergodic on theball Bp−(k+1)(a+ p

ks) = a+ pks+ pk+1Zp of radius 1pk+1

centered at

a+ pks, for some (equivalently, for all) s ∈ {1, 2, . . . , p− 1}

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 28 /

43

Page 129: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Ergodic transformations on p-adic balls and p-adic spheres

Ergodic transformations of spheres in ZpA sphere Sp−k(a) of radius p

−k centered at a ∈ Zp is a disjoint union of

p− 1 balls of radius 1pk+1

each: Sp−k(a) =⋃p−1s=1(a+ p

ks+ pk+1Zp).

Theorem (V. A., 2005)

A B-function f is ergodic on the p-adic sphere Sp−k(a) of a sufficiently

small radius p−k if and only if one of the following alternative is true:1 If p is odd, the next two conditions hold simultaneously:

|f(a)− a|p ≤ p−k−1,f ′(a) is primitive modulo p2.

2 If p = 2, the next two conditions hold simultaneously:

|f(a)− a|2 = 2−k−1,|f ′(a)− 1|2 ≤ 1

4 .

NB: We say that z ∈ Zp is primitive modulo pk iff z mod pk generates thewhole group (Z/pkZ)∗ of invertible elements of the residue ring Z/pkZ.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 28 /

43

Page 130: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

The p-adic ergodic theory Ergodic transformations on p-adic balls and p-adic spheres

Ergodic transformations of spheres in ZpA sphere Sp−k(a) of radius p

−k centered at a ∈ Zp is a disjoint union of

p− 1 balls of radius 1pk+1

each: Sp−k(a) =⋃p−1s=1(a+ p

ks+ pk+1Zp).

Corollary

Let a ∈ Zp be a fixed point of a B-function f , and let p be odd. Then, fis ergodic on all spheres around a of sufficiently small radii if and only if fis ergodic on some sphere around a of a sufficiently small radius.

Corollary (solution to Gundlach-Khrennikov-Lindahl problem)

The perturbed monomial mapping f : x 7→ x` + q(x), whereq(x) = pk+1u(x) and u is a B-function, is ergodic on the sphere Sp−k(1),k > 1, if and only if ` is primitive modulo p2.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 28 /

43

Page 131: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications

Our final theme is:

1 Basics of p-adicsp-adic numbersp-adic distancep-adic Calculus

2 The p-adic ergodic theoryBasicsErgodic transformations on the space of p-adic integersErgodic transformations on p-adic balls and p-adic spheres

3 ApplicationsLatin squaresPseudo random generators and stream ciphersTransducers

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 29 /

43

Page 132: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Latin squares

Next topic:

1 Basics of p-adicsp-adic numbersp-adic distancep-adic Calculus

2 The p-adic ergodic theoryBasicsErgodic transformations on the space of p-adic integersErgodic transformations on p-adic balls and p-adic spheres

3 ApplicationsLatin squaresPseudo random generators and stream ciphersTransducers

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 30 /

43

Page 133: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Latin squares

(Mutually orthogonal) Latin squares

Reminder: Latin square

A Latin square of order P is a P ×P matrix containing P distinct symbols(usually denoted by 0, 1, . . . , P − 1) such that each row and column of thematrix contains each symbol exactly once.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 31 /

43

Page 134: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Latin squares

(Mutually orthogonal) Latin squares

Reminder: Latin square

A Latin square of order P is a P ×P matrix containing P distinct symbols(usually denoted by 0, 1, . . . , P − 1) such that each row and column of thematrix contains each symbol exactly once.

In other words, a Latin square is a 2-variate map f : P2 → P (where P ={0, 1, . . . , P − 1}) that is invertible (i.e., bijective) with respect to eithervariable.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 31 /

43

Page 135: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Latin squares

(Mutually orthogonal) Latin squares

Reminder: Latin square

A Latin square of order P is a P ×P matrix containing P distinct symbols(usually denoted by 0, 1, . . . , P − 1) such that each row and column of thematrix contains each symbol exactly once.

In other words, a Latin square is a 2-variate map f : P2 → P (where P ={0, 1, . . . , P − 1}) that is invertible (i.e., bijective) with respect to eithervariable.Latin squares are being used widely: For games (recall sudoku), and formore serious applications as, say, private communication networks (forpassword distribution), in coding theory, in some cryptographic algorithms,etc.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 31 /

43

Page 136: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Latin squares

(Mutually orthogonal) Latin squares

Reminder: Latin square

A Latin square of order P is a P ×P matrix containing P distinct symbols(usually denoted by 0, 1, . . . , P − 1) such that each row and column of thematrix contains each symbol exactly once.

In other words, a Latin square is a 2-variate map f : P2 → P (where P ={0, 1, . . . , P − 1}) that is invertible (i.e., bijective) with respect to eithervariable.Note that the problem is not only to produce a number of large Latin squares;another part of the problem is that in some constraint environments (e.g.,in smart cards) we can not store the whole matrix in memory: Given twonumbers a, b ∈ {0, 1, . . . , P − 1} we must calculate the (a, b)-th entry ofthe matrix on-the-fly!

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 31 /

43

Page 137: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Latin squares

(Mutually orthogonal) Latin squares

Reminder: Latin square

A Latin square of order P is a P ×P matrix containing P distinct symbols(usually denoted by 0, 1, . . . , P − 1) such that each row and column of thematrix contains each symbol exactly once.

In other words, a Latin square is a 2-variate map f : P2 → P (where P ={0, 1, . . . , P − 1}) that is invertible (i.e., bijective) with respect to eithervariable.Note that the problem is not only to produce a number of large Latin squares;another part of the problem is that in some constraint environments (e.g.,in smart cards) we can not store the whole matrix in memory: Given twonumbers a, b ∈ {0, 1, . . . , P − 1} we must calculate the (a, b)-th entry ofthe matrix on-the-fly!

The p-adic ergodic theory yields a solution to either part of the problem.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 31 /

43

Page 138: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Latin squares

(Mutually orthogonal) Latin squares

Reminder: Latin square

A Latin square of order P is a P ×P matrix containing P distinct symbols(usually denoted by 0, 1, . . . , P − 1) such that each row and column of thematrix contains each symbol exactly once.

In other words, a Latin square is a 2-variate map f : P2 → P (where P ={0, 1, . . . , P − 1}) that is invertible (i.e., bijective) with respect to eithervariable.

Definition (Latin square modulo pk)

We say that a 1-Lipschitz map f : Z2p → Zp is a Latin square modulo pk iffthe reduced map f mod pk : Z/pkZ× Z/pkZ→ Z/pkZ is a Latin squareon Z/pkZ = {0, 1, . . . , pk − 1}.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 31 /

43

Page 139: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Latin squares

(Mutually orthogonal) Latin squares

Definition (Latin square modulo pk)

We say that a 1-Lipschitz map f : Z2p → Zp is a Latin square modulo pk iffthe reduced map f mod pk : Z/pkZ× Z/pkZ→ Z/pkZ is a Latin squareon Z/pkZ = {0, 1, . . . , pk − 1}.

Theorem on measure preservation immediately implies the following

Theorem (on Latin squares modulo pk)

A uniformly differentiable modulo p 1-Lipschitz function f : Z2p → Zp is aLatin square modulo pk for all k = 1, 2, . . . iff the two conditions hold:

f is a Latin square modulo pN1(f), and∂1f(u)∂1xi

6≡ 0 (mod p) for all u ∈ (Z/pN1(f)Z)2, i = 1, 2.

Or, equivalently: iff f is bijective modulo pN1(f)+1 w.r.t. either variable.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 31 /

43

Page 140: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Latin squares

(Mutually orthogonal) Latin squares

Theorem (on Latin squares modulo pk)

A uniformly differentiable modulo p 1-Lipschitz function f : Z2p → Zp is aLatin square modulo pk for all k = 1, 2, . . . iff the two conditions hold:

f is a Latin square modulo pN1(f), and∂1f(u)∂1xi

6≡ 0 (mod p) for all u ∈ (Z/pN1(f)Z)2, i = 1, 2.

Or, equivalently: iff f is bijective modulo pN1(f)+1 w.r.t. either variable.

Proof.

By theorem on measure preservation, the function f is bijective modulo pk

with respect to either variable iff f is bijective modulo pN1(f) with respectto either variable, and both partial derivatives modulo p, ∂1f(x,y)∂1x

and∂1f(x,y)∂1y

, are 0 nowhere; these conditions are equivalent to the bijectivity

modulo pN1(f)+1 of the function f with respect to either variable.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 31 /

43

Page 141: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Latin squares

(Mutually orthogonal) Latin squares

Theorem (on Latin squares modulo pk)

A uniformly differentiable modulo p 1-Lipschitz function f : Z2p → Zp is aLatin square modulo pk for all k = 1, 2, . . . iff the two conditions hold:

f is a Latin square modulo pN1(f), and∂1f(u)∂1xi

6≡ 0 (mod p) for all u ∈ (Z/pN1(f)Z)2, i = 1, 2.

Or, equivalently: iff f is bijective modulo pN1(f)+1 w.r.t. either variable.

Example (Latin square on 2k symbols)

Take arbitrary T-function v(x, y) and arbitrary γ ∈ Z. Then the T-functionf(x, y) = x+ y + γ + 2 ∙ v(x, y) is a Latin square mod2k, k = 1, 2, . . ..

Indeed, f(x, y) ≡ x + y + γ (mod 2) is a Latin square modulo 2, and∂1f(x,y)∂1x

≡ ∂1f(x,y)∂1y

≡ 1 (mod 2).

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 31 /

43

Page 142: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Latin squares

(Mutually orthogonal) Latin squares

Theorem (on Latin squares modulo pk)

A uniformly differentiable modulo p 1-Lipschitz function f : Z2p → Zp is aLatin square modulo pk for all k = 1, 2, . . . iff the two conditions hold:

f is a Latin square modulo pN1(f), and∂1f(u)∂1xi

6≡ 0 (mod p) for all u ∈ (Z/pN1(f)Z)2, i = 1, 2.

Or, equivalently: iff f is bijective modulo pN1(f)+1 w.r.t. either variable.

Example (Latin square on 2k ∙ 3` ∙ ∙ ∙ pr symbols)

The function f(x, y) = x+ y + 2 ∙ 3 ∙ ∙ ∙ p ∙ v(x, y), where v(x, y) is anarbitrary polynomial with rational integer coefficients, is a Latin square onN = 2k ∙ 3` ∙ ∙ ∙ pr symbols.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 31 /

43

Page 143: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Latin squares

(Mutually orthogonal) Latin squares

Mutually orthogonal Latin squares can be constructed in a similar fashion.

Reminder: Mutually orthogonal Latin squares

Two P ×P Latin squares are said to be orthogonal if when the squares aresuperimposed each of the P 2 ordered pairs of symbols appears exactlyonce.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 31 /

43

Page 144: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Latin squares

(Mutually orthogonal) Latin squares

Reminder: Mutually orthogonal Latin squares

Two P ×P Latin squares are said to be orthogonal if when the squares aresuperimposed each of the P 2 ordered pairs of symbols appears exactlyonce.

For instance, the following two Latin squares are orthogonal

0 1 2 0 1 21 2 0 2 0 12 0 1 1 2 0

as after superimposition we get a square where all pairs are different:

(0, 0) (1, 1) (2, 2)(1, 2) (2, 0) (0, 1)(2, 1) (0, 2) (1, 0)

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 31 /

43

Page 145: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Latin squares

(Mutually orthogonal) Latin squares

Reminder: Mutually orthogonal Latin squares

Two P ×P Latin squares are said to be orthogonal if when the squares aresuperimposed each of the P 2 ordered pairs of symbols appears exactlyonce.

Mutually orthogonal Latin squares are used in experiment design to provideconsistent testing of samples, as well as in cryptography (e.g., as blockmixers for block ciphers, and as cipher combiners), etc.Yet again, there is no problem to construct a pair of small mutually orthog-onal Latin squares; the problem is to create a software that produces manypairs of large mutually orthogonal Latin squares.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 31 /

43

Page 146: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Latin squares

(Mutually orthogonal) Latin squares

Again, the method follows from theorem on measure preservation:

Theorem (on mutually orthogonal Latin squares)

Let g, f : Z2p → Zp be 1-Lipschitz functions that are uniformly differentiablemodulo p and that are Latin squares modulo pk for all k = 1, 2, . . .. ThenI Latin squares gmod pk and fmod pk are orthogonal for allk = 1, 2, . . . iff the function F (x, y) = (f(x, y), g(x, y)) : Z2p → Z2ppreserves the measure.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 31 /

43

Page 147: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Latin squares

(Mutually orthogonal) Latin squares

Theorem (on mutually orthogonal Latin squares)

Let g, f : Z2p → Zp be 1-Lipschitz functions that are uniformly differentiablemodulo p and that are Latin squares modulo pk for all k = 1, 2, . . .. ThenI Latin squares gmod pk and fmod pk are orthogonal for allk = 1, 2, . . . iff the function F (x, y) = (f(x, y), g(x, y)) : Z2p → Z2ppreserves the measure.I The latter holds iff fmod pk and gmod pk are orthogonal for somek ≥ max{N1(f), N1(g)}, and

det

(∂1f(x,y)∂1x

∂1g(x,y)∂1x

∂1f(x,y)∂1y

∂1g(x,y)∂1y

)

6≡ 0 (mod p)

for all (x, y) ∈ (Z/pN1(F )Z)2.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 31 /

43

Page 148: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Latin squares

(Mutually orthogonal) Latin squares

Theorem (on mutually orthogonal Latin squares)

Let g, f : Z2p → Zp be 1-Lipschitz functions that are uniformly differentiablemodulo p and that are Latin squares modulo pk for all k = 1, 2, . . .. ThenI Latin squares gmod pk and fmod pk are orthogonal for allk = 1, 2, . . . iff the function F (x, y) = (f(x, y), g(x, y)) : Z2p → Z2ppreserves the measure.I The latter holds iff fmod pk and gmod pk are orthogonal for somek ≥ max{N1(f), N1(g)}, and

det

(∂1f(x,y)∂1x

∂1g(x,y)∂1x

∂1f(x,y)∂1y

∂1g(x,y)∂1y

)

6≡ 0 (mod p)

for all (x, y) ∈ (Z/pN1(F )Z)2.I Or, equivalently, iff fmod pk and gmod pk are orthogonal for somek ≥ max{N1(f), N1(g)}+ 1.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 31 /

43

Page 149: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Latin squares

(Mutually orthogonal) Latin squares

Example (mutually orthogonal Latin squares of composite order)

Let P be a finite set of odd primes; let v(x, y), w(x, y) be polynomials overZ. Denote

Π =∏

p∈P

p

Then the following Latin squares f and g are mutually orthogonal moduloP for every P whose prime divisors are in P:

f(x, y) = x+ y +Π ∙ v(x, y);

g(x, y) = −x+ y +Π ∙ w(x, y).

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 31 /

43

Page 150: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Pseudo random generators and stream ciphers

Next topic:

1 Basics of p-adicsp-adic numbersp-adic distancep-adic Calculus

2 The p-adic ergodic theoryBasicsErgodic transformations on the space of p-adic integersErgodic transformations on p-adic balls and p-adic spheres

3 ApplicationsLatin squaresPseudo random generators and stream ciphersTransducers

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 32 /

43

Page 151: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Pseudo random generators and stream ciphers

Pseudorandom generators

A pseudorandom number generator (PRNG) is an algorithm that takes ashort random string (a seed) and stretches it to a much longer string thatlooks like random.

“Looks like random” means “passes prescribed statistical tests”Thus, the very concept of “pseudorandomness” depends on what tests theoutput of the PRNG must pass!

PRNG are being used widely: in cryptography, for computer simulations, innumerical analysis (e.g., in quasi Monte Carlo algorithms), etc.; and testsuits the PRNG must pass depend heavily on applications; however, a com-mon demand is that the output of a PRNG must be uniformly distributed:limit frequencies of occurrences of symbols must be equal for all symbols.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 33 /

43

Page 152: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Pseudo random generators and stream ciphers

Pseudorandom generators

xi

f

F

xi+1 = f(xi)

F (xi)

A typical PRNG may be schematically represented as above, where

x0 is a seed, the initial state of the registry;

f is a state update (=state transition) function;

F is an output function.Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory

Lectures at Universite de Picardie 33 /43

Page 153: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Pseudo random generators and stream ciphers

Pseudorandom generators

xi

f

F

xi+1 = f(xi)

F (xi)

PRNG can be viewed as an autonomous dynamical system:sequence of states=orbit; output sequence=observable

states: x0, x1 = f(x0), x2 = f(x1), . . . , xi+1 = f(xi) = fi+1(x0), . . .

output: F (x0), F (x1), F (x2), . . . , F (xi+1), . . .

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 33 /

43

Page 154: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Pseudo random generators and stream ciphers

Pseudorandom generators

xi

f

F

xi+1 = f(xi)

F (xi)

Let this dynamical system be ergodic; for instance:

let the state transition function be f = f mod 2k, where f : Z2 → Z2is a 1-Lipschitz ergodic map;

let the output function be F = F mod 2`, where `n = k andF : Zn2 → Zm2 is a 1-Lipschitz measure-preserving map.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 33 /

43

Page 155: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Pseudo random generators and stream ciphers

Pseudorandom generators

xi

f

F

xi+1 = f(xi)

F (xi)

Let this dynamical system be ergodic; for instance:

let the state transition function be f = f mod 2k, where f : Z2 → Z2is a 1-Lipschitz ergodic map;

let the output function be F = F mod 2`, where `n = k andF : Zn2 → Zm2 is a 1-Lipschitz measure-preserving map.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 33 /

43

Page 156: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Pseudo random generators and stream ciphers

Pseudorandom generators

xi

f

F

xi+1 = f(xi)

F (xi)

Let this dynamical system be ergodic; for instance:

let the state transition function be f = f mod 2k, where f : Z2 → Z2is a 1-Lipschitz ergodic map;

let the output function be F = F mod 2`, where `n = k andF : Zn2 → Zm2 is a 1-Lipschitz measure-preserving map.

Then the output sequence (of `m-bit words)F (x0), F (x1), F (x2), . . . , F (xi+1), . . .is strictly uniformly distributed: That is, the output sequence is purelyperiodic (having a period of length 2k) and all `m-bit words occur at theperiod with equal frequencies.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 33 /

43

Page 157: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Pseudo random generators and stream ciphers

Pseudorandom generators

As we just have seen, the p-adic ergodic theory offers effective tools toconstruct measure preserving/ergodic maps.

These maps can be used (and already are being used) to constructboth state transition functions and output functions of variousPRNGs.

In particular, all balanced T-functions, invertible T-functions, andtransitive T-functions can be constructed/determined with the use ofp-adic ergodic theory.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 33 /

43

Page 158: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Pseudo random generators and stream ciphers

Pseudorandom generators

Moreover, all previously known results on so-called congruential generators(both linear and non-linear; e.g., polynomial, inversive, exponential, etc.)can be re-proved within the p-adic ergodic theory and considerablygeneralized.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 33 /

43

Page 159: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Pseudo random generators and stream ciphers

Pseudorandom generators

Moreover, all previously known results on so-called congruential generators(both linear and non-linear; e.g., polynomial, inversive, exponential, etc.)can be re-proved within the p-adic ergodic theory and considerablygeneralized.

We illustrate the general approach by the example of exponential generator:

When a generator defined by the recursion xi+1 = axi mod pk

has the longest possible period? Find the length of the period.

To simplify considerations, we assume that a ≡ 1 (mod p) and p > 3.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 33 /

43

Page 160: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Pseudo random generators and stream ciphers

Pseudorandom generators

When a generator defined by the recursion xi+1 = axi mod pk

has the longest possible period? Find the length of the period.

To simplify considerations, we assume that a ≡ 1 (mod p) and p > 3.I As a = 1 + pz for suitable z ∈ Zp, the 1-Lipschitz function f(x) =(1 + pz)x maps Zp into the ball Bp−1(1) = 1 + pZp; so we can write1 + p ∙ g(x) = (1 + pz)x and then study the function g(x).

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 33 /

43

Page 161: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Pseudo random generators and stream ciphers

Pseudorandom generators

When a generator defined by the recursion xi+1 = axi mod pk

has the longest possible period? Find the length of the period.

To simplify considerations, we assume that a ≡ 1 (mod p) and p > 3.I As a = 1 + pz for suitable z ∈ Zp, the 1-Lipschitz function f(x) =(1 + pz)x maps Zp into the ball Bp−1(1) = 1 + pZp; so we can write1 + p ∙ g(x) = (1 + pz)x and then study the function g(x).I By Newton binomial, (1 + pz)x =

∑∞i=0 p

izi(xi

), so Mahler expansion

for g(x) is: g(x) = zx+ pz2(x2

)+ p2z3

(x3

)+ ∙ ∙ ∙ . Thus, g is a B-function.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 33 /

43

Page 162: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Pseudo random generators and stream ciphers

Pseudorandom generators

When a generator defined by the recursion xi+1 = axi mod pk

has the longest possible period? Find the length of the period.

To simplify considerations, we assume that a ≡ 1 (mod p) and p > 3.I As a = 1 + pz for suitable z ∈ Zp, the 1-Lipschitz function f(x) =(1 + pz)x maps Zp into the ball Bp−1(1) = 1 + pZp; so we can write1 + p ∙ g(x) = (1 + pz)x and then study the function g(x).I By Newton binomial, (1 + pz)x =

∑∞i=0 p

izi(xi

), so Mahler expansion

for g(x) is: g(x) = zx+ pz2(x2

)+ p2z3

(x3

)+ ∙ ∙ ∙ . Thus, g is a B-function.

I In the case when z 6≡ 0 (mod p), all p-adic spheres around 0 are invariantunder action of g, so the period is the longest possible if g is ergodic onspheres Sp−r(0) around 0.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 33 /

43

Page 163: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Pseudo random generators and stream ciphers

Pseudorandom generators

When a generator defined by the recursion xi+1 = axi mod pk

has the longest possible period? Find the length of the period.

To simplify considerations, we assume that a ≡ 1 (mod p) and p > 3.I As a = 1 + pz for suitable z ∈ Zp, the 1-Lipschitz function f(x) =(1 + pz)x maps Zp into the ball Bp−1(1) = 1 + pZp; so we can write1 + p ∙ g(x) = (1 + pz)x and then study the function g(x).I By Newton binomial, (1 + pz)x =

∑∞i=0 p

izi(xi

), so Mahler expansion

for g(x) is: g(x) = zx+ pz2(x2

)+ p2z3

(x3

)+ ∙ ∙ ∙ . Thus, g is a B-function.

I In the case when z 6≡ 0 (mod p), all p-adic spheres around 0 are invariantunder action of g, so the period is the longest possible if g is ergodic onspheres Sp−r(0) around 0.I Now using theorem on ergodicity on spheres we conclude that g′(0) ≡z− p2z

2 (mod p2) is primitive modulo p2 whenever z is primitive modulo p2,and that the length of the shortest period is (p−1)pk−2, for all k = 2, 3, . . .

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 33 /

43

Page 164: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Pseudo random generators and stream ciphers

Stream ciphers

Stream ciphers can be viewed as pseudorandom generators that are cryp-tographically secure. Several stream ciphers use a state update T-functionfrom the following theorem:

Theorem (Klimov and Shamir, 2003)

The T-function f(x) = x+ (x2 or 5) is transitive modulo 2k for allk = 1, 2, 3, . . ..

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 34 /

43

Page 165: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Pseudo random generators and stream ciphers

Stream ciphers

Theorem (Klimov and Shamir, 2003)

The T-function f(x) = x+ (x2 or 5) is transitive modulo 2k for allk = 1, 2, 3, . . ..

It worth mention that although in their paper Klimov and Shamir cited mytheorem on ergodicity, however, they wrote: “...neither the invertibility northe cycle structure of x+(x2 or 5) could be determined by his techniques.”Just on the contrary, their theorem immediately follows from mine’s.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 34 /

43

Page 166: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Pseudo random generators and stream ciphers

Stream ciphers

Theorem (Klimov and Shamir, 2003)

The T-function f(x) = x+ (x2 or 5) is transitive modulo 2k for allk = 1, 2, 3, . . ..

Proof.

The function f(x) = x+ (x2 or 5) is uniformly differentiable on Z2:f ′(x) = 1 + 2x ∙ (x or 5)′ = 1 + 2x and N2(f) 6 3 as

(x+ h) or 5 = (x or 5) + h

whenever h ≡ 0 (mod 8); the latter is obvious since 5 =...000101.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 34 /

43

Page 167: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Pseudo random generators and stream ciphers

Stream ciphers

Theorem (Klimov and Shamir, 2003)

The T-function f(x) = x+ (x2 or 5) is transitive modulo 2k for allk = 1, 2, 3, . . ..

Proof.

The function f(x) = x+ (x2 or 5) is uniformly differentiable on Z2:f ′(x) = 1 + 2x ∙ (x or 5)′ = 1 + 2x and N2(f) 6 3 as

(x+ h) or 5 = (x or 5) + h

whenever h ≡ 0 (mod 8); the latter is obvious since 5 =...000101.Now by the ergodicity theorem it suffices to show that f is transitivemodulo 32; direct calculation of f(0), f(f(0)), . . . , f31(0) modulo 32 endsthe proof.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 34 /

43

Page 168: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Pseudo random generators and stream ciphers

Stream ciphers

Many other crucial cryptographic properties of various stream ciphers canbe examined with the use the p-adic dynamics, and new cryptographic prim-itives can be developed on this base. More about this in Applied AlgebraicDynamics.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 34 /

43

Page 169: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Transducers

Next topic:

1 Basics of p-adicsp-adic numbersp-adic distancep-adic Calculus

2 The p-adic ergodic theoryBasicsErgodic transformations on the space of p-adic integersErgodic transformations on p-adic balls and p-adic spheres

3 ApplicationsLatin squaresPseudo random generators and stream ciphersTransducers

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 35 /

43

Page 170: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Transducers

The 0-1 law for automata

Given a transducer A with a p-letter input/output alphabets, let f =fA : Zp → Zp be the automaton function (i.e., a 1-Lipschitz function).Consider all the following points of the Euclidean unit square E2 =[0, 1]× [0, 1] ⊂ R2:

efk(x) =

(xmod pk

pk,f(x)mod pk

pk

)

,

x ∈ Zp, k = 1, 2, . . ..

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 36 /

43

Page 171: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Transducers

The 0-1 law for automata

Given a transducer A with a p-letter input/output alphabets, let f =fA : Zp → Zp be the automaton function (i.e., a 1-Lipschitz function).Consider all the following points of the Euclidean unit square E2 =[0, 1]× [0, 1] ⊂ R2:

efk(x) =

(xmod pk

pk,f(x)mod pk

pk

)

,

x ∈ Zp, k = 1, 2, . . ..

Note that f(x)mod pk is merely a k-letter output word that correspondsto the k-letter input word xmod pk.

A

x mod pk = = f(x) mod pkχk−1 ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙χ1χ0 ξk−1 ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ξ1ξ0︸ ︷︷ ︸

(0.χk−1 . . . χ1χ0; 0.ξk−1 . . . ξ1ξ0)

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 36 /

43

Page 172: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Transducers

The 0-1 law for automata

Given a transducer A with a p-letter input/output alphabets, let f =fA : Zp → Zp be the automaton function (i.e., a 1-Lipschitz function).Consider all the following points of the Euclidean unit square E2 =[0, 1]× [0, 1] ⊂ R2:

efk(x) =

(xmod pk

pk,f(x)mod pk

pk

)

,

x ∈ Zp, k = 1, 2, . . ..Denote α(f) the Lebesgue measure of a closure of all efk(x) in E.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 36 /

43

Page 173: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Transducers

The 0-1 law for automata

Given a transducer A with a p-letter input/output alphabets, let f =fA : Zp → Zp be the automaton function (i.e., a 1-Lipschitz function).Consider all the following points of the Euclidean unit square E2 =[0, 1]× [0, 1] ⊂ R2:

efk(x) =

(xmod pk

pk,f(x)mod pk

pk

)

,

x ∈ Zp, k = 1, 2, . . ..Denote α(f) the Lebesgue measure of a closure of all efk(x) in E.

Theorem (automata 0-1 law; V. A., 2009)

Given a 1-Lipschitz function f : Zp → Zp, the following alternative holds:Either α(f) = 0, or α(f) = 1 otherwise.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 36 /

43

Page 174: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Transducers

The 0-1 law for automata

Theorem (automata 0-1 law; V. A., 2009)

Given a 1-Lipschitz function f : Zp → Zp, the following alternative holds:Either α(f) = 0, or α(f) = 1 otherwise.

We will say for short that a 1-Lipschitz map (resp., a transducer)f : Zp → Zp is of measure 1 iff α(f) = 1, and of measure 0 otherwise.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 36 /

43

Page 175: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Transducers

The 0-1 law for automata

Theorem (automata 0-1 law; V. A., 2009)

Given a 1-Lipschitz function f : Zp → Zp, the following alternative holds:Either α(f) = 0, or α(f) = 1 otherwise.

We will say for short that a 1-Lipschitz map (resp., a transducer)f : Zp → Zp is of measure 1 iff α(f) = 1, and of measure 0 otherwise.

If being used as “sources of pseudorandomness”, transducers of measure 1are more preferable than the ones of measure 0; so the problem is:

How to construct 1-Lipschitz maps/transducers of measure 1?

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 36 /

43

Page 176: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Transducers

The 0-1 law for automata

Theorem (automata 0-1 law; V. A., 2009)

Given a 1-Lipschitz function f : Zp → Zp, the following alternative holds:Either α(f) = 0, or α(f) = 1 otherwise.

We will say for short that a 1-Lipschitz map (resp., a transducer)f : Zp → Zp is of measure 1 iff α(f) = 1, and of measure 0 otherwise.

If being used as “sources of pseudorandomness”, transducers of measure 1are more preferable than the ones of measure 0; so the problem is:

How to construct 1-Lipschitz maps/transducers of measure 1?

The problem turns out to be tightly related to transitivity properties offamilies of word transformations related to a given transducer.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 36 /

43

Page 177: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Transducers

Word transformations performed by automata

Further we consider only accessible automata; that is, given a state u,there exist a finite input sequence w0, . . . , wn such that once thesequence has been inputted, the automaton reaches the state u.

Moreover, further the word “automaton” stands for accessibletransducer; the automaton A = 〈I, S,O, S,O, s0〉 whose input/outputalphabets consist of p letters: I = O = Fp = {0, 1, . . . , p− 1}.

To every automaton of this kind we associate a family As, s ∈ S, ofautomata As = 〈I, S,O, S,O, s〉, and a corresponding family FA of1-Lipschitz transformations fAs , s ∈ S, on Zp.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 37 /

43

Page 178: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Transducers

Word transformations performed by automata

Further we consider only accessible automata; that is, given a state u,there exist a finite input sequence w0, . . . , wn such that once thesequence has been inputted, the automaton reaches the state u.

Moreover, further the word “automaton” stands for accessibletransducer; the automaton A = 〈I, S,O, S,O, s0〉 whose input/outputalphabets consist of p letters: I = O = Fp = {0, 1, . . . , p− 1}.

To every automaton of this kind we associate a family As, s ∈ S, ofautomata As = 〈I, S,O, S,O, s〉, and a corresponding family FA of1-Lipschitz transformations fAs , s ∈ S, on Zp.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 37 /

43

Page 179: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Transducers

Word transformations performed by automata

Further we consider only accessible automata; that is, given a state u,there exist a finite input sequence w0, . . . , wn such that once thesequence has been inputted, the automaton reaches the state u.

Moreover, further the word “automaton” stands for accessibletransducer; the automaton A = 〈I, S,O, S,O, s0〉 whose input/outputalphabets consist of p letters: I = O = Fp = {0, 1, . . . , p− 1}.

To every automaton of this kind we associate a family As, s ∈ S, ofautomata As = 〈I, S,O, S,O, s〉, and a corresponding family FA of1-Lipschitz transformations fAs , s ∈ S, on Zp.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 37 /

43

Page 180: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Transducers

Word transformations performed by automata

Further we consider only accessible automata; that is, given a state u,there exist a finite input sequence w0, . . . , wn such that once thesequence has been inputted, the automaton reaches the state u.

Moreover, further the word “automaton” stands for accessibletransducer; the automaton A = 〈I, S,O, S,O, s0〉 whose input/outputalphabets consist of p letters: I = O = Fp = {0, 1, . . . , p− 1}.

To every automaton of this kind we associate a family As, s ∈ S, ofautomata As = 〈I, S,O, S,O, s〉, and a corresponding family FA of1-Lipschitz transformations fAs , s ∈ S, on Zp.

Reminder: transitivity of families of mappings

A family F of transformations on the set M is called transitive whenevergiven a pair (a, b) ∈M ×M , there exists f ∈ F such that f(a) = b.Note that a single transformation f : M →M is said to be transitive, iff fis bijective and the family {e, f±1, f±2, . . .} is transitive.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 37 /

43

Page 181: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Transducers

Word transformations performed by automata

Reminder: transitivity of families of mappings

A family F of transformations on the set M is called transitive whenevergiven a pair (a, b) ∈M ×M , there exists f ∈ F such that f(a) = b.Note that a single transformation f : M →M is said to be transitive, iff fis bijective and the family {e, f±1, f±2, . . .} is transitive.

An automaton A = 〈I, S,O, S,O, s0〉 is said to be

n-word transitive, if fA mod pn is a transitive transformation on the

set Wn = Z/pnZ of all words of length n;

word transitive, if it is n-word transitive for all n = 1, 2, 3, . . .;

completely transitive, if the family fAs mod pn, s ∈ S, is transitive on

Wn, n = 1, 2, 3, . . .;

absolutely transitive, if every automaton As, s ∈ S, is completelytransitive.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 37 /

43

Page 182: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Transducers

Word transformations performed by automata

An automaton A = 〈I, S,O, S,O, s0〉 is said to be

n-word transitive, if fA mod pn is a transitive transformation on the

set Wn = Z/pnZ of all words of length n;

word transitive, if it is n-word transitive for all n = 1, 2, 3, . . .;

completely transitive, if the family fAs mod pn, s ∈ S, is transitive on

Wn, n = 1, 2, 3, . . .;

absolutely transitive, if every automaton As, s ∈ S, is completelytransitive.

Word transitivity Given two finite words V , W , |V | = |W |,one transforms V into W applying A sufficient number of times.

A A︸︷︷︸V

︸︷︷︸W

∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 37 /

43

Page 183: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Transducers

Word transformations performed by automata

An automaton A = 〈I, S,O, S,O, s0〉 is said to be

n-word transitive, if fA mod pn is a transitive transformation on the

set Wn = Z/pnZ of all words of length n;

word transitive, if it is n-word transitive for all n = 1, 2, 3, . . .;

completely transitive, if the family fAs mod pn, s ∈ S, is transitive on

Wn, n = 1, 2, 3, . . .;

absolutely transitive, if every automaton As, s ∈ S, is completelytransitive.

Complete transitivity: Given finite words V , W , |V | = |W |, there exists afinite word Z such that

A∗ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∗︸ ︷︷ ︸

Z

︸︷︷︸V

︸︷︷︸W

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 37 /

43

Page 184: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Transducers

Word transformations performed by automata

An automaton A = 〈I, S,O, S,O, s0〉 is said to be

n-word transitive, if fA mod pn is a transitive transformation on the

set Wn = Z/pnZ of all words of length n;

word transitive, if it is n-word transitive for all n = 1, 2, 3, . . .;

completely transitive, if the family fAs mod pn, s ∈ S, is transitive on

Wn, n = 1, 2, 3, . . .;

absolutely transitive, if every automaton As, s ∈ S, is completelytransitive.

Absolute transitivity: Given finite words U , V , W , |V | = |W |, there existsa finite word Z such that

A︸︷︷︸U

∗ ∙ ∙ ∙ ∗︸ ︷︷ ︸Z

︸︷︷︸V

︸︷︷︸W

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 37 /

43

Page 185: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Transducers

Word transformations performed by automata

From the p-adic ergodic theory (see main theorem) we already know howto determine whether an automaton A is

invertible (=bijective), since the automaton A is invertible if and onlyif the transformation fA on Zp is measure-preserving;

word transitive, since the automaton A is word transitive if and only ifthe transformation fA on Zp is ergodic.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 37 /

43

Page 186: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Transducers

Word transformations performed by automata

From the p-adic ergodic theory (see main theorem) we already know howto determine whether an automaton A is

invertible (=bijective), since the automaton A is invertible if and onlyif the transformation fA on Zp is measure-preserving;

word transitive, since the automaton A is word transitive if and only ifthe transformation fA on Zp is ergodic.

For instance, in the case when the automaton function fA is uniformly dif-ferentiable both theorem on measure preservation and theorem on ergodicityyield:

Let the automaton function fA : Zp → Zp be uniformly differentiable onZp. The automaton A is invertible (accordingly, word transitive) if andonly if it is invertible on the set of all words of length n (accordingly, isn-word transitive) for a sufficiently large n.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 37 /

43

Page 187: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Transducers

Transitivity and measure of automata

Now we will learn how to construct automata of measure 1.

Proposition (V. A., 2009–2010)

An automaton A is completely transitive if and only if α(fA) = 1.

If an automaton A is finite (that is, its state set S is finite) thenα(fA) = 0.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 38 /

43

Page 188: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Transducers

Transitivity and measure of automata

Now we will learn how to construct automata of measure 1.

Proposition (V. A., 2009–2010)

An automaton A is completely transitive if and only if α(fA) = 1.

If an automaton A is finite (that is, its state set S is finite) thenα(fA) = 0.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 38 /

43

Page 189: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Transducers

Transitivity and measure of automata

Now we will learn how to construct automata of measure 1.

Proposition (V. A., 2009–2010)

An automaton A is completely transitive if and only if α(fA) = 1.

If an automaton A is finite (that is, its state set S is finite) thenα(fA) = 0.

Theorem (V. A., 2009-2010)

Let a 1-Lipschitz function f = fA : Zp → Zp be differentiable in aneighbourhood of some point v ∈ N0, where f ′′(v) 6= 0; let f(N0) ⊂ N0.Then the automaton A is completely transitive, and whence α(f) = 1.

For instance, the following T-functions satisfy the theorem:

f(x) = 3x+ 3x;

f(x) = x+ (x2 or c), where c ∈ {0, 1, 2, . . .}

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 38 /

43

Page 190: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Transducers

Transitivity and measure of automata

Proposition (V. A., 2009–2010)

An automaton A is completely transitive if and only if α(fA) = 1.

If an automaton A is finite (that is, its state set S is finite) thenα(fA) = 0.

Theorem (V. A., 2009-2010)

Let a 1-Lipschitz function f = fA : Zp → Zp be differentiable in aneighbourhood of some point v ∈ N0, where f ′′(v) 6= 0; let f(N0) ⊂ N0.Then the automaton A is completely transitive, and whence α(f) = 1.

Theorem (V. A.,2009)

If f is a polynomial over Z and deg f ≥ 2, then f is absolutely transitive,and thus α(f) = 1.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 38 /

43

Page 191: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Transducers

Transitivity and measure of automata

Proposition (V. A., 2009–2010)

An automaton A is completely transitive if and only if α(fA) = 1.

If an automaton A is finite (that is, its state set S is finite) thenα(fA) = 0.

The following properties of automata are independent:

to be ergodic/non-ergodic;

to be of measure 0/of measure 1.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 38 /

43

Page 192: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Transducers

Transitivity and measure of automata

Proposition (V. A., 2009–2010)

An automaton A is completely transitive if and only if α(fA) = 1.

If an automaton A is finite (that is, its state set S is finite) thenα(fA) = 0.

The following properties of automata are independent:

to be ergodic/non-ergodic;

to be of measure 0/of measure 1.

A polynomial of degree ≥ 2 over Z is always of measure 1; however, itmay be ergodic or non-ergodic.

Affine map f(x) = ax+ b, a, b ∈ Z, is always of measure 0; however,it may be ergodic or non-ergodic.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 38 /

43

Page 193: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Transducers

Transitivity and measure of automata

Proposition (V. A., 2009–2010)

An automaton A is completely transitive if and only if α(fA) = 1.

If an automaton A is finite (that is, its state set S is finite) thenα(fA) = 0.

The following properties of automata are independent:

to be ergodic/non-ergodic;

to be of measure 0/of measure 1.

Although a finite automaton is always of measure 0, it can be at thesame time ergodic or non-ergodic: Note that the affine mapf(x) = ax+ b, a, b ∈ Z, may be evaluated by a finite automaton.

Although an automaton of measure 1 must be infinite, infiniteautomaton may be of measure 0: consider e.g. the T-functionf(x) = x+ (x2 or (−13)).Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory

Lectures at Universite de Picardie 38 /43

Page 194: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Applications Transducers

Transitivity and measure of automata

Proposition (V. A., 2009–2010)

An automaton A is completely transitive if and only if α(fA) = 1.

If an automaton A is finite (that is, its state set S is finite) thenα(fA) = 0.

The following properties of automata are independent:

to be ergodic/non-ergodic;

to be of measure 0/of measure 1.

Although a finite automaton is always of measure 0, it can be at thesame time ergodic or non-ergodic.

Although an automaton of measure 1 must be infinite, infiniteautomaton may be of measure 0: consider e.g. the T-functionf(x) = x+ (x2 or (−13)).

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 38 /

43

Page 195: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Other applications of non-Archimedean dynamicswhich were not mentioned:

Information processing: data analysis, clustering.

Image processing: image recognition, computer vision.

Physics: spin glasses; p-adic strings; p-adic time.

Genetics: genetic code on the 2-adic plane.

Biology: protein dynamics.

Cognitive sciences: dynamics of thinking.

Artificial intelligence: psycho-robots.

Formal languages: decidability problems on regular languages.

...and more.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 39 /

43

Page 196: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Other applications of non-Archimedean dynamicswhich were not mentioned:

Information processing: data analysis, clustering.

Image processing: image recognition, computer vision.

Physics: spin glasses; p-adic strings; p-adic time.

Genetics: genetic code on the 2-adic plane.

Biology: protein dynamics.

Cognitive sciences: dynamics of thinking.

Artificial intelligence: psycho-robots.

Formal languages: decidability problems on regular languages.

...and more.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 39 /

43

Page 197: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Other applications of non-Archimedean dynamicswhich were not mentioned:

Information processing: data analysis, clustering.

Image processing: image recognition, computer vision.

Physics: spin glasses; p-adic strings; p-adic time.

Genetics: genetic code on the 2-adic plane.

Biology: protein dynamics.

Cognitive sciences: dynamics of thinking.

Artificial intelligence: psycho-robots.

Formal languages: decidability problems on regular languages.

...and more.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 39 /

43

Page 198: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Other applications of non-Archimedean dynamicswhich were not mentioned:

Information processing: data analysis, clustering.

Image processing: image recognition, computer vision.

Physics: spin glasses; p-adic strings; p-adic time.

Genetics: genetic code on the 2-adic plane.

Biology: protein dynamics.

Cognitive sciences: dynamics of thinking.

Artificial intelligence: psycho-robots.

Formal languages: decidability problems on regular languages.

...and more.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 39 /

43

Page 199: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Other applications of non-Archimedean dynamicswhich were not mentioned:

Information processing: data analysis, clustering.

Image processing: image recognition, computer vision.

Physics: spin glasses; p-adic strings; p-adic time.

Genetics: genetic code on the 2-adic plane.

Biology: protein dynamics.

Cognitive sciences: dynamics of thinking.

Artificial intelligence: psycho-robots.

Formal languages: decidability problems on regular languages.

...and more.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 39 /

43

Page 200: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Other applications of non-Archimedean dynamicswhich were not mentioned:

Information processing: data analysis, clustering.

Image processing: image recognition, computer vision.

Physics: spin glasses; p-adic strings; p-adic time.

Genetics: genetic code on the 2-adic plane.

Biology: protein dynamics.

Cognitive sciences: dynamics of thinking.

Artificial intelligence: psycho-robots.

Formal languages: decidability problems on regular languages.

...and more.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 39 /

43

Page 201: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Other applications of non-Archimedean dynamicswhich were not mentioned:

Information processing: data analysis, clustering.

Image processing: image recognition, computer vision.

Physics: spin glasses; p-adic strings; p-adic time.

Genetics: genetic code on the 2-adic plane.

Biology: protein dynamics.

Cognitive sciences: dynamics of thinking.

Artificial intelligence: psycho-robots.

Formal languages: decidability problems on regular languages.

...and more.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 39 /

43

Page 202: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Other applications of non-Archimedean dynamicswhich were not mentioned:

Information processing: data analysis, clustering.

Image processing: image recognition, computer vision.

Physics: spin glasses; p-adic strings; p-adic time.

Genetics: genetic code on the 2-adic plane.

Biology: protein dynamics.

Cognitive sciences: dynamics of thinking.

Artificial intelligence: psycho-robots.

Formal languages: decidability problems on regular languages.

...and more.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 39 /

43

Page 203: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Other applications of non-Archimedean dynamicswhich were not mentioned:

Information processing: data analysis, clustering.

Image processing: image recognition, computer vision.

Physics: spin glasses; p-adic strings; p-adic time.

Genetics: genetic code on the 2-adic plane.

Biology: protein dynamics.

Cognitive sciences: dynamics of thinking.

Artificial intelligence: psycho-robots.

Formal languages: decidability problems on regular languages.

...and more.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 39 /

43

Page 204: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Messages of the lecture

The non-Archimedean dynamics (in particular, the p-adic ergodictheory) serves as a way to solve ‘discrete’ problems by ‘continual’methods: one lifts finite dynamics to a continuum phase space,studies dynamical behaviour there and then projects the result backonto the initial finite domain.

The approach results in an effective toolbox to handle ‘discrete’problems of computer science (e.g., those connected withT-functions, automata, Latin squares, congruential generators, andstream ciphers) by ‘continual’ methods.

The practical effectiveness is based (among other things) on the factthat basic computer instructions are continuous with respect to 2-adicmetric.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 40 /

43

Page 205: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Messages of the lecture

The non-Archimedean dynamics (in particular, the p-adic ergodictheory) serves as a way to solve ‘discrete’ problems by ‘continual’methods: one lifts finite dynamics to a continuum phase space,studies dynamical behaviour there and then projects the result backonto the initial finite domain.

The approach results in an effective toolbox to handle ‘discrete’problems of computer science (e.g., those connected withT-functions, automata, Latin squares, congruential generators, andstream ciphers) by ‘continual’ methods.

The practical effectiveness is based (among other things) on the factthat basic computer instructions are continuous with respect to 2-adicmetric.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 40 /

43

Page 206: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Messages of the lecture

The non-Archimedean dynamics (in particular, the p-adic ergodictheory) serves as a way to solve ‘discrete’ problems by ‘continual’methods: one lifts finite dynamics to a continuum phase space,studies dynamical behaviour there and then projects the result backonto the initial finite domain.

The approach results in an effective toolbox to handle ‘discrete’problems of computer science (e.g., those connected withT-functions, automata, Latin squares, congruential generators, andstream ciphers) by ‘continual’ methods.

The practical effectiveness is based (among other things) on the factthat basic computer instructions are continuous with respect to 2-adicmetric.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 40 /

43

Page 207: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Messages of the lecture

The non-Archimedean dynamics (in particular, the p-adic ergodictheory) serves as a way to solve ‘discrete’ problems by ‘continual’methods: one lifts finite dynamics to a continuum phase space,studies dynamical behaviour there and then projects the result backonto the initial finite domain.

The approach results in an effective toolbox to handle ‘discrete’problems of computer science (e.g., those connected withT-functions, automata, Latin squares, congruential generators, andstream ciphers) by ‘continual’ methods.

The practical effectiveness is based (among other things) on the factthat basic computer instructions are continuous with respect to 2-adicmetric.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 40 /

43

Page 208: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

Thank you!

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 41 /

43

Page 209: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

p = 2: f(x) = 1 + x+ 4((7 + 177x) or (3−

13x));

α(f) = 0.Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory

Lectures at Universite de Picardie 42 /43

Page 210: The p-adic Ergodic Theory - UPJVleve/ejc2011/PDF_EJC2011/cours_An… · Vladimir Anashin (Moscow State University) The p-adic Ergodic Theory Lectures at Universit´e de Picardie 8

p = 2: f(x) = 1 + x+ 4x2; α(f) = 1.

Vladimir Anashin (Moscow State University) The p-adic Ergodic TheoryLectures at Universite de Picardie 43 /

43