将维格纳朋友思想实验实现为量子线路：在超导量子硬件上进行的跨分支通信基准测试 Wigner's Friend as a Circuit: Inter-Branch Communication Witness Benchmarks on Superconducting Quantum Hardware
在IBM量子硬件上实现维格纳朋友电路并测量相干性见证指标
前置知识
维格纳朋友思想实验
维格纳朋友思想实验由物理学家尤金·维格纳（Eugene Wigner）于1961年提出，旨在探讨量子力学中观察者的角色。实验设想一个封闭实验室内的朋友对处于叠加态的粒子进行测量，而实验室外的维格纳用量子力学描述整个系统（包括朋友）。该思想实验的核心问题是：当观察者本身被纳入量子描述时，叠加态何时坍缩？不同的量子力学诠释（如多世界诠释、哥本哈根诠释）对此给出了截然不同的回答。
本文将该思想实验转化为可在真实量子硬件上执行的具体线路，这是理解整个实验设计的前提
相干性见证（Coherence Witness）
相干性见证是一种诊断工具，用于检测量子态中的非对角元素（即相干性）。不同于仅依赖计算基（Z基）测量的种群可见度V，相干性见证通过测量特定的泡利算符期望值来探测密度矩阵的非对角元素。本文使用四量子比特泡利奇偶关联子WX和WY作为相干性见证，它们对退相干通道比单纯的种群测量更为敏感。当退相干通道作用于系统时，WX和WY的变化幅度通常大于V的变化幅度。
相干性见证是本文的核心诊断工具，用于检测可能的非幺正物理效应
跨分支通信（Inter-Branch Communication）
跨分支通信是维格纳朋友思想实验的一种电路化表述。在量子线路中，'分支'指的是由控制量子比特的状态（|0⟩或|1⟩）所定义的不同演化路径。跨分支通信指的是在这些分支条件演化之间建立关联的过程。具体而言，当'朋友'寄存器F根据控制量子比特Q的状态演化时，通过受控消息转移原语在R、F和P之间创建关联，这些关联反映了分支条件历史之间的关联。
这是本文实验的核心概念，理解它才能理解电路设计的逻辑结构
泡利算符
泡利算符是量子力学中一组四个2×2厄米幺正矩阵：I（恒等矩阵）、X（比特翻转）、Y（相位-比特翻转）和Z（相位翻转）。在本文中，使用了泡利X和Y算符来构造四量子比特关联子WX = ⟨XQ⊗XR⊗XF⊗XP⟩和WY = ⟨YQ⊗YR⊗YF⊗YP⟩。这些多量子比特泡利关联子能够探测特定的量子相干特性，是测量相干性见证的核心工具。
理解泡利算符才能理解WX、WY等物理量的定义和测量方法
非幺正通道约束管道
非幺正通道约束管道是一种系统化方法，用于将参数化的非幺正量子通道（如退相干通道）与实验观测值进行对比，从而排除特定强度的非幺正物理效应。该方法首先定义一个参数化通道族Eλ（如相位翻转退相干），然后模拟不同λ值下电路的预期行为，最后将实验观测值与模拟结果对比，确定可检测阈值λmax，从而约束非幺正物理效应的强度上限。
这是本文将实验结果转化为物理约束的关键方法论贡献
Qiskit Aer噪声模型
Qiskit Aer是IBM开发的量子线路模拟器，支持包含噪声的量子线路模拟。其NoiseModel.from_backend()功能可以从真实量子设备的校准快照（包括门错误率、读出错误、T1/T2时间等）构建噪声模型。这种后端匹配的噪声模型能够近似模拟真实设备的行为，但可能无法完全捕捉漂移、串扰、泄漏等复杂噪声效应。
用于对比实验结果与理想/噪声模拟的预期值
研究动机
维格纳朋友思想实验及其扩展形式（如布鲁纳-维格纳朋友实验）探讨了量子力学的基础问题，但这些思想实验缺乏可在真实量子硬件上执行的具体实现方案。现有的实验工作（如Proietti等人2019年的光子实现、Bong等人2021年的扩展实验）主要聚焦于贝尔型不等式和局部友好性假设，未能针对跨分支通信原语进行专门的基准测试。此外，现有的量子信息学社区虽然越来越多地采用'线路即基础'的方法，但缺乏对维格纳朋友类线路的系统化实现和诊断工具，特别是在相干性测量方面存在明显空白。更重要的是，当使用传统的种群可见度V作为诊断指标时，存在检测盲区：V仅依赖于计算基的种群分布，可能无法检测到特定电路位置插入的退相干通道导致的非对角元素抑制。
本文的目标是本文的具体目标是：（1）在IBM量子硬件上实现Violaris（2026）提出的跨分支通信线路族的五量子比特实例；（2）开发超越传统种群可见度的相干性见证诊断工具，包括四量子比特泡利奇偶关联子WX和WY；（3）建立非幺正通道约束管道，将实验观测值转化为对参数化非幺正物理效应的排除界限；（4）提供完全可复现的实验记录，包括作业ID、校准快照、软件版本和SHA256哈希值。本文明确声明不寻求测试或区分量子力学的不同诠释，而是将实验定位为公开可复现的约束管道。
与已有工作不同的是，本文的独特切入角度体现在三个层面。首先，在诊断工具层面，本文引入了相干性见证WX和WY作为对种群可见度V的补充，这些四量子比特泡利奇偶关联子对非对角元素的敏感性使其能够检测到V可能遗漏的退相干效应。其次，在方法论层面，本文建立了从硬件测量到物理约束的完整管道：通过参数化退相干通道的模拟预测，结合设备噪声基线，确定可检测阈值，从而将观测值转化为排除界限。第三，在可复现性层面，本文提供了完整的溯源信息和可验证的工件集合，使得独立验证和扩展成为可能，这在量子基础实验领域是罕见的高标准实践。
核心方法
本文的方法整体思路是将维格纳朋友思想实验转化为可在量子硬件上执行的具体线路，然后通过多维度的诊断工具评估线路行为，并与理想预测和噪声模拟进行对比。具体技术路线如下：首先，设计一个五量子比特的跨分支通信线路，包含控制量子比特Q、参考量子比特R、朋友寄存器F、探针量子比特P和辅助量子比特。线路分为三个阶段：制备分支条件演化（F根据Q的状态演化）、应用受控消息转移原语（在R、F、P之间创建关联）、在计算基或旋转基中测量。其次，采用两种诊断模式：种群可见度模式（rpz）和相干性见证模式（X基和Y基），分别测量V和WX、WY。最后，在IBM量子硬件（ibm fez后端）上执行实验，并使用Qiskit Aer构建后端匹配的噪声模型进行对比模拟。
本文的核心创新点在于引入相干性见证WX和WY作为对传统种群可见度V的补充诊断工具，并建立了一套完整的非幺正通道约束管道。与已有方法的本质区别体现在：（1）传统方法仅依赖种群可见度V，而V仅对计算基的对角元素敏感，当退相干通道作用于特定电路位置时，V可能保持不变而非对角元素被显著抑制。本文引入的WX和WY直接探测非对角相干性，提供了互补的诊断视角。（2）本文的约束管道将实验观测值转化为对参数化非幺正物理效应的排除界限，通过模拟不同强度的退相干通道并对比实验观测值，确定可检测阈值λmax。这种管道化方法使得实验结果具有明确的物理约束意义，而非仅仅是数据记录。
方法步骤详情
本文的方法步骤如下：第一步，线路设计。使用五个量子比特（Q、R、F、P和辅助量子比特），其中Q是控制量子比特，决定分支叠加态；R是参考/辅助量子比特，用于消息编码；F是朋友寄存器，编码观察者的内部状态；P是探针量子比特，用于读出关联。线路包含三个阶段：(i)制备分支条件演化，其中F根据Q的状态演化；(ii)应用受控消息转移原语，创建R、F、P之间的关联；(iii)在计算基（用于可见度）或旋转基（用于相干性见证）中测量。第二步，诊断模式。种群可见度模式（rpz）测量Z基种群，计算V = P(R=0|P=1) - P(R=1|P=1)；相干性见证模式测量WX = ⟨XQ⊗XR⊗XF⊗XP⟩和WY = ⟨YQ⊗YR⊗YF⊗YP⟩，其中WX通过对(Q,R,F,P)施加Hadamard门H后Z基测量，WY通过施加S†H后Z基测量，两者都从奇偶位串计数计算期望值。第三步，实验执行。在ibm fez后端上执行20,000次射击，转译优化级别为2。第四步，噪声建模。使用Qiskit Aer的NoiseModel.from_backend()从ibm fez的校准快照构建噪声模型。第五步，约束管道。定义参数化退相干通道Eλ(ρ) = (1-λ)ρ + λZρZ，模拟不同λ值下的预期行为，结合实验观测值确定可检测阈值。
技术新颖性
本文的技术新颖性体现在多个方面。首先，在诊断工具设计上，相干性见证WX和WY的引入具有明确的物理动机：它们对非对角元素的敏感性使其能够检测到种群可见度V可能遗漏的退相干效应。具体而言，相位敏感幅度Cmag = √(WX² + WY²) 不受1的限制，其理想值为√2 ≈ 1.414，这为相干性评估提供了更丰富的维度。其次，在约束管道设计上，本文采用了一种系统化的方法：定义参数化通道族 → 模拟预测偏差曲线 → 确定可检测阈值 → 转化为排除界限。这种方法将实验观测转化为具有物理意义的约束，而非仅仅是数据记录。以相位翻转退相干为例，WX(λ) ≈ (1-2λ)WX(0)的关系使得可以从硬件测量值WX(hw) = 0.8398估算λest ≈ (1-WX(hw))/2 = 0.080，这是一个具体的物理约束。第三，在可复现性实践上，本文提供了完整的溯源信息（作业ID、校准快照、软件版本、SHA256哈希值），这在量子基础实验领域是罕见的高标准实践。
实验结果
本文的核心发现可从三个维度进行分析。首先，在硬件执行结果上，五量子比特跨分支通信线路在ibm fez后端（N = 20,000次射击）上成功执行，获得了以下指标：种群可见度V = 0.8771 ± 0.0034，相干性见证WX = 0.8398 ± 0.0038，WY = -0.8107 ± 0.0041，相位敏感幅度Cmag = 1.1673 ± 0.0040。这些值均低于理想预测（V = 1.0，WX = 1.0，WY = -1.0，Cmag = 1.4142），表明设备噪声导致了显著退化。其次，在与噪声模拟的对比上，硬件值也低于后端匹配噪声模拟的预测（V = 0.9381，WX = 0.8984 ± 0.0031，WY = -0.8972 ± 0.0031，Cmag = 1.2697），这表明存在校准漂移、额外噪声源或优化级别2的转译效应等未被模型捕捉的因素。第三，在物理约束上，所有测量值与幺正演化加设备噪声一致，未观察到暗示非幺正物理的异常偏差。相干性见证WX和WY确实展现出比V更强的退化幅度，验证了其作为诊断工具的价值。以相位翻转退相干为例，从硬件测量值WX(hw) = 0.8398估算的退相干强度上限为λest ≈ 0.080。
查看结构化数据
| 任务 | 指标 | 本文 | 基线 | 提升 |
|---|---|---|---|---|
| 种群可见度V测量 | V = P(R=0|P=1) - P(R=1|P=1) | 0.8771 ± 0.0034 | 0.9381（后端匹配噪声模拟） | 硬件值低于模拟值6.5%，表明存在未被模型捕捉的额外噪声源 |
| 相干性见证WX测量 | WX = ⟨XQ⊗XR⊗XF⊗XP⟩ | 0.8398 ± 0.0038 | 0.8984 ± 0.0031（后端匹配噪声模拟） | 硬件值低于模拟值6.5%，与V的退化幅度一致 |
| 相干性见证WY测量 | WY = ⟨YQ⊗YR⊗YF⊗YP⟩ | -0.8107 ± 0.0041 | -0.8972 ± 0.0031（后端匹配噪声模拟） | 硬件值低于模拟值9.6%，表明Y基测量对噪声更敏感 |
| 相位敏感幅度Cmag | Cmag = √(WX² + WY²) | 1.1673 ± 0.0040 | 1.2697（后端匹配噪声模拟） | 硬件值低于模拟值8.1%，理想值为√2 ≈ 1.414 |
| 退相干强度约束 | λest ≈ (1-WX(hw))/2 | 0.080（估算值） | 0（理想幺正演化） | 基于硬件测量值估算的退相干强度上限 |
局限与改进
本文的局限性体现在多个层面。作者明确承认的局限性包括：（1）后端匹配噪声模型的近似性——可能无法完全捕捉漂移、串扰、泄漏和相干误差；（2）硬件值低于噪声模拟预测，表明存在未建模的额外噪声源；（3）本文不声称测试或区分量子力学诠释，仅建立基线方法论。从独立分析的角度，还存在以下局限：（1）实验规模有限——仅使用五量子比特，未探讨更大规模的跨分支通信；（2）单一后端——仅在ibm fez上执行，未验证跨后端可复现性；（3）未应用高级错误缓解技术（如随机编译、泡利扭转、零噪声外推）；（4）未系统探讨转译优化级别的影响；（5）相干性见证WX和WY的测量涉及基旋转（H或S†H门），这些额外操作本身会引入噪声，可能影响测量精度。
独立分析的弱点
本文的弱点可从技术、方法和实验设计三个维度进行独立分析。在技术层面，五量子比特的实验规模相对较小，虽然足以验证跨分支通信原语的基本行为，但无法探讨更复杂的分支演化场景（如多量子比特朋友寄存器）。作者提到的分支发散缩放（k量子比特位串的汉明距离增长）是一个重要的扩展方向，但本文未实现。在方法层面，约束管道仅针对单量子比特相位翻转退相干通道进行了展示，未系统探讨更广泛的通道族（如振幅阻尼通道、去极化通道）或多插入点的情况。此外，退相干强度估算λest ≈ 0.080是基于理想值WX(0) ≈ 1的近似，若使用噪声模拟基线可能会给出更保守的约束。在实验设计层面，单一后端（ibm fez）的结果可能存在后端特定的偏差，缺乏跨后端验证。建议的改进方向：（1）扩展到更大规模的量子比特数；（2）探讨更多类型的非幺正通道；（3）在多个IBM量子后端上重复实验；（4）应用高级错误缓解技术以获得更紧密的约束。
未来方向
本文作者提出了多个未来研究方向，可分为三个层次。首先，在跨模态复制层面，作者计划在多种量子计算模态上复制相同的跨分支消息转移原语，包括门模型超导和离子阱设备、中性原子模拟平台、光子学和退火式硬件，以量化跨模态的'编译税'（如深度/双量子比特门开销和相对于理想逻辑线路的保真度损失），并开发适用于不同连通性的广义缩放定律。其次，在实验改进层面，建议在多个IBM量子后端上执行以评估可复现性和识别后端特定工件，执行校准同步重复以最小化漂移效应，应用随机编译、泡利扭转或零噪声外推（ZNE）等错误缓解技术以获得更紧密的非幺正通道约束。第三，在与Violaris复杂性轴的对齐上，建议探讨分支发散缩放——将friend-0和friend-1状态表示为k量子比特位串，其汉明距离在分支演化下增长，分支交换操作变为更长的X串（X门的乘积），从而产生复杂性-相干性缩放基准。基于本文成果可延伸的方向还包括：将方法应用于其他量子基础实验场景（如贝尔实验、量子擦除），开发自动化约束管道工具，以及探索相干性见证在量子错误检测中的应用。
复现评估
本文在可复现性方面提供了量子基础实验领域的罕见高标准实践。开源情况：所有源代码、分析笔记、校准元数据和作业溯源信息均在GitHub仓库https://github.com/christopher-altman/ibm-qml-kernel上公开，并永久归档于Zenodo（doi:10.5281/zenodo.18335978）。专用发布包（标签wigner-friend-v2b）提供了生成论文图表和数值的确切工件，包括执行脚本、IBM量子作业ID、后端校准快照、生成的图表和SHA256清单。数据方面，完整的溯源信息包括作业ID（相干X：d5lobdt9j2ac739k1a0g，相干Y：d5locdhh2mqc739a2ubg，可见度：d5locnd9j2ac739k1b80）、软件版本（Python 3.10.19，Qiskit 2.3.0，Qiskit Aer 0.17.2，qiskit-ibm-runtime 0.45.0）以及所有文件的SHA256哈希值。算力需求方面，硬件执行使用IBM Quantum开放访问计划，每个电路需要20,000次射击；后端匹配噪声模拟使用Qiskit Aer，计算量相对较小。复现难度较低：仅需标准Python环境、Qiskit 2.3.0和requirements.txt中列出的软件包即可独立验证和扩展实验结果。
论文图表