https://mipstar.henryyuen.net/ 2026-04-10T20:12:52+00:00 https://mipstar.henryyuen.net/ https://mipstar.henryyuen.net/lib/tpl/dokuwiki/images/favicon.ico text/html 2020-08-28T17:41:35+00:00 admin (admin@undisclosed.example.com) https://mipstar.henryyuen.net/doku.php?id=start&rev=1598636495&do=diff Welcome Welcome to the MIP* Resource page. Here is a collection of resources that may be helpful for those interested in understanding the MIP* = RE result. * A high level blog post that introduces the connection between MIP* = RE, Tsirelson's problem, and Connes' Embedding Conjecture. text/html 2020-08-28T15:54:13+00:00 admin (admin@undisclosed.example.com) https://mipstar.henryyuen.net/doku.php?id=hyperlinear&rev=1598630053&do=diff Open problem: Construct a non-hyperlinear group A positive resolution to Connes' embedding problem would've implied that all countable discrete groups are hyperlinear. Since MIP*=RE gives a negative answer to CEP, this leaves open the possibility that there are non-hyperlinear groups. $G$$\omega^{co}(G)$$\omega^*(G)$