Minimal complexity of equidistributed infinite permutations

An infinite permutation is a linear ordering of the set of natural numbers. An infinite permutation can be defined by a sequence of real numbers where only the order of elements is taken into account. In the paper we investigate a new class of {\it equidistributed} infinite permutations, that is, infinite permutations which can be defined by equidistributed sequences. Similarly to infinite words, a complexity $p(n)$ of an infinite permutation is defined as a function counting the number of its subpermutations of length $n$. For infinite words, a classical result of Morse and Hedlund, 1938, states that if the complexity of an infinite word satisfies $p(n) \leq n$ for some $n$, then the word is ultimately periodic. Hence minimal complexity of aperiodic words is equal to $n+1$, and words with such complexity are called Sturmian. For infinite permutations this does not hold: There exist aperiodic permutations with complexity functions growing arbitrarily slowly, and hence there are no permutations of minimal complexity. We show that, unlike for permutations in general, the minimal complexity of an equidistributed permutation $\alpha$ is $p_{\alpha}(n)=n$. The class of equidistributed permutations of minimal complexity coincides with the class of so-called Sturmian permutations, directly related to Sturmian words.

[1]  Steven Widmer,et al.  Permutation Complexity and the Letter Doubling Map , 2011, Int. J. Found. Comput. Sci..

[2]  M. A. Makarov On the permutations generated by Sturmian words , 2009 .

[3]  Anna E. Frid,et al.  On automatic infinite permutations , 2012, RAIRO Theor. Informatics Appl..

[4]  Sergi Elizalde The Number of Permutations Realized By a Shift , 2009, SIAM J. Discret. Math..

[5]  On permutation complexity of fixed points of uniform binary morphisms , 2014, Discret. Math. Theor. Comput. Sci..

[6]  Sergey V. Avgustinovich,et al.  Canonical Representatives of Morphic Permutations , 2015, WORDS.

[7]  Philippe Narbel,et al.  Infinite interval exchange transformations from shifts , 2015, Ergodic Theory and Dynamical Systems.

[8]  Luca Q. Zamboni,et al.  Sequence entropy and the maximal pattern complexity of infinite words , 2002, Ergodic Theory and Dynamical Systems.

[9]  Alexandr Valyuzhenich,et al.  On Square-Free Permutations , 2011, J. Autom. Lang. Comb..

[10]  Filippo Mignosi,et al.  Some Combinatorial Properties of Sturmian Words , 1994, Theor. Comput. Sci..

[11]  Gabriele Fici,et al.  On the structure of bispecial Sturmian words , 2013, J. Comput. Syst. Sci..

[12]  Jos Amig Permutation Complexity in Dynamical Systems: Ordinal Patterns, Permutation Entropy and All That , 2010 .

[13]  Sergey V. Avgustinovich,et al.  Infinite permutations of lowest maximal pattern complexity , 2011, Theor. Comput. Sci..

[14]  Steven Widmer Permutation complexity of the Thue-Morse word , 2011, Adv. Appl. Math..

[15]  G. A. Hedlund,et al.  Symbolic Dynamics II. Sturmian Trajectories , 1940 .

[16]  G. Keller,et al.  Entropy of interval maps via permutations , 2002 .

[17]  M. A. Makarov On an infinite permutation similar to the Thue-Morse word , 2009, Discret. Math..

[18]  Anna E. Frid,et al.  On periodicity and low complexity of infinite permutations , 2007, Eur. J. Comb..

[19]  Sergey V. Avgustinovich,et al.  Ergodic Infinite Permutations of Minimal Complexity , 2015, DLT.

[20]  Steggall Note on Continued Fractions , 1895, Proceedings of the Edinburgh Mathematical Society.

[21]  J. Allouche Algebraic Combinatorics on Words , 2005 .

[22]  Jeffrey Shallit,et al.  The Ubiquitous Prouhet-Thue-Morse Sequence , 1998, SETA.

[23]  Filippo Mignosi,et al.  On the Number of Factors of Sturmian Words , 1991, Theor. Comput. Sci..

[24]  Teturo Kamae,et al.  Maximal pattern complexity for discrete systems , 2002, Ergodic Theory and Dynamical Systems.