[论文解读] Bertlmann's chocolate balls and quantum type cryptography

Karl Svozil|ArXiv.org|Mar 2, 2009

Quantum Mechanics and Applications参考文献 39被引用 4

一句话总结

本文提出将量子值不定性——源自贝尔型与科亨-斯佩克尔型定理——作为增强量子密码协议安全性的基础资源。通过构建类量子密码学的巧克力球模型，证明只有具有三个或以上互斥结果的系统才能实现超越互补性的真正量子保护，揭示出两结果系统因存在两值态而易受经典模拟攻击。

ABSTRACT

Some quantum cryptographic protocols can be implemented with specially prepared chocolate balls, others protected by value indefiniteness cannot. Similarities and differences of cryptography with quanta and chocolate are discussed. Motivated by these considerations it is proposed to certify quantum random number generators and quantum cryptographic protocols by value indefiniteness. This feature, which derives itself from Bell- and Kochen-Specker type arguments, is only present in systems with three or more mutually exclusive outcomes.

研究动机与目标

• 在值不定性作为安全资源的背景下，重新评估量子密码协议。
• 识别出超越互补性之外实现真正量子保护的最小量子要求——三个或以上互斥结果。
• 证明两结果系统尽管在互补性下看似安全，仍因存在两值态而易受经典近似模型攻击。
• 引入一个巧克力球玩具模型，可实现互补性但无法实现值不定性，以说明经典类比的局限性。
• 表明某些命题结构（如每上下文含三个原子的三角形结构）在量子力学中不可实现，从而揭示非量子密码结构的存在。

提出的方法

• 构建基于四元素集合上集合划分的划分逻辑模型，以在不涉及值不定性的情况下模拟互补性。
• 使用格里希图（Greechie图）表示由重叠布尔子代数导出的非布尔、正交补命题结构。
• 应用两值态（同态）检验命题结构是否可实现为经典模型。
• 通过分析两值态的存在性，判断系统是否为值确定或值不定，若不存在此类态则表明其具有量子特性。
• 引入一个巧克力球模型，包含三种颜色和四种类型，每种类型在不同颜色滤镜下标记不同符号，以模拟上下文依赖性。
• 证明每上下文含三个原子的三角形命题结构无法嵌入三维希尔伯特空间，因此为非量子结构。

实验结果

研究问题

• RQ1 值不定性能否作为比互补性更强的安全资源用于量子密码学？
• RQ2 为何两结果量子系统不足以保证抵御经典模拟？
• RQ3 实现值不定性保护所需的最小互斥结果数量是多少？
• RQ4 巧克力球模型能否在保持经典可解释性的同时模拟量子密码协议？
• RQ5 是否存在逻辑上一致但物理上无法在量子力学中实现的命题结构？

主要发现

• 源自贝尔型与科亨-斯佩克尔型定理的值不定性，是量子系统抵御经典模拟的必要条件。
• 仅当系统具有三个或以上互斥结果时，才可能表现出值不定性；两结果系统始终为值确定，因此易受经典模型攻击。
• 命题结构中若存在两值态，意味着该系统可被经典模拟，从而削弱量子安全性。
• 基于两结果集合划分的巧克力球模型可实现互补性但无法实现值不定性，表明其不足以提供完整的量子保护。
• 每上下文含三个原子的三角形命题结构无法在量子力学中实现，表明存在非量子密码结构。
• 本文确立了量子非定域性与上下文依赖性并不等同于值不定性，后者是独立且更强的安全资源。