两个投影的自由互信息

本文在无任何额外假设的情况下，对两个投影 $P,Q$ 证明了 $i^*( \mathbb{C}P+\mathbb{C}(I-P); \mathbb{C}Q+\mathbb{C}(I-Q) )=-\chi_{orb}(P,Q)$。证明采用了基于与 $P,Q$ 相关对称性解放过程的从属性结果的解析方法。