論文の概要: It's Quick to be Square: Fast Quadratisation for Quantum Toolchains
- arxiv url: http://arxiv.org/abs/2411.19934v2
- Date: Fri, 06 Dec 2024 17:56:33 GMT
- ステータス: 翻訳完了
- システム内更新日: 2024-12-09 15:53:26.729570
- Title: It's Quick to be Square: Fast Quadratisation for Quantum Toolchains
- Title(参考訳): 量子ツールチェーンのための高速な四値化
- Authors: Lukas Schmidbauer, Elisabeth Lobe, Ina Schaefer, Wolfgang Mauerer,
- Abstract要約: 我々は、高次表現の特定のクラス、すなわち制約のないバイナリ問題を考える。
我々は、新しい自動変換機構を広く使われている非制約バイナリ最適化問題に考案する。
また、トランスフォーメーションプロセスにおいて、低レベルの詳細がどのような影響要因を抽象化できるかを識別する。
- 参考スコア(独自算出の注目度): 5.023742533119026
- License:
- Abstract: Many of the envisioned use-cases for quantum computers involve optimisation processes. While there are many algorithmic primitives to perform the required calculations, all eventually lead to quantum gates operating on quantum bits, with an order as determined by the structure of the objective function and the properties of target hardware. When the structure of the problem representation is not aligned with structure and boundary conditions of the executing hardware, various overheads degrading the computation may arise, possibly negating any possible quantum advantage. Therefore, automatic transformations of problem representations play an important role in quantum computing when descriptions (semi-)targeted at humans must be cast into forms that can be executed on quantum computers. Mathematically equivalent formulations are known to result in substantially different non-functional properties depending on hardware, algorithm and detail properties of the problem. Given the current state of noisy intermediate-scale quantum (NISQ) hardware, these effects are considerably more pronounced than in classical computing. Likewise, efficiency of the transformation itself is relevant because possible quantum advantage may easily be eradicated by the overhead of transforming between representations. In this paper, we consider a specific class of higher-level representations, i.e. polynomial unconstrained binary optimisation problems, and devise novel automatic transformation mechanisms into widely used quadratic unconstrained binary optimisation problems that substantially improve efficiency and versatility over the state of the art. We also identify what influence factors of lower-level details can be abstracted away in the transformation process, and which details must be made available to higher-level abstractions.
- Abstract(参考訳): 量子コンピュータの想定されたユースケースの多くは最適化プロセスを含んでいる。
必要な計算を行うアルゴリズムプリミティブは数多く存在するが、最終的には量子ビット上で動く量子ゲートにつながり、目的関数の構造とターゲットハードウェアの特性によって決定される。
問題表現の構造が実行ハードウェアの構造と境界条件と一致していない場合、計算を劣化させる様々なオーバーヘッドが発生し、可能な量子優位性を否定する可能性がある。
したがって、人間をターゲットとした記述(セミ-)を量子コンピュータ上で実行可能な形式にキャストする必要がある場合、問題表現の自動変換は量子コンピューティングにおいて重要な役割を果たす。
数学的に等価な定式化は、ハードウェア、アルゴリズム、および問題の詳細な性質によって大きく異なる非機能特性をもたらすことが知られている。
ノイズの多い中間スケール量子(NISQ)ハードウェアの現在の状態を考えると、これらの効果は古典的な計算よりもかなり顕著である。
同様に、変換自体の効率は、表現間の変換のオーバーヘッドによって量子上の利点が容易に排除されるため、関係している。
本稿では,多項式非制約二項最適化問題(多項式非制約二項最適化問題)という,高階表現の特定のクラスを考察し,新しい自動変換機構を広く用いられている2次非制約二項最適化問題に展開し,現状よりも効率と汎用性を大幅に向上させる。
また、トランスフォーメーションプロセスにおいて、低レベルの詳細の影響要因を抽象化し、どの詳細を高レベルの抽象化で利用できなければならないかを特定する。
関連論文リスト
- Codesigned counterdiabatic quantum optimization on a photonic quantum processor [6.079051215256144]
我々は,このアルゴリズムをフォトニック量子プロセッサ上で実装するための符号付きアプローチを用いて,逆断熱プロトコルに焦点を当てた。
我々は,高次多体相互作用項に対処して,最適化された反断熱的手法を開発し,実装する。
フォトニックプラットフォーム上での量子コンピューティングにおける反断熱量子力学の符号付きマッピングの利点を実験的に実証した。
論文 参考訳(メタデータ) (2024-09-26T15:08:19Z) - Polynomial Reduction Methods and their Impact on QAOA Circuits [2.4588375162098877]
量子最適化のために、高次問題定式化が、異なる所望の非機能特性を活用するためにどのように使用できるかを示す。
本研究は,本手法がさまざまなトレードオフを満足できることを示すとともに,今後の汎用抽象概念の構築の可能性も示唆している。
論文 参考訳(メタデータ) (2024-06-13T07:43:18Z) - Computable and noncomputable in the quantum domain: statements and conjectures [0.70224924046445]
本稿では,量子コンピュータによって解を加速できる問題のクラスを記述するためのアプローチを検討する。
初期量子状態を所望の状態に変換するユニタリ演算は、1ビットと2ビットのゲートの列に分解可能である必要がある。
論文 参考訳(メタデータ) (2024-03-25T15:47:35Z) - Towards Quantum Computational Mechanics [1.530480694206666]
本稿では、量子コンピューティングを用いて、計算ホモジェナイゼーションにおける代表要素体積(RVE)問題を解く方法について述べる。
我々の量子RVE解法は古典解法に対して指数加速度を得る。
論文 参考訳(メタデータ) (2023-12-06T12:53:02Z) - Quantum algorithms: A survey of applications and end-to-end complexities [90.05272647148196]
期待されている量子コンピュータの応用は、科学と産業にまたがる。
本稿では,量子アルゴリズムの応用分野について検討する。
私たちは、各領域における課題と機会を"エンドツーエンド"な方法で概説します。
論文 参考訳(メタデータ) (2023-10-04T17:53:55Z) - Optimizing quantum gates towards the scale of logical qubits [78.55133994211627]
量子ゲート理論の基本的な前提は、量子ゲートはフォールトトレランスの誤差閾値を超えることなく、大きなプロセッサにスケールできるということである。
ここでは、このような問題を克服できる戦略について報告する。
我々は、68個の周波数可変ビットの周波数軌跡をコレオグラフィーして、超伝導エラー中に単一量子ビットを実行することを示した。
論文 参考訳(メタデータ) (2023-08-04T13:39:46Z) - A Practitioner's Guide to Quantum Algorithms for Optimisation Problems [0.0]
NPハード最適化問題は、物流や金融といった産業分野では一般的である。
本稿では,量子最適化理論の概要を概観する。
ノイズの多い中間スケール量子デバイスに対する短期的なポテンシャルに焦点を当てている。
論文 参考訳(メタデータ) (2023-05-12T08:57:36Z) - Realization of arbitrary doubly-controlled quantum phase gates [62.997667081978825]
本稿では,最適化問題における短期量子優位性の提案に着想を得た高忠実度ゲートセットを提案する。
3つのトランペット四重項のコヒーレントな多レベル制御を編成することにより、自然な3量子ビット計算ベースで作用する決定論的連続角量子位相ゲートの族を合成する。
論文 参考訳(メタデータ) (2021-08-03T17:49:09Z) - 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) - Space-efficient binary optimization for variational computing [68.8204255655161]
本研究では,トラベリングセールスマン問題に必要なキュービット数を大幅に削減できることを示す。
また、量子ビット効率と回路深さ効率のモデルを円滑に補間する符号化方式を提案する。
論文 参考訳(メタデータ) (2020-09-15T18:17:27Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。