Against probability: A quantum state is more than a list of probability distributions

この論文は、量子状態の位相幾何学的に堅牢な確率表現は、意味のある物理的記述のために必要である一方で、部分系の構成といった本質的な構造的特徴を同時に保持することはできないという、ノーゴー定理を証明している。

要約

基本的な考え方：地図は領土ではない

複雑な3D彫刻（量子状態）を想像してみてください。それを、それを見ることができない人に説明するために、あらゆる角度から一連の2D写真（確率分布）を撮ることにしました。

この論文の著者たちは、これらの写真は彫刻を一意に特定することはできるものの、それらに頼って彫刻を記述しようとすることには致命的な欠陥がある、と主張しています。それは、**「写真が、二つの彫刻がいかに近いかについて嘘をつく可能性がある」**ということです。

量子物理学の世界では、科学者たちはしばしば、システムの「真の状態」（密度演算子）によってシステムを記述するのではなく、それを測定したときに何が起こるかという確率のリストによって記述しようとします。この論文は、もしこの方法を数学的に「ロバスト（堅牢）」な形（つまり、写真のわずかな誤差が理解における巨大な誤差につながらないようにする方法）で行おうとすると、システムの各パーツがどのように組み合わさっているかを記述する能力を失ってしまう、と主張しています。

問題点：「ぼやけた写真」の罠

なぜこれが重要なのかを理解するために、量子マシンを使って真にランダムな数字の列（秘密のコードのようなもの）を生成しようとしている場面を想像してください。

1. 目標： 出力が完全にランダムであることを望んでいます。「現実の」量子世界では、たとえ敵がマシンの内部のすべての秘密にアクセスできたとしても、あるシーケンスを完璧なランダムソースと区別することが不可能であれば、そのシーケンスはランダムであると証明できます。
2. 罠： 著者たちは、もし「写真」（局所的な測定による確率分布）だけを見ているのであれば、量子システムが「ほぼ完璧にランダムに見える」シナリオを示しています。写真は、「ねえ、これはランダムだよ！」と言っています。
3. 現実： しかし、実際の量子状態を見ると、それは全くランダムではありません。高度に絡み合い（エンタングルメント）、構造化されています。

例え話：
非常に遠くに離れて立っている二人の人物を想像してください。

• 実際の距離（トレース距離）： 二人の実際の距離を測ると、100マイル離れています。
• 写真の距離（確率メトリック）： 特定の角度から二人を撮影します。写真の中では、二人はすぐ隣に立っているように見えます。

もし写真だけを信じてしまうと、二人が近くにいると思ってしまいます。しかし現実には、二人は遠く離れています。論文ではこれを**「非ロバスト性（non-robustness）」**と呼んでいます。これは、確率のリスト（写真）における「小さな」違いが、実は現実の物理的状態における「巨大な」違いを隠してしまう可能性があることを意味します。

ジレンマ：すべてを手に入れることはできない

著者たちは一つの「ノーゴー定理（不可能定理）」を証明しています。量子システムを確率ベースの記述で表そうとする場合、以下の望ましい特性の三つすべてを同時に持つことはできません。

1. ロバスト性（堅牢性）： 記述のわずかな変化が、システムが全く別物であることを意味すべきではない。（写真が現実に一致していること）。
2. 部分系の構造： システムのパーツ（例えば、アリスのパーツとボブのパーツ）を個別に記述しても、それらの間のつながりを失わないこと。
3. 効率性： その記述がコンパクトで扱いやすいこと（膨大なデータを必要としないこと）。

トレードオフの表：

• 標準的な量子力学（密度演算子）： この三つすべてを持っています。ロバストであり、パーツをうまく扱い、効率的です。
• 確率表現（局所的な測定）： パーツと効率性は持てますが、ロバスト性を失います。写真は近さについて嘘をつきます。
• 確率表現（すべての測定）： ロバスト性とパーツは持てますが、効率性を失います。確率のリストがあまりにも巨大になり、使い物にならなくなります。

なぜこれが重要なのか（論文によれば）

著者たちは、多くの人気のある物理学のアイデアがこれらの確率リストに依存していることを指摘しており、この発見はその前提を打ち砕くと述べています。

