% use options
%  '[beamer]' for a digital projector
%  '[trans]' for an overhead projector
%  '[handout]' for 4-up printed notes
\documentclass[beamer]{beamer}

% change talk_preamble if you want to modify the slide theme, colours, and settings for trans and handout modes.
\newcommand{\pathtotrunk}{../../}
\input{\pathtotrunk talks/talk_preamble.tex}

\ifpdf
\usepackage[pdftex,all,color]{xy}
\else
\usepackage[all,color]{xy}
\fi

\SelectTips{cm}{}
% This may speed up compilation of complex documents with many xymatrices.
\CompileMatrices

%\setbeameroption{previous slide on second screen=right}

\author[Emily Peters, Noah Snyder]{Emily Peters \\ \url{http://euclid.unh.edu/~eep} \\ Noah Snyder \\ \url{http://math.columbia.edu/~nsnyder} \\ joint work with F. Calegari, Jones, Morrison, Penneys}
\title{Classifying subfactors up to index 5}
\date{Shanks Workshop on Subfactors and Tensor Categories \\ \url{http://euclid.uhn.edu/~eep/Shanks2010.pdf}}

\usepackage{multimedia}


\begin{document}

\frame{\titlepage}

\begin{frame}
       \frametitle{Outline}
       \tableofcontents
\end{frame}

\beamertemplatetransparentcovered 

\mode<beamer>{\setbeamercolor{block title}{bg=green!40!black}}

\beamersetuncovermixins 
{\opaqueness<1->{60}} 
{} 


\AtBeginSection[]
{
   \begin{frame}<beamer>
       \frametitle{Outline}
       \tableofcontents[currentsection]
   \end{frame}
}

\section{Our goal:  subfactors up to index $5$}
\begin{frame}
\beamersetuncovermixins 
{\opaqueness<1->{0}} 
{} 

\frametitle{Principal graphs up to index $3+\sqrt{3}$}

\begin{theorem}[Haagerup, Asaeda-Haagerup, Bisch, Asaeda-Yasuda, Bigelow-Morrison-Peters-Snyder]
There are only three principal graphs with index in the range $(4,3+\sqrt{3})$:    
$\mathfig{0.15}{graphs/Haagerup}, \mathfig{0.225}{graphs/EH}, \mathfig{0.3}{graphs/HA}$
\end{theorem}
\end{frame}
\begin{frame}{Our goal:  Principal graphs up to ${5}$}

\begin{theorem}[Haagerup, Asaeda-Haagerup, Bisch, Asaeda, Asaeda-Yasuda, Bigelow-Morrison-Peters-Snyder]
There are exactly three subfactors with index in the range $(4,3+\sqrt{3})$.  Their principal graphs are:    
$\mathfig{0.15}{graphs/Haagerup}, \mathfig{0.225}{graphs/EH}, \mathfig{0.3}{graphs/HA}$
\end{theorem}


\begin{conj}[Goodman-de la Harpe-Jones, Izumi, Xu, work in progress of Calegari, Jones, Morrison, Penneys, Peters, Snyder]
There are only two subfactors in the range $[3+\sqrt{3}, {5})$.  Their principal graphs are:    
$\bigraph{gbg1v1v1v1p1p1v0x0x1v1}$,
$\bigraph{gbg1v1v1p1p1v1x0x0p0x1x0}$.

\end{conj}
\end{frame}

\begin{frame}{Broad outline of argument}
\begin{block}{}
As with Haagerup's initial argument we first run the ``Haagerup odometer" to get a list of potential families of principal graphs, and then apply other tests to eliminate families.
\end{block}

\begin{block}{Running the odometer yields something like:}

\only<1>{
\scalebox{0.18}{

\begin{tikzpicture}
[level 1/.style={level distance=46mm, sibling distance=40mm,nodes={draw, fill=white, rectangle, rounded corners}},
level 2/.style={level distance=52mm, sibling distance=20mm},
level 3/.style={level distance=58mm, sibling distance=25mm},
level 4/.style={level distance=64mm},
grow=right]\node[draw, fill=white, rectangle, rounded corners] {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1duals1v1v1x2}\\\bigraph{bwd1v1v1v1p1v1x0p1x0duals1v1v1x2}\end{array}$\ref{bwd1v1v1v1p1v1x0p0x1v1x0p0x1duals1v1v1x2v2x1}}
child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x1duals1v1v1x2v1}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1duals1v1v1x2v1x2}\end{array}$\ref{bwd1v1v1v1p1v1x0p0x1v1x1duals1v1v1x2v1}}
child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x1v1duals1v1v1x2v1}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1v1x1duals1v1v1x2v1x2}\end{array}$\ref{bwd1v1v1v1p1v1x0p0x1v1x1v1v1duals1v1v1x2v1v1}}
}}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p1x0p0x1p0x1duals1v1v1x2v1x3x2x4}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1duals1v1v1x2v1x2}\end{array}$}
child {node [fill=red!30]{$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p1x0p0x1p0x1v0x1x0x0p0x0x1x0duals1v1v1x2v1x3x2x4}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1v0x1p1x0duals1v1v1x2v1x2}\end{array}$}
}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p1x0p0x1p0x1v1x0x0x0p0x1x0x0p0x0x1x0p0x0x0x1duals1v1v1x2v1x3x2x4}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1v1x0p0x1p1x0p0x1duals1v1v1x2v1x2}\end{array}$}
}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p1x0p0x1p0x1v0x1x0x0p0x0x1x0p0x0x0x1duals1v1v1x2v1x3x2x4}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1v0x1p1x0p0x1duals1v1v1x2v1x2}\end{array}$}
child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p1x0p0x1p0x1v0x1x0x0p0x0x1x0p0x0x0x1v1x0x0p1x0x0p0x1x0p0x0x1duals1v1v1x2v1x3x2x4v1x4x3x2}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1v0x1p1x0p0x1v1x0x0p0x1x0duals1v1v1x2v1x2v2x1}\end{array}$}
child {node [fill=red!30]{$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p1x0p0x1p0x1v0x1x0x0p0x0x1x0p0x0x0x1v1x0x0p1x0x0p0x1x0p0x0x1v1x0x0x0p0x0x1x0p0x0x0x1duals1v1v1x2v1x3x2x4v1x4x3x2}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1v0x1p1x0p0x1v1x0x0p0x1x0v0x1p1x0p0x1duals1v1v1x2v1x2v2x1}\end{array}$}
}}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p1x0p0x1p0x1v0x1x0x0p0x0x1x0p0x0x0x1v1x0x0p1x0x0p0x1x0p0x0x1p0x0x1duals1v1v1x2v1x3x2x4v1x4x3x2x5}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1v0x1p1x0p0x1v1x0x0p0x1x0p0x0x1duals1v1v1x2v1x2v2x1x3}\end{array}$}
}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p1x0p0x1p0x1v0x1x0x0p0x0x1x0p0x0x0x1v1x0x1p0x1x0duals1v1v1x2v1x3x2x4v1x2}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1v0x1p1x0p0x1v1x0x0p0x1x0p0x0x1duals1v1v1x2v1x2v2x1x3}\end{array}$}
}}}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p0x1p0x1p0x1duals1v1v1x2v2x1x3x4}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v0x1p0x1duals1v1v1x2v1x2}\end{array}$}
child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p0x1p0x1p0x1v1x0x0x0p1x0x0x0duals1v1v1x2v2x1x3x4}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v0x1p0x1v0x1p1x0duals1v1v1x2v1x2}\end{array}$\ref{bwd1v1v1v1p1v1x0p0x1v1x0p0x1p0x1p0x1v1x0x0x0p1x0x0x0v1x0p0x1duals1v1v1x2v2x1x3x4v1x2}}
}}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x1p0x1duals1v1v1x2v1x2}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1p0x1duals1v1v1x2v1x2x3}\end{array}$\ref{bwd1v1v1v1p1v1x0p0x1v1x1p0x1duals1v1v1x2v1x2}}
child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x1p0x1v0x1duals1v1v1x2v1x2}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1p0x1v0x0x1duals1v1v1x2v1x2x3}\end{array}$\ref{bwd1v1v1v1p1v1x0p0x1v1x1p0x1v0x1duals1v1v1x2v1x2}}
child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x1p0x1v0x1v1duals1v1v1x2v1x2v1}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1p0x1v0x0x1v1duals1v1v1x2v1x2x3v1}\end{array}$\ref{bwd1v1v1v1p1v1x0p0x1v1x1p0x1v0x1v1duals1v1v1x2v1x2v1}}
}}}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p0x1p0x1duals1v1v1x2v2x1x3}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v0x1duals1v1v1x2v1}\end{array}$}
child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p0x1p0x1v1x0x0duals1v1v1x2v2x1x3}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v0x1v1duals1v1v1x2v1}\end{array}$\ref{bwd1v1v1v1p1v1x0p0x1v1x0p0x1p0x1v1x0x0v1duals1v1v1x2v2x1x3v1}}
}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p0x1p0x1v1x0x0p0x0x1p0x0x1duals1v1v1x2v2x1x3}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v0x1v1p1p1duals1v1v1x2v1}\end{array}$\ref{bwd1v1v1v1p1v1x0p0x1v1x0p0x1p0x1v1x0x0p0x0x1p0x0x1v1x0x0p1x0x0p1x0x0p0x1x0p0x0x1duals1v1v1x2v2x1x3v1x4x5x2x3}}
}child {node [fill=red!30]{$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p0x1p0x1v1x0x0p0x0x1duals1v1v1x2v2x1x3}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v0x1v1p1duals1v1v1x2v1}\end{array}$}
}}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p1x0p0x1p0x1p0x1duals1v1v1x2v1x3x2x4x5}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1p0x1duals1v1v1x2v1x2x3}\end{array}$}
};
\end{tikzpicture}
}
}

