Showing 1–1 of 1 results for author: Perales-Eceiza, Á

Undecidability in Physics: a Review

Authors: Álvaro Perales-Eceiza, Toby Cubitt, Mile Gu, David Pérez-García, Michael M. Wolf

Abstract: The study of undecidability in problems arising from physics has experienced a renewed interest, mainly in connection with quantum information problems. The goal of this review is to survey this recent development. After a historical introduction, we first explain the necessary results about undecidability in mathematics and computer science. Then we briefly review the first results about undecida… ▽ More The study of undecidability in problems arising from physics has experienced a renewed interest, mainly in connection with quantum information problems. The goal of this review is to survey this recent development. After a historical introduction, we first explain the necessary results about undecidability in mathematics and computer science. Then we briefly review the first results about undecidability in physics which emerged mostly in the 80s and early 90s. Finally we focus on the most recent contributions, which we divide in two main categories: many body systems and quantum information problems. △ Less

Submitted 21 October, 2024; originally announced October 2024.

Comments: 77 pages, v1