QLunch: Yuming Zhao

Speaker: Yuming Zhao

Title: Arithmetical hierarchy in operator algebras and quantum information

Abstract: In this talk, I will give a brief introduction to the arithmetical hierarchy and show how many decision problems in operator algebras (e.g., determining positivity) and quantum information (e.g., determining the value of nonlocal games) fit naturally into this framework. This talk is intended to be introductory. Some of the results are based on arXiv:2312.05617 (with Arthur Mehta and William Slofstra).