Fugu-MT 論文翻訳(概要): Quantum Expectation Transformers for Cost Analysis

論文の概要: Quantum Expectation Transformers for Cost Analysis

arxiv url: http://arxiv.org/abs/2201.09361v1
Date: Sun, 23 Jan 2022 20:42:48 GMT
ステータス: 処理完了
システム内更新日: 2023-02-28 02:28:46.130090
Title: Quantum Expectation Transformers for Cost Analysis
Title（参考訳）: コスト解析のための量子期待変換器
Authors: Martin Avanzini, Georg Moser, Romain P\'echoux, Simon Perdrix, Vladimir Zamdzhiev
Abstract要約: 混合古典量子言語のための新しい種類の期待変換器を提案する。我々のセマンティックアプローチはコスト構造という新しい概念に依存しており、これはKeimel と Plotkin の Kegelspitzen の特殊化と見なすことができる。我々は,我々の最も弱い前提条件分析が,言語の操作的意味論に関して,健全かつ適切なものであることを示す。
参考スコア（独自算出の注目度）: 0.0
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: We introduce a new kind of expectation transformer for a mixed classical-quantum programming language. Our semantic approach relies on a new notion of a cost structure, which we introduce and which can be seen as a specialisation of the Kegelspitzen of Keimel and Plotkin. We show that our weakest precondition analysis is both sound and adequate with respect to the operational semantics of the language. Using the induced expectation transformer, we provide formal analysis methods for the expected cost analysis and expected value analysis of classical-quantum programs. We illustrate the usefulness of our techniques by computing the expected cost of several well-known quantum algorithms and protocols, such as coin tossing, repeat until success, entangled state preparation, and quantum walks.
Abstract（参考訳）: 古典量子型プログラミング言語のための新しい種類の期待変換器を提案する。我々のセマンティックアプローチはコスト構造という新しい概念に依存しており、これはKeimelとPlotkinのKegelspitzenの特殊化と見なすことができる。我々の最も弱い前提条件分析は、言語の操作的意味論に関して健全かつ適切なものであることを示す。予測変換器を用いて,古典量子プログラムの予測コスト解析と期待値解析のための形式解析手法を提案する。我々は、コイン投げ、成功まで繰り返し、絡み合った状態の準備、量子ウォークなど、よく知られた量子アルゴリズムやプロトコルの期待コストを計算することで、この技術の有用性を示す。

関連論文リスト

