cp's OEIS Frontend

a(n) - a(n-1) is in {1,3,5} for n >= 1; also, 3n - a(n) is in {0,2} for n >= 1. The first 20 numbers 3n - a(n) are 2, 0, 2, 2, 0, 2, 2, 2, 0, 2, 2, 0, 2, 0, 2, 2, 0, 2, 2, 0, with 0 in positions given by A287387.

a(n) - a(n-1) is in {2,3,4} for n >= 1; also, 3n - a(n) is in {0,1} for n >= 1. The first 20 numbers 3n - a(n) are 1, 1, 0, 0, 1, 1, 1, 0, 1, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 1, with 0 in positions given by A287388.

a(n) - a(n-1) is in {1,2,3,4,5} for n >= 1; also, 3n - a(n) is in {0,1,2} for n >= 1. The first 20 numbers 3n - a(n) are 0, 2, 1, 1, 2, 0, 0, 1, 2, 0, 1, 2, 1, 2, 0, 0, 2, 1, 0, 2, with 0 in positions given by A287386.

The adjective "balanced" indicates that the fixed point a(0)=0 descends through iteration along a central dividing line, which bisects the ternary family tree into left and right halves, equal by node cardinality (see examples). From the original Gosper and Ziegler-Hunts reference (see links), a(k) = d(k) mod 6. The function d(k) draws left and right halves of the Sierpiński Arrowhead curve (see links). Alphanumeric transformation {0->a, 2->b, 4->c, 3->A, 5->B, 1->C} obtains d(k) in the form of lettered sets. By design, letters {a,b,c} occur only on even indices, while letters {A,B,C} occur only on odd indices. According to the principal eigenvector of the substitution system, occurrence tallies should asymptotically approach a uniform distribution over the six numbers or letters.

From Peter Munn, May 28 2019: (Start)

The sequence maps to half of an infinite Sierpinski arrowhead curve by mapping the values 0..5 to six unit vectors spaced at equal angles (Pi/3) in counterclockwise (or clockwise) order, then placing the vector image of each sequence term head to tail. Curve edges indexed 0..121 form the upper half of the curve in Figure 5 of the Gosper & Ziegler-Hunts reference (see links). The figure has the vector image of 0 pointing upwards, the red-colored segment runs from index -40 to +40 and the blue-colored segment from 41 to 121.

The arrowhead curve (both halves and continued to infinity) will align with an infinite Sierpinski gasket so that each of its edges is contained in the boundary of either the plane sector occupied by the gasket or a triangular region of the gasket's complement. Every length 3 segment of these boundaries contains exactly one edge of the arrowhead curve. See the link for the aligned curves.

For a given triangular boundary (or a given edge of the gasket sector boundary) the indices of the arrowhead edges it contains differ by multiples of 4. The edges in the gasket sector boundary are listed (absolute value of index) in A191108. Otherwise, edge n seems to be contained in a triangular boundary of side 2^(A307744(n)-1).

The arrowhead curve divides the plane into two regions. Denote the region that is wholly within the sector occupied by the gasket as the inside of the arrowhead. The curve's even-indexed edges are in triangular boundaries that lie inside the arrowhead, and the odd-indexed edges are not.

When the term-to-vector map described above is applied to the sequence bisections, we get related curves. The even-indexed curve reproduces the boundaries of all triangular regions of the gasket's complement, of unit side and greater, that lie inside the arrowhead; the odd-indexed curve reproduces the boundaries of the equivalent regions outside the arrowhead plus the gasket sector boundary. See the link for the aligned curves.

Recall that every length 3 boundary segment contains exactly one arrowhead edge. In the curve drawn by a(0), a(2), a(4), ... the image of a(6n) co-incides with the image of a(2n) in the arrowhead curve, and the images of a(6n-2), a(6n) and (6n+2) form a length 3 boundary segment. Similarly, in the curve drawn by a(1), a(3), a(5), ... the image of a(6n+3) co-incides with the image of a(2n+1) in the arrowhead curve, and the images of a(6n+1), a(6n+3) and a(6n+5) form a length 3 boundary segment.

One bisection produces vectors that draw triangular boundaries clockwise, the other counterclockwise. This must be so, because (1) the full sequence alternates odd and even, (2) opposite vectors are images of numbers with opposite parity, and (3) the gasket complement's triangular regions have the same orientation.

(End)

This is the fixed point of the morphism 0->012, 1->210, 2->102 starting with 0. Let u be the (nonperiodic) sequence of positions of 0, and likewise, v for 1 and w for 2; then u(n)/n -> 3, v(n)/n -> 3, w(n)/n -> 3.

See A287385 for a guide to related sequences.

This is the fixed point of the morphism 0->012, 1->210, 2->120 starting with 0. Let u be the (nonperiodic) sequence of positions of 0, and likewise, v for 1 and w for 2; then u(n)/n -> 3, v(n)/n -> 3, w(n)/n -> 3.

See A287385 for a guide to related sequences.

This is the fixed point of the morphism 0->012, 1->210, 2->201 starting with 0. Let u be the (nonperiodic) sequence of positions of 0, and likewise, v for 1 and w for 2; then u(n)/n -> 3, v(n)/n -> 3, w(n)/n -> 3.

See A287385 for a guide to related sequences.

This is the fixed point of the morphism 0->012, 1->120, 2->021 starting with 0. Let u be the (nonperiodic) sequence of positions of 0, and likewise, v for 1 and w for 2; then u(n)/n -> 3, v(n)/n -> 3, w(n)/n -> 3.

See A287385 for a guide to related sequences.

This is the fixed point of the morphism 0->012, 1->120, 2->102 starting with 0. Let u be the (nonperiodic) sequence of positions of 0, and likewise, v for 1 and w for 2; then u(n)/n -> 3, v(n)/n -> 3, w(n)/n -> 3.

See A287385 for a guide to related sequences.

This is the fixed point of the morphism 0->012, 1->201, 2->021 starting with 0. Let u be the (nonperiodic) sequence of positions of 0, and likewise, v for 1 and w for 2; then u(n)/n -> 3, v(n)/n -> 3, w(n)/n -> 3.

See A287385 for a guide to related sequences.