The separable case of Kadison's problem on orthonormal bases of unitaries for type $\mathrm{II}_1$ factors

Quanyu Tang; Teng Zhang; Yixin He

arxiv: 2605.15006 · v2 · pith:GVU42RRCnew · submitted 2026-05-14 · 🧮 math.OA

The separable case of Kadison's problem on orthonormal bases of unitaries for type II₁ factors

Yixin He , Quanyu Tang , Teng Zhang This is my paper

Pith reviewed 2026-05-20 20:12 UTC · model grok-4.3

classification 🧮 math.OA

keywords Kadison problemtype II1 factorsorthonormal basisself-adjoint unitariesvon Neumann algebrasLyapunov theoremseparable case

0 comments

The pith

Separable diffuse finite von Neumann algebras admit orthonormal bases of self-adjoint unitaries in L2.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

Kadison asked in 1967 whether every type II1 factor has an orthonormal basis of unitaries with respect to the trace. The paper proves that the answer is yes whenever the algebra is separable and diffuse. The argument applies the noncommutative Lyapunov theorem to produce a basis consisting specifically of self-adjoint unitaries inside the algebra. This supplies a concrete orthonormal spanning set for the associated L2 space and settles the separable case of the original question.

Core claim

If M is a separable diffuse finite von Neumann algebra with a normal faithful trace τ, then L²(M,τ) admits an orthonormal basis consisting of self-adjoint unitaries in M. This directly affirms the separable case of Kadison's problem.

What carries the argument

The noncommutative Lyapunov theorem applied to construct an orthonormal basis of self-adjoint unitaries for L2(M,τ).

Load-bearing premise

The noncommutative Lyapunov theorem applies directly to separable diffuse finite von Neumann algebras to guarantee the required orthonormal basis of self-adjoint unitaries.

What would settle it

A concrete example of a separable diffuse finite von Neumann algebra in which no orthonormal basis of self-adjoint unitaries exists for its L2 space.

read the original abstract

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 $\tau$, then $L^2(M,\tau)$ admits an orthonormal basis consisting of self-adjoint unitaries in $M$. Consequently, we affirm the separable case of the Kadison problem.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper settles the separable Kadison problem for II1 factors by applying Akemann-Weaver to separable diffuse finite von Neumann algebras, but the iterative basis construction needs checking against center issues.

read the letter

The core result is that any separable diffuse finite von Neumann algebra M with faithful normal trace τ has an orthonormal basis of self-adjoint unitaries in L²(M,τ). This directly gives the separable case of Kadison's 1967 question for type II1 factors, since factors are included in the diffuse finite setting. The proof strategy is to invoke the Akemann-Weaver noncommutative Lyapunov theorem to produce the required unitaries one by one while maintaining the trace orthogonality conditions. That is the new piece: a targeted reduction of the open separable case to an existing convexity result rather than a new general theorem. The write-up is straightforward on the high level and gives credit to the prior work without overclaiming. The main soft spot is the inductive step. Once you have the first k basis elements, you need the Lyapunov theorem to apply again on the orthogonal complement. In the presence of a non-trivial center, the relevant conditional expectations may not keep the diffuseness or the exact hypotheses intact, so the range convexity could fail to guarantee the next self-adjoint unitary with the right inner products. The abstract states the claim for general diffuse algebras, so the paper must either reduce to the factor case or show the iteration works anyway. If the details handle this cleanly, the argument holds; otherwise the scope narrows. This is aimed at people working on structural questions in von Neumann algebras, especially those interested in bases, approximations, or Lyapunov-type results. A reader who already knows Akemann-Weaver will get the most out of it. The paper is coherent and engages the literature honestly, so it deserves a serious referee even if revisions are needed on the iteration details. I would send it to review.

Referee Report

1 major / 2 minor

Summary. The manuscript proves that if M is a separable diffuse finite von Neumann algebra with faithful normal trace τ, then L²(M, τ) admits an orthonormal basis consisting of self-adjoint unitaries from M. The proof applies the noncommutative Lyapunov theorem of Akemann and Weaver to construct such a basis inductively, thereby affirming the separable case of Kadison's 1967 question for type II₁ factors.

