Fast arithmetical algorithms in M obius number systems Petr K - - PowerPoint PPT Presentation

fast arithmetical algorithms in m obius number systems
SMART_READER_LITE
LIVE PREVIEW

Fast arithmetical algorithms in M obius number systems Petr K - - PowerPoint PPT Presentation

Fast arithmetical algorithms in M obius number systems Petr K urka Center for Theoretical Study Academy of Sciences and Charles University in Prague Valparaiso, November 2011 Iterative systems X compact metric space, A finite alphabet (


slide-1
SLIDE 1

Fast arithmetical algorithms in M¨

  • bius number systems

Petr K˚ urka

Center for Theoretical Study Academy of Sciences and Charles University in Prague Valparaiso, November 2011

slide-2
SLIDE 2

Iterative systems X compact metric space, A finite alphabet (Fa : X → X)a∈A continuous. (Fu : X → X)u∈A∗, Fuv = Fu ◦ Fv, Fλ = Id Theorem(Barnsley) If (Fa : X → X)a∈A are contractions, then there exists a unique attractor Y ⊆ X with Y =

a∈A Fa(Y ), and a continuous

surjective symbolic mapping Φ : AN → Y {Φ(u)} =

  • n>0

Fu[0,n)(X), u ∈ AN

slide-3
SLIDE 3

Binary system A = {0, 1}, Φ2 : AN → [0, 1] F0(x) = x 2, F1(x) = x + 1 2 Φ2(u) =

  • i≥0

ui · 2−i−1, u ∈ AN

1 [0] [1]

Expansion graph: x

a

→ F −1

a (x) if x ∈ Wa = Fa[0, 1]

slide-4
SLIDE 4

Binary signed system is redundant A = {1, 0, 1}, Φ3 : AN → [−1, 1] F1(x) = x − 1 2 , F0(x) = x 2, F1(x) = x + 1 2 Φ3(u) =

  • i≥0

ui · 2−i−1, u ∈ AN

  • 1

1 [1]

  • [0]

[1]

slide-5
SLIDE 5

Real orientation-preserving M¨

  • bius transformations

Ma,b,c,d(x) = ax + b cx + d , ad − bc > 0 act on R = R ∪ {∞} and on U = {z ∈ C : ℑ(z) > 0} Stereographic projection d(z) = iz+1

z+i

d : R → ∂D = {z ∈ C : |z| = 1} unit circle d : U → D = {z ∈ C : |z| < 1} unit disc

slide-6
SLIDE 6

Disc M¨

  • bius transformations

M = d ◦ M ◦ d−1

  • F0(z) = 3z−i

iz+3

F0(x) = x/2 hyperbolic

  • F1(z) = (2+i)z+1

z+2−i

F1(x) = x + 1 parabolic

  • F2(z) =

(7+2i)z+i −iz+(7−2i)

F2(x) = 4x+1

3−x

elliptic

1/0

  • 4
  • 2
  • 1
  • 1/2
  • 1/4

1/4 1/2 1 2 4 1/0

  • 3
  • 2
  • 1

1 2 3 1/0

  • 1

1

Mean value E( Mℓ) =

  • ∂D

z d( Mℓ) = M(0)

slide-7
SLIDE 7

Circle metric and derivation the length of arc between d(x) and d(y): ̺(x, y) = 2 arcsin |x − y|

  • (x2 + 1)(y 2 + 1)

circle derivation of M(x) = (ax + b)/(cx + d): M•(x) = lim

y→x

̺(M(x), M(y)) ̺(x, y) = (ad − bc)(x2 + 1) (ax + b)2 + (cx + d)2

slide-8
SLIDE 8

Contracting and expanding intervals Uu = {x ∈ R : F •

u (x) < 1},

Fu(Uu) = Vu Vu = {x ∈ R : (F −1

u )•(x) > 1}

F(x)=x/2 U V F(x)=x+1 U V − √ 2 −

√ 2 2

√ 2

√ 2 2

− 1

2 1 2

slide-9
SLIDE 9

  • bius number system(MNS) (F, W)

(Fa : R → R)a∈A M¨

  • bius transformations

Wa ⊆ Va expansion intervals

a∈A Wa = R

Expansion graph: x

a

→ F −1

a (x) if x ∈ Wa

x

u0

→ F −1

u0 (x) u1

→ F −1

u0u1(x) u2

→ · · · x ∈ Wu0, F −1

u0 (x) ∈ Wu1, F −1 u0u1(x) ∈ Wu2

Wu := Wu0 ∩ Fu0(Wu1) ∩ · · · ∩ Fu[0,n)(Wun) x ∈ Wu iff u is the label of a path with source x:

slide-10
SLIDE 10

Expansion subshift: SW := {u ∈ AN : ∀n, Wu[0,n) = ∅} Symbolic extension: Φ(u) = lim

n→∞ Fu[0,n)(i) ∈ R, u ∈ SW

Φ : SW → R is continuous and surjective.

slide-11
SLIDE 11

Continued fractions a0 −

1

a1 − 1 a2 − · · · = F a0

1 F0F a1 1 F0 · · ·

F1(x) = x − 1, W1 = (∞, −1) F0(x) = −1/x, W0 = (−1, 1) F1(x) = x + 1, W1 = (1, ∞) SW is a SFT. forbidden words: 00, 11, 11, 101, 101 x

a

→ F −1

a (x) if x ∈ Wa

  • 2
  • 1

1 2 3 1 1 1

  • 1/1
  • 1/2
  • 1/2
  • 1/3
  • 1/3

0/1 1/2 1/1 1/3 1/2 0/1 1/3 3/2 2/1 1/1 3/2 2/1 3/1 3/1 4/1 4/1 1/0

  • 2/1
  • 3/2
  • 3/2
  • 1/1
  • 3/1
  • 2/1
  • 4/1
  • 3/1

1/0

  • 4/1

1 1

  • 01

01

  • 10

11 10

  • 11
  • 1

011 1

  • 011
  • 101
  • 110

111 101

  • 110
  • 111
slide-12
SLIDE 12

Binary signed system, A = {1, 1, 2}

F1(x) = (x − 1)/2 F1(x) = (x + 1)/2 F2(x) = 2x W1 = (−1, 0)

1

→ (−1, 1) W1 = (0, 1)

1

→ (−1, 1) W2 = (1, −1)

2

→ ( 1

2, − 1 2)

SW is a SFT. forbidden words: 12, 12, 211, 211 SW = {2nu : u ∈ {1, 1}N} Φ(2nu) = ∞

i=0 ui · 2n−i

7/8 1/1 3/4 7/8 5/8 3/4 1/2 5/8 3/8 1/2 1/4 3/8 1/8 1/4 0/1 1/8 3/2 2/1 1/1 3/2 2/1 4/1 4/1 8/1 8/1

  • 8/1
  • 8/1
  • 4/1
  • 4/1
  • 2/1
  • 3/2
  • 1/1
  • 2/1
  • 3/2
  • 1/8

0/1

  • 1/4
  • 1/8
  • 3/8
  • 1/4
  • 1/2
  • 3/8
  • 5/8
  • 1/2
  • 3/4
  • 5/8
  • 7/8
  • 3/4
  • 1/1
  • 7/8

1 2 1

  • 1

1 11

  • 21

22 21

  • 11
  • 1

1

  • 111

111

  • 1

1 1

  • 111
  • 211

221 222 221

  • 211
  • 111
  • 1

1 1

  • 111
  • 111
slide-13
SLIDE 13

Fractional bilinear functions P(x, y) = axy + bx + cy + d exy + fx + gy + h , M(x) = ax + b cx + d . Mx =     a 0 b 0 a 0 b c 0 d 0 c 0 d     , My =     a b 0 0 c d 0 0 0 0 a b 0 0 c d     P(Mx, y) = PMx(x, y), P(x, My) = PMy(x, y), MP(x, y) are fractional bilinear functions.

slide-14
SLIDE 14

Bilinear graph vertices: (P, u, v), u, v ∈ SW. (P, u, v)

a

→ (F −1

a P, u, v)

if P(Wu0, Wv0) ⊆ Wa (P, u, v)

λ

→ (PF x

u0, σ(u), v)

(P, u, v)

λ

→ (PF y

v0, u, σ(v))

Proposition If u, v ∈ SW and w ∈ AN is a label of a path with source (P, u, v), then w ∈ SW and Φ(w) = P(Φ(u), Φ(v)).

slide-15
SLIDE 15

Linear graph vertices: (M, u) ∈ M1 × SW, emission: (M, u)

a

→ (F −1

a M, u)

if M(Wu0) ⊆ Wa absorption: (M, u)

λ

→ (MFu0, σ(u)) Proposition There exists a path with source (M, u) whose label w = f (u) ∈ SW and Φ(w) = M(Φ(u)). If M remain bounded, then the algorithm has linear time complexity.

slide-16
SLIDE 16

Linear graph vertices: (M, u) ∈ M1 × SW, emission: (M, u)

a

→ (F −1

a M, u)

if M(Wu0) ⊆ Wa absorption: (M, u)

λ

→ (MFu0, σ(u)) Proposition There exists a path with source (M, u) whose label w = f (u) ∈ SW and Φ(w) = M(Φ(u)). If M remain bounded, then the algorithm has linear time complexity.

slide-17
SLIDE 17

Bimodular group: det(M) = 2p

_ 1 1 _ 2 1 _ 3 1 _ 1 1 _ 1 3 _ 1 2 _ 1

  • 2

__ 1

  • 3

__ 1

  • 1

__ 1

  • 1

__ 1

  • 1

__ 3

  • 1

__ 2 _ 1 1 _

  • 1

__

1 10 101 1012 1 1 11 1 110 1 1102 1 2 2 20 2 201 2 2011 2 2 3 21 3 210 3 2101 3 2 4 21

  • 4

210

  • 4

2101

  • 4

2 5 20 5 201

  • 5

2011

  • 5

1 6 11

  • 6

110

  • 6

1102

  • 6

1 7 10 7 101

  • 7

1012

  • 7

1 2 3

det(M) = 2, ||M|| = 6, tr(M) = 3

a 1 2 3 Fa

x x+2 x+1 2 2x x+1

2x + 1 Wa = Va (− 1

3, 1)

(0, 2) ( 1

2, ∞)

(1, −3)

slide-18
SLIDE 18

Redundant bimodular system Wa = V(Fa)

1/0

  • 7/1
  • 5/1
  • 3

/ 1

  • 2

/ 1

  • 3/2
  • 4/3
  • 1/1
  • 3/4
  • 2/3
  • 1

/ 2

  • 1

/ 3

  • 1/5
  • 1/7

0/1 1/7 1/5 1 / 3 1 / 2 2/3 3/4 1/1 4/3 3/2 2 / 1 3 / 1 5/1 7/1

1 2 3 4 5 6 7

01 02 03 04 06 07 10 1 1 12 13 15 16 17 20 21 2 2 23 24 25 26 30 31 32 3 3 34 35 37 40 42 43 4 4 45 46 47 51 52 53 54 5 5 56 57 60 61 62 64 65 6 6 67 70 71 73 74 75 76 7 7

Top five algorithm: Keeps five matrices with the smallest norm.

slide-19
SLIDE 19

Ergodic theory of singular transformations M(x) = ax+b

cx+d , ad − bc = 0

  • M = {(x, y) ∈ R

2 : (ax0 + bx1)y1 = (cx0 + dx1)y0}

= (R × {sM}) ∪ ({um} × R) sM = M(i) ∈ {a

c, b d} ∩ R: stable point

uM = M−1(i) ∈ {−b

a, −d c } ∩ R: unstable point

If M is singular, then sMF = sM, uFM = uM. Emission acts on columns, absorption acts on rows

  • f singular matrices.
slide-20
SLIDE 20

Growth of norm ||x|| =

  • x2

0 + x2 1

M•(x0

x1) =

(ad − bc)(x2

0 + x2 1)

(ax0 + bx1)2 + (cx0 + dx1)2 = det(M) · ||x||2 ||M(x))||2 ||M(x)|| ||x|| =

  • det(M)

