Special Operator Algebras Seminar (Sofic Day): A non co-sofic IRS

Event details Date: Tuesday, September 1, 2026 Time: 10:00 AM to 11:00 AM Location: 732 Evans Hall Type: Sports About this event Speaker: Aareyan Manzoor, University of Waterloo The landmark quantum complexity result MIP$^*$=RE was used to prove the existence of a non Connes embeddable tracial von Neumann algebra. Recently, similar ideas were used to give a negative solution to the Aldous-Lyons conjecture: there is a non co-sofic IRS on any non-abelian free group. We define a notion of hyperlinearity for an IRS and show that there is a non co-hyperlinear IRS on any non-abelian free group. As a corollary, we prove that there is a relation whose von Neumann algebra is not Connes embeddable. We do this by significantly simplifying the reduction of Aldous-Lyons to non-local games, removing the need for subgroup tests entirely. Official event details: https://events.berkeley.edu/math/event/326939-special-operator-algebras-seminar-sofic-day-a-non