Tobias Fritz, Max Planck Institute for Mathematics in the Sciences and the Perimeter Institute
"Hypergraph C*-algebras"
I will introduce hypergraph C*-algebras and explain how they unify various classes of C*- algebras that have been considered in the literature, including quantum permutation groups and C*-algebras of quantum graph homomorphisms. I will sketch proofs showing that they also coincide with the class of C*-algebras associated to synchronous nonlocal games, and with the finite colimits of finite-dimensional commutative C*-algebras. Based on the recent Waterluvian results on quantum correlations, I will present four properties of C*-algebras that are undecidable, and explain how this leads to independence results from ZFC.
MC 5417