$2$-strong uniqueness of a best approximation and of minimal projections in complex polytope norms and their duals

技术摘要：复多胞形范数中最佳逼近与最小投影的 2-强唯一性

问题陈述
本文研究了有限维复范化空间中最佳逼近与最小投影的 $\alpha$-强唯一性（$\alpha$-strong uniqueness）性质。具体而言，研究对象是一类单位球为有限个点之绝对凸包的空间，称为复多胞形空间（complex polytope spaces），以及它们的对偶空间，称为伴随复多胞形空间（adjoint complex polytope spaces）。

在逼近理论中，若 $Y$ 是向量 $x$ 的一个子空间，则称 $y_0$ 为 $x$ 的最佳逼近，如果对于所有 $y \in Y$，存在常数 $r > 0$，使得 $\|x - y\|^\alpha \ge \|x - y_0\|^\alpha + r\|y - y_0\|^\alpha$，则称该最佳逼近是 $\alpha$-强唯一的。虽然在实多胞形空间（其单位球为多胞形）中，已知最佳逼近的唯一性自动蕴含 1-强唯一性（定理 1.1），但作者指出，这一性质无法直接转移到复数情形。由于复模长的欧几里得特性，1-强唯一性在复空间中较为罕见，而 2-强唯一性 通常扮演着类似的角色的。核心问题在于确定在何种条件下，复多胞形空间及其对偶空间中的唯一性可以蕴含 2-强唯一性，并将这些发现应用于最小投影的唯一性研究。

研究方法
作者结合了凸几何、泛函分析和逼近理论：

1. 几何特征化： 本文区分了复多胞形范数（由本质顶点系统定义）和伴随复多胞形范数（由本质面系统定义）。一个关键的教学步骤是证明对于维度 $n \ge 2$，这两类空间是不相交的，即一个范数不能既是复多胞形范数又是伴随复多胞形范数（定理 2.3）。这是通过分析平衡复多胞形的面，并证明复多胞形范数的对偶单位球不能由有限个泛函生成来建立的。
2. 最佳逼近的特征化： 作者推导了复多胞形空间（引理 3.6）和伴随复多胞形空间（引向 3.2）中最佳逼近存在性与唯一性的充要条件。这些特征化依赖于范数的特定结构（多胞形范数涉及系数最小化，而伴随范数涉及泛函最大化）。
3. 实子空间简化： 本研究方法的重要部分涉及将注意力限制在复空间中的实子空间（具有实基向量的子空间）内，其中定义的向量或泛函也是实数的。作者利用了在这些“中间”设置中，复范数在实向量上的行为模仿了实多胞形情形的特性，从而允许转移某些唯一性性质。
4. 算子理论与最小投影： 为了解决最小投影问题，作者利用了 Chalmers-Metcalf 泛函/算子框架。他们将最小投影唯一性的问题重新表述为算子空间中的最佳逼近问题。通过将所得的最佳逼近唯一性结果应用于该算子空间，他们确立了投影强唯一性的条件。

主要贡献与结果

• 类别的互斥性： 本文提供了形式化证明，证明对于 $n \ge 2$，复多胞形空间类与伴随复多胞形空间类是不相交的（定理 2.3），填补了此前文献中仅作陈述而未证明的空白。
• 一般转移性的失效： 作者证明了“唯一性蕴含强唯一性”这一性质在复伴随多胞形空间中并不普遍成立。具体而言，他们在 $\ell_\infty^4$ 空间中提供了一个反例（例 3.4），表明 2 维子空间中的唯一最佳逼近不一定是 2-强唯一的。
• 特定情况下的成功：
  • 伴随多胞形空间： 对于伴随复多胞形空间中的 1 维子空间，唯一性蕴含 2-强唯一性（观察 3.3）。
  • 复 $\ell_1^n$ 空间： 在复 $\ell_1^n$ 空间中，任何子空间中最佳逼近的唯一性都蕴含 2-强唯一性（定理 3.9）。这是一个新颖的结果，因为对于一般子空间，其唯一性阶数无法提升至 1-强唯一性（例 3.11）。
  • 实子空间： 如果一个复多胞形空间具有实本质顶点系统，或者一个伴随复多胞形空间具有实本质面系统，那么对于任何实子空间，最佳逼近的唯一性蕴含 2-强唯一性（定理 4.6）。
  • 提升至 1-强唯一性： 在复 $\ell_1^n$ 空间限制在实子空间的情况下，作者证明了唯一性蕴含 1-强唯一性（定理 4.7），这比在其他复设置中发现的一般 2-强唯一性是一个更强的结论。
• 最小投影：
  • 3D 到 2D： 本文将 Odyniec 的结果（原用于实空间）扩展到复数领域，证明如果一个 3 维复范化空间的范数大于 1，则从该空间到 2 维子空间的最小投影是 2-强唯一的（定理 5.3）。
  • $\ell_\infty^n$ 中的超平面： 对于复 $\ell_\infty^n$ 中非 1-补的超平面，若其具有唯一最小投影，则该投影是 2-强唯一的，但阶数 2 无法进一步提升（定理 5.5）。
  • 多胞形空间中的实子空间： 若 $X$ 是具有实定义向量/泛函的复多胞形空间（或其对偶），且 $Y$ 是实子空间，则其上唯一的最小投影是 2-强唯一的（定理 5.6）。
  • $\ell_1^n$ 中的超平面： 类似地，复 $\ell_1^n$ 中超平面上的唯一最小投影是 2-强唯一的（定理 5.7）。

意义与主张
本文旨在阐明多胞形范数中实逼近理论与复逼近理论之间的根本区别。它确立了虽然在一般的复数设置下，“唯一性自动蕴含强唯一性”这一性质（定理 1.1）会失效，但在特定的结构约束下（特别是涉及实子空间和实定义系统时），该性质可以被恢复。

作者强调，区分复多胞形空间与伴随复多胞形空间至关重要，因为由于范数公式的复杂性（最小化 vs 最大化），这两者需要不同的分析方法。关于最小投影的结论具有重要意义，因为它们首次证明了这些特定复配置下的 2-强唯一性，并指出在某些维度下（如 3D 到 2D），此类投影在复数情形下的基本唯一性此前尚未得到确立。论文谦虚地指出，尽管对于 $\ell_1^n$ 和实子空间的结果很强，但这些性质是否能推广到所有复多胞形空间，还是仅限于 $\ell_1^n$ 的特有结构，仍是一个开放性问题。