

A307672


The right half of a biinfinite word invariant under the balanced morphism, {0>501, 1>210, 2>123, 3>432, 4>345, 5>054}, starting from axiom a(0)=0.


8



0, 1, 2, 1, 0, 1, 2, 3, 2, 1, 0, 5, 0, 1, 2, 1, 0, 1, 2, 3, 4, 3, 2, 1, 2, 3, 2, 1, 0, 5, 0, 1, 0, 5, 4, 5, 0, 1, 2, 1, 0, 1, 2, 3, 2, 1, 0, 5, 0, 1, 2, 1, 0, 1, 2, 3, 4, 3, 2, 3, 4, 5, 4, 3, 2, 1, 2, 3, 2, 1, 0, 1, 2, 3, 4, 3, 2, 1, 2, 3, 2, 1, 0, 5, 0
(list;
graph;
refs;
listen;
history;
text;
internal format)



OFFSET

0,3


COMMENTS

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 ZieglerHunts 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 principle 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 & ZieglerHunts reference (see links). The figure has the vector image of 0 pointing upwards, the redcolored segment runs from index 40 to +40 and the bluecolored 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 evenindexed edges are in triangular boundaries that lie inside the arrowhead, and the oddindexed edges are not.
When the termtovector map described above is applied to the sequence bisections, we get related curves. The evenindexed curve reproduces the boundaries of all triangular regions of the gasket's complement, of unit side and greater, that lie inside the arrowhead; the oddindexed 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) coincides with the image of a(2n) in the arrowhead curve, and the images of a(6n2), 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) coincides 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)


LINKS

Peter Munn, Table of n, a(n) for n = 0..5000
R. W. Gosper, J. ZieglerHunts, Strange Series for Sierpinski’s Gasket, G4G10 Exchange Book, Vol. 2 (2012), 5960.
Sean A. Irvine, Java program (github).
Bradley Klee, Sierpiński Arrowhead, Right Half.
Bradley Klee, Sierpiński Arrowhead, Left and Right.
Peter Munn, Mapped curves aligned with Sierpiński Gasket.


EXAMPLE

The full ternary tree starts:
0
501
054501210


MATHEMATICA

Arrowhead = {0>{5, 0, 1}, 1>{2, 1, 0}, 2>{1, 2, 3}, 3>{4, 3, 2}, 4>{3, 4, 5}, 5>{0, 5, 4}};
aR[n_]:=Nest[Part[Flatten[#/.Arrowhead], 2;; 1]&, {0}, n]; aR[7]
(* Second program: *)
S = SubstitutionSystem[{0 > {5, 0, 1}, 1 > {2, 1, 0}, 2 > {1, 2, 3}, 3 > {4, 3, 2}, 4 > {3, 4, 5}, 5 > {0, 5, 4}}, {0}, 5][[1]]; S[[Ceiling[ Length[S]/2];; ]] (* JeanFrançois Alcover, May 08 2019 *)


CROSSREFS

Cf. A010060, A053838, A287385, A306287, A306288, A307744, A308364.
Lists that identify significant subsets of the Sierpinski arrowhead edges: A019989, A019990, A019991, A191108.
Cf. A156595 (draws the Sierpinski gasket).
Sequence in context: A196199 A053615 A002819 * A037834 A212496 A179765
Adjacent sequences: A307669 A307670 A307671 * A307673 A307674 A307675


KEYWORD

nonn


AUTHOR

Bradley Klee and Peter Munn, Apr 20 2019


STATUS

approved



