Several physically inspired problems have been proven undecidable; examples are the spectral gap problem and membership for quantum correlations. Most of these results rely on reductions from a handful undecidable problems, such as halting problem, tiling Post correspondence or matrix mortality problem. All common property: they an NP-hard bounded version. This work establishes relation between...