M•(x)

slide-21
SLIDE 21

Invariant emission measure Partition of unity wa : R → [0, 1], a ∈ A supp(wa) ⊆ Wa,

  • a∈A

wa(x) = 1 Emission process x

wa

→ F −1

a (x) has a unique

Lebesgue-continuous invariant measure µ. en =

  • u∈Ln(SW)

1 2

  • ln det(Fu)

(F −1

u )• dµ

en+m ≤ en + em: emission quotients

slide-22
SLIDE 22

Invariant absorption measure Pa =

  • wa dµ, Pab =
  • wa · wb ◦ F −1

a

dµ SW is a SFT of order 2: Rab = Pab/Pa. Absorption process (x, a)

Rab

− → (F t

b(x), b) in R × A

has a unique invariant measure ν(U, a) = Paνa(U) an =

  • au∈Ln(SW)

1 2Pau

  • ln det(Fu)

(F t

u)• dνa

an+m ≤ an + am: absorption quotients

slide-23
SLIDE 23

Transaction quotient E = lim

n→∞ exp(en/n) :

Emission quotient A = lim

n→∞ exp(an/n) :

Absorption quotient T = E · A : Transaction quotient T > √r: positional r-ary system (Heckmann). T < 1.1: redundant bimodular system.

slide-24
SLIDE 24

Conjecture There exists a multiplication algorithm with average linear time complexity.