[论文解读] An improvement of Andô dilations

Haripada Sau|arXiv (Cornell University)|Nov 1, 2017

Holomorphic and Operator Theory参考文献 13被引用 3

一句话总结

本文通过使用四面体块模型理论，构造了最小等距扩张，改进了安多家关于交换压缩算子的扩张定理。它建立了唯一性结果：当乘积 $ T = T_1T_2 $ 为纯算子时，酉不变量 $ \{\Lambda^*PU\Lambda, \Lambda^*U^*P^\perp\Lambda, \Theta_T\} $ 完全刻画了交换对 $ (T_1, T_2) $。

ABSTRACT

We improve And$\hat{ ext{o}}$'s dilations. Indeed for a pair of commuting contractions $(T_1,T_2)$ on a Hilbert space, we show: (B) There exists a Hilbert space $\mathcal F$, a commuting pair $(V_1,V_2)$ of isometries on $\mathcal H\oplus H^2(\mathcal F)$ such that $(V_1^*,V_2^*)|_{\mathcal H}=(T_1^*,T_2^*)$ and $$ (V_1,V_2)|_{H^2(\mathcal F)}=(M_\varphi,M_\psi), $$where $\varphi$ and $\psi$ are inner functions of the form $\varphi(z)=P^\perp U+zP U$ and $\psi(z)=U^*P+zU^*P^\perp$ for some unitary $U$ and projection $P$ in $\mathcal B(\mathcal F)$ (C)There exists an isometry $\Pi:\mathcal H\oplus H^2(\mathcal D_T) o\mathcal H\oplus H^2(\mathcal F)$ such that $$ \Pi^*V_1V_2\Pi=V_T ext{ and }\Pi^*(V_1,V_2)\Pi=(M_\Phi,M_\Psi), $$where $\Phi(z)=\Lambda^*(PU+zP^\perp U)\Lambda,\;\Psi(z)=\Lambda^*(U^*P^\perp+zU^*P)\Lambda$ for some isometry $\Lambda:\mathcal D_T o \mathcal F$ and $V_T$ is the minimal isometric dilation of $T=T_1T_2$ constructed by Sch$\ddot{ ext{a}}$ffer \cite{sfr} Our approach is based on the dilation theory of the tetrablock $$ \mathbb E=\{(a_{11},a_{22}, ext{det}A): A=\begin{pmatrix} a_{11} & a_{12} a_{21} & a_{22} \end{pmatrix} ext{ with }\lVert A Vert <1\}. $$ In the case when $T=T_1T_2$ is pure, results like above have been obtained recently in \cite{D-S-S}. We derive their results as a simple application of the model theory of the tetrablock developed in \cite{sau}. Moreover, the beauty of the model theory of the tetrablock adorns this paper with the following uniqueness result: Let $(T_1,T_2)$ be a commuting pair of contractions such that their product is pure, then the set $$ \{\Lambda^*PU\Lambda,\;\Lambda^*U^*P^\perp \Lambda,\;\Theta_{T}\} $$is a complete set of unitary invariance for $(T_1,T_2)$, where $\Theta_{T}$ is the characteristic function of $T=T_1T_2$.

研究动机与目标

• 改进安多家关于交换压缩算子对的扩张定理。
• 在四面体块模型理论框架下，构造一个最小等距扩张。
• 利用酉不变量，为纯交换压缩算子推导出唯一性结果。
• 通过应用四面体块模型理论，推广近期关于纯算子的结果。
• 统一并扩展多变量算子理论中现有的扩张与特征函数理论。

提出的方法

• 在 $ \mathcal{H} \oplus H^2(\mathcal{F}) $ 上构造一个交换等距对 $ (V_1, V_2) $，使其扩展 $ T_1, T_2 $ 的伴随算子。
• 将 $ (V_1, V_2) $ 在 $ H^2(\mathcal{F}) $ 上的限制表示为内函数 $ \varphi(z) = P^\perp U + zPU $ 和 $ \psi(z) = U^*P + zU^*P^\perp $ 的乘法算子。
• 利用乘积 $ T = T_1T_2 $ 的薛定谔型扩张 $ V_T $，将该扩张与已知的最小扩张构造联系起来。
• 引入一个等距映射 $ \Pi: \mathcal{H} \oplus H^2(\mathcal{D}_T) \to \mathcal{H} \oplus H^2(\mathcal{F}) $，以实现扩张与四面体块模型之间的互换。
• 应用四面体块 $ \mathbb{E} $ 的模型理论，推导出扩张的结构与唯一性结果。
• 在唯一性定理中，将算子 $ T $ 的特征函数 $ \Theta_T $ 作为关键酉不变量加以使用。

实验结果

研究问题

• RQ1 能否通过四面体块模型理论，改进安多的扩张，以获得交换压缩算子的最小且结构化的等距扩张？
• RQ2 当乘积 $ T = T_1T_2 $ 为纯算子时，该等距扩张的精确形式是什么？
• RQ3 由酉算子 $ U $ 和投影 $ P $ 参数化的内函数 $ \varphi $ 和 $ \psi $，如何与扩张的结构相关联？
• RQ4 当 $ T = T_1T_2 $ 为纯算子时，哪些酉不变量能完全确定一个交换对 $ (T_1, T_2) $？
• RQ5 四面体块模型理论如何统一并扩展关于纯算子与特征函数的先前结果？

主要发现

• 在 $ \mathcal{H} \oplus H^2(\mathcal{F}) $ 上构造了一个最小等距扩张 $ (V_1, V_2) $，使得 $ (V_1^*, V_2^*)|_{\mathcal{H}} = (T_1^*, T_2^*) $ 且 $ (V_1, V_2)|_{H^2(\mathcal{F})} = (M_\varphi, M_\psi) $，其中 $ \varphi, \psi $ 为特定的内函数。
• 存在一个等距映射 $ \Pi $，它将扩张 $ (V_1, V_2) $ 与 $ T = T_1T_2 $ 的最小扩张 $ V_T $ 互换，同时保持模型的结构。
• 由四面体块模型自然导出的对 $ (M_\Phi, M_\Psi) $，其中 $ \Phi(z) = \Lambda^*(PU + zP^\perp U)\Lambda $ 且 $ \Psi(z) = \Lambda^*(U^*P^\perp + zU^*P)\Lambda $。
• 当 $ T = T_1T_2 $ 为纯算子时，集合 $ \{\Lambda^*PU\Lambda, \Lambda^*U^*P^\perp\Lambda, \Theta_T\} $ 构成 $ (T_1, T_2) $ 的完全酉不变量集。
• 结果通过将它们嵌入四面体块模型理论的更广泛框架中，推广并统一了近期关于纯算子的发现。
• 四面体块模型为推导交换压缩算子扩张的唯一性与最小性提供了自然且优美的设定。