Free Mutual Information for Two Projections

摘要

The present paper provides a proof of i * (CP+C(I-P); CQ+C(I-Q)) = -chi(orb)(P, Q) for two projections P, Q without any extra assumptions. An analytic approach is adopted to the proof, based on a subordination result for the liberation process of symmetries associated with P, Q.