論文の概要: Technical Report: Toward Applying Quantum Computing to Network Verification

• arxiv url: http://arxiv.org/abs/2410.17184v1
• Date: Tue, 22 Oct 2024 17:02:43 GMT
• ステータス: 翻訳完了
• システム内更新日: 2024-10-23 14:25:30.990280
• Title: Technical Report: Toward Applying Quantum Computing to Network Verification
• Title（参考訳）: 量子コンピューティングをネットワーク検証に適用する技術報告
• Authors: Kahlil Dozier, Justin Beltran, Kylie Berg, Hugo Matousek, Loqman Salamatian, Ethan Katz-Bassett, Dan Rubenstein,
• Abstract要約: ネットワーク検証(NWV)は、ブルート力によって古典的ハードウェア上で効率よく解決できない。 我々は、NWV問題をより効率的に解くために量子コンピューティングを適用するという、根本的に異なるアプローチを考える。 しかし、ハードウェアとアルゴリズムの開発の急速な進歩は、彼らのアプリケーションについて考えるのに絶好のタイミングだ。
• 参考スコア（独自算出の注目度）: 0.5508118528184391
• License:
• Abstract: Network verification (NWV), broadly defined as the verification of properties of distributed protocols used in network systems, cannot be efficiently solved on classical hardware via brute force. Prior work has developed a variety of methods that scale by observing a structure in the search space and then evaluating classes within the search space instead of individual instances. However, even these classification mechanisms have their limitations. In this paper, we consider a radically different approach: applying quantum computing to more efficiently solve NWV problems. We provide an overview of how to map variants of NWV problems into unstructured search problems that can be solved via quantum computing with quadratic speedup, making the approach feasible in theory to problems that are double in size (of the input). Emerging quantum systems cannot yet tackle problems of practical interest, but rapid advances in hardware and algorithm development make now a great time to start thinking about their application. With this in mind, we explore the limits of scale of the problem for which quantum computing can solve NWV problems as unstructured search.
• Abstract（参考訳）: ネットワーク検証(NWV)は、ネットワークシステムで使用される分散プロトコルの特性の検証として広く定義されており、ブルート力によって古典的ハードウェア上で効率よく解決できない。 従来の研究は、検索空間の構造を観察し、個々のインスタンスの代わりに検索空間内のクラスを評価することによって、スケールする様々な方法を開発した。 しかし、これらの分類機構にも限界がある。 本稿では,NWV問題をより効率的に解くために量子コンピューティングを適用するという,根本的に異なるアプローチについて考察する。 本稿では,NWV問題の変種を2次高速化による量子コンピューティングによって解ける非構造探索問題にマップする方法の概要を述べる。 しかし、ハードウェアとアルゴリズムの開発の急速な進歩は、彼らのアプリケーションについて考えるのに絶好のタイミングだ。 このことを念頭に置いて、量子コンピューティングが非構造探索としてNWV問題を解くことができる問題のスケールの限界について検討する。

関連論文リスト

• Discretized Quantum Exhaustive Search for Variational Quantum Algorithms [0.0]
  現在利用可能な量子デバイスは、限られた量子ビットと高いレベルのノイズしか持たず、それらのデバイスで正確に解決できる問題のサイズを制限している。 我々は、変分量子アルゴリズム -- 離散化量子排他探索 -- を改善する新しい方法を提案する。
  論文  参考訳（メタデータ） (2024-07-24T22:06:05Z)
• Variational Quantum Algorithms for Combinatorial Optimization [0.571097144710995]
  変分アルゴリズム (VQA) は, NISQシステムの実用化に向けた最有力候補の1つである。 本稿では,VQAの現状と最近の発展を考察し,近似最適化への適用性を強調した。 10ノードと20ノードのグラフ上でMaxCut問題を解くために,深さの異なるQAOA回路を実装した。
  論文  参考訳（メタデータ） (2024-07-08T22:02:39Z)
