[论文解读] On circumcenters of finite sets in Hilbert spaces

Heinz H. Bauschke, Hui Ouyang+1 more|arXiv (Cornell University)|Jul 5, 2018

Matrix Theory and Algorithms参考文献 10被引用 14

一句话总结

本文系统研究了希尔伯特空间中有限点集的外心——即仿射包中到所有点距离相等的唯一点。文中推导了外心与外接半径的显式公式，尤其针对二维和三维情形，并阐明了其在加速最佳逼近问题的Douglas–Rachford方法中的作用。

ABSTRACT

A well-known object in classical Euclidean geometry is the circumcenter of a triangle, i.e., the point that is equidistant from all vertices. The purpose of this paper is to provide a systematic study of the circumcenter of sets containing finitely many points in Hilbert space. This is motivated by recent works of Behling, Bello Cruz, and Santos on accelerated versions of the Douglas--Rachford method. We present basic results and properties of the circumcenter. Several examples are provided to illustrate the tightness of various assumptions.

研究动机与目标

• 建立希尔伯特空间中有限点集外心的严格理论框架，推广经典欧氏几何。
• 解决高维及抽象希尔伯特空间中外心缺乏显式表征的问题。
• 利用几何与代数工具，为二维和三维情形提供外心与外接半径的显式公式。
• 阐明外心在加速求解最佳逼近问题的Douglas–Rachford方法中的作用。
• 研究在外心配置与拓扑假设变化下，外心的存在性、唯一性与连续性。

提出的方法

• 将外心定义为有限点集仿射包中到所有点距离相等的唯一点。
• 运用仿射几何与线性代数，基于向量与内积推导外心的显式表达式。
• 在R^3中利用叉积，通过向量三重积推导外心与外接半径的闭式公式。
• 应用拉格朗日乘数法与正交投影，求解外心构造背后的最优化逼近问题。
• 利用外心算子定义一种新迭代方法，以在Douglas–Rachford框架中加速收敛。
• 证明外心在希尔伯特空间乘积空间中仿射无关点的开集上连续且定义良好。

实验结果

研究问题

• RQ1 在何种条件下，希尔伯特空间中有限点集的外心存在且唯一？
• RQ2 在二维与三维希尔伯特空间中，可推导出哪些外心与外接半径的显式公式？
• RQ3 外心如何影响Douglas–Rachford方法在最佳逼近问题中的收敛行为？
• RQ4 外心能否推广至R^3之外？其存在的拓扑与代数障碍为何？
• RQ5 外心与仿射包及正交投影的几何关系如何？

主要发现

• 希尔伯特空间中有限点集的外心存在且唯一，当且仅当这些点仿射无关。
• 在R^2中，三点的外心由一个显式表达式给出，涉及由两两距离导出的2×2格拉姆矩阵的逆。
• 在R^3中，外心可表示为向量三重积形式：$ CC(S) = x + \frac{(\|a\|^2 b - \|b\|^2 a) \times (a \times b)}{2\|a \times b\|^2} $，其中 $ a = x_2 - x_1 $，$ b = x_3 - x_1 $。
• R^3中的外接半径 $ CR(S) $ 为 $ \frac{\|a - b\|}{2\sin\theta} $，其中 $ \theta $ 为向量 $ a $ 与 $ b $ 的夹角，且 $ \|a \times b\| = \|a\|\|b\|\sin\theta $。
• 外心算子在 $ \mathcal{H}^m $ 中仿射无关m元组的开集上连续，确保在小扰动下保持稳定。
• 外心方法可用于加速Douglas–Rachford算法，在最佳逼近问题中提升收敛速度。