(Don't worry!  This will be explained in detail below.)
\end{block}

\end{frame}

\begin{frame}{Principal graphs with dual data}
\begin{block}{What are the individual entries in that giant picture?}
They're a pair of graphs with dual data.  But where only the parity of the supertransitivity has been specified.
\end{block}

\begin{block}{Side note}
We can assume that they're not 1ST by a different argument.
\end{block}

\begin{block}{Example: The Haagerup family}
$\left(\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p0x1duals1v1v1x2v2x1}, \bigraph{bwd1v1v1v1p1v1x0p1x0duals1v1v1x2}\right)$

The duals of odd objects are specified by the vertical ordering.  The duals of even objects are specified by the red lines.
\end{block}

\end{frame}

\begin{frame}{Graphs with dual data and Ocneanu-style graphs}
\begin{block}{Ocneanu-style $4$-partite graphs}
\begin{figure}[!ht]
$$\xymatrix{
{}_A mod_B \ar[r]_{B \otimes_A} & {}_B mod_B\\
{}_A mod_A \ar[u]_{\otimes_ A B} \ar[r]_{B \otimes_A} & {}_B mod_A \ar[u]_{\otimes_A B} \\
}$$
\end{figure}
\end{block}

\begin{block}{Reconstructing the Ocneanu graph from graphs with dual data}
$(X \otimes Y)^* = Y^* \otimes X^*$, so if you understand tensoring on one side the dual data lets you figure out tensoring on the other side.
\end{block}
\end{frame}

