发表机构
Department of Information Engineering, Oita College; National Institute of Technology; Oita 870-0152, Japan（大分学院信息工程系; 国立技术研究所; 日本大分县）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文提出谱符号蕴含定义于投影差值的非负谱投影，满足量子逻辑蕴含条件，并联系两投影算子理论与二元量子判别。
AI 中文摘要
我们研究了量子逻辑中的谱符号蕴含，该蕴含由从后件投影中减去前件投影所得算子的非负谱投影定义。该构造在交换投影上等同于经典实质蕴含，并通过其差值的谱结构比较任意一对投影。它满足哈德格里夫的四条最小蕴含条件、他的逆否命题定律以及一个假值条件。它与标准多项式蕴含的不同之处在于，其取值不一定属于由其参数生成的正交格。在一类均匀的波雷尔构造中，对于投影对，满足蕴含、逆否命题和假值条件的运算恰好对应于谱分支的可测选择。在连续子类中，这三个条件唯一确定了谱符号蕴含。在有限维情形下，该运算也是具有与秩成比例的先验的子空间态之间赫尔斯特罗姆判别的最优投影测试的接受投影中最大的一个。这些结果将量子蕴含与两个投影的算子理论以及二元量子判别联系起来。
英文摘要
We study the spectral sign implication for quantum logic, defined by the nonnegative spectral projection of the operator obtained by subtracting the antecedent projection from the consequent projection. The construction agrees with classical material implication on commuting projections and compares arbitrary pairs of projections through the spectral structure of their difference. It satisfies Hardegree's four minimal implicative conditions, his law of contraposition, and a falsity condition. It differs from the standard polynomial implications in that its value need not belong to the ortholattice generated by its arguments. Within a uniform class of Borel constructions for pairs of projections, the operations satisfying entailment, contraposition, and the falsity condition correspond exactly to measurable choices of spectral branch. In the continuous subclass, these three conditions determine the spectral sign implication uniquely. In finite dimensions, the operation is also the largest among the acceptance projections of optimal projective tests for Helstrom discrimination between subspace states with priors proportional to rank. These results connect quantum implication with the operator theory of two projections and binary quantum discrimination.
