Quantum information vs.\ epistemic logic: An analysis of the Frauchiger-Renner theorem
最近的一个禁止定理（Frauchiger和Renner，2018）建立了一个从量子理论的具体应用到多智能体设置的矛盾。这一定理的证明在很大程度上依赖于“知道”或“确信”等概念。这激发了Nurgalieva和del Rio（2018）对该定理的分析，他们声称它显示了“量子设置中模态逻辑的nadequacy”（同上）。在本文中，我们将提供一个显着的扩展和细化重建的定理在多智能体模态逻辑。然后，我们将表明，一个彻底的重建的证明，由Frauchiger和Renner需要自反性的访问关系（系统$\mathsf{\mathbf{T}}$）。然而，一个更强的定理是可能的，它已经在串行帧中遵循，因此也在\emph{doxastic}逻辑系统（如$\mathsf{\mathbf{KD45}}$）中成立。在证明这一点之后，我们将讨论量子概率的不同解释的一般含义以及处理结果的几种选择。
2019-09-26 quant-ph
A refined Frauchiger--Renner paradox based on strong contextuality
University of York（约克大学）；INL – International Iberian Nanotechnology Laboratory（伊比利亚纳米技术国际实验室）
本文通过识别逻辑语境性（Hardy 型）是 Frauchiger-Renner 悖论的关键要素，并基于强语境性的 GHZ-Mermin 场景提出了一个更强的悖论（GHZ-FR 悖论），该悖论无需后选择或量子建模观察者的推理。
2026-05-16 quant-ph
Quantum theory can consistently describe the use of itself in Frauchiger-Renner's Gedankenexperiment
本文质疑Frauchiger-Renner不可行定理的证明，提出思想实验阐明量子态正确书写，指出证明谬误，并探讨借助Hardy悖论修正以使其有效。
2023-05-12 quant-ph
Reasoning across spacelike surfaces in the Frauchiger-Renner thought experiment
本文形式化了Frauchiger-Renner论证，阐明了悖论根源，并澄清了原论证中关于量子力学完备性的缺陷。
2025-03-02 physics.hist-ph quant-ph
The Frauchiger-Renner Gedanken Experiment: Flaws in Its Analysis -- How Logic Works in Quantum Mechanics
本文指出 Frauchiger-Renner 思想实验的分析存在传递性失效、前提不相容及特定运行选择使陈述失效三个逻辑缺陷，并借此探讨量子力学中波函数逻辑与 Wigner/朋友实验的限制。
2023-09-19 quant-ph
Copenhagen interpretation can survive the upgraded Schroedinger's cat Gedankenexperiment
最近，Frauchiger和Renner提出了一个Gedanken实验，声称能够证明量子理论不能一致地描述自身的使用。本文指出，Frauchiger和Renner的结论实际上来自于他们对某些量子态的错误描述。有了正确的描述，无论使用哪种量子解释理论，都不会有不一致的结果。特别是，哥本哈根解释可以同时满足Frauchiger和Renner的所有三个假设（C），（Q）和（S），因此它不存在一致描述自身使用的问题。
2020-06-15 quant-ph
Hardy and Cabello Arguments in Spatial and Temporal Frauchiger-Renner Scenarios
Ferdowsi University of Mashhad（马什哈德 Ferdowsi 大学）；Khayyam University（海亚姆大学）
研究空间和时间扩展的Frauchiger-Renner框架中的Hardy和Cabello逻辑结构，发现空间场景中Cabello违反更强，时间场景中Hardy矛盾消失而Cabello违反仍存在，揭示了空间纠缠与时间多观测者相关性的结构差异。
2026-06-16 quant-ph
The Quantum Rashomon Effect: A Strengthened Frauchiger-Renner Argument
Institute for Software Technology, German Aerospace Center (DLR)（德国航空航天中心软件技术研究所）
本文通过简化设置探讨量子理论自洽性问题，指出不同视角无法统一是由于未能考虑信息限制。
2025-12-19 physics.hist-ph quant-ph
Unitary-Only Quantum Theory Cannot Consistently Describe the Use of Itself: On the Frauchiger-Renner Paradox
弗劳希格-伦纳悖论是基于“测量问题”的悖论的延伸，如薛定谔的猫和维格纳的朋友。所有这些悖论都源于假设量子理论只有幺正（线性）物理动力学，以及随之而来的关于什么算作“测量”的模糊性--即，无法解释从理论本身内部观察到的确定的测量结果。本文讨论了一个基本的不一致，在FR的情况下，在一个更早的点比派生的矛盾：即，固有的不一致性，在治疗不当的混合物（约化密度算子）作为一个适当的，认识的混合物。如果假定量子理论总是幺正的，那么这是一个不合法的过程，但它却是一种地方病。与此相反，在非幺正的量子态约化产生确定结果的情况下，对测量结果使用适当的混合物就变得合法了，这一类悖论就不能成立了。结论是，FR悖论的真正教训是，它是唯一的假设，需要进行批判性的重新评估。
2021-01-26 physics.hist-ph quant-ph
Can quantum mechanics be considered consistent? a discussion of Frauchinger and Renner's argument
我们讨论的论点提出的参考文献。\cite{Frauchiger-Renner}，并表明它并没有特别说明任何不一致的量子力学，而是众所周知的困难，往往被描述为\textquotedblleft移位分裂\textquotedblright：确切的点，在该冯诺依曼减少假设应适用是不好的定义。这就是著名的薛定谔猫或维格纳之友悖论的起源。我们调查的论点参考。\cite{Frauchiger-Renner}，并表明，它结合了不同的代理人假设非常不同的位置的移位分裂，从而以不同的方式应用的减少公设获得的报表。这导致引入了几个不同的态矢量，而这样的描述在标准量子力学中被认为是不相容的。据我们所知，没有一种量子力学的解释包括这种可能性;因此，这个论点指的是一种新形式的量子力学，应该更精确地说明。
2018-07-09 quant-ph
Single-world theory of the extended Wigner's world experiment
Frauchiger和Renner最近声称要证明“量子理论的单世界解释不可能是自洽的”。这与贝尔受玻姆力学启发而提出的一个结构相矛盾，该结构表明，任何量子系统都可以以这样一种方式建模，即在任何时候都只有一个“世界”，但量子理论的预测被再现。这贝尔Bohmian理论适用于Frauchiger和Renner提出的实验，他们的论点是批判性的审查。它的结论是，这是他们的版本的“标准量子理论“，将状态矢量崩溃后测量，这是不自洽的。
2017-03-24 quant-ph
The extended Wigner's friend, many- and single-worlds and reasoning from observation
University of Oxford（牛津大学）
本文探讨了孤立系统的概念及弗拉乌奇格与雷纳的扩展威格纳朋友情景，指出测量过程可能使孤立系统近似失效，且任何涉及主观坍缩的量子理论解释均无法成立，同时指出多重世界与单一世界解释无差异，并强调观察推理需考虑量子擦除的可能性。
2026-05-08 quant-ph
Extended Wigner's friend paradoxes do not require nonlocal correlations
该研究表明扩展的维格纳朋友悖论无需非局域关联，通过利用非语境性失效证明构建不可能定理，依赖新的交换无关性假设，为测量问题研究提供新视角。
2025-11-15 quant-ph
Agents governed by quantum mechanics can use it intersubjectively and consistently
在Frauchiger和Renner发现量子力学和某些常识推理公理之间存在冲突之后，许多工作都在寻找可以避免冲突的替代公理化。然而，这部分工作主要基于对量子力学的特定解释，有时采用主流量子信息专家可能无法访问的专门形式主义。采取解释不可知论的方法，我们提出了一个简单的操作原则，称为叠加唯我论，以帮助理性的代理人在作出情景推理。我们表明，该原则导致健全的推论在所有操作相关的情况下。在此过程中，我们讨论了关于Frauchiger-Renner结果的某些微妙之处，这些微妙之处可能在此之前没有被注意到。
2020-10-02 physics.hist-ph quant-ph
In Defense of a "Single-World" Interpretation of Quantum Mechanics
在最近的一个结果中，弗劳希格和雷纳认为，如果量子理论准确地描述了复杂系统，比如进行测量的观察者，那么“我们被迫放弃存在单一现实的观点。“在回顾了弗劳希格-伦纳的论证之后，我认为量子力学应该从概率的角度来理解，作为一种新的非布尔概率理论，而不是从表象的角度来理解，作为一种关于物理世界的基本组成以及这些元素如何随时间动态演化的理论。我证明了这种理解量子力学的方式与对该理论的一致的“单一世界”解释并不冲突。
2018-04-09 physics.hist-ph quant-ph
Why Bohr was (Mostly) Right
在讨论了弗劳希格-伦纳关于量子力学的“单世界”解释不可能自洽的论点之后，我提出了一个“波赫利”的替代方案，以取代多世界或量子力学。
2017-11-05 physics.hist-ph quant-ph
The Contextual Modal Logic of a Wigner's Friend Generalization
Universidade de São Paulo（圣保罗大学）
本文通过考虑量子系统的情境性，反驳了弗拉乌奇格-伦纳思想实验中所提出的量子力学逻辑不一致性的矛盾。
2026-03-30 math-ph math.MP quant-ph
On the paper "Quantum theory cannot consistently describe the use of itself"
在D. Frauchiger和R.伦纳试图证明一个“行不通的定理”，该定理指出，要么量子理论不能普遍适用，即使是宏观系统，要么一些非常直观的性质有关递归推理和uniquenes的物理值必须是假的。在本文中，我们给出了一个简洁的描述，并在证明中的细节。
2021-06-14 quant-ph
How the Quantum Sorites Phenomenon Strengthens Bell's Argument
最近，Colbeck和Renner（2011）[arXiv：1005.5173]发表了一个比Bell（1964）定理更强的定理，比Bell定理50年来发表的Bell定理的其他变体更重要。Colbeck和Renner本身并没有将他们的定理直接与Bell定理联系起来，所以在这里我提出了一个版本的Colbeck-Renner定理，使这种关系变得明确。
2014-03-06 quant-ph
About Wigner Friend's and Hardy's paradox in a Bohmian approach: a comment of `Quantum theory cannot' consistently describe the use of itself'
这是对D. D.最近发表的文章“量子理论不能一致地描述自身的使用”的分析。Frauchiger和R. Renner~ \cite{1}。在这里，我从德布罗意-玻姆隐变量理论（即，Bohmian力学）。我还从哥本哈根解释的角度分析了这个问题（即，Bohrian解释），并表明这两种观点都是自洽的，并不导致与量子理论的“单一世界”描述的任何矛盾。
2018-12-12 quant-ph
To the rescue of Copenhagen interpretation
最近的一篇论文“量子理论的单世界解释不能自洽”[arXiv：1604.07422]由D. Frauchiger和R.伦纳吸引了更广泛的物理学观众的极大兴趣，并很快引起了一些答复。尽管随之而来的反对意见，我们发现，有争议的初始索赔的重要部分并没有被反驳-相反，在最初的文件和答复中提出的论点似乎不再留下量子力学的基本哥本哈根解释的空间。我们重新审视这场争论，试图找出其核心的确切现象，指出问题的某些方面似乎大多被忽视了。考虑到所有的结论，我们在这里提出了新的方法来处理表面上的悖论，其中哥本哈根解释是自然保存。鉴于弗劳希格尔和雷纳论文中提出的论点以及随后的回答都围绕着维格纳的朋友是否只会感知到一个或两个可能的结果，我们提供了第三个非常明显的解决方案-即，维格纳的朋友，在众所周知的设置中，会主观地感知到潜在冲突结果中的{ \it none}。作为一个旁注，我们还认为，与经常陈述的信念相反，维格纳的朋友思想实验的假设的真实实验实现实际上不会为我们提供任何新的见解到量子力学。
2018-09-05 physics.hist-ph quant-ph
How Quantum Mechanics can consistently describe the use of itself
我们讨论了不去弗劳希格和伦纳定理的基础上“扩展维格纳的朋友”的思想实验，这是应该表明，任何单世界的解释量子力学导致不一致的预测，如果它是适用于所有尺度。我们表明，没有这样的不一致性发生，如果一个考虑一个完整的描述的物理情况。然后，我们讨论的思想实验的影响，没有明确解决在原来的文件，包括相对论和非局域效应之间的紧张局势预测的量子力学。我们的讨论特别适用于玻姆力学。
2018-11-06 physics.hist-ph quant-ph
Wigner and his many friends: A new no-go result?
2016年4月，Daniela Frauchiger和Renato Renner在网上发表了一篇文章，他们介绍了一个Gedanken实验，该实验使他们得出结论，量子理论的单世界解释不能自洽。在2018年9月发表的这篇论文的新版本中，作者们缓和了他们最初的主张，得出结论认为量子理论不能外推到复杂系统，至少不能以直接的方式外推。这篇文章的目的是提供一个仔细重建的F-R论证，这使我们能够表明：（i）论证可以更清楚地表述，而不涉及主体知道或看到什么，而只是根据量子命题，（ii）与一些评论家的假设相反，论证不需要坍缩假设来得出结论，（iii）F-R论证所产生的矛盾是通过在不同和不相容的语境之间进行经典连词来推断的。在这个澄清的基础上，我们最后将论证，F-R论证的结论并不像它的巨大影响可能使我们假设的那样新颖和原创。
2019-04-16 physics.hist-ph quant-ph
