論文の概要: Linear and non-linear relational analyses for Quantum Program Optimization
- arxiv url: http://arxiv.org/abs/2410.23493v1
- Date: Wed, 30 Oct 2024 22:57:07 GMT
- ステータス: 翻訳完了
- システム内更新日: 2024-11-01 17:00:32.042471
- Title: Linear and non-linear relational analyses for Quantum Program Optimization
- Title（参考訳）: 量子プログラム最適化のための線形・非線形関係解析
- Authors: Matthew Amy, Joseph Lunderville,
- Abstract要約: 位相折り畳み最適化はエファフィン関係解析として再キャスト可能であることを示す。
直列回路のシンボリック・トランジション関係を正確に抽出するために,Emphsum-over-paths法が有効であることを示す。
- 参考スコア（独自算出の注目度）: 0.9208007322096532
- License:
- Abstract: The phase folding optimization is a circuit optimization used in many quantum compilers as a fast and effective way of reducing the number of high-cost gates in a quantum circuit. However, existing formulations of the optimization rely on an exact, linear algebraic representation of the circuit, restricting the optimization to being performed on straightline quantum circuits or basic blocks in a larger quantum program. We show that the phase folding optimization can be re-cast as an \emph{affine relation analysis}, which allows the direct application of classical techniques for affine relations to extend phase folding to quantum \emph{programs} with arbitrarily complicated classical control flow including nested loops and procedure calls. Through the lens of relational analysis, we show that the optimization can be powered-up by substituting other classical relational domains, particularly ones for \emph{non-linear} relations which are useful in analyzing circuits involving classical arithmetic. To increase the precision of our analysis and infer non-linear relations from gate sets involving only linear operations -- such as Clifford+$T$ -- we show that the \emph{sum-over-paths} technique can be used to extract precise symbolic transition relations for straightline circuits. Our experiments show that our methods are able to generate and use non-trivial loop invariants for quantum program optimization, as well as achieve some optimizations of common circuits which were previously attainable only by hand.
- Abstract（参考訳）: 位相折り畳み最適化は、多くの量子コンパイラにおいて、量子回路における高コストゲートの数を減らすための高速かつ効率的な方法として使用される回路最適化である。
しかし、既存の最適化の定式化は、回路の正確な線形代数的表現に依存しており、より大規模な量子プログラムにおいて直線量子回路や基本ブロックで実行されるように最適化を制限している。
位相折り畳み最適化は, ネストループやプロシージャコールを含む古典的制御フローを任意に複雑にすることで, 位相折り畳みを量子的に拡張する古典的手法の直接適用を可能にする, \emph{affine Relation Analysis} として再キャスト可能であることを示す。
リレーショナル解析のレンズを通して、最適化は他の古典的リレーショナルドメイン、特に古典的算術を含む回路を解析するのに有用な 'emph{non-linear} 関係を置換することで、この最適化をパワーアップすることができることを示す。
解析の精度を高め、Clifford+$T$のような線形演算のみを含むゲート集合から非線形関係を推定するために、直列回路の正確なシンボリック遷移関係を抽出するために、 \emph{sum-over-paths} 技術を用いることが示されている。
提案手法は,従来手動でしか実現できなかった共通回路の最適化を実現するとともに,量子プログラム最適化のための非自明なループ不変量の生成と利用が可能であることを示す。
関連論文リスト
- Quantum algorithms for the variational optimization of correlated electronic states with stochastic reconfiguration and the linear method [0.0]
本稿では、ユニタリ作用素の積に相関した波動関数の変動最適化のための量子アルゴリズムを提案する。
古典的なコンピューティングハードウェアの実装には、指数関数的に計算コストが増加する必要があるが、量子アルゴリズムのコスト(回路数とショット数)はシステムサイズである。
論文 参考訳（メタデータ） (2024-08-03T17:53:35Z) - Quantum Circuit Unoptimization [0.6449786007855248]
我々は、量子回路最適化と呼ばれる量子アルゴリズムプリミティブを構築する。
回路等価性を保ちながらいくつかの冗長性を導入することで、与えられた量子回路複合体を作る。
我々は、量子回路の最適化を用いて、コンパイラベンチマークを生成し、回路最適化性能を評価する。
論文 参考訳（メタデータ） (2023-11-07T08:38:18Z) - GloptiNets: Scalable Non-Convex Optimization with Certificates [61.50835040805378]
本稿では,ハイパーキューブやトーラス上のスムーズな関数を扱う証明書を用いた非キューブ最適化手法を提案する。
スペクトルの減衰に固有の対象関数の正則性を活用することにより、正確な証明を取得し、高度で強力なニューラルネットワークを活用することができる。
論文 参考訳（メタデータ） (2023-06-26T09:42:59Z) - Linearization Algorithms for Fully Composite Optimization [61.20539085730636]
本稿では,完全合成最適化問題を凸コンパクト集合で解くための一階アルゴリズムについて検討する。
微分可能および非微分可能を別々に扱い、滑らかな部分のみを線形化することで目的の構造を利用する。
論文 参考訳（メタデータ） (2023-02-24T18:41:48Z) - Optimizing quantum circuits with Riemannian gradient flow [0.5524804393257919]
変分量子アルゴリズムは、現在利用可能な量子コンピュータで実行できる有望なクラスアルゴリズムである。
特殊ユニタリ群の構造に依存する別の最適化の観点を考える。
論文 参考訳（メタデータ） (2022-02-14T19:00:06Z) - Hybrid quantum-classical circuit simplification with the ZX-calculus [0.0]
この研究は、ハイブリッド回路の中間表現として、ZX-groundと呼ばれる形式的なグラフィカルなZX計算を拡張している。
グラフのサイズを小さくするZX-グラウンドダイアグラムに対して,多数のgFlow保存最適化ルールを導出する。
抽出回路の古典ゲートで実装可能な回路状ZX地上図のセグメントを検出するための一般的な手順を提案する。
論文 参考訳（メタデータ） (2021-09-13T15:45:56Z) - Optimization on manifolds: A symplectic approach [127.54402681305629]
本稿では、最適化問題を解くための一般的な枠組みとして、ディラックの制約付きハミルトン系理論の散逸拡張を提案する。
我々の(加速された)アルゴリズムのクラスは単純で効率的なだけでなく、幅広い文脈にも適用できる。
論文 参考訳（メタデータ） (2021-07-23T13:43:34Z) - Variational Quantum Optimization with Multi-Basis Encodings [62.72309460291971]
マルチバスグラフ複雑性と非線形活性化関数の2つの革新の恩恵を受ける新しい変分量子アルゴリズムを導入する。
その結果,最適化性能が向上し,有効景観が2つ向上し,測定の進歩が減少した。
論文 参考訳（メタデータ） (2021-06-24T20:16:02Z) - Optimized Low-Depth Quantum Circuits for Molecular Electronic Structure
using a Separable Pair Approximation [0.0]
我々は、分離可能なペア近似を利用して、最適化された低深度量子回路を実現する古典的な可解モデルを提案する。
得られた回路は、新興量子ハードウェアのベースライン回路として適しており、長期的には量子アルゴリズムの初期状態を大幅に改善することができる。
論文 参考訳（メタデータ） (2021-05-09T05:10:59Z) - Direct Optimal Control Approach to Laser-Driven Quantum Particle
Dynamics [77.34726150561087]
間接制御理論に対する頑健で柔軟な代替手段として, 直接最適制御を提案する。
この方法は、バイスタブルポテンシャルにおけるレーザー駆動のウェーブパレットダイナミクスの場合に説明される。
論文 参考訳（メタデータ） (2020-10-08T07:59:29Z) - Adaptive pruning-based optimization of parameterized quantum circuits [62.997667081978825]
Variisyハイブリッド量子古典アルゴリズムは、ノイズ中間量子デバイスの使用を最大化する強力なツールである。
我々は、変分量子アルゴリズムで使用されるそのようなアンサーゼを「効率的な回路訓練」(PECT)と呼ぶ戦略を提案する。
すべてのアンサッツパラメータを一度に最適化する代わりに、PECTは一連の変分アルゴリズムを起動する。
論文 参考訳（メタデータ） (2020-10-01T18:14:11Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。