Significance. If the central application holds, the result resolves a long-standing open problem in the separable setting and extends the statement from factors to general finite von Neumann algebras. The reliance on an established external theorem keeps the argument concise while delivering a concrete orthonormal basis with the required algebraic and trace properties.

major comments (1)

[§3] §3 (inductive construction, around the application of Akemann-Weaver): The manuscript must verify that at each inductive step, after removing the span of the first k self-adjoint unitaries, the orthogonal complement in L²(M, τ) still satisfies the hypotheses of the Lyapunov theorem. In particular, when Z(M) is nontrivial, the relevant conditional expectation onto the reduced algebra or commutant must preserve diffuseness and the exact convexity conditions needed for the theorem; the current sketch does not explicitly confirm this reduction.

minor comments (2)

[Introduction] The abstract states the result for general finite von Neumann algebras while the title refers only to type II₁ factors; a brief clarifying sentence in the introduction would align the two.
[§2] Notation for the conditional expectation E used in the Lyapunov application should be introduced once and used consistently; currently it appears without prior definition in the proof sketch.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and the constructive comment on the inductive construction. We address the point below and will revise the manuscript accordingly to make the verification explicit.

read point-by-point responses

Referee: [§3] §3 (inductive construction, around the application of Akemann-Weaver): The manuscript must verify that at each inductive step, after removing the span of the first k self-adjoint unitaries, the orthogonal complement in L²(M, τ) still satisfies the hypotheses of the Lyapunov theorem. In particular, when Z(M) is nontrivial, the relevant conditional expectation onto the reduced algebra or commutant must preserve diffuseness and the exact convexity conditions needed for the theorem; the current sketch does not explicitly confirm this reduction.

Authors: We agree that an explicit verification is needed. In the revised manuscript we will insert a short paragraph immediately after the inductive step in §3. We note that the orthogonal complement to the finite-dimensional span of the first k self-adjoint unitaries is again a separable Hilbert space that can be realized as L²(N, τ|N) where N is a diffuse von Neumann subalgebra of M (obtained by cutting down by the spectral projections of the finite sum). Diffuseness is preserved because M is diffuse and removing a finite-dimensional subspace cannot introduce atoms. When Z(M) is nontrivial, the conditional expectation onto the reduced algebra (or the commutant in the direct-integral decomposition) is trace-preserving and faithful; it therefore maps the convex set of self-adjoint unitaries with prescribed trace values onto a set that still satisfies the exact convexity hypotheses of the Akemann–Weaver theorem. The separability of M guarantees that the reduced algebra remains separable at each finite step. These facts will be stated with the appropriate references to the Lyapunov theorem’s hypotheses. revision: yes

Circularity Check

0 steps flagged

No circularity: result applies external Akemann-Weaver theorem to separable case

full rationale

The paper's derivation chain consists of invoking the noncommutative Lyapunov theorem of Akemann and Weaver (an external, independently published result) to construct the orthonormal basis of self-adjoint unitaries in separable diffuse finite von Neumann algebras. No self-definitional steps, fitted inputs renamed as predictions, or load-bearing self-citations appear in the abstract or described argument. The cited theorem supplies the convexity and range properties needed for the inductive construction of the basis; the present work merely specializes it to the separable diffuse setting and notes the consequence for Kadison's problem. This is a standard, non-circular application of an external benchmark.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the applicability of the Akemann-Weaver noncommutative Lyapunov theorem to the separable diffuse setting, along with the assumptions of separability and diffuseness.

axioms (1)

domain assumption Noncommutative Lyapunov theorem of Akemann and Weaver applies to separable diffuse finite von Neumann algebras with faithful trace.
Invoked to establish the existence of the orthonormal basis of self-adjoint unitaries.

