[论文解读] Non-Commutative Metrics on Matrix State Spaces

Wei Wu|ArXiv.org|Nov 22, 2004

Advanced Operator Algebra Research参考文献 14被引用 11

一句话总结

本文利用量子化理论，在矩阵态空间上引入了度量和利普希茨半范数的非交换类比。研究证明，下半连续的矩阵利普希茨半范数完全由其对应的矩阵度量决定，并进一步证明：此类度量可由矩阵利普范数导出，当且仅当其满足凸性、中点对称性与中点凹性——将里埃菲尔的交换结果推广至非交换设置。

ABSTRACT

We use the theory of quantization to introduce non-commutative versions of metric on state space and Lipschitz seminorm. We show that a lower semicontinuous matrix Lipschitz seminorm is determined by their matrix metrics on the matrix state spaces. A matrix metric comes from a lower semicontinuous matrix Lip-norm if and only if it is convex, midpoint balanced, and midpoint concave. The operator space of Lipschitz functions with a matrix norm coming from a closed matrix Lip-norm is the operator space dual of an operator space. They generalize Rieffel's results to the quantized situation.

研究动机与目标

• 将里埃菲尔关于态空间度量与利普希茨半范数的理论推广至矩阵序单位空间的非交换设置。
• 在算子系统与矩阵序空间的背景下，定义利普希茨半范数与度量的非交换类比。
• 建立由下半连续矩阵利普希茨半范数导出的矩阵度量的刻画。
• 证明：配备由闭合矩阵利普范数导出的矩阵范数的利普希茨函数算子空间，是某个算子空间的对偶，从而推广了经典的对偶性结果。

提出的方法

• 利用量子化理论，在矩阵序空间上定义利普希茨半范数的非交换版本。
• 通过与广义狄拉克算子的换位子的算子范数，在矩阵态空间上引入矩阵度量。
• 应用矩阵序单位空间与算子系统的理论，定义矩阵态空间及其对偶。
• 运用矩阵分离定理与对偶性理论，证明由下半连续矩阵利普范数导出的矩阵度量满足凸性、中点对称性与中点凹性。
• 建立利普希茨函数空间与某一算子空间对偶之间的完全等距同构。
• 利用矩阵空间上的范数结构及矩阵空间之间的配对关系，定义并分析对偶算子空间。

实验结果

研究问题

• RQ1 里埃菲尔在态空间上的度量理论能否推广至非交换、矩阵序的设置？
• RQ2 何种条件使一个矩阵度量可由下半连续矩阵利普希茨半范数导出？
• RQ3 在非交换设置下，矩阵利普希茨函数与其对偶算子空间之间的对偶关系如何结构化？
• RQ4 在非交换情形下，矩阵度量是否由对应的矩阵利普希茨半范数唯一确定？
• RQ5 由矩阵利普范数诱导的矩阵度量的精确刻画是什么？

主要发现

• 下半连续的矩阵利普希茨半范数完全由其在矩阵态空间上对应的矩阵度量决定。
• 当且仅当矩阵度量满足凸性、中点对称性与中点凹性时，其可由下半连续矩阵利普希茨半范数导出。
• 配备由闭合矩阵利普范数导出的矩阵范数的利普希茨函数算子空间，与某一算子空间的对偶完全等距同构。
• 矩阵利普希茨函数的对偶空间等距同构于有界算子范数的矩阵泛函空间。
• 证明依赖于矩阵分离定理，表明对偶空间中的每个有界泛函均可由矩阵态空间中的元素导出。
• 该构造在矩阵利普希茨空间与矩阵泛函算子空间的对偶之间产生一个完全等距同构。