論文の概要: Toward Entailment Checking: Explore Eigenmarking Search

• arxiv url: http://arxiv.org/abs/2506.03771v1
• Date: Wed, 04 Jun 2025 09:33:10 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-06-05 21:20:14.26813
• Title: Toward Entailment Checking: Explore Eigenmarking Search
• Title（参考訳）: Entailment Checkingに向けて:Eigenmarking Searchを探索する
• Authors: Tatpong Katanyukul,
• Abstract要約: 量子コンピューティングは、エンテーメントチェックを含む様々な問題に対して効果的なアプローチを可能にする可能性がある。 GroverアルゴリズムはGrover演算、選択位相反転、振幅増幅を用いて非構造化データの探索に対処する。 本研究は固有マーキングのアプローチの様々なスキームを探求する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Logic entailment is essential to reasoning, but entailment checking has the worst-case complexity of an exponential of the variable size. With recent development, quantum computing when mature may allow an effective approach for various combinatorial problems, including entailment checking. Grover algorithm uses Grover operations, selective phase inversion and amplitude amplification to address a search over unstructured data with quadratic improvement from a classical method. Its original form is intended to a single-winner scenario: exactly one match is promised. Its extension to multiple-winner cases employs probabilistic control over a number of applications of Grover operations, while a no-winner case is handled by time-out. Our study explores various schemes of ``eigenmarking'' approach. Still relying on Grover operations, but the approach introduces additional qubits to tag the eigenstates. The tagged eigenstates are to facilitate an interpretation of the measured results and enhance identification of a no-winner case (related to no logic violation in entailment context). Our investigation experiments three variations of eigenmarking on a two-qubit system using an IBM Aer simulator. The results show strong distinguishability in all schemes with the best relative distinguishabilities of 19 and 53 in worst case and in average case, respectively. Our findings reveal a viable quantum mechanism to differentiate a no-winner case from other scenarios, which could play a pivot role in entailment checking and logic reasoning in general.
• Abstract（参考訳）: 論理エンテインメントは推論には不可欠であるが、エンテインメントチェックは変数サイズの指数関数の最悪のケースの複雑さを持つ。 近年の進歩により、成熟した量子コンピューティングは、エンテーメントチェックを含む様々な組合せ問題に対して効果的なアプローチを可能にする可能性がある。 Groverアルゴリズムは、Grover演算、選択位相反転、振幅増幅を用いて、古典的手法による2次改善を伴う非構造化データの探索に対処する。 オリジナルは1勝のシナリオを意図しており、正確に1試合が約束されている。 マルチウィンナーケースへの拡張は、Groverオペレーションの多くのアプリケーションに対する確率的制御を使用し、ノーウィンナーケースはタイムアウトによって処理される。 本研究では,<eigenmarking' アプローチの様々なスキームについて検討する。 まだグロバー演算に依存しているが、このアプローチは固有状態にタグをつけるために追加の量子ビットを導入する。 タグ付けされた固有状態は、測定結果の解釈を容易にし、ノーウィンナーケースの識別を強化することである。 本研究は,IBM Aerシミュレータを用いた2ビットシステム上での固有マークの3つのバリエーションを実験的に実験した。 その結果, 最良判別率19, 平均判定率53のすべてのスキームにおいて, それぞれ有意差が認められた。 以上の結果から,勝てないケースと他のシナリオとを区別する量子機構が実現可能であることが判明した。

関連論文リスト

• Critical Thinking: Which Kinds of Complexity Govern Optimal Reasoning Length? [72.70486097967124]
  決定論的有限オートマトン(DFAs)を用いたフレームワークの定式化 正しい解を生成する確率が最大になるような推論トークンが最適に存在することを示す。 新たな問題に対する推論トークンの最適個数を予測し、最適でない回答をフィルタリングすることで、一貫した精度の向上が得られる。
  論文  参考訳（メタデータ） (2025-04-02T17:45:58Z)
