Almost no experiments have classical Kirkwood-Dirac representations

技術要約：「ほとんどの実験には古典的なカークウッド・ディラック表現が存在しない」

問題提起
量子情報における中心的な課題は、古典的な現象と量子的な現象の境界を画定することである。準確率（quasiprobability）の枠組みにおいて、ある状態が正の確率分布として表現可能である場合、その状態は「古典的」であると見なされる。ウィグナー関数はこの点において極めて重要であったが、カークウッド・ディラック（KD）分布は、計量学、弱値、熱力学、および文脈依存性（contextuality）への応用を提供し、離散変数量子情報における多才なツールとして台頭している。

KD分布 $Q(\rho)$ は、観測量 $A$ および $B$ に関連付けられた、任意の2つの基底 $\{|a_i\rangle\}$ および $\{|b_j\rangle\}$ に対して定義される。状態 $\rho$ がKD正（classical）であるとは、$Q(\rho)$ のすべての成分が実数かつ非負であることを指す。KD正の状態の集合 $E_{KD+}$ を完全に特徴付けることは、重要な未解決問題である。Wigner関数の場合、正の状態で構成される集合は（純粋状態については）ガウス状態に限定されることが知られているが、KD分布における $E_{KD+}$ の構造は複雑である。それは必ずしも多面体（polytope）ではなく、その極限点には、KD正な純粋状態の凸結合ではない混合状態（いわゆる「エキゾチックな状態」）が含まれる可能性がある。この複雑さが、非古典性の特定や、KD分布を用いた量子回路の効率的なシミュレーションを困難にしている。

手法
著者らは、KD正な状態、KD実数観測量、およびKD正性を保存するユニタリ変換の集合を特徴付けるために、確率論的な幾何学的アプローチを採用している。

1. ランダムな基底の選択: 特定の、あるいは潜在的に病的なケースを分析する代わりに、著者らは、ユニタリ群 $U(d)$ 上のハール測度に従ってランダムに選ばれた2つの基底射影集合 $A = \{|a_i\rangle\langle a_i|\}$ および $B = \{|b_j\rangle\langle b_j|\}$ を検討している。
2. 線形代数的定式化: この問題は、遷移行列 $U$（ここで $U_{ij} = \langle a_i | b_j \rangle$）の研究へと写像される。著者らは、実行列に作用する線形写像 $C_U$ を定義する。彼らは、KD実数観測量の空間 $V_{KDr}$ が、この写像の核 $\text{Ker}(C_U)$ と同型であることを示している。
3. 次元解析: 著者らは、基底射影の凸包 $\text{conv}(A \cup B)$ が常に $E_{KD+}$ に含まれることを確立している。証明の核心は、ほとんどすべてのユニタリ行列 $U$（具体的にはゼロ成分を持たないもの）に対して、KD実数観測量の空間の次元が最小値（$2d-1$）になることを示すことにある。これは、基底の凸包および実スパンを超えて、追加のKD正な状態や観測量は存在しないことを意味する。
4. 測度論: 最小の核次元を持つ特定のユニタリ行列 $U_\star$ を構築し、関連する線形写像の行列式が $U$ の行列要素に関する非ゼロ多項式であるという事実を利用することで、著者らは命題3（実解析関数のゼロ集合のハール測度がゼロであるという結果）を援用し、この最小限の構造が確率1で成立することを証明している。

主要な貢献と結果
本論文は、定理1を提示しており、これは、ほとんどすべての $d$ 次元基底（$d > 2$）の選択に対して、KDの枠組みにおける古典的な対象は最小であり、明示的に特徴付けられることを主張している：

• KD正な状態 ($E_{KD+}$): KD正な状態の集合は、2つの基底の凸包に一致する：
  $$E_{KD+} = \text{conv}(A \cup B)$$
  この集合は、$2d$ 個の既知の頂点（2つの基底の射影）を持つ、次元 $2(d-1)$ の多面体である。ほとんどすべてのKD分布において、「エキゾチックな」混合極限状態は存在しない。
• KD実数観測量 ($V_{KDr}$): 観測量がKD実数であるための必要十分条件は、それが2つの基底の実ベクトル空間内に存在することである：
  $$V_{KDr} = \text{span}_{\mathbb{R}}(A \cup B)$$
• KD正な測定 ($M_{KD+}$): 正のKD表現を持つ任意の測定要素は、基底射影の非負係数による線形結合でなければならない。
• KD正性を保存するユニタリ変換: KD正な状態をKD正な状態へ写すユニタリ変換は、自明なグローバル位相のみである：
  $$T = e^{i\alpha}I, \quad \alpha \in \mathbb{R}$$

意義と含意
著者らは、これらの結果が「ほとんどすべての」実験設定において、KDの枠組みにおける古典性の理解を根本的に単純化すると主張している：

1. 非古典性のロバスト性: 古典的な状態の集合は既知のファセットを持つ単純な多面体であるため、非古典性の証拠（witness）を構築することは容易である。与えられた状態と古典的集合との距離を、既知の $E_{KD+}$ の幾何学を用いて容易に下限評価できる。
2. 文脈依存性: これらの結果は、一般化された文脈依存性の条件を明確にする。古典的（非文脈的）な振る舞いをもたらす入力状態の集合は最小かつ明確に定義されているため、文脈依存性の検出は基底の具体的な選択に対してロバストである。
3. エキゾチックな状態の不在: 本論文は、「エキゾチックな」KD正状態（KD正な純粋状態に分解できない混合状態）は稀な現象であり、調整された非一般的なKD分布（例：特定のスピン1やマルチ量子ビット系）においてのみ存在することを示している。
4. 古典的シミュレーション: これらの結果は、KD分布を用いた量子回路の効率的な古典的シミュレーションに対する厳しい制限を示唆している。KD正な回路は、$\text{conv}(A \cup B)$ での初期化に続いて直ちに $M_{KD+}$ での測定を行うものに限られるため、ほとんどの非自明な量子回路はKD非正性を示すことになり、正の準確率に依存するモンテカルロ・サンプリング法による古典的シミュレーションを困難にする。

結論として、本論文は、KD分布に関連してしばしば想定される複雑さは、例外であって規則ではないことを確立している。大多数の実験構成において、古典的・量子的な境界は鋭く、単純であり、測定基底の凸幾何学によって完全に特徴付けられている。