[论文解读] Modular Paulsen Problem and Modular Projection Problem

K. Mahesh Krishna|arXiv (Cornell University)|Jul 26, 2022

Advanced Operator Algebra Research被引用 4

一句话总结

本文将Paulsen问题与投影问题推广至交换C*-代数上的Hilbert C*-模，证明了模形式Paulsen问题的解可推出模形式投影问题的解。文章引入了C*-代数上的算子缩放概念，并在模形式设定下提出了受限可逆性与Johnson-Lindenstrauss降维的猜想，推动了泛函分析与算子代数中的非交换框架理论。

ABSTRACT

Based on the solution of extbf{Paulsen Problem} by Kwok, Lau, Lee, and Ramachandran [ extit{STOC'18-Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing, 2018}] and independently by Hamilton, and Moitra [ extit{Isr. J. Math., 2021}] we study Paulsen Problem and Projection Problem in the context of Hilbert C*-modules. We show that for commutative C*-algebras, if Modular Paulsen Problem has a solution, then Modular Projection Problem also has a solution. We formulate the problem of operator scaling for matrices over C*-algebras.

研究动机与目标

• 将Paulsen问题与投影问题从有限维Hilbert空间推广至交换C*-代数上的Hilbert C*-模。
• 研究在交换C*-代数背景下，模形式Paulsen问题的解是否蕴含模形式投影问题的解。
• 引入并研究C*-代数上矩阵的算子缩放问题，作为模形式框架理论的基础工具。
• 提出并分析经典结果（如Bourgain-Tzafriri受限可逆性定理与Johnson-Lindenstrauss降维）在模形式设定下的类比。
• 针对非交换C*-代数（特别是W*-代数与具有不变基数目（IBN）性质的代数）提出模形式受限可逆性与降维的猜想。

提出的方法

• 在交换C*-代数上的Hilbert C*-模设定下，提出模形式Paulsen问题与模形式投影问题。
• 利用框架算子及其逆平方根，定义从近似Parseval框架到精确Parseval框架的变换，适用于模形式设定。
• 引入C*-代数上矩阵的算子缩放概念，将经典缩放技术推广至非交换算子代数。
• 利用Manin矩阵与列式，提出受限可逆性猜想的非交换版本。
• 提出模形式Johnson-Lindenstrauss降维猜想，断言当 $ m > C \frac{1}{\tilde{\rho}^2} \log M $ 时，矩阵 $ M \in \mathbb{M}_{m \times N}(\mathcal{A}) $ 可保持成对距离在 $ (1 \pm \varepsilon) $ 范围内。
• 采用Hilbert C*-模同态与范数的概念，定义受限可逆性猜想中使用的算子范数 $ \|M\| $。

实验结果

研究问题

• RQ1 在交换C*-代数情况下，模形式Paulsen问题的解是否蕴含模形式投影问题的解？
• RQ2 C*-代数上矩阵的算子缩放问题能否以保持框架性质的方式提出并求解？
• RQ3 在Hilbert C*-模背景下，Bourgain-Tzafriri受限可逆性定理的模形式类比为何？
• RQ4 模形式Johnson-Lindenstrauss降维猜想是否对W*-代数或具有不变基数目（IBN）性质的C*-代数成立？
• RQ5 为使矩阵 $ M \in \mathbb{M}_{m \times N}(\mathcal{A}) $ 在 $ \mathcal{A}^N $ 中保持成对距离在 $ (1 \pm \varepsilon) $ 范围内，其最小维度 $ m $ 是多少？

主要发现

• 对于交换C*-代数，若模形式Paulsen问题有解，则模形式投影问题也有解。
• 本文在交换设定下建立了模形式Paulsen问题与模形式投影问题可解性之间的直接蕴含关系。
• 提出了模形式Johnson-Lindenstrauss降维猜想，其维度界为 $ m > \frac{C}{\varepsilon^2} \log M $，表明此类降维在模形式设定下是可能的。
• 利用Manin矩阵与列行列式，提出了模形式受限可逆性猜想，其下界为满足 $ \text{Card}(\sigma) \geq \frac{cd}{\|M\|^2} $ 的指标子集 $ \sigma $ 的大小。
• 本文证明了 $ \varepsilon $-近似等范数Parseval框架与其最近的等范数Parseval框架之间的距离被限制在 $ \frac{d\varepsilon^2}{4} $ 以内，将经典结果推广至模形式设定。
• 该框架允许推导模形式Welch界，并提出模形式Zauner猜想，将已知的框架理论结果推广至算子代数。