Fractal Curves Generated by the Sum-of-Digits Function

Requires a Wolfram Notebook System
Interact on desktop, mobile and cloud with the free Wolfram Player or other Wolfram Language products.
Fractal-like curves are generated by the sum-of-digit function for a given base with two additional parameters
and
. In some special cases, these curves reduce to known fractals; for example, when
and
, the curve is a scaled version of the famous Koch curve. For general parameters
and
, the curves can take on a remarkable and largely unpredictable variety of shapes, from distinctive geometric shapes to fractal-like patterns to random clouds exhibiting no apparent pattern.
Contributed by: Adithya Swaminathan, Dimitrios Tambakos and A. J. Hildebrand (June 2021)
(Based on an undergraduate research project at the Illinois Geometry Lab in Spring 2021)
Open content licensed under CC BY-NC-SA
Snapshots
Details
Let be the base-
representation of
. The the sum-of-digits function of
in base
is defined to be
.
The curves shown in this Demonstration are constructed as follows. Fix an integer and two parameters
and
, and let
.
Let be the polygonal curve that starts at the origin and whose steps are unit vectors in the direction of the angles
,
. Thus,
is the infinite curve obtained by connecting the partial sums
,
,
interpreted as points in the complex plane (with the empty sum interpreted as ).
There are several special cases that are of particular interest:
• When and
, the curve is a scaled version of the Koch curve [1]. The point at step
is
, where
is the Thue–Morse sequence, defined by
if the sum of binary digits of
is even, and
otherwise.
• When ,
is an integer and
is congruent to
or
modulo
, the curve is periodic and represents a finite polygonal curve that can be explicitly described [2].
• When , the angles
reduce to
and so do not depend on the sum-of-digit function. The resulting curves are known as curlicue fractals [3].
• When and
are integers, the curve
encodes the behavior of the sum-of-digit function
, with
restricted to an arithmetic progression modulo
, in residue classes modulo
[1, 4].
• For general parameters and
, the behavior of
is more mysterious, and very little is known of such cases.
References
[1] J.-P. Allouche and G. Skordev, "Von Koch and Thue–Morse Revisited," Fractals, 15(4), 2007 pp. 405–409. doi:10.1142/S0218348X07003630.
[2] D. H. Lehmer and E. Lehmer, "Picturesque Exponential Sums, I," The American Mathematical Monthly, 86(9), 1979 pp. 725–733. doi:10.1080/00029890.1979.11994899.
[3] F. M. Dekking and M. Mendès France, "Uniform Distribution Modulo One: A Geometrical Viewpoint," Journal für die reine und angewandte Mathematik, 1981(329), 1981 pp. 143–153. doi:10.1515/crll.1981.329.143.
[4] F. M. Dekking, "On the Distribution of Digits in Arithmetic Sequences," Séminaire de théorie des nombres de Bordeaux (1982–1983), Bordeaux: Société Arithmétique de Bordeaux, 1982 pp. 1–12. www.jstor.org/stable/44166422.
Permanent Citation