\begin{frame}{Example}
\begin{block}{Pair of graphs with dual data}
$\left(\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p0x1duals1v1v1x2v2x1}, \bigraph{bwd1v1v1v1p1v1x0p1x0duals1v1v1x2}\right)$
\end{block}

\begin{block}{Corresponding Ocneanu graph (top = bottom)}
$$\mathfig{.6}{graphs/ocneanugraph}$$
\end{block}

\end{frame}

\section{The odometer}
\begin{frame}{Enumerating possible principal graphs}
The {\em odometer} takes a graph pair with dual data, and looks at all ways to extend both graphs by one depth so that
\begin{itemize}
\item The index stays below a given limit
\item The new graph passes certain tests.
\end{itemize}

\begin{example}
\only<1>{
\scalebox{0.7}{
\begin{tikzpicture}
[level 1/.style={level distance=46mm, sibling distance=40mm,nodes={draw, fill=white, rectangle, rounded corners}},
grow=right]
\node[draw, fill=white, rectangle, rounded corners] {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1duals1v1v1x2}\\\bigraph{bwd1v1v1v1p1v1x0p1x0duals1v1v1x2}\end{array}$};
\end{tikzpicture}}}

\only<2>{
\scalebox{0.7}{
\begin{tikzpicture}
[level 1/.style={level distance=46mm, sibling distance=40mm,nodes={draw, fill=white, rectangle, rounded corners}},
grow=right]
\node[draw, fill=white, rectangle, rounded corners] {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1duals1v1v1x2}\\\bigraph{bwd1v1v1v1p1v1x0p1x0duals1v1v1x2}\end{array}$}
child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x1duals1v1v1x2v1}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1duals1v1v1x2v1x2}\end{array}$}};
\end{tikzpicture}}}

\only<3-4>{
\scalebox{0.7}{
\begin{tikzpicture}
[level 1/.style={level distance=46mm, sibling distance=40mm,nodes={draw, fill=white, rectangle, rounded corners}},
level 2/.style={level distance=52mm, sibling distance=20mm},
grow=right]
\node[draw, fill=white, rectangle, rounded corners] {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1duals1v1v1x2}\\\bigraph{bwd1v1v1v1p1v1x0p1x0duals1v1v1x2}\end{array}$}
child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x1duals1v1v1x2v1}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1duals1v1v1x2v1x2}\end{array}$}
child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x1v1duals1v1v1x2v1}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1v1x1duals1v1v1x2v1x2}\end{array}$}
}}
;
\end{tikzpicture}
}
}

\end{example}
\only<4>{
\begin{block}{Warning!}
Once you've run the odometer you still need to look for graphs where you extend only one of the two graphs.  For example, Haagerup comes up by extending only the principal graph in the first pair above.
\end{block}}

\end{frame}








\begin{frame}{Terminology: Weeds and Vines}
\begin{defn}
\begin{itemize}
\item A {\em translate} of a graph is a new graph produced by increasing the supertransitivity by adding a string of vertices on the left.
\item An {\em extension} of a graph is a new graph produced by adding anything you want to the right of the graph.
\end{itemize}
\end{defn}

\begin{defn}
\begin{itemize}
\item  The {\em vines} $\cV$ is a finite set of graphs, any {translate} of which might be a principal graph.
\item The {\em weeds} $\cW$ is a finite set of graphs, any {extension of a translate} of which might be a principal graph.
\end{itemize}
\end{defn}

\begin{example}
Haagerup's classification has no weeds, and only three vines.
\end{example}
\end{frame}

\begin{frame}{What the odometer does to weeds and vines}

