Most incompatible measurements and sum-of-squares optimisation

本論文は、新たな親測定（parent measurements）を通じて解析的な普遍的境界を導出し、それらの構成を二乗和最適化によって定式化し、さらに高次元量子ステアリングの認証におけるそれらの適用を実証することにより、有限次元量子系における測定不適合性の定量化を前進させるものである。

要約

あなたはケーキを焼こうとしていると想像してください。しかし、あなたには厳格なルールがあります。それは、すべての材料を一つの大きなボウルの中で、互いに喧嘩することなく混ぜ合わせられなければならないというルールです。量子力学の世界では、この「混ぜ合わせる」ことを**ジョイント測定可能性（joint measurability）と呼びます。もし、あなたの量子測定（材料）を一つの「親」となる測定へと混ぜ合わせることができるなら、それらは互換性があります。もし、それらが喧嘩して混ざるのを拒むなら、それらは非互換（incompatible）**です。

この論文は、「最も頑固な」材料、つまり混ぜ合わせるのが最も難しい測定について調べています。なぜこれが重要なのでしょうか？ 量子物理学において、非互換であることは実は「スーパーパワー」なのです。それは「量子ステアリング（quantum steering）」のような現象を可能にする燃料であり、その現象は、あるシステムが単なる古典的なトリックではなく、真に量子的なものであることを証明する方法です。測定が非互換であればあるほど、量子システムがその魔法（量子性）を失う前に、より多くのノイズ（静電気やエラー）に耐えることができます。

以下に、著者であるセバスチャン・デザインドル（Sébastien Designolle）が発見した内容を、簡単な比喩を用いて解説します。

1. 問題：最悪の「混ぜ方」を見つける

科学者たちは、以前から最も互換性の低い「ペア」の測定法（例えば、互いに嫌い合っている特定の2種類のスパイスを混ぜようとするようなもの）を見つける方法を知っていました。しかし、もしスパイスラックに5つ、10個、あるいは100個もの測定法があったらどうなるでしょうか？ 大規模なグループにおいて、絶対的な「最悪の混ぜ合わせ方」を見つけることは、これまで数学的な大きな難問でした。

著者の目的は、あらゆる測定グループに対して、それらがどれほど非互換になり得るかを証明するための、普遍的な「レシピ」（親となる測定）を構築することでした。

2. 手法：「平方和（Sum-of-Squares）」の梯子

これを解決するために、著者は平方和（SOS）階層と呼ばれる数学的な梯子を構築しました。

• 比喩： あなたがある図形が完璧な正方形であることを証明しようとしていると想像してください。
  • レベル1（基礎）： 図形の辺が直線であるかどうかを確認します。これは著者の「次数2」の手法にあたります。これはシンプルで明快な公式であり、これまでの知見を改善するものです。
  • レベル2（より高く登る）： 角や対角線を確認します。これが「次数3」および「次数4」の手法です。
  • 梯子の頂上： 著者は、特定の図形だけをチェックするのではなく、コンピュータを使用して、「平方（常に正となる数学的な多項式）」で作られたあらゆる図形をチェックできることに気づきました。これが**平方和最適化（Sum-of-Squares optimization）**です。

この梯子を登ることで、著者は従来のメソッドよりも柔軟で強力な「親となる測定」を構築することができました。

3. 大きな発見：「反交換（Anticommuting）」のチャンピオン

最もエキサイティングな発見の一つは、「反交換観測量（anticommuting observables）」と呼ばれる特定の種類の測定に関するものです。

• 比喩： これらは、量子的な意味での「左」と「右」、あるいは「上」と「下」のような、互いに相反する測定だと考えてください。これらは根本的に対立しているため、一方を測定しようとすると、もう一方が即座に反転したり変化したりします。
• 結果： 著者は、単純な「はい／いいえ」（二値）の測定において、これらの「左／右」の反対の関係にあるものが、最も互換性の低い測定であることを証明しました。これらは究極の「混ぜられない」材料なのです。これは、もし最も堅牢な量子システムを構築したいのであれば、これらの特定の種類の測定を使用すべきであることを裏付けています。

4. コンピュータの役割：数学を凌駕する

