TailoredMIP* = RE: every Turing machine is reduced to a tailored non-local game whose perfect strategy exists iff the machine halts, yielding the falsity of the Aldous-Lyons conjecture.
Combinatorial nullstellensatz
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
quant-ph 1years
2024 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
The Aldous--Lyons Conjecture II: Undecidability
TailoredMIP* = RE: every Turing machine is reduced to a tailored non-local game whose perfect strategy exists iff the machine halts, yielding the falsity of the Aldous-Lyons conjecture.