[論文レビュー] Showcasing a Barren Plateau Theory Beyond the Dynamical Lie Algebra

N. L. Diaz, Diego García-Martín+3 more|arXiv (Cornell University)|Oct 17, 2023

Neural Networks and Reservoir Computing被引用数 5

ひとこと要約

本稿では、初期状態や観測可能が動的リ Lie 代数 (DLA) に含まれない場合を含め、パラメータ化されたマッチゲート回路における損失関数の分散の正確な公式を提示する。これにより、バーレンプレート（barren plateau）は DLA の次元ではなく、一般化されたグローバル性から生じることが明らかになる。一般化された表現力の尺度を、Lie 群のモジュール次元に基づき導入し、フェルミオン的もつれと結びつける。一般化されたグローバルな演算子を測定すると、バーレンプレートが生じることを示す。

ABSTRACT

Barren plateaus have emerged as a pivotal challenge for variational quantum computing. Our understanding of this phenomenon underwent a transformative shift with the recent introduction of a Lie algebraic theory capable of explaining most sources of barren plateaus. However, this theory requires either initial states or observables that lie in the circuit's Lie algebra. Focusing on parametrized matchgate circuits, in this work we are able to go beyond this assumption and provide an exact formula for the loss function variance that is valid for arbitrary input states and measurements. Our results reveal that new phenomena emerge when the Lie algebra constraint is relaxed. For instance, we find that the variance does not necessarily vanish inversely with the Lie algebra's dimension. Instead, this measure of expressiveness is replaced by a generalized expressiveness quantity: The dimension of the Lie group modules. By characterizing the operators in these modules as products of Majorana operators, we can introduce a precise notion of generalized globality and show that measuring generalized-global operators leads to barren plateaus. Our work also provides operational meaning to the generalized entanglement as we connect it with known fermionic entanglement measures, and show that it satisfies a monogamy relation. Finally, while parameterized matchgate circuits are not efficiently simulable in general, our results suggest that the structure allowing for trainability may also lead to classical simulability.

研究の動機と目的

• 先行のリ代数的バーレンプレート理論が初期状態や観測可能が動的リ Lie 代数 (DLA) 内に存在することを要請するという制限を克服すること。
• 任意の入力状態および測定に対して有効な、パラメータ化されたマッチゲート回路における損失関数の分散の正確な式を導出すること。
• DLA の次元に逆比例するスケーリングを超える、バーレンプレートの新たなメカニズムを同定すること。特に、一般化されたグローバル性ともつれを対象とする。
• 一般化された演算子の表現力と既知のフェルミオン的もつれ測度（モノガミー関係を含む）との関係を確立すること。
• 古典的シミュレーション可能性への影響を検討し、特定の設定では学習可能性がシミュレーション可能性を示唆する可能性を示すこと。

提案手法

• マッチゲート回路に関連する Lie 群の不変部分空間（モジュール）への演算子空間の分解を活用する。
• 損失の分散を、Lie 群モジュールごとの寄与の和として表現し、状態と観測可能の一般化された純度とコherー二ンスを定量化する。
• Lie 群モジュールの次元に基づく一般化された表現力の尺度を導入し、分散のスケーリングの主要要因として DLA の次元を置き換える。
• これらのモジュール内の演算子をマヨラナ演算子の積として特徴づけ、一般化されたグローバル性の明確な定義を可能にする。
• フェルミオン的ガウス状態の構造とウィックの定理を用いて、古典的シミュレーション可能性を分析し、もつれの広がりとシミュレーションコストの関係を結びつける。
• $\mathfrak{g}$-sim 法を適用し、測定演算子の一般化されたグローバル性が低い場合に期待値を効率的に推定する。

実験結果

リサーチクエスチョン

• RQ1 初期状態や観測可能が動的リ Lie 代数の外にある場合、損失関数の分散はどのように変化するか？
• RQ2 DLA の次元を超える一般化された表現力の尺度が、パラメータ化されたマッチゲート回路におけるバーレンプレートの出現を説明できるか？
• RQ3 Lie 群モジュール構造に基づく一般化されたグローバル性は、バーレンプレートの発生とどのように関係するか？
• RQ4 導出された式における一般化されたもつれは、既知のフェルミオン的もつれ測度に対応するか？また、モノガミー関係を満たすか？
• RQ5 バーレンプレートの欠如は古典的シミュレーション可能性と関連しており、この回路クラスでは学習可能性がシミュレーション可能性を示唆するか？

主な発見

• 初期状態や観測可能が DLA の外にある場合、損失関数の分散は DLA の次元に逆比例するとは限らない。
• 一般化された表現力は、Lie 群モジュールの次元によって決定され、分散のスケーリングの主要要因として DLA の次元が置き換えられる。
• 一般化されたグローバルな演算子（Lie 群モジュール全体に広がるサポートを持つもの）を測定すると、DLA の次元が大きくてもバーレンプレートが生じる。
• 分散式に現れる一般化されたもつれは、既存のフェルミオン的もつれ測度に対応し、モノガミー関係を満たす。
• バーレンプレートの欠如は、低一般化されたグローバル性と低フェルミオン的もつれと関連しており、$\mathfrak{g}$-sim やウィックに基づく方法による古典的シミュレーションが可能である可能性を示唆する。
• 結果から、マッチゲート回路における学習可能性を可能にする構造的特徴が、同時に古典的シミュレーションを可能にする可能性があり、このモデルクラスでは学習可能性がシミュレーション可能性を示唆する可能性があるというトレードオフが示唆される。