Record: PROP-RENORM-CONDITIONAL-EXPECTATION
Source result: Proposition VI.1.
Status: Proved finite model.
Catalog summary
Nested finite von Neumann algebras with trace-preserving conditional expectations and compatible depolarizing Dirichlet semigroups satisfy GLC, Dirichlet covariance, raw composition, and common-refinement invariance simultaneously.
Why it matters
The theorem is not merely a list of mutually incompatible desired properties. A standard noncommutative coarse-graining model realizes all of them at once.
Read source manuscript. Research manuscript — not peer reviewed.