[math-fun] https://en.wikipedia.org/wiki/Dragon_curve
is the usual mix of good and bad. Good: Illustration that 4 Dragons joined at the nose <https://en.wikipedia.org/wiki/Dragon_curve#/media/File:Dragon_tiling1.svg> fill a tile different from four joined at the tail <https://en.wikipedia.org/wiki/Dragon_curve#/media/File:Dragon_tiling2.svg>. Oops: Fails to note that twin1 <https://en.wikipedia.org/wiki/Dragon_curve#/media/File:Dragon_tiling3.svg> and twin2 <https://en.wikipedia.org/wiki/Dragon_curve#/media/File:Dragon_tiling5.svg> are *both* twindragons*.* (Svgs, but painted with a horrible fat brush that *ruins* the symmetry.) Howler: (Re: the bounding box) "Note that the dimensions 1, and 1.5 are limits <https://en.wikipedia.org/wiki/Limit_(mathematics)> and not actual values." There remains almost universal ignorance of Dragon curves being merely lousy plots of the (almighty) Dragon Function. Axis-aligned tangents to the Dragon image intersect it in (uncountable) Cantor sets! E.g., some points on the bottom edge (Im(z) = -1/3) have spacings {1, 3, 1, 11, 1, 3, 1, 43, 1, 3, 1, 11, 1, 3, 1, 171, 1, 3, 1, 11, 1, 3, 1, 43, 1, 3, 1, 11, 1, 3, 1, . . .}/1023. This is *a276391**,* the spacings of *preimages* of quadruple points of the *Hilbert *curve! More incredibly, another subset of the tangent points along x-i/3 has differences {1, 3, 1, 11, 1, 3, 1, 43, 1, 3, 1, 11, 1, 3, 1, 170, . . .}/4080, with 170 instead of 171! —rwg
The article should also say something about limit-periodicity. For example try: SetDragon[Root_, BinaryBranching_] := Append[ Flatten[Reap[FoldList[(Sow[ {x_Integer /; IntegerQ[ Divide[x - #1 - (2^#2[[2]])*BitXor[0, #2[[1]]], 2^(#2[[2]] + 1)]] :> 1, x_Integer /; IntegerQ[ Divide[x - #1 - (2^#2[[2]])*BitXor[1, #2[[1]]], 2^(#2[[2]] + 1)]] :> 0}]; #1 + (2^#2[[2]])* BitXor[0, #2[[1]]] + 2^(#2[[2]] - 1)) &, Root, Transpose[{BinaryBranching, Range[Length@BinaryBranching]}]] ][[2]]], _Integer :> "?"] ArrayPlot[ Map[Range[0, 2^6] /. SetDragon[0, #] &, NestList[Append[#, RandomInteger[{0, 1}]] &, RandomInteger[{0, 1}, 1], 6]], Mesh -> True, ImageSize -> 500] This definition clearly shows relation of the tiling space to a binary tree, and also explains why the Fourier transform should have pure points. It also helps to explain why the dragon sequence shows up as a factor in Socolar-Taylor tiling, and in other hexagonal or square quadtree tilings. --Brad On Wed, Aug 28, 2019 at 10:30 AM Bill Gosper <billgosper@gmail.com> wrote:
is the usual mix of good and bad. Good: Illustration that 4 Dragons joined at the nose <https://en.wikipedia.org/wiki/Dragon_curve#/media/File:Dragon_tiling1.svg> fill a tile different from four joined at the tail <https://en.wikipedia.org/wiki/Dragon_curve#/media/File:Dragon_tiling2.svg>. Oops: Fails to note that twin1 <https://en.wikipedia.org/wiki/Dragon_curve#/media/File:Dragon_tiling3.svg> and twin2 <https://en.wikipedia.org/wiki/Dragon_curve#/media/File:Dragon_tiling5.svg> are *both* twindragons*.* (Svgs, but painted with a horrible fat brush that *ruins* the symmetry.) Howler: (Re: the bounding box) "Note that the dimensions 1, and 1.5 are limits <https://en.wikipedia.org/wiki/Limit_(mathematics)> and not actual values." There remains almost universal ignorance of Dragon curves being merely lousy plots of the (almighty) Dragon Function. Axis-aligned tangents to the Dragon image intersect it in (uncountable) Cantor sets! E.g., some points on the bottom edge (Im(z) = -1/3) have spacings {1, 3, 1, 11, 1, 3, 1, 43, 1, 3, 1, 11, 1, 3, 1, 171, 1, 3, 1, 11, 1, 3, 1, 43, 1, 3, 1, 11, 1, 3, 1, . . .}/1023. This is *a276391**,* the spacings of *preimages* of quadruple points of the *Hilbert *curve! More incredibly, another subset of the tangent points along x-i/3 has differences {1, 3, 1, 11, 1, 3, 1, 43, 1, 3, 1, 11, 1, 3, 1, 170, . . .}/4080, with 170 instead of 171! —rwg _______________________________________________ math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun
participants (2)
-
Bill Gosper -
Brad Klee