Asymptotically Consistent Measures of General Quantum Resources: Discord, Non-Markovianity, and Non-Gaussianity
本文提出资源度量的渐近一致性公理，证明相对熵度量对包括量子失谐、非马尔可夫性和非高斯性在内的广泛资源类均与渐近变换速率一致，为一般量子资源提供了不矛盾的量化方法。
2023-09-20 quant-ph
On Markovianity and classicality in multilevel spin-boson models
我们提供了一个详细的讨论的酉和约化的演化所引起的家庭的哈密顿模型描述一个多能级系统，与一个基态和一个可能的多能级激发扇区，耦合到一个多模玻色子场通过一个驻波相互作用。我们明确证明，该系统，在限制中的耦合是平坦的玻色子频率，是马尔可夫在任何基地的尖锐的测量下，我们还发现必要和充分条件下，该过程是经典的，即其家庭的多时间联合概率分布满足Kolmogorov一致性条件，并因此可以等效地获得一个经典的随机过程。
2022-10-14 math-ph math.MP quant-ph
Approximate Consistency and Prediction Algorithms in Quantum Mechanics
本论文研究封闭系统的量子力学的相容历史表述中出现的问题。各种标准的近似一致性进行了分析。Dowker-Halliwell准则和球填充问题之间的连接，并用于证明几个新的界限违反概率和规则。量子芝诺效应也分析了一致的历史形式主义，并用来证明在讨论近似一致性所涉及的一些困难。与零历史和无限集的并发症进行了简要讨论。利用施密特分解的性质来定义一个算法，该算法选择一个单一的，物理上自然的，一致的纯初始密度矩阵集的可能性进行了研究。出现的问题进行了解释，并讨论了不同的可能的算法。他们的属性进行了分析与简单的模型的帮助下。描述了一组计算机程序，其将算法应用于更复杂的例子。提出了另一种算法，该算法选择具有最高香农信息的一致集（使用施密特投影形成）。这是适用于一个简单的模型，并产生物理上合理的历史。该理论能够对封闭的量子系统进行无条件的概率预测，并且强到足以证伪。将理论应用于更复杂的例子的想法进行了讨论。
1997-07-29 quant-ph
Frauchiger-Renner argument and quantum histories
在这篇文章中，我们重建弗劳希格和伦纳的论点，考虑到该论点的主张是在不同的时间。为了做到这一点，我们使用了量子历史的一种形式，即相容历史理论。我们表明，所谓的矛盾结论的论点需要计算概率的历史家族，不满足一致性条件，即，一个理论的无效的历史家族。
2019-11-26 quant-ph
Partial Decoherence of Histories and the Diosi Test
在量子理论的退相干历史方法中，注意力集中在概率可以分配给量子历史集合的条件上。人们已经提出了各种各样的条件，但最重要的一个是退相干，这意味着集合中每对历史之间的干扰为零。较弱的条件，如一致性，或线性正性，但这些都排除了一致的子系统组成的要求，提出了由Diosi。在这里，我们提出了一个新的条件，我们称之为部分退相干，这是要求每一个历史与它的否定零干扰。这比退相干弱，比线性正性强（但它与一致性的关系定义得不那么简单--既不强也不弱）。最重要的是，它满足Diosi条件。提出了一个加强的Diosi条件，由于非均匀历史的一个不寻常的性质，部分退相干勉强失败。在附录中给出了一个例子的一组历史是一致的，但不退相干。
2009-04-28 quant-ph
Probability in decoherent histories
退相干（一致）历史形式主义已经被提出作为消除测量的一种手段，测量是量子力学中的一个基本概念。在这种形式主义中，概率可以分配给任何满足特定一致性条件的描述。然而，与经典物理学不同，形式主义承认不能结合的不相容描述。这似乎在描述的选择上留下了歧义。我认为，这种模糊性是通过考虑作为一个物理系统的观察者。
2003-02-04 quant-ph
Quantum Histories and Their Implications
经典力学和标准哥本哈根量子力学都考虑了子空间的含义。例如，如果一个粒子被限制在空间的一个特定区域$R$中，那么在这些理论中，我们可以推导出它被限制在包含$R$的区域中。然而，子空间的含义通常是违反了量子理论的版本，分配概率的历史，如一致的历史方法。我在这里定义了一个新的标准，有序一致性，它细化的一致性标准，并具有的属性，有序一致集的推理不违反子空间关系。这就提出了一个问题：定义我们的观测的算子是否形成了一个有序的一致的历史？如果是这样的话，有序一致性定义了一种比一致历史形式主义具有更大预测能力的量子理论。如果不是，并且我们的观测是由无序一致的量子历史定义的，那么子空间的含义通常是无效的。
2000-05-23 gr-qc quant-ph
The Objective Past of a Quantum Universe: Redundant Records of Consistent Histories
受量子达尔文主义的启发，并认识到冗余在识别具有客观经典现实的弹性特征的量子态的小子集中所起的作用，我们探讨了冗余记录对一致历史的影响。相容历史形式主义是描述在演化的封闭量子系统中发生的事件序列的工具。一组历史是一致的，当人们可以使用布尔逻辑来推理它们时，即，当定义历史的事件序列的概率是可加的时。然而，绝大多数仅仅是一致的历史集合在其他方面是公然非经典的。这个集合选择问题表明，我们必须超越一致性，才能确定经典的过去是如何在我们的量子宇宙中出现的。我们遵循的关键直觉是，定义熟悉的客观过去的事件记录被铭刻在许多不同的系统中，例如，环境的子系统，并在空间和时间上可供观察者本地访问。我们确定的历史，不仅是一致的，但冗余一致的部分跟踪条件引入芬克尔斯坦作为历史和退相干之间的桥梁。冗余记录的存在是冗余一致性的一个充分条件。它从众多的可供选择的一致历史集合中选择一个小的子集，该子集具有客观经典过去的冗余记录特征。于是，关于过去的客观历史的信息就同时为许多人所掌握，他们能够独立地重建它，并在现在得出相容的结论。
2016-04-14 quant-ph
Branch dependence in the "consistent histories" approach to quantum mechanics
在相容历史形式主义中，人们指定一个历史族作为量子系统动力学的成对排他性描述的穷举集。我们定义了分支的历史族，它在历史族的两个可用的数学精确定义之间找到了一个中间地带，即，产品系列和Isham的历史投影算子形式主义。前者的应用范围太窄，后者的普遍性是以一定的代价来的，除非对“历史”进行直观的阅读。分支族保留了产品族的直观性，它们允许将历史权重解释为概率，并且允许区分两种粗粒度，从而重新考虑一致性条件的动机。
2006-11-12 quant-ph
The Geometry of Consistency: Decohering Histories in Generalized Quantum Theory
本文探讨了广义“相容历史”量子理论中退相干的几何性质，揭示了该理论与任何特定应用无关的性质，并指出了封闭量子系统的退相干泛函如何可以看作是该系统的Hilbert空间上的线性算子空间上的厄米特形式。这一识别表明了退相干泛函的一些结构性质。例如，确定一致集合中历史的最大数量的界限。当退相干泛函是正的时--就像在传统的量子力学中一样--它在历史算子空间上定义了一个半内积。这表明相容的历史集正好是这个内积的正交集。它进一步暗示了正消相干泛函的Cauchy-Schwarz不等式和三角不等式的普遍存在性。阐明了ILS定理的几何意义，并给出了类算子上的ILS定理的一个版本。根据一个给定的退相干泛函的历史算子一致的类被发现，并且，相反地，它示出了如何构造退相干泛函，根据该退相干泛函，一组给定的历史是一致的。更一般地说，这里发展的“几何”观点提供了一种强有力的统一语言，用以解决广义量子理论中的问题。
1997-04-17 gr-qc quant-ph
On the Consistency of the Consistent Histories Approach to Quantum Mechanics
一致历史（CH）形式主义旨在建立一个量子力学框架，甚至可以应用于整个宇宙。CH强调历史对量子力学的重要性，而不是测量，并坚持认为一个令人满意的量子力学公式允许一个量子系统的概率分配替代历史。它进一步提出，每个领域，也就是说，可以分配概率的每一组历史，提供了一个有效的量子力学帐户，但不同的领域可以相互不兼容。最后，它的一些支持者提供了一个“进化”的解释，我们在宇宙中的存在和我们的偏好准经典的描述自然。目前的工作问题的有效性提供CH支持者声称，它解决了许多解释问题，在量子力学。特别是，我们指出，框架的解释留下模糊的两个关键点，即，是否领域是固定的或选择和测量和历史之间的联系。我们的主张是，这样做，CH忽略了量子力学的主要解释问题。此外，我们挑战进化的解释提供，我们批判性地研究所提出的概念的领域依赖的现实。
2013-09-04 gr-qc physics.hist-ph quant-ph
Consistent Histories and Quantum Reasoning
将非相对论性量子力学视为随机理论，建立了一个封闭系统的量子推理系统。样本空间对应于希尔伯特历史空间上的恒等算子的分解，作为正交投影的和。只要满足一致性条件，相应的历史布尔代数，称为{ \it框架}，可以用通常的方式分配概率，并且在单个框架内，量子推理与普通的概率推理是相同的。细化规则允许概率分布从一个框架扩展到更大的（细化的）框架，它结合了量子理论的动力学定律。两个或两个以上不相容的框架，因为它们没有共同的细化，不能同时用来描述一个单一的物理系统。
1996-06-04 quant-ph
Variational Consistent Histories as a Hybrid Algorithm for Quantum Foundations
虽然量子计算机被预测有许多商业应用，但很少有人关注它们解决量子力学基础问题的潜力。在这里，我们专注于量子计算机的效用一致的历史形式主义，这是以前被用来研究量子宇宙学，量子悖论，量子到经典的过渡。我们提出了一个变分混合量子经典算法寻找一致的历史，这应该振兴兴趣，这种形式主义，允许经典不可能的计算进行。在我们的算法中，量子计算机评估退相干泛函（在量子比特数和历史次数方面都具有指数加速），并且经典优化器调整历史参数以提高一致性。我们在云量子计算机上实现了我们的算法，以找到磁场中自旋的一致历史，并在模拟器上观察手性分子经典性的出现。
2019-08-12 quant-ph
Non-Markovian and Thermodynamic Signatures in the Classicality Assessment via Kolmogorov Consistency
Nanyang Technological University（南洋理工大学）；Universität Siegen（锡根大学）
本文通过Kolmogorov一致性条件揭示了非马尔可夫性和热力学特征在经典性评估中的关联，建立了经典与量子动力学的边界，并提供了开放量子系统中量子性的统一框架。
2026-01-03 quant-ph
Anomalies of weakened decoherence criteria for quantum histories
为了子系统统计独立性的要求，检验了退相干历史理论。引人注目的是，只有当退相干泛函在其实部和虚部都是对角的时，这才得到满足。特别是，分配概率所需的一致性（或弱退相干）条件似乎被排除了。通过声称退相干历史具有合理的动力学鲁棒性，独立地得到了相同的结论。
2003-10-30 gr-qc quant-ph
Decoherent Histories for Spacetime Domains
在量子理论中，退相干历史方法是一种解决问题的自然媒介，它以非平凡的方式涉及时间。本文回顾了各种尝试和困难，涉及使用的退相干历史的方法来计算概率穿越表面$x=0$在有限的时间间隔。通常遇到的困难，在分配交叉时间出现在这里的困难，在满足一致性（无干扰）的条件。这可以通过引入一个环境来产生退相干来克服，并获得表现出预期的经典极限的概率。然而，概率在某种程度上取决于散肩环境。最近提出的不可逆检测器模型的结果进行了比较。第三种方法介绍，涉及连续量子测量理论。本文介绍了量子宇宙学中有关波函数解释的一些密切相关的工作。
2001-01-19 quant-ph
Weak Values and Consistent Histories in Quantum Theory
得到了量子可观测量的弱值与量子事件历史的一致性判据之间的关系。它表明，“奇怪”的投影算子（如值小于零）的弱值总是对应于不一致的家庭的历史。有人认为，使用ABL规则来获得对应于这些奇怪的弱值的反事实测量的概率给出了不一致的结果。这个问题被证明是补救使用的条件权重，或伪概率，从Luders规则的多次应用。有人认为，反向因果关系的假设（一种形式的时间对称性）意味着弱值获得，在一个有限的意义上，在弱测量的时间，以及在后选择的时间。最后，有人认为，弱值更适当的特点是多时间的振幅比期望值，因此可以说很少的反事实的问题。
2003-02-24 quant-ph
Properties of Consistent Histories
本文描述了Gell-Mann-Hartle形式主义中相容性历史集的一些性质，并举例说明了仅用相容性准则不能恢复准经典物理学的标准预言、回溯和推论.
1996-01-30 gr-qc hep-th quant-ph
Quantum Histories
考虑某种类型的量子历史形式主义有很好的动机。几种可能的形式主义是已知的，由事件的不同定义和历史集的不同选择标准定义。这些形式主义有一种自然的解释，根据这种解释，自然以某种方式从那些允许的历史中选择一组历史，然后随机选择从该组历史中实现一个历史;其他解释是可能的，但它们的科学含义基本上是相同的。迄今为止提出的选择标准相当自然，当然也提出了新的问题。例如，我们通常认为理所当然的有序推论的有效性-例如，一个区域中的粒子必然在包含它的更大区域中-取决于我们的历史是否尊重有序一致性的标准，或者仅仅是一致性。然而，已知的选择标准，包括一致性和介质退相干，是非常薄弱的。从经典力学或哥本哈根量子力学定义的理论中推导出它们的预言是不可能的，即使在一个较长的时间间隔内给出了观测数据。试图完善相容的历史方法，以便通过找到准古典性的定义来解决这个问题，到目前为止还没有成功。另一方面，它表明，动力学崩溃模型，最初提出的类型由Ghirardi-Rimini-Weber，可以重新解释为集选择标准在量子历史的框架内，在这种情况下，他们出现作为候选解决方案的集选择问题。这表明一个新的路线相对论推广这些模型，因为协变定义的量子事件是已知的。
1998-09-04 gr-qc hep-th quant-ph
Incompatible Multiple Consistent Sets of Histories and Measures of Quantumness
在量子理论的一致性历史（CH）方法中，概率被分配给受可忽略干涉的一致性条件约束的历史。该方法的特点是，一个给定的物理情况承认多套一致的历史，不能在一般情况下被统一成一个单一的一致的一套，导致一些反直觉或相反的性质，如果命题从不同的一致的集合被不加区别地结合起来。另一种观点是，提出了多个一致的集合进行分类，根据是否存在任何统一的概率不兼容的集合的组合，复制一致的历史结果时，限制在一个单一的一致的集合。展示了一些例子中，这种分类可以作出，在某些情况下，与援助的贝尔，CHSH或Leggett-Garg不等式与罚款的定理。当统一概率存在时，不同相容集合中的逻辑推理事实上可以合并，这是“单一框架规则”的扩展。有人认为，这种分类与经典和量子制度之间的边界的直观概念相吻合，特别是，一致的集合的某些组合的统一概率的情况下，被认为是衡量系统的“量子性”。所提出的方法和结果是密切相关的最近的工作分类的准概率和这种连接进行了讨论。
2017-06-30 quant-ph
Contrary Inferences for Classical Histories within the Consistent Histories Formulation of Quantum Theory
University of Gdánsk（格但斯克大学）；Foundation for Research and Technology Hellas (FORTH)（希腊研究与技术基金会）；University of Edinburgh（爱丁堡大学）
本文通过分析无限方井中球的到达时间问题，展示在一致历史框架下，不同一致集合导致矛盾推断，揭示准经典极限中上下文性悖论的持续存在。
2025-12-02 quant-ph
Timeless configuration space and the emergence of classical behavior
在量子宇宙学的背景下讨论量子退相干的内在困难在于，退相干需要子系统，而宇宙学是对整个宇宙的研究。一致的历史给了这个难题一个可能的答案，通过措辞的退相干作为封闭系统的替代历史之间的干扰损失。当一个人可以将布尔逻辑应用于一组历史时，它被认为是“一致的”。然而，绝大多数仅仅是一致的历史集合在其他方面显然是非经典的，需要调用比一致性更进一步的约束。在本文中，我试图通过探索封闭系统的量子力学的永恒解释，对相容历史所面临的问题给出另一种答案。这完全是在非相对论的，无时间的，配置空间的路径积分。在这种背景下，促使人们重新审视这些基础问题的是多重引力模型的出现，在这些模型中，洛伦兹对称性不是基本的，而是突现的。这种方法克服了以前对量子力学的无时间性、条件概率解释的障碍，这是新的记录概念--由于位形空间固有的不对称性而成为可能。我概述并探讨了这种方法对量子力学基础问题的影响，如玻恩法则的自然出现、概率守恒和睡美人悖论。
2018-05-04 quant-ph
Consistent Histories in Quantum Cosmology
我们说明了退相干（量子历史的一致性）在提取一致的量子概率在量子宇宙学的替代历史中发挥的关键作用。具体地说，在一个平坦的Friedmann-Robertson-Walker宇宙学模型的Wheeler-DeWitt量子化与自由无质量的标量场的来源，我们计算的概率，宇宙是奇异的，在这个意义上，它假定为零体积。该模型的经典解是一组不相交的扩张和收缩奇异分支。对膨胀和收缩宇宙叠加的量子态的行为的天真评估可能表明“量子反弹”是可能的，即宇宙的波函数可能在其整个历史中保持在非奇异经典解上的峰值。然而，一个更仔细的相容历史分析表明，对于物理希尔伯特空间中的任意态，这个惠勒-德威特量子宇宙遇到大爆炸/紧缩奇点的概率等于1。一个量子惠勒-德威特宇宙必然是奇异的，因此在这些模型中不可能有“量子反弹”。
2010-01-25 gr-qc quant-ph
Wildcard error: Quantifying unmodeled errors in quantum processors
量子计算处理器的误差模型描述了它们与理想行为的偏差，并预测了应用中的后果。但是这些处理器的实验行为--观察到的量子线路的结果统计数据--很少与误差模型一致，即使是在随机基准测试（RB）或门集断层扫描（GST）等表征实验中，误差模型也是专门从相关数据中提取的。我们将展示如何解决这些不一致，并量化未建模的错误率，通过增加一个参数化的误差模型的误差模型。在误差模型中加入可调误差会以一种可控的方式放松和削弱其预测。恢复数据一致性所需的重复错误量量化了观察到的未建模错误量，以便于直接与标准门错误率进行比较。使用模拟和实验数据，我们展示了如何使用ESTA误差来调和来自RB和GST实验与不一致的数据的误差模型，捕捉非马尔可夫性，并量化所有的处理器的观察到的错误。
2020-12-22 quant-ph
Record consistency under repeated readout and apparatus composition
Monash University（莫纳什大学）
本研究通过条件记录准则和四个模型，证明孤立概率的无信号约束不足以保证重复读出或组合下的记录一致性，并给出泄漏界限、修正矩阵及有限资源障碍等条件。
2026-10-06 quant-ph
Are temporal quantum correlations generally non-monogamous?
在本文中，我们专注于时间相关性的量子结构，并显示其独特的性质，区分他们从空间量子相关性。我们严格表明，一个特定的纠缠的历史，它可以与量子传播，是一夫一妻制，以保持其一致性在整个时间。然而，进化系统违反了一夫一妻制的贝尔式多时间不平等。这种二分法是时间相关性的一个新特征，它的根源在于测量过程本身，这是通过纠缠历史束来讨论的。我们引入并讨论了量子过程的概率混合的概念，通过它我们澄清了为什么空间类Bell型一夫一妻制不等式被进一步违反。我们证明了时间Bell不等式的Tsirelson界可以由纠缠历史方法导出，作为推广，我们导出了多时间Bell不等式的量子界。同时指出，模仿时间纠缠一夫一妻制的破坏的，实际上是时间上的一种多配偶制，但特定演化的纠缠一夫一妻制仍然成立。
2020-11-15 quant-ph
Unified approach to contextuality, non-locality, and temporal correlations
我们强调联合概率分布的存在，作为贝尔型，上下文和Leggett-Garg型测试背后的共同基础假设。然后，我们提出了一个程序来翻译上下文场景到时间Leggett-Garg型和空间Bell型的。为了证明这种方法的一般性，我们构造了一个家庭的空间贝尔型不等式。我们表明，在Leggett-Garg方案的必要条件，上下文的时间是违反一致性条件的一致性历史方法量子力学。
2014-01-21 quant-ph
Conditional emergence of classical domain and branching of quantum histories
我们概述了与封闭量子系统的正则幺正演化相容的最小测量方案。在这种方法中，系统的一部分在信息上变得孤立（受限），这导致经典域的自然出现。这种测量方案是一个更简单的替代环境引起的退相干。在其基本版本中，MMS涉及两个辅助量子比特，$A$和$X$，它们彼此纠缠并且与系统$S$纠缠。测量的信息或热力学成本由被隔离的$X$ -量子位表示，即变得不可用于与系统的其余部分的未来交互。在这种隔离的条件下，扮演仪器角色的$A$ -量子位变成经典的并记录测量的结果。该过程可用于执行冯诺依曼式投影测量或广义投影测量，其对应于正算子值测量（POVM）。通过用不同的$A$ -和$X$ -量子位重复相同的广义测量多次，在由预测量过程确定的基中渐近地接近波函数坍缩。我们提出了一个简单的结果后，$N$这样弱的测量提取的总信息。MMS的基础上，我们提出了一个建设，映射到一组$A$量子比特的量子系统的历史。它类似于量子力学（QM）的一致历史（CH）公式，但与之不同，并且完全建立在传统的QM中。特别是，CH形式主义的一致性假设不是自动满足的，而是一个新兴的属性。也就是说，每一个测量事件都对应于互斥的经典现实的分支，其概率是可加的。然而，在一般情况下，不同历史之间的叠加由历史密度矩阵确定。
2019-09-16 cond-mat.stat-mech physics.hist-ph quant-ph
Consistent Quantum Reasoning
精确的规则，以形式化的推理过程中所涉及的标准非相对论性量子力学，从经典物理学的类比的帮助。力学系统的经典或量子描述涉及一个{ \it框架}，通常是隐式选择的，以及一个关于系统的{ \it陈述}或断言，在与之相关联的框架内，该陈述或断言要么是真的，要么是假的。量子描述并不比它们的经典对应物更“客观”，但在以下方面与后者不同：（i）框架采用希尔伯特空间而不是经典相空间。(ii)构造有意义的陈述的规则要求相关的投影者彼此可交换，并且在含时量子历史的情况下，要求满足相容性条件。(iii)有一些不相容的框架，无论是在构造描述还是在对它们进行逻辑推理时，都不能组合在一起，即使这些框架中的任何一个都可以单独用于描述特定的物理系统。本文提出了一种新的“广义历史”，它扩展了Omnès、Gell-Mann和Hartle等人以前的建议，并提出了一个相应的相容性条件，它不涉及密度矩阵，也不考虑时间方向。应用程序说明的形式主义包括：测量自旋，双缝衍射，并出现了经典世界从一个完全量子描述。
1995-05-17 quant-ph
Strong Decoherence
我们介绍了一个条件，强退相干的一组替代的历史封闭的量子力学系统，如宇宙。该条件适用于，对于一个纯初始状态，齐次的历史，是链的投影，一般分支依赖。强退相干意味着概率和规则的一致性，但并不是每一组一致的甚至中等的退相干历史都是强退相干的。两个条件描述了一个强退相干的历史集：（1）在任何时候，有效地与到那一刻为止的广义历史记录交换的算子提供了一个池，从这个池中-经过适当的时间调整-可以绘制出将历史延伸到未来的投影链。(2)在调整过程中，作用于宇宙初始状态的广义记录算符近似不变。这表示广义记录的持久性。强退相干条件（1）和（2）保证了我们所说的“过去的永久性”--特别是当投射链延伸到未来时，过去的替代品的持续退相干。强退相干是一种理想化的捕捉在一般的方式，这方面和其他方面的现实物理机制，破坏干扰，我们在一个简单的模型中说明。我们讨论之间的联系已被经常用来表征机制的退相干和更一般的概念强退相干的约化密度矩阵。强退相干和经典性的措施之间的关系进行了简要说明。
1995-11-23 gr-qc hep-th quant-ph
Trajectory of Probabilities, Probability on Trajectories, and the Stochastic-Quantum Correspondence
Faulhorn Labs（Faulhorn实验室）；ELTE Faculty of Humanities, Institute of Philosophy（布达佩斯罗兰大学人文学院哲学研究所）；ELTE Research Centre for the Humanities, Institute of Philosophy（布达佩斯罗兰大学人文学科研究中心哲学研究所）
本文探讨了概率轨迹与轨迹概率的区别，通过定义实现概念和可分解性，澄清了概率动力学的线性性问题，并与量子力学进行对比。
2026-02-26 physics.hist-ph quant-ph
QBism Logic
National Institute of Technology, Japan（日本国立技术大学）；Oita College（大分短期大学）
研究基于QB主义对量子理论的解释进行逻辑形式化，通过引入相关语言和证明定理，将无动态算子片段转化为一阶公式，归约有效性，还表明有限维量子理论可通过SIC等实现框架并满足相关条件。
2026-07-21 math.LO quant-ph
