首页/论文/1302.6003

arXiv 1302.60032013-02quant-ph

量子逻辑与弱值

Quantum logic and weak values

Riuji Mochizuki

备注：: 1 figure

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

在这项研究中，我们从量子逻辑的角度研究弱值。此外，我们还研究了哈代悖论的反事实陈述的有效性，这些陈述是基于弱值的，我们表明，这些陈述没有得到验证。它还表明，奇怪的弱值可能只出现，如果他们不是（条件）概率。PACS编号：03.65.Ta、03.65.Ud、03.65.Ca

英文摘要：

In this study, we study weak values from a quantum-logical viewpoint. In addition, we examine the validity of the counterfactual statements of Hardy's paradox, which are based on weak values, and we show that these statements have not been validated. It is also shown that strange weak values may only appear if they are not (conditional) probabilities. PACS numbers: 03.65.Ta, 03.65.Ud, 03.65.Ca

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

一种弱直觉量子逻辑

A Weakly Intuitionistic Quantum Logic

在本文中，我们激发和研究直觉量子逻辑的可能性。一个明确的调查的应用理论的布伦斯和Lakser分配壳对传统的量子逻辑（建议在[科]）导致我们对这个计划的一个小的修改。这样我们得到一个弱Heyting代数（cf. [CJ])来描述量子力学的语言。

2010-09-23quant-ph

量子力学中的逻辑矛盾

Logical inconsistencies in quantum mechanics

我表明，应用量子力学（QM）的哪一路弱测量方案的Vaidman可能会导致逻辑上的不一致。为此，我研究投影算子的弱值。弱值是（标准化的）幅度，操作上由弱测量和后选择定义。投影机弱值有直接的物理意义。这允许在经典术语中形成不一致，即，几个测量装置读数的矛盾。为了解决这个矛盾，我还利用弱测量的性质，不使波函数坍缩，而是使系统的状态保持不变（在弱测量强度下保持最低阶）。我的论点完全依赖于基本的QM规则加上普遍接受的弱QM测量近似。因此，这种不一致性对QM本身提出了挑战。

2018-04-13quant-ph

弱耦合量子位的量子逻辑

Quantum logic with weakly coupled qubits

存在用于执行CNOT量子逻辑的众所周知的协议，其中量子位通过特定的高对称性（伊辛或海森堡）相互作用耦合。然而，许多被考虑用于量子计算的架构涉及量子比特或量子比特和通过更复杂和更不对称的相互作用耦合的谐振器。在这里，我们考虑了一个广泛适用的弱耦合但任意耦合的二能级系统模型，并使用量子门设计技术，推导出一个简单直观的CNOT结构。有用的变化和扩展的解决方案给出了常见的特殊情况。

2009-06-29quant-ph

量子弱值与逻辑，一对不和谐的夫妇

Quantum weak values and logic, an uneasy couple

投影算符的量子力学弱值已经被用来回答哪条路的问题，例如追踪一个粒子从一个给定的初始状态到一个指定的最终状态在多马赫-曾德尔设置中可能穿过的臂。我表明，这个过程可能会导致逻辑上的不一致，在这个意义上说，不同的方法来回答复合问题，如粒子穿过的方式X或Y？，可能会导致不同的答案，这取决于使用哪种方法来找到答案。我通过考虑一些例子来说明这个问题：Aharonov等人的量子鸽子框架，三个盒子问题和Hardys悖论。为了准备我的主要结论的基础上不兼容在某些情况下的弱值和逻辑，我研究了相应的情况下强/投影测量。在这种情况下，只要总是小心地指定所指的是哪个系综或样本空间，就不会发生逻辑上的不一致。我的结果对量子弱值在处理上述例子中的效用提出了质疑。

2017-01-17quant-ph

量子程序的霍尔逻辑

Hoare Logic for Quantum Programs

