Rigorous no-go theorems for heralded linear-optical state generation tasks

技術要約：ヘラルド型線形光学状態生成に関する厳密なノーゴー定理

問題提起
もつれ合った光子量子状態の生成は、量子コンピューティング、センシング、および通信における基本的な要件である。決定論的な生成には通常、強い非線形性が求められるが、これは光学プラットフォームにおいて実験的に実装することが困難である。そのため、光子系における状態準備は、単一光子、線形光学ネットワーク、および光子検出を用いた確率的な手法によって実装されることが多い。

この領域における重要な課題は、特定の入力状態が、与えられた測定パターン（ヘラルディング・スキーム）を用いてターゲット状態へと変換可能かどうかを判定することである。この実現可能性問題は、多項式方程式の解の存在を判定する問題へとマッピングされる。一般的に数値探索法が用いられているが、これらは解の「不在」を決定的に証明することはできない。解が見つからないことは、単に探索アルゴリズムの限界を示しているだけであり、根本的な不可能性を意味するわけではないからである。さらに、Gröbner基底のような既存の代数的手法は、解を見つける能力はあるものの、計算コストが非常に高く（最悪の場合、二重指数的な複雑さ）、計算の全行程が完了するまで結果が得られない「プログレスフリー（進展のない）」な性質を持つ。

手法
著者らは、ヘラルド型線形光学状態生成タスクの不実現性を厳密に証明するために、代数幾何学の手法であるNullstellensatz Linear Algebra (NulLA) アルゴリズムの適用を提案する。

1. 数学的定式化: このタスクは、多項式方程式の系として定式化される。入力状態 $|\psi_{in}\rangle$ は未知の線形行列 $A$ を介して出力状態へと変換される。特定のヘラルディング・パターン（$M$ 個の補助モードにおける $m$ 個の光子の検出）を条件付けることで、ポストセレクションされた状態 $|\psi_{post}\rangle$ が導かれる。$|\psi_{post}\rangle$ が（ゼロでないスケーリング因子 $\gamma$ を除いて）ターゲット状態 $|\psi_{tar}\rangle$ と等価であるという要件は、$\gamma G = Q$ という方程式を導く。ここで、$G$ と $Q$ は、ヘラルドされた状態とターゲット状態を表す同次多項式である。これらの多項式における単項式の係数を等置することで、変換行列 $A$ の要素を変数とする多項式方程式の系が得られる。

2. NulLAアルゴリズム: 著者らは、$A$ を解く代わりに、弱Nullstellensatz（弱零点定理）を利用して解が存在しないことを証明する。ヒルベルトのNullstellensatzによれば、多項式方程式の系に解が存在しないための必要十分条件は、$\sum \beta_i f_i = 1$ を満たす多項式 $\beta_i$ が存在することである。この恒等式は**Nullstellensatz certificate（零点定理の証明書）**と呼ばれる。NulLAアルゴリズムは、多項式 $\beta_i$ の次数 $d$ を段階的に増加させ、その結果として得られる線形方程式を解くことで、このような証明書を見つけようと試みる。もし証明書が見つかれば、それは不実現性の決定的な証明となる。

3. 問題の簡略化（補題1および定理2）: 問題を扱いやすくするために、著者らは、固定された入力光子数 $n$ およびヘラルディング光子数 $m$ に対して、すべての構成に対して不実現性を証明するためには、単一の「最適な」構成をテストするだけで十分であることを確立した。

   • 最適な入力: 単一光子のフォック状態の直積（$|1, 1, \dots, 1\rangle$）は、任意の可分な $n$ 光子入力を代表するのに十分である。
   • 最適なヘラルディング: 各ヘラルディング・モードに正確に1つの光子が検出されるパターン（$(1, 1, \dots, 1)$）は、任意の $m$ 光子ヘラルディング・パターンを代表するのに十分である。
     この削減により、問題は利用可能な入力光子数とターゲット状態のみによって分類できるようになり、探索空間が大幅に縮小される。

主な貢献と結果
本論文は、このフレームワークをいくつかの具体的なタスクに適用し、リソース要件に関する厳密な下限を確立したことを示している。

• ベル状態生成: 著者らは、可分な3光子入力からベル状態を生成することは不可能であることを証明した。NulLAアルゴリズムは次数9において不実現性の証明書を生成した。これは、4光子入力を必要とする既知の解が、光子リソースの観点で最適であることを裏付けている。
• ランダムな2光子状態: この手法は、3モードおよび4モードにおける数百のHaarランダムな2光子ターゲット状態に適用された。証明書の次数に関する理論的な上限が極めて高い場合（例：59,046）であっても、低次（例：次数9）で不実現性の証明書が見つかった。これは、多くの実用的なケースにおいて、計算コストが最悪の理論的境界よりもはるかに低いことを示唆している。
• NOON状態生成: 著者らは、真空ヘラルディングを用いたNOON状態（例：$|3,0\rangle + |0,3\rangle$）の生成を分析した。彼らは、光子が同じモードに集まった（バンチングした）入力状態（例：$|2,1\rangle$）ではこれらの状態を生成できないことを証明し、入力光子を単一光子モードへと分散させることが必要なリソースであることを確立した。
• ヘラルド型CNOTゲート: この手法は、既知のヘラルド型CNOTゲートの資源最適性を検証するために拡張された。3光子入力と1つのヘラルディング光子を用いたテストにより、著者らは不実現性を証明し、少なくとも2つのアンシラ（ヘラルディング）光子がゲートに必要であることを確認した。
• 確率的光源への拡張: 本フレームワークは、入力が異なる光子数の重ね合わせとなる確率的光子対光源（例：SPDC）にも適応可能であることが示されている。このアプローチは、異なる光子数セクターを、同時進行する一連の状態生成タスクとして扱う。

意義と主張
著者らは、自らの研究が、線形光学的な状態生成における「ノーゴー（禁止）」定理を確立するための厳密かつ決定的なツールを提供すると主張している。数値最適化やGröbner基底法とは異なり、解を見つけられなかったとしても不可能であることを証明できないものとは異なり、NulLAは証明書が見つかった場合に不実現性の決定的な証明を提供する。

本研究の意義は、以下の点にある：

1. リソースの最適性の検証: 既知の解（4光子ベル状態生成器など）が、リソース使用量の観点で最小であることを確認する。
2. 下限の提示: 特定のタスクに必要な光子数の根本的な限界を確立し、実験設計を導く。
3. 実現可能性テストの自動化: この体系的なアプローチにより、大規模なターゲット状態の族やゲート設計の自動的なテストが可能になる。

論文は、不実現性証明書の次数に関する理論的な上限は高くなる可能性があるものの、実用的なアプリケーションでは多くの場合、より低い次数で証明書が得られると結論づけている。これにより、NulLAアルゴリズムは、光学セットアップおよび測定スキームの根本的な限界を決定するための強力かつ標的を絞った手法となっている。著者らは、さらなる研究を促進するために、MATLABによるアルゴリズムの実装をGitHubで公開している。