Post on 01-Jun-2015
description
transcript
Stitching Graphs andPainting Mazes:
Problems inGeneralizations of
Eulerian Walks
Joshua Holden
Joint work with (anddiagrams by) Lana Holden
http://www.rose-hulman.edu/~holden
1 / 32
Blackwork, also known as “Spanish stitch”, becamepopular in England around 1501.
Supposedly Catherine of Aragon brought it to England then.But in fact it was already known there and many other places.
2 / 32
Blackwork is also known as “Holbein stitch”, thanks toHans Holbein the Younger, Henry VIII’s court painter.
His paintings are so detailed you can clearly see the stitching.3 / 32
The rules of blackwork embroidery depend(somewhat) on who you ask.
The most common materials traditionally are black thread andlight-colored linen.
4 / 32
The stitching is traditionally done with “double runningstitch”.
1 2 43 5 6 87
Also sometimes back stitch, but we will be talking about doublerunning stitch.
5 / 32
The stitching is traditionally done with “double runningstitch”.
15 1314 12 11 910
1 2 43 5 6 87
Also sometimes back stitch, but we will be talking about doublerunning stitch.
5 / 32
The stitching is traditionally done with “double runningstitch”.
1 2
4
3
5 6
8
39
13
14
12 11
9 10
15 16
18
19 20
17
22 21 23
24
25 26
28
29 30
27
3231
333435363738 7
Also sometimes back stitch, but we will be talking about doublerunning stitch.
5 / 32
Also, we will only be talking about reversible patterns,which appear the same from both sides of the fabric.
(“Betsy”, by Catherine Strickler, published by Indigo Rose)Reversible patterns were often used for cuffs and collars.
6 / 32
A digraph is a set of vertices, V , and a set of edges, E ,where each edge is an ordered pair of distinct vertices.
The order is thought of as indicating a “direction”.7 / 32
An (undirected) graph may be associated to a digraphby forgetting about the ordering of the pairs.
8 / 32
A (symmetric) digraph may be associated to a graphby including both possible directions of each edge.
9 / 32
A walk on a graph is a finite alternating sequence ofvertices and edges x0, {x0, x1}, x1, . . . , {xn−1, xn}, xn.
10 / 32
A graph is connected if there is a walk between anytwo vertices.
11 / 32
A directed walk on a digraph is a finite sequence ofvertices and edges x0, (x0, x1), x1, . . . , (xn−1, xn), xn.
12 / 32
A Eulerian circuit on a digraph is a directed walk withevery edge used exactly once and x0 = xn.
13 / 32
Every symmetric digraph associated to a connectedgraph is Eulerian, i.e., has an Eulerian circuit.
14 / 32
Having an Eulerian digraph is necessary for a patternto be reversibly stitchable, but is it sufficient?
The two different directions have to lie on opposite sides of the fabric.15 / 32
Having an Eulerian digraph is necessary for a patternto be reversibly stitchable, but is it sufficient?
1 2
4
3
5 6
8
39
13
14
12 11
9 10
15 16
18
19 20
17
22 21 23
24
25 26
28
29 30
27
3231
333435363738 7
The two different directions have to lie on opposite sides of the fabric.15 / 32
If x0,e1, x1, . . . ,en, xn is a directed trail on a digraph,we say that the parity of each edge ei is the parity of i .
16 / 32
A Holbeinian circuit on a digraph is an Eulerian circuitwhere all (x , y) and (y , x) have opposite parities.
17 / 32
Theorem: Every symmetric digraph associated to aconnected graph is Holbeinian.
This will not be a surprise to any embroiderers.
18 / 32
Theorem: Every symmetric digraph associated to aconnected graph is Holbeinian.
There are several ways we could prove this theorem.
18 / 32
One way is to give an algorithm which produces thecircuit. This one is “Tarry’s Algorithm” (with parity).
Suppose we have a strongly connected symmetric digraph.1. Start at an arbitrary vertex x0.2. Proceed along any edge.
19 / 32
One way is to give an algorithm which produces thecircuit. This one is “Tarry’s Algorithm” (with parity).
3. At each later step, suppose we have arrived at a vertex y .If y is not x0, let (x1, y) be the edge that first reached y(“entry edge”).
a. If there is an edge (y , z) other than (y , x1) which has notbeen traversed (and such that (z, y) either has not beentraversed or was traversed with parity opposite the currentparity) proceed along any such edge.
b. If every edge (y , z) other than (y , x1) has been traversed(or (z, y) was traversed with the current parity), leave along(y , x1) (“reverse of entry edge”) (if (x1, y) was traversed withparity opposite the current parity).
c. If there are no allowed moves as above, terminate thealgorithm.
20 / 32
Theorem: Tarry’s Algorithm with parity alwaysproduces a Holbeinian circuit.
Example
1 2
3 4
56
7 89
1011
12
13 14
15
1617
19 18
21 / 32
(False) Conjecture: Every Holbeinian circuit can beproduced from Tarry’s algorithm.
Counterexample
1 2
5 12
116
1317
9
10
3 4
15 16
19 18
87
14
22 / 32
(False) Conjecture: Every Holbeinian circuit can beproduced from Tarry’s algorithm.
Counterexample
1 2
5 12
116
1317
9
10
3 4
15 16
19 18
87
14
22 / 32
Fact: It is not possible for a “local” algorithm to tellwhether it is producing an Eulerian circuit or not.
1 2
3
4
6
5
8 7
9
23 / 32
Fact: It is not possible for a “local” algorithm to tellwhether it is producing an Eulerian circuit or not.
1 2
3
4
6
5
8 7
9
1 2
3
4
23 / 32
Conjecture: There is a “local” algorithm with an“oracle” which produces every Holbeinian circuit.
What sort of oracle?24 / 32
What if you would like to stitch a pattern so that the topand bottom threads go in the same direction?
1
234
5 6
7
910
8
11
12 13
14
15
25 / 32
A multigraph of multiplicity 2, or 2-multigraph, is an(undirected) multigraph where each edge appearsexactly twice.
26 / 32
An Aragonian circuit of a 2-multigraph is an Euleriancircuit where the two edges {x , y} are traversed in thesame order but with opposite parities.
(Same direction, opposite sides of the fabric.)
27 / 32
Theorem: A multigraph of multiplicity 2 is Aragonian ifand only if the associated graph is Eulerian and has acircuit of odd length.
Example
1
234
5 6
7
910
8
11
12 13
14
15
28 / 32
Theorem: A multigraph of multiplicity 2 is Aragonian ifand only if the associated graph is Eulerian and has acircuit of odd length.
Non-example
29 / 32
What if some of the edges need to be stitched in a“Holbeinian way” and some in an “Aragonian way”?
30 / 32
There are lots of other questions to be asked!
31 / 32
Thanks, and happy stitching![1] Joshua Holden, The Graph Theory of Blackwork Embroidery, Making
Mathematics with Needlework (sara-marie belcastro and CarolynYackel, eds.), A K Peters, 2007, pp. 136–153.
A modern blackwork pattern, by the author(Title page model stitched by Ann Black)
32 / 32