Hoare逻辑是经典程序公理化语义的基础，它为经典程序的正确性推理提供了有效的证明技术。为了提供类似的量子程序验证技术，并建立一个量子计算机编程方法的逻辑基础，我们开发了一个完整的霍尔逻辑的部分和全部正确的量子程序。通过利用量子程序的最弱前提和最弱自由前提的力量，证明了该逻辑是（相对）完备的。

2009-06-25quant-ph

外生量子命题逻辑的弱完备公理化

Weakly complete axiomatization of exogenous quantum propositional logic

给出了外生量子命题逻辑EQPL的一个弱完备有穷公理化。证明进行了使用非平凡的扩展的Fagin-Halpern-Megiddo技术与三个Henkin风格的完成。

2005-03-22cs.LOmath.LOquant-ph

更多相关论文收起更多论文

特征逻辑：多值和模糊系统的量子观点

Eigenlogic: a Quantum View for Multiple-Valued and Fuzzy Systems

利用Hilbert空间中的观测量族，提出了二值和多值逻辑的一种矩阵模型，特征值给出逻辑命题的真值，其中原子输入命题情况由相应的特征向量表示.对于使用真值{0，1}的二进制逻辑，逻辑可观测量是成对交换投影器。对于真值{+1，-1}，算符系统形式上等价于复合自旋1/2系统，逻辑观测量是属于泡利群的等距。此外，在这种方法中，模糊逻辑自然出现时，考虑非特征向量。模糊隶属度函数是由逻辑投影观测量的量子平均值得到的，它是一个与最近的量子认知模型相一致的概率测度。多值逻辑与量子角动量的类比，然后建立。三值逻辑的逻辑观测量被公式化为轨道角动量l=1的Lz观测量的函数。显式地获得了Min和Max联结词的代表性3值2参数逻辑可观量。

2016-07-07quant-ph

开放n量子比特系统作为四值逻辑量子计算机

Open n-Qubit System as a Quantum Computer with Four-Valued Logic

本文将量子计算机的一般模型推广到一个模型，其中态是密度矩阵的算符，门是一般的超算符（量子运算），而不必是幺正的。本文考虑n个二能级量子系统（开或闭n量子比特系统）的混合态（密度矩阵算符）作为$4^{n}$维算符希尔伯特空间（Liouville空间）的元素。它允许使用具有4值逻辑的量子计算机（电路）模型。该模型的门是作用于n-quats态的一般超算子。Ququat是四维（算符）希尔伯特空间中的量子态。酉二值逻辑门和n量子比特开放系统的量子运算被认为是作用于n-四元的四值逻辑门。讨论了量子四值逻辑门的性质。本文研究了量子四值逻辑门的普适性。

2001-12-04quant-ph

量子计算中的多值逻辑门

Multi-valued Logic Gates for Quantum Computation

我们开发了一种用于多能级量子系统的量子计算的多值逻辑，并讨论了这种方法在按比例放大量子计算机方面的实际优势。推广二进制量子逻辑的方法，我们建立了任意数量的d-能级系统（d > 2）上的任意幺正操作可以分解成逻辑门，一次只对两个系统进行操作。我们表明，这样的多值逻辑门的线性离子阱计划的背景下，量子计算实验是可行的。通过在该方案中使用每个离子中的d个能级，我们将计算所需的离子数量减少了log d的因子。

2000-06-12quant-ph

基本逻辑与量子纠缠

Basic Logic and Quantum Entanglement

众所周知，量子纠缠是量子计算最重要的特征之一，因为它导致大规模的量子并行性，从而使计算速度呈指数级提高。从某种意义上说，量子纠缠被认为是量子计算本身的一种隐含性质。但是...可否说得清楚一点？换句话说，是否有可能在机器语言的逻辑微积分中找到连接符“纠缠”？还有，有没有可能“教”量子计算机“模仿”EPR“悖论”？答案是肯定的，如果逻辑微积分是最弱的可能逻辑，即基本逻辑。弱逻辑几乎没有结构规则。但在逻辑中，弱结构为连接词留下了更多的空间（例如连接词“纠缠”）。此外，在基本逻辑中，压缩和弱化这两个结构规则的缺失分别对应于量子计算中的不可克隆定理和不可擦除定理的有效性。