\begin{block}{Step $1$}
We start with $\mathcal{V}=\emptyset$ and $\mathcal{W}= \{ \bigraph{gbg1}\}$.
\end{block}
\begin{block}{Step $2$}
Take a graph from $\mathcal{W}$, move it to $\mathcal{V}$, and add to $\mathcal{W}$ all of its extensions to one further depth that remain below the index limit.
\end{block}
\begin{block}{Repeat Step $2$}
\end{block}
\begin{block}{When to stop?}
We hope to keep doing this until we empty $\mathcal{W}$.  This worked for Haagerup.  It won't quite work for us.
\end{block}
\end{frame}



\begin{frame}{Tests that apply to all weeds}
\begin{block}{The Ocneanu triple point obstruction}
An initial triple point ``can't be too boring."  (Proof uses unitarity of a certain $3$-by-$3$ matrix.)
\end{block}

\begin{block}{The square test}
Associativity tells you that there has to be the same number of length $2$ paths going one way around the Ocneanu square as going the other way.  For weeds you can apply this to pairs of vertices that aren't at the deepest depth.
\end{block}

These two tests complement each other nicely, as the easy ways to pass the square test fails the triple point obstructions.
\end{frame}




\begin{frame}{Running the odometer on $10$-excess graphs}
\only<1>{
\scalebox{0.38}{
\begin{tikzpicture}
[level 1/.style={level distance=60mm, sibling distance=35mm,nodes={draw, fill=white, rectangle, rounded corners}},
level 2/.style={level distance=62mm, sibling distance=17mm},
level 3/.style={level distance=68mm, sibling distance=18mm},
level 4/.style={level distance=74mm},
grow=right]\node[draw, fill=white, rectangle, rounded corners] {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1duals1v1v1x2}\\\bigraph{bwd1v1v1v1p1v1x0p1x0duals1v1v1x2}\end{array}$\ref{bwd1v1v1v1p1v1x0p0x1v1x0p0x1duals1v1v1x2v2x1}}
child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x1duals1v1v1x2v1}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1duals1v1v1x2v1x2}\end{array}$\ref{bwd1v1v1v1p1v1x0p0x1v1x1duals1v1v1x2v1}}
}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p1x0p0x1p0x1duals1v1v1x2v1x3x2x4}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1duals1v1v1x2v1x2}\end{array}$}
}
child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p0x1p0x1p0x1duals1v1v1x2v2x1x3x4}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v0x1p0x1duals1v1v1x2v1x2}\end{array}$}
}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x1p0x1duals1v1v1x2v1x2}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1p0x1duals1v1v1x2v1x2x3}\end{array}$\ref{bwd1v1v1v1p1v1x0p0x1v1x1p0x1duals1v1v1x2v1x2}}
}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p0x1p0x1duals1v1v1x2v2x1x3}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v0x1duals1v1v1x2v1}\end{array}$}
}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p1x0p0x1p0x1p0x1duals1v1v1x2v1x3x2x4x5}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1p0x1duals1v1v1x2v1x2x3}\end{array}$}
};
\end{tikzpicture}
}
}


\only<2>{
\scalebox{0.38}{
\begin{tikzpicture}
[level 1/.style={level distance=60mm, sibling distance=35mm,nodes={draw, fill=white, rectangle, rounded corners}},
level 2/.style={level distance=62mm, sibling distance=17mm},
level 3/.style={level distance=68mm, sibling distance=18mm},
level 4/.style={level distance=74mm},
grow=right]\node[draw, fill=white, rectangle, rounded corners] {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1duals1v1v1x2}\\\bigraph{bwd1v1v1v1p1v1x0p1x0duals1v1v1x2}\end{array}$\ref{bwd1v1v1v1p1v1x0p0x1v1x0p0x1duals1v1v1x2v2x1}}
child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x1duals1v1v1x2v1}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1duals1v1v1x2v1x2}\end{array}$\ref{bwd1v1v1v1p1v1x0p0x1v1x1duals1v1v1x2v1}}
child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x1v1duals1v1v1x2v1}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1v1x1duals1v1v1x2v1x2}\end{array}$\ref{bwd1v1v1v1p1v1x0p0x1v1x1v1v1duals1v1v1x2v1v1}}
}}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p1x0p0x1p0x1duals1v1v1x2v1x3x2x4}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1duals1v1v1x2v1x2}\end{array}$}
child {node [fill=red!30]{$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p1x0p0x1p0x1v0x1x0x0p0x0x1x0duals1v1v1x2v1x3x2x4}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1v0x1p1x0duals1v1v1x2v1x2}\end{array}$}
}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p1x0p0x1p0x1v1x0x0x0p0x1x0x0p0x0x1x0p0x0x0x1duals1v1v1x2v1x3x2x4}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1v1x0p0x1p1x0p0x1duals1v1v1x2v1x2}\end{array}$}
}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p1x0p0x1p0x1v0x1x0x0p0x0x1x0p0x0x0x1duals1v1v1x2v1x3x2x4}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1v0x1p1x0p0x1duals1v1v1x2v1x2}\end{array}$}
}}
child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p0x1p0x1p0x1duals1v1v1x2v2x1x3x4}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v0x1p0x1duals1v1v1x2v1x2}\end{array}$}
child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p0x1p0x1p0x1v1x0x0x0p1x0x0x0duals1v1v1x2v2x1x3x4}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v0x1p0x1v0x1p1x0duals1v1v1x2v1x2}\end{array}$\ref{bwd1v1v1v1p1v1x0p0x1v1x0p0x1p0x1p0x1v1x0x0x0p1x0x0x0v1x0p0x1duals1v1v1x2v2x1x3x4v1x2}}
}}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x1p0x1duals1v1v1x2v1x2}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1p0x1duals1v1v1x2v1x2x3}\end{array}$\ref{bwd1v1v1v1p1v1x0p0x1v1x1p0x1duals1v1v1x2v1x2}}
child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x1p0x1v0x1duals1v1v1x2v1x2}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1p0x1v0x0x1duals1v1v1x2v1x2x3}\end{array}$\ref{bwd1v1v1v1p1v1x0p0x1v1x1p0x1v0x1duals1v1v1x2v1x2}}
}}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p0x1p0x1duals1v1v1x2v2x1x3}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v0x1duals1v1v1x2v1}\end{array}$}
child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p0x1p0x1v1x0x0duals1v1v1x2v2x1x3}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v0x1v1duals1v1v1x2v1}\end{array}$\ref{bwd1v1v1v1p1v1x0p0x1v1x0p0x1p0x1v1x0x0v1duals1v1v1x2v2x1x3v1}}
}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p0x1p0x1v1x0x0p0x0x1p0x0x1duals1v1v1x2v2x1x3}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v0x1v1p1p1duals1v1v1x2v1}\end{array}$\ref{bwd1v1v1v1p1v1x0p0x1v1x0p0x1p0x1v1x0x0p0x0x1p0x0x1v1x0x0p1x0x0p1x0x0p0x1x0p0x0x1duals1v1v1x2v2x1x3v1x4x5x2x3}}
}child {node [fill=red!30]{$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p0x1p0x1v1x0x0p0x0x1duals1v1v1x2v2x1x3}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v0x1v1p1duals1v1v1x2v1}\end{array}$}
}}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p1x0p0x1p0x1p0x1duals1v1v1x2v1x3x2x4x5}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1p0x1duals1v1v1x2v1x2x3}\end{array}$}
};
\end{tikzpicture}
}
}


