% 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}

%\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 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{Haagerup's classification up to index $3+\sqrt{3}$}
\begin{frame}
\beamersetuncovermixins 
{\opaqueness<1->{0}} 
{} 

\frametitle{principal graphs up to $3+\sqrt{3}$}
\begin{theorem}[Haagerup, Asaeda-Haagerup, Bisch, Asaeda, 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}
\frametitle{Our goal:  principal graphs up to $\sqrt{5}$}
\begin{conj}[Goodman-de la Harpe-Jones, Xu, work in progress of Calegari, Jones, Morrison, Penneys, Peters, Syder]
There are only two principal graphs with index in the range $[3+\sqrt{3}, \sqrt{5})$:    
$\bigraph{gbg1v1v1p1p1v1x0x0p0x1x0}$,
$\bigraph{gbg1v1v1v1p1p1v0x0x1v1}$
\end{conj}
\end{frame}







\begin{frame}
Graphs with duals and Ocneanu-style 4-partite graphs.  (I.e. we
explain what the individual pictures mean.)
\end{frame}







\begin{frame}
Running the odometer.  (Talk about extending one graph vs.
extending both graphs.  Index bound means this is finite.)

\hspace{-2cm}
\scalebox{0.3}{
\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}
}

\end{frame}






\begin{frame}
How to actually get small lists: triple point obstruction, square
test.  (Don't go into much detail on each, but emphasize that they all
apply independent of supertransitivity.)
\end{frame}









\begin{frame}
The quadratic tangles attack.  (Again not too much detail.  Vaughan
will have already talked about it.  Emphasize: doesn't work when w=-1,
but can work for some "weeds" not just for "vines.")
\end{frame}









\begin{frame}
The number theory attack.  (Emphasize: works for all vines.)
\end{frame}









\begin{frame}
The cases we're stuck on.  (Quadruple point with odd
supertransitivity and only one leg continuing.  "The Bad Seed."
Emphasize that we're hopeful that QT will eventually work for the
former, but we're genuinely stuck on the latter.)
\end{frame}









\begin{frame}
Relationship to monoidal categories/fusion categories.
(Implications of this for small objects in unitary categories.  Fusion
case.  Better number theory argument for fusion case.)
\end{frame}









\begin{frame}

\end{frame}









\begin{frame}

\end{frame}









\begin{frame}

\end{frame}









\begin{frame}

\end{frame}









\begin{frame}

\end{frame}









\begin{frame}

\end{frame}








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