The mathematical study of braids combines aspects of topology and group theory to study mathematical representations of one-dimensional strands in three-dimensional space. These strands are also sometimes viewed as representing the movement through a time dimension of points in two-dimensional space. On the other hand, the study of cellular automata usually involves a one- or two-dimensional grid of cells which evolve through a time dimension according to specified rules. This time dimension is often represented as an extra spacial dimension. The ideas of representing both strands in space and cellular automata have also been explored in many artistic media, including drawing, sculpture, knitting, crochet, and weaving.
Previous work as been shown that rules for cellular automata can be written in order to produce depictions of braids. This talk will extend the previous system into a more flexible one which more realistically captures the behavior of strands in certain media, such as knitting. Some theorems about what can and cannot be represented with these cellular automata will be presented.
Braids, Cables, and Cells II: Representing Art and Craft with Mathematics and Computer Science
1. Braids, Cables, and Cells
Representing Art and Craft with Mathematics and Computer
Science
Joshua Holden
Rose-Hulman Institute of Technology
http://www.rose-hulman.edu/~holden
1 / 43
2. “Knotwork” has been used in visual arts for many
centuries.
Left: Detail from Roman mosaic at Woodchester, c. 325 CE
Right: Detail from the “Book of Kells”, c. 800 CE
2 / 43
3. “Knotwork” has been used in visual arts for many
centuries.
Left: by A. Reed Mihaloew, Right: by Christian Mercat
3 / 43
4. In knitting, raised knot-like designs are known as
“cables”.
Left: Design by Meredith Morioka, knitted by Lana Holden
Right: Design by Julie Levy, knitted by Lana Holden
4 / 43
5. “Cables” can also be done in crochet.
Both: Designed and crocheted by Lisa Naskrent
5 / 43
6. A somewhat similar effect is given by “traveling
eyelets” in knitted lace.
From Barbara Walker’s Charted Knitting Designs
6 / 43
7. And of course, there are many actual weaving
patterns.
Left: 2/2 twill weave, woven by Sarah, a.k.a. Aranel
Right: “Noonday Sun” pattern, woven by Peggy Brennan
(Cherokee Nation)
7 / 43
8. Vandermonde was interested in the mathematical
study of knots and braids.
From “Remarques sur les problèmes de situation”, 1771
8 / 43
9. So was Gauss.
From Page 283 of Gauss’s Handbuch 7, c. 1825?
9 / 43
10. Today, braids are studied from the perspectives of
topology and group theory.
Two equal braids (Wikipedia)
Two braids which are the same except for “pulling the
strands” are considered equal.
All strands are required to move from bottom to top.
10 / 43
11. You can make braids into a group by “multiplying”
them.
× =
Multiplying braids (Wikipedia)
You multiply two braids by stacking them and then
simplifying.
11 / 43
12. A Cellular Automaton is a mathematical construct
modeling a system evolving in time.
Finite number of cells in a regular grid
Finite number of states that a cell can be in
Each cell has a well-defined finite neighborhood
Time moves in discrete steps
State of each cell at time t is determined by the states of
its neighbors at time t − 1
Each cell uses the same rule
The “von Neumann neighborhood”
(Wikibooks)
12 / 43
13. “The Game of Life” is an example you might know.
Invented by John Conway
Grid is two-dimensional
Two states, “live” and “dead”
Neighborhood is the eight cells which are directly
horizontally, vertically, or diagonally adjacent
Any live cell with two or three live neighbors stays live.
Any other live cell dies.
Any dead cell with exactly three live neighbors becomes a
live cell.
Any other dead cell stays dead.
(Figures by Paul Callahan, from www.math.com)
13 / 43
21. Another well-known class of automata are the
“Elementary” Cellular Automata.
Popularized by Stephen Wolfram (A New Kind of Science)
Grid is one-dimensional
Two states, “white” and “black”
Neighborhood includes self and one cell on each side
“Rule 30” (Mathworld)
15 / 43
22. Example: “Rule 90”
Second dimension is used for “time”
´
Produces the Sierpinski triangle fractal
An “additive” rule
(Mathworld)
16 / 43
23. Cellular automata can exhibit aperiodic behavior.
Conjecture (Wolfram, 1984)
The sequence of colors produced by the cell at the center of
Rule 30 is aperiodic.
This sequence is used by the pseudorandom number
generator in the program Mathematica.
The center and right portions of Rule 30 appear to have
some of the characteristics of “chaotic” systems.
Theorem (Jen, 1986 and 1990)
(a) At most one cell of Rule 30 produces a periodic sequence
of colors.
(b) The sequence of color pairs produced by any two adjacent
cells of Rule 30 is aperiodic.
17 / 43
25. Cellular automata are also “computationally universal”.
Theorem (Cook, 1994+)
Rule 110 can be used to simulate any Turing machine.
This is important because of the widely accepted:
Church-Turing Thesis
Anything that can be computed by an algorithm can be
computed by some Turing machine.
And for complexity geeks:
Theorem (Neary and Woods, 2006)
Rule 110 can be used to simulate any polynomial time Turing
machine in polynomial time. (I.e., it is “P-complete”.)
19 / 43
26. Rule 110 on a Single Cell Input
(Mathworld)
20 / 43
27. How is this possible?
1. Use Rule 110 to simulate a “cyclic tag system”.
A cyclic tag system has:
A data string
A cyclic list of “production rules”
To perform a computation:
If the first data symbol is 1, add the production rule to the
end of the data string. If the first data symbol is 0 do
nothing.
Delete the first data symbol.
Move to the next production rule.
Repeat until the data string is empty.
2. Show that any Turing machine can be simulated by a cyclic
tag system.
21 / 43
28. Cyclic Tag System Example
Production rules Data string
010 11001
000 1001010
1111 001010000
010 01010000
000 1010000
1111 010000000
010 10000000
.
. ..
. .
22 / 43
29. To simulate a cyclic tag system with Rule 110, you
need:
a representation of the data string (stationary)
a representation of the production rules (left-moving)
“clock pulses” (right-moving)
(Wikipedia)
23 / 43
31. CAs have been used in fiber arts before.
Left: Designed and crocheted by Jake Wildstrom
Right: Knitted by Pamela Upright, after Debbie New
25 / 43
32. Each of our cells will store 4 bits of information in 8
states.
upright slanted
no strands
left only
right only
both
26 / 43
33. The neighborhood will be a “brick wall” neighborhood.
(Time moves from bottom to top, like a knitting pattern.)
27 / 43
34. The CA rule system can actually be thought of as four
simpler CAs. The first two just control whether strands
are present or not.
no left left
no right
right
28 / 43
35. The CA rule system can actually be thought of as four
simpler CAs. The first two just control whether strands
are present or not.
no left left
no right
right
29 / 43
36. The third CA controls whether the strands are upright
or diagonal, specified by a numbered rule.
“Turning Rule 39”
30 / 43
37. And the fourth CA controls which strand is on top if the
strands cross, also specified by a numbered rule.
“Crossing Rule 39”
31 / 43
38. There are several possible choices for what to do at
the edges of the grid.
Make the grid infinite?
Have a special kind of state for edge cells?
Make the grid cylindrical? (“Periodic boundary conditions”)
Reflect cells at the edges? (Where to put the axis?)
I have so far only implemented the cylindrical case.
32 / 43
39. The rules can produce fractal patterns, . . .
Rules 68 and 0 33 / 43
41. . . . traditional braids, . . .
’
Left: Wikipedia, Right: Rules 333 and 39
35 / 43
42. . . . slightly less traditional braids, . . .
Left: backstrapweaving.wordpress.com
Right: Rules 333 and 99
36 / 43
43. . . . and other sorts of “cable” patterns.
Left: Rules 47 and 0, Right: Rules 201 and 39
37 / 43
44. If all strands are present and only one rule is active,
previously known results on “elementary” CA’s apply.
Rules 68 and 0 give the same result as Wolfram’s Rule 90
38 / 43
45. Since the width is finite, the pattern must eventually
repeat. For a given width, how long can a repeat be?
Proposition
Assume only the crossing rule is active. For a given width m, no
repeat can be longer than m2m − 2m rows.
Proof.
After 2m rows, all of the strands
have returned to their original
positions. The only question is
which strand of each crossing
is on top.
39 / 43
46. Since the width is finite, the pattern must eventually
repeat. For a given width, how long can a repeat be?
Proposition
Assume only the crossing rule is active. For a given width m, no
repeat can be longer than m2m − 2m rows.
Proof.
If there are m crossings then
there are 2m possible
arrangements of the crossings
but only 2 different ways the
row can be shifted. So the
maximum repeat is the lcm of a
number ≤ 2m and a
number ≤ 2.
39 / 43
47. Since the width is finite, the pattern must eventually
repeat. For a given width, how long can a repeat be?
Proposition
Assume only the crossing rule is active. For a given width m, no
repeat can be longer than m2m − 2m rows.
Proof.
If there are m − 1 crossings,
then there are 2m−1 possible
arrangements but 2m different
shifts, so the maximum repeat
is the lcm of a number ≤ 2m−1
and a number ≤ 2m.
39 / 43
48. Since the width is finite, the pattern must eventually
repeat. For a given width, how long can a repeat be?
Proposition
Assume only the crossing rule is active. For a given width
m ≥ 2k , the maximum repeat is at least lcm(2k +1 , 2m) rows
long.
Proof.
Consider the starting row with
one single strand and m − 1
crossings. Crossing Rule 100
(which is additive) acts on this
with a repeat (modulo cyclic
shift) of 2k +1 if m > 2k . The
cyclic shift gives the 2m.
40 / 43
49. Since the width is finite, the pattern must eventually
repeat. For a given width, how long can a repeat be?
Proposition
Assume only the crossing rule is active. For a given width
m ≥ 2k , the maximum repeat is at least lcm(2k +1 , 2m) rows
long.
Remark
For m ≤ 5, this is sharp. For
m = 23, m crossings and
Crossing Rule 257 (which is
also additive) does better.
For large m, neither the upper
bound above nor this lower
bound seems especially likely
to be sharp.
40 / 43
50. If only one or two strands are present then the
maximum length of a repeat can be determined.
Proposition
Assume only one or two strands are
present. For a given width m ≤ 5, the
maximum repeat is (2m)(2m + 1) rows long.
Proof.
This is achieved by Turning Rule 97 and two
strands.
41 / 43
51. There is much future work to be done.
If all strands are present and both rules are active, then we
have two “elementary” CA’s where one can “overwrite” the
other.
The length of a maximum repeat in other cases is open.
What is the computational complexity of predicting things
that the CA might do?
More work can be done with different edge conditions.
Which braids can be represented? (In the sense of braid
groups)
Which rules are “reversible”?
Two-dimensional grids with time as the third dimension
42 / 43