[论文解读] An example of a quantum statistical model which cannot be mapped to a less informative one by any trace preserving positive map

Keiji Matsumoto|arXiv (Cornell University)|Sep 19, 2014

advanced mathematical theories参考文献 4被引用 8

一句话总结

本文提出一个量子统计模型，其信息量比另一个模型更丰富（在经典决策理论下满足 ≥ᶜ），但无法通过任何迹保持正映射将其转换为后者——这表明量子充分性（≥ᶜ）并不意味着此类映射的存在。关键贡献在于构造了一个反例，证明量子统计模型可以在不存在对应物理通道映射的情况下严格更富信息量。

ABSTRACT

Comparison of statistical models (experiments) is an important branch of mathematical statistics, which gives deep insights in many aspects of foundation of statistics. So far, there are two quantum versions of the concept: Comparison with respect to classical tasks and full quantum tasks. In the latter version, a quantum statistical model is more informative than another if and only if a trace preserving positive map sends the former to the latter. On the other hand, in the former version, the existence of a trace preserving positive map sending the former to the latter is a useful sufficient condition. A natural question is whether this is necessary or not. We resolve this question negatively by giving a counter example.

研究动机与目标

• 研究量子统计充分性（≥ᶜ）是否意味着存在一个迹保持正映射，将一个模型转换为另一个模型。
• 通过构造反例，挑战 ≥ᶜ 与此类映射存在性等价的猜想。
• 通过正映射阐明量子信息理论充分性与物理可实现性之间的区别。
• 证明量子模型可以在不存在对应物理变换的情况下严格更富信息量。

提出的方法

• 构造一个二维参数的量子统计模型，其中 Θ = {0, 1}，密度矩阵 ρ₀, ρ₁, σ₀, σ₁ 位于三维希尔伯特空间中。
• 将 ρ₀ 和 ρ₁ 定义为对角矩阵，参数 α ∈ [0,1]，且在它们的支撑中共享一个共同本征态 |2⟩。
• 将 σ₀ 和 σ₁ 定义为在二维子空间中的秩-2 密度矩阵，参数 β ≤ α。
• 利用迹范数条件 ‖ρ₀ − tρ₁‖₁ ≥ ‖σ₀ − tσ₁‖₁ 对所有 t ≥ 0 成立，通过引理1验证 ≥ᶜ。
• 证明不存在迹保持正映射 Γ，使得 Γ(ρ₀) = σ₀ 且 Γ(ρ₁) = σ₁，原因在于 ρ₀ 和 ρ₁ 共享 |2⟩ 的支撑。
• 应用初等分析证明 f(t) = ‖ρ₀ − tρ₁‖₁² − ‖σ₀ − tσ₁‖₁² ≥ 0 对所有 t ≥ 0 成立，从而确认迹范数不等式。

实验结果

研究问题

• RQ1 量子充分性（≥ᶜ）是否意味着存在一个迹保持正映射，将一个模型转换为另一个模型？
• RQ2 当不存在此类物理变换时，量子统计模型是否可以严格比另一个更富信息量？
• RQ3 在量子设置中，≥ᶜ 是否要求存在正映射？
• RQ4 模型中密度算符共享纯态的支撑在阻止此类映射中起什么作用？
• RQ5 即使不存在正映射，迹范数条件 ‖ρ₀ − tρ₁‖₁ ≥ ‖σ₀ − tσ₁‖₁ 对所有 t ≥ 0 是否仍能保证 ≥ᶜ？

主要发现

• 该模型满足对所有 t ≥ 0 成立的迹范数条件 ‖ρ₀ − tρ₁‖₁ ≥ ‖σ₀ − tσ₁‖₁，根据引理1，这蕴含 ≥ᶜ。
• 尽管满足 ≥ᶜ，但不存在迹保持正映射 Γ，使得 Γ(ρ₀) = σ₀ 且 Γ(ρ₁) = σ₁。
• 其不可能性源于 ρ₀ 和 ρ₁ 在其支撑中均包含纯态 |2⟩ = (0,0,1)ᵀ，导致 Γ(ρ₀) = σ₀ 与 Γ(ρ₁) = σ₁ 不一致。
• 函数 f(t) = ‖ρ₀ − tρ₁‖₁² − ‖σ₀ − tσ₁‖₁² 对所有 t ≥ 0 非负，确认了迹范数不等式。
• 结果表明，量子充分性（≥ᶜ）并不蕴含存在物理通道（正的迹保持映射）实现模型转换。
• 该结果为 ≥ᶜ 与此类映射存在性等价的猜想提供了决定性反例。