\only<3>{
\scalebox{0.38}{
\begin{tikzpicture}
[level 1/.style={level distance=60mm, sibling distance=35mm,nodes={draw, fill=white, rectangle, rounded corners}},
level 2/.style={level distance=62mm, sibling distance=17mm},
level 3/.style={level distance=62mm, sibling distance=18mm},
level 4/.style={level distance=74mm},
grow=right]\node[draw, fill=white, rectangle, rounded corners] {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1duals1v1v1x2}\\\bigraph{bwd1v1v1v1p1v1x0p1x0duals1v1v1x2}\end{array}$\ref{bwd1v1v1v1p1v1x0p0x1v1x0p0x1duals1v1v1x2v2x1}}
child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x1duals1v1v1x2v1}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1duals1v1v1x2v1x2}\end{array}$\ref{bwd1v1v1v1p1v1x0p0x1v1x1duals1v1v1x2v1}}
child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x1v1duals1v1v1x2v1}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1v1x1duals1v1v1x2v1x2}\end{array}$\ref{bwd1v1v1v1p1v1x0p0x1v1x1v1v1duals1v1v1x2v1v1}}
}}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p1x0p0x1p0x1duals1v1v1x2v1x3x2x4}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1duals1v1v1x2v1x2}\end{array}$}
child {node [fill=red!30]{$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p1x0p0x1p0x1v0x1x0x0p0x0x1x0duals1v1v1x2v1x3x2x4}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1v0x1p1x0duals1v1v1x2v1x2}\end{array}$}
}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p1x0p0x1p0x1v1x0x0x0p0x1x0x0p0x0x1x0p0x0x0x1duals1v1v1x2v1x3x2x4}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1v1x0p0x1p1x0p0x1duals1v1v1x2v1x2}\end{array}$}
}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p1x0p0x1p0x1v0x1x0x0p0x0x1x0p0x0x0x1duals1v1v1x2v1x3x2x4}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1v0x1p1x0p0x1duals1v1v1x2v1x2}\end{array}$}
child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p1x0p0x1p0x1v0x1x0x0p0x0x1x0p0x0x0x1v1x0x0p1x0x0p0x1x0p0x0x1duals1v1v1x2v1x3x2x4v1x4x3x2}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1v0x1p1x0p0x1v1x0x0p0x1x0duals1v1v1x2v1x2v2x1}\end{array}$}
}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p1x0p0x1p0x1v0x1x0x0p0x0x1x0p0x0x0x1v1x0x0p1x0x0p0x1x0p0x0x1p0x0x1duals1v1v1x2v1x3x2x4v1x4x3x2x5}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1v0x1p1x0p0x1v1x0x0p0x1x0p0x0x1duals1v1v1x2v1x2v2x1x3}\end{array}$}
}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p1x0p0x1p0x1v0x1x0x0p0x0x1x0p0x0x0x1v1x0x1p0x1x0duals1v1v1x2v1x3x2x4v1x2}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1v0x1p1x0p0x1v1x0x0p0x1x0p0x0x1duals1v1v1x2v1x2v2x1x3}\end{array}$}
}}}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p0x1p0x1p0x1duals1v1v1x2v2x1x3x4}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v0x1p0x1duals1v1v1x2v1x2}\end{array}$}
child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p0x1p0x1p0x1v1x0x0x0p1x0x0x0duals1v1v1x2v2x1x3x4}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v0x1p0x1v0x1p1x0duals1v1v1x2v1x2}\end{array}$\ref{bwd1v1v1v1p1v1x0p0x1v1x0p0x1p0x1p0x1v1x0x0x0p1x0x0x0v1x0p0x1duals1v1v1x2v2x1x3x4v1x2}}
}}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x1p0x1duals1v1v1x2v1x2}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1p0x1duals1v1v1x2v1x2x3}\end{array}$\ref{bwd1v1v1v1p1v1x0p0x1v1x1p0x1duals1v1v1x2v1x2}}
child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x1p0x1v0x1duals1v1v1x2v1x2}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1p0x1v0x0x1duals1v1v1x2v1x2x3}\end{array}$\ref{bwd1v1v1v1p1v1x0p0x1v1x1p0x1v0x1duals1v1v1x2v1x2}}
child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x1p0x1v0x1v1duals1v1v1x2v1x2v1}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1p0x1v0x0x1v1duals1v1v1x2v1x2x3v1}\end{array}$\ref{bwd1v1v1v1p1v1x0p0x1v1x1p0x1v0x1v1duals1v1v1x2v1x2v1}}
}}}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p0x1p0x1duals1v1v1x2v2x1x3}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v0x1duals1v1v1x2v1}\end{array}$}
child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p0x1p0x1v1x0x0duals1v1v1x2v2x1x3}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v0x1v1duals1v1v1x2v1}\end{array}$\ref{bwd1v1v1v1p1v1x0p0x1v1x0p0x1p0x1v1x0x0v1duals1v1v1x2v2x1x3v1}}
}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p0x1p0x1v1x0x0p0x0x1p0x0x1duals1v1v1x2v2x1x3}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v0x1v1p1p1duals1v1v1x2v1}\end{array}$\ref{bwd1v1v1v1p1v1x0p0x1v1x0p0x1p0x1v1x0x0p0x0x1p0x0x1v1x0x0p1x0x0p1x0x0p0x1x0p0x0x1duals1v1v1x2v2x1x3v1x4x5x2x3}}
}child {node [fill=red!30]{$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p0x1p0x1v1x0x0p0x0x1duals1v1v1x2v2x1x3}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v0x1v1p1duals1v1v1x2v1}\end{array}$}
}}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p1x0p0x1p0x1p0x1duals1v1v1x2v1x3x2x4x5}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1p0x1duals1v1v1x2v1x2x3}\end{array}$}
};
\end{tikzpicture}
}
}



