FAST KHOVANOV HOMOLOGY COMPUTATIONS
Abstract
We introduce a local algorithm for Khovanov homology computations — that is, we explain how it is possible to "cancel" terms in the Khovanov complex associated with a ("local") tangle, hence canceling the many associated "global" terms in one swoosh early on. This leads to a dramatic improvement in computational efficiency. Thus our program can rapidly compute certain Khovanov homology groups that otherwise would have taken centuries to evaluate.
To Lou Kauffman, who gave us
References
- Algebraic Geom. Topol. 2(16), 337 (2002), DOI: 10.2140/agt.2002.2.337. Crossref, Google Scholar
- Geom. Topol. 9(33), 1443 (2005), DOI: 10.2140/gt.2005.9.1443. Crossref, Web of Science, Google Scholar
- D. Bar-Natan, picture of Susan Williams' shirt pin, preprint, http://www.math.toronto.edu/~drorbn/Gallery/KnottedObjects/SusanWilliamsShirtPin.html . Google Scholar
- Duke Math. J. 101(3), 359 (2000), DOI: 10.1215/S0012-7094-00-10131-7. Crossref, Web of Science, Google Scholar
- KnotThery, a knot theory mathematica package, http://katlas.math.toronto.edu/wiki/KnotTheory . Google Scholar
- Adv. Math. 197, 554 (2005), DOI: 10.1016/j.aim.2004.10.015. Crossref, Web of Science, Google Scholar
- M. Mackaay, P. Turner and P. Vaz, A remark on Rasmussen's invariant of knots, preprint , math.GT/0509692 . Google Scholar
- G. Naot, On the algebraic structure of Bar-Natan's universal geometric complex and the geometric structure of Khovanov link homology theories, preprint , math.GT/0603347 . Google Scholar
- J. A. Rasmussen, Khovanov homology and the slice genus, preprint , math.GT/0402131 . Google Scholar
-
S. Wolfram , The Mathematica Book ( Cambridge University Press , 1999 ) . Google Scholar