• QBism（量子ベイズ主義）： この理論は、量子状態を単なるエージェントの信念（確率）のリストとして扱います。論文は、この見解は複雑なシステム（振動する弦や空間内の粒子など）に対しては、「信念のリスト」が現実を正確に記述するほどロバストではないため、失敗すると述べています。
• 量子理論の再構成： 科学者たちは、単純な確率のルールから量子物理学を再構築しようとしています。論文は、もし「近さ」の問題を修正するために追加の人工的なルールを加えない限り、大規模なシステムに対してこれを成功させることはできないと述べています。
• 量子暗号： もし量子力学が真であるという仮定なしに、確率リストのみを使用して秘密のコードが安全であることを証明しようとすれば、あなたは「写真」がランダムに見えるがゆえに、それが安全だと考えてしまうかもしれません。しかし、論文は、そのコードは実際には破られる可能性があると警告しています。
• 量子場理論： 物理学者はしばしば、相関関数（一種の確率リスト）を用いて宇宙を記述します。論文は、これらの記述が、宇宙における複雑で非局所的なつながりの真の性質を捉え損ねる可能性があることを示唆しています。

結論

論文は、確率リストは量子物理学を語る上で非常に人気があり便利な方法ではあるものの、標準的な「密度演算子」による記述の完全な代替品としては、根本的に欠陥がある、と結論づけています。

メタファー：
量子システムを確率リストだけで記述しようとすることは、引き伸ばされ歪んだ2Dマップだけを使って街をナビゲートしようとするようなものです。そのマップは通りの名前（構造）を示してくれるかもしれませんし、ポケットに入れて持ち運ぶことも簡単（効率的）かもしれませんが、そのマップに基づいて二つの建物の間の距離を判断しようとすれば、道に迷うことになるでしょう。安全にナビゲートするためには、単なる歪んだ地図ではなく、3Dの現実（密度演算子）が必要なのです。

技術概要

技術的要約：「確率に対して：量子状態は確率分布のリスト以上の存在である」

問題提起
量子状態は、密度演算子（$\rho$）ではなく、完備なトモグラフィー測定集合（$M$）から導出される結果の確率リストとして表現されることが頻繁にある。このような表現は、量子場理論（相関関数を介して）や量子基礎論（一般化された確率論的枠組み内）において、物理学の中で遍在している。このような確率表現 $P_M(\rho)$ は単射的（状態を一意に指定する）であるが、著者らはそれが物理的な意味において**忠実（faithful）であるかどうかに疑問を投げかけている。具体的には、確率表現から導かれた近似的な記述（例：「出力は近似的にランダムである」）が、密度演算子のレベルへと「引き戻された（pulled back）」際に、依然として有効であるかどうかを調査している。核心となる問題は、確率表現が位相的な頑健性（topological robustness）**を欠いている可能性があることである。すなわち、確率表現の空間においてある状態の列が理想的な挙動に収束しているように見えても、物理的な状態空間（トレース距離によって定義される）においては収束しない可能性がある。

方法論
著者らは、トポロジーおよび情報理論的アプローチを用いて、確率表現によって誘導される計量と、密度演算子の空間における標準的なトレース距離計量との関係を分析している。

1. 頑健性の定義: 彼らは、表現 $P_M$ が、誘導された計量 $d_M$ における収束がトレース距離 $\delta$ における収束を意味する場合、位相的に頑健であると定義する。形式的には、状態の列 $(\rho^{(n)})$ と状態の集合 $\Sigma$ に対して次が成り立つ：
   $$\lim_{n\to\infty} d_M(\rho^{(n)}, \Sigma) = 0 \implies \lim_{n\to\infty} \delta(\rho^{(n)}, \Sigma) = 0$$
   ここで、$d_M(\rho, \sigma) = \frac{1}{2} \sup_{M \in \mathcal{M}} \|P_M(\rho) - P_M(\sigma)\|_1$ である。

2. 反例の構成: 彼らは、$n$ 個の不安定な原子を用いたランダムネス生成プロトコルを含む特定の例を構成している。彼らは、一連の絡み合い状態 $\rho^{(n)}_{RE}$ を定義するが、これはトレース距離の観点からは完全なランダム状態の集合 $\Sigma_{rand}$ から遠い（$\delta \geq 1/4$）。しかし、局所測定（$M_\otimes$）に制限した場合、これらの状態の確率分布は $n \to \infty$ で $\Sigma_{rand}$ に収束する。これは、局所測定に基づく表現が頑健ではないことを示している。

