Beruflich Dokumente
Kultur Dokumente
Peter Hamburger
Department of Mathematical Sciences
Indiana University Purdue University Fort Wayne
Fort Wayne, Indiana 46805
e-mail: hamburge@ipfw.edu
Abstract
In this paper we create and implement a method to construct a non-simple, symmetric
11-Venn diagram. By doing this we answer a question of Grunbaum. Daniel Kleitman's
mathematics seems to be remote from this area, but in fact, his results inspired this
solution, which holds promise of settling the general case for all prime numbers, and
the promise to nd simple doilies with 11 and more curves as well.
Introduction
A Venn diagram consists of n simple closed curves in the plane so that all possible intersections (2n many) of the interiors and the exteriors of these curves are nonempty and
connected. One can put various restrictions on the diagrams and obtain special classes of
diagrams. We follow Grunbaum [8] in the terminology.
An independent family of curves in the plane is a collection
of simple closed Jordan curves
F = fC1 ; C2; : : : ; Cng such that each of the 2n sets X1 T X2 T : : : T Xn is a nonempty region (called a cell); here, Xi is either the bounded interior or the unbounded exterior of Ci ;
i = 1; 2; : : : ; n: The cells are also called the faces. The innite face sometimes is called the
outer face. A face with k edges (0 < k n) will be called an k -face.
A Venn diagram (or an n-Venn diagram) is an independent family of (n-many) curves such
that each cell is an open, connected region.
We note that each of the 2n cells can be described by an n-tuple of zeros and ones where the
ith coordinate is a 0 if Xi is the unbounded exterior of Ci ; otherwise it is 1; i = 1; 2; : : : ; n:
The weight of a binary n-tuple is the number of 1's in the tuple.
n
It is clear that there is a one-one correspondence between Tthe 2T
setsTof a Venn diagram and
the vertices of the n-dimensional hypercube. If A = X1 X2 : : : Xn is a set in a Venn
himself disproved his conjecture by giving an example of a simple, symmetric Venn diagram
of seven curves in [9]. He conjectured diametrically oppositely that a p-doily exists for all
prime numbers p: Shortly thereafter several others Edwards [6], Ruskey [17], and Savage and
Winkler1 gave additional examples of such diagrams with seven curves.
In [10] Grunbaum wrote: \The next step towards clarifying the conjecture would be to investigate whether there exist any symmetric Venn diagrams of 11 curves. Despite claims
(like the one in [5]; all such claims were later withdrawn) by several people of having found
diagrams of this kind, none are known at this time. The sheer size of the problem for 11
curves puts it beyond the reach of the available approaches through exhaustive computer
searches." In [4] it is said: \We have developed a number of techniques and data structures
for searching for Venn diagrams for n = 5 and enumeration of various classes of diagrams for
n = 7: Gr
unbaum's problem of nding a symmetric diagram for n = 11 remains as elusive
as ever."
In this paper we create a method to construct a non-simple 11-doily. This technique does
not use any computer search. The real diculty here is to show a decent drawing of such
diagrams in a paper of limited size. The statement of Grunbaum that \the sheer size of the
problem for 11 curves puts it beyond the reach of the available approaches through exhaustive computer search" should be changed to the following: The search for a doily with 13 or
more curves is beyond the size of any publishable paper. No computer search is capable of
nding examples of such diagrams for all prime numbers. Only pure mathematical argument
can show that these diagrams exist.
In the next three sections we are going to prove the following
Theorem 1 There
simple 11-doily.
2
is a non-simple, symmetrical
11-Venn
In [3] it was shown that for the number of vertices jV j of a Venn diagram with n curves the
inequality
n
2 2
n
j
Vj 2
2
n
1
holds. Indeed, Euler's theorem jF j + jV j jE j = 2 holds for all planar graphs, where jF j is the
number of faces, jV j is the number of vertices, and jE j is the number of edges of the graph.
If the graph is an n-Venn
diagram, then 2n + jV j jE j = 2; that is, jE j jV j = 2n 2: On the
P
other hand, 2njV j v2V deg (v ) = 2jE j; where deg (v ) denotes the degree of the vertex v:
This implies jE j njV j: Substituting this into Euler's formula we have 2n 2 njV j jV j;
and thus
2n 2
jV j:
n
1
1 The
last authors have never published their example, but it appeared in [17].
A p-doily is created by p many rotations of a simple, closed, Jordan curve over 360=p degrees
in the plane. Therefore each doily is an exposed Venn diagram. In [3] it is proved that
in a face of a Venn diagram, a curve cannot have more than one arc. Therefore one can
enumerate the arcs of the outer face with the numbers 1; 2; : : : ; p:
If a face f in a p-Venn diagram has a description < b > with a p-tuple starting with 1; then
this face is inside the curve 1; and if its description < b > ends with 0; then it is inside of
curve 1 and outside of curve p: Now, if we shift the bits of < b > by one, then the new
0
0
p-tuple < b > starts with a 0 and the second bit is 1: The new face f whose description is
0
< b > is inside of curve 2 and it is outside the curve 1: Since p is a prime number doing this
shift p 1 times we receive p-many dierent descriptions and thus p-many dierent faces
of the Venn diagram. In the p step we return to the face f: This is an orbit in the p-cube
under the shift operation. In fact if the dimension p of the cube is a prime number, then
the p-hypercube is the disjoint union of orbits. The p-cube can be considered as a Boolean
p
net; where in each level (say k) there are kp vertices. This level falls into (pk) -many disjoint
orbits. A sequence of shifts is called a rotation.
All vertices of all doilies (created in this paper) will be on a circle, and the center of rotation
is the center of the circle.
p=7
It is easier to understand all ideas of this construction if the numbers, such as the number
of faces, the number of edges, and the number of vertices of the doily, are not as big as in
the case p = 11: It is also easier to provide a nice drawing of this case. Therefore we will
illustrate all steps rst for the case p = 7: In the next section we will show how to do it
for the case p = 11; and we will provide the graphics as well. (The graphics of this case
4
The creation of a p-doily requires nding a curve and a center of rotation. And then this
curve must be rotated p times over 360=p degrees. The diculty of this process is nding a
suitable curve. We construct such a curve by rst nding a suitable sector of the diagram,
which is then repeated by rotation. This portion of the diagram is called a doodle.
The creation of a doodle requires several steps. First we choose a set of 7-tuples of 0's and
1's. This set is called the generator. The elements of the generator have rst bit 1 and
last (7th) bit 0: They are also independent, that is, neither of them can be obtained from
rotating another one under the shift operation. For p = 7 there are
6 7
X
k
k=1
= 18
#
2
3
4
#
2
3
4
nd the 11-doily.) For small numbers such as 7 and 11 this can be obtained by lucky guess,
or by exhausting (computer) search. This is not the way this generator is constructed, it
is based on some insight. This has been inspired by the mathematics of Daniel Kleitman.
At the end of the paper, we will further elaborate on this step. In the theory of nite sets
usually the hypercube is oriented with all 00 s at the bottom (empty set) and all 10 s at the
top (full set). We do this here upside-down because all 10 s means that the face is inside of
all the curves.
1
3
10
14
12
13
11
15
16
17
18
Figure 1: The dual graph of a doodle of a non-simple 7-doily. The numbers in the Figure
correspond to the binary codes in the second table.
( 7 72 1 )
Now we add the edges and the vertices of the doodle. The doodle has 7 = 5 vertices.
They are on the arc of a circle. The arc is 1=7 of the circle perimeter. Four vertices are full
vertices, while the fth vertex is split into two half-vertices. These half-vertices are at the
two ends of the arc. This is shown in Figure 2.
The segments of the arc will be edges of the doodle. This is the middle level of the doodle.
We add more edges. All of these edges will be segments of the seven curves. Each edge
starts at a vertex of the doodle, and goes around a vertex on the next level of the dual graph
of the doodle that is not circled yet, and goes back to the next vertex of the doodle. These
steps are shown in Figures 3. The resulting doodle is shown in Figure 5.
The edges of the doodle of level one and seven are two arcs that meet at the two split halfvertices. They are closing the doodle from the top and from the bottom.
For each arc segment we are designating a number between 1 and 7. These numbers indicate
to which curve will the segment belong. Between the two regions, that are connected by this
edge, the description of the regions dier by exactly one bit. The place of the new 1 bit tells
us to which curve this segment belongs. (For instance between the regions < 1000000 >
and < 1010000 > the arc belongs to curve 3, since the new 1 is in the third place.) Notice
that each curve goes through the two half-vertices. Therefore all curves enter and leave the
6
Figure 2: The arc of a circle (shown as a straight line segment in this drawing), and the
vertices of the doodle. The two half-vertices are half-dark discs.
5
6
2
4
4
6
2
2
6
4
6
4
2
3
Figure 5: The doodle. The numbers designated to the arcs are the labeling of the seven
curves.
4
11-doily
We skip some of the steps. The following tables show immediately the codes of the generator
in the right positions. (This list looks to be in an illogical order. In order to save room we
combined them into one table. On the right they are labeled with a number between 1 and
186 for use in Figure 7.)
Figure 8 shows the doodle of the non-simple 11-doily with the edge assignments. Figure 10
is the non-simple 11-doily. Finally Figure 11 is one of the simple closed Jordan curves. This
curve creates the doily by 11 rotations over 360=11 degrees, so Theorem 1 is proved.
weight 1
100 000 000 00
weight 2
110 000 000 00
100 010 000 00
100 000 000 10
100 001 000 00
100 100 000 00
weight 4
111 001 000 00
111 100 000 00
111 000 010 00
111 010 000 00
110 011 000 00
110 010 010 00
110 010 001 00
110 100 010 00
110 001 100 00
110 100 100 00
111 000 100 00
110 010 100 00
110 010 000 10
101 010 000 10
100 011 000 10
101 011 000 00
101 010 010 00
110 000 001 10
110 000 100 10
110 100 000 10
110 101 000 00
110 100 001 00
101 100 010 00
100 101 010 00
100 100 110 00
101 110 000 00
100 111 000 00
100 110 000 10
100 101 000 10
100 100 101 00
#
1
#
2
3
4
5
6
#
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
weight 10
111 111 111 10
weight 9
111 111 111 00
111 011 111 10
110 111 111 10
111 101 111 10
101 111 111 10
weight 7
111 011 110 00
111 111 100 00
111 111 010 00
111 101 110 00
111 101 011 00
111 011 011 00
111 110 011 00
111 110 101 00
110 111 110 00
110 110 111 00
111 010 110 10
111 011 100 10
101 011 101 10
101 011 111 00
111 010 101 10
111 011 001 10
110 001 111 10
110 110 110 10
110 101 111 00
111 101 101 00
111 100 111 00
101 101 111 00
101 111 011 00
100 111 111 00
101 111 110 00
101 110 011 10
100 111 011 10
101 111 010 10
100 101 111 10
100 110 111 10
#
186
#
181
182
183
184
185
#
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
weight 3
111 000 000 00
110 010 000 00
110 000 010 00
110 000 100 00
100 010 100 00
100 010 000 10
101 010 000 00
110 000 000 10
100 100 000 10
110 001 000 00
110 100 000 00
100 100 010 00
100 110 000 00
100 101 000 00
100 100 100 00
weight 8
111 111 110 00
111 111 011 00
111 110 111 00
110 111 111 00
111 011 110 10
101 011 111 10
111 011 111 00
111 011 101 10
110 101 111 10
110 110 111 10
111 101 111 00
101 111 111 00
101 111 011 10
101 101 111 10
100 111 111 10
Table 1: A generator.
10
#
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
#
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
weight 5
111 001 100 00
111 101 000 00
111 100 100 00
111 110 000 00
111 000 110 00
111 100 010 00
111 001 010 00
111 011 000 00
110 011 010 00
110 010 011 00
111 010 010 00
110 110 010 00
110 110 001 00
110 100 110 00
110 011 100 00
110 110 100 00
111 010 100 00
110 010 100 10
111 010 000 10
101 010 001 10
101 011 000 10
101 011 001 00
101 010 011 00
110 000 101 10
111 000 001 10
110 001 100 10
110 100 010 10
110 101 100 00
111 100 001 00
101 100 110 00
101 101 010 00
100 111 010 00
100 101 110 00
100 100 111 00
101 111 000 00
101 110 010 00
100 111 000 10
101 110 000 10
100 101 010 10
100 101 001 10
100 100 101 10
100 110 101 00
#
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
weight 6
111 011 100 00
111 101 100 00
111 110 100 00
111 111 000 00
111 001 110 00
111 100 011 00
111 101 010 00
111 011 001 00
111 011 010 00
111 010 011 00
111 110 010 00
110 110 011 00
110 110 101 00
110 101 110 00
110 111 100 00
110 110 110 00
111 010 100 10
110 011 100 10
111 011 000 10
101 010 101 10
101 011 001 10
101 011 101 00
101 010 111 00
111 000 101 10
111 010 001 10
110 001 110 10
110 110 010 10
110 101 101 00
111 100 101 00
111 100 110 00
101 101 011 00
101 111 010 00
100 111 110 00
100 101 111 00
101 111 100 00
101 110 011 00
100 111 001 10
101 111 000 10
100 111 010 10
100 101 101 10
100 100 111 10
100 110 111 00
#
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
21
22
51
52
93
94
135
136
165
166
180
181
185
186
Figure 7: The dual graph of the doodle of a non-simple 11-doily. The numbers in the Figure
are growing from left to right. The corresponding binary codes can be found in Table 1.
11
Figure 8: The doodle of the non-simple 11-doily and the labeling of the arcs.
12
13
14
Figure 11: The Jordan curve, and the center of rotation. The rotation of this curve 11 times
over 360=11 degrees creates the non-simple 11-doily in Figure 10.
15
At this moment we are not sure we have a complete proof for all prime numbers p > 11:
However, we show what additional step is needed to complete the proof for primes p > 11:
Without going into the details we also show the decisive step we followed in creating the
doodles for the doilies.
Clearly, all but one of the steps of the process described in Chapters 1-4 can be carried out
for all prime numbers p: First, it is clear that for every prime number p there is a generator
set. The only additional step needed is that one has to show that by rotations under the
shift operation, the generator set can be arranged into a dual graph of a doodle, that is, one
can create the two trees that are described in the process. This actually means the following:
Let P (X ) denote the poset of all subsets of a set X; where jX j = n: A level k; (0 k n);
in the poset P (X ) is the set of all subsets of X with exactly k many elements. A chain
C = A1 A2 : : : Ak in P (X ) is a saturated, (skipless) chain i it intersects every level
between levels l and l + k for some integers l and k: A saturated chain A1 A2 : : : Ak
in P (X ) is called symmetric if jA1 j = n jAk j: Thus a saturated chain is symmetric if it
goes from level m to level k = n m: In particular, every symmetric chain has a set at level
bn=2c: It was shown in [2] (see also [16] and [1]) that
Theorem 2
P(
If there is such a partition then, as every symmetric chain meets X bn=2c in one set, there
must be bn=n2c non-empty chains in the partition. Using the characteristic functions of the
subsets of the set X; a skipless chain in P (X ) corresponds to a set of binary codes of the
hypercube which is a path from level l; (0 l n); to level l + k; (0 l + k n); for some
integers l and k: A symmetric chain in P (X ) corresponds to a set of binary codes of the
hypercube which is a path from level l = m to level l + k = n m:
The dual graph of a doodle of a non-simple doily is a subgraph of the p-cube in which the
two half-parts (from level 1 to level p 2 1 , and from level p 1 to level p+1
2 ) are trees. In these
trees a path from level 1 to level p 2 1 is a chain. These chains must meet in the middle level
of the hypercube as a planar graph. The paths from level 1 to level n are maximal symmetric
chains. The dual graph of the p-doodle is created by rst partitioning the p-hypercube into
p
p 1
2
many chains (in which the binary p-tuples are from a generator) that form the required trees,
then the process is done. If not, then some of the chains combined (and not individual binary
16
-tuples) have to rotate either completely or partially into dierent positions in which they
t together in the required way. If this is possible, then the process is done. If this cannot be
achieved, then some of the symmetric chains have to extend into saturated, but not necessarily symmetric, chains. If these chains form the required trees, then the process is done again.
The two trees above are produced this way. It is not a trial-and-error method, since there
are too many such trees. For p = 11 only a few rotations are needed. The diculty to develop a method that will work for general primes p > 11 is to nd a typical symmetric chains
partition of the partially ordered set from which not too many such trees can be constructed.
p
Therefore to show that a p-doily exists for any prime number p; it is enough to show that a
suitable generator set can be partitioned into
p
17
References
[11] P. Hamburger, Pretty Drawings. More Doodles and Doilies, Symmetric Venn Diagrams, (submitted for publication).
[12] P. Hamburger and A. Sali, Symmetric 11-Venn Diagrams with Vertex Sets
231; 242; : : : ; 352; (submitted for publication).
[13] P. Hamburger and A. Sali, 11-Doilies with Vertex Sets 275; 286; : : : 462; (submitted for publication).
[14] G. H. Hardy and E. M. Wright, Introduction
Edition, Clarendon Press, Oxford, 1954.
3rd
[15] D. W. Henderson, Venn Diagrams for More Than Four Classes, Mathematics Magazine 4 (1963), 424-426.
[16] D. J. Kleitman, On a Lemma of Littlewood and Oord on the Distributions of
Linear Combinations Of Vectors, Advances in Mathematics 5 (1970), 155-157.
[17] F. Ruskey, A Survey of Venn Diagrams, The Electronic Journal of Combinatorics,
4 (1997), DS#5. see also: http://sue.csc.uvic.ca/~ cos/venn/VennEJC.html.
18