OFFSET
1,2
COMMENTS
From Philippe Deléham, Feb 27 2009: (Start)
A003144, A003145, A003146 may be defined as follows. Consider the morphism psi: a -> ab, b -> ac, c -> a. The image (or trajectory) of a under repeated application of this map is the infinite ternary tribonacci word a, b, a, c, a, b, a, a, b, a, c, a, b, a, b, a, c, ... (setting a = 1, b = 2, c = 3 gives A092782). The indices of a, b, c give respectively A003144, A003145, A003146. (End) [For the word with a -> 0, b -> 1, c -> 2 with offset 0 see A080843. - Wolfdieter Lang, Aug 10 2018]
The infinite word may also be defined as the limit S_oo where S_1 = a, S_n = psi(S_{n-1}). Or, by S_1 = a, S_2 = ab, S_3 = abac, and thereafter S_n = S_{n-1} S_{n-2} S_{n-3}. It is the unique word such that S_oo = psi(S_oo).
Also, indices of a in the sequence closed under a -> abac, b -> aba, c -> ab; starting with a(1) = a. - Philippe Deléham, Apr 16 2004
Theorem: A number m is in this sequence iff the tribonacci representation of m-1 ends with 0. [Duchene and Rigo, Remark 2.5] - N. J. A. Sloane, Nov 18 2016; corrected Mar 02 2019.
REFERENCES
Eric Duchêne, Aviezri S. Fraenkel, Vladimir Gurvich, Nhan Bao Ho, Clark Kimberling, Urban Larsson, Wythoff Visions, Games of No Chance, Vol. 5; MSRI Publications, Vol. 70 (2017), pages 101-153.
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
LINKS
N. J. A. Sloane, Table of n, a(n) for n = 1..10609
Elena Barcucci, Luc Belanger and Srecko Brlek, On tribonacci sequences, Fib. Q., 42 (2004), 314-320.
L. Carlitz, R. Scoville and V. E. Hoggatt, Jr., Fibonacci representations of higher order, Fib. Quart., 10 (1972), 43-69. The present sequence is called a.
F. Michel Dekking, Jeffrey Shallit, and N. J. A. Sloane, Queens in exile: non-attacking queens on infinite chess boards, Electronic J. Combin., 27:1 (2020), #P1.52.
Eric Duchêne and Michel Rigo, A morphic approach to combinatorial games: the Tribonacci case, RAIRO - Theoretical Informatics and Applications, 42, 2008, pp 375-393. doi:10.1051/ita:2007039. [Also available from Numdam archive]
A. J. Hildebrand, Junxian Li, Xiaomin Li, and Yun Xie, Almost Beatty Partitions, arXiv:1809.08690 [math.NT], 2018.
Wolfdieter Lang, The Tribonacci and ABC Representations of Numbers are Equivalent, arXiv preprint arXiv:1810.09787 [math.NT], 2018.
Jeffrey Shallit, Some Tribonacci conjectures, arXiv:2210.03996 [math.CO], 2022.
FORMULA
It appears that a(n) is always either floor(n*t) or floor(n*t)+1 for all n, where t is the tribonacci constant A058265. See A275926. - N. J. A. Sloane, Oct 28 2016. This is true - see the Dekking et al. paper. - N. J. A. Sloane, Jul 22 2019
MAPLE
M:=17; S[1]:=`a`; S[2]:=`ab`; S[3]:=`abac`;
for n from 4 to M do S[n]:=cat(S[n-1], S[n-2], S[n-3]); od:
t0:=S[M]: l:=length(t0); t1:=[];
for i from 1 to l do if substring(t0, i..i) = `a` then t1:=[op(t1), i]; fi; od: t1; # N. J. A. Sloane, Nov 01 2006
MATHEMATICA
A003144L = StringPosition[SubstitutionSystem[{"a" -> "ab", "b" -> "ac", "c" -> "a"}, "a", {#}][[1]], "a"][[All, 1]] &; A003144L[7] (* JungHwan Min, Dec 22 2016 *)
CROSSREFS
KEYWORD
nonn
AUTHOR
EXTENSIONS
More terms from Philippe Deléham, Apr 16 2004
Entry revised by N. J. A. Sloane, Oct 13 2016
STATUS
approved