Periodicity, morphisms, and matrices

  • Authors:
  • Sabin Cautis;Filippo Mignosi;Jeffrey Shallit;Ming-wei Wang;Soroosh Yazdani

  • Affiliations:
  • Department of Mathematics, Harvard University, Cambridge, MA;Dipartimento di Matematica ed Applicazioni, Università di Palermo, Via Archirafi 34, 90123 Palermo, Italy;Department of Computer Science, University of Waterloo, Waterloo, Ont., Canada N2L 3G1;Department of Computer Science, University of Waterloo, Waterloo, Ont., Canada N2L 3G1;Department of Mathematics, University of Illinois, Urbana, IL

  • Venue:
  • Theoretical Computer Science - Mathematical foundations of computer science
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

Abstract

In 1965, Fine and Wilf proved the following theorem: if (fn)n≥0 and (gn)n≥0 are periodic sequences of real numbers, of period lengths h and k, respectively, and fn = gn for 0 ≤ n h + k - gcd(h,k), then fn = gn for all n ≥ 0. Furthermore, the constant h + k - gcd(h,k) is best possible. In this paper, we consider some variations on this theorem. In particular, we study the case where fn ≤ gn, instead of fn = gn. We also obtain generalizations to more than two periods.We apply our methods to a previously unsolved conjecture on iterated morphisms, the decreasing length conjecture: if h : Σ* → Σ* is a morphism with |Σ|= n, and w is a word with |w| h(w)| h2(w)| hk(w)|, then k ≤ n.