## Substitution invariant Sturmian bisequences.(English)Zbl 0978.11005

A doubly infinite word over the two-element alphabet $$\{0,1\}$$ is called Sturmian if on its position we have either $$\lfloor (n+1+k)\alpha+\rho\rfloor-\lfloor (n+k)\alpha+\rho\rfloor- \lfloor \alpha\rfloor$$ or $$\lceil (n+1+k)\alpha+\rho\rceil-\lceil (n+k)\alpha+\rho\rceil- \lceil\alpha\rceil$$ for each $$n\in{\mathbb{Z}}$$ and some $$k\in{\mathbb{Z}}$$, where $$\alpha$$ is irrational and $$\rho$$ real. A right-sided infinite word $$y$$ is Sturmian if there exists a left-sided infinite word $$y^\prime$$ such that $$y^\prime y$$ is Sturmian. A substitution $$f$$ (i.e. a map over the free monoid over $$\{0,1\}$$ preserving concatenation) is Sturmian if $$f(w)$$ is a right-sided infinite Sturmian whenever $$w$$ is. The author proves a condition on $$\alpha$$ and $$\rho$$ equivalent to the fact that a Sturmian bisequence is fixed (up to a shift of the indices of its terms) by a Sturmian substitution.

### MSC:

 11B83 Special sequences and polynomials 11B85 Automata sequences 68R15 Combinatorics on words
Full Text:

### References:

  Bang, T., On the sequence [nα], Math. Scand.5 (1957), 69-76. · Zbl 0084.04401  Beatty, S., Problem 3173, Amer. Math. Monthly33 (1926) 159. Solutions, ibid., 34 (1927) 159. · JFM 53.0198.06  Berstel, J., Recent results on Sturmian words, in: J. Dassow (Ed.), Proc. DLT’95, World Scientific, Singapore (1996). · Zbl 1096.68689  Berstel, J. and Séébold, P., A characterization of Sturmian morphisms, (1993), 281-290. · Zbl 0925.11026  Berstel, J. et Séébold, P., Morphismes de Sturm, Bull. Belg. Math. Soc.1 (1994), 175-189. · Zbl 0803.68095  Borwein, J.M. and Borwein, P.B., On the generating function of the integer part [nα + γ], J. Number Theory43 (1993), 293-318. · Zbl 0778.11039  Bowman, D., Approximation of [nα + s and the zero of {nα + s}, J. Number Theory50 (1995), 128-144. · Zbl 0823.11037  Brown, T.C., Descriptions of the characteristic sequence of an irrational, Canad. Math. Bull.36 (1993), 15-21. · Zbl 0804.11021  Connell, I.G., Some properties of Beatty sequences I, Canad. Math. Bull.2 (1959), 190-197. · Zbl 0092.27801  Connell, I.G., Some properties of Beatty sequences II, Canad. Math. Bull.3 (1960), 17-22. · Zbl 0090.03203  Coven, E. and Hedlund, G.A., Sequences with minimal block growth, Math. Systems Theory7 (1973), 138-153. · Zbl 0256.54028  Crisp, D., Moran, W., Pollington, A. and Shiue, P., Substitution invariant cutting sequences, J. Théorie des Nombres de Bordeaux5 (1993), 123-137. · Zbl 0786.11041  Fraenkel, A.S., Complementary systems of integers, Amer. Math. Monthly84 (1977), 114-115. · Zbl 0359.10048  Fraenkel, A.S., Levitt, J. and Shimshoni, M., Characterization of the set of values f(n) = [nα], Discrete Math.2 (1972), 335-345. · Zbl 0246.10005  Fraenkel, A.S., Mushkin, M. and Tassa, U., Determination of nθby its sequence of differences, Canad. Math. Bull.21 (1978), 441-446. · Zbl 0401.10018  Fraenkel, A.S. and Holzman, R., Gap problems for integer part and fractional part sequences, J. Number Theory50 (1995), 66-86. · Zbl 0822.11021  Graham, R.L., Covering the positive integers by disjoint sets of the form {nα + β]: n = 1, 2, ... }, J. Comb. Theor. Ser. A 15 (1973), 354-358. · Zbl 0279.10042  Ito, S., On a dynamical system related to sequences nx + y - L(n - 1)x + y], Dynamical Systems and Related Topics, Nagoya (1990), 192-197.  Ito, S. and Yasutomi, S., On continued fractions, substitutions and characteristic sequences, Japan. J. Math.16 (1990), 287-306. · Zbl 0721.11009  Komatsu, T., On the characteristic word of the inhomogeneous Beatty sequence, Bull. Aust. Math. Soc.51 (1995), 337-351. · Zbl 0829.11012  Komatsu, T., The fractional part of nθ + ϕ and Beatty sequences, J. Théorie des Nombres de Bordeaux7 (1995), 387-406. · Zbl 0849.11027  Komatsu, T., A certain power series associated with a Beatty sequence, Acta Arith.LXXVI (1996),109-129. · Zbl 0858.11013  Komatsu, T. and Poorten, A. J. van der, Substitution invariant Beatty sequences, Japan. J. Math.22 (1996), 349-354. · Zbl 0868.11015  Mignosi, F. et Séébold, P., Morphismes sturmiens et règles de Rauzy, J. Théorie des Nombres de Bordeaux5 (1993), 221-233. · Zbl 0797.11029  Morse, M. and Hedlund, G.A., Symbolic Dynamics, Amer. J. Math.60 (1938), 815-866. · JFM 64.0798.04  Morse, M. and Hedlund, G.A., Symbolic Dynamics II. Sturmian trajectories, Amer. J. Math.62 (1940), 1-42. · JFM 66.0188.03  Parvaix, B., Propriétés d’invariance des mots sturmiens, J. Théorie des Nombres de Bordeaux9 (1997), 351-369. · Zbl 0904.11008  Rosenblatt, J., The sequence of greatest integers of an arithmetic progression, J. Lond. Math. Soc.17 (1978), 213-218. · Zbl 0383.10036  Stolarsky, K.B., Beatty sequences, continued fractions and certain shift operators, Canad. Math. Bull.19 (1976), 473-482. · Zbl 0359.10028  Tijdeman, R., On disjoint pairs of Sturmian bisequences, Mathematical Institute, Leiden University, Report W96-02 (1996). · Zbl 0862.68085  Tijdeman, R., On complementary triples of Sturmian bisequences, Indag. Math.7 (1996), 419-424. · Zbl 0862.68085
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.