13.07.2015 Views

Distributing labels on infinite trees

Distributing labels on infinite trees

Distributing labels on infinite trees

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Balanced TreesRati<strong>on</strong>al Trees8IrreducibleSturmian Trees435Mechanical TreesStr<strong>on</strong>gly balancedUltimatelyMecha7621Reducible9Figure 14: Relati<strong>on</strong>s of inclusi<strong>on</strong> linking the different definiti<strong>on</strong>s that we presented. Each numberrefers to an example detailed in secti<strong>on</strong> 7. For example 5 is the set of <strong>trees</strong> that are rati<strong>on</strong>al,reducible, ultimately mechanical, str<strong>on</strong>gly balanced, balanced and neither mechanical nor Sturmian.0 1 2 3 4 5 ...Figure 15: The reflected random walk tree: each node of type n is followed by <strong>on</strong>e of type n − 1and <strong>on</strong>e of type n + 1 (except for 0 that is followed by 0 and 1).3. Irreducible rati<strong>on</strong>al <strong>trees</strong> – see Figure 6.4. Reducible rati<strong>on</strong>al <strong>trees</strong> – see Figure 5.5. Rati<strong>on</strong>al reducible str<strong>on</strong>gly balanced tree that is not mechanical – str<strong>on</strong>gly balanced treeare not necessarily mechanical in the case of reducible rati<strong>on</strong>al <strong>trees</strong> but <strong>on</strong>ly ultimatelymechanical, see Figure 8 for an example.6. Reducible mechanical <strong>trees</strong> – let α be a normal number and c<strong>on</strong>sider the mechanical tree ofdensity α and phase 0 at the root. As α is normal, there is a unique phase corresp<strong>on</strong>dingto each node of order k which is the fracti<strong>on</strong>al part of:α( 1 d k + · · · + 1 d ) + i kd k + · · · + i 1dfor a unique sequence i 1 , . . . , i k . One can show that if two sequences of i 1 , . . . , i k aredifferent, then these phases are different, which shows that the minimal graph of the treeis exactly the tree itself.(26)26

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!