View source for Regular paperfolding sequence

In [[mathematics]] the '''regular paperfolding sequence''', also known as the [[dragon curve]] sequence, is an infinite sequence of 0s and 1s. It is obtained from the repeating partial sequence
{{bi|left=1.6|1, ?, 0, ?, 1, ?, 0, ?, 1, ?, 0, ?, ...}}
by filling in the question marks by another copy of the whole sequence. The first few terms of the resulting sequence are:

{{bi|left=1.6|1, 1, 0, 1, 1, 0, 0, 1, 1, 1, 0, 0, 1, 0, 0, 1, ... {{OEIS|A014577}}}}

If a strip of paper is folded repeatedly in half in the same direction, <math>i</math> times, it will get <math>2^i-1</math> folds, whose direction (left or right) is given by the pattern of 0's and 1's in the first <math>2^i-1</math> terms of the regular paperfolding sequence. Opening out each fold to create a right-angled corner (or, equivalently, making a sequence of left and right turns through a regular grid, following the pattern of the paperfolding sequence) produces a sequence of [[polygonal chain]]s that approaches the [[dragon curve]] fractal:<ref>{{MathWorld|urlname=DragonCurve|title=Dragon Curve}}</ref>

{| style="margin-left:1.6em" cellpadding=20
 |-
 | [[File:1 Order Dragon Curve.svg|30px]]
 | [[File:2 Order Dragon Curve.svg|60px]]
 | [[File:3 Order Dragon Curve.svg|60px]]
 | [[File:4 Order Dragon Curve.svg|90px]]
 | [[File:5 Order Dragon Curve.svg|210px]]
 |-
 | 1
 | 1 1 0
 | 1 1 0 1 1 0 0
 | 1 1 0 1 1 0 0 1 1 1 0 0 1 0 0
 | ...
|}

==Properties==
The value of any given term <math>t_n</math> in the regular paperfolding sequence, starting with <math>n=1</math>, can be found recursively as follows. Divide <math>n</math> by two, as many times as possible, to get a factorization of the form <math>n=m\cdot 2^k</math> where <math>m</math> is an [[odd number]]. Then
<math display=block>t_n =
\begin{cases} 
1 & \text{if } m \equiv 1 \mod 4 \\
0 & \text{if } m \equiv 3 \mod 4
\end{cases}</math>
Thus, for instance, <math>t_{12}=t_3=0</math>: dividing 12 by two, twice, leaves the odd number 3. As another example, <math>t_{13}=1</math> because 13 is congruent to 1 mod 4.

The paperfolding word 1101100111001001..., which is created by concatenating the terms of the regular paperfolding sequence, is a fixed point of the morphism or [[string substitution]] rules

:11  '''→'''  1101
:01  '''→'''  1001
:10  '''→'''  1100
:00  '''→'''  1000

as follows:

:11 '''→''' 1101 '''→''' 11011001 '''→''' 1101100111001001 '''→''' 11011001110010011101100011001001 ...

It can be seen from the morphism rules that the paperfolding word contains at most three consecutive 0s and at most three consecutive 1s.

The paperfolding sequence also satisfies the symmetry relation:

:<math>t_n =
\begin{cases} 
1 & \text{if } n = 2^k \\
1-t_{2^k-n} & \text{if } 2^{k-1}<n<2^k
\end{cases}</math>

which shows that the paperfolding word can be constructed as the limit of another iterated process as follows:

:'''1'''
:1 '''1''' 0
:110 '''1''' 100
:1101100 '''1''' 1100100
:110110011100100 '''1''' 110110001100100

In each iteration of this process, a 1 is placed at the end of the previous iteration's string, then this string is repeated in reverse order, replacing 0 by 1 and vice versa.

==Generating function==
The [[generating function]] of the paperfolding sequence is given by

:<math>G(t_n;x)=\sum_{n=1}^{\infty}t_nx^n \, .</math>

From the construction of the paperfolding sequence, it can be seen that ''G'' satisfies the functional relation

:<math>G(t_n;x) = G(t_n;x^2) + \sum_{n=0}^{\infty}x^{4n+1} = G(t_n;x^2) + \frac{x}{1-x^4} \, .</math>

==Paperfolding constant==
Substituting {{math|1=''x'' = 0.5}} into the generating function gives a real number between {{math|0}} and {{math|1}} whose binary expansion is the paperfolding word
 
:<math>G(t_n;\tfrac{1}{2})=\sum_{n=1}^{\infty} \frac{t_n}{2^n}</math>

This number is known as the '''paperfolding constant'''<ref>{{MathWorld|urlname=PaperFoldingConstant|title=Paper Folding Constant}}</ref> and has the value

:<math>\sum_{k=0}^{\infty} \frac {8^{2^k}}{2^{2^{k+2}}-1} = 0.85073618820186...</math> {{OEIS|A143347}}

==General paperfolding sequence==
The regular paperfolding sequence corresponds to folding a strip of paper consistently in the same direction.  If we allow the direction of the fold to vary at each step we obtain a more general class of sequences.  Given a binary sequence (''f''<sub>''i''</sub>), we can define a general paperfolding sequence with folding instructions (''f''<sub>''i''</sub>).

For a binary word ''w'', let ''w''<sup>‡</sup> denote the reverse of the complement of ''w''.  Define an operator ''F''<sub>''a''</sub> as

:<math>F_a : w \mapsto w a w^\ddagger \  </math>

and then define a sequence of words depending on the (''f''<sub>''i''</sub>) by ''w''<sub>0</sub> = ε,

:<math>w_n = F_{f_1} ( F_{f_2} ( \cdots F_{f_n}(\varepsilon) \cdots ) ) \ .</math>

The limit ''w'' of the sequence ''w''<sub>''n''</sub> is a paperfolding sequence.  The regular paperfolding sequence corresponds to the folding sequence ''f''<sub>''i''</sub> = 1 for all ''i''.

If ''n'' = ''m''·2<sup>''k''</sup> where ''m''  is odd then

:<math>t_n =
\begin{cases} 
f_j & \text{if } m \equiv 1 \mod 4 \\
1-f_j & \text{if } m \equiv 3 \mod 4
\end{cases}</math>

which may be used as a definition of a paperfolding sequence.<ref name=EPSW235>{{cite book | last1=Everest | first1=Graham | last2=van der Poorten | first2=Alf | author2-link=Alfred van der Poorten | last3=Shparlinski | first3=Igor | last4=Ward | first4=Thomas | title=Recurrence sequences | series=Mathematical Surveys and Monographs | volume=104 | location=[[Providence, RI]] | publisher=[[American Mathematical Society]] | year=2003 | isbn=0-8218-3387-1 | zbl=1033.11006 | page=235 }}</ref>

===Properties===
* A paperfolding sequence is not ultimately periodic.<ref name=EPSW235/>
* A paperfolding sequence is 2-[[automatic sequence|automatic]] if and only if the folding sequence is ultimately periodic (1-automatic).

==References==
{{reflist}}
{{refbegin}}
*{{cite book | last1 = Allouche | first1 = Jean-Paul | last2 = Shallit | first2 = Jeffrey | author2-link = Jeffrey Shallit | isbn = 978-0-521-82332-6 | publisher = [[Cambridge University Press]] | title = Automatic Sequences: Theory, Applications, Generalizations | year = 2003 | zbl=1086.11015 }}
{{refend}}

[[Category:Binary sequences]]
[[Category:Paper folding]]

{{Mathematics of paper folding}}