pith. machine review for the scientific record. sign in

arxiv: 2604.05010 · v5 · submitted 2026-04-06 · 🧮 math.DS

Recognition: 2 theorem links

· Lean Theorem

The aspect ratio of the Twin Dragon is 1/φ

Dmitry Mekhontsev
Authors on Pith no claims yet

Pith reviewed 2026-05-10 19:49 UTC · model grok-4.3

classification 🧮 math.DS
keywords Twin Dragonaspect ratiogolden ratioself-similar measurecovariance fixed pointfractal geometrydynamical systems
0
0 comments X

The pith

The Twin Dragon has a geometric aspect ratio of exactly 1/φ.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that the Twin Dragon, a self-similar fractal constructed from the complex number 1+i, has an aspect ratio equal to the reciprocal of the golden ratio. The proof proceeds by solving the fixed-point equation for the covariance matrix of the invariant measure. Because the similarity dimension equals 2, this measure is Lebesgue area, so the aspect ratio is read directly from the ratio of the principal axes of the covariance. The result is notable since the construction contains no Fibonacci numbers or five-fold symmetry that would normally produce the golden ratio.

Core claim

The geometric aspect ratio of the Twin Dragon equals 1/φ. This follows by solving the covariance fixed-point equation for the self-similar measure, which coincides with Lebesgue area since the similarity dimension is 2. The appearance of φ is surprising: the Twin Dragon is defined purely via the Gaussian integer 1+i, with no pentagonal or Fibonacci structure in its construction.

What carries the argument

The covariance fixed-point equation for the self-similar measure of the Twin Dragon, whose principal-axes ratio supplies the aspect ratio.

If this is right

  • The aspect ratio is known exactly rather than only approximately.
  • The same covariance method produces exact geometric invariants for any self-similar set whose similarity dimension equals two.
  • The golden ratio can appear in the geometry of an iterated-function system even when the defining maps involve only Gaussian integers.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same fixed-point technique may yield exact aspect ratios or other linear invariants for other dragon-like or twin-like fractals.
  • The result raises the question of whether additional geometric features of the Twin Dragon, such as its boundary length or tiling properties, also involve powers of φ.
  • It suggests that certain algebraic numbers can emerge in fractal geometry through the linear algebra of the covariance operator alone.

Load-bearing premise

The self-similar measure coincides with Lebesgue area and the aspect ratio is the ratio of the principal axes of the covariance matrix obtained from the fixed-point equation.

What would settle it

A numerical sampling of the Twin Dragon set whose principal-component analysis yields a principal-axes ratio measurably different from 1/φ would falsify the equality.

Figures

Figures reproduced from arXiv: 2604.05010 by Dmitry Mekhontsev.

Figure 1
Figure 1. Figure 1: Four IFS with contraction a = (1 − i)/2 and centred digits in Z[i], shown with their 1.5σ covariance ellipses. The Twin Dragon (a) has sk = 1 and AR = 1/φ. The L´evy C curve (b) and Heighway Dragon (c) both have u = 0 and AR = 1/ √ 3: the ellipses share the same aspect ratio but have different orientations (ψ = 0◦ and ψ ≈ 18◦ , respectively). The Conjugate parallelogram (d) has all maps orientation-reversi… view at source ↗
Figure 2
Figure 2. Figure 2: Aspect ratio AR(θ) of the attractor of {a(z ± 1)} for |a| = 1/ √ 2, as a function of θ = | arg(a)|. The Twin Dragon (θ = π/4), the tame twindragon (θ = arctan √ 7), and the rectangle attractor (θ = π/2) are marked in red. 4. Tiles over Z[i] In this section we specialise to tiles over Z[i]: the contraction is a = 1/λ for a Gaussian integer λ and the translations form a CRS modulo λ. Corollary 3 then applies… view at source ↗
Figure 3
Figure 3. Figure 3: The 5-map tile with λ = 2 + i and digit set {0, 1, −i, i, 1 + i} (κ = 1/2). Its 1.5-sigma principal-axis ellipse (red) confirms AR = 1/φ ≈ 0.618, the same value as the Twin Dragon (Figure 1a) [PITH_FULL_IMAGE:figures/full_fig_p012_3.png] view at source ↗
read the original abstract

