Sequence of n-tuples of integers
A Ducci sequence is a sequence of "n"-tuples of integers, sometimes known as "the Diffy game", because it is based on sequences.
Given an "n"-tuple of integers formula_1, the next "n"-tuple in the sequence is formed by taking the absolute differences of neighbouring integers:
formula_2
Another way of describing this is as follows. Arrange "n" integers in a circle and make a new circle by taking the difference between neighbours, ignoring any minus signs; then repeat the operation. Ducci sequences are named after Enrico Ducci (1864–1940), the Italian mathematician who discovered in the 1930s that every such sequence eventually becomes periodic.
Ducci sequences are also known as the Ducci map or the n-number game. Open problems in the study of these maps still remain.
Properties.
From the second "n"-tuple onwards, it is clear that every integer in each "n"-tuple in a Ducci sequence is greater than or equal to 0 and is less than or equal to the difference between the maximum and minimum members of the first "n"-tuple. As there are only a finite number of possible "n"-tuples with these constraints, the sequence of n-tuples must sooner or later repeat itself. Every Ducci sequence therefore eventually becomes periodic.
If "n" is a power of 2 every Ducci sequence eventually reaches the "n"-tuple (0,0...,0) in a finite number of steps.
If "n" is "not" a power of two, a Ducci sequence will either eventually reach an "n"-tuple of zeros or will settle into a periodic loop of 'binary' "n"-tuples; that is, "n"-tuples of form formula_3, formula_4 is a constant, and formula_5.
An obvious generalisation of Ducci sequences is to allow the members of the "n"-tuples to be "any" real numbers rather than just integers. For example,
 this 4-tuple converges to (0, 0, 0, 0) in four iterations:
formula_6
formula_7
The properties presented here do not always hold for these generalisations. For example, a Ducci sequence starting with the "n"-tuple (1, "q", "q"2, "q"3) where "q" is the (irrational) positive root of the cubic formula_8 does not reach (0,0,0,0) in a finite number of steps, although in the limit it converges to (0,0,0,0).
Examples.
Ducci sequences may be arbitrarily long before they reach a tuple of zeros or a periodic loop. The 4-tuple sequence starting with (0, 653, 1854, 4063) takes 24 iterations to reach the zeros tuple.
formula_9
formula_10
This 5-tuple sequence enters a period 15 binary 'loop' after 7 iterations.
formula_11
The following 6-tuple sequence shows that sequences of tuples whose length is not a power of two may still reach a tuple of zeros:
formula_12
If some conditions are imposed on any "power of two"-tuple Ducci sequence, it would take that power of two or lesser iterations to reach the zeros tuple. It is hypothesized that these sequences conform to a rule.
Modulo two form.
When the Ducci sequences enter binary loops, it is possible to treat the sequence in modulo two. That is:
formula_13
This forms the basis for proving when the sequence vanish to all zeros.
Cellular automata.
The linear map in modulo 2 can further be identified as the cellular automata denoted as rule 102 in Wolfram code and related to rule 90 through the Martin-Odlyzko-Wolfram map. Rule 102 reproduces the Sierpinski triangle.
Other related topics.
The Ducci map is an example of a difference equation, a category that also include non-linear dynamics, chaos theory and numerical analysis. Similarities to cyclotomic polynomials have also been pointed out. While there are no practical applications of the Ducci map at present, its connection to the highly applied field of difference equations led to conjecture that a form of the Ducci map may also find application in the future.
References.
 ;templatestyles src="Reflist/styles.css" / ;