\relax 
\providecommand\hyper@newdestlabel[2]{}
\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined
\global\let\oldcontentsline\contentsline
\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global\let\oldnewlabel\newlabel
\gdef\newlabel#1#2{\newlabelxx{#1}#2}
\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\ifx\hyper@anchor\@undefined
\let\contentsline\oldcontentsline
\let\newlabel\oldnewlabel
\fi}
\fi}
\global\let\hyper@last\relax 
\gdef\HyperFirstAtBeginDocument#1{#1}
\providecommand\HyField@AuxAddToFields[1]{}
\providecommand\HyField@AuxAddToCoFields[2]{}
\citation{Self}
\citation{AudoxBellingeriMeilhanWagner:WeldedStringLinks}
\citation{AudouxMeilhan:PeripheralSystems}
\pp@spagectr{FN@totalid}{1}{1}{1}
\pp@spagectr{FN@totalid}{2}{1}{1}
\pp@spagectr{FN@totalid}{3}{1}{1}
\@writefile{toc}{\contentsline {section}{\tocsection {}{1}{Introduction}}{1}{section.1}\protected@file@percent }
\@writefile{brf}{\backcite{Self}{{1}{}{Doc-Start}}}
\citation{BirmanBrendle:BraidsSurvey}
\citation{AudouxMeilhan:PeripheralSystems}
\citation{Enriquez:UniversalAlgebras}
\citation{Enriquez:QuantizationFunctors}
\@writefile{brf}{\backcite{AudoxBellingeriMeilhanWagner:WeldedStringLinks}{{2}{1}{section.1}}}
\@writefile{brf}{\backcite{AudouxMeilhan:PeripheralSystems}{{2}{1}{section.1}}}
\@writefile{brf}{\backcite{BirmanBrendle:BraidsSurvey}{{2}{1}{section.1}}}
\@writefile{brf}{\backcite{AudouxMeilhan:PeripheralSystems}{{2}{1}{section.1}}}
\@writefile{brf}{\backcite{Enriquez:UniversalAlgebras, Enriquez:QuantizationFunctors}{{2}{1}{section.1}}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{2}{OU Tangles and Gliding}}{2}{section.2}\protected@file@percent }
\newlabel{sec:Gliding}{{2}{2}{OU Tangles and Gliding}{section.2}{}}
\newlabel{def:OU}{{2.1}{2}{}{equation.2.1}{}}
\newlabel{fhm:every}{{2.3}{2}{Gliding}{equation.2.3}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces The tangle diagram (A) is OU as strand 1 is all ``over'' (so it has an empty ``U'' part) and strand 2 is all ``under'' (so it has an empty ``O'' part). The tangle diagram (B) is not OU: strand 1 is O then U, but strand 2 is U then O. Yet the tangle represented by (B) is OU because it is also represented by (C), which is OU. The diagram (D) is again OU; which familiar tangle does it represent? \relax }}{3}{figure.caption.2}\protected@file@percent }
\providecommand*\caption@xref[2]{\@setref\relax\@undefined{#1}}
\newlabel{fig:OUExamples}{{1}{3}{The tangle diagram (A) is OU as strand 1 is all ``over'' (so it has an empty ``U'' part) and strand 2 is all ``under'' (so it has an empty ``O'' part). The tangle diagram (B) is not OU: strand 1 is O then U, but strand 2 is U then O. Yet the tangle represented by (B) is OU because it is also represented by (C), which is OU. The diagram (D) is again OU; which familiar tangle does it represent? \relax }{figure.caption.2}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Glide moves between two crossings and bulk glide moves.\relax }}{3}{figure.caption.3}\protected@file@percent }
\newlabel{fig:Gliding}{{2}{3}{Glide moves between two crossings and bulk glide moves.\relax }{figure.caption.3}{}}
\newlabel{for:KnotsTrivial}{{2.4}{3}{}{equation.2.4}{}}
\newlabel{disc:froofs1}{{2.5}{3}{}{equation.2.5}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces  An attempt to fix a non-OU tangle diagram. In each step we use a single glide move to fix the first UO sequence encountered on strand 1 (we mark it with a $\bullet $), but things get progressively more complicated. The O/U sequences below the diagrams are listed from the perspective of strand 1. \relax }}{4}{figure.caption.4}\protected@file@percent }
\newlabel{fig:swirls}{{3}{4}{An attempt to fix a non-OU tangle diagram. In each step we use a single glide move to fix the first UO sequence encountered on strand 1 (we mark it with a $\bullet $), but things get progressively more complicated. The O/U sequences below the diagrams are listed from the perspective of strand 1. \relax }{figure.caption.4}{}}
\newlabel{disc:Options}{{2.6}{4}{}{equation.2.6}{}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{3}{The Classical Case}}{4}{section.3}\protected@file@percent }
\newlabel{sec:classical}{{3}{4}{The Classical Case}{section.3}{}}
\pp@spagectr{FN@totalid}{4}{1}{4}
\newlabel{exa:acyclic}{{3.2}{4}{}{equation.3.2}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces Two possibilities for ``interacting'' UO intervals (each marked with a\nonbreakingspace $\bullet $ symbol).\relax }}{5}{figure.caption.5}\protected@file@percent }
\newlabel{fig:unique}{{4}{5}{Two possibilities for ``interacting'' UO intervals (each marked with a~$\bullet $ symbol).\relax }{figure.caption.5}{}}
\newlabel{thm:acyclic}{{3.3}{5}{}{equation.3.3}{}}
\newlabel{cor:GammaIso}{{3.6}{5}{}{equation.3.6}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {5}{\ignorespaces R1 and R2 moves ``commute'' with glides (A), or they make glides redundant (B), (C).\relax }}{6}{figure.caption.6}\protected@file@percent }
\newlabel{fig:R1R2}{{5}{6}{R1 and R2 moves ``commute'' with glides (A), or they make glides redundant (B), (C).\relax }{figure.caption.6}{}}
\newlabel{cor:actions}{{3.7}{6}{}{equation.3.7}{}}
\citation{BirmanBrendle:BraidsSurvey}
\@writefile{lof}{\contentsline {figure}{\numberline {6}{\ignorespaces Stirring a pool of tahini sauce garnished with parsley lines using a braid whisk.\relax }}{7}{figure.caption.7}\protected@file@percent }
\newlabel{fig:stirring}{{6}{7}{Stirring a pool of tahini sauce garnished with parsley lines using a braid whisk.\relax }{figure.caption.7}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {7}{\ignorespaces Stirring is gliding.\relax }}{7}{figure.caption.8}\protected@file@percent }
\newlabel{fig:StirringIsGliding}{{7}{7}{Stirring is gliding.\relax }{figure.caption.8}{}}
\newlabel{thm:iso}{{3.8}{7}{Classical Isomorphism}{equation.3.8}{}}
\pp@spagectr{FN@totalid}{5}{1}{7}
\@writefile{brf}{\backcite{BirmanBrendle:BraidsSurvey}{{7}{2}{figure.caption.7}}}
\citation{Kauffman:VirtualKnotTheory}
\citation{Kauffman:RotationalVirtualKnots}
\citation{Manturov:VirtualKnots}
\@writefile{lof}{\contentsline {figure}{\numberline {8}{\ignorespaces The map $\Lambda $ turning an OU tangle into a braid.\relax }}{8}{figure.caption.9}\protected@file@percent }
\newlabel{fig:ReverseGamma}{{8}{8}{The map $\Lambda $ turning an OU tangle into a braid.\relax }{figure.caption.9}{}}
\pp@spagectr{FN@totalid}{6}{1}{8}
\newlabel{cor:braids}{{3.9}{8}{}{equation.3.9}{}}
\newlabel{cor:cOUisBraids}{{3.10}{8}{}{equation.3.10}{}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{4}{The Virtual Case}}{8}{section.4}\protected@file@percent }
\newlabel{sec:virtual}{{4}{8}{The Virtual Case}{section.4}{}}
\@writefile{brf}{\backcite{Kauffman:VirtualKnotTheory, Kauffman:RotationalVirtualKnots, Manturov:VirtualKnots}{{8}{4}{section.4}}}
\citation{Talk:GvI}
\citation{Chterental:VBandVCD}
\citation{Chterental:Thesis}
\@writefile{lof}{\contentsline {figure}{\numberline {9}{\ignorespaces  A 3-crossing knot and a 2-crossing virtual knot, a 3-crossing braid and a 2-crossing virtual braid, and a 3-crossing tangle and a 2-crossing virtual tangle. \relax }}{9}{figure.caption.10}\protected@file@percent }
\newlabel{fig:vexamples}{{9}{9}{A 3-crossing knot and a 2-crossing virtual knot, a 3-crossing braid and a 2-crossing virtual braid, and a 3-crossing tangle and a 2-crossing virtual tangle. \relax }{figure.caption.10}{}}
\pp@spagectr{FN@totalid}{7}{1}{9}
\@writefile{brf}{\backcite{Talk:GvI}{{9}{4}{figure.caption.10}}}
\citation{Chterental:VBandVCD}
\citation{Chterental:Thesis}
\citation{Chterental:VBandVCD}
\citation{Chterental:Thesis}
\citation{GodelleParis:WordProblems}
\citation{Chterental:VBandVCD}
\citation{Chterental:Thesis}
\citation{Chterental:VBandVCD}
\citation{Chterental:Thesis}
\@writefile{brf}{\backcite{Chterental:VBandVCD, Chterental:Thesis}{{10}{4}{figure.caption.10}}}
\newlabel{thm:vinj}{{4.1}{10}{}{equation.4.1}{}}
\@writefile{brf}{\backcite{Chterental:VBandVCD, Chterental:Thesis}{{10}{4.1}{equation.4.1}}}
\newlabel{cor:vbraids}{{4.2}{10}{}{equation.4.2}{}}
\@writefile{brf}{\backcite{Chterental:VBandVCD, Chterental:Thesis}{{10}{4.2}{equation.4.2}}}
\pp@spagectr{FN@totalid}{8}{1}{10}
\@writefile{brf}{\backcite{Chterental:VBandVCD, Chterental:Thesis}{{10}{4.3}{equation.4.3}}}
\@writefile{brf}{\backcite{Chterental:VBandVCD, Chterental:Thesis}{{10}{4.4}{equation.4.4}}}
\newlabel{disc:plan}{{4.5}{10}{}{equation.4.5}{}}
\newlabel{exa:indivisible}{{4.7}{10}{}{equation.4.7}{}}
\newlabel{exa:GarsideHexagon}{{4.8}{10}{}{equation.4.8}{}}
\@writefile{brf}{\backcite{GodelleParis:WordProblems}{{10}{5}{equation.4.2}}}
\@writefile{lof}{\contentsline {figure}{\numberline {10}{\ignorespaces  The 3-twist, 4-twist, and 5-twist braids, and their reduced OU forms the Cinnamon Roll tangles $\mathit  {CR}_3$, $\mathit  {CR}_4$, and $\mathit  {CR}_5$. The equivalence of the twist braids with their respective cinnamon rolls should be clear to anyone who has observed how a kink in a band becomes a twisted band upon tugging. The bonus cinnamon roll was purchased from \url  {https://thenounproject.com/}. \relax }}{11}{figure.caption.11}\protected@file@percent }
\newlabel{fig:CinnamonRolls}{{10}{11}{The 3-twist, 4-twist, and 5-twist braids, and their reduced OU forms the Cinnamon Roll tangles $\CR _3$, $\CR _4$, and $\CR _5$. The equivalence of the twist braids with their respective cinnamon rolls should be clear to anyone who has observed how a kink in a band becomes a twisted band upon tugging. The bonus cinnamon roll was purchased from \url {https://thenounproject.com/}. \relax }{figure.caption.11}{}}
\newlabel{exa:CinnamonRolls}{{4.9}{11}{}{equation.4.9}{}}
\newlabel{eq:CinnamonRolls}{{4.10}{11}{}{equation.4.10}{}}
\newlabel{exa:SCR}{{4.11}{11}{}{equation.4.11}{}}
\newlabel{eq:SCRBraids1}{{4.12}{11}{}{equation.4.12}{}}
\pp@spagectr{FN@totalid}{9}{1}{11}
\newlabel{disc:divquo}{{4.13}{11}{}{equation.4.13}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {11}{\ignorespaces A slashed cinnamon roll and its quotients down to the identity.\relax }}{12}{figure.caption.12}\protected@file@percent }
\newlabel{fig:SCR}{{11}{12}{A slashed cinnamon roll and its quotients down to the identity.\relax }{figure.caption.12}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {12}{\ignorespaces Everything we need to know about divisibility and quotients.\relax }}{12}{figure.caption.13}\protected@file@percent }
\newlabel{fig:divquo}{{12}{12}{Everything we need to know about divisibility and quotients.\relax }{figure.caption.13}{}}
\pp@spagectr{FN@totalid}{10}{1}{12}
\citation{Bergman:Diamond}
\citation{Sapir:CombinatorialAlgebra}
\citation{Smolka:Confluence}
\pp@spagectr{FN@totalid}{11}{1}{13}
\newlabel{lem:divquo}{{4.14}{13}{Division}{equation.4.14}{}}
\pp@spagectr{FN@totalid}{12}{1}{13}
\@writefile{brf}{\backcite{Bergman:Diamond, Sapir:CombinatorialAlgebra, Smolka:Confluence}{{13}{4}{Item.3}}}
\newlabel{def:diamond}{{4.15}{13}{}{equation.4.15}{}}
\newlabel{foot:parallel}{{9}{13}{The Virtual Case}{Item.3}{}}
\citation{Newman:DiamondLemma}
\newlabel{lem:diamond}{{4.16}{14}{}{equation.4.16}{}}
\@writefile{brf}{\backcite{Newman:DiamondLemma}{{14}{4.16}{equation.4.16}}}
\newlabel{disc:to}{{4.19}{14}{}{equation.4.19}{}}
\newlabel{eq:DiamondInX}{{4.20}{15}{}{equation.4.20}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {13}{\ignorespaces Two other slashed cinnamon rolls.\relax }}{16}{figure.caption.14}\protected@file@percent }
\newlabel{fig:Cases23}{{13}{16}{Two other slashed cinnamon rolls.\relax }{figure.caption.14}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {14}{\ignorespaces The what ifs.\relax }}{16}{figure.caption.15}\protected@file@percent }
\newlabel{fig:WhatIfs}{{14}{16}{The what ifs.\relax }{figure.caption.15}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {15}{\ignorespaces Case 2 and the resulting diamond.\relax }}{17}{figure.caption.16}\protected@file@percent }
\newlabel{fig:CaseM}{{15}{17}{Case 2 and the resulting diamond.\relax }{figure.caption.16}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {16}{\ignorespaces The diamond for case 4.\relax }}{17}{figure.caption.17}\protected@file@percent }
\newlabel{fig:Square}{{16}{17}{The diamond for case 4.\relax }{figure.caption.17}{}}
\citation{Chterental:VBandVCD}
\citation{Chterental:Thesis}
\@writefile{toc}{\contentsline {section}{\tocsection {}{5}{Assorted Comments}}{18}{section.5}\protected@file@percent }
\newlabel{sec:Assorted}{{5}{18}{Assorted Comments}{section.5}{}}
\newlabel{disc:Chterental}{{5.1}{18}{}{equation.5.1}{}}
\@writefile{brf}{\backcite{Chterental:VBandVCD, Chterental:Thesis}{{18}{5.1}{equation.5.1}}}
\pp@spagectr{FN@totalid}{13}{1}{18}
\@writefile{lof}{\contentsline {figure}{\numberline {17}{\ignorespaces A Chterental Virtual Curve Diagram (VCD) and the corresponding virtual OU tangle.\relax }}{19}{figure.caption.18}\protected@file@percent }
\newlabel{fig:VCD}{{17}{19}{A Chterental Virtual Curve Diagram (VCD) and the corresponding virtual OU tangle.\relax }{figure.caption.18}{}}
\pp@spagectr{FN@totalid}{14}{1}{19}
\newlabel{rem:classical}{{5.2}{19}{}{equation.5.2}{}}
\newlabel{rem:tent}{{5.3}{19}{}{equation.5.3}{}}
\newlabel{rem:TwoSquares}{{5.4}{19}{}{equation.5.4}{}}
\citation{Artin:TheoryOfBraids}
\citation{AudoxBellingeriMeilhanWagner:UVWHomotopy}
\citation{Bar-Natan:glN}
\citation{Kauffman:RotationalVirtualKnots}
\citation{Woronowicz:Solutions}
\citation{MurakamiVanDerVeen:Quantized}
\pp@spagectr{FN@totalid}{15}{1}{20}
\@writefile{brf}{\backcite{Artin:TheoryOfBraids}{{20}{5.4}{equation.5.4}}}
\pp@spagectr{FN@totalid}{16}{1}{20}
\@writefile{brf}{\backcite{AudoxBellingeriMeilhanWagner:UVWHomotopy}{{20}{5.4}{equation.5.4}}}
\@writefile{brf}{\backcite{Bar-Natan:glN}{{20}{5}{equation.5.5}}}
\newlabel{disc:OUH}{{5.6}{20}{}{equation.5.6}{}}
\pp@spagectr{FN@totalid}{17}{1}{20}
\pp@spagectr{FN@totalid}{18}{1}{20}
\@writefile{brf}{\backcite{Kauffman:RotationalVirtualKnots}{{20}{5.7}{equation.5.7}}}
\@writefile{lof}{\contentsline {figure}{\numberline {18}{\ignorespaces  A virtual O/U tangle in $v\mathcal  {OU}^2_3$ becomes a Gauss diagram becomes a universal Hopf formula representing an element of $\operatorname  {Hom}(H^{\otimes 2} \to H^{\otimes 3})$. Note that the antipode $S$ is inserted on the $(-)$-marked edges of the Gauss diagram, which correspond to the negative crossings of the tangle. \relax }}{21}{figure.caption.19}\protected@file@percent }
\newlabel{fig:HopfWords}{{18}{21}{A virtual O/U tangle in $\vcalOU ^2_3$ becomes a Gauss diagram becomes a universal Hopf formula representing an element of $\Hom (H^{\otimes 2} \to H^{\otimes 3})$. Note that the antipode $S$ is inserted on the $(-)$-marked edges of the Gauss diagram, which correspond to the negative crossings of the tangle. \relax }{figure.caption.19}{}}
\@writefile{brf}{\backcite{Woronowicz:Solutions, MurakamiVanDerVeen:Quantized}{{21}{5.8}{equation.5.8}}}
\newlabel{rem:core}{{5.9}{21}{}{equation.5.9}{}}
\newlabel{disc:EG}{{5.10}{21}{}{equation.5.10}{}}
\pp@spagectr{FN@totalid}{19}{1}{21}
\citation{Wolfram:Mathematica}
\citation{Self}
\@writefile{toc}{\contentsline {section}{\tocsection {}{6}{Some Computations}}{22}{section.6}\protected@file@percent }
\newlabel{sec:comp}{{6}{22}{Some Computations}{section.6}{}}
\@writefile{brf}{\backcite{Wolfram:Mathematica}{{22}{6}{section.6}}}
\@writefile{brf}{\backcite{Self}{{22}{6}{section.6}}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{6.1}{Implementing virtual OU tangles, virtual braids, and $\mathit  {Ch}$}}{22}{subsection.6.1}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{6.2}{Tabulating Virtual Pure Braids}}{25}{subsection.6.2}\protected@file@percent }
\citation{Self}
\citation{Self}
\citation{Epstein:WordProcessing}
\citation{Bar-NatanMorrison:KnotTheory}
\@writefile{brf}{\backcite{Self}{{26}{6.2}{subsection.6.2}}}
\@writefile{brf}{\backcite{Self}{{26}{6.2}{subsection.6.2}}}
\pp@spagectr{FN@totalid}{20}{1}{26}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{6.3}{Tabulating Classical Braids}}{26}{subsection.6.3}\protected@file@percent }
\@writefile{brf}{\backcite{Epstein:WordProcessing}{{26}{6.3}{subsection.6.3}}}
\@writefile{brf}{\backcite{Bar-NatanMorrison:KnotTheory}{{26}{6.3}{subsection.6.3}}}
\citation{Self}
\@writefile{brf}{\backcite{Self}{{27}{6.3}{subsection.6.3}}}
\newlabel{ssec:EG}{{6.4}{27}{Extraction Graphs}{subsection.6.4}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{6.4}{Extraction Graphs}}{27}{subsection.6.4}\protected@file@percent }
\citation{Self}
\newlabel{ssec:CC}{{6.5}{30}{Computational Complexity}{subsection.6.5}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{6.5}{Computational Complexity}}{30}{subsection.6.5}\protected@file@percent }
\@writefile{brf}{\backcite{Self}{{30}{6.5}{subsection.6.5}}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{7}{There's more!}}{30}{section.7}\protected@file@percent }
\newlabel{sec:more}{{7}{30}{There's more!}{section.7}{}}
\citation{Talk:OU}
\citation{ThurstonD:Sutured}
\citation{Milnor:LinkGroups}
\citation{AudouxMeilhan:PeripheralSystems}
\citation{AudouxMeilhan:PeripheralSystems}
\citation{AudoxBellingeriMeilhanWagner:WeldedStringLinks}
\citation{KBH}
\citation{KBH}
\citation{WKO2}
\citation{WKO3}
\citation{WKO4}
\citation{WKO4}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{7.1}{Weakening the Bond}}{31}{subsection.7.1}\protected@file@percent }
\@writefile{brf}{\backcite{Talk:OU}{{31}{7.1}{subsection.7.1}}}
\@writefile{brf}{\backcite{ThurstonD:Sutured}{{31}{7.1}{subsection.7.1}}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{7.2}{Prior Art}}{31}{subsection.7.2}\protected@file@percent }
\@writefile{brf}{\backcite{Milnor:LinkGroups}{{31}{7.2}{subsection.7.2}}}
\@writefile{brf}{\backcite{AudouxMeilhan:PeripheralSystems}{{31}{7.2}{subsection.7.2}}}
\@writefile{brf}{\backcite{AudouxMeilhan:PeripheralSystems}{{31}{7.2}{subsection.7.2}}}
\@writefile{brf}{\backcite{AudoxBellingeriMeilhanWagner:WeldedStringLinks}{{31}{7.2}{subsection.7.2}}}
\@writefile{brf}{\backcite{KBH}{{31}{7.2}{subsection.7.2}}}
\@writefile{brf}{\backcite{KBH}{{31}{7.2}{subsection.7.2}}}
\@writefile{brf}{\backcite{WKO2, WKO3, WKO4}{{31}{7.2}{subsection.7.2}}}
\citation{Enriquez:UniversalAlgebras}
\citation{Enriquez:QuantizationFunctors}
\citation{Enriquez:QuantizationFunctors}
\citation{WKO2}
\citation{Caen}
\citation{MasterClass}
\citation{WKO1}
\citation{EtingofKazhdan:BialgebrasI}
\citation{Severa:BialgebrasRevisited}
\bibcite{Artin:TheoryOfBraids}{Ar}
\bibcite{AudoxBellingeriMeilhanWagner:WeldedStringLinks}{ABMW1}
\bibcite{AudoxBellingeriMeilhanWagner:UVWHomotopy}{ABMW2}
\bibcite{AudouxMeilhan:PeripheralSystems}{AM}
\bibcite{Bar-Natan:glN}{BN1}
\bibcite{Caen}{BN2}
\bibcite{MasterClass}{BN3}
\bibcite{KBH}{BN4}
\bibcite{Talk:OU}{BN5}
\@writefile{brf}{\backcite{WKO4}{{32}{7.2}{subsection.7.2}}}
\@writefile{brf}{\backcite{Enriquez:UniversalAlgebras, Enriquez:QuantizationFunctors}{{32}{7.2}{subsection.7.2}}}
\@writefile{brf}{\backcite{Enriquez:QuantizationFunctors}{{32}{7.2}{subsection.7.2}}}
\@writefile{brf}{\backcite{WKO2}{{32}{7.2}{subsection.7.2}}}
\@writefile{brf}{\backcite{Caen, MasterClass}{{32}{7.2}{subsection.7.2}}}
\@writefile{brf}{\backcite{WKO1}{{32}{7.2}{subsection.7.2}}}
\@writefile{brf}{\backcite{EtingofKazhdan:BialgebrasI, Severa:BialgebrasRevisited}{{32}{7.2}{subsection.7.2}}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{8}{Acknowledgement}}{32}{section.8}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\tocsection {}{}{References}}{32}{section*.20}\protected@file@percent }
\bibcite{Talk:GvI}{BN6}
\bibcite{WKO4}{BN7}
\bibcite{WKO1}{BD1}
\bibcite{WKO2}{BD2}
\bibcite{WKO3}{BD3}
\bibcite{Self}{BDV}
\bibcite{Bar-NatanMorrison:KnotTheory}{BM}
\bibcite{Bergman:Diamond}{Be}
\bibcite{BirmanBrendle:BraidsSurvey}{BB}
\bibcite{Chterental:VBandVCD}{Ch1}
\bibcite{Chterental:Thesis}{Ch2}
\bibcite{Enriquez:UniversalAlgebras}{En1}
\bibcite{Enriquez:QuantizationFunctors}{En2}
\bibcite{Epstein:WordProcessing}{Ep}
\bibcite{EtingofKazhdan:BialgebrasI}{EK}
\bibcite{GodelleParis:WordProblems}{GP}
\bibcite{Kauffman:VirtualKnotTheory}{Ka1}
\bibcite{Kauffman:RotationalVirtualKnots}{Ka2}
\bibcite{Manturov:VirtualKnots}{Ma}
\bibcite{Milnor:LinkGroups}{Mi}
\bibcite{MurakamiVanDerVeen:Quantized}{MV}
\bibcite{Newman:DiamondLemma}{Ne}
\bibcite{Sapir:CombinatorialAlgebra}{Sa}
\bibcite{Severa:BialgebrasRevisited}{Se}
\bibcite{Smolka:Confluence}{Sm}
\bibcite{ThurstonD:Sutured}{Th}
\bibcite{Wolfram:Mathematica}{Wol}
\bibcite{Woronowicz:Solutions}{Wor}
\newlabel{tocindent-1}{0pt}
\newlabel{tocindent0}{15.01373pt}
\newlabel{tocindent1}{20.88867pt}
\newlabel{tocindent2}{34.5pt}
\newlabel{tocindent3}{0pt}
\relax 
\providecommand\hyper@newdestlabel[2]{}
\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined
\global\let\oldcontentsline\contentsline
\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global\let\oldnewlabel\newlabel
\gdef\newlabel#1#2{\newlabelxx{#1}#2}
\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\ifx\hyper@anchor\@undefined
\let\contentsline\oldcontentsline
\let\newlabel\oldnewlabel
\fi}
\fi}
\global\let\hyper@last\relax 
\gdef\HyperFirstAtBeginDocument#1{#1}
\providecommand\HyField@AuxAddToFields[1]{}
\providecommand\HyField@AuxAddToCoFields[2]{}
\citation{Self}
\pp@spagectr{FN@totalid}{1}{1}{1}
\pp@spagectr{FN@totalid}{2}{1}{1}
\pp@spagectr{FN@totalid}{3}{1}{1}
\@writefile{brf}{\backcite{Self}{{1}{}{Doc-Start}}}
\citation{AudoxBellingeriMeilhanWagner:WeldedStringLinks}
\citation{AudouxMeilhan:PeripheralSystems}
\citation{BirmanBrendle:BraidsSurvey}
\citation{AudouxMeilhan:PeripheralSystems}
\citation{Enriquez:UniversalAlgebras}
\citation{Enriquez:QuantizationFunctors}
\@writefile{toc}{\contentsline {section}{\tocsection {}{1}{Introduction}}{3}{section.1}\protected@file@percent }
\@writefile{brf}{\backcite{AudoxBellingeriMeilhanWagner:WeldedStringLinks}{{3}{1}{section.1}}}
\@writefile{brf}{\backcite{AudouxMeilhan:PeripheralSystems}{{3}{1}{section.1}}}
\@writefile{brf}{\backcite{BirmanBrendle:BraidsSurvey}{{3}{1}{section.1}}}
\@writefile{brf}{\backcite{AudouxMeilhan:PeripheralSystems}{{3}{1}{section.1}}}
\@writefile{brf}{\backcite{Enriquez:UniversalAlgebras, Enriquez:QuantizationFunctors}{{3}{1}{section.1}}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{2}{OU Tangles and Gliding}}{3}{section.2}\protected@file@percent }
\newlabel{sec:Gliding}{{2}{3}{OU Tangles and Gliding}{section.2}{}}
\newlabel{def:OU}{{2.1}{3}{}{equation.2.1}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces The tangle diagram (A) is OU as strand 1 is all ``over'' (so it has an empty ``U'' part) and strand 2 is all ``under'' (so it has an empty ``O'' part). The tangle diagram (B) is not OU: strand 1 is O then U, but strand 2 is U then O. Yet the tangle represented by (B) is OU because it is also represented by (C), which is OU. The diagram (D) is again OU; which familiar tangle does it represent? \relax }}{4}{figure.caption.2}\protected@file@percent }
\providecommand*\caption@xref[2]{\@setref\relax\@undefined{#1}}
\newlabel{fig:OUExamples}{{1}{4}{The tangle diagram (A) is OU as strand 1 is all ``over'' (so it has an empty ``U'' part) and strand 2 is all ``under'' (so it has an empty ``O'' part). The tangle diagram (B) is not OU: strand 1 is O then U, but strand 2 is U then O. Yet the tangle represented by (B) is OU because it is also represented by (C), which is OU. The diagram (D) is again OU; which familiar tangle does it represent? \relax }{figure.caption.2}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Glide moves between two crossings and bulk glide moves.\relax }}{4}{figure.caption.3}\protected@file@percent }
\newlabel{fig:Gliding}{{2}{4}{Glide moves between two crossings and bulk glide moves.\relax }{figure.caption.3}{}}
\newlabel{fhm:every}{{2.3}{4}{Gliding}{equation.2.3}{}}
\newlabel{for:KnotsTrivial}{{2.4}{4}{}{equation.2.4}{}}
\newlabel{disc:froofs1}{{2.5}{4}{}{equation.2.5}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces  An attempt to fix a non-OU tangle diagram. In each step we use a single glide move to fix the first UO sequence encountered on strand 1 (we mark it with a $\bullet $), but things get progressively more complicated. The O/U sequences below the diagrams are listed from the perspective of strand 1. \relax }}{5}{figure.caption.4}\protected@file@percent }
\newlabel{fig:swirls}{{3}{5}{An attempt to fix a non-OU tangle diagram. In each step we use a single glide move to fix the first UO sequence encountered on strand 1 (we mark it with a $\bullet $), but things get progressively more complicated. The O/U sequences below the diagrams are listed from the perspective of strand 1. \relax }{figure.caption.4}{}}
\newlabel{disc:Options}{{2.6}{5}{}{equation.2.6}{}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{3}{The Classical Case}}{7}{section.3}\protected@file@percent }
\newlabel{sec:classical}{{3}{7}{The Classical Case}{section.3}{}}
\pp@spagectr{FN@totalid}{4}{1}{7}
\newlabel{exa:acyclic}{{3.2}{7}{}{equation.3.2}{}}
\newlabel{thm:acyclic}{{3.3}{7}{}{equation.3.3}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces Two possibilities for ``interacting'' UO intervals (each marked with a\nonbreakingspace $\bullet $ symbol).\relax }}{8}{figure.caption.5}\protected@file@percent }
\newlabel{fig:unique}{{4}{8}{Two possibilities for ``interacting'' UO intervals (each marked with a~$\bullet $ symbol).\relax }{figure.caption.5}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {5}{\ignorespaces R1 and R2 moves ``commute'' with glides (A), or they make glides redundant (B), (C).\relax }}{8}{figure.caption.6}\protected@file@percent }
\newlabel{fig:R1R2}{{5}{8}{R1 and R2 moves ``commute'' with glides (A), or they make glides redundant (B), (C).\relax }{figure.caption.6}{}}
\newlabel{cor:GammaIso}{{3.6}{8}{}{equation.3.6}{}}
\newlabel{cor:actions}{{3.7}{8}{}{equation.3.7}{}}
\citation{BirmanBrendle:BraidsSurvey}
\@writefile{lof}{\contentsline {figure}{\numberline {6}{\ignorespaces Stirring a pool of tahini sauce garnished with parsley lines using a braid whisk.\relax }}{9}{figure.caption.7}\protected@file@percent }
\newlabel{fig:stirring}{{6}{9}{Stirring a pool of tahini sauce garnished with parsley lines using a braid whisk.\relax }{figure.caption.7}{}}
\newlabel{thm:iso}{{3.8}{9}{Classical Isomorphism}{equation.3.8}{}}
\@writefile{brf}{\backcite{BirmanBrendle:BraidsSurvey}{{9}{2}{figure.caption.7}}}
\@writefile{lof}{\contentsline {figure}{\numberline {7}{\ignorespaces Stirring is gliding.\relax }}{10}{figure.caption.8}\protected@file@percent }
\newlabel{fig:StirringIsGliding}{{7}{10}{Stirring is gliding.\relax }{figure.caption.8}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {8}{\ignorespaces The map $\Lambda $ turning an OU tangle into a braid.\relax }}{10}{figure.caption.9}\protected@file@percent }
\newlabel{fig:ReverseGamma}{{8}{10}{The map $\Lambda $ turning an OU tangle into a braid.\relax }{figure.caption.9}{}}
\pp@spagectr{FN@totalid}{5}{1}{10}
\pp@spagectr{FN@totalid}{6}{1}{10}
\newlabel{cor:braids}{{3.9}{10}{}{equation.3.9}{}}
\newlabel{cor:cOUisBraids}{{3.10}{11}{}{equation.3.10}{}}
\citation{Kauffman:VirtualKnotTheory}
\citation{Kauffman:RotationalVirtualKnots}
\citation{Manturov:VirtualKnots}
\citation{Talk:GvI}
\@writefile{lof}{\contentsline {figure}{\numberline {9}{\ignorespaces  A 3-crossing knot and a 2-crossing virtual knot, a 3-crossing braid and a 2-crossing virtual braid, and a 3-crossing tangle and a 2-crossing virtual tangle. \relax }}{13}{figure.caption.10}\protected@file@percent }
\newlabel{fig:vexamples}{{9}{13}{A 3-crossing knot and a 2-crossing virtual knot, a 3-crossing braid and a 2-crossing virtual braid, and a 3-crossing tangle and a 2-crossing virtual tangle. \relax }{figure.caption.10}{}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{4}{The Virtual Case}}{13}{section.4}\protected@file@percent }
\newlabel{sec:virtual}{{4}{13}{The Virtual Case}{section.4}{}}
\@writefile{brf}{\backcite{Kauffman:VirtualKnotTheory, Kauffman:RotationalVirtualKnots, Manturov:VirtualKnots}{{13}{4}{section.4}}}
\pp@spagectr{FN@totalid}{7}{1}{13}
\@writefile{brf}{\backcite{Talk:GvI}{{13}{4}{figure.caption.10}}}
\citation{Chterental:VBandVCD}
\citation{Chterental:Thesis}
\citation{Chterental:VBandVCD}
\citation{Chterental:Thesis}
\citation{Chterental:VBandVCD}
\citation{Chterental:Thesis}
\citation{GodelleParis:WordProblems}
\citation{Chterental:VBandVCD}
\citation{Chterental:Thesis}
\citation{Chterental:VBandVCD}
\citation{Chterental:Thesis}
\@writefile{brf}{\backcite{Chterental:VBandVCD, Chterental:Thesis}{{14}{4}{figure.caption.10}}}
\newlabel{thm:vinj}{{4.1}{14}{}{equation.4.1}{}}
\@writefile{brf}{\backcite{Chterental:VBandVCD, Chterental:Thesis}{{14}{4.1}{equation.4.1}}}
\newlabel{cor:vbraids}{{4.2}{14}{}{equation.4.2}{}}
\@writefile{brf}{\backcite{Chterental:VBandVCD, Chterental:Thesis}{{14}{4.2}{equation.4.2}}}
\pp@spagectr{FN@totalid}{8}{1}{14}
\@writefile{brf}{\backcite{Chterental:VBandVCD, Chterental:Thesis}{{14}{4.3}{equation.4.3}}}
\@writefile{brf}{\backcite{Chterental:VBandVCD, Chterental:Thesis}{{14}{4.4}{equation.4.4}}}
\newlabel{disc:plan}{{4.5}{14}{}{equation.4.5}{}}
\newlabel{exa:indivisible}{{4.7}{14}{}{equation.4.7}{}}
\@writefile{brf}{\backcite{GodelleParis:WordProblems}{{14}{5}{equation.4.2}}}
\@writefile{lof}{\contentsline {figure}{\numberline {10}{\ignorespaces  The 3-twist, 4-twist, and 5-twist braids, and their reduced OU forms the Cinnamon Roll tangles $\mathit  {CR}_3$, $\mathit  {CR}_4$, and $\mathit  {CR}_5$. The equivalence of the twist braids with their respective cinnamon rolls should be clear to anyone who has observed how a kink in a band becomes a twisted band upon tugging. The bonus cinnamon roll was purchased from \url  {https://thenounproject.com/}. \relax }}{15}{figure.caption.11}\protected@file@percent }
\newlabel{fig:CinnamonRolls}{{10}{15}{The 3-twist, 4-twist, and 5-twist braids, and their reduced OU forms the Cinnamon Roll tangles $\CR _3$, $\CR _4$, and $\CR _5$. The equivalence of the twist braids with their respective cinnamon rolls should be clear to anyone who has observed how a kink in a band becomes a twisted band upon tugging. The bonus cinnamon roll was purchased from \url {https://thenounproject.com/}. \relax }{figure.caption.11}{}}
\newlabel{exa:GarsideHexagon}{{4.8}{15}{}{equation.4.8}{}}
\newlabel{exa:CinnamonRolls}{{4.9}{15}{}{equation.4.9}{}}
\newlabel{eq:CinnamonRolls}{{4.10}{15}{}{equation.4.10}{}}
\newlabel{exa:SCR}{{4.11}{15}{}{equation.4.11}{}}
\newlabel{eq:SCRBraids1}{{4.12}{15}{}{equation.4.12}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {11}{\ignorespaces A slashed cinnamon roll and its quotients down to the identity.\relax }}{16}{figure.caption.12}\protected@file@percent }
\newlabel{fig:SCR}{{11}{16}{A slashed cinnamon roll and its quotients down to the identity.\relax }{figure.caption.12}{}}
\pp@spagectr{FN@totalid}{9}{1}{16}
\newlabel{disc:divquo}{{4.13}{16}{}{equation.4.13}{}}
\pp@spagectr{FN@totalid}{10}{1}{16}
\@writefile{lof}{\contentsline {figure}{\numberline {12}{\ignorespaces Everything we need to know about divisibility and quotients.\relax }}{17}{figure.caption.13}\protected@file@percent }
\newlabel{fig:divquo}{{12}{17}{Everything we need to know about divisibility and quotients.\relax }{figure.caption.13}{}}
\pp@spagectr{FN@totalid}{11}{1}{17}
\newlabel{lem:divquo}{{4.14}{17}{Division}{equation.4.14}{}}
\citation{Bergman:Diamond}
\citation{Sapir:CombinatorialAlgebra}
\citation{Smolka:Confluence}
\citation{Newman:DiamondLemma}
\pp@spagectr{FN@totalid}{12}{1}{18}
\@writefile{brf}{\backcite{Bergman:Diamond, Sapir:CombinatorialAlgebra, Smolka:Confluence}{{18}{4}{Item.3}}}
\newlabel{def:diamond}{{4.15}{18}{}{equation.4.15}{}}
\newlabel{lem:diamond}{{4.16}{18}{}{equation.4.16}{}}
\@writefile{brf}{\backcite{Newman:DiamondLemma}{{18}{4.16}{equation.4.16}}}
\newlabel{foot:parallel}{{9}{18}{The Virtual Case}{Item.3}{}}
\newlabel{disc:to}{{4.19}{19}{}{equation.4.19}{}}
\newlabel{eq:DiamondInX}{{4.20}{19}{}{equation.4.20}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {13}{\ignorespaces Two other slashed cinnamon rolls.\relax }}{20}{figure.caption.14}\protected@file@percent }
\newlabel{fig:Cases23}{{13}{20}{Two other slashed cinnamon rolls.\relax }{figure.caption.14}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {14}{\ignorespaces The what ifs.\relax }}{21}{figure.caption.15}\protected@file@percent }
\newlabel{fig:WhatIfs}{{14}{21}{The what ifs.\relax }{figure.caption.15}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {15}{\ignorespaces Case 2 and the resulting diamond.\relax }}{21}{figure.caption.16}\protected@file@percent }
\newlabel{fig:CaseM}{{15}{21}{Case 2 and the resulting diamond.\relax }{figure.caption.16}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {16}{\ignorespaces The diamond for case 4.\relax }}{22}{figure.caption.17}\protected@file@percent }
\newlabel{fig:Square}{{16}{22}{The diamond for case 4.\relax }{figure.caption.17}{}}
\citation{Chterental:VBandVCD}
\citation{Chterental:Thesis}
\@writefile{lof}{\contentsline {figure}{\numberline {17}{\ignorespaces A Chterental Virtual Curve Diagram (VCD) and the corresponding virtual OU tangle.\relax }}{23}{figure.caption.18}\protected@file@percent }
\newlabel{fig:VCD}{{17}{23}{A Chterental Virtual Curve Diagram (VCD) and the corresponding virtual OU tangle.\relax }{figure.caption.18}{}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{5}{Assorted Comments}}{23}{section.5}\protected@file@percent }
\newlabel{sec:Assorted}{{5}{23}{Assorted Comments}{section.5}{}}
\newlabel{disc:Chterental}{{5.1}{23}{}{equation.5.1}{}}
\@writefile{brf}{\backcite{Chterental:VBandVCD, Chterental:Thesis}{{23}{5.1}{equation.5.1}}}
\pp@spagectr{FN@totalid}{13}{1}{23}
\pp@spagectr{FN@totalid}{14}{1}{23}
\newlabel{rem:classical}{{5.2}{23}{}{equation.5.2}{}}
\citation{Artin:TheoryOfBraids}
\citation{AudoxBellingeriMeilhanWagner:UVWHomotopy}
\citation{Bar-Natan:glN}
\newlabel{rem:tent}{{5.3}{24}{}{equation.5.3}{}}
\newlabel{rem:TwoSquares}{{5.4}{24}{}{equation.5.4}{}}
\pp@spagectr{FN@totalid}{15}{1}{24}
\@writefile{brf}{\backcite{Artin:TheoryOfBraids}{{24}{5.4}{equation.5.4}}}
\pp@spagectr{FN@totalid}{16}{1}{24}
\@writefile{brf}{\backcite{AudoxBellingeriMeilhanWagner:UVWHomotopy}{{24}{5.4}{equation.5.4}}}
\@writefile{brf}{\backcite{Bar-Natan:glN}{{24}{5}{equation.5.5}}}
\newlabel{disc:OUH}{{5.6}{24}{}{equation.5.6}{}}
\citation{Kauffman:RotationalVirtualKnots}
\citation{Woronowicz:Solutions}
\citation{MurakamiVanDerVeen:Quantized}
\@writefile{lof}{\contentsline {figure}{\numberline {18}{\ignorespaces  A virtual O/U tangle in $v\mathcal  {OU}^2_3$ becomes a Gauss diagram becomes a universal Hopf formula representing an element of $\operatorname  {Hom}(H^{\otimes 2} \to H^{\otimes 3})$. Note that the antipode $S$ is inserted on the $(-)$-marked edges of the Gauss diagram, which correspond to the negative crossings of the tangle. \relax }}{25}{figure.caption.19}\protected@file@percent }
\newlabel{fig:HopfWords}{{18}{25}{A virtual O/U tangle in $\vcalOU ^2_3$ becomes a Gauss diagram becomes a universal Hopf formula representing an element of $\Hom (H^{\otimes 2} \to H^{\otimes 3})$. Note that the antipode $S$ is inserted on the $(-)$-marked edges of the Gauss diagram, which correspond to the negative crossings of the tangle. \relax }{figure.caption.19}{}}
\pp@spagectr{FN@totalid}{17}{1}{25}
\pp@spagectr{FN@totalid}{18}{1}{25}
\@writefile{brf}{\backcite{Kauffman:RotationalVirtualKnots}{{25}{5.7}{equation.5.7}}}
\@writefile{brf}{\backcite{Woronowicz:Solutions, MurakamiVanDerVeen:Quantized}{{25}{5.8}{equation.5.8}}}
\newlabel{rem:core}{{5.9}{25}{}{equation.5.9}{}}
\newlabel{disc:EG}{{5.10}{25}{}{equation.5.10}{}}
\pp@spagectr{FN@totalid}{19}{1}{26}
\citation{Wolfram:Mathematica}
\citation{Self}
\@writefile{toc}{\contentsline {section}{\tocsection {}{6}{Some Computations}}{27}{section.6}\protected@file@percent }
\newlabel{sec:comp}{{6}{27}{Some Computations}{section.6}{}}
\@writefile{brf}{\backcite{Wolfram:Mathematica}{{27}{6}{section.6}}}
\@writefile{brf}{\backcite{Self}{{27}{6}{section.6}}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{6.1}{Implementing virtual OU tangles, virtual braids, and $\mathit  {Ch}$}}{27}{subsection.6.1}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{6.2}{Tabulating Virtual Pure Braids}}{29}{subsection.6.2}\protected@file@percent }
\citation{Self}
\citation{Self}
\citation{Epstein:WordProcessing}
\citation{Bar-NatanMorrison:KnotTheory}
\@writefile{brf}{\backcite{Self}{{31}{6.2}{subsection.6.2}}}
\@writefile{brf}{\backcite{Self}{{31}{6.2}{subsection.6.2}}}
\pp@spagectr{FN@totalid}{20}{1}{31}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{6.3}{Tabulating Classical Braids}}{31}{subsection.6.3}\protected@file@percent }
\@writefile{brf}{\backcite{Epstein:WordProcessing}{{31}{6.3}{subsection.6.3}}}
\@writefile{brf}{\backcite{Bar-NatanMorrison:KnotTheory}{{31}{6.3}{subsection.6.3}}}
\citation{Self}
\@writefile{brf}{\backcite{Self}{{32}{6.3}{subsection.6.3}}}
\newlabel{ssec:EG}{{6.4}{32}{Extraction Graphs}{subsection.6.4}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{6.4}{Extraction Graphs}}{32}{subsection.6.4}\protected@file@percent }
\citation{Self}
\newlabel{ssec:CC}{{6.5}{35}{Computational Complexity}{subsection.6.5}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{6.5}{Computational Complexity}}{35}{subsection.6.5}\protected@file@percent }
\@writefile{brf}{\backcite{Self}{{35}{6.5}{subsection.6.5}}}
\citation{Talk:OU}
\citation{ThurstonD:Sutured}
\citation{Milnor:LinkGroups}
\citation{AudouxMeilhan:PeripheralSystems}
\citation{AudouxMeilhan:PeripheralSystems}
\citation{AudoxBellingeriMeilhanWagner:WeldedStringLinks}
\@writefile{toc}{\contentsline {section}{\tocsection {}{7}{There's more!}}{37}{section.7}\protected@file@percent }
\newlabel{sec:more}{{7}{37}{There's more!}{section.7}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{7.1}{Weakening the Bond}}{37}{subsection.7.1}\protected@file@percent }
\@writefile{brf}{\backcite{Talk:OU}{{37}{7.1}{subsection.7.1}}}
\@writefile{brf}{\backcite{ThurstonD:Sutured}{{37}{7.1}{subsection.7.1}}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{7.2}{Prior Art}}{37}{subsection.7.2}\protected@file@percent }
\@writefile{brf}{\backcite{Milnor:LinkGroups}{{37}{7.2}{subsection.7.2}}}
\@writefile{brf}{\backcite{AudouxMeilhan:PeripheralSystems}{{37}{7.2}{subsection.7.2}}}
\citation{KBH}
\citation{KBH}
\citation{WKO2}
\citation{WKO3}
\citation{WKO4}
\citation{WKO4}
\citation{Enriquez:UniversalAlgebras}
\citation{Enriquez:QuantizationFunctors}
\citation{Enriquez:QuantizationFunctors}
\citation{WKO2}
\citation{Caen}
\citation{MasterClass}
\citation{WKO1}
\citation{EtingofKazhdan:BialgebrasI}
\citation{Severa:BialgebrasRevisited}
\@writefile{brf}{\backcite{AudouxMeilhan:PeripheralSystems}{{38}{7.2}{subsection.7.2}}}
\@writefile{brf}{\backcite{AudoxBellingeriMeilhanWagner:WeldedStringLinks}{{38}{7.2}{subsection.7.2}}}
\@writefile{brf}{\backcite{KBH}{{38}{7.2}{subsection.7.2}}}
\@writefile{brf}{\backcite{KBH}{{38}{7.2}{subsection.7.2}}}
\@writefile{brf}{\backcite{WKO2, WKO3, WKO4}{{38}{7.2}{subsection.7.2}}}
\@writefile{brf}{\backcite{WKO4}{{38}{7.2}{subsection.7.2}}}
\@writefile{brf}{\backcite{Enriquez:UniversalAlgebras, Enriquez:QuantizationFunctors}{{38}{7.2}{subsection.7.2}}}
\@writefile{brf}{\backcite{Enriquez:QuantizationFunctors}{{38}{7.2}{subsection.7.2}}}
\@writefile{brf}{\backcite{WKO2}{{38}{7.2}{subsection.7.2}}}
\@writefile{brf}{\backcite{Caen, MasterClass}{{38}{7.2}{subsection.7.2}}}
\@writefile{brf}{\backcite{WKO1}{{38}{7.2}{subsection.7.2}}}
\@writefile{brf}{\backcite{EtingofKazhdan:BialgebrasI, Severa:BialgebrasRevisited}{{38}{7.2}{subsection.7.2}}}
\bibcite{Artin:TheoryOfBraids}{Ar}
\bibcite{AudoxBellingeriMeilhanWagner:WeldedStringLinks}{ABMW1}
\bibcite{AudoxBellingeriMeilhanWagner:UVWHomotopy}{ABMW2}
\bibcite{AudouxMeilhan:PeripheralSystems}{AM}
\bibcite{Bar-Natan:glN}{BN1}
\bibcite{Caen}{BN2}
\bibcite{MasterClass}{BN3}
\bibcite{KBH}{BN4}
\bibcite{Talk:OU}{BN5}
\bibcite{Talk:GvI}{BN6}
\bibcite{WKO4}{BN7}
\bibcite{WKO1}{BD1}
\bibcite{WKO2}{BD2}
\bibcite{WKO3}{BD3}
\bibcite{Self}{BDV}
\bibcite{Bar-NatanMorrison:KnotTheory}{BM}
\bibcite{Bergman:Diamond}{Be}
\bibcite{BirmanBrendle:BraidsSurvey}{BB}
\bibcite{Chterental:VBandVCD}{Ch1}
\bibcite{Chterental:Thesis}{Ch2}
\bibcite{Enriquez:UniversalAlgebras}{En1}
\@writefile{toc}{\contentsline {section}{\tocsection {}{8}{Acknowledgement}}{39}{section.8}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\tocsection {}{}{References}}{39}{section*.20}\protected@file@percent }
\bibcite{Enriquez:QuantizationFunctors}{En2}
\bibcite{Epstein:WordProcessing}{Ep}
\bibcite{EtingofKazhdan:BialgebrasI}{EK}
\bibcite{GodelleParis:WordProblems}{GP}
\bibcite{Kauffman:VirtualKnotTheory}{Ka1}
\bibcite{Kauffman:RotationalVirtualKnots}{Ka2}
\bibcite{Manturov:VirtualKnots}{Ma}
\bibcite{Milnor:LinkGroups}{Mi}
\bibcite{MurakamiVanDerVeen:Quantized}{MV}
\bibcite{Newman:DiamondLemma}{Ne}
\bibcite{Sapir:CombinatorialAlgebra}{Sa}
\bibcite{Severa:BialgebrasRevisited}{Se}
\bibcite{Smolka:Confluence}{Sm}
\bibcite{ThurstonD:Sutured}{Th}
\bibcite{Wolfram:Mathematica}{Wol}
\bibcite{Woronowicz:Solutions}{Wor}
\@writefile{toc}{\contentsline {section}{\tocsection {}{9}{Extras for Talks/TrendsInLDT-2005}}{41}{section.9}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\tocsection {}{10}{Recycling}}{43}{section.10}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{10.1}{To be moved to later section}}{43}{subsection.10.1}\protected@file@percent }
\newlabel{for:classification}{{10.1}{43}{of Forollary~\ref {for:UniqueReduced}}{equation.10.1}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{10.2}{Recycled April 22, 2020}}{43}{subsection.10.2}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{10.3}{Recycled May 11, 2020}}{44}{subsection.10.3}\protected@file@percent }
\newlabel{lem:div}{{10.4}{44}{}{equation.10.4}{}}
\newlabel{disc:divides}{{10.5}{44}{}{equation.10.5}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {19}{\ignorespaces Proof of the ``only if'' side of Lemma\nonbreakingspace \ref  {lem:div}.\relax }}{45}{figure.caption.21}\protected@file@percent }
\newlabel{fig:hard}{{19}{45}{Proof of the ``only if'' side of Lemma~\ref {lem:div}.\relax }{figure.caption.21}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{10.4}{Also recycled May 11, 2020}}{45}{subsection.10.4}\protected@file@percent }
\citation{Kauffman:VirtualKnotTheory}
\citation{Turaev:Knotoids}
\citation{Kauffman:VirtualKnotTheory}
\citation{Turaev:Knotoids}
\bibcite{Turaev:Knotoids}{Tu}
\@writefile{lof}{\contentsline {figure}{\numberline {20}{\ignorespaces The Reidemeister 3 Diamond.\relax }}{46}{figure.caption.22}\protected@file@percent }
\newlabel{fig:R3Diamond}{{20}{46}{The Reidemeister 3 Diamond.\relax }{figure.caption.22}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {21}{\ignorespaces Stirring cappuccino with a braid whisk.\relax }}{46}{figure.caption.23}\protected@file@percent }
\newlabel{fig:StirringOneRow}{{21}{46}{Stirring cappuccino with a braid whisk.\relax }{figure.caption.23}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{10.5}{Recycled May 27, 2020}}{46}{subsection.10.5}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{10.6}{Recycled July 8, 2020}}{46}{figure.caption.24}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\tocsection {}{}{References}}{46}{section*.25}\protected@file@percent }
\@writefile{lof}{\contentsline {figure}{\numberline {22}{\ignorespaces  Attempting to fix a non-OU tangle diagram in the virtual\nonbreakingspace \cite  {Kauffman:VirtualKnotTheory} / tangloid\nonbreakingspace \cite  {Turaev:Knotoids} case. \relax }}{47}{figure.caption.24}\protected@file@percent }
\@writefile{brf}{\backcite{Kauffman:VirtualKnotTheory}{{47}{22}{figure.caption.24}}}
\@writefile{brf}{\backcite{Turaev:Knotoids}{{47}{22}{figure.caption.24}}}
\newlabel{fig:swirloids}{{22}{47}{Attempting to fix a non-OU tangle diagram in the virtual~\cite {Kauffman:VirtualKnotTheory} / tangloid~\cite {Turaev:Knotoids} case. \relax }{figure.caption.24}{}}
\newlabel{tocindent-1}{0pt}
\newlabel{tocindent0}{15.01373pt}
\newlabel{tocindent1}{26.76361pt}
\newlabel{tocindent2}{41.25pt}
\newlabel{tocindent3}{0pt}
\relax 
\providecommand\hyper@newdestlabel[2]{}
\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined
\global\let\oldcontentsline\contentsline
\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global\let\oldnewlabel\newlabel
\gdef\newlabel#1#2{\newlabelxx{#1}#2}
\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\ifx\hyper@anchor\@undefined
\let\contentsline\oldcontentsline
\let\newlabel\oldnewlabel
\fi}
\fi}
\global\let\hyper@last\relax 
\gdef\HyperFirstAtBeginDocument#1{#1}
\providecommand\HyField@AuxAddToFields[1]{}
\providecommand\HyField@AuxAddToCoFields[2]{}
\citation{Self}
\citation{AudoxBellingeriMeilhanWagner:WeldedStringLinks}
\citation{AudouxMeilhan:PeripheralSystems}
\pp@spagectr{FN@totalid}{1}{1}{1}
\pp@spagectr{FN@totalid}{2}{1}{1}
\pp@spagectr{FN@totalid}{3}{1}{1}
\@writefile{toc}{\contentsline {section}{\tocsection {}{1}{Introduction}}{1}{section.1}\protected@file@percent }
\@writefile{brf}{\backcite{Self}{{1}{}{Doc-Start}}}
\citation{BirmanBrendle:BraidsSurvey}
\citation{AudouxMeilhan:PeripheralSystems}
\citation{Enriquez:UniversalAlgebras}
\citation{Enriquez:QuantizationFunctors}
\@writefile{brf}{\backcite{AudoxBellingeriMeilhanWagner:WeldedStringLinks}{{2}{1}{section.1}}}
\@writefile{brf}{\backcite{AudouxMeilhan:PeripheralSystems}{{2}{1}{section.1}}}
\@writefile{brf}{\backcite{BirmanBrendle:BraidsSurvey}{{2}{1}{section.1}}}
\@writefile{brf}{\backcite{AudouxMeilhan:PeripheralSystems}{{2}{1}{section.1}}}
\@writefile{brf}{\backcite{Enriquez:UniversalAlgebras, Enriquez:QuantizationFunctors}{{2}{1}{section.1}}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{2}{OU Tangles and Gliding}}{2}{section.2}\protected@file@percent }
\newlabel{sec:Gliding}{{2}{2}{OU Tangles and Gliding}{section.2}{}}
\newlabel{def:OU}{{2.1}{2}{}{equation.2.1}{}}
\newlabel{fhm:every}{{2.3}{2}{Gliding}{equation.2.3}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces The tangle diagram (A) is OU as strand 1 is all ``over'' (so it has an empty ``U'' part) and strand 2 is all ``under'' (so it has an empty ``O'' part). The tangle diagram (B) is not OU: strand 1 is O then U, but strand 2 is U then O. Yet the tangle represented by (B) is OU because it is also represented by (C), which is OU. The diagram (D) is again OU; which familiar tangle does it represent? \relax }}{3}{figure.caption.2}\protected@file@percent }
\providecommand*\caption@xref[2]{\@setref\relax\@undefined{#1}}
\newlabel{fig:OUExamples}{{1}{3}{The tangle diagram (A) is OU as strand 1 is all ``over'' (so it has an empty ``U'' part) and strand 2 is all ``under'' (so it has an empty ``O'' part). The tangle diagram (B) is not OU: strand 1 is O then U, but strand 2 is U then O. Yet the tangle represented by (B) is OU because it is also represented by (C), which is OU. The diagram (D) is again OU; which familiar tangle does it represent? \relax }{figure.caption.2}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Glide moves between two crossings and bulk glide moves.\relax }}{3}{figure.caption.3}\protected@file@percent }
\newlabel{fig:Gliding}{{2}{3}{Glide moves between two crossings and bulk glide moves.\relax }{figure.caption.3}{}}
\newlabel{for:KnotsTrivial}{{2.4}{3}{}{equation.2.4}{}}
\newlabel{disc:froofs1}{{2.5}{3}{}{equation.2.5}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces  An attempt to fix a non-OU tangle diagram. In each step we use a single glide move to fix the first UO sequence encountered on strand 1 (we mark it with a $\bullet $), but things get progressively more complicated. The O/U sequences below the diagrams are listed from the perspective of strand 1. \relax }}{4}{figure.caption.4}\protected@file@percent }
\newlabel{fig:swirls}{{3}{4}{An attempt to fix a non-OU tangle diagram. In each step we use a single glide move to fix the first UO sequence encountered on strand 1 (we mark it with a $\bullet $), but things get progressively more complicated. The O/U sequences below the diagrams are listed from the perspective of strand 1. \relax }{figure.caption.4}{}}
\newlabel{disc:Options}{{2.6}{4}{}{equation.2.6}{}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{3}{The Classical Case}}{4}{section.3}\protected@file@percent }
\newlabel{sec:classical}{{3}{4}{The Classical Case}{section.3}{}}
\pp@spagectr{FN@totalid}{4}{1}{4}
\newlabel{exa:acyclic}{{3.2}{4}{}{equation.3.2}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces Two possibilities for ``interacting'' UO intervals (each marked with a\nonbreakingspace $\bullet $ symbol).\relax }}{5}{figure.caption.5}\protected@file@percent }
\newlabel{fig:unique}{{4}{5}{Two possibilities for ``interacting'' UO intervals (each marked with a~$\bullet $ symbol).\relax }{figure.caption.5}{}}
\newlabel{thm:acyclic}{{3.3}{5}{}{equation.3.3}{}}
\newlabel{cor:GammaIso}{{3.6}{5}{}{equation.3.6}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {5}{\ignorespaces R1 and R2 moves ``commute'' with glides (A), or they make glides redundant (B), (C).\relax }}{6}{figure.caption.6}\protected@file@percent }
\newlabel{fig:R1R2}{{5}{6}{R1 and R2 moves ``commute'' with glides (A), or they make glides redundant (B), (C).\relax }{figure.caption.6}{}}
\newlabel{cor:actions}{{3.7}{6}{}{equation.3.7}{}}
\citation{BirmanBrendle:BraidsSurvey}
\@writefile{lof}{\contentsline {figure}{\numberline {6}{\ignorespaces Stirring a pool of tahini sauce garnished with parsley lines using a braid whisk.\relax }}{7}{figure.caption.7}\protected@file@percent }
\newlabel{fig:stirring}{{6}{7}{Stirring a pool of tahini sauce garnished with parsley lines using a braid whisk.\relax }{figure.caption.7}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {7}{\ignorespaces Stirring is gliding.\relax }}{7}{figure.caption.8}\protected@file@percent }
\newlabel{fig:StirringIsGliding}{{7}{7}{Stirring is gliding.\relax }{figure.caption.8}{}}
\newlabel{thm:iso}{{3.8}{7}{Classical Isomorphism}{equation.3.8}{}}
\pp@spagectr{FN@totalid}{5}{1}{7}
\@writefile{brf}{\backcite{BirmanBrendle:BraidsSurvey}{{7}{2}{figure.caption.7}}}
\citation{Kauffman:VirtualKnotTheory}
\citation{Kauffman:RotationalVirtualKnots}
\citation{Manturov:VirtualKnots}
\@writefile{lof}{\contentsline {figure}{\numberline {8}{\ignorespaces The map $\Lambda $ turning an OU tangle into a braid.\relax }}{8}{figure.caption.9}\protected@file@percent }
\newlabel{fig:ReverseGamma}{{8}{8}{The map $\Lambda $ turning an OU tangle into a braid.\relax }{figure.caption.9}{}}
\pp@spagectr{FN@totalid}{6}{1}{8}
\newlabel{cor:braids}{{3.9}{8}{}{equation.3.9}{}}
\newlabel{cor:cOUisBraids}{{3.10}{8}{}{equation.3.10}{}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{4}{The Virtual Case}}{8}{section.4}\protected@file@percent }
\newlabel{sec:virtual}{{4}{8}{The Virtual Case}{section.4}{}}
\@writefile{brf}{\backcite{Kauffman:VirtualKnotTheory, Kauffman:RotationalVirtualKnots, Manturov:VirtualKnots}{{8}{4}{section.4}}}
\citation{Talk:GvI}
\citation{Chterental:VBandVCD}
\citation{Chterental:Thesis}
\@writefile{lof}{\contentsline {figure}{\numberline {9}{\ignorespaces  A 3-crossing knot and a 2-crossing virtual knot, a 3-crossing braid and a 2-crossing virtual braid, and a 3-crossing tangle and a 2-crossing virtual tangle. \relax }}{9}{figure.caption.10}\protected@file@percent }
\newlabel{fig:vexamples}{{9}{9}{A 3-crossing knot and a 2-crossing virtual knot, a 3-crossing braid and a 2-crossing virtual braid, and a 3-crossing tangle and a 2-crossing virtual tangle. \relax }{figure.caption.10}{}}
\pp@spagectr{FN@totalid}{7}{1}{9}
\@writefile{brf}{\backcite{Talk:GvI}{{9}{4}{figure.caption.10}}}
\citation{Chterental:VBandVCD}
\citation{Chterental:Thesis}
\citation{Chterental:VBandVCD}
\citation{Chterental:Thesis}
\citation{GodelleParis:WordProblems}
\citation{Chterental:VBandVCD}
\citation{Chterental:Thesis}
\citation{Chterental:VBandVCD}
\citation{Chterental:Thesis}
\@writefile{brf}{\backcite{Chterental:VBandVCD, Chterental:Thesis}{{10}{4}{figure.caption.10}}}
\newlabel{thm:vinj}{{4.1}{10}{}{equation.4.1}{}}
\@writefile{brf}{\backcite{Chterental:VBandVCD, Chterental:Thesis}{{10}{4.1}{equation.4.1}}}
\newlabel{cor:vbraids}{{4.2}{10}{}{equation.4.2}{}}
\@writefile{brf}{\backcite{Chterental:VBandVCD, Chterental:Thesis}{{10}{4.2}{equation.4.2}}}
\pp@spagectr{FN@totalid}{8}{1}{10}
\@writefile{brf}{\backcite{Chterental:VBandVCD, Chterental:Thesis}{{10}{4.3}{equation.4.3}}}
\@writefile{brf}{\backcite{Chterental:VBandVCD, Chterental:Thesis}{{10}{4.4}{equation.4.4}}}
\newlabel{disc:plan}{{4.5}{10}{}{equation.4.5}{}}
\newlabel{exa:indivisible}{{4.7}{10}{}{equation.4.7}{}}
\newlabel{exa:GarsideHexagon}{{4.8}{10}{}{equation.4.8}{}}
\@writefile{brf}{\backcite{GodelleParis:WordProblems}{{10}{5}{equation.4.2}}}
\@writefile{lof}{\contentsline {figure}{\numberline {10}{\ignorespaces  The 3-twist, 4-twist, and 5-twist braids, and their reduced OU forms the Cinnamon Roll tangles $\mathit  {CR}_3$, $\mathit  {CR}_4$, and $\mathit  {CR}_5$. The equivalence of the twist braids with their respective cinnamon rolls should be clear to anyone who has observed how a kink in a band becomes a twisted band upon tugging. The bonus cinnamon roll was purchased from \url  {https://thenounproject.com/}. \relax }}{11}{figure.caption.11}\protected@file@percent }
\newlabel{fig:CinnamonRolls}{{10}{11}{The 3-twist, 4-twist, and 5-twist braids, and their reduced OU forms the Cinnamon Roll tangles $\CR _3$, $\CR _4$, and $\CR _5$. The equivalence of the twist braids with their respective cinnamon rolls should be clear to anyone who has observed how a kink in a band becomes a twisted band upon tugging. The bonus cinnamon roll was purchased from \url {https://thenounproject.com/}. \relax }{figure.caption.11}{}}
\newlabel{exa:CinnamonRolls}{{4.9}{11}{}{equation.4.9}{}}
\newlabel{eq:CinnamonRolls}{{4.10}{11}{}{equation.4.10}{}}
\newlabel{exa:SCR}{{4.11}{11}{}{equation.4.11}{}}
\newlabel{eq:SCRBraids1}{{4.12}{11}{}{equation.4.12}{}}
\pp@spagectr{FN@totalid}{9}{1}{11}
\newlabel{disc:divquo}{{4.13}{11}{}{equation.4.13}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {11}{\ignorespaces A slashed cinnamon roll and its quotients down to the identity.\relax }}{12}{figure.caption.12}\protected@file@percent }
\newlabel{fig:SCR}{{11}{12}{A slashed cinnamon roll and its quotients down to the identity.\relax }{figure.caption.12}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {12}{\ignorespaces Everything we need to know about divisibility and quotients.\relax }}{12}{figure.caption.13}\protected@file@percent }
\newlabel{fig:divquo}{{12}{12}{Everything we need to know about divisibility and quotients.\relax }{figure.caption.13}{}}
\pp@spagectr{FN@totalid}{10}{1}{12}
\citation{Bergman:Diamond}
\citation{Sapir:CombinatorialAlgebra}
\citation{Smolka:Confluence}
\pp@spagectr{FN@totalid}{11}{1}{13}
\newlabel{lem:divquo}{{4.14}{13}{Division}{equation.4.14}{}}
\pp@spagectr{FN@totalid}{12}{1}{13}
\@writefile{brf}{\backcite{Bergman:Diamond, Sapir:CombinatorialAlgebra, Smolka:Confluence}{{13}{4}{Item.3}}}
\newlabel{def:diamond}{{4.15}{13}{}{equation.4.15}{}}
\newlabel{foot:parallel}{{9}{13}{The Virtual Case}{Item.3}{}}
\citation{Newman:DiamondLemma}
\newlabel{lem:diamond}{{4.16}{14}{}{equation.4.16}{}}
\@writefile{brf}{\backcite{Newman:DiamondLemma}{{14}{4.16}{equation.4.16}}}
\newlabel{disc:to}{{4.19}{14}{}{equation.4.19}{}}
\newlabel{eq:DiamondInX}{{4.20}{15}{}{equation.4.20}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {13}{\ignorespaces Two other slashed cinnamon rolls.\relax }}{16}{figure.caption.14}\protected@file@percent }
\newlabel{fig:Cases23}{{13}{16}{Two other slashed cinnamon rolls.\relax }{figure.caption.14}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {14}{\ignorespaces The what ifs.\relax }}{16}{figure.caption.15}\protected@file@percent }
\newlabel{fig:WhatIfs}{{14}{16}{The what ifs.\relax }{figure.caption.15}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {15}{\ignorespaces Case 2 and the resulting diamond.\relax }}{17}{figure.caption.16}\protected@file@percent }
\newlabel{fig:CaseM}{{15}{17}{Case 2 and the resulting diamond.\relax }{figure.caption.16}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {16}{\ignorespaces The diamond for case 4.\relax }}{17}{figure.caption.17}\protected@file@percent }
\newlabel{fig:Square}{{16}{17}{The diamond for case 4.\relax }{figure.caption.17}{}}
\citation{Chterental:VBandVCD}
\citation{Chterental:Thesis}
\@writefile{toc}{\contentsline {section}{\tocsection {}{5}{Assorted Comments}}{18}{section.5}\protected@file@percent }
\newlabel{sec:Assorted}{{5}{18}{Assorted Comments}{section.5}{}}
\newlabel{disc:Chterental}{{5.1}{18}{}{equation.5.1}{}}
\@writefile{brf}{\backcite{Chterental:VBandVCD, Chterental:Thesis}{{18}{5.1}{equation.5.1}}}
\pp@spagectr{FN@totalid}{13}{1}{18}
\@writefile{lof}{\contentsline {figure}{\numberline {17}{\ignorespaces A Chterental Virtual Curve Diagram (VCD) and the corresponding virtual OU tangle.\relax }}{19}{figure.caption.18}\protected@file@percent }
\newlabel{fig:VCD}{{17}{19}{A Chterental Virtual Curve Diagram (VCD) and the corresponding virtual OU tangle.\relax }{figure.caption.18}{}}
\pp@spagectr{FN@totalid}{14}{1}{19}
\newlabel{rem:classical}{{5.2}{19}{}{equation.5.2}{}}
\newlabel{rem:tent}{{5.3}{19}{}{equation.5.3}{}}
\newlabel{rem:TwoSquares}{{5.4}{19}{}{equation.5.4}{}}
\citation{Artin:TheoryOfBraids}
\citation{AudoxBellingeriMeilhanWagner:UVWHomotopy}
\citation{Bar-Natan:glN}
\citation{Kauffman:RotationalVirtualKnots}
\citation{Woronowicz:Solutions}
\citation{MurakamiVanDerVeen:Quantized}
\pp@spagectr{FN@totalid}{15}{1}{20}
\@writefile{brf}{\backcite{Artin:TheoryOfBraids}{{20}{5.4}{equation.5.4}}}
\pp@spagectr{FN@totalid}{16}{1}{20}
\@writefile{brf}{\backcite{AudoxBellingeriMeilhanWagner:UVWHomotopy}{{20}{5.4}{equation.5.4}}}
\@writefile{brf}{\backcite{Bar-Natan:glN}{{20}{5}{equation.5.5}}}
\newlabel{disc:OUH}{{5.6}{20}{}{equation.5.6}{}}
\pp@spagectr{FN@totalid}{17}{1}{20}
\pp@spagectr{FN@totalid}{18}{1}{20}
\@writefile{brf}{\backcite{Kauffman:RotationalVirtualKnots}{{20}{5.7}{equation.5.7}}}
\@writefile{lof}{\contentsline {figure}{\numberline {18}{\ignorespaces  A virtual O/U tangle in $v\mathcal  {OU}^2_3$ becomes a Gauss diagram becomes a universal Hopf formula representing an element of $\operatorname  {Hom}(H^{\otimes 2} \to H^{\otimes 3})$. Note that the antipode $S$ is inserted on the $(-)$-marked edges of the Gauss diagram, which correspond to the negative crossings of the tangle. \relax }}{21}{figure.caption.19}\protected@file@percent }
\newlabel{fig:HopfWords}{{18}{21}{A virtual O/U tangle in $\vcalOU ^2_3$ becomes a Gauss diagram becomes a universal Hopf formula representing an element of $\Hom (H^{\otimes 2} \to H^{\otimes 3})$. Note that the antipode $S$ is inserted on the $(-)$-marked edges of the Gauss diagram, which correspond to the negative crossings of the tangle. \relax }{figure.caption.19}{}}
\@writefile{brf}{\backcite{Woronowicz:Solutions, MurakamiVanDerVeen:Quantized}{{21}{5.8}{equation.5.8}}}
\newlabel{rem:core}{{5.9}{21}{}{equation.5.9}{}}
\newlabel{disc:EG}{{5.10}{21}{}{equation.5.10}{}}
\pp@spagectr{FN@totalid}{19}{1}{21}
\citation{Wolfram:Mathematica}
\citation{Self}
\@writefile{toc}{\contentsline {section}{\tocsection {}{6}{Some Computations}}{22}{section.6}\protected@file@percent }
\newlabel{sec:comp}{{6}{22}{Some Computations}{section.6}{}}
\@writefile{brf}{\backcite{Wolfram:Mathematica}{{22}{6}{section.6}}}
\@writefile{brf}{\backcite{Self}{{22}{6}{section.6}}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{6.1}{Implementing virtual OU tangles, virtual braids, and $\mathit  {Ch}$}}{22}{subsection.6.1}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{6.2}{Tabulating Virtual Pure Braids}}{25}{subsection.6.2}\protected@file@percent }
\citation{Self}
\citation{Self}
\citation{Epstein:WordProcessing}
\citation{Bar-NatanMorrison:KnotTheory}
\@writefile{brf}{\backcite{Self}{{26}{6.2}{subsection.6.2}}}
\@writefile{brf}{\backcite{Self}{{26}{6.2}{subsection.6.2}}}
\pp@spagectr{FN@totalid}{20}{1}{26}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{6.3}{Tabulating Classical Braids}}{26}{subsection.6.3}\protected@file@percent }
\@writefile{brf}{\backcite{Epstein:WordProcessing}{{26}{6.3}{subsection.6.3}}}
\@writefile{brf}{\backcite{Bar-NatanMorrison:KnotTheory}{{26}{6.3}{subsection.6.3}}}
\citation{Self}
\@writefile{brf}{\backcite{Self}{{27}{6.3}{subsection.6.3}}}
\newlabel{ssec:EG}{{6.4}{27}{Extraction Graphs}{subsection.6.4}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{6.4}{Extraction Graphs}}{27}{subsection.6.4}\protected@file@percent }
\citation{Self}
\newlabel{ssec:CC}{{6.5}{30}{Computational Complexity}{subsection.6.5}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{6.5}{Computational Complexity}}{30}{subsection.6.5}\protected@file@percent }
\@writefile{brf}{\backcite{Self}{{30}{6.5}{subsection.6.5}}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{7}{There's more!}}{30}{section.7}\protected@file@percent }
\newlabel{sec:more}{{7}{30}{There's more!}{section.7}{}}
\citation{Talk:OU}
\citation{ThurstonD:Sutured}
\citation{Milnor:LinkGroups}
\citation{AudouxMeilhan:PeripheralSystems}
\citation{AudouxMeilhan:PeripheralSystems}
\citation{AudoxBellingeriMeilhanWagner:WeldedStringLinks}
\citation{KBH}
\citation{KBH}
\citation{WKO2}
\citation{WKO3}
\citation{WKO4}
\citation{WKO4}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{7.1}{Weakening the Bond}}{31}{subsection.7.1}\protected@file@percent }
\@writefile{brf}{\backcite{Talk:OU}{{31}{7.1}{subsection.7.1}}}
\@writefile{brf}{\backcite{ThurstonD:Sutured}{{31}{7.1}{subsection.7.1}}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{7.2}{Prior Art}}{31}{subsection.7.2}\protected@file@percent }
\@writefile{brf}{\backcite{Milnor:LinkGroups}{{31}{7.2}{subsection.7.2}}}
\@writefile{brf}{\backcite{AudouxMeilhan:PeripheralSystems}{{31}{7.2}{subsection.7.2}}}
\@writefile{brf}{\backcite{AudouxMeilhan:PeripheralSystems}{{31}{7.2}{subsection.7.2}}}
\@writefile{brf}{\backcite{AudoxBellingeriMeilhanWagner:WeldedStringLinks}{{31}{7.2}{subsection.7.2}}}
\@writefile{brf}{\backcite{KBH}{{31}{7.2}{subsection.7.2}}}
\@writefile{brf}{\backcite{KBH}{{31}{7.2}{subsection.7.2}}}
\@writefile{brf}{\backcite{WKO2, WKO3, WKO4}{{31}{7.2}{subsection.7.2}}}
\citation{Enriquez:UniversalAlgebras}
\citation{Enriquez:QuantizationFunctors}
\citation{Enriquez:QuantizationFunctors}
\citation{WKO2}
\citation{Caen}
\citation{MasterClass}
\citation{WKO1}
\citation{EtingofKazhdan:BialgebrasI}
\citation{Severa:BialgebrasRevisited}
\bibcite{Artin:TheoryOfBraids}{Ar}
\bibcite{AudoxBellingeriMeilhanWagner:WeldedStringLinks}{ABMW1}
\bibcite{AudoxBellingeriMeilhanWagner:UVWHomotopy}{ABMW2}
\bibcite{AudouxMeilhan:PeripheralSystems}{AM}
\bibcite{Bar-Natan:glN}{BN1}
\bibcite{Caen}{BN2}
\bibcite{MasterClass}{BN3}
\bibcite{KBH}{BN4}
\bibcite{Talk:OU}{BN5}
\@writefile{brf}{\backcite{WKO4}{{32}{7.2}{subsection.7.2}}}
\@writefile{brf}{\backcite{Enriquez:UniversalAlgebras, Enriquez:QuantizationFunctors}{{32}{7.2}{subsection.7.2}}}
\@writefile{brf}{\backcite{Enriquez:QuantizationFunctors}{{32}{7.2}{subsection.7.2}}}
\@writefile{brf}{\backcite{WKO2}{{32}{7.2}{subsection.7.2}}}
\@writefile{brf}{\backcite{Caen, MasterClass}{{32}{7.2}{subsection.7.2}}}
\@writefile{brf}{\backcite{WKO1}{{32}{7.2}{subsection.7.2}}}
\@writefile{brf}{\backcite{EtingofKazhdan:BialgebrasI, Severa:BialgebrasRevisited}{{32}{7.2}{subsection.7.2}}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{8}{Acknowledgement}}{32}{section.8}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\tocsection {}{}{References}}{32}{section*.20}\protected@file@percent }
\bibcite{Talk:GvI}{BN6}
\bibcite{WKO4}{BN7}
\bibcite{WKO1}{BD1}
\bibcite{WKO2}{BD2}
\bibcite{WKO3}{BD3}
\bibcite{Self}{BDV}
\bibcite{Bar-NatanMorrison:KnotTheory}{BM}
\bibcite{Bergman:Diamond}{Be}
\bibcite{BirmanBrendle:BraidsSurvey}{BB}
\bibcite{Chterental:VBandVCD}{Ch1}
\bibcite{Chterental:Thesis}{Ch2}
\bibcite{Enriquez:UniversalAlgebras}{En1}
\bibcite{Enriquez:QuantizationFunctors}{En2}
\bibcite{Epstein:WordProcessing}{Ep}
\bibcite{EtingofKazhdan:BialgebrasI}{EK}
\bibcite{GodelleParis:WordProblems}{GP}
\bibcite{Kauffman:VirtualKnotTheory}{Ka1}
\bibcite{Kauffman:RotationalVirtualKnots}{Ka2}
\bibcite{Manturov:VirtualKnots}{Ma}
\bibcite{Milnor:LinkGroups}{Mi}
\bibcite{MurakamiVanDerVeen:Quantized}{MV}
\bibcite{Newman:DiamondLemma}{Ne}
\bibcite{Sapir:CombinatorialAlgebra}{Sa}
\bibcite{Severa:BialgebrasRevisited}{Se}
\bibcite{Smolka:Confluence}{Sm}
\bibcite{ThurstonD:Sutured}{Th}
\bibcite{Wolfram:Mathematica}{Wol}
\bibcite{Woronowicz:Solutions}{Wor}
\newlabel{tocindent-1}{0pt}
\newlabel{tocindent0}{15.01373pt}
\newlabel{tocindent1}{20.88867pt}
\newlabel{tocindent2}{34.5pt}
\newlabel{tocindent3}{0pt}