\only<4>{
\scalebox{0.38}{
\begin{tikzpicture}
[level 1/.style={level distance=60mm, sibling distance=35mm,nodes={draw, fill=white, rectangle, rounded corners}},
level 2/.style={level distance=62mm, sibling distance=17mm},
level 3/.style={level distance=62mm, sibling distance=18mm},
level 4/.style={level distance=66mm},
grow=right]\node[draw, fill=white, rectangle, rounded corners] {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1duals1v1v1x2}\\\bigraph{bwd1v1v1v1p1v1x0p1x0duals1v1v1x2}\end{array}$\ref{bwd1v1v1v1p1v1x0p0x1v1x0p0x1duals1v1v1x2v2x1}}
child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x1duals1v1v1x2v1}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1duals1v1v1x2v1x2}\end{array}$\ref{bwd1v1v1v1p1v1x0p0x1v1x1duals1v1v1x2v1}}
child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x1v1duals1v1v1x2v1}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1v1x1duals1v1v1x2v1x2}\end{array}$\ref{bwd1v1v1v1p1v1x0p0x1v1x1v1v1duals1v1v1x2v1v1}}
}}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p1x0p0x1p0x1duals1v1v1x2v1x3x2x4}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1duals1v1v1x2v1x2}\end{array}$}
child {node [fill=red!30]{$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p1x0p0x1p0x1v0x1x0x0p0x0x1x0duals1v1v1x2v1x3x2x4}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1v0x1p1x0duals1v1v1x2v1x2}\end{array}$}
}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p1x0p0x1p0x1v1x0x0x0p0x1x0x0p0x0x1x0p0x0x0x1duals1v1v1x2v1x3x2x4}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1v1x0p0x1p1x0p0x1duals1v1v1x2v1x2}\end{array}$}
}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p1x0p0x1p0x1v0x1x0x0p0x0x1x0p0x0x0x1duals1v1v1x2v1x3x2x4}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1v0x1p1x0p0x1duals1v1v1x2v1x2}\end{array}$}
child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p1x0p0x1p0x1v0x1x0x0p0x0x1x0p0x0x0x1v1x0x0p1x0x0p0x1x0p0x0x1duals1v1v1x2v1x3x2x4v1x4x3x2}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1v0x1p1x0p0x1v1x0x0p0x1x0duals1v1v1x2v1x2v2x1}\end{array}$}
child {node [fill=red!30]{$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p1x0p0x1p0x1v0x1x0x0p0x0x1x0p0x0x0x1v1x0x0p1x0x0p0x1x0p0x0x1v1x0x0x0p0x0x1x0p0x0x0x1duals1v1v1x2v1x3x2x4v1x4x3x2}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1v0x1p1x0p0x1v1x0x0p0x1x0v0x1p1x0p0x1duals1v1v1x2v1x2v2x1}\end{array}$}
}}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p1x0p0x1p0x1v0x1x0x0p0x0x1x0p0x0x0x1v1x0x0p1x0x0p0x1x0p0x0x1p0x0x1duals1v1v1x2v1x3x2x4v1x4x3x2x5}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1v0x1p1x0p0x1v1x0x0p0x1x0p0x0x1duals1v1v1x2v1x2v2x1x3}\end{array}$}
}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p1x0p0x1p0x1v0x1x0x0p0x0x1x0p0x0x0x1v1x0x1p0x1x0duals1v1v1x2v1x3x2x4v1x2}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1v0x1p1x0p0x1v1x0x0p0x1x0p0x0x1duals1v1v1x2v1x2v2x1x3}\end{array}$}
}}}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p0x1p0x1p0x1duals1v1v1x2v2x1x3x4}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v0x1p0x1duals1v1v1x2v1x2}\end{array}$}
child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p0x1p0x1p0x1v1x0x0x0p1x0x0x0duals1v1v1x2v2x1x3x4}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v0x1p0x1v0x1p1x0duals1v1v1x2v1x2}\end{array}$\ref{bwd1v1v1v1p1v1x0p0x1v1x0p0x1p0x1p0x1v1x0x0x0p1x0x0x0v1x0p0x1duals1v1v1x2v2x1x3x4v1x2}}
}}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x1p0x1duals1v1v1x2v1x2}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1p0x1duals1v1v1x2v1x2x3}\end{array}$\ref{bwd1v1v1v1p1v1x0p0x1v1x1p0x1duals1v1v1x2v1x2}}
child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x1p0x1v0x1duals1v1v1x2v1x2}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1p0x1v0x0x1duals1v1v1x2v1x2x3}\end{array}$\ref{bwd1v1v1v1p1v1x0p0x1v1x1p0x1v0x1duals1v1v1x2v1x2}}
child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x1p0x1v0x1v1duals1v1v1x2v1x2v1}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1p0x1v0x0x1v1duals1v1v1x2v1x2x3v1}\end{array}$\ref{bwd1v1v1v1p1v1x0p0x1v1x1p0x1v0x1v1duals1v1v1x2v1x2v1}}
}}}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p0x1p0x1duals1v1v1x2v2x1x3}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v0x1duals1v1v1x2v1}\end{array}$}
child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p0x1p0x1v1x0x0duals1v1v1x2v2x1x3}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v0x1v1duals1v1v1x2v1}\end{array}$\ref{bwd1v1v1v1p1v1x0p0x1v1x0p0x1p0x1v1x0x0v1duals1v1v1x2v2x1x3v1}}
}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p0x1p0x1v1x0x0p0x0x1p0x0x1duals1v1v1x2v2x1x3}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v0x1v1p1p1duals1v1v1x2v1}\end{array}$\ref{bwd1v1v1v1p1v1x0p0x1v1x0p0x1p0x1v1x0x0p0x0x1p0x0x1v1x0x0p1x0x0p1x0x0p0x1x0p0x0x1duals1v1v1x2v2x1x3v1x4x5x2x3}}
}child {node [fill=red!30]{$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p0x1p0x1v1x0x0p0x0x1duals1v1v1x2v2x1x3}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v0x1v1p1duals1v1v1x2v1}\end{array}$}
}}child {node {$\begin{array}{c}\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p1x0p0x1p0x1p0x1duals1v1v1x2v1x3x2x4x5}\\\bigraph{bwd1v1v1v1p1v1x0p1x0v1x0p0x1p0x1duals1v1v1x2v1x2x3}\end{array}$}
};
\end{tikzpicture}
}
}

