cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Showing 1-1 of 1 results.

A327620 Decimal expansion of the Hausdorff dimension of the boundary of the tame twin-dragon curve.

Original entry on oeis.org

1, 2, 1, 0, 7, 6, 0, 5, 3, 3, 2, 8, 8, 5, 2, 3, 3, 9, 5, 0, 2, 5, 8, 6, 7, 5, 0, 6, 4, 2, 9, 4, 6, 4, 3, 8, 8, 8, 6, 6, 8, 2, 0, 2, 3, 8, 7, 5, 5, 1, 3, 7, 8, 3, 9, 8, 6, 8, 4, 8, 8, 4, 3, 1, 1, 8, 7, 4, 9, 9, 6, 7, 7, 2, 4, 6, 1, 5, 3, 6, 7, 3, 4, 6, 6, 6, 5
Offset: 1

Views

Author

Bernard Schott, Sep 19 2019

Keywords

Comments

There are only six regular 2-reptiles in the plane, four of which have fractal boundaries. Listed below are the names of these four tiles, along with the numbers of the corresponding sequences that give the decimal expansion of the Hausdorff dimension of each dragon curve's boundary; the pictures of these four 2-reptile fractals are drawn in the Mathafou link.
. The Levy dragon: A191689
. The Heighway dragon: A272031
. The twin-dragon: A272031
. The tame twin-dragon: this sequence.
The Hausdorff dimension of the dragon curve's boundary is given by dim_H(Delta dragon) = 2 * log_2(lambda_max) where lambda_max is the largest eigenvalue of some characteristic polynomial associated to the dragon tile. The characteristic polynomial associated with this tame twin-dragon tile is x^3 - x - 2 (see [Ngai, Sirvent, Veerman, Wang] link, p. 15) whose only real root is (1+sqrt(78)/9)^(1/3) + (1-sqrt(78)/9)^(1/3) = 1.521379706804... Hence the formula.

Examples

			1.2107605332885233950258675064294643888668202387553...
		

References

  • Jean-Paul Delahaye, Mathématiques pour le Plaisir, Belin Pour la Science, Paver des pavés, 2010, pp. 58-65.

Crossrefs

Cf. A191689 (Levy dragon), A272031 (Heighway dragon and twindragon).

Programs

  • Maple
    evalf(2*log((1+sqrt(78)/9))^(1/3)+(1-sqrt(78)/9))^(1/3))/log(2),50);
  • Mathematica
    RealDigits[2 * Log2[(1 + Sqrt[78]/9)^(1/3) + (1 - Sqrt[78]/9)^(1/3)], 10, 100][[1]] (* Amiram Eldar, Sep 19 2019 *)
  • PARI
    2 * log((1+sqrt(78)/9)^(1/3)+(1-sqrt(78)/9)^(1/3))/log(2) \\ Michel Marcus, Sep 21 2019

Formula

Equals 2 * log_2((1+sqrt(78)/9)^(1/3) + (1-sqrt(78)/9)^(1/3)).
Showing 1-1 of 1 results.