Non-Subhomogeneity of Minimal Operator Systems over Positive Semidefinite and Lorentz Cones

技术摘要：正定矩阵锥与洛伦兹锥上极小算子系统的非亚同质性

问题陈述
本文研究了与特定凸锥（特别是对于 $k \geq 2$ 的正定矩阵锥 $\text{Mat}_k(\mathbb{C})_+$ 和对于 $m \geq 4$ 的洛伦兹锥 $L_m$）相关的极小算子系统的结构性质。核心问题在于这些极小算子系统是否是亚同质的（subhomogeneous）。

一个算子系统若能通过单位化完全序嵌入到 $\text{Mat}_d(A)$ 中（其中 $A$ 为交换 $C^*$-代数），则被称为 $d$-亚同质的。从几何角度看，这对应于存在一个有限维实现，其中矩阵大小 $d$ 无论在系统的哪一层级都保持固定。本文旨在确定对于上述指定的锥，是否存在这样一个固定的 $d$。

方法论
证明策略依赖于对偶性和特定正映射的构造。作者利用以下逻辑归约和构造：

1. 通过收缩（Retracts）进行归约： 利用引理 2.1，作者建立：若锥 $P$ 是锥 $Q$ 的单位化正收缩，则 $P$ 上的极小系统是非亚同质的，从而推导出 $Q$ 上的极小系统也是非亚同质的。

   • 引理 2.2 表明，对于所有 $k \geq 2$，$\text{Mat}_2(\mathbb{C})_+$ 是 $\text{Mat}_k(\mathbb{C})_+$ 的一个收缩；且对于所有 $m \geq 4$，$L_4$ 是 $L_m$ 的一个收缩。
   • 因此，问题归约为证明 $\text{Mat}_2(\mathbb{C})_+$（与 $L_4$ 序同构）上的极小系统对于任何 $d$ 都不满足 $d$-亚同质性。

2. 对偶性与极射线： 作者利用 Jamiołkowski–Choi 对应关系，该关系将正映射 $\Phi: \text{Mat}_2(\mathbb{C}) \to \text{Mat}_s(\mathbb{C})$ 与块正矩阵联系起来。

   • 引理 3.1 建立：若存在一个极正映射 $\Phi: \text{Mat}_2(\mathbb{C}) \to \text{Mat}_s(\mathbb{C})$（其中 $s > d$）使得 $\Phi(I_2)$ 是可逆的，则该极小系统不是 $d$-亚同质的。这是因为由于秩的限制，此类映射无法分解为向 $\text{Mat}_d(\mathbb{C})$ 的映射的压缩之和。

3. 显式构造： 为了满足引理 3.1 的条件，作者利用 Woronowicz 的对称幂构造（第 4 节）构造了一个特定的映射族。

   • 他们在对称张量幂 $H = \text{Sym}_n(E)$ 上定义了一个映射，其中 $E = \mathbb{C}^2$ 且 $n = 2r+1$。
   • 一个关键组成部分是在维度为 $n-1$ 的对称幂上作用的交替对角算子 $\sigma$。
   • 该映射是通过由 $\sigma$ 和对称幂嵌入构成的特定埃尔米特算子 $\rho$ 的逆来定义的。
   • 作者证明，对于每个 $r \geq 1$，该构造产生了一个单位化、不可约的极正映射 $\Phi_r: \text{Mat}_2(\mathbb{C}) \to \text{Mat}_{2r+2}(\mathbb{C})$，其输出维度 $s = 2r+2$ 可以任意大。

主要贡献与结果

• 主定理（定理 2.3）： 对于每个 $k \geq 2$ 和 $m \geq 4$，$\text{Mat}_k(\mathbb{C})_+$ 和 $L_m$ 上的极小算子系统对于任何 $d \in \mathbb{N}$ 都不是 $d$-亚同质的。
• 极映射的构造： 本文显式构造了从 $\text{Mat}_2(\mathbb{C})$ 到 $\text{Mat}_s(\mathbb{C})$ 且具有任意大输出维度 $s$ 的极正映射，其中在单位元处是可逆的。该构造利用了对称幂框架内的交替对角算子。
• 纠缠解释： 该结果可以等价地表述为量子信息论中的语言：对于固定的 $k \geq 2$ 和 $d$，存在 $s > d$ 以及一个位于 $\mathbb{C}^k \otimes \mathbb{C}^s$ 上的纠缠正算子 $X \geq 0$，使得对第二个因子的所有压缩到 $\mathbb{C}^d$ 的结果都是可分算子。
• 阈值的锐度： 注记 5.1 指出，洛伦兹锥的阈值是锐利的。$L_2$ 是单纯的（1-亚同质），而 $L_3$ 拥有 $2 \times 2$ 的实现（2-亚同质）。非亚同质性质严格始于 $L_4$。

意义与范围
本文解决了先前文献 [4] 中提出的关于 PSD 锥上极小算子系统亚同质性的特定问题。通过证明这些系统缺乏固定的有限维实现，这项工作阐明了这些特定锥的矩阵凸描述的局限性。

作者在 AI 声明中明确指出，结果几乎完全由人工智能系统（ChatGPT 5.6 Sol）生成，人类作者仅作为提出问题、建议方法、评估输出及编辑文本的促进者。因此，作者不主张所有权，也不会将论文提交至数学期刊，而是邀请评论与纠正。这项工作作为对 AI 生成的复杂数学证明（涉及算子理论、张量积和凸几何）进行严谨验证的实例，展示了此类系统在受到人类验证和完善的情况下构建复杂证明的能力。