Perturbative photonic matrix-vector multiplication with reduced phase-shift range

技術要約：位相シフト範囲を縮小した摂動的フォトニック行列・ベクトル積

問題提起
プログラマブルなフォトニック・メッシュは、線形代数や機械学習のワークロードに不可欠なアナログ行列・ベクトル積（MVM）のための有望なプラットフォームを提供します。しかし、そのスケーラビリティは、ユニバーサルな干渉計回路に求められる大きな位相シフト範囲によって制約されています。従来のアーキテクチャ（例えば、Mach-Zehnder干渉計（MZI）に基づくもの）は、回路サイズに関わらず、通常$[0, \pi]$または$[0, 2\pi]$にわたる変調範囲を想定しています。この要件は、デバイスのフットプリント、チューニング電力、および累積光学損失に対して、特に厳格な熱予算を持つ環境において、重大なペナルティを課します。ハードウェアの改善（材料、デバイス設計）や、位相効率の高いメッシュ（3-MZIなど）といったアーキテクチャの最適化が提案されてはいるものの、行列次元に伴って位相要件が増大するという根本的な課題は依然として残っています。

手法
著者らは、ターゲットとなる行列を直接グローバルに実装するのではなく、固定された参照構成の近傍で動作するという、パラダイムを転換する摂動的プログラミング手法を提案しています。

• コア概念: 回路は参照設定 $x^{(0)}$ とそれに対応する転送行列 $A(0)$ でバイアスされます。ターゲットとなる変換 $W$ は、全行列をプログラミングすることによってではなく、全転送行列が $A(x) = A(0) + \epsilon W$ となるような小さな摂動 $\epsilon W$ を適用することによって実現されます。
• 実装: システムは、プログラマブルな回路 $A(x)$ と静的な参照回路 $A(0)$ の2つの並列なマルチモード回路を利用します。入力振幅は等分に分割され、両方の回路を通過した後、干渉的に再結合されます。出力は、$\frac{1}{2}(A(x) - A(0))a^{(in)}$ に比例します。
• 参照の選択: 摂動領域の有用性を最大化するために、参照パラメータ $x^{(0)}$ は、パラメータから転送行列への写像のヤコビ行列式によって定量化される、アクセス可能な摂動の局所的な体積を最大化するように選択されます。3-MZIメッシュの場合、これは反対角の参照行列をもたらし、これを光学的にではなく電子的に減算できるため、光学損失を低減できます。
• アーキテクチャ: この手法は、主に2つのアーキテクチャに適用されます：
  1. ユニバーサル・ユニタリ・メッシュ: 具体的にはClements設計（標準的なMZI）および位相効率の高い3-MZI設計。
  2. 非ユニタリ構成: 「2ユニタリ」分解に基づくもので、非ユニタリ行列を2つのユニタリ行列の和（$A = \frac{1}{2}(U_1 + U_2)$）として表現するものです。

主な貢献と結果

1. 位相分布の収縮: ランダムな高密度行列（Ginibreアンサンブル）を用いた数値シミュレーションにより、摂幅的プログラミングが、従来の直接プログラミングと比較して、要求される位相シフトの広がりを大幅に減少させることが示されました。
   • 従来のレジームでは、行列サイズ $N$ が増加するにつれて位相分布の大部分は狭まりますが、極端な裾（最大位相偏差）は依然として広いままです。
   • 摂動的レジームでは、位相分布全体（極端な裾を含む）が、行列サイズの増大に伴い $O(1/\sqrt{N})$ で収縮します。これは3-MZIアーキテクチャにおいて特に効果的です。
2. トレードオフ分析（損失 vs. 範囲）: 著者らは、減少した位相範囲と、減算アーキテクチャに固有のオーバーヘッドとの間のトレードオフを定量化しています。
   • 減算スキームは、固定の減衰因子 $\epsilon/2$ を導入するため、2ユニタリ構成（ここで $\epsilon_{max} \approx 0.29$）において、約 16.7 dB の最小固有挿入損失が発生します。
   • しかし、もし位相シフタの物理的損失がその変調長（例：シリコンフォトニクスや最適化されていないプラットフォーム）に比例してスケールする場合、要求される位相偏差の減少が、この固定オーバーヘッドを十分に大きな行列次元において相殺できる可能性があります。
3. アンサンブル依存性: 位相範囲の減少は普遍的なものではありません。これは、高エントロピーな高密度行列（ニューラルネットワークで一般的）に対して非常に効果的です。逆に、高度に構造化された疎行列（光スイッチングに使用される置換行列など）の場合、摂動的アプローチは $1/\sqrt{N}$ の漸近的な減少をもたらさず、位相範囲はサイズに依存しない定数によって制限されたままとなります。

意義と主張
本論文は、摂動的プログラミングが、よりスケーラブルなプログラマブル・フォトニック・マトリックス・プロセッサへの、条件的ではあるが潜在的に有用な経路であることを特定しています。

• 補完的戦略: このアプローチは、ハードウェア主導の戦略（優れた材料、効率的なデバイス設計）やアーキテクチャの最適化（位相効率の高いメッシュ）を補完する、アルゴリズム的な最適化として提示されています。
• 設計のトレードオフ: 本手法は、広範囲のグローバルなプログラマビリティを、注意深く選択された参照変換の周囲での、較正された小信号プログラマビリティに置き換えるという、新しい設計パラダイムを導入します。
• 実用的な限界: 著者らは、本手法の有用性が以下の点に限定されることを強調しています：
  • 製造および較正の精度: 静的なアームとプログラマブルなアームが、制御不能な差分誤差が摂動信号をかき消さない程度に十分に一致している必要があります。
  • 損失レジーム: 本手法は、位相シフタの損失が変調範囲に対して大きい場合に最も有益です。超低損失プラットフォームの場合、固定の減算オーバーヘッドが、小規模から中規模の行列におけるメリットを上回る可能性があります。
  • 行列構造: 恩恵は高密度で高エントロピーなワークロードに特有であり、疎または高度に構造化された変換には自動的には拡張されません。

結論として、本研究は、固定された参照点の近傍で動作することにより、フォトニックプロセッサが、密なワークロードに対して行列サイズに応じて良好にスケールする、要求されるプログラマブルな位相偏差の減少を実現できることを示しています。ただし、これはシステムが固有の減算損失を許容し、高い較正精度を維持できることが条件となります。