搜索

x
中国物理学会期刊

基无关的物理源量子相干性及复数系统见证

CSTR: 32037.14.aps.75.20251659

Detecting quantum coherence and complex quantum systems in physical sources without a predefined basis

CSTR: 32037.14.aps.75.20251659
PDF
HTML
导出引用
  • 量子相干性是量子理论的核心特征, 与量子纠缠、量子复数系统及量子随机性理论紧密相关, 具有重要应用价值. 近年来, 量子相干性被视作一种量子资源, 并建立了系统的相干性度量框架, 涌现出多种度量方法. 这些相干性度量方法都依赖于量子态的精确表征和预先选定的参考基. 本文指出, 量子相干性可以在半设备无关场景下被观测到, 这意味着除了二维量子系统外, 无需再信任相关设备及预先选择参考基. 首先, 建立了非相干源的严格数学定义, 进而利用Gram矩阵的秩分析理论, 构建了线性和非线性两类相干性见证方案. 理论证明显示, 该方法不仅能有效区分相干源与非相干源, 还能进一步鉴别系统的底层结构特性, 即判定系统属于经典系统、实数量子系统还是复数量子系统. 特别地, 证明了在最小测量资源下线性见证的可行性, 并通过行列式见证提供了更完备的检测手段. 本研究为量子相干性资源验证提供了新的理论工具, 对量子设备认证和量子基础研究具有重要意义.

     

    Quantum coherence is a fundamental feature of quantum mechanics and a key factor that distinguishes quantum mechanics from classical theories. From theoretical and practical perspectives, the characterization and quantification of coherence are crucial problems in quantum information science. Although quantum coherence has been recognized as a quantum resource and a systematic framework for its quantification has been developed, existing measurements generally depend on a pre-fixed reference basis. This dependence poses significant challenges in practical scenarios where the reference frame may be misaligned or the measurement devices may be uncharacterized.
    To overcome these limitations, we detect quantum coherence within a semi-device-independent (SDI) framework. We introduce the concept of an “incoherent source,” defined as a collection of unknown quantum states that are jointly diagonalizable on an unspecified basis. By using the rank analysis theory of Gram matrices, we transform the problem of coherence detection into the evaluation of experimental correlation matrices. This approach eliminates the need for prior knowledge of the state’s density matrix or the alignment of measurement bases, requiring only the assumption of a bounded Hilbert space dimension (e.g. qubits).
    We systematically construct two types of coherence witnesses: linear inequalities and nonlinear determinant-based criteria. For the minimal resource case involving two preparations and two measurements, n=2,\ m=2, we derive a linear witness W_1 and prove its tight upper bounds for classical and coherent systems. Moreover, we demonstrate that the determinant of the data matrix B (or B^\rm T B) serves as a sharp, nonlinear witness. A non-zero determinant unambiguously implies \rmrank(B) \geqslant 2, providing a robust and conclusive test for coherence.
    Furthermore, we demonstrate that this framework not only has the ability to detect coherence, but also has remarkable discriminatory power. By increasing the number of preparations and measurements, the rank of the underlying state correlation matrix A, which is larger than or equal to 3, can be probed. We show that \rmrank(A) \geqslant 3 necessitates a complex quantum system, thus requiring the full complex structure of the Hilbert space. We construct specific linear witnesses (e.g. W_3) that can distinguish three hierarchical levels: classical, real-quantum, and complex-quantum, based solely on experimental data. We also analytically demonstrate that although linear witnesses W_2 in n=3,\ m=3 scenarios fail to isolate complex structures due to geometric overlaps, the nonlinear determinant witness provides a definitive “pinpoint” identification of complex-number quantum systems.
    In summary, we establish a comprehensive SDI theory for witnessing quantum coherence and complex-number structure, without the need for state tomography, or trusted measurements, or a pre-defined basis. Our results provide a novel tool for proving quantum resources, which is of great significance for fundamental research on device-independent cryptography, randomness generation, classical--quantum boundaries, and the role of complex numbers in quantum mechanics.

     

    目录

    /

    返回文章
    返回