著者は多くのケースにおいて完璧な数学的公式（解析的結果）を見つけ出しましたが、より複雑な状況については、コンピュータを使用して「平方和」のパズルを解きました。

• 結果： コンピュータは、著者自身の最高の数学的公式よりもさらに優れた解を見つけ出しました。これは、手書きで完璧なレシピを書いた後、スーパーコンピュータが味見をして、ケーキをよりふわふわにするために材料を微調整するようなものです。
• 証明： この論文は、このコンピュータによる手法が有効であることを示しています。この手法は、既知の測定の非互換性の限界を成功裏に改善し、「梯子」のアプローチが強力なツールであることを証明しました。

5. 実世界への応用：「次元ウィットネス（Dimension Witness）」

論文は、これが量子技術の実世界でどのように役立つかを説明して締めくくられます。

• 比喩： 箱を開けることなく、その箱のサイズ（量子システムの次元）を推測しようとしていると想像してください。あなたは測定によって箱を突っつくことしかできません。
• 応用： 著者が「最も非互換な」測定法を見つけたことにより、より優れた「物差し」（次元ウィットネス）を作成することができました。もしこれらの測定を使用し、一定量の「量子ステアリング（システムがノイズに対して強く反応すること）」が見られた場合、そのシステムが小さな単純なものではなく、高次元の量子オブジェクトであることを確実性を持って証明できます。これは「片側デバイス非依存（one-sided device-independent）」で行われるため、相手の装置を信頼することなく真実を知ることができます。

まとめ

要約すると、この論文は、最も「頑固な」量子測定を見つけるための、より優れた数学的ツールボックスを構築するものです。

1. 相反する測定（反交換するもの）が、非互換性のチャンピオンであることを証明しました。
2. コンピュータが人間の公式単独よりも優れた解を見つけ出すことを可能にする、階層的な手法（平方和の梯子）を導入しました。
3. 量子システムのサイズと複雑さを認定するためのより優れた物差しを提供しました。これは、将来の量子コンピュータや安全な通信ネットワークを構築する上で極めて重要です。

この論文は、新しい量子コンピュータを作ったとか、病気を治したと主張しているわけではありません。単に、これらの量子システムがいかに強力になり得るかを理解し、証明するために必要な、数学的な「設計図」と「物差し」を提供しているのです。

技術概要

技術要約：最も不適合な測定と二乗和の最適化

問題提起
測定の不適合性（または同時測定可能性の欠如）は、量子論における基本的なリソースであり、ベル非局所性やアインシュタイン＝ポドルスキー＝ローゼン（EPR）ステアリングといった現象を支えるものである。2つの測定の間の不適合性はよく特徴付けられているが、より大きな集合（$k > 2$）における「最も不適合な」測定セットを決定することは、有限次元系における重要な未解決問題として残っている。核心となる課題は、あらゆる可能な測定セットに対して有効な普遍的境界を確立することにある。これには、任意の特定のセットをポストプロセッシングによって導出できる「普遍的な親測定（universal parent measurement）」を、半正定値制約を満たすように構築することが求められる。従来のアプローチは、ペアごとの情報の組み合わせや特定の幾何学的構成に依存していたが、それらは大きな集合の全構造を捉えきれなかったり、実験的な実現可能性に欠けたりすることが多かった。

手法
著者らは、普遍的な親測定を構築するために、二乗和（SOS）最適化に基づいた体系的なフレームワークを開発している。この手法は主に2つのフェーズで進行する：

1. 解析的構成（低次多項式）：
   著者らはまず、測定演算子の和の正の多項式として定義される普遍的な親測定を示す。

• 2次（Degree Two）: 著者らは、$G \propto (S - \alpha \mathbb{1})^2$（ここで $S$ は射影の和）という形式の親測定を構築する。このアプローチにより、固定された次元（$d$）および固定されたアウトカム数（$n$）の両方について、不適合性のロバストネス（$\eta$）に関する解析的な下界が得られる。
• 3次（Degree Three）: 多項式の次数を3次（$G \propto S(S - \beta \mathbb{1})^2$）に拡張することで、特に一般化された不適合性ロバストネス（$\eta_g$）に対して、よりタイトな境界を導出する。
• 特殊なケース: 互いに直交する基底（MUBs）については、高次の多項式（最大4次まで）とMUBsの特定の性質を利用して、脱分極ロバストネス（$\eta_d$）の境界を改善する。

