The quantum homological obstruction conjecture

Let LL be a decision problem in the bounded-error quantum polynomial-time class BQP\mathcal{BQP}, and let h(L)h(L) denote its homological complexity. Quantum homological obstruction conjecture. If LBQPL\in\mathcal{BQP}, then

h(L)2.h(L)\leq 2.

Equivalently, quantum computers cannot efficiently solve problems with homological complexity greater than 22. The source presents this as a proposed boundary for quantum computation and supplies heuristic physical and complexity-theoretic motivation, but no proof or resolution.

Sources & referencesView supporting material

Primary source

Jian-Gang Tang, “A Homological Separation of P from NP via Computational Topology and Category Theory”, arXiv:2510.17829 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.