547dc9d0340bb4b3.tex
1: \begin{abstract}
2: In 1985, Barnsley and Harrington defined a ``Mandelbrot Set'' $\SetA$ for pairs of similarities 
3: --- this is the set of complex numbers $z$ with $0<|z|<1$ for which the limit set of the 
4: semigroup generated by the similarities $$x \mapsto zx \text{ and } x \mapsto z(x-1)+1$$ is connected. 
5: Equivalently, $\SetA$ is the closure of the set of roots of polynomials with coefficients in 
6: $\lbrace -1,0,1 \rbrace$. Barnsley and Harrington already noted the (numerically apparent) 
7: existence of infinitely many small ``holes'' in $\SetA$, and conjectured that these holes 
8: were genuine. These holes are very interesting, since they are ``exotic'' components of 
9: the space of (2 generator) Schottky semigroups. The existence of at least one hole was 
10: rigorously confirmed by Bandt in 2002, and he conjectured that the interior points are dense away from the real axis.  We introduce the 
11: technique of {\em traps} to construct and certify interior points of $\SetA$, and use them 
12: to prove Bandt's Conjecture. Furthermore, our techniques let us certify the existence 
13: of infinitely many holes in $\SetA$.
14: \end{abstract}
15: