计算机科学 ›› 2020, Vol. 47 ›› Issue (5): 1-6.doi: 10.11896/jsjkx.191200056

所属专题: 理论计算机科学

• 理论计算机科学 • 上一篇    下一篇

直觉主义视角下量子逻辑的进一步解释

周恒, 王拥军, 王宝山, 燕健   

  1. 北京航空航天大学数学科学学院 北京100191
  • 收稿日期:2019-12-06 出版日期:2020-05-15 发布日期:2020-05-19
  • 通讯作者: 王拥军(wangyj@buaa.edu.cn)
  • 作者简介:zhouheng@buaa.edu.cn
  • 基金资助:
    国家自然科学基金(11871083)

Deeper Explanation of Quantum Logic in Intuitionistic Perspective

ZHOU Heng, WANG Yong-jun, WANG Bao-shan, YAN Jian   

  1. School of Mathematical Science,Beihang University,Beijing 100191,China
  • Received:2019-12-06 Online:2020-05-15 Published:2020-05-19
  • About author:ZHOU Heng,born in 1995,postgra-duate.His main research interests include theoretical computer science and logical algebra.
    WANG Yong-jun,born in 1970,associate professor.His main research interests include logical algebra,quantum logic,data mining,etc.
  • Supported by:
    This work was supported by the National Natural Science Foundation of China(11871083)

摘要: 量子计算机将成为计算机科学未来的发展方向之一,量子逻辑是反映量子计算与量子信息的数学基础。Von Neumann用希尔伯特空间的闭子空间表示量子物理系统的性质,构成正交模格,其元素有明确的物理意义,但无法刻画叠加性质;Bob Coecke填加析取元素来表示叠加性质,借助Heyting代数,基于正交模格构造命题格对量子逻辑进行刻画,命题格中元素有明确的数学含义,但物理意义不够明确。针对后者,文中对命题格中元素的物理含义做出了进一步的解释,认为补充的析取元素代表的物理意义为描述叠加性质时所依赖的“观察者视角”,使得命题格中所有元素都获得了清晰的物理含义,通过阐述量子逻辑在测量时的应用,为量子计算中的隐形传态、超距同步等技术提供了重要的理论依据。

关键词: 测量, 叠加性质, 观察者视角, 量子计算机, 析取元素, 直觉主义逻辑

Abstract: Quantum computer is becoming one of ongoing research direction of computer science.Quantum logic is the mathemati-cal foundation of quantum computation and quantum information.Von Neumann represented properties of quantum physical systems by closed subspaces of Hilbert space,thus constituting orthomodular lattice.Elements of orthomodular lattice own definite physical understanding but lack of the ability to describe superposition.Therefore,Bob Coecke constructed propositional lattice with Heyting algebra by adding disjunction elements for superposition.Elements of propositional lattice own definite mathematical meaning but lack of physical understanding.For latter,this paper gives a deeper explanation about physical understanding of elements of propositional lattice.As our viewpoint,the added disjunction elements represent “observer perspective”,which is required while depicting superposition in propositional lattice.Thus,by applying quantum logic on measurement operation,all elements of propositional lattice are given definite physical understanding and provide theoretical basis for quantum teleportation and action at distance.

Key words: Disjunction element, Intuitionistic perspective, Measurement, Observer perspective, Quantum computer, Superposition

中图分类号: 

  • O142
