arXiv++ Combinatorics

Computing the Jones polynomial of general link diagrams is known to be $\#$P-hard, while restricting the computation to braid closures on fixed number of strands allows for a polynomial time algorithm. We investigate polynomial time algorithms for Khovanov homology of braids and show that for $3$-braids there is one. In contrast, we show that Bar-Natan's scanning algorithm runs in exponential time when restricted to simple classes of $3$-braids. For more general braids, we obtain that a variation of the scanning algorithm computes the Khovanov homology for a bounded set of homological degrees in polynomial time. We also prove upper and lower bounds on the ranks of Khovanov homology groups.

Given a link or a tangle diagram, we define algorithmic Morse theoretic simplifications on their Khovanov homology. In contrast to Bar-Natan's scanning algorithm, the cancellations are postponed until the end and performed in one go. Although our novel approach is computationally inferior to Bar-Natan's algorithm, it side-steps the need for a large amount of iterations, making it more fitting for theoretical analysis. Our main application is towards integral Khovanov homology of 4-strand torus links, for which we compute non-trivial Khovanov homology groups in all homological degrees and find an abundance of $4$-torsion. At the limit $T(4,\infty)$, our computations agree with a conjecture of Gorsky, Oblomkov and Rasmussen. For finite $n$, we use the $λ$-invariant of Lewark, Marino and Zibrowius to derive lower bounds on proper rational Gordian distances from $T(4,n)$.