2. 二乗和階層（数値的最適化）：
   親測定を単純な $S$ の多項式に限定することは制限があることを認識し、著者らは一般的な階層を定式化する。

• 著者らは、正規化可能な多項式（和をとると単位行列になるもの）およびピンチド・マージナライザブルな多項式（周辺分布を特定の不等式を用いて境界付けることができるもの）を定義する。
• これにより、問題を半正定値計画法（SDP）のインスタンス（式49および50）として扱うことができ、親測定は次数 $2t$ のSOS多項式の集合内で探索される。
• 計算量を抑えるために、「ピンチド（pinched）」制約を用いて変数の数を削減した制限付き階層（式50）を数値的に実装する。

主な貢献

• 解析的境界: 本論文は、様々な不適合性尺度（$\eta_d, \eta_r, \eta_g$）に対して、既存の技術を改善する新しい解析的な普遍的親測定を提供している。
• 最大不適合性の特徴付け: 著者らは、**反交換する観測量からなる二値測定（dichotomic measurements）**が、ランダム（$\eta_r$）および一般化された（$\eta_g$）ロバストネスに関して、最も不適合な集合であることを証明している。具体的には、$\chi^r_k(2) = 1/\sqrt{k}$ および $\chi^g_k(2) = \frac{1}{2}(1 + 1/\sqrt{k})$ であることを示している。
• 統一されたフレームワーク: 本研究は、先行研究（文献 [10, 13, 20]）による解析的手法を統一し、解析的な導出と数値的な精緻化の両方を可能にする階層を導入することで、それらを拡張している。
• 数値的な改善: 制限付きSOS階層を通じて、特定のケース（例：$d=4, k=5$）において、自身の解析的な値や既知の文献の値を厳密に上回る数値的な境界を得ている。

結果

• 反交換観測量: 本研究は、反交換する観測量が最も不適合な二値セットであることを確認し、これらの特定の構成に対してタイトな境界を提供している。
• 次元ウィットネス: 導出された境界は、真の高次元ステアリングを実証するために適用される。著者らは、ステアリング・ロバストネスの上界（式42）と、設定数（$k$）およびシステム次元（$d$）に依存する対応する次元ウィットネス（式43）を提供している。
• 比較性能:
  • $k=2$ の場合、解析的な結果は既知のタイトな境界を再現する。
  • $k > 2$ の場合、2次のおよび3次の解析的境界は、ペアごとの組み合わせから導かれた従来の緩い境界を改善する。
  • SOS階層からの数値結果（表I）は、本手法が、特に固定された次元および固定されたアウトカムの領域において、解析的な限界を超えることができることを示している。
  • 表IIIは、$d=4, k=5$ における $\eta_g$ の下限の進展をまとめており、クローニングに基づく境界（0.5200）からピンチド・マージナライザブルな数値結果（~0.5391）への明確な改善を示している。

意義と主張
本論文は、2つの測定のレジームを超えて、より大きな測定集合を扱うシナリオにおける不適合性の認証への経路を確立することを主張している。

• 理論的進展: 任意のセットに対して半正定値性を証明するという技術的な障害に対処し、普遍的な親測定を構築するための厳密な方法を提供する。
• 最適性: 関連するロバストネス尺度について、反交換する観測量が実際に最も不適合な二値測定であることを示している。
• 手法の強力さ: SOS階層は、解析的手法と数値的手法を統一する強力なツールとして提示されている。著者らは、一般的な階層の収束性について（それがすべての $k, d, n$ に対してタイトになるかどうかは未解決問題であると注記しつつ）控えめな姿勢を見せているが、エッジケース（$k=2, n=2, d=2$）では既にタイトであり、より複雑なシナリオにおいても改善が可能であることを示している。
• 応用: 得られた結果は、ノイズに対する堅牢性を向上させた、片側デバイス非依存の次元ウィットネスのための直接的な応用を提供する。

本研究は新しい実験セットアップを提案するものではなく、むしろ、特に高次元ステアリングを伴う実験を解釈するために必要な、理論的な境界と認証ツールを提供するものである。