The Low-Individual-Degree Test Without the Diagonal-Lines Test Is Not Quantum-Sound

技術的要約：対角線テストを除いた低個体次数テストは量子的な健全性を欠く

問題提起
本論文は、$\text{MIP}^* = \text{RE}$ [JNV+21] の証明における重要な構成要素である、古典的な低個体次数（low-individual-degree）テストの量子的な健全性に関する特定の問いを扱っている。Ji, Natarajan, Vidick, Wright, および Yuen による修正分析 [JNV+20] において、低個体次数テストは、軸に平行な直線テスト、自己一貫性テスト、および対角線テストの3つのサブテストに分解された。対角線テストは量子設定において特定の役割を果たす。すなわち、任意の点ペアに関連する点測定間の適合性の保証を提供することである。これは古典的なグローバル関数においては自動的に成立する性質であるが、量子測定においては非自明である。

本研究が調査している中心的な問いは、対角線テストは厳密に必要か、という点である。具体的には、すべての軸に平行な直線に対する完全な（あるいは近似的な）一貫性と自己一貫性チェックがあれば、点測定をグローバルに近似的に可換にさせ、グローバルな低次数多項式測定の存在を保証するのに十分であるだろうか。なお、[JNV+20] はパラメータ $(m, d, q) = (2, 2, 4)$ に対して反例を示したが、この例は、低次数テストの健全性に不可欠な「大きな場の領域（large-field regime）」、すなわち $d/q \to 0$ の状況については扱っていなかった。本論文は、この障害がこの漸近的な領域においても存続するかどうかを調査するものである。

手法
著者は、有限体 $\mathbb{F}_q$ 上の、縮小された低個体次数テスト（軸に平行な直線と自己一貫性チェックのみを含む）に対する2プロバー投影戦略を構築する。パラメータは $(m, d) = (2, 2)$ であり、$q$ は任意の奇素数とする。

1. ヒルベルト空間と状態: 戦略は、ヒルベルト空間 $H = \mathbb{C}^{\mathbb{F}_q^3}$ と、最大もつれ状態 $|\Phi\rangle = \frac{1}{\sqrt{q^3}} \sum_{z \in \mathbb{F}_q^3} |z\rangle \otimes |z\rangle$ を利用する。
2. 点測定: 各点 $u = (x, y) \in \mathbb{F}_q^2$ に対して、Weyl演算子を用いて点測定 $A^u_a$ を定義する。この構成は、以下のラベル関数 $w: \mathbb{F}_q^2 \to \mathbb{F}_q^3 \oplus \mathbb{F}_q^3$ に依拠している：
   $$w(x, y) = (1, y, y^2; xy^2, -2xy, x)$$
   測定演算子は、フーリエ射影を通じて以下のように構成される：
   $$A^u_a = \frac{1}{q} \sum_{t \in \mathbb{F}_q} \omega^{-ta} W(tw(u))$$
   ここで $W$ は一般化されたWeyl演算子を表す。ボブの測定は、アリスの測定の転置として定義される。
3. 直線測定: 軸に平行な直線 $\ell$ に対して、戦略は $\{w(u) : u \in \ell\}$ によって生成される部分空間 $S_\ell$ に基づいて直線測定を定義する。著者は、$S_\ell$ がシンプレクティック形式に関して等方的部分空間であることを証明しており、これにより、Weyl演算子がこの部分空間に制限された際に可換になることが保証される。これにより、その直線上の点測定と一貫した、有効な投影測定の構築が可能となる。
4. シンプレクティック特性: ラベル $w$ の決定的な特性は、そのシンプレクティック・ペアリングが $\langle w(u), w(v) \rangle = (x' - x)(y' - y)^2$ を満たすことである。この量は、$u$ と $v$ が同じ軸に平行な直線（すなわち $x=x'$ または $y=y'$）上に存在する場合に限りゼロとなり、それ以外の場合は非ゼロとなる。

主要な結果
構築された戦略は以下の結果をもたらす：

1. 完全な受理: この戦略は、自己一貫性テストおよび軸に平行な直線テストを確率1で通過する。点測定と直線測定は完全に精緻化されている。具体的には、直線測定演算子は、対応する直線上の点測定演算子を精緻化する。
2. グローバルな健全性の失敗: これらの縮小されたテストを完璧に通過するにもかかわらず、この戦略はグローバルな低個体次数多項式測定の存在を認めない。
   • 交換子誤差: 独立な一様分布の点 $u, v$ に対して、平均的な状態依存交換子誤差は次のように正確に計算される：
     $$\mathbb{E}_{u,v} \sum_{a,b} \| ([A^u_a, A^v_b] \otimes I) |\Phi\rangle \|^2 = 2 \left(1 - \frac{1}{q}\right)^3$$
     $q \to \infty$ （$d/q \to 0$ である大きな場の領域）において、この誤差は0ではなく2に近づく。
   • グローバルな測定からの距離: 任意の投影測定 $G = \{G_g\}$（ボブの空間上のアウトカムは関数 $g: \mathbb{F}_q^2 \to \mathbb{F}_q$）に対し、構築された戦略との一貫性は1から離れていることを証明する：
     $$\mathbb{E}_{u} \sum_{a} \sum_{g: g(u)=a} \langle \Phi | A^u_a \otimes G_g | \Phi \rangle \leq 1 - \frac{1}{16}\left(1 - \frac{1}{q}\right)^3 \leq 1 - \frac{1}{54}$$
     この境界は、すべての奇素数 $q \geq 3$ に対して一様に成り立つ。

意義と主張
本論文は、軸に平行な一貫性だけでは、低個体次数テストにおけるグローバルな適合性に必要な要件を強制するには不十分であると結論付けている。したがって、対角線テスト（またはそれに相当する明示的な適合性メカニズム）をテスト・スイートから取り除くことは、健全性の保証を損なうことになる。

著者は、この結果は「別の」明示的な適合性テストで対角線テストを置き換えることを否定するものではないことを明記している。それは、単に、軸に平行な一貫性と自己一貫性への特定の削減が不適切であることを示しているに過ぎない。この研究は、局所的な適合性（行と列）がグローバルな可換性を意味しないという、メーミン・ペレスの魔法陣（Mermin–Peres magic square）に類似した構造的な障害を浮き彫りにしている。

論文は、この結果が $\text{MIP}^* = \text{RE}$ の基礎的な理解にとって重要であると主張している。具体的には、[JNV+20] で言及されている $\text{MIP}^* = \text{RE}$ の証明における「条件付き線形関数」を「座標削除関数」に置き換えることが、それ自体では要求される健全性を保持しないことを明らかにしている。この構成は、有限アーベル群上の調和解析および有限次元量子力学の標準的なツール、特にWeyl–Heisenberg系のシンプレクティック位相空間定式化を利用している。