Automata, algebraicity and distribution of sequences of powers

被引:3
作者
Allouche, JP
Deshouillers, JM
Kamae, T
Koyanagi, T
机构
[1] CNRS, F-91405 Orsay, France
[2] Univ Paris 11, LRI, F-91405 Orsay, France
[3] Univ Bordeaux 1, Math Lab, F-33405 Talence, France
[4] Osaka City Univ, Dept Math, Osaka 5588585, Japan
关键词
distribution of powers; algebraic formal Laurent series; automatic sequences;
D O I
10.5802/aif.1833
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
Let K be a finite field of characteristic p. Let K((x)) be the field of formal Laurent series f(x) in x with coefficients in K. That is, f(x) = Sigma (infinity)(n=n0) f(n)x(n) with n(0) is an element of Z and f(n) is an element of K (n = n(0), n(0) + 1, (...)). We discuss the distribution of ({f(m)})m=0,1,2,(...) for f is an element of K((x)), where {f} := Sigma (infinity)(n=0) f(n)x(n) is an element of K[[x]] denotes the nonnegative part of f is an element of K((x)). This is a little different from the real number case where the fractional part that excludes constant term (digit of order 0) is considered. We give an alternative proof of a result by De Mathan obtaining the generic distribution for f with f(n) not equal 0 for some n < 0. This distribution is not the uniform measure on K[[x]], but is equivalent to it. We have a different situation for f is an element of K[[x]], where if f(0) not equal 0 and f not equal f(0), then the distribution for f is continuous but has a small support. We prove in this case, that the distribution for f(-1) is identical with the distribution for f(0)(-2)f. Christol, Kamae, Mendes France and Rauzy proved that the algebraicity of f(x) is an element of K((x)) over K(x) is equivalent to the p-automaticity of the sequence (f(n)). This result was generalized to the multidimensional case by Salon. Hence, if the Laurent series f(x) is an element of K((x)) is algebraic over K(x), then F(x,y) := Sigma (infinity)(m=0) f(x)(m)y(m) is 2-dimensionally p-automatic, since it is algebraic over the field K(x, y). We construct a finite automaton recognizing the sequence of coefficients of this double series F(x,y) to discuss the distribution of ({f(m)})(m greater than or equal to0). Thus, we generalize results by Houndonougbo and Deshouillers, and strengthen results by Allouche and Deshouillers.
引用
收藏
页码:687 / +
页数:21
相关论文
共 13 条
  • [1] Allouche JP, 1997, THEOR COMPUT SYST, V30, P285
  • [2] ALLOUCHE JP, 1988, PUBLICATIONS MATH OR, V88, P37
  • [3] Christol G., 1979, Theoretical Computer Science, V9, P141, DOI 10.1016/0304-3975(79)90011-2
  • [4] CHRISTOL G, 1980, B SOC MATH FR, V108, P401
  • [5] DEMATHAN B, 1970, B SOC MATH FRANCE SM, V21
  • [6] DESHOUILLERS JM, 1981, RECENT PROGR ANAL NU, V2, P69
  • [7] DESHOUILLERS JM, 1980, QUEENS PAP PURE APPL, V54, P437
  • [8] DESHOUILLERS JM, 1979, SEM THEORIE NOMBRES
  • [9] HOUNDONOUGBO V, 1979, CR ACAD SCI A MATH, V288, P997
  • [10] SALON O, 1987, CR ACAD SCI I-MATH, V305, P501