[论文解读] On some automorphisms of the set of effects on Hilbert space

Lajos Molnár|ArXiv.org|May 17, 2000

Matrix Theory and Algorithms参考文献 5被引用 5

一句话总结

本文研究了希尔伯特空间上效应代数在仿射结构与乔丹三重积结构下的自同构。证明了仿射自同构由基础冯诺依曼代数的*-自同构或*-反自同构诱导，而乔丹三重积自同构则由酉算符或反酉算符实现，从而在量子效应空间的线性结构与乘法结构之间建立了深刻联系。

ABSTRACT

The set of all efects on a Hilbert space has an affine structure (it is a convex set) as well as a multiplicative structure (it can be equipped with the so-called Jordan triple product). In this paper we describe the corresponding automorphisms of that set.

研究动机与目标

• 对因子 $\mathscr{A}$ 上的效应代数 $\mathscr{E}(\mathscr{A})$ 的仿射自同构进行分类，推广了以往需假设在零点归一化的结果。
• 确定自伴算子集 $B_s(H)$ 在乔丹三重积 $ABA \mapsto \phi(A)\phi(B)\phi(A)$ 下的自同构结构。
• 证明此类自同构必为线性映射，且由酉算符或反酉算符实现，从而将乘法结构与线性对称性联系起来。

提出的方法

• 利用范数缩放与自伴算子的谱分解，构造仿射映射 $\phi$ 在 $\mathscr{E}(\mathscr{A})$ 上的唯一线性扩张 $\Phi$。
• 利用仿射映射保持效应代数结构时可唯一延拓为底层 $C^*$-代数上线性映射的事实。
• 应用谱理论证明自同构保持投影及其序关系，从而导出酉或反酉实现。
• 分析 $\phi$ 在秩一投影上的行为，推导出定义在 $\mathbb{R}$ 上的实值函数 $f$，该函数保持乘法与加法运算。
• 证明函数 $f$ 是 $\mathbb{R}$ 上的环自同态，因此必为恒等映射，这是由于此类映射的唯一性。
• 利用 $\phi$ 的满射性与双射性，证明 $\phi(A) = UAU^*$ 或 $\phi(A) = -UAU^*$，其中 $U$ 为酉算符或反酉算符。

实验结果

研究问题

• RQ1 在不假设 $\phi(0) = 0$ 的条件下，效应代数 $\mathscr{E}(\mathscr{A})$ 作为凸集在仿射变换下的自同构是什么？
• RQ2 效应代数在乔丹三重积 $ABA$ 下的自同构行为如何？
• RQ3 通过乔丹三重积结构 $B_s(H)$ 的乘法结构能否完全确定其线性结构？
• RQ4 是否每个 $B_s(H)$ 上关于乔丹三重积的自同构必为线性映射？
• RQ5 此类自同构在酉或反酉算符下的精确形式是什么？

主要发现

• 在因子 $\mathscr{A}$ 上，$\mathscr{E}(\mathscr{A})$ 的仿射自同构由 $\mathscr{A}$ 的*-自同构或*-反自同构诱导，或由其与正交补射 $A \mapsto I - A$ 的复合实现。
• 任意仿射自同构 $\phi$ 在 $\mathscr{E}(\mathscr{A})$ 上的线性扩张是 $\mathscr{A}$ 上保持乔丹*-同态结构的线性映射。
• 在乔丹三重积 $ABA \mapsto \phi(A)\phi(B)\phi(A)$ 下，$B_s(H)$ 的每个自同构均由酉算符或反酉算符 $U$ 实现，且满足 $\phi(A) = UAU^*$ 或 $\phi(A) = -UAU^*$。
• 由 $\phi(\lambda P) = f(\lambda)\phi(P)$ 定义的函数 $f: \mathbb{R} \to \mathbb{R}$（$P$ 为秩一投影）既是加法也是乘法保持的，因此为恒等映射。
• 自同构 $\phi$ 保持投影上的偏序 $\leq$ 与正交补运算，这蕴含其酉或反酉等价性。
• 由于每个此类自同构必为线性映射，因此 $B_s(H)$ 的线性结构完全由其乔丹三重积结构决定。