{"id":"arxiv/2605.15006","url":"https://arxiv.org/abs/2605.15006","tags":["math.OA"],"score":0,"title":"The separable case of Kadison's problem on orthonormal bases of unitaries for type $\\mathrm{II}_1$ factors","domain":"math.OA","source":"arxiv","authors":["Yixin He","Quanyu Tang","Teng Zhang"],"reviews":0,"subject":"math.OA","summary":"In 1967, Kadison asked ``does every type $\\mathrm{II}_1$ factor have an orthonormal (with respect to the trace) basis consisting of unitaries?'' Using a noncommutative Lyapunov theorem of Akemann and Weaver, we prove that if $M$ is a separable diffuse finite von Neumann algebra with a normal faithful trace $τ$, then $L^2(M,τ)$ admits an orthonormal basis consisting of self-adjoint unitaries in $M$. Consequently, we affirm the separable case of the Kadison problem.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-14","reactions":{}}