[论文解读] Motion planning in connected sums of real projective spaces

Daniel C. Cohen, Lucile Vandembroucq|arXiv (Cornell University)|Jul 26, 2018

Robotic Path Planning Algorithms参考文献 10被引用 4

一句话总结

本文证明了当 $ n \geq 2 $ 时，对 $ g \geq 2 $ 个 $ \mathbb{R}P^n $ 的连通和，其拓扑复杂度恰好为 $ 2n $，表明在这些高维非可定向流形中，运动规划达到了最大可能的复杂度。作者使用代数拓扑工具——特别是整系数上同调与取值于理想上的拓扑复杂度不变量——证明了基于 CW 层叠的典型运动规划构造是最优的，将先前关于曲面的结果推广到了高维情形。

ABSTRACT

The topological complexity ${\sf TC}(X)$ is a homotopy invariant of a topological space $X$, motivated by robotics, and providing a measure of the navigational complexity of $X$. The topological complexity of a connected sum of real projective planes, that is, a high genus nonorientable surface, is known to be maximal. We use algebraic tools to show that the analogous result holds for connected sums of higher dimensional real projective spaces.

研究动机与目标

• 确定当 $ n \geq 2 $ 时，对 $ g \geq 2 $ 个 $ \mathbb{R}P^n $ 的连通和的拓扑复杂度，将已知的曲面结果推广到高维情形。
• 利用代数不变量，证明这些空间的拓扑复杂度达到最大值，即 $ 2n $。
• 将基于单纯复形的运动规划构造推广到高维非可定向流形，并通过上同调方法证明其最优性。
• 将先前关于非可定向曲面的工作中的技术推广到高维实射影空间，利用取值于理想上的拓扑复杂度与史蒂诺德平方（Steenrod squares）进行研究。

提出的方法

• 作者使用取值于理想上的拓扑复杂度不变量 $ \operatorname{{\sf TC}}(X) $，其定义为运动规划在空间 $ X $ 上所需局部区域数目的最小值减一。
• 他们分析了乘积空间 $ X \times X $ 的上同调，特别是 $ \mathbb{Z}_2 $-系数情形，以检测阻碍更低复杂度的非零上积。
• 关键工具是评估 $ \mathfrak{v}^{2n} $-不变量在对角类 $ \Delta_{*} $ 上的结果，该结果用于检测最高维上同调类的非平凡性。
• 证明依赖于将对角类 $ \mathbf{c}_n \times \mathbf{c}_n $ 分解为生成元 $ \mathbf{a}_n, \mathbf{b}_n $ 的形式，并分析其在群环张量积下的 $ \mathfrak{v}^{2n} $-映射像。
• 通过投影到子代数 $ I(Y;\mathbb{Z}_2) \otimes I(Z;\mathbb{Z}_2) $，他们分离出对应于 $ (y-1)^{\otimes n-2} \otimes (z-1)^{\otimes n-2} $ 的非零分量，这些分量被证明在 $ \mathfrak{v}^{2n} $-映射下保持非零。
• 通过将其约化到 $ \bigwedge^3 I(D;\mathbb{Z}_2) $ 中的三重楔积，验证了 $ \mathfrak{v}^4(\mathbf{a}_2 \times \mathbf{b}_2 + \mathbf{b}_2 \times \mathbf{a}_2) $ 的非零性，从而确认了复杂度上界。

实验结果

研究问题

• RQ1 当 $ n \geq 2 $ 时，$ g \geq 2 $ 个 $ \mathbb{R}P^n $ 的连通和的拓扑复杂度是多少？
• RQ2 基于 $ \mathcal{P}_g^n $ 的 CW 层叠的典型运动规划构造是否为这些高维非可定向流形提供了最优运动规划？
• RQ3 用于曲面的上同调技术能否推广到高维情形，以证明拓扑复杂度的最大性？
• RQ4 是否成立 $ \operatorname{{\sf TC}}(\mathcal{P}_g^n) = 2n $？
• RQ5 $ \mathfrak{v}^{2n} $-不变量在 $ X \times X $ 的上同调中检测对角类非零性的角色是什么？

主要发现

• 当 $ n \geq 2 $ 时，对 $ g \geq 2 $ 个 $ \mathbb{R}P^n $ 的连通和，其拓扑复杂度恰好为 $ 2n $，确认其达到最大值。
• 基于 $ \mathcal{P}_g^n $ 的 CW 层叠的典型运动规划构造是最优的，因为它达到了上界 $ 2n $。
• $ \mathfrak{v}^{2n} $-不变量在 $ H_{2n}(X \times X; \mathbb{Z}_2) $ 中对对角类 $ \Delta_* $ 的非零性，确认了 $ \operatorname{{\sf TC}}(\mathcal{P}_g^n) = 2n $。
• 关键的上同调分量来自项 $ \mathbf{a}_{n-2} \times \mathbf{b}_{n-2} $ 和 $ \mathbf{b}_{n-2} \times \mathbf{a}_{n-2} $，它们在 $ I(Y;\mathbb{Z}_2)^{\otimes n-2} \otimes I(Z;\mathbb{Z}_2)^{\otimes n-2} $ 上的投影非零。
• $ \mathfrak{v}^4(\mathbf{a}_2 \times \mathbf{b}_2 + \mathbf{b}_2 \times \mathbf{a}_2) $ 的非零性通过约化到 $ \bigwedge^3 I(D;\mathbb{Z}_2) $ 中的非零元素得到确认，从而完成证明。
• 该结果将先前关于非可定向曲面（$ n=2 $）的工作推广到高维情形，表明复杂度仍保持在最大值 $ 2n $。