[论文解读] Local automorphisms of some quantum mechanical structures

Lajos Molnár|ArXiv.org|Aug 8, 2001

Advanced Operator Algebra Research参考文献 10被引用 5

一句话总结

本文证明了在可分无限维复Hilbert空间上，幂等元格的每个连续2-局部自同构都是自同构。此外，通过结构分析及秩保持性、正交性和Jordan同态的性质，本文还证明了投影的正交模格和自伴算子的Jordan环上的2-局部自同构也都是自同构。

ABSTRACT

Let H be a separable infinite dimensional complex Hilbert space. We prove that every continuous 2-local automorphism of the poset (that is, partially ordered set) of all idempotents on H is an automorphism. Similar results concerning the orthomodular poset of all projections and the Jordan ring of all selfadjoint operators on H without the assumption on continuity are also presented.

研究动机与目标

• 研究在量子力学结构（特别是幂等元的偏序集、投影的正交模格和自伴算子的Jordan环）上，2-局部自同构是否必为自同构。
• 将关于C*-代数局部自同构的先前结果推广到非线性、2-局部的量子结构设置中。
• 确定连续性与2-局部性质对幂等元和投影变换所施加的结构约束。
• 刻画这些结构上2-局部自同构的形式，并证明其必为真正的自同构。
• 证明2-局部性质结合秩保持性和正交性，可强制全局自同构结构，而无需假设线性性。

提出的方法

• 将2-局部自同构定义为映射$\phi$，使得对结构中每对$x,y$，存在一个自同构$\phi_{x,y}$，满足$\phi(x) = \phi_{x,y}(x)$且$\phi(y) = \phi_{x,y}(y)$。
• 利用$\phi$在$SP(H)$上的连续性，应用Gleason定理，确保$\phi$由其在秩一投影上的作用决定。
• 证明$\phi$保持有限秩、正交性和偏序$\leq$，且在有限秩幂等元上具有有限正交可加性。
• 利用幂等元及其和的结构，将$\phi$延拓为有限秩算子$F(H)$上的Jordan同态。
• 证明在投影上诱导的映射是Jordan自同构，这意味着它由共轭作用下的酉或反酉算子实现。
• 利用2-局部性质和范数估计（例如$\|P - P'\| < 1$）证明：若$\phi$的某个分量在某个无限秩且余无限维的投影上为零，则其分解中的所有分量必须为零。

实验结果

研究问题

• RQ1 在可分无限维Hilbert空间上，幂等元格的2-局部自同构是否必为自同构？
• RQ2 在投影的正交模格上，2-局部性质是否足以强制映射为自同构，而无需假设连续性？
• RQ3 能否通过投影结构和实线性性，证明自伴算子Jordan环上的2-局部自同构必为自同构？
• RQ4 哪些结构约束（如秩保持性、正交性）是强制2-局部自同构为全局自同构的必要且充分条件？
• RQ5 与1-局部情形相比，2-局部自同构缺乏线性性时，其成为自同构的可能性如何受到影响？

主要发现

• 在可分无限维Hilbert空间$H$上，幂等元格$SP(H)$的每个连续2-局部自同构都是自同构。
• 在$H$上投影的正交模格$P(H)$上，2-局部自同构是自同构，即使不假设连续性也成立。
• 在$H$上自伴算子的Jordan环$B(H)_h$上，2-局部自同构是自同构，且此类映射由酉或反酉共轭实现。
• $\phi$保持有限秩幂等元的秩，并在$SP(H)$中的有限秩元素集合上具有有限正交可加性。
• $\phi$在投影上的作用由酉或反酉算子$U$决定，即对所有投影$P$，有$\phi(P) = UPU^*$。
• 证明依赖于范数估计和2-局部性质，以证明当$\phi$的某个分量在某个无限秩且余无限维的投影上为零时，其分解中的所有分量必须为零。