无挠非 sofic 群的新例子

本文构造了一个无挠的非 sofic 群，来源与二元 Leavitt 代数单位群不同。该例子依赖与 OpenAI 所宣布结果相同的技术判据。此前已知的非 sofic 群例子往往带有挠，新结果填补了无挠情形。论文给出了更广泛的构造框架。