压缩作为不可约资源

我们证明压缩是一种在线性光学元件变换下保持不变的不可约资源。特别地，我们将任意具有线性输入输出关系的光学线路分解为一个线性多端口干涉仪，后接一组唯一的单模压缩器，再接另一个多端口干涉仪。利用此分解，我们推导出一个关于由单光子探测产生宏观可区分态叠加的不可行定理。进一步地，我们证明了几种随机产生偏振纠缠态方案之间的等价性。最后，我们推导了用于正交相位振幅理想量子非破坏耦合的最小量子光学线路。