2007-02-05hep-thmath.LOquant-ph

多值逻辑能帮助理解量子现象吗？

Can many-valued logic help to comprehend quantum phenomena?

继Eschukasiewicz，我们认为，未来的不确定性事件应使用多值，而不是2值逻辑来描述。Greenberger-Horne-Zeilinger“悖论”被证明是一个人工制品所造成的不合理的使用2值逻辑，同时考虑未来的不确定事件的结果。在量子物体被测量之前，对它们的性质的描述应该使用命题函数来完成，这些命题函数形成了一个特定的无限值的Rukasiewicz逻辑模型。这个模型的特点是它所使用的否定、合取和析取等特定运算。

2014-08-12physics.hist-phquant-ph

量子逻辑和标准经典逻辑的非正交模模型：量子计算机的约束

Non-Orthomodular Models for Both Quantum Logic and Standard Classical Logic: Repercussions for Quantum Computers

结果表明，量子逻辑和经典逻辑的命题演算都是非范畴的。我们发现，量子逻辑是除了正交模格也建模的弱正交模格和经典逻辑是除了布尔代数也建模的弱分配格。这两个新模型都是非正交模的。我们证明了模型演算的可靠性和完备性。我们还证明了正交模格中的所有运算都是五重定义的。最后，我们讨论了我们的结果可能对量子计算和量子计算机的影响。

1999-09-12math.LOmath.QAquant-ph

混合态四值逻辑量子计算机

Quantum Computer with Mixed States and Four-Valued Logic

本文讨论了一种量子计算机模型，其中态是密度矩阵的算符，门是一般的量子运算，不一定是幺正的。将n个二能级量子系统的混合态（密度矩阵的算符）看作4^n维算符希尔伯特空间（Liouville空间）的元素。它允许使用具有四值逻辑的量子计算机模型。该模型的门是作用于n-quququat态的一般超算符。Ququat是四维（算符）希尔伯特空间中的量子态。酉二值逻辑门和n量子比特开放系统的量子运算被认为是作用于n量子的四值逻辑门。讨论了量子四值逻辑门的性质。本文研究了量子四值逻辑门的普适性。

2003-12-15cond-mat.softhep-thquant-ph

超赋值逻辑中量子命题真值分配的可容许性

Admissibility of truth assignments for quantum propositions in supervaluational logic

由希尔伯特空间的闭线性子空间形成的完备格的结构（即，希尔伯特晶格）从物理观点来看必然会带来一些不合理的后果。具体来说，这种结构似乎与Kochen-Specker定理的局部化变体相矛盾，根据该定理，由不属于状态共享的布尔代数的闭合线性子空间表示的命题的双赋值必须是值不定的，其中量子力学系统是准备好的。由于这个原因，希尔伯特晶格结构似乎过于强大，需要削弱。问题是，它应该如何被削弱，以支持量子不确定原理和Kochen-Specker定理？一个弱化的结构将认同哪种逻辑？本文试图回答这些问题。

2018-09-06math-phmath.MPquant-ph

不可约真假值代数满足许多一阶代数逻辑的完备性

Irreducible Truth-Value Algebras Suffice for the Completeness of Many First-Order Algebraic Logics

众所周知，一阶经典逻辑的希尔伯特式演绎系统对于使用所有布尔代数作为真假值代数构建的模型论是可靠和完备的，当且仅当它对于仅使用不可约布尔代数（它们都同构于二元布尔代数）的模型论是可靠和完备的。本文对代数语义满足某些极小假设的任何一阶逻辑证明了一个类似的结果，并将此结果应用于一阶量子逻辑。

2016-06-20math-phmath.LOmath.MP