pith-pipeline@v0.9.0 · 5622 in / 1332 out tokens · 139046 ms · 2026-05-20T20:12:29.809775+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean absolute_floor_iff_bare_distinguishability unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

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²(M,τ) admits an orthonormal basis consisting of self-adjoint unitaries in M.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Lemma 2 ... Claim 3 ... diagonalization argument gives Theorem 1.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

7 extracted references · 7 canonical work pages

[1]

C. A. Akemann and N. Weaver, Automatic convexity, J. Convex Anal. 10 (2003), no. 1, 275--284. https://www.heldermann-verlag.de/jca/jca10/jca0339.pdf

work page 2003
[2]

Ching, Free products of von Neumann algebras, Trans

W.-M. Ching, Free products of von Neumann algebras, Trans. Amer. Math. Soc. 178 (1973), 147--163. doi:10.1090/S0002-9947-1973-0326405-3

work page doi:10.1090/s0002-9947-1973-0326405-3 1973
[3]

Choda, Shifts on the hyperfinite II_1 -factor , J

M. Choda, Shifts on the hyperfinite II_1 -factor , J. Operator Theory 17 (1987), no. 2, 223--235. https://www.jstor.org/stable/24714840

work page arXiv 1987
[4]

De and K

D. De and K. Mukherjee, On the existence of uniformly bounded self-adjoint bases in GNS spaces, Doc. Math. 28 (2023), 1381--1392. doi:10.4171/DM/941

work page doi:10.4171/dm/941 2023
[5]

L. M. Ge, On ``Problems on von Neumann Algebras by R. Kadison, 1967'', Acta Math. Sin. (Engl. Ser.) 19 (2003), no. 3, 619--624. doi:10.1007/s10114-003-0279-x

work page doi:10.1007/s10114-003-0279-x 1967
[6]

R. V. Kadison, Problems on von Neumann algebras, The Baton Rouge Conference on Operator Algebras, Baton Rouge, LA, 1967, unpublished

work page 1967
[7]

Peterson, Open problems in operator algebras, webpage, created October 9, 2020; last updated May 13, 2026

J. Peterson, Open problems in operator algebras, webpage, created October 9, 2020; last updated May 13, 2026. Available at https://www.math.uwaterloo.ca/ j37peter/problems.html

work page 2020

[1] [1]

C. A. Akemann and N. Weaver, Automatic convexity, J. Convex Anal. 10 (2003), no. 1, 275--284. https://www.heldermann-verlag.de/jca/jca10/jca0339.pdf

work page 2003

[2] [2]

Ching, Free products of von Neumann algebras, Trans

W.-M. Ching, Free products of von Neumann algebras, Trans. Amer. Math. Soc. 178 (1973), 147--163. doi:10.1090/S0002-9947-1973-0326405-3

work page doi:10.1090/s0002-9947-1973-0326405-3 1973

[3] [3]

Choda, Shifts on the hyperfinite II_1 -factor , J

M. Choda, Shifts on the hyperfinite II_1 -factor , J. Operator Theory 17 (1987), no. 2, 223--235. https://www.jstor.org/stable/24714840

work page arXiv 1987

[4] [4]

De and K

D. De and K. Mukherjee, On the existence of uniformly bounded self-adjoint bases in GNS spaces, Doc. Math. 28 (2023), 1381--1392. doi:10.4171/DM/941

work page doi:10.4171/dm/941 2023

[5] [5]

L. M. Ge, On ``Problems on von Neumann Algebras by R. Kadison, 1967'', Acta Math. Sin. (Engl. Ser.) 19 (2003), no. 3, 619--624. doi:10.1007/s10114-003-0279-x

work page doi:10.1007/s10114-003-0279-x 1967

[6] [6]

R. V. Kadison, Problems on von Neumann algebras, The Baton Rouge Conference on Operator Algebras, Baton Rouge, LA, 1967, unpublished

work page 1967

[7] [7]

Peterson, Open problems in operator algebras, webpage, created October 9, 2020; last updated May 13, 2026

J. Peterson, Open problems in operator algebras, webpage, created October 9, 2020; last updated May 13, 2026. Available at https://www.math.uwaterloo.ca/ j37peter/problems.html

work page 2020