[论文解读] Further remarks on an order for quantum observables

Jānis Cı̄rulis|arXiv (Cornell University)|Jan 3, 2013

Advanced Algebra and Logic参考文献 4被引用 3

一句话总结

本文通过引入一个完全的反对称交运算，将希尔伯特空间上有界自伴算子的逻辑序关系进行扩展，并证明该结构构成一个右正规反对近半环。它表明，逻辑序诱导出一个广义正交代数，其初始段为正交模的格，同时通过投影与复合运算，给出了古德的并与交的显式算子理论描述，为标准格之外的量子可观测量提供了一套新的代数框架。

ABSTRACT

S. Gudder and, later, S. Pulmanova and E. Vincekova, have studied in two recent papers a certain ordering of bounded self-adjoint operators on a Hilbert space. We present some further results on this ordering and show that some structure theorems of the ordered set of operators can be obtained in a more abstract setting of posets having the upper bound property and equipped with a certain orthogonality relation.

研究动机与目标

• 通过引入一个完全的反对称交运算，将有界自伴算子上的逻辑序关系进行扩展。
• 证明在该序关系下，量子可观测量的偏序集构成一个右正规反对近半环。
• 利用投影与复合运算，提供古德的并与交的显式算子理论表达式。
• 证明逻辑序的每个初始段均为正交模格，推广了早期结果。
• 通过抽象偏序理论性质（如上界性质与正交性）将量子逻辑结构与信息系统理论统一起来。

提出的方法

• 本文采用抽象偏序理论，重点研究具有上界性质及定义正交关系的近半环。
• 引入反对称交运算作为有界自伴算子集合上的完全二元运算，其定义基于算子值域内最大交换投影。
• 该构造依赖于在第一个算子的值域内，同时与两个运算元交换的投影集合中存在最大元。
• 本文证明反对称交运算满足结合律与幂等律，并满足涉及逻辑序与正交性的特定序理论恒等式。
• 通过应用半群与格论中的已知结构定理，证明该代数系统构成一个右正规反对近半环。
• 通过算子值域内存在最大交换投影，证明有界完备性，从而确保并与交的存在性。

实验结果

研究问题

• RQ1 能否通过如反对称交这样的完全二元运算，对有界自伴算子上的逻辑序关系进行代数刻画？
• RQ2 量子可观测量的逻辑序的每个初始段是否构成正交模格？
• RQ3 古德的并与交在投影与复合运算下的精确算子理论表达式是什么？
• RQ4 逻辑序的性质如何与抽象偏序结构（如近半环与拟正交模格）相关联？
• RQ5 反对近半环结构能否通过共享的代数公理，将量子逻辑与信息系统理论统一起来？

主要发现

• 有界自伴算子集合上的反对称交运算为完全运算，满足结合律，构成具有特定序性质的幂等半群。
• 逻辑序在量子可观测量集合上诱导出一个广义正交代数结构，且每个初始段均为正交模格。
• 古德的并与交可通过算子复合与投影上的格运算显式描述，特别是通过值域内最大交换投影实现。
• 在逻辑序下，有界自伴算子的偏序集具有有界完备性，即每个有上界的子集均存在上确界。
• 逻辑序的结构被证明为右正规反对近半环，通过共享的代数公理将量子逻辑与信息系统理论联系起来。
• 本文通过构造同时与两个算子交换且位于第一个算子值域内的最大投影，给出了有界完备性的简洁证明。