論文の概要: Exact Exploration

• arxiv url: http://arxiv.org/abs/2410.10706v1
• Date: Mon, 14 Oct 2024 16:45:19 GMT
• ステータス: 処理完了
• システム内更新日: 2024-10-29 20:05:09.766610
• Title: Exact Exploration
• Title（参考訳）: 厳密な探索
• Authors: Andreas Blass, Nachum Dershowitz, Yuri Gurevich,
• Abstract要約: 古典的アルゴリズムの最近の分析は、いくつかの単純な仮定を満たす遷移系として公理化をもたらした。 私たちはその分析を洗練し、ステップ内行動の詳細を考慮に入れます。 実際、あるアルゴリズムと同じ状態遷移を持つだけでなく、次の状態に進む方法を決定する際に、全く同じテストを実行する抽象状態マシンが存在することを示す。
• 参考スコア（独自算出の注目度）: 1.568356637037272
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Recent analysis of classical algorithms resulted in their axiomatization as transition systems satisfying some simple postulates, and in the formulation of the Abstract State Machine Theorem, which assures us that any classical algorithm can be emulated step-by-step by a most general model of computation, called an ``abstract state machine''. We refine that analysis to take details of intra-step behavior into account, and show that there is in fact an abstract state machine that not only has the same state transitions as does a given algorithm but also performs the exact same tests on states when determining how to proceed to the next state. This enhancement allows the inclusion -- within the abstract-state-machine framework -- of algorithms whose states only have partially-defined equality, or employ other native partial functions, as is the case, for instance, with inversion of a matrix of computable reals.
• Abstract（参考訳）: 古典的アルゴリズムの最近の分析は、いくつかの単純な仮定を満たす遷移系として公理化され、抽象状態機械論(Abstract State Machine Theorem)の定式化によって、任意の古典的アルゴリズムが「抽象状態機械」と呼ばれる最も一般的な計算モデルによって段階的にエミュレートできることが保証された。 我々は、ステップ内動作の詳細を考慮に入れた分析を洗練し、実際には、与えられたアルゴリズムと同じ状態遷移を持つだけでなく、次の状態に進む方法を決定する際に、全く同じテストを実行する抽象状態マシンが存在することを示す。 この拡張により、部分的に定義された等式しか持たないアルゴリズムの抽象状態マシンフレームワーク内への包含や、計算可能実数の行列の逆転のように、他のネイティブ部分関数を用いることができる。

関連論文リスト

• Bisimulation Learning [55.859538562698496]
  我々は、大きな、潜在的に無限の状態空間を持つ状態遷移系の有限バイシミュレートを計算する。 提案手法は,実際に行われている他の最先端ツールよりも高速な検証結果が得られる。
  論文  参考訳（メタデータ） (2024-05-24T17:11:27Z)
• Fast quantum search algorithm modelling on conventional computers: Information analysis of termination problem [0.0]
  より効率的な高速QAシミュレーション技術は、演算子行列の全てまたは一部を、必要に応じて現在の計算ベースで計算することに基づいている。 古典的アーキテクチャを持つコンピュータ上でのGrover量子探索アルゴリズムの例を効果的にシミュレーションする。
  論文  参考訳（メタデータ） (2023-04-17T18:13:04Z)
• Distributed Bayesian Learning of Dynamic States [65.7870637855531]
  提案アルゴリズムは有限状態隠れマルコフモデルに対する分散ベイズフィルタタスクである。 逐次状態推定や、動的環境下でのソーシャルネットワーク上での意見形成のモデル化に使用できる。
  論文  参考訳（メタデータ） (2022-12-05T19:40:17Z)
• Real quantum operations and state transformations [44.99833362998488]
  想像力の資源理論は、複素数の役割を理解するのに有用な枠組みを提供する。 本稿の前半では、単一パーティおよび二部構成における実(量子)操作の特性について検討する。 本稿では,本論文の後半において,実量子演算による単一コピー状態変換の問題に焦点をあてる。
  論文  参考訳（メタデータ） (2022-10-28T01:08:16Z)
• Quantum state tomography with tensor train cross approximation [84.59270977313619]
  測定条件が最小限であるような状態に対して、完全な量子状態トモグラフィが実行可能であることを示す。 本手法は,非構造状態と局所測定のための最もよく知られたトモグラフィー法よりも指数関数的に少ない状態コピーを必要とする。
  論文  参考訳（メタデータ） (2022-07-13T17:56:28Z)
• Virtual linear map algorithm for classical boost in near-term quantum computing [0.0]
  VILMA(Virtual Linear Map Algorithm)を導入する。 VILMAは、情報的に完全な測定結果の古典的後処理を用いて複数の演算子平均を推定する。 VILMAは、効率的な線形プログラムのシーケンスを通して、仮想回路の変分最適化を可能にすることを示す。
  論文  参考訳（メタデータ） (2022-07-04T12:34:26Z)
• The vacuum provides quantum advantage to otherwise simulatable architectures [49.1574468325115]
  理想のゴッテマン・キタエフ・プレスキル安定化状態からなる計算モデルを考える。 測定結果の確率密度関数を計算するアルゴリズムを提案する。
  論文  参考訳（メタデータ） (2022-05-19T18:03:17Z)
• Detailed Account of Complexity for Implementation of Some Gate-Based Quantum Algorithms [55.41644538483948]
  特に、状態準備および読み出しプロセスのような実装のいくつかのステップは、アルゴリズム自体の複雑さの側面を超越することができる。 本稿では、方程式の線形系と微分方程式の線形系を解くための量子アルゴリズムの完全な実装に関わる複雑性について述べる。
  論文  参考訳（メタデータ） (2021-06-23T16:33:33Z)
• Algorithm for initializing a generalized fermionic Gaussian state on a quantum computer [0.0]
  本稿では Shi らによって開発された変分法の中心部分に対する明示的な表現について述べる。 フェミオン生成およびサブルーチン演算子の積の期待値を評価するために反復解析式を導出する。 本稿では,想像時間進化と組み合わせて最適化できる,単純な勾配差に基づくアルゴリズムを提案する。
  論文  参考訳（メタデータ） (2021-05-27T10:31:45Z)
• Statistical Approach to Quantum Phase Estimation [62.92678804023415]
  位相推定アルゴリズム(PEA)に新しい統計的・変動的アプローチを導入する。 固有位相推定のみを返す従来的かつ反復的なPEAとは異なり、提案手法は未知の固有状態-固有位相対を決定できる。 本稿では,IBM Qプラットフォームおよびローカルコンピュータ上で,Qiskitパッケージを用いた手法のシミュレーション結果を示す。
  論文  参考訳（メタデータ） (2021-04-21T00:02:00Z)

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

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