Hardness of estimating normalized Betti numbers for Khovanov homology
Derive direct computational hardness results (e.g., DQC1-hardness or stronger) for approximating normalized Betti numbers β_{i,j}(K)/dim C_{i,j} of Khovanov homology, where the normalization factor is the chain space dimension dim C_{i,j} = \sum_{r : |r|=i} {\ell(r) \choose \frac{j-i+\ell(r)}{2}}.
References
It is an interesting open question to directly derive hardness results for the estimation of normalized Betti numbers of Khovanov homology, with normalization factor \begin{equation} \dim C_{ij} = \sum_{r : |r|=i} {\ell(r) \choose \frac{j-i+\ell(r)}{2}}, \end{equation} which is also exponential in $m$ in general.
— A quantum algorithm for Khovanov homology
(2501.12378 - Schmidhuber et al., 21 Jan 2025) in Section 6 (The computational complexity of Khovanov homology), Open questions – The complexity of normalized Betti numbers