Quantum Michelson Contrast: Logarithmic Parametrisation, Subadditivity, and Geometric Interpretation

技术摘要：量子米切尔森对比度：对数参数化、次可加性与几何解释

问题陈述
本文研究了经典米切尔森对比度（Michelson contrast）在非交换设置下的扩展。经典对比度是针对标量水平 $0 < m \le M$ 定义的有界度量，定义为 $C_M = (M-m)/(M+m)$。作者此前基于条件数 $\kappa(A) = \|A\|\|A^{-1}\|$ 引入了正可逆算子的算子模拟量 $\Delta(A)$，而本研究则探讨了该量的自然对数参数化。核心问题在于定义一种“量子对数对比度”（Quantum Logarithmic Contrast, QLC），建立其代数性质（特别是乘法下的次可加性），并为该量在算子理论中提供严谨的几何解释。一个关键挑战在于表征在何种条件下次可加性不等式取等号，特别是关于交换性（commutativity）和算子维数（operator dimension）的作用。

研究方法
作者结合了算子理论、谱分析以及正算子锥上的度量几何学。

1. 泛函定义： QLC 被定义为算子米切尔森对比度的对数提升：$QLC(A) = \text{arctanh}(\Delta(A)) = \frac{1}{2} \ln \kappa(A)$。通过极分解 $A = U|A|$，该定义从正可逆算子扩展到所有可逆算子，利用了 $\kappa(A) = \kappa(|A|)$ 这一性质。
2. 度量几何： 本文利用了正可逆算子锥上的汤普森度量（Thompson metric）$d_T$ 及其投影版本 $\delta_T$。作者建立了一个精确恒等式，将 QLC 与单位射线（identity ray）到算子 $A$ 生成射线的投影汤普森距离联系起来。
3. 谱分析： 为了分析次可加性不等式的等号情况，作者研究了相关算子极端特征空间（对应最大和最小特征值的特征向量）的对齐情况。
4. 维数阈值化： 文中采用了显式的矩阵构造，并针对维度 $n=2, 3, 4$ 进行案例分析，以确定非交换算子满足次可加性定律中等号条件的最小维度。

主要贡献与结果

• 定义与扩展： 本文定义了量子对数对比度（QLC）为 $QLC(A) = \frac{1}{2} \ln \kappa(A)$。它通过映射 $A \to |A|$（极分解中的绝对值）将该泛函扩展到所有可逆算子，从而拉回了正锥上的投影汤普森距离。
• 几何识别： 一个主要结果是定理 2.1，它证明了对于任何正可逆算子 $A$，$QLC(A)$ 正好等于单位射线 $[I]$ 到由 $A$ 生成的射线 $[A]$ 的投影汤普森距离 $\delta_T([I], [A])$。这为对比度度量提供了一个不变的几何解释。
• 次可加性： 定理 3.2 确立了 QLC 在算子乘法下的次可加性：$QLC(AB) \le QLC(A) + QLC(B)$。这直接源于条件数的次乘性（$\kappa(AB) \le \kappa(A)\kappa(B)$）。文中指出，即使对于交换算子，如果它们的极端谱方向不一致，也可能出现严格不等式。
• 等号成立的维数阈值： 定理 4.2 提供了关于等号情况 $QLC(AB) = QLC(A) + QLC(B)$ 的尖锐维数阈值：
  • 对于维度 $n \le 3$，等号强制要求算子 $A$ 和 $B$ 必须交换。
  • 对于 $n = 4$，作者构造了显式的非交换正矩阵示例，其中等号成立。因此，$n=4$ 是允许非交换等号情况存在的最小维度。
• 其他性质： 文中推导了若干附加性质：
  • 幂律： $QLC(A^\alpha) = |\alpha| QLC(A)$。
  • 收缩性： QLC 在关于投影汤普森度量是非扩张且保持单位射线的映射下具有收缩性。它在谱范围压缩（即最大与最小谱值的比值减小）下也具有收缩性。
  • 和不等式： 对于正算子，$QLC(A+B) \le \max(QLC(A), QLC(B))$。
  • 迹估计： 对于密度算子（迹为 1），$QLC(A) \le -\frac{1}{2} \ln \lambda_{\min}(A)$。
  • 极限行为： 文中分析了 Cesàro 平均和无穷乘积的行为，表明极限的对比度受限于序列对比度的上确界。

意义与范畴
本文将 QLC 定位为图像处理中经典对数加性对比度（Logarithmic Additive Contrast）概念在算子层面的自然扩展，而非一种新的物理观测量。其意义在于通过汤普森度量将算子米切尔森对比度与正锥的几何结构统一起来。

作者在结构上类比了 QLC 与狭义相对论中的快速度（rapidity）概念：有界的对比度对应速度（$\tanh \eta$），而 QLC 对应无界的快速度（$\eta$）。然而，本文明确区分了这种类比与实际几何结构的不同：虽然快速度对于共线增益（collinear boosts）是可加的，但由于算子的非交换性质以及谱方向可能存在的错位，QLC 仅具有次可加性。

这项工作始终处于算子理论和矩阵不等式的范畴内。虽然第 7 节提到了使用 torch_vn_algebra 库进行 GPU 加速数值实验的可能性，并推测了“算子值机器学习模型”作为一个未来的研究方向，但本文并未提出或实现这些模型。其贡献是纯理论性的，侧重于条件数及其对数变换的代数与几何性质。