[论文解读] Dilations of matricies

David A. Cohen|arXiv (Cornell University)|Mar 25, 2015

Advanced Operator Algebra Research参考文献 6被引用 4

一句话总结

本文建立了在有限维希尔伯特空间上，一个交换的 $n$-元算子族存在正规 $X$-扩张，与存在各次多项式正规 $X$-扩张的等价性。通过正算子值测度的立方公式和奈马克扩张定理，作者构造了有限维扩张，证明了此类扩张存在的充要条件是算子族对所有多项式次数均存在逼近扩张。

ABSTRACT

We explore aspects of dilation theory in the finite dimensional case and show that for a commuting $n$-tuple of operators $T=(T_1,...,T_n) $ acting on some finite dimensional Hilbert space $H$ and a compact set $X\subset \mathbb{C}^n$ the following are equivalent: 1. $T$ has a normal $ X$-dilation. 2. For any $m\in \mathbb{N}$ there exists some finite dimensional Hilbert space $K$ containing $H$ and a tuple of commuting normal operators $N=(N_1,...,N_n)$ acting on $K$ such that $$ q(T)=P_Hq(N)|_H$$ for all polynomials $q$ of degree at most $m$ and such that the joint spectrum of $N$ is contained in $X$ (where $P_H$ is the projection from $K$ to $H$).

研究动机与目标

• 刻画在有限维希尔伯特空间上，一个交换的 $n$-元算子族何时存在紧集 $X \subset \mathbb{C}^n$ 上的正规 $X$-扩张。
• 通过将正规 $X$-扩张与多项式逼近性质联系起来，弥合有限维扩张理论与谱集理论之间的鸿沟。
• 通过正算子值测度（POVMs）与立方公式，提供一种扩张的构造性框架。
• 探讨阿夫森森扩张定理与冯·诺依曼型不等式的有限维类比。
• 研究交换压缩算子族的 $m$-扩张的存在性与构造，特别是在低维情形下。

提出的方法

• 引入正规 $X$-$m$-扩张的概念：在包含 $H$ 的有限维空间 $K \supset H$ 上的交换正规算子族，使得对所有次数 $\leq m$ 且联合谱位于 $X$ 中的多项式 $q$，有 $q(T) = P_H q(N)|_H$。
• 证明：若对所有 $m$ 均存在此类 $X$-$m$-扩张，则通过极限论证可推出正规 $X$-扩张的存在性。
• 为 $C(X)$ 上的 POVM 在有限维多项式子空间（次数 $\leq m$）上构造一个立方公式，确保对次数不超过 $m$ 的多项式实现精确积分。
• 应用奈马克扩张定理，将 POVM 提升为更大希尔伯特空间上的谱测度，从而得到正规扩张。
• 利用扩张后正规算子的联合谱确保其包含于 $X$，满足所需的谱条件。
• 利用阿夫森森扩张定理作为已知方向：若对所有 $m$ 均存在 $X$-m-扩张，则正规 $X$-扩张存在。

实验结果

研究问题

• RQ1 在何种条件下，一个有限维希尔伯特空间上的交换 $n$-元算子族存在正规 $X$-扩张？
• RQ2 能否利用对所有 $m$ 存在 $X$-$m$-扩张的事实，来构造完整的正规 $X$-扩张？
• RQ3 能否对交换压缩算子对显式构造有限维酉 $m$-扩张？
• RQ4 哪些交换压缩算子族可表示为 $\varphi_j(S_d)$，其中 $\varphi_j \in A(\mathbb{D})$ 且 $\|\varphi_j\|_\infty \leq 1$？
• RQ5 当 $X$ 为完全谱集时，$m$-扩张能否显式构造？

主要发现

• 对于有限维希尔伯特空间 $H$ 上的交换 $n$-元算子族 $T = (T_1, \dots, T_n)$，存在正规 $X$-扩张当且仅当对所有 $m \in \mathbb{N}$ 均存在 $X$-$m$-扩张。
• 此类扩张的构造依赖于 $C(X)$ 上 POVM 在次数 $\leq m$ 的多项式有限维子空间上的立方公式。
• 立方公式的存在性确保 POVM 可被有限秩谱测度精确逼近，从而可应用奈马克定理。
• 所得扩张为一个在有限维空间 $K \supset H$ 上的交换正规算子族，其联合谱包含于 $X$ 中。
• 证明表明：当且仅当对所有 $m$ 均存在 $X$-m-扩张时，$X$ 是 $T$ 的完全谱集，从而将谱集理论与扩张理论联系起来。
• 对于下三角托普利茨矩阵，本文构造了 $\varphi_j \in A(\mathbb{D})$，使得 $\varphi_j(S_d) = A_j$，表明此类算子族可由单位圆盘代数中的函数生成。