Two equivalence relations on digital lines with irrational slopes. A continued fraction approach to upper mechanical words

Abstract

AbstractWe examine the influence of the elements of the continued fraction (CF) expansion of irrational positive a less than 1 on the construction of runs in the digitization of the positive half line y=ax or, equivalently, on the run-hierarchical structure of the upper mechanical word with slope a and intercept 0. Special attention is given to the CF elements equal to 1. We define two complementary equivalence relations on the set of slopes, based on their CF expansions. A new description of digital lines is presented; we show how to define a straight line or upper mechanical word by two sequences of positive integers fulfilling some extra conditions. These equivalence relations and this new description enable us to analyze the construction of digital lines and upper mechanical words. The analysis of suprema of equivalence classes under one of these relations leads to a result which involves Fibonacci numbers