\end{frame}


\section{Tests on graphs, vines and weeds}

\begin{frame}{The Quadratic Tangles attack!}
This attack kills many vines and also some weeds.

\begin{thm}[Jones]
If $\Gamma$ is $n$ST, has excess $10$, has $r$ as the ratio of dimensions past the split, and $\omega$ is the rotational eigenvalue, then:
$$r+\frac{1}{r} = 2+ \frac{2 + \omega +\omega^{-1}}{[n][n+2]}.$$
\end{thm}

\begin{cor}
$$(r+r^{-1}-2)[n][n+2]-2\in [-2,2]$$
\end{cor}
\end{frame}

\begin{frame}{Quadratic Tangles attack}
\begin{block}{Awesome things}
This lets us kill off many vines using QT.  It also lets us kill off some weeds too!  Some version of it should work for vines with excess 11.
\end{block}

\begin{block}{Sad things}
This test is useless when $r=1$.  This was a big problem for Haagerup as most of his vines had $r=1$.  Most of our new vines do not have $r=1$.  But there is a weed with $r=1$.
\end{block}
\end{frame}


\begin{frame}{Number theory attack}
This attack kills any vine!  But it is useless for weeds.

\begin{theorem}[Etingof-Nikshych-Ostrik]
If $\cC$ is a fusion category, $f: K(C)\rightarrow \mathbb{C}$ is a ``dimension function," and $X \in \mathrm{Obj}(\cC)$, then $f([X])$ is an algebraic integer in a cyclotomic number field.
\end{theorem}

