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).