%I #38 Sep 08 2022 08:46:20
%S 1,2,3,1,2,3,1,1,2,3,1,2,3,1,1,2,3,1,2,3,1,2,3,1,1,2,3,1,2,3,1,1,2,3,
%T 1,2,3,1,2,3,1,1,2,3,1,2,3,1,1,2,3,1,2,3,1,1,2,3,1,2,3,1,2,3,1,1,2,3,
%U 1,2,3,1,1,2,3,1,2,3,1,2,3,1,1,2,3,1,2,3,1,1,2,3,1,2,3,1,1,2,3,1,2,3,1,2,3,1,1,2
%N The 3-symbol Pell word.
%C In the Pell word A171588 = 0, 0, 1, 0, 0, 1, 0, 0, 0, ..., group the letters in overlapping blocks of length two: [0,0],[0,1],[1,0],[0,0],[0,1],[1,0],... Then code [0,0]->1, [0,1]->2, [1,0]->3. This gives (a(n)).
%C (a(n)) is the unique fixed point of the 3-symbol Pell morphism
%C 1 -> 123, 2 ->123, 3 -> 1.
%C The morphism and the fixed point are in standard form.
%C Modulo a change of alphabet (1->0, 2->1, 3->2), this sequence is equal to A263844.
%C From _Michel Dekking_, Feb 23 2018: (Start)
%C The positions of 1 in (a(n)) are given by
%C A188376 = 1,4,7,8,11,14,15,18,...
%C Why is this true? First, the Pell word b is given by
%C b(n) = [(n+1)(1-r)]-[n(1-r)], where r =1/sqrt(2).
%C This can rewritten as
%C b(n) = [nr]-[(n+1)r]+1.
%C Second,
%C 1 occurs at n in (a(n)) <=>
%C 00 occurs at n in (b(n)) <=>
%C b(n)+b(n+1) = 0 <=>
%C [nr]-[(n+2)r]+2 = 0 <=>
%C [(n+2)r]-[nr]-1 = 1 <=>
%C 1 occurs at n in A188374.
%C The positions of 2 in (a(n)) are given by A001952 - 1 = 2,5,9,12,16,..., since 2 occurs at n in (a(n))) if and only if 3 occurs at n+1 in (a(n)).
%C The positions of 3 in (a(n)) are given by A001952 = 3,6,10,13,17,..., since 3 occurs at n in (a(n)) if and only if 1 occurs at n in (b(n)).
%C The sequence of positions of 3 in (a(n)) is equal to the sequence b in Carlitz et al. The sequence of positions of 1 in (a(n)) seems to be equal to the sequence ad' in Carlitz et al. (End)
%C See the comments of A188376 for a proof of the observation on the positions of 1 in (a(n)). - _Michel Dekking_, Feb 27 2018
%H Michel Dekking, <a href="/A294180/b294180.txt">Table of n, a(n) for n = 1..1000</a>
%H L. Carlitz, R. Scoville and V. E. Hoggatt, Jr.,<a href="http://www.fq.math.ca/Scanned/10-5/carlitz1.pdf">Pellian Representations</a>, Fib. Quart. Vol. 10, No. 5, (1972), pp. 449-488.
%H F. Michel Dekking, <a href="https://cs.uwaterloo.ca/journals/JIS/VOL19/Dekking/dekk4.html">Morphisms, Symbolic Sequences, and Their Standard Forms</a>, Journal of Integer Sequences, Vol. 19 (2016), Article 16.1.1.
%F a(n) = floor((n+2)r)+floor((n+1)r)-2*floor(nr)+1, where r = 1-1/sqrt(2).
%p a:=[seq(floor((n+2)*(1-1/sqrt(2)))+floor((n+1)*(1-1/sqrt(2)))-2*floor(n*(1-1/sqrt(2)))+1, n=1..130)];
%t With[{r = 1 - 1/Sqrt[2]}, Table[Inner[Times, Map[Floor[(n + #) r] &, Range[0, 2]], {-2, 1, 1}, Plus] + 1, {n, 108}]] (* _Michael De Vlieger_, Feb 15 2018 *)
%o (Magma) [Floor((n+2)*r)+Floor((n+1)*r)-2*Floor(n*r)+1 where r is 1-1/Sqrt(2): n in [1..90]]; // _Vincenzo Librandi_, Feb 23 2018
%Y Cf. A270788, A263844, A188376.
%K nonn
%O 1,2
%A _Michel Dekking_, Feb 11 2018
|