We show that the geometric aspect ratio of the Twin Dragon equals $1/\varphi$, where $\varphi = (1+\sqrt{5})/2$ is the golden ratio. The result follows by solving the covariance fixed-point equation for the self-similar measure, which coincides with Lebesgue area since the similarity dimension is 2. The appearance of $\varphi$ is surprising: the Twin Dragon is defined purely via the Gaussian integer $1+i$, with no pentagonal or Fibonacci structure in its construction.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript proves that the geometric aspect ratio of the Twin Dragon attractor equals 1/φ (φ the golden ratio). The Twin Dragon is the attractor of an IFS on the plane generated by two affine maps involving the Gaussian integer 1+i. The proof proceeds by deriving and solving the fixed-point equation for the covariance matrix of the unique self-similar probability measure; because the similarity dimension equals 2 and the open-set condition holds, this measure is normalized Lebesgue measure on the attractor. The aspect ratio is then recovered as the ratio of the square roots of the eigenvalues of the resulting covariance matrix.

Significance. If correct, the result supplies an exact, parameter-free geometric invariant of a well-known self-similar set whose construction contains no obvious Fibonacci or pentagonal symmetry. It demonstrates that the covariance fixed-point equation, a standard tool for self-similar measures, can extract precise metric information (principal-axis ratio) once the measure is identified with Lebesgue area. The derivation relies on classical results (Hutchinson, Falconer) rather than numerical fitting or ad-hoc assumptions.

minor comments (2)
  1. [§2] §2, paragraph after Eq. (3): the statement that the similarity dimension equals 2 is asserted without a short calculation of the contraction ratios; adding the explicit value log(2)/log(√2) would make the identification with Lebesgue measure immediate.
  2. [Figure 1] Figure 1 caption: the plotted axes are not labeled with the eigenvectors of the covariance matrix; a brief remark linking the visual aspect ratio to the eigenvalue ratio would help readers connect the figure to the main theorem.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment and the recommendation to accept the manuscript.

Circularity Check

0 steps flagged

No significant circularity; derivation is a direct algebraic solution from the IFS

full rationale

The paper computes the aspect ratio by solving the standard linear fixed-point equation for the covariance matrix of the invariant self-similar measure on the Twin Dragon attractor. Because the similarity dimension equals 2 and the open set condition holds, this measure is normalized Lebesgue measure; the aspect ratio is then the ratio of the square roots of the eigenvalues of the solved covariance matrix. Both the fixed-point equation and the identification with Lebesgue measure are classical results on self-similar sets and are applied here without parameter fitting, without renaming a known empirical pattern, and without load-bearing self-citation. The input is solely the IFS maps (defined via the Gaussian integer 1+i); the output ratio 1/φ emerges from the algebra and does not reduce to any of the inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the assumption that the self-similar measure is Lebesgue area due to dimension 2 and that the aspect ratio is extracted from the covariance fixed point of the IFS defined by multiplication by 1+i.

axioms (1)
  • domain assumption The similarity dimension of the Twin Dragon is 2, therefore the self-similar measure coincides with Lebesgue area.
    Invoked in the abstract as the justification for using the covariance of the area measure.

pith-pipeline@v0.9.0 · 5367 in / 1407 out tokens · 68885 ms · 2026-05-10T19:49:46.679712+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