3. 位相的特性付け: 著者らは、密度演算子が張るベクトル空間 $\text{span}(D(H))$ を分析している。彼らは、密度行列の集合 $D(H)$ 上では $d_M$ と $\delta$ が誘導する位相は同一であるが（病理的な「脆弱な」ケースを除いて）、頑健性はベクトル空間全体 $\text{span}(D(H))$ 上でのこれらの位相の同値性を要求することを証明している。これは、$\|\cdot\|_M$ に関する $\text{span}(D(H))$ の完備性と同値である。

4. エントロピーによる構造の定量化: 特定の例を超えて一般化するために、彼らは「構造」の指標として情報理論的な尺度を導入している。彼らは、あらゆる測定に対して確率を $\epsilon$ 精度でデコードするために必要な圧縮データの最小サイズに基づき、漸近的エントロピーを定義する。彼らは、「効率的」な表現（効果の数が次元に対して多項式的に増大するもの）や、局所操作に基づく表現を検討している。

主要な貢献と結果

• ノーゴー定理 (Theorem 6): 中心的な結果は、もし確率表現 $P_M$ が非自明な構造（具体的には、その漸近的エントロピーが自明な上限である $2^{2^n}$ よりも有意に小さい系列によって抑えられている場合）を持つならば、その表現は位相的に頑健であり得ないというノーゴー定理である。
• 構造と頑健性の不適合性: 彼らは根本的なトレードオフを確立している：
  • 頑健性は、表現が「構造を持たない」こと（本質的に、状態を頑健に区別するために指数関数的に膨大な数の測定を必要とすること）を要求する。
  • 構造（部分系の分解、局所性、または効率性など）は、必然的に非頑健性をもたらす。
• 具体的な系（Corollary）:
  • 系 (Corollary 7): 局所測定に基づく表現 ($P_{M_\otimes}$) は頑健ではない。これは、非シグナリング・ボックス（$P_{M_\otimes}$ に対応する）のみに基づいたポスト量子暗号におけるセキュリティ定義が、標準的な量子的な定義の下でのセキュリティを保証できない可能性があることを示唆している。
  • 系 (Corollary 8): 効率的な表現（SIC-POVMのような最小限の完備なトモグラフィー集合のように、測定の効果の数がヒルベルト空間の次元に対して多項式的に増大するもの）は、頑健ではない。これは、無界な次元のシステムに適用される。
• GPTへの一般化 (Theorem 9): 著者らは、局所測定と一般化されたトレース距離によって誘導される位相が、測定集合が脆弱でない場合であっても異なるGPTが存在することを示し、結果を一般化している。

意義と主張
本論文は、確率表現（QBismや再構成プログラムを含む多くの枠組みにおいて数学的に便利であり、基礎的でもある）が、物理的に関連のある構造を含む場合に、「近さ」という概念を保持できないという根本的な欠陥を抱えていると主張している。

• 量子基礎論への影響: これらの結果は、効率的な測定集合（SIC-POVMなど）を用いて量子論を確率的な公理から再構成しようとするプログラム（あるいは、量子状態を純粋に信念のカタログとして解釈しようとするQBismなどのプログラム）に対して課題を突きつけている。頑健性がなければ、近似的な確率的記述を信頼性の高い物理的状態へと写像することはできない。
• 量子情報への影響: 量子暗号において、$P_{M_\otimes}$ の非頑健性は、非シグナリング・ボックスに依存する「ポスト量子」スキームが、標準的な量子的なそれらよりも安全性が低い可能性があることを示唆している。なぜなら、確率的なセキュリティの定義は、トレース距離の意味でのセキュリティを保証しないからである。
• 量子場理論 (QFT) への影響: QFTの状態はしばしば相関関数（一種の確率表現）によって特徴付けられるため、著者らは、これらの表現（特に非局所的な観測量、例えばホーキング放射の相関などに関するもの）は頑健ではないことを示唆している。

結論
著者らは、密度演算子の形式が好ましい特性（頑健性、部分系の構造、および効率性）を備えている一方で、確率表現はこれらを同時に達成できないと結論づけている。確率表現は理論に依存しない汎用性を提供するが、本論文は、実用的な物理学に必要な「非自明な構造」を持つ限り、位相的な頑健性は失われると論じている。これは、確率表現の汎用性と密度演算子の頑健性を統一する、代替的なアプローチの探索を必要としている。