login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A367621 The lexicographically earliest infinite sequence of positive numbers in which each term is a comma-child of the previous term in base 3. 1
1, 5, 12, 13, 18, 20, 27, 28, 32, 39, 40, 44, 51, 52, 57, 59, 67, 72, 74, 81, 82, 86, 93, 94, 98, 105, 106, 110, 117, 118, 122, 129, 130, 134, 141, 142, 146, 153, 154, 158, 166, 171, 173, 181, 186, 188, 196, 201, 203, 211, 216, 218, 226, 231, 233, 241, 245, 252 (list; graph; refs; listen; history; text; internal format)
OFFSET
1,2
COMMENTS
Analogous to A367620, but with comma-children computed in base 3 (terms are shown in base 10, however).
We know from A367619 that the comma-child graph in base 3, starting at 1, is an infinite tree rooted at 1. By König's Infinity Lemma, an infinite path in that graph exists and hence this sequence is well defined for all n. Therefore, at any bifurcation point, one or both forks will extend to infinity. The definition of this sequence requires that we choose the smallest fork that has an infinite continuation.
The terms in the data and b-file include a number of bifurcation points, but in each case the path chosen was the only one that did not lead to a finite sequence; see linked a-file.
We conjecture that choosing down-up-down-up-... is an infinite path, visiting the base-3 terms 1 2^{1+4*j} then 2 0^{2+4*j} for j in 0..oo, where ^ denotes repeated concatenation. This has been tested empirically up to j = 4300.
LINKS
Eric Angelini, Michael S. Branicky, Giovanni Resta, N. J. A. Sloane, and David W. Wilson, The Comma Sequence: A Simple Sequence With Bizarre Properties, arXiv:2401.14346, Youtube
CROSSREFS
Sequence in context: A110134 A014156 A367355 * A114073 A286242 A360137
KEYWORD
nonn,base
AUTHOR
STATUS
approved

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

License Agreements, Terms of Use, Privacy Policy. .

Last modified May 11 11:07 EDT 2024. Contains 372409 sequences. (Running on oeis4.)