Math 2.0

Computer science Example

Sturmian word

Builds on Combinatorics on wordsIrrational numberGolden ratio

Example

A Sturmian word is an infinite word s=s0s1s2⋯s = s_0 s_1 s_2 \cdots over {0,1}\set{0, 1} that has exactly n+1n + 1 distinct factors of length nn for every n≥0n \ge 0. A factor of length nn is a block sisi+1⋯si+n−1s_i s_{i+1} \cdots s_{i+n-1}. Equivalently, there are an irrational number α∈(0,1)\alpha \in (0, 1) and a real ρ\rho with the following property. For all nn, sn=⌊(n+1)α+ρ⌋−⌊nα+ρ⌋s_n = \floor{(n+1)\alpha + \rho} - \floor{n \alpha + \rho}, or the same holds with ⌈⋅⌉\ceil{\cdot} in place of ⌊⋅⌋\floor{\cdot}. Then sn=1s_n = 1 exactly when the point nα+ρn\alpha + \rho of the circle ℝ/ℤ\R/\Z lies in a fixed arc of length α\alpha. So ss codes the irrational rotation by α\alpha.

The Fibonacci word is the main instance. Define S0=0S_0 = 0, S1=01S_1 = 01 and Sk=Sk−1Sk−2S_{k} = S_{k-1} S_{k-2} for k≥2k \ge 2. Each Sk−1S_{k-1} is a prefix of SkS_k, and the limit is f=0100101001001010010100100101⋯ .f = 0100101001001010010100100101 \cdots . Check for small nn: the factors of length 11 are 0,10, 1, and those of length 22 are 00,01,1000, 01, 10, since 1111 never occurs. So there are 22 and 33 of them, as required. For k≥1k \ge 1 the word SkS_k has FkF_k zeros and Fk−1F_{k-1} ones, with FkF_k the Fibonacci numbers (F0=F1=1F_0 = F_1 = 1). So the frequency of the letter 11 is lim⁡Fk−1/Fk+1=1/φ2\lim F_{k-1}/F_{k+1} = 1/\varphi^2, where φ\varphi is the golden ratio.

Remarks

A word with at most nn factors of length nn for some nn is eventually periodic, by a theorem of Morse and Hedlund. So Sturmian words are the aperiodic words of the lowest possible complexity. The closure of the shift orbit of a Sturmian word is a minimal shift space on which the shift has zero entropy.

Reading path

To understand this page from the ground up, read these 6 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Combinatorics on words concept
  2. Golden ratio object
  3. Rational numbers object
  4. Real numbers object
  5. Irrational number definition
  6. Sturmian word example

Further reading

  1. Web https://en.wikipedia.org/wiki/Sturmian_word
About this page
TagXG4D9FF51T
URIm2://XG4D9FF51T
Kindexample
WritingW0 stub
MSC68R15, 37B10
IllustratesIrrational rotation
UsesCombinatorics on words, Irrational number, Golden ratio
Same as

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.