Weak-Valued Coherence Without Density in Multi-Particle Quantum Walks

技术摘要：多粒子量子行走中无密度的弱值相干性

问题陈述
本文旨在解决对多体量子系统中弱值理解存在的空白。虽然双态矢量形式（TSVF）和“量子柴歇猫”（Quantum Cheshire Cat）效应（即物理属性与其宿主粒子分离的现象）在单粒子语境下已被广泛研究，但在真正的多体系统中的表现仍有待探索。具体而言，弱值约化密度矩阵（用于描述多体系统中局部性质）的结构尚未得到系统的分析。作者研究了在多粒子设置中，弱值相干性与弱值粒子密度是否可以表现出定性的不同空间分布，从而可能揭示出传统基于密度的描述所无法观测到的干涉结构。

方法论
研究采用了一个具有内禀自旋-1/2自由度的单维晶格上的三粒子离散时间量子行走。

• 系统设置： 系统由在格点 $\{0, 1, 2\}$ 上初始化的等同玻色子行走者组成，其初始态为局域化的 W态。演化由 Hadamard 硬币操作及随后的条件位移算符控制。
• 预选与后选： 系统预选在初始 W 态 $|\Psi_i\rangle$ 中，并在经过 $T=3$ 个时间步长后，后选在格点 $\{1, 2, 3\}$ 上的平移 W 态 $|\Psi_f\rangle$ 中。这种选择限制了贡献的量子轨迹，使其仅限于导致配置发生净空间平移的路径。
• 理论框架： 作者利用 TSVF 定义了特定晶格格点（$x=-1$）处的弱值单粒子约化密度矩阵。该矩阵被计算为一个条件转移振幅：
  $$[\rho^{(1)}_w(x)]_{ss'} = \frac{\langle \Psi_f | \hat{U}^{T-t} (\hat{\psi}^\dagger_{x,s} \hat{\psi}_{x,s'}) \hat{U}^t | \Psi_i \rangle}{\langle \Psi_f | \hat{U}^T | \Psi_i \rangle}$$
• 分析技术：
  1. 解析推导： 作者显式地枚举了受限通道中的贡献路径，计算单粒子转移振幅，并评估弱值矩阵的对角（密度）和非对角（相干性）分量。
  2. 数值鲁棒性检查： 为了测试该效应是否依赖于精细调节，作者将 Hadamard 硬币变形为一个由参数 $\theta$ 控制的从无偏到有偏的硬币族 $\hat{C}(\theta)$。随后在整个参数空间内对弱值矩阵元素进行了数值重估。
  3. 操作性解释： 将结果映射到标准的冯·诺依曼弱测量场景中，以预测局部密度和自旋相干性可观量的指针位移。

主要结果
核心发现是在晶格格点 $x = -1$ 处，弱值粒子密度与弱值相干性之间存在精确的分离：

• 消失的密度： 由于贡献路径的对称性，弱值约化密度矩阵的对角元素完全抵消。因此，弱值粒子密度为零：$(\hat{n}_{-1})_w = 0$。
• 有限的相干性： 尽管密度为零，但非对角元素（代表自旋相干性）仍然有限且非零。具体而言，$[\rho^{(1)}_w(-1)]_{\uparrow\downarrow} = \sqrt{3/8}$。
• 无迹结构： 所得的弱值密度矩阵是无迹的，但拥有非零的非对角元素，展现出一种“柴歇猫式”的结构，即在没有密度的情况下存在相干性。
• 鲁棒性： 数值模拟确认，这种分离在硬币算符的连续变形（$\theta \in (0, \pi/2)$）下依然存在。迹始终精确为零，且非对角相干性始终保持严格正值，表明该效应是一个稳定的干涉特征，而非精细调节参数的结果。
• 操作特征： 在弱测量语境下，耦合到局部密度算符的指针将不显示位移（$\langle q \rangle_{\hat{n}} = 0$），而耦合到自旋相干性算符的指针将表现出有限位移（$\langle q \rangle_{\hat{\sigma}} = g\sqrt{3/2}$）。

意义与主张
本文声称提供了第一个明确的多体实现，其中相干性和密度表现出截然不同的条件空间分布。

• 诊断工具： 本工作引入了弱值约化密度矩阵作为多粒子量子动力学的诊断工具，为理解相干性、干涉与后选之间的相互作用提供了新视角。
• 超越单粒子范式： 研究表明，此前由单粒子柴歇猫场景主导的弱值现象，在复杂的许多体系统中也会以独特的特征呈现。
• 不可见结构： 结果表明，弱测量可以揭示那些在传统基于密度的描述中完全不可见的相干结构（在这些描述中，零迹意味着不存在任何局部性质）。
• 基本洞察： 本研究强调，在预选和后选系综中，量子干涉可以在抑制局部占据概率的同时，同时保留非平凡的自旋相干性；这一现象在 TSVF 框架下自然产生，无需额外的假设。