8 citations · 14 across the 3 of their papers we have counts for
Showing quant-phShow all
2 papers · 1 filter
quant-ph2022★ 6 cited
Many bounded versions of undecidable problems are NP-hard
Andreas Klingler, Mirte van der Eyden, Sebastian Stengele +2
Several physically inspired problems have been proven undecidable; examples are the spectral gap problem and the membership problem for quantum correlations. Most of these results…
quant-ph2021★ 8 cited
Halos and undecidability of tensor stable positive maps
Mirte van der Eyden, Tim Netzer, Gemma De las Cuevas
A map is tensor stable positive (tsp) if is positive for all , and essential tsp if it is not completely positive or completely co-positi…