\begin{cor}
If $x$ is the index of a finite depth subfactor then $x$ is a cyclotomic integer.
\end{cor}

\begin{cor}
If $\lambda$ is a multiplicity one eigenvalue of the adjacency matrix of a principal graph of a finite depth subfactor, then $\lambda^2$ is cyclotomic integer.
\end{cor}
\end{frame}

\begin{frame}{Applications to subfactors}

\begin{thm}[Asaeda, Asaeda-Yasuda]
Except for Haagerup and extended Haagerup, none of the graphs in the Haagerup family have cyclotomic indices.
\end{thm}

\begin{thm}[Calegari-Morrison-Snyder, Cassels, Loxton]
For any family $\Gamma_n$ coming from a fixed vine $\Gamma$, there's an integer $N$ such that for all $n>N$ the index of $\Gamma_n$ is not cyclotomic.
\end{thm}

\begin{thm}[Calegari-Morrison-Snyder, Cassels]
For any family $\Gamma_n$ coming from a fixed vine $\Gamma$, there's an effectively computable integer $N$ such that for all $n>N$ there's a multiplicity one eigenvalue $\lambda_n$ such that $\lambda_n^2$ is not cyclotomic.
\end{thm}

\end{frame}







\begin{frame}{The cases we're stuck on}

\begin{block}{Odd quadruple point}
Translations of extensions of $\mathfig{0.5}{2221-badseed}$
\end{block}

\begin{block}{`The bad seed'}
Translations of extensions of 
$\bigraph{bwd1v1v1v1p1v1x0p0x1v1x0p1x0p0x1p0x1v0x1x0x0p0x0x1x0v1x0p0x1v1x0p0x1duals1v1v1x2v1x3x2x4v1x2}$
\end{block}

We hope that QT will eventually work for the
former.  We're genuinely stuck on the latter.

\begin{block}{So, maybe these give new subfactors ...?}
We've ruled out any translations/extensions of these which involve fewer than $\approx 45$ vertices (the bad seed)  or $\approx 20$ vertices (the quadruple point).  
\end{block}

\end{frame}





\begin{frame}{Applications to objects unitary monoidal categories}
\begin{block}{Relationship between subfactors and objects in UTCs}
\begin{itemize}
\item If $A$ is a Frobenius algebra object in a unitary tensor category $\cC$, then it comes from a subfactor of index $\dim A$.  

\item If $X$ is an object in $\cC$, then $X \otimes X^*$ is a Frobenius algebra object.

\item In particular, if there's an object $X$ in a UTC of dimension $d$ then there must be a corresponding subfactor of index $d^2$.

\item I think the converse holds: if there's a subfactor of index $d^2$ then it always comes from an object in a UTC.
\end{itemize}
\end{block}

\begin{block}{Say that again in pictures}
A unitary tensor category is the same thing as an oriented planar algebra.  You can get a shaded planar algebra by looking at the ``alternating part."
\end{block}

\end{frame}


\begin{frame}{What about objects in fusion categories?}

We could try applying the classification above.  But we can do better using number theory.

\begin{thm}[Calegari-Morrison-Snyder]
Let $X$ be an object in a fusion category \label{theorem:fusion}
with Frobenius--Perron dimension $>2$. Then either $\dim(X) \ge 76/33 = 2.303030\ldots$ 
or $\dim(X)$ is equal to one of the following algebraic integers:

\hspace{2cm}
$\begin{aligned}
(\sqrt{7} + \sqrt{3})/2 = & \ 2.188901059\ldots \\
\sqrt{5} = &  \ 2.236067977\ldots \\
1 + 2 \cos(2 \pi/7) = & \ 2.246979603\ldots \\
(1 + \sqrt{5})/\sqrt{2} = & \
2.288245611\ldots \\
\frac{1 + \sqrt{13}}{2} = & \ 2.302775637\ldots \end{aligned}$
\end{thm}
\end{frame}

\begin{frame}{Cyclotomic number theory and small objects}
\begin{proof}
If $X$ is the Frobneius-Perron dimension of an object in a fusion category then it is:
\begin{itemize}
\item A cyclotomic integer,
\item real,
\item maximal among its Galois conjugates.
\end{itemize}

The above list is all the numbers satisfying these properties.
\end{proof}

\begin{block}{Open Question}
Is there a real cyclotomic integer which is maximal among its Galois conjugates but is not the dimension of an object?
\end{block}

\end{frame}


\end{document}
% ----------------------------------------------------------------
