論文の概要: Differentiable Quantum Programming with Unbounded Loops
- arxiv url: http://arxiv.org/abs/2211.04507v1
- Date: Tue, 8 Nov 2022 19:07:06 GMT
- ステータス: 処理完了
- システム内更新日: 2022-11-10 18:08:12.137913
- Title: Differentiable Quantum Programming with Unbounded Loops
- Title(参考訳): 非有界ループによる微分可能量子プログラミング
- Authors: Wang Fang, Mingsheng Ying, Xiaodi Wu
- Abstract要約: 非有界ループを持つ最初の微分可能な量子プログラミングフレームワークを提供する。
非有界ループの微分における無限和を扱う導関数に対するランダム化推定器を導入する。
いくつかのパラメータ化量子アプリケーションに対する近接最適パラメータの自動同定に,我々のフレームワークのエキサイティングな応用を紹介した。
- 参考スコア(独自算出の注目度): 10.648855845619705
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: The emergence of variational quantum applications has led to the development
of automatic differentiation techniques in quantum computing. Recently, Zhu et
al. (PLDI 2020) have formulated differentiable quantum programming with bounded
loops, providing a framework for scalable gradient calculation by quantum means
for training quantum variational applications. However, promising parameterized
quantum applications, e.g., quantum walk and unitary implementation, cannot be
trained in the existing framework due to the natural involvement of unbounded
loops. To fill in the gap, we provide the first differentiable quantum
programming framework with unbounded loops, including a newly designed
differentiation rule, code transformation, and their correctness proof.
Technically, we introduce a randomized estimator for derivatives to deal with
the infinite sum in the differentiation of unbounded loops, whose applicability
in classical and probabilistic programming is also discussed. We implement our
framework with Python and Q#, and demonstrate a reasonable sample efficiency.
Through extensive case studies, we showcase an exciting application of our
framework in automatically identifying close-to-optimal parameters for several
parameterized quantum applications.
- Abstract(参考訳): 変分量子応用の出現は、量子コンピューティングにおける自動微分技術の発展につながった。
最近、Zhuら (PLDI 2020) は有界ループを持つ微分可能量子プログラミングを定式化し、量子変分法を訓練するための量子手段によるスケーラブルな勾配計算のためのフレームワークを提供している。
しかし、量子ウォークやユニタリ実装のような有望なパラメータ化量子アプリケーションは、非有界ループの自然な関与のため、既存のフレームワークでは訓練できない。
このギャップを埋めるために、新しく設計された微分規則、コード変換、それらの正当性証明を含む、非有界ループを持つ最初の微分可能な量子プログラミングフレームワークを提供する。
技術的には、非有界ループの微分における無限和を扱う導関数のランダム化推定器を導入し、古典的および確率的プログラミングへの適用性についても論じる。
我々はPythonとQ#でフレームワークを実装し、適切なサンプル効率を示す。
広範囲にわたるケーススタディを通じて、いくつかのパラメータ化量子アプリケーションに対して、近接最適パラメータを自動的に識別するフレームワークのエキサイティングな応用を紹介した。
関連論文リスト
- QuantumSEA: In-Time Sparse Exploration for Noise Adaptive Quantum
Circuits [82.50620782471485]
QuantumSEAはノイズ適応型量子回路のインタイムスパース探索である。
1)トレーニング中の暗黙の回路容量と(2)雑音の頑健さの2つの主要な目標を達成することを目的としている。
提案手法は, 量子ゲート数の半減と回路実行の2倍の時間節約で, 最先端の計算結果を確立する。
論文 参考訳(メタデータ) (2024-01-10T22:33:00Z) - Refinement calculus of quantum programs with projective assertions [5.151896714190243]
本稿では,量子プログラムに適した微積分法を提案する。
まず、量子内における非決定論的プログラムの部分的正当性について検討する。
また,ポストコンディションを最も弱いリベラルなポストコンディションに変換する際のセマンティクスも提示する。
論文 参考訳(メタデータ) (2023-11-23T22:12:57Z) - Embedding Classical Variational Methods in Quantum Circuits [0.0]
相互作用量子系の基底状態に近似する量子デバイス機能を拡張する新しい量子-古典的変分法を導入する。
本手法は,古典的自由度を付加することにより,正確な対角化結果に収束できることを示す。
論文 参考訳(メタデータ) (2023-09-15T18:00:05Z) - Near-Term Distributed Quantum Computation using Mean-Field Corrections
and Auxiliary Qubits [77.04894470683776]
本稿では,限られた情報伝達と保守的絡み合い生成を含む短期分散量子コンピューティングを提案する。
我々はこれらの概念に基づいて、変分量子アルゴリズムの断片化事前学習のための近似回路切断手法を作成する。
論文 参考訳(メタデータ) (2023-09-11T18:00:00Z) - Quantum gradient evaluation through quantum non-demolition measurements [0.0]
本稿では,コスト関数の導関数を量子コンピュータで推定するための量子非破壊測定プロトコルについて論じる。
これは変分量子回路の実装における重要なステップである。
論文 参考訳(メタデータ) (2023-01-17T19:00:08Z) - Fundamental limitations on optimization in variational quantum
algorithms [7.165356904023871]
そのような短期量子アプリケーションを確立するための主要なパラダイムは、変分量子アルゴリズム(VQA)である。
このようなランダム回路の幅広いクラスにおいて、コスト関数の変動範囲は、高い確率で量子ビット数で指数関数的に消えることを示す。
この結果は、勾配に基づく最適化と勾配のない最適化の制約を自然に統一し、VQAのトレーニングランドスケープに余分な厳しい制約を明らかにすることができる。
論文 参考訳(メタデータ) (2022-05-10T17:14:57Z) - Quantum algorithms for quantum dynamics: A performance study on the
spin-boson model [68.8204255655161]
量子力学シミュレーションのための量子アルゴリズムは、伝統的に時間進化作用素のトロッター近似の実装に基づいている。
変分量子アルゴリズムは欠かせない代替手段となり、現在のハードウェア上での小規模なシミュレーションを可能にしている。
量子ゲートコストが明らかに削減されているにもかかわらず、現在の実装における変分法は量子的優位性をもたらすことはありそうにない。
論文 参考訳(メタデータ) (2021-08-09T18:00:05Z) - Variational Quantum Optimization with Multi-Basis Encodings [62.72309460291971]
マルチバスグラフ複雑性と非線形活性化関数の2つの革新の恩恵を受ける新しい変分量子アルゴリズムを導入する。
その結果,最適化性能が向上し,有効景観が2つ向上し,測定の進歩が減少した。
論文 参考訳(メタデータ) (2021-06-24T20:16:02Z) - Quantum circuit architecture search for variational quantum algorithms [88.71725630554758]
本稿では、QAS(Quantum Architecture Search)と呼ばれるリソースと実行時の効率的なスキームを提案する。
QASは、よりノイズの多い量子ゲートを追加することで得られる利点と副作用のバランスをとるために、自動的にほぼ最適アンサッツを求める。
数値シミュレータと実量子ハードウェアの両方に、IBMクラウドを介してQASを実装し、データ分類と量子化学タスクを実現する。
論文 参考訳(メタデータ) (2020-10-20T12:06:27Z) - QUANTIFY: A framework for resource analysis and design verification of
quantum circuits [69.43216268165402]
QUINTIFYは、量子回路の定量的解析のためのオープンソースのフレームワークである。
Google Cirqをベースにしており、Clifford+T回路を念頭に開発されている。
ベンチマークのため、QUINTIFYは量子メモリと量子演算回路を含む。
論文 参考訳(メタデータ) (2020-07-21T15:36:25Z) - On the Principles of Differentiable Quantum Programming Languages [13.070557640180004]
変分量子回路(VQC)は、最も重要な短期量子応用の1つであると予測されている。
本稿では,量子回路における自己微分法の最初の形式化を提案する。
論文 参考訳(メタデータ) (2020-04-02T16:46:13Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。