[论文解读] The Paulsen Problem in Operator Theory

Peter G. Casazza, Jameson Cahill|arXiv (Cornell University)|Feb 11, 2011

Mathematical Analysis and Transform Methods参考文献 11被引用 4

一句话总结

本文建立了框架理论中Paulsen问题与算子理论中近乎恒定对角投影这一基本问题之间的等价性，表明Paulsen函数 $ h(\epsilon,M,N) $ 与投影问题函数 $ g(\epsilon,M,N) $ 在相差一个因子4的意义下等价。此外，本文证明了通过Naimark补集，Paulsen问题的求解可约化为 $ N \leq 2M $ 的情形，从而显著缩小了问题的范围。

ABSTRACT

The Paulsen Problem in Hilbert space frame theory has proved to be one of the most intractable problems in the field. We will help explain why by showing that this problem is equivalent to a fundamental, deep problem in operator theory. Along the way we will give a new exact computation for chordal distances, we will give a generalization of these problems and we will spell out exactly the complementary versions of the problem.

研究动机与目标

• 通过将Hilbert空间框架理论中长期难以解决的Paulsen问题与算子理论中的基本问题联系起来，解决其长期存在的不可解性。
• 建立Paulsen问题与投影问题之间的等价性，证明 $ h(\epsilon,M,N) $ 与 $ g(\epsilon,M,N) $ 在相差一个因子4的意义下等价。
• 通过Naimark补集证明Paulsen问题可约化为 $ N \leq 2M $ 的情形，从而缩小需要分析的框架范围。
• 将Paulsen问题推广至具有任意框架算子和 $ S $-可接受范数序列的框架。

提出的方法

• 通过将框架距离与投影之间的Hilbert-Schmidt距离关联，证明Paulsen问题与投影问题之间的等价性。
• 利用主角和子空间之间的弦距离分析近乎等范数Parseval框架的几何结构。
• 应用Naimark补集构造，将一个Parseval框架与其正交补集关联，从而实现向更小框架维数的约化。
• 利用框架的分析与合成算子，将框架范数条件转化为投影对角线约束。
• 利用关于 $ S $-可接受序列和特征值交错（Horn-Johnson定理）的已知结果，刻画给定框架算子下可行的范数序列。
• 将先前工作中使用的梯度下降和微分方程技术作为辅助工具，尽管并非主要方法。

实验结果

研究问题

• RQ1 Paulsen问题是否与算子理论中的基本问题等价？若是，其精确的等价性质为何？
• RQ2 Paulsen函数 $ h(\epsilon,M,N) $ 是否依赖于 $ N $，还是仅受 $ M $ 和 $ \epsilon $ 的函数有界？
• RQ3 Paulsen问题能否约化为 $ N \leq 2M $ 的情形？若是，Naimark补集如何促成这一约化？
• RQ4 一个框架的Paulsen函数与其Naimark补集的Paulsen函数之间存在何种关系？
• RQ5 当框架算子非单位算子且范数为 $ S $-可接受序列时，Paulsen问题的推广形式如何表现？

主要发现

• Paulsen问题与投影问题在相差一个因子4的意义下等价，即 $ h(\epsilon,M,N) \asymp g(\epsilon,M,N) $。
• 在所有已知例子中，Paulsen函数 $ h(\epsilon,M,N) $ 的上界为 $ 16\epsilon M $，提示最优界可能为 $ cM\epsilon $。
• 通过不等式 $ g(\epsilon,M,N) \leq 8g(\epsilon\frac{M}{N-M},N-M,N) $，可将Paulsen问题约化为 $ N \leq 2M $ 的情形。
• 对于任意 $ N \geq M $，要么 $ N \leq 2M $，要么 $ N-M \leq 2(N-M) $，因此只需解决 $ N \leq 2M $ 的情形即可。
• 一个 $ \epsilon $-近乎等范数Parseval框架的Naimark补集是 $ \epsilon' $-近乎等范数Parseval框架，其中 $ \epsilon' = \epsilon \frac{M}{N-M} $。
• 对于 $ S $-可接受序列的广义Paulsen问题，其可解性当且仅当满足Horn-Johnson定理中的特征值交错条件。