The OEIS Foundation is supported by donations from users of the OEIS and by a grant from the Simons Foundation. Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 56th year, we are closing in on 350,000 sequences, and we’ve crossed 9,700 citations (which often say “discovered thanks to the OEIS”). Hints (Greetings from The On-Line Encyclopedia of Integer Sequences!)
 A284626 Positions of 1 in A284622; complement of A284623. 4
 2, 3, 5, 9, 11, 12, 14, 17, 19, 20, 23, 27, 29, 30, 33, 36, 38, 39, 41, 45, 47, 48, 50, 53, 55, 56, 59, 62, 64, 65, 67, 71, 73, 74, 77, 81, 83, 84, 86, 89, 91, 92, 95, 99, 101, 102, 105, 108, 110, 111, 113, 117, 119, 120, 123, 127, 129, 130, 132, 135, 137 (list; graph; refs; listen; history; text; internal format)
 OFFSET 1,1 COMMENTS a(n) - a(n-1) is in {1,2,3,4} for n >= 2. Conjecture: a(n)/n -> 9/4. From Michel Dekking, Aug 26 2017: (Start) Proof of the conjecture. Let x = A010060 be the Thue Morse sequence, and let y = A284622 be the [0011->0]-transform of x. Let a = A284626 be the positions of 1 in y. There are 3 steps in the proof. Step 1. It is easily verified that a(n)/n -> 9/4 if and only if f(1,a) = 4/9, where in general f(w,z) denotes the frequency of a word w in the infinite sequence z, if it exists. Step 2. One has f(0011,x) = 1/12. It is well-known that the frequencies of words in any fixed point of a primitive morphism exist. This is usually proved by Perron-Frobenius theory. For a quick proof see the paper "On the Thue-Morse measure". Step 3. Let k(n) be the number of 1's in x(1)...x(n), and m(n) the number of 0011's in x(1)...x(n). Then the number of 1's in y(1)...y(n-3m(n)) is equal to k(n)-2m(n). But we know by Step 2 that m(n)/n -> 1/12, and obviously k(n)/n -> 1/2. So f(1,y) is equal to ((1/2 - 2/12)/(1 - 3/12) = 4/9. (End) LINKS Clark Kimberling, Table of n, a(n) for n = 1..10000 Michel Dekking,On the Thue-Morse measure, Acta Universitatis Carolinae. Mathematica et Physica 033.2 (1992), 35-40. EXAMPLE As a word, A284622 = 011010001011010010..., in which 1 is in positions 2,3,5,9,11,... MATHEMATICA s = Nest[Flatten[# /. {0 -> {0, 1}, 1 -> {1, 0}}] &, {0}, 9] (* A010060 *) w = StringJoin[Map[ToString, s]] w1 = StringReplace[w, {"0011" -> "0"}] st = ToCharacterCode[w1] - 48  (* A284622 *) Flatten[Position[st, 0]]  (* A284623 *) Flatten[Position[st, 1]]  (* A284626 *) CROSSREFS Cf. A010060, A284622, A284623. Sequence in context: A058108 A174512 A056144 * A284847 A186776 A290475 Adjacent sequences:  A284623 A284624 A284625 * A284627 A284628 A284629 KEYWORD nonn,easy AUTHOR Clark Kimberling, May 10 2017 EXTENSIONS Name corrected by Michel Dekking, Aug 26 2017 STATUS approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

Last modified December 7 03:28 EST 2021. Contains 349567 sequences. (Running on oeis4.)