Efficient Learning for Linear Properties of Bounded-Gate Quantum Circuits [63.733312560668274]
d可変RZゲートとG-dクリフォードゲートを含む量子回路を与えられた場合、学習者は純粋に古典的な推論を行い、その線形特性を効率的に予測できるだろうか? 我々は、d で線形にスケーリングするサンプルの複雑さが、小さな予測誤差を達成するのに十分であり、対応する計算の複雑さは d で指数関数的にスケールすることを証明する。我々は,予測誤差と計算複雑性をトレードオフできるカーネルベースの学習モデルを考案し,多くの実践的な環境で指数関数からスケーリングへ移行した。
論文参考訳（メタデータ） (2024-08-22T08:21:28Z)
Measurement-Based Quantum Approximate Optimization [0.24861619769660645]
近似最適化のための計測ベースの量子コンピューティングプロトコルに焦点をあてる。我々は,QUBO問題の広範かつ重要なクラスにQAOAを適用するための測定パターンを導出する。我々は、より伝統的な量子回路に対する我々のアプローチのリソース要件とトレードオフについて論じる。
論文参考訳（メタデータ） (2024-03-18T06:59:23Z)
Near-Term Distributed Quantum Computation using Mean-Field Corrections and Auxiliary Qubits [77.04894470683776]
本稿では,限られた情報伝達と保守的絡み合い生成を含む短期分散量子コンピューティングを提案する。我々はこれらの概念に基づいて、変分量子アルゴリズムの断片化事前学習のための近似回路切断手法を作成する。
論文参考訳（メタデータ） (2023-09-11T18:00:00Z)
Classical variational optimization of PREPARE circuit for quantum phase estimation of quantum chemistry Hamiltonians [0.8009842832476994]
本稿では,量子化学における分子ハミルトニアンの量子位相推定のための$textttPREPARE$回路の構成法を提案する。 textttPREPARE$回路は、ハミルトニアンにおける項の係数を確率振幅として符号化する量子状態を生成する。
論文参考訳（メタデータ） (2023-08-26T05:32:38Z)
Quantum Architecture Search for Quantum Monte Carlo Integration via Conditional Parameterized Circuits with Application to Finance [0.0]
古典的モンテカルロアルゴリズムは、振幅推定(AE)を用いて理論的に量子コンピュータ上にスピンアップできる我々は、パラメータ化量子回路の事前学習に基づく簡単なアプローチを開発する。 AEアルゴリズムのサブルーチンとして使用できるように、条件付き変種に変換する方法を示す。
論文参考訳（メタデータ） (2023-04-18T07:56:57Z)
Anticipative measurements in hybrid quantum-classical computation [68.8204255655161]
量子計算を古典的な結果によって補う手法を提案する。予測の利点を生かして、新しいタイプの量子測度がもたらされる。予測量子測定では、古典計算と量子計算の結果の組み合わせは最後にのみ起こる。
論文参考訳（メタデータ） (2022-09-12T15:47:44Z)
Quantum variational learning for entanglement witnessing [0.0]
この研究は量子アルゴリズムの潜在的な実装に焦点を当て、$n$ qubitsの単一レジスタ上で定義された量子状態を適切に分類することができる。我々は「絡み合いの証人」という概念、すなわち、特定の特定の状態が絡み合うものとして識別できる期待値を持つ演算子を利用する。我々は,量子ニューラルネットワーク(QNN)を用いて,絡み合いの目撃者の行動を再現する方法をうまく学習した。
論文参考訳（メタデータ） (2022-05-20T20:14:28Z)
Phenomenological Theory of Variational Quantum Ground-State Preparation [0.0]
変分量子固有解法(VQE)アルゴリズムは、偏光量子回路を利用するハミルトンの基底状態を作成することを目的としている。アルゴリズムの成功は学習率などの他のパラメータに大きく依存していることが示される。ギャップが閉じた場合に使用する対称性向上型シミュレーションプロトコルを提案する。
論文参考訳（メタデータ） (2022-05-12T18:00:04Z)
Quantum algorithms for quantum dynamics: A performance study on the spin-boson model [68.8204255655161]
量子力学シミュレーションのための量子アルゴリズムは、伝統的に時間進化作用素のトロッター近似の実装に基づいている。変分量子アルゴリズムは欠かせない代替手段となり、現在のハードウェア上での小規模なシミュレーションを可能にしている。量子ゲートコストが明らかに削減されているにもかかわらず、現在の実装における変分法は量子的優位性をもたらすことはありそうにない。
論文参考訳（メタデータ） (2021-08-09T18:00:05Z)
Realization of arbitrary doubly-controlled quantum phase gates [62.997667081978825]
本稿では,最適化問題における短期量子優位性の提案に着想を得た高忠実度ゲートセットを提案する。 3つのトランペット四重項のコヒーレントな多レベル制御を編成することにより、自然な3量子ビット計算ベースで作用する決定論的連続角量子位相ゲートの族を合成する。
論文参考訳（メタデータ） (2021-08-03T17:49:09Z)
Gradient $\ell_1$ Regularization for Quantization Robustness [70.39776106458858]
トレーニング後の量子化に対するロバスト性を改善するための単純な正規化スキームを導出する。量子化対応ネットワークをトレーニングすることにより、異なるビット幅にオンデマンドで量子化できる1組の重みを格納できる。
論文参考訳（メタデータ） (2020-02-18T12:31:34Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。