[1]ARUTE F,ARYA K,BABBUSH R,et al.Quantum supremacy using a programmable superconducting processor[J].Nature,2019,574:505-510.
[2]SHEN J,GUI Q Q.Quantum Logic:A Brand New Logic Construction [J].Journal of Anhui University (Philosophy and Social Sciences),2011,35(1):51-58.
[3]BIRKHOFF G,NEUMANN J V.The Logic of Quantum Mechanics[J].The Annals of Mathematics,1936,37(4):823-843.
[4]HARDEGREE G M.The Conditional in Quantum Logic[J].Synthese,1974,29(1):63-80.
[5]KALMBACH G.Orthomodular Lattices[M].London:Academic Press,Inc.[Harcourt Brace Jovanovich,Publishers],1983.
[6]GOLDBLATT R.Orthomodularity is not Elementary[J].Journal of Symbolic Logic,1984,49(2):401-404.
[7]MALINOWSKI J.The Deduction Theorem for Quantum Logic--Some Negative Results[J].The Journal of Symbolic Logic,1990,55(2):615-625.
[8]MOORE D J.Quantum logic requires weak modularity[J].Helvetica Physica Acta,1993(5).
[9]COECKE B.Quantum Logic in Intuitionistic Perspective[J].Studia Logica:An International Journal for Symbolic Logic,2002,70(3):411-440.
[10]COECKE B,SMETS S.The Sasaki Hook Is Not a [Static].Implicative Connective but Induces a Backward [in Time].DynamicOne That Assigns Causes[J].International Journal of Theoretical Physics,2004,43(7/8):1705-1736.
[11]GEHRKE M,HARDING J,VENEMA Y.MacNeille completions and canonical extensions[J].Transactions of the American Mathematical Society,2006,358(2):573-590.
[12]BELLAC M L,JAEGER G.A Short Introduction to Quantum Information and Quantum Computation[J].Physics Today,2007,60(5):64.
[13]RUSSO C.Quantale Modules and their Operators,with Applications[J].Journal of Logic & Computation,2010,20(4):917-946.
[14]ABRAMSKY S,TZEVELEKOS N.Introduction to Categoriesand Categorical Logic[J].Lecture Notes in Physics,2011,813(1).
[15]SHI H,WANG B S,WU M H.Distributive Law in Deduction Mechanism of Logic [J].Computer Science,2016,43(S1):21-24.
[1] 肖治鸿, 韩晔彤, 邹永攀.
基于多源数据和逻辑推理的行为识别技术研究
Study on Activity Recognition Based on Multi-source Data and Logical Reasoning
计算机科学, 2022, 49(6A): 397-406. https://doi.org/10.11896/jsjkx.210300270
[2] 郭斯羽, 吴延冬.
去除离群点的改进椭圆拟合算法
Improved Ellipse Fitting Algorithm with Outlier Removal
计算机科学, 2022, 49(4): 188-194. https://doi.org/10.11896/jsjkx.210200040
[3] 高心悦, 田汉民.
基于改进U-Net网络的液滴分割方法
Droplet Segmentation Method Based on Improved U-Net Network
计算机科学, 2022, 49(4): 227-232. https://doi.org/10.11896/jsjkx.210300193
[4] 林利祥, 刘旭东, 刘少腾, 徐跃东.
前向纠错编码在网络传输协议中的应用综述
Survey on the Application of Forward Error Correction Coding in Network Transmission Protocols
计算机科学, 2022, 49(2): 292-303. https://doi.org/10.11896/jsjkx.210500104
[5] 常子霆, 施雨晴, 王俊, 于明鹤, 姚兰, 赵志滨.
基于双目视觉的车辆速度测量方法
Vehicle Speed Measurement Method Based on Binocular Vision
计算机科学, 2021, 48(9): 135-139. https://doi.org/10.11896/jsjkx.201000047
[6] 范家宽, 王皓月, 赵生宇, 周添一, 王伟.
数据驱动的开源贡献度量化评估与持续优化方法
Data-driven Methods for Quantitative Assessment and Enhancement of Open Source Contributions
计算机科学, 2021, 48(5): 45-50. https://doi.org/10.11896/jsjkx.201000107
[7] 谭玲玲, 杨飞, 易军凯.
基于AVX指令集的Sketch算法优化研究
Optimization Study of Sketch Algorithm Based on AVX Instruction Set
计算机科学, 2021, 48(11A): 585-587. https://doi.org/10.11896/jsjkx.210100205
[8] 卢爱红, 郭艳, 李宁, 王萌, 刘杰.
基于原子范数最小化的二维稀疏阵列波达角估计算法
Direction-of-arrival Estimation with Two-dimensional Sparse Array Based on Atomic NormMinimization
计算机科学, 2020, 47(5): 271-276. https://doi.org/10.11896/jsjkx.191200139
[9] 杜流云, 郑智捷, 郑华仙.
厚壁菌门下两类细菌的DNA全序列可视化研究
Visualization of DNA Sequences of Two Kinds of Bacteria Under Firmicutes
计算机科学, 2020, 47(11A): 192-195. https://doi.org/10.11896/jsjkx.191200070
[10] 赵茜, 陈曙晖.
基于LRBG方法的IP定位研究
LRBG-based Approach for IP Geolocation
计算机科学, 2020, 47(11A): 291-295. https://doi.org/10.11896/jsjkx.200300078
[11] 许锋, 孙洁, 刘世杰.
基于遗传算法的声场重构测量优化方法
Sampling Optimization Method for Acoustic Field Reconstruction Based on Genetic Algorithm
计算机科学, 2020, 47(11): 304-309. https://doi.org/10.11896/jsjkx.200600167
[12] 李孟君, 黎文伟.
基于视觉特性的手机屏幕亮度自适应调节算法
Adaptive Adjustment Algorithm of Mobile Phone Screen Brightness Based on Visual Characteristics
计算机科学, 2019, 46(2): 255-260. https://doi.org/10.11896/j.issn.1002-137X.2019.02.039
[13] 杨思星, 郭艳, 李宁, 孙保明, 钱鹏.
基于数据融合的压缩感知多目标定位算法
Compressive Sensing Multi-target Localization Algorithm Based on Data Fusion
计算机科学, 2018, 45(9): 161-165. https://doi.org/10.11896/j.issn.1002-137X.2018.09.026
[14] 郭艳,杨思星,李宁,孙保明,钱鹏.
非基于测距的压缩感知多测量向量目标定位
Range-free Localization Based on Compressive Sensing Using Multiple Measurement Vectors
计算机科学, 2018, 45(7): 99-103. https://doi.org/10.11896/j.issn.1002-137X.2018.07.016
[15] 朱均超,王坦,张宝峰.
汽车喷油器噪声测量系统的设计
Design of Noise Measurement System for Automobile Injector
计算机科学, 2018, 45(6A): 576-579.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!