Optical Fourier Architecture for Universal Nonlinear Functions

技術要約：ユニバーサルな非線形関数のための光フーリエ・アーキテクチャ

問題提起
本論文は、光コンピューティングにおける根本的なボトルネック、すなわち、リソース消費が大きくレイテンシの大きい光・電子ドメイン間の変換に依存することなく、厳密に線形な動的プロセスの中にいかにして非線形変換を組み込むかという困難な課題に取り組んでいる。コヒーレント光プロセッサは、大規模な並列性とサブナノ秒のレイテンシを伴う線形行列・ベクトル演算には優れているが、任意の非線形関数を合成するための決定論的なユニバーサル手法を欠いている。パラメータ化された光回路を関数合成のためにコンパイルする従来のアプローチは、非線形数値最適化やヒューリスティック探索に依存しており、これらは局所解、収束のボトルネック、および必要な回路構成の存在の保証の欠如といった問題を抱えている。

手法
著者らは、任意の有限フーリエ級数を2モード（$2 \times 2$）線形光回路を用いて評価する、厳密な代数的アーキテクチャを提案している。核心となる革新は、入力変数をエンコードすべき「状態」としてではなく、調整可能な単一モード位相シフト器の位相に直接エンコードされる「パラメータ」として扱う点にある。

手法は以下のステップで進行する：

1. フーリエ表現： コンパクトな区間上で定義された任意のターゲット関数 $f(x)$ を、打ち切りフーリエ級数 $\hat{f}(x)$ によって近似する。これは、複素単位円上のローラン多項式 $\hat{f}(z)$ （ここで $z = e^{i\pi x/\tau}$）へと写像される。
2. ユニタリ制約： 線形光ネットワークは厳密にユニタリであるため、ターゲットとなる多項式 $\hat{f}(z)$ を単独で実現することはできない。$\hat{f}(z)$ は、すべての $z$ について単位円上で全強度 $|\hat{f}(z)|^2 + |g(z)|^2$ が一定に保たれるような補助多項式 $g(z)$ を伴う必要がある。
3. スペクトル分解： 著者らは、フェイエール・リースの定理（Fejér-Riesz theorem）を用いて、このような補完的な多項式 $g(z)$ の存在を証明している。$g(z)$ の係数は、反復的な最適化を一切排除し、トーピッツ行列（Toeplitz matrix）のコレスキー分解を用いた決定論的なスペクトル分解を通じて決定される。
4. 再帰的回路合成： $\hat{f}(z)$ と $g(z)$ の係数ベクトルが確立された後、著者らは代数的簡約アルゴリズム（古典的なシューア・アルゴリズムに類似）を利用する。このアルゴリズムは、直交する端点ベクトルを再帰的に特定することで、一連の静的な $SU(2)$ ユニタリ（マッハ・ツェンダー干渉計として実現）および位相シフト器を決定する。このプロセスにより、ターゲットとなる操作を、$N$ 次調和展開に対する一連の $2N$ 個の静的なユニタリおよび位相シフト器へと系統的に分解する。

主な貢献

• 存在証明： 本論文は、すべての有限フーリエ級数に対して損失のない厳密な光回路が存在することを厳密に証明しており、ヒューリスティック探索法に固有の不確実性を排除している。
• 決定論的コンパイル： 著者らは、回路を構築するための解析的手法を導出している。この合成は非反復的であり、スペクトル分解と再帰的簡約の1パスのみを必要とし、計算複雑性は $O(N)$ でスケールする。
• 受動的非線形性： このアーキテクチャは、関数の引数を位相シフト器にエンコードすることで、空間的な光モードに作用する線形プロセスの中に非線形計算を埋め込み、厳密に線形な光システムにおいて効果的な非線形性を達成できることを示している。
• スケーラビリティ： 得られる光システムは、$N$ 次調和展開に対して $O(N)$ の深さを持ち、関数評価は受動的な光の飛行時間内（time-of-flight）に行われる。

結果
著者らは数値シミュレーションを通じて、自らの主張を検証した：

• 滑らかな関数： アーキテクチャは、限定された回路深さを用いて、滑らかな $\text{sinc}(x)$ 関数を有界な誤差で合成することに成功した。誤差は、回路のコンパイルに起因するものではなく、有限のフーリエ打ち切りに起因することが示された。
• 不連続関数： 手法は、離散的なジャンプ不連続を持つ階段状の $\text{sinc}(x)$ 関数に対してもテストされた。ギブス現象や高い高調波カットオフの必要性といった課題はあるものの、アルゴリズムは数値的に安定していた。
• 効率性： フーリエ級数および補助多項式が1000項を超える場合でも、プログラム全体（セットアップ、分解、合成、およびプロットを含む）は、標準的なノートPCのCPUを使用して5秒以内に完了した。

意義および主張
本論文は、集積フォトニクスプラットフォームにおける単変数非線形光コンピューティングのための「ユニバーサルかつ決定論的な基礎」を提供すると主張している。普遍的な関数近似理論とフォトニックハードウェアを橋渡しすることで、本研究は、困難な非線形光学材料、単一光子源、または測定誘起の非線形性を必要としない、プログラム可能な非線形操作への道筋を提示している。

著者らは、本アルゴリズムが量子信号処理（QSP）やデータ再アップローディングの枠組みから着想を得ている一方で、計算は完全に古典的なコヒーレント光振幅上で行われることを強調している。これにより、本アプローチは近未来の集積フォトニクスにとってアクセス可能なものとなっている。なお、本研究の範囲は限定的であり、現在用いられている代数的戦略は一変数多項式に限定されていることを明記している。多変数関数への拡張、あるいは光・電子変換を介さない光回路のチェイニング（連鎖）は、未解決の課題である。