Seminar: Zhengfeng Ji
Constraint Propagation Games
Zhengfeng Ji, University of Technology, Sydney
Constraint propagation games are simple extended nonlocal games that are motivated by the propagation checking of quantum computation and have found powerful applications in the study of quantum proof systems recently. In this talk, we will introduce their definitions and basic properties, demonstrate their uses in larger games as building blocks, and illustrate the method that turns them into nonlocal games.