論文の概要: A Quantum Algorithm for Computing All Diagnoses of a Switching Circuit
- arxiv url: http://arxiv.org/abs/2209.05470v1
- Date: Thu, 8 Sep 2022 17:55:30 GMT
- ステータス: 処理完了
- システム内更新日: 2022-09-13 13:08:11.415234
- Title: A Quantum Algorithm for Computing All Diagnoses of a Switching Circuit
- Title(参考訳): スイッチング回路の全ての診断を計算するための量子アルゴリズム
- Authors: Alexander Feldman, Johan de Kleer, Ion Matei
- Abstract要約: ほとんどの人造システム、特にコンピュータは決定論的に機能する。
本稿では、量子物理学が確率法則に従うときの直観的なアプローチである量子情報理論による接続を提供する。
- 参考スコア(独自算出の注目度): 73.70667578066775
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Faults are stochastic by nature while most man-made systems, and especially
computers, work deterministically. This necessitates the linking of probability
theory with mathematical logics, automata, and switching circuit theory. This
paper provides such a connecting via quantum information theory which is an
intuitive approach as quantum physics obeys probability laws. In this paper we
provide a novel approach for computing diagnosis of switching circuits with
gate-based quantum computers. The approach is based on the idea of putting the
qubits representing faults in superposition and compute all, often
exponentially many, diagnoses simultaneously. We empirically compare the
quantum algorithm for diagnostics to an approach based on SAT and
model-counting. For a benchmark of combinational circuits we establish an error
of less than one percent in estimating the true probability of faults.
- Abstract(参考訳): 断層は本質的に確率的であるが、ほとんどの人造システム、特にコンピュータは決定論的に機能する。
これは確率論と数学的論理、オートマタ、スイッチング回路理論とを結びつける必要がある。
本稿では、量子物理学が確率法則に従うため直感的なアプローチである量子情報理論による接続を提供する。
本稿では,ゲート型量子コンピュータを用いたスイッチング回路の診断手法を提案する。
このアプローチは、重畳中の欠陥を表す量子ビットを計算し、同時に指数的に多くの診断を行うという考え方に基づいている。
診断のための量子アルゴリズムをsatとモデルカウントに基づくアプローチと比較した。
組合せ回路のベンチマークでは、故障の真確率を推定する際に1%未満の誤差を確立する。
関連論文リスト
- Efficient Learning for Linear Properties of Bounded-Gate Quantum Circuits [63.733312560668274]
d可変RZゲートとG-dクリフォードゲートを含む量子回路を与えられた場合、学習者は純粋に古典的な推論を行い、その線形特性を効率的に予測できるだろうか?
我々は、d で線形にスケーリングするサンプルの複雑さが、小さな予測誤差を達成するのに十分であり、対応する計算の複雑さは d で指数関数的にスケールすることを証明する。
我々は,予測誤差と計算複雑性をトレードオフできるカーネルベースの学習モデルを考案し,多くの実践的な環境で指数関数からスケーリングへ移行した。
論文 参考訳(メタデータ) (2024-08-22T08:21:28Z) - Tailoring Fault-Tolerance to Quantum Algorithms [3.836669717540222]
我々はクリフォード・トロッター回路の物理実現を合成する解とスティッチのアルゴリズムを開発した。
フラグガジェットを用いてこれらの回路の耐故障性を実現し,オーバーヘッドを最小限に抑える。
論文 参考訳(メタデータ) (2024-04-18T07:15:15Z) - Realization of quantum algorithms with qudits [0.7892577704654171]
我々は、量子アルゴリズムの効率的な実現に、マルチレベル量子システム(quditsとしても知られる)をどのように利用できるかを示すいくつかのアイデアをレビューする。
我々は,マルチキュービットゲートの分解を簡略化するためのキューディットの活用技術と,単一キューディットで複数のキュービットを符号化することで量子情報を圧縮する技術に焦点をあてる。
これらの理論スキームは、閉じ込められたイオン、中性原子、超伝導接合、量子光など、様々な性質の量子コンピューティングプラットフォームで実装することができる。
論文 参考訳(メタデータ) (2023-11-20T18:34:19Z) - Visualizing Quantum Circuit Probability -- estimating computational
action for quantum program synthesis [0.0]
計算の回路モデルにおける状態の確率が定義される。
古典的および量子ゲート集合に対する時空有界な設定における到達性と表現性は列挙され、可視化される。
この記事では、幾何量子機械学習、新しい量子アルゴリズム、量子人工知能などの応用が、回路確率の研究の恩恵を受けるかを提案する。
論文 参考訳(メタデータ) (2023-04-05T10:49:36Z) - A single $T$-gate makes distribution learning hard [56.045224655472865]
この研究は、局所量子回路の出力分布の学習可能性に関する広範な評価を提供する。
ハイブリッド量子古典アルゴリズムを含む多種多様な学習アルゴリズムにおいて、深度$d=omega(log(n))$ Clifford回路に関連する生成的モデリング問題さえも困難であることを示す。
論文 参考訳(メタデータ) (2022-07-07T08:04:15Z) - Entanglement and coherence in Bernstein-Vazirani algorithm [58.720142291102135]
Bernstein-Vaziraniアルゴリズムは、オラクルに符号化されたビット文字列を決定できる。
我々はベルンシュタイン・ヴァジラニアルゴリズムの量子資源を詳細に分析する。
絡み合いがない場合、初期状態における量子コヒーレンス量とアルゴリズムの性能が直接関係していることが示される。
論文 参考訳(メタデータ) (2022-05-26T20:32:36Z) - Establishing trust in quantum computations [0.0]
本稿では, 量子コンピュータがアルゴリズムを実行できる忠実度を計測する手法を提案する。
提案手法は,アルゴリズムの量子回路を,効率よく成功率を計測できる密接な関連回路の集合に変換する。
論文 参考訳(メタデータ) (2022-04-15T17:44:30Z) - Synthesis of Quantum Circuits with an Island Genetic Algorithm [44.99833362998488]
特定の演算を行うユニタリ行列が与えられた場合、等価な量子回路を得るのは非自明な作業である。
量子ウォーカーのコイン、トフォリゲート、フレドキンゲートの3つの問題が研究されている。
提案したアルゴリズムは量子回路の分解に効率的であることが証明され、汎用的なアプローチとして、利用可能な計算力によってのみ制限される。
論文 参考訳(メタデータ) (2021-06-06T13:15:25Z) - Electronic structure with direct diagonalization on a D-Wave quantum
annealer [62.997667081978825]
本研究は、D-Wave 2000Q量子アニール上の分子電子ハミルトニアン固有値-固有ベクトル問題を解くために、一般量子アニール固有解法(QAE)アルゴリズムを実装した。
そこで本研究では,D-Waveハードウェアを用いた各種分子系における基底および電子励起状態の取得について述べる。
論文 参考訳(メタデータ) (2020-09-02T22:46:47Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。