• Robustness of different modifications of Grovers algorithm based on generalized Householder reflections with different phases [0.0]
  5つのGroversアルゴリズムの修正について検討し、各イテレーションは2つの一般化されたハウスリフレクションによって構成される。 半経験的手法を用いて,解を見つける確率と位相誤差との依存性の様々な特性について検討する。
  論文  参考訳（メタデータ） (2024-01-07T23:04:39Z)
• Majorization-based benchmark of the complexity of quantum processors [105.54048699217668]
  我々は、様々な量子プロセッサの動作を数値的にシミュレートし、特徴付ける。 我々は,各デバイスの性能をベンチマークラインと比較することにより,量子複雑性を同定し,評価する。 我々は、回路の出力状態が平均して高い純度である限り、偏化ベースのベンチマークが成り立つことを発見した。
  論文  参考訳（メタデータ） (2023-04-10T23:01:10Z)
• Non-Exponential Behaviour in Logical Randomized Benchmarking [0.0]
  我々は,論理的ランダム化ベンチマークプロトコルの出力をもたらすゲートと時間に依存しないノイズモデルを構築した。 量子誤り訂正の実装に関連する機械の存在は、非指数的崩壊を促進することができることを示す。
  論文  参考訳（メタデータ） (2022-12-11T12:30:27Z)
• Nested Counterfactual Identification from Arbitrary Surrogate Experiments [95.48089725859298]
  観測と実験の任意の組み合わせからネスト反事実の同定について検討した。 具体的には、任意のネストされた反事実を非ネストされたものへ写像できる反ファクト的非ネスト定理(英語版)(CUT)を証明する。
  論文  参考訳（メタデータ） (2021-07-07T12:51:04Z)
• Tractable Inference in Credal Sentential Decision Diagrams [116.6516175350871]
  確率感性決定図は、解離ゲートの入力が確率値によってアノテートされる論理回路である。 我々は、局所確率を質量関数のクレーダル集合に置き換えることができる確率の一般化である、クレーダル感性決定図を開発する。 まず,ノイズの多い7セグメント表示画像に基づく簡単なアプリケーションについて検討する。
  論文  参考訳（メタデータ） (2020-08-19T16:04:34Z)
• Optimizing Quantum Search with a Binomial Version of Grover's Algorithm [4.220030262107688]
  Groverの検索アルゴリズムの重要なコンポーネントである振幅増幅は、1つまたは複数のターゲット状態の確率を体系的に増加させるために反復的アプローチを使用する。 状態をクラスに分割することで増幅手順を強化するための新しい戦略を提案する。
  論文  参考訳（メタデータ） (2020-07-21T15:36:35Z)
• Quantile Multi-Armed Bandits: Optimal Best-Arm Identification and a Differentially Private Scheme [16.1694012177079]
  我々は,多腕バンディットにおける最高の武器識別問題,潜在的に私的な報酬について検討する。 ゴールは、固定された所定のレベルで、最も高い定量値を持つ腕を特定することである。 このアルゴリズムは$delta$-PACであり,サンプルの複雑さを特徴付ける。
  論文  参考訳（メタデータ） (2020-06-11T20:23:43Z)
• The Price of Incentivizing Exploration: A Characterization via Thompson Sampling and Sample Complexity [83.81297078039836]
  インセンティブ付き探索(Incentivized Exploring)は、武器の選択を自給自足エージェントによって制御するマルチアーム・バンディットのバージョンである。 我々は、インセンティブの価格に焦点を合わせ、インセンティブの適合性のために、広く解釈された、パフォーマンスの喪失が引き起こされる。
  論文  参考訳（メタデータ） (2020-02-03T04:58:51Z)
• Best Arm Identification for Cascading Bandits in the Fixed Confidence Setting [81.70513857417106]
  CascadeBAIを設計し、分析する。これは、$K$アイテムのベストセットを見つけるアルゴリズムである。 CascadeBAIの時間的複雑さの上限は、決定的な分析課題を克服することによって導かれる。 その結果,カスケードBAIの性能は,時間的複雑性の低い境界の導出により,いくつかの実践的状況において最適であることが示唆された。
  論文  参考訳（メタデータ） (2020-01-23T16:47:52Z)

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

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