[论文解读] 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

一句话总结

本文提出了一种无需初始态或可观测量位于动力学李代数（DLA）中的参数化匹配门电路损失函数方差的精确公式，揭示了广义全局性而非DLA维数才是导致平坦区（barren plateaus）的根本原因。该文引入了一种基于李群模维数的广义表达能力度量，并将其与费米子纠缠联系起来，表明测量广义全局算符会引发平坦区。

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.

研究动机与目标

• 克服先前基于李代数的平坦区理论的局限性，即要求初始态或可观测量位于动力学李代数（DLA）中。
• 推导出适用于任意输入态和测量的参数化匹配门电路损失函数方差的精确表达式。
• 识别出超越与DLA维数反比缩放的新平坦区机制，特别是通过广义全局性和纠缠。
• 建立算符广义表达能力与已知费米子纠缠度量（包括单体关系）之间的联系。
• 探讨其对经典可模拟性的影响，提示在某些情形下，可训练性可能意味着可模拟性。

提出的方法

• 利用与匹配门电路相关的李群的算符空间不可约表示（模）分解。
• 将损失方差表示为不同李群模贡献之和，量化了态与可观测量中的广义纯度与相干性。
• 引入一种基于李群模维数的广义表达能力度量，取代DLA维数作为方差缩放的关键因素。
• 将这些模中的算符表征为马约拉纳算符的乘积，从而精确定义广义全局性。
• 利用费米子高斯态的结构和维克定理分析经典可模拟性，并将纠缠范围与模拟成本关联。
• 应用$\mathfrak{g}$-sim方法，当测量算符具有低广义全局性时，高效估计期望值。

实验结果

研究问题

• RQ1 当初始态或可观测量位于动力学李代数之外时，损失函数方差会发生什么变化？
• RQ2 能否通过超越DLA维数的广义表达能力度量来解释参数化匹配门电路中平坦区的出现？
• RQ3 通过李群模结构定义的广义全局性与平坦区的发生有何关联？
• RQ4 所推导公式中的广义纠缠是否对应于已知的费米子纠缠度量，是否满足单体关系？
• RQ5 平坦区的缺失是否与经典可模拟性相关联，且在该电路类中，可训练性是否可能意味着可模拟性？

主要发现

• 当初始态或可观测量位于DLA之外时，损失函数方差并不一定与DLA维数成反比缩放。
• 广义表达能力由李群模的维数决定，该维数取代了DLA维数，成为方差缩放的关键因素。
• 测量广义全局算符（即在李群模中具有广泛支持的算符）会导致平坦区，即使DLA维数很大。
• 方差公式中的广义纠缠对应于已确立的费米子纠缠度量，并满足单体关系。
• 平坦区的缺失与低广义全局性及低费米子纠缠相关联，提示此类区域可能通过$\mathfrak{g}$-sim或基于维克定理的方法实现经典模拟。
• 结果提示存在一种潜在权衡：使匹配门电路可训练的结构特征，也可能使其具备经典模拟能力，从而提出在该模型类别中，可训练性可能意味着可模拟性。