• Quantum algorithms: A survey of applications and end-to-end complexities [90.05272647148196]
  期待されている量子コンピュータの応用は、科学と産業にまたがる。 本稿では,量子アルゴリズムの応用分野について検討する。 私たちは、各領域における課題と機会を"エンドツーエンド"な方法で概説します。
  論文  参考訳（メタデータ） (2023-10-04T17:53:55Z)
• Quantum Annealing for Single Image Super-Resolution [86.69338893753886]
  単一画像超解像(SISR)問題を解くために,量子コンピューティングに基づくアルゴリズムを提案する。 提案したAQCアルゴリズムは、SISRの精度を維持しつつ、古典的なアナログよりも向上したスピードアップを実現する。
  論文  参考訳（メタデータ） (2023-04-18T11:57:15Z)
• Iterative Qubits Management for Quantum Index Searching in a Hybrid System [56.39703478198019]
  IQuCSは、量子古典ハイブリッドシステムにおけるインデックス検索とカウントを目的としている。 我々はQiskitでIQuCSを実装し、集中的な実験を行う。 その結果、量子ビットの消費を最大66.2%削減できることが示されている。
  論文  参考訳（メタデータ） (2022-09-22T21:54:28Z)
• Variational Quantum Algorithms for Computational Fluid Dynamics [0.0]
  変分量子アルゴリズムは、ノイズ耐性が比較的高いため、特に有望である。 本稿では,変分量子アルゴリズムの計算流体力学への応用について述べる。 古典的な計算手法に対する量子的優位性は、この10年の終わりまでに達成できると我々は主張する。
  論文  参考訳（メタデータ） (2022-09-11T18:49:22Z)
• Optimizing Tensor Network Contraction Using Reinforcement Learning [86.05566365115729]
  本稿では,グラフニューラルネットワーク(GNN)と組み合わせた強化学習(RL)手法を提案する。 この問題は、巨大な検索スペース、重い尾の報酬分布、そして困難なクレジット割り当てのために非常に難しい。 GNNを基本方針として利用するRLエージェントが,これらの課題にどのように対処できるかを示す。
  論文  参考訳（メタデータ） (2022-04-18T21:45:13Z)
• On Applying the Lackadaisical Quantum Walk Algorithm to Search for Multiple Solutions on Grids [63.75363908696257]
  不足量子ウォーク(英: lackadaisical quantum walk)は、頂点が重量$l$の自己ループを持つグラフ構造を探索するために開発されたアルゴリズムである。 本稿では,グリッド上の複数解の探索に不連続な量子ウォークを適用した際の問題に対処する。
  論文  参考訳（メタデータ） (2021-06-11T09:43:09Z)
• Noisy intermediate-scale quantum (NISQ) algorithms [0.5325753548715747]
  整数因数分解や非構造データベース探索のような効率よく解くことができる普遍的フォールトトレラント量子コンピュータは、誤り率の低い数百万の量子ビットと長いコヒーレンス時間を必要とする。 このようなデバイスの実現に向けた実験的進歩は数十年の研究を要する可能性があるが、ノイズの多い中規模量子コンピュータ(NISQ)はすでに存在する。 これらのコンピュータは数百のうるさいクビットで構成されている。 誤り訂正されていないキュービットは、限られたコヒーレンス時間で不完全な操作を実行する。
  論文  参考訳（メタデータ） (2021-01-21T05:27:34Z)
• Quantum Geometric Machine Learning for Quantum Circuits and Control [78.50747042819503]
  我々は、量子幾何学的制御問題に対するディープラーニングの適用をレビューし、拡張する。 量子回路合成問題における時間-最適制御の強化について述べる。 我々の研究結果は、時間-最適制御問題に対する機械学習と幾何学的手法を組み合わせた量子制御と量子情報理論の研究者にとって興味深いものである。
  論文  参考訳（メタデータ） (2020-06-19T19:12:14Z)

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

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。