The Homological Time Complexity Relation

Let LL be a computational problem, let TL(n)T_L(n) denote its time complexity, and let h(L)h(L) denote its homological complexity. Homological Time Complexity Relation. There exists a polynomial pp such that, for every computational problem LL,

TL(n)=Ω(2h(L)logn).T_L(n)=\Omega\left(2^{h(L)\cdot\log n}\right).

Thus homological complexity is conjectured to provide an exponential lower bound on time complexity. The source gives no resolution or supporting result sufficient to establish this relation, so its status remains open.

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.