\documentclass[11pt,notitlepage]{article} \def\bare{n} \usepackage[all]{xy} \usepackage[english,greek]{babel} \usepackage{dbnsymb, amsmath, graphicx, amssymb, datetime, multicol, stmaryrd, pifont, amscd, colortbl, mathtools, wasysym, needspace, import, longtable, overpic, enumitem, bbm, pdfpages, ../picins} \usepackage{tensor} \usepackage{txfonts} % for the likes of \coloneqq. \usepackage[usenames,dvipsnames]{xcolor} \usepackage[textwidth=8.5in,textheight=11in,centering]{geometry} \parindent 0in % Following http://tex.stackexchange.com/a/847/22475: \usepackage[setpagesize=false]{hyperref} \hypersetup{colorlinks, linkcolor={blue!50!black}, citecolor={blue!50!black}, urlcolor={blue!50!black} } % Following http://tex.stackexchange.com/questions/59340/how-to-highlight-an-entire-paragraph \usepackage[framemethod=tikz]{mdframed} \usepackage[T1]{fontenc} \def\myurl{http://www.math.toronto.edu/~drorbn} \def\thistalk{LesDiablerets-1708} \def\title{The Dogma is Wrong} \def\navigator{{ \href{\myurl}{Dror Bar-Natan}: \href{\myurl/Talks}{Talks}: \href{\myurl/Talks/\thistalk/}{\thistalk}: }} \def\thanks{{Happy Birthday Anton!}} \def\webdef{{{\greektext web}$\coloneqq$\href{http://drorbn.net/ld17}{http://drorbn.net/ld17/}}} \def\web#1{{\href{\myurl/Talks/\thistalk/#1}{{\greektext web}/#1}}} \def\titleA{{\title}} \def\titleB{{\title}} \def\titleC{{\title}} \definecolor{mgray}{HTML}{B0B0B0} \definecolor{morange}{HTML}{FFA50A} \def\blue{\color{blue}} \def\gray{\color{gray}} \def\mgray{\color{mgray}} \def\morange{\color{morange}} \def\red{\color{red}} \def\cbox#1#2{{\setlength{\fboxsep}{0pt}\colorbox{#1}{#2}}} \def\arXiv#1{{\href{http://front.math.ucdavis.edu/#1}{arXiv:\linebreak[0]#1}}} \def\act{{\hspace{-1pt}\sslash\hspace{-0.75pt}}} \def\ad{\operatorname{ad}} \def\Ad{\operatorname{Ad}} \def\aft{$\overrightarrow{\text{4T}}$} \def\AS{\mathit{AS}} \def\bbZZ{{\mathbb Z\mathbb Z}} \def\CW{\text{\it CW}} \def\diag{\operatorname{diag}} \def\FL{\text{\it FL}} \def\IHX{\mathit{IHX}} \def\PvT{{\mathit P\!v\!T}} \def\remove{\!\setminus\!} \def\STU{\mathit{STU}} \def\TC{\mathit{TC}} \def\tr{\operatorname{tr}} \def\vT{{\mathit v\!T}} \def\bbe{\mathbbm{e}} \def\bbE{{\mathbb E}} \def\bbO{{\mathbb O}} \def\bbQ{{\mathbb Q}} \def\bbR{{\mathbb R}} \def\bbZ{{\mathbb Z}} \def\calA{{\mathcal A}} \def\calD{{\mathcal D}} \def\calF{{\mathcal F}} \def\calG{{\mathcal G}} \def\calI{{\mathcal I}} \def\calK{{\mathcal K}} \def\calO{{\mathcal O}} \def\calP{{\mathcal P}} \def\calR{{\mathcal R}} \def\calS{{\mathcal S}} \def\calT{{\mathcal T}} \def\calU{{\mathcal U}} \def\fraka{{\mathfrak a}} \def\frakb{{\mathfrak b}} \def\frakg{{\mathfrak g}} \def\frakh{{\mathfrak h}} \def\tilE{\tilde{E}} % From http://tex.stackexchange.com/questions/154672/how-to-get-a-medium-sized-otimes \DeclareMathOperator*{\midotimes}{\text{\raisebox{0.25ex}{\scalebox{0.8}{$\bigotimes$}}}} %%% \def\credits{{\raisebox{0.75mm}{\parbox[t]{2.4in}{ Follows Rozansky \cite{Ro, Rozansky:Burau, Rozansky:U1RCC} and \text{Overbay} \cite{Overbay:Thesis}, joint with van der Veen. Preliminary writeup~\cite{PP1}, fuller writeup~\cite{PPSA}. More at \web{talks}. }}}} \def\Abstract{{\raisebox{2mm}{\parbox[t]{3.95in}{ {\red Abstract.} It has long been known that there are knot invariants associated to semi-simple Lie algebras, and there has long been a dogma as for how to extract them: ``quantize and use {\blue representation theory}''. We present an alternative and better procedure: ``centrally extend, {\red approximate by solvable}, and learn how to {\red re-order exponentials} in a universal enveloping algebra''. While equivalent to the old invariants via a complicated process, our invariants are in practice stronger, faster to compute (poly-time vs. exp-time), and clearly carry topological information. }}}} \def\GWUAbstract{{\raisebox{2mm}{\parbox[t]{3.95in}{ {\red KiW 43 Abstract} (\web{kiw}). Whether or not you like the formulas on this page, they describe the strongest truly computable knot invariant we know. }}}} \def\ExperimentalA{{\raisebox{3mm}{\parbox[t]{3.95in}{ {\red Experimental Analysis} (\web{Exp}). Log-log plots of computation time (sec) vs.\ crossing number, for all knots with up to 12 crossings (mean times) and for all torus knots with up to 48 crossings: }}}} \def\To12Times{{\includegraphics[width=2in]{../UNC-1610/To12Times.pdf}}} \def\TKTimes{{\includegraphics[width=2in]{../UNC-1610/TKTimes.pdf}}} \def\ExperimentalB{{\raisebox{2mm}{\parbox[t]{3.95in}{ {\red Power.} On the 250 knots with at most 10 crossings, the pair $(\omega,\rho_1)$ attains 250 distinct values, while (Khovanov, HOMFLYPT) attains only 249 distinct values. To 11 crossings the numbers are (802, 788, 772) and to 12 they are (2978, 2883, 2786). {\red Genus.} Up to 12 xings, always $\rho_1$ is symmetric under $t\leftrightarrow t^{-1}$. With $\rho_1^+$ denoting the positive-degree part of $\rho_1$, always $\deg \rho_1^+\leq 2g-1$, where $g$ is the 3-genus of $K$ (equality for 2530 knots). This gives a lower bound on $g$ in terms of $\rho_1$ (conjectural, but undoubtedly true). This bound is often weaker than the Alexander bound, yet for 10 of the 12-xing Alexander failures it does give the right answer. }}}} \def\GST{\parbox{0.5in}{\tiny Gompf, Scharlemann, Thompson \cite{GompfScharlemannThompson:Counterexample} }} \def\Ta{$\calT_{2n}$} \def\Tb{$U\in\calT_n$} \def\Tc{ribbon $K\in\calT_1$} \def\Aa{$\calA_{2n}$} \def\Ab{$1\in\calA_n$} \def\Ac{$z(K)\in\calR\subseteq\calA_1$} \def\Ra{with $\calR\coloneqq\kappa(\tau^{-1}(1))$} \def\Vo{{\raisebox{0mm}{\parbox[t]{0.74in}{\footnotesize\raggedright \cite{Vo:Thesis}: Works for Alexander! }}}} \def\GSTInvariants{{\raisebox{0mm}{\parbox[t]{3.95in}{\footnotesize \hfill$A^+ = -t^8+2 t^7-t^6-2 t^4+5 t^3-2 t^2-7 t+13$ $\rho_1^+ = 5t^{15}-18t^{14}+33t^{13}-32t^{12}+2t^{11}+42t^{10}-62t^9-8t^8+166t^7-242t^6+$ \newline\null\hfill$108 t^5+132 t^4-226 t^3+148 t^2-11 t-36$ }}}} \def\LoyalOpposition{{\raisebox{2.5mm}{\parbox[t]{3.95in}{ \parshape 2 0in 3.95in 0in 1.375in {\red The Loyal Opposition.} For certain algebras, work in a homomorphic poly-dimensional ``space of formulas''. }}}} \def\mijk{$m^{ij}_k$} \def\FS{$\{\calF_S\}$} \def\AS{$\{U^{\otimes S}\}$} \def\Moduli{{\raisebox{2mm}{\parbox[t]{1.95in}{ {\red The (fake) moduli} of Lie algebras on $V$, a quadratic variety in $(V^\ast)^{\otimes 2}\otimes V$ is on the right. We care about $sl_{17}^k \coloneqq sl_{17}^\epsilon/(\epsilon^{k+1}=0)$. }}}} \def\mmr{{\raisebox{2mm}{\parbox[t]{3.95in}{ \parshape 3 0in 2.45in 0in 2.45in 0in 3.95in {\red Theorem} (\cite{Bar-NatanGaroufalidis:MMR}, conjectured~\cite{MM}, elucidated~\cite{Ro}). Let $J_d(K)$ be the coloured Jones polynomial of $K$, in the $d$-dimensional representation of $sl_2$. Writing \[ \left. \frac{(q^{1/2}-q^{-1/2})J_d(K)}{q^{d/2}-q^{-d/2}} \right|_{q=e^\hbar} = \sum_{j,m\geq 0} a_{jm}(K)d^j\hbar^m, \] \parshape 5 0in 3in 0in 3in 0in 3in 0in 3in 0in 3.95in ``below diagonal'' coefficients vanish, $a_{jm}(K)=0$ if $j>m$, and ``on diagonal'' coefficients give the inverse of the Alexander polynomial: $\left(\sum_{m=0}^\infty a_{mm}(K)\hbar^m\right)\cdot \omega(K)(e^\hbar)=1$. ``Above diagonal'' we have {\red Rozansky's Theorem} \cite[(1.2)]{Rozansky:U1RCC}: \[ J_d(K)(q) = \frac{q^d-q^{-d}}{(q-q^{-1})\omega(K)(q^d)} \left(1+ \sum_{k=1}^\infty \frac{(q-1)^k\rho_k(K)(q^d)}{\omega^{2k}(K)(q^d)} \right). \] }}}} \def\MMG{\parbox{0.6in}{\scriptsize\raggedright Melvin, Morton, Garoufalidis }} \def\technique{{\raisebox{2mm}{\parbox[t]{2.75in}{ {\red The Yang-Baxter Technique.} Given an algebra $U$ (typically $\hat\calU(\frakg)$ or $\hat\calU_q(\frakg)$) and elements \[ R=\sum a_i\otimes b_i\in U\otimes U \quad\text{and}\quad C\in U, \] form \[ Z=\sum_{i,j,k}Ca_ib_ja_kC^2b_ia_jb_kC. \] {\red Problem.} Extract information from $Z$. {\red The Dogma.} Use representation theory. In principle finite, but {\em slow}. }}}} \def\bracket{$b({\red\uppertriang})=b\colon{\red\uppertriang}\otimes\!{\red\uppertriang} \to{\red\uppertriang}$} \def\cobracket{$b({\blue\lowertriang})\leadsto\delta\colon{\red\uppertriang} \to{\red\uppertriang}\otimes\!{\red\uppertriang}$} \def\Recomposing{{\raisebox{3mm}{\parbox[t]{3.95in}{ {\red Recomposing $gl_n$.} Half is enough! $gl_n\oplus\fraka_n = \calD(\uppertriang,b,\delta)$: \vskip 14mm Now define $gl^\epsilon_n\coloneqq\calD(\uppertriang,b,\epsilon\delta)$. Schematically, this is $[\uppertriang,\uppertriang]=\uppertriang$, $[\lowertriang,\lowertriang]=\epsilon\lowertriang$, and $[\uppertriang,\lowertriang]=\lowertriang+\epsilon\uppertriang$. In detail, it is }}}} \def\glne{{\raisebox{0mm}{\parbox[t]{3.0625in}{ $[x_{ij},x_{kl}]\!=\!\delta_{jk}x_{il}-\delta_{li}x_{kj}$ \hfill$[y_{ij},y_{kl}]\!=\!\epsilon\delta_{jk}y_{il}-\epsilon\delta_{li}y_{kj}$ \newline $[x_{ij},y_{kl}] \!=\! \delta_{jk}(\epsilon\delta_{jl}y_{il})$ \newline\null\hfill $-\delta_{li}(\epsilon\delta_{kj}y_{kj})$ \newline$[a_i,x_{jk}] \!=\! (\delta_{ij}-\delta_{ik})x_{jk}$ \hfill$[b_i,x_{jk}] \!=\! \epsilon(\delta_{ij}-\delta_{ik})x_{jk}$ \newline$[a_i,y_{jk}] \!=\! (\delta_{ij}-\delta_{ik})y_{jk}$ \hfill$[b_i,y_{jk}] \!=\! \epsilon(\delta_{ij}-\delta_{ik})y_{jk}$ }}}} \def\OrderingSymbols{{\raisebox{2mm}{\parbox[t]{3.95in}{ {\red Ordering Symbols.} $\bbO\left(\text{\it poly}\mid\text{\it specs}\right)$ plants the variables of {\it poly} in $\calS(\oplus_i\frakg)$ on several tensor copies of $\calU(\frakg)$ according to {\it specs}. E.g., \[ \bbO\left( a_1^3y_1a_2e^{y_3}x_3^9 \,|\, x_3a_1 \otimes y_1y_3a_2 \right) = x^9a^3\otimes ye^ya \in \calU(\frakg)\otimes\calU(\frakg) \] This enables the description of elements of $\hat\calU(\frakg)^{\otimes S}$ using commutative polynomials / power series. }}}} \def\MainTheorem{{\raisebox{2mm}{\parbox[t]{3.95in}{ {\red The Main $sl_2$ Theorem.} Let $\frakg^\epsilon = \langle t,y,a,x\rangle / ([t,\cdot]=0,\,[a,x]=x,\,[a,y]=-y,\, [x,y]=t-2\epsilon a)$ and let $\frakg_k = \frakg^\epsilon/(\epsilon^{k+1}=0)$. The $\frakg_k$-invariant of any $S$-component tangle $K$ can be written in the form $\red%\displaystyle Z(K)=\bbO\left(\omega\bbe^{L+Q+P}\colon\bigotimes_{i\in S}y_ia_ix_i\right), $ where $\omega$ is a scalar (a rational function in the variables $t_i$ and their exponentials $T_i\coloneqq\bbe^{t_i}$), where $L=\sum l_{ij}t_ia_j$ is a quadratic in $t_i$ and $a_j$ with integer coefficients $l_{ij}$, where $Q=\sum q_{ij}y_ix_j$ is a quadratic in the variables $y_i$ and $x_j$ with scalar coefficients $q_{ij}$, and where $P$ is a polynomial in $\{\epsilon,y_i,a_i,x_i\}$ (with scalar coefficients) whose $\epsilon^d$-term is of degree at most $2d+2$ in $\{y_i,\sqrt{a_i},x_i\}$. Furthermore, after setting $t_i=t$ and $T_i=T$ for all $i$, the invariant $Z(K)$ is poly-time computable. }}}} \pagestyle{empty} \begin{document} \latintext \setlength{\jot}{0ex} \setlength{\abovedisplayskip}{0.5ex} \setlength{\belowdisplayskip}{0.5ex} \setlength{\abovedisplayshortskip}{0ex} \setlength{\belowdisplayshortskip}{0ex} \begin{center} \null\vfill\input{Dogma1.pdftex_t}\vfill\null \end{center} \eject \newgeometry{textwidth=8in,textheight=10.5in} \begin{multicols}{2} \raggedcolumns {\red The PBW Problem.} In $\calU(\frakg^\epsilon)$, bring $Z = y^3a^2x^2\cdot y^2a^2x$ to $yax$-order. In other words, find $g\in\bbZ[\epsilon,t,y,a,x]$ such that $Z = \bbO(f=y_1^3y_2^2a_1^2a_2^2x_1^2x_2\colon y_1a_1x_1y_2a_2x_2) = \bbO(g\colon yax)$. {\red Solution, Part 1.} In $\hat\calU(\frakg^\epsilon)$ we have \begin{multline*} X_{\tau_1,\eta_1,\alpha_1,\xi_1,\tau_2,\eta_2,\alpha_2,\xi_2} \coloneqq \bbe^{\tau_1 t}\bbe^{\eta_1 y}\bbe^{\alpha_1 a}\bbe^{\xi_1 x} \bbe^{\tau_2 t}\bbe^{\eta_2 y}\bbe^{\alpha_2 a}\bbe^{\xi_2 x} \\ = \bbe^{\tau t}\bbe^{\eta y}\bbe^{\alpha a}\bbe^{\xi x} \eqqcolon Y_{\tau,\eta,\alpha,\xi}, \end{multline*} where $\tau,\eta,\alpha,\xi$ are ugly functions of $\tau_1,\eta_i,\alpha_i,\xi_i$: \begin{align*} \tau = & \tau_1+\tau_2-\frac{\log(1-\epsilon\eta_2\xi_1)}{\epsilon} \gray = \tau_1+\tau_2+\eta_2\xi_1 + \frac{\epsilon}{2} \eta_2^2\xi_1^2 + \ldots, \\ \eta = & \eta_1 + \frac{\bbe^{-\alpha_1}\eta_2}{(1-\epsilon\eta_2\xi_1)} \gray = \eta_1+\bbe^{-\alpha_1}\eta_2 + \epsilon\bbe^{-\alpha_1}\eta_2^2\xi_1 +\ldots, \\ \alpha = & \alpha_1+\alpha_2 + 2\log(1-\epsilon\eta_2\xi_1) \gray = \alpha_1+\alpha_2 -2\epsilon\eta_2\xi_1 + \ldots, \\ \xi = & \frac{\bbe^{-\alpha_2}\xi_1}{(1-\epsilon\eta_2\xi_1)} + \xi_2 \gray = \bbe^{-\alpha_2}\xi_1+\xi_2 + \epsilon\bbe^{-\alpha_2}\eta_2\xi_1^2 + \ldots. \end{align*} {\red Note 1.} This defines a mapping $\Phi\colon\bbR^8_{\tau_1,\eta_1,\alpha_1,\xi_1,\tau_2,\eta_2,\alpha_2,\xi_2} \to \bbR^4_{\tau,\eta,\alpha,\xi}$. {\red Proof.} $\frakg^\epsilon$ has a 2D representation $\rho$: \def\cellscale{0.65} \vskip 0pt \includegraphics[scale=\cellscale]{Snips/2DRep.pdf} It is enough to verify the desired identity in $\rho$: \vskip 0pt \includegraphics[scale=\cellscale]{Snips/yaxyax.pdf} {\red Solution, Part 2.} But now, with $D_f= f(z\mapsto\partial_\zeta) = \partial_{\eta_1}^3\partial_{\alpha_1}^2\partial_{\xi_1}^2 \partial_{\eta_2}^2\partial_{\alpha_2}^2\partial_{\xi_2}$, \begin{multline*} Z = \left.D_fX_{\tau_1,\eta_1,\alpha_1,\xi_1,\tau_2,\eta_2,\alpha_2,\xi_2}\right|_{vs=0} = \left.D_fY_{\tau,\eta,\alpha,\xi}\right|_{vs=0} \\ = \bbO\left( \left. D_f\bbe^{\tau t}\bbe^{\eta y}\bbe^{\alpha a}\bbe^{\xi x}\right|_{vs=0}\colon yax \right) = \bbO(g\colon yax): \end{multline*} %But now %\[ % g = \left. % \frac{\partial^{12}} % {\partial_{y_1}^3\partial_{a_1}^2\partial_{x_1}^2\partial_{y^2}^2\partial_{a_2}^2\partial_{x_2}} % \bbe^{\tau t}\bbe^{\eta y}\bbe^{\alpha a}\bbe^{\xi x} % \right|_{\tau_i=\eta_i=\alpha_i=\xi_i=0} : %\] \vskip 0pt \includegraphics[scale=\cellscale]{Snips/322221.pdf} \columnbreak \parpic[r]{ \def\U{$\hat\calU(\frakg^\epsilon)$} \def\V{\parbox{0.5in}{$(\tau_1,\eta_1,\alpha_1,\xi_1,$ $\null\ \tau_2,\eta_2,\alpha_2,\xi_2)$}} \def\W{\parbox{0.5in}{$(\tau,\eta,\alpha,\xi)$}} \input{figs/Pushforward.pdf_t} } {\red Note 2.} Replacing $f\to D_f$ (and likewise $g\to D_g$), we find that $D_g=\Phi_\ast D_f$. {\red Note 3.} The two great evils of mathematics are non-commutativity and non-linearity. We traded one for the other. {\red Note 4.} We could have done similarly with $\bbe^{\tau_1 t}\bbe^{\eta_1 y}\bbe^{\alpha_1 a}\bbe^{\xi_1 x} = \bbe^{\tau t + \eta y + \alpha a + \xi x}$, and with $S(\bbe^{\tau_1 t}\bbe^{\eta_1 y}\bbe^{\alpha_1 a}\bbe^{\xi_1 x})$, $\Delta(\bbe^{\tau_1 t}\bbe^{\eta_1 y}\bbe^{\alpha_1 a}\bbe^{\xi_1 x})$, $\prod_{i=1}^5 \bbe^{\tau_i t}\bbe^{\eta_i y}\bbe^{\alpha_i a}\bbe^{\xi_i x}$. {\red Fact.} $R_{12}\to \exp\left(\partial_{\tau_1}\partial_{\alpha_2} + \partial_{y_1}\partial_{x_2}\right) (1+\sum_{d\geq 1}\epsilon^dp_d)$, where the $p_d$ are computable polynomials of a-priori bounded degrees. {\red Moral.} We need to understand the pushforwards via maps like $\Phi$ of (formally $\infty$-order) ``differential operators at $0$'', that in themselves are perturbed Gaussians. This turns out to be the same problem as ``0-dimensional QFT'' (except no integration is ever needed), and if $\epsilon^{k+1}=0$, it is explicitly soluble. %\end{multicols} \begin{multicols}{2} \vskip 2mm {\red References.}{\footnotesize %\par\vspace{-3mm} \renewcommand{\section}[2]{}% \begin{thebibliography}{} \setlength{\parskip}{0pt} \setlength{\itemsep}{0pt plus 0.3ex} \bibitem[BN]{K17} D.~Bar-Natan, {\em Polynomial Time Knot Polynomial,} research proposal for the 2017 Killam Fellowship, \web{K17}. \bibitem[BNG]{Bar-NatanGaroufalidis:MMR} D.~Bar-Natan and S.~Garoufalidis, {\em On the Melvin-Morton-Rozansky conjecture,} Invent.\ Math.\ {\bf 125} (1996) 103--133. \bibitem[BV1]{PP1} D.~Bar-Natan and R.~van~der~Veen, {\em A Polynomial Time Knot Polynomial,} \arXiv{1708.04853}. \bibitem[BV2]{PPSA} D.~Bar-Natan and R.~van~der~Veen, {\em Poly-Time Knot Polynomials Via Solvable Approximations,} in preparation. \bibitem[GST]{GompfScharlemannThompson:Counterexample} R.~E.~Gompf, M.~Scharlemann, and A.~Thompson, {\em Fibered Knots and Potential Counterexamples to the Property 2R and Slice-Ribbon Conjectures,} Geom.\ and Top.\ {\bf 14} (2010) 2305--2347, \arXiv{1103.1601}. \bibitem[MM]{MM} P.~M.~Melvin and H.~R.~Morton, {\em The coloured Jones function,} Commun.\ Math.\ Phys.\ {\bf 169} (1995) 501--520. \bibitem[Ov]{Overbay:Thesis} A.~Overbay, {\em Perturbative Expansion of the Colored Jones Polynomial,} University of North Carolina PhD thesis, \web{Ov}. \bibitem[Ro1]{Ro} L.~Rozansky, {\em A contribution of the trivial flat connection to the Jones polynomial and Witten's invariant of 3d manifolds, I,} Comm.\ Math.\ Phys.\ {\bf 175-2} (1996) 275--296, \arXiv{hep-th/9401061}. \bibitem[Ro2]{Rozansky:Burau} L.~Rozansky, {\em The Universal $R$-Matrix, Burau Representation and the Melvin-Morton Expansion of the Colored Jones Polynomial,} Adv.\ Math.\ {\bf 134-1} (1998) 1--31, \arXiv{q-alg/9604005}. \bibitem[Ro3]{Rozansky:U1RCC} L.~Rozansky, {\em A Universal $U(1)$-RCC Invariant of Links and Rationality Conjecture,} \arXiv{math/0201139}. \bibitem[Vo]{Vo:Thesis} H.~Vo, University of Toronto Ph.D.\ thesis, in preparation. \end{thebibliography}} %\begin{center}\includegraphics[height=0.5in]{../Indiana-1611/Spring2.png}\end{center} \vskip 3mm \begin{overpic}[width=\linewidth]{../Toulouse-1705/DogmaDef.png} \put(57,28){\footnotesize The Free Dictionary, \web{TFD}} \end{overpic} \end{multicols} %\begin{multicols}{2} \begin{center} % %\includegraphics[height=0.5in]{../Indiana-1611/Spring2.png} % %\includegraphics[height=0.5in]{../Indiana-1611/Spring2.png} % %\end{center} \end{multicols} \def\N{\ding{56}} \def\gY{\textcolor{ForestGreen}{\ding{52}}} \def\oY{\textcolor{Orange}{\ding{52}}} \def\headcell{ diagram & \parbox{3in}{{\blue $n^t_k$}\quad Alexander's $\omega^+$ \hfill genus / \textcolor{ForestGreen}{ribbon} \newline {\red Today's / Rozansky's $\rho_1^+$} \hfill unknotting number / \textcolor{Orange}{amphicheiral}} } \def\rolcell#1#2#3#4#5#6#7#8{ \raisebox{-3pt}{\includegraphics[height=23pt]{../UNC-1610/KnotFigs/#1.pdf}} & \parbox[b]{3.24in}{ {\blue $#2$}\quad $#3$\hfill $#5$ / #7 \\ {\red $#4$} \hfill $#6$ / #8 }} {\footnotesize \begin{longtable}{|cl|cl|cl|} \hline \headcell & \headcell \\ \endhead \hline \input ../GWU-1612/table.tex \end{longtable}} \end{document} \endinput