[论文解读] The Amemiya-Ando conjecture falls

Adam Paszkiewicz|arXiv (Cornell University)|Mar 15, 2012

Optimization and Variational Analysis参考文献 3被引用 9

一句话总结

该论文通过证明在任意无限维希尔伯特空间中，从五个正交投影组成的有限集合中，投影乘积对某些向量的范数可能发散，从而解决了Amemiya-Ando猜想。证明通过使用酉旋转和迭代逼近构造了一组投影序列，以展示范数发散，从而否定了长期以来认为此类乘积总是强收敛的猜想。

ABSTRACT

In any infinite dimensional Hilbert space H, a sequence P_n...P_1 x diverges in norm for some x \in H and orthogonal projections P_n \in {Q_1,..., Q_5}.

研究动机与目标

• 为解决Amemiya-Ando猜想，该猜想认为希尔伯特空间中有限个投影的乘积会强收敛。
• 证明在投影为正交且数量有限的情况下，乘积的范数收敛性并不普遍成立，即使超过两个投影也是如此。
• 在无限维希尔伯特空间中构造显式反例，使得投影乘积对某些初始向量在范数上发散。
• 证明即使仅使用五个投影，该猜想也失效，从而解决了算子理论中长期悬而未决的问题。

提出的方法

• 通过在固定二维子空间正交的辅助向量上使用酉变换，构造嵌套投影序列 $ P_0 \leq \dots \leq P_r $，满足 $ \dim(P_s - P_{s-1}) = 1 $。
• 使用酉算子 $ U_s $，在固定二维投影 $ E = \hat{e} + \hat{e}' $ 的正交补空间中旋转向量，从而控制迭代投影的极限行为。
• 利用关键恒等式 $ (E U_s P U_s^* E)^n \to \hat{f}_s $ 当 $ n \to \infty $ 且 $ \delta_s \to 0 $，使得可在 $ E $ 内逼近任意一维投影。
• 应用引理1，通过更大集合中的投影乘积逼近二维子空间内任意有限个一维投影序列。
• 通过在希尔伯特空间中铺砌正交子空间 $ F_i $，每个子空间支持一个能增强特定方向分量的单项式，构造全局反例。
• 在不相交子空间中交替组合单项式 $ A_{2k}(P,Q,E) $ 和 $ A_{2k+1}(R,S,E) $，生成具有有界但不收敛分量的向量序列。

实验结果

研究问题

• RQ1 在无限维希尔伯特空间中，有限个正交投影的乘积是否总是范数收敛？
• RQ2 是否存在某个初始向量，使得五个正交投影的乘积序列在范数上发散？
• RQ3 Amemiya-Ando猜想（即此类乘积在无限维希尔伯特空间中强收敛）是否成立？
• RQ4 在无限维希尔伯特空间中，实现范数发散所需的最少投影数量是多少？

主要发现

• Amemiya-Ando猜想不成立：在任意无限维希尔伯特空间中，存在五个正交投影 $ Q_1, \dots, Q_5 $，使得对某些 $ x \in H $，有 $ P_n \dots P_1 x $ 在范数上发散。
• 对任意 $ \epsilon > 0 $，存在投影 $ P_0 \leq \dots \leq P_r $，满足 $ \dim(P_s - P_{s-1}) = 1 $，使得 $ \| (E P_s E)^{n(s)} - \hat{f}_s \| < \epsilon $，从而可在二维子空间中逼近任意有限个一维投影序列。
• 该构造确保 $ \| (E (P Q P)^{m(s)} E)^{n(s)} - \hat{f}_s \| < \epsilon $，证明由三个投影生成的单项式可在二维子空间中模拟任意一维投影。
• 通过在空间中铺砌正交子空间 $ F_i $，每个子空间支持一个单项式，使其在特定方向上分量放大因子 $ \eta_i > 1 - \epsilon_i $，乘积序列累积非零分量，导致范数发散。
• 乘积序列 $ A_{2k}(P,Q,E) A_{2k-1}(R,S,E) \dots A_1(R,S,E) e_1 $ 的分量满足 $ \langle x_{2k}, e_{2k+1} \rangle = \eta_1 \dots \eta_{2k} $，且由于 $ \prod \eta_i > 0 $，该序列在范数上不收敛。
• 反例仅使用五个投影：$ \{P, Q, R, S, E\} $，其中 $ E = \sum \hat{e}_i $，表明五个投影已足够破坏范数收敛性。