15 extracted references · 8 canonical work pages

  1. [1]

    Bandt,Self-similar sets

    C. Bandt,Self-similar sets. V. Integer matrices and fractal tilings ofR n, Proc. Amer. Math. Soc.112(1991), no. 2, 549–562. doi:10.2307/2048545

    work page doi:10.2307/2048545 1991

  2. [2]

    M. F. Barnsley,Fractals Everywhere, 2nd ed., Academic Press, Boston, 1993

    1993

  3. [3]

    M. F. Barnsley and J. H. Elton,A new class of Markov processes for image encoding, Adv. Appl. Probab.20(1988), no. 1, 14–32. doi:10.2307/1427268

    work page doi:10.2307/1427268 1988

  4. [4]

    J. M. Borwein and D. H. Bailey,Mathematics by Experiment: Plausible Reasoning in the 21st Century, A. K. Peters, Natick, MA, 2004

    2004

  5. [5]

    Davis and D

    C. Davis and D. E. Knuth,Number representations and dragon curves, Journal of Recre- ational Mathematics3(1970), no. 2–4, 66–81, 133–149

    1970

  6. [6]

    K. J. Falconer,Fractal Geometry: Mathematical Foundations and Applications, 3rd ed., Wiley, 2014

    2014

  7. [7]

    J. E. Hutchinson,Fractals and self-similarity, Indiana Univ. Math. J.30(1981), no. 5, 713–

    1981

  8. [8]

    14 DMITRY MEKHONTSEV

    doi:10.1512/iumj.1981.30.30055. 14 DMITRY MEKHONTSEV

    work page doi:10.1512/iumj.1981.30.30055 1981

  9. [9]

    Kenyon,Self-replicating tilings, inSymbolic Dynamics and its Applications(P

    R. Kenyon,Self-replicating tilings, inSymbolic Dynamics and its Applications(P. Walters, ed.), Contemp. Math.135, Amer. Math. Soc., 1992, pp. 239–263

    1992

  10. [10]

    J. C. Lagarias and Y. Wang,Self-affine tiles inR n, Adv. Math.121(1996), no. 1, 21–49. doi:10.1006/aima.1996.0045

    work page doi:10.1006/aima.1996.0045 1996

  11. [11]

    Lau and S.-M

    K.-S. Lau and S.-M. Ngai,Multifractal measures and a weak separation condition, Adv. Math.141(1999), no. 1, 45–96. doi:10.1006/aima.1998.1773

    work page doi:10.1006/aima.1998.1773 1999

  12. [12]

    Mekhontsev,An algebraic framework for finding and analyzing self-affine tiles and frac- tals, Doctoral thesis, Ernst-Moritz-Arndt-Universit¨ at Greifswald, 2019

    D. Mekhontsev,An algebraic framework for finding and analyzing self-affine tiles and frac- tals, Doctoral thesis, Ernst-Moritz-Arndt-Universit¨ at Greifswald, 2019. urn:nbn:de:gbv:9- opus-24794

    2019

  13. [13]

    R. S. Strichartz,Self-similar measures and their Fourier transforms. II, Trans. Amer. Math. Soc.336(1993), no. 1, 335–361. doi:10.1090/S0002-9947-1993-1081941-2

    work page doi:10.1090/s0002-9947-1993-1081941-2 1993

  14. [14]

    E. R. Vrscay and C. J. Roehrig,Iterated function systems and the inverse problem of fractal construction using moments, inComputers and Mathematics(E. Kaltofen and S. M. Watt, eds.), Springer, New York, 1989, pp. 250–259. doi:10.1007/978-1-4613-9647-5 29

    work page doi:10.1007/978-1-4613-9647-5 1989

  15. [15]

    E. R. Vrscay,Iterated function systems: theory, applications and the inverse problem, in Fractal Geometry and Analysis(J. B´ elair and S. Dubuc, eds.), Kluwer, Dordrecht, 1991, pp. 405–468. doi:10.1007/978-94-015-7931-5 10. Novosibirsk State University, Novosibirsk, Russia Email address:mekhontsev@gmail.com URL:https://orcid.org/0009-0001-5065-7890

    work page doi:10.1007/978-94-015-7931-5 1991