論文の概要: Explore Simpler Eigenmarking: Quantum Entailment Model Checking

• arxiv url: http://arxiv.org/abs/2604.23531v1
• Date: Sun, 26 Apr 2026 04:55:38 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-04-28 17:12:07.413526
• Title: Explore Simpler Eigenmarking: Quantum Entailment Model Checking
• Title（参考訳）: より単純な固有マークの探索:量子エンターメントモデルチェック
• Authors: Tatpong Katanyukul,
• Abstract要約: Eigenmarking searchは、余分な量子ビットを使ったGrover Searchよりも改善されている。 余剰量子ビットは、解状態(もし存在するなら)が常に少数であるような量子状態の進化を条件とする。 Eigenmarking はまた、補的状態 ( well-orchestrated phase rotation を通じて) を用いて、応答しないケースを容易に識別する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Targeting entailment model checking, a recent study has pioneered an idea of Eigenmarking search, an improvement over Grover search using extra qubits. The extra qubits condition the quantum state evolution such that the answer states (if exist) are always in the minority. The minority criteria is essential to Grover probability-amplitude amplification and consequently the effectiveness of Grover search. In addition to enforce the minority criteria, Eigenmarking also employs complementary states (through well-orchestrated phase rotation) for easy identification of a no-answer case (related to a no-violation case in the context of model checking). Eigenmarking search has been shown effective in two-qubit simulations. The three Eigenmarking schemes have been previously proposed. Two schemes require two extra qubits. One scheme (called ``subtle marking'') requires one extra qubit with a multiple-qubit-controlled phase rotation. Our study refines the mechanism using only one extra qubit with only two-qubit-controlled phase rotation, commonly known as \texttt{ccz}, regardless of how many qubits the input has. Using a multiple-qubit-controlled phase rotation (as in subtle marking) associates with highly entangled states. Highly entangled states in a real quantum hardware are difficult (or in some cases may even be unachievable) particularly in a scaled up scenario involving many qubits. Our proposed new Eigenmarking scheme has lightened the burden for the hardware requirement. The new Eigenmarking search has been experimented in two-qubit-system simulations and shown viable, achieving the minimal relative local winning margin of W=3.17 and the worst-case distinguishability of D=0.769 (cf. W=0.67; D=0.19 from conventional marking and W=0.28; D=0.55 from subtle marking).
• Abstract（参考訳）: 近年の研究では、Eigenmarking searchというアイデアの先駆けとなり、余剰量子ビットを用いたGrover Searchよりも改善されている。 余剰量子ビットは、解状態が(存在すれば)常に少数であるような量子状態の進化を条件とする。 マイノリティ基準は、Groverの確率振幅増幅に必須であり、その結果、Grover Searchの有効性である。 マイノリティ基準を強制するのに加えて、Eigenmarkingは補的状態(よく整合された位相回転を通して)を使用して、非回答ケース(モデル検査の文脈における非違反ケースに関連する)の識別を容易にする。 固有マーキング探索は2ビットシミュレーションで有効であることが示されている。 以前は3つの固有マーク方式が提案されていた。 2つのスキームは2つの余分なキュービットを必要とする。 1つのスキーム( ``subtle marking'' と呼ばれる)は、多重キュービット制御された位相回転を持つ1つの余分なキュービットを必要とする。 本研究は,入力された量子ビットの数に関係なく,2量子制御された位相回転のみを持つ1つの余剰量子ビットのみを用いて機構を改良する。 マルチキュービット制御された位相回転(微妙なマーキングのように)を用いることは、非常に絡み合った状態と結びつく。 実際の量子ハードウェアにおける高い絡み合った状態は、特に多くの量子ビットを含むスケールアップシナリオにおいて困難である(あるいは達成不可能である場合もある)。 提案するEigenmarkingスキームは,ハードウェア要件の負担を軽減した。 新しい固有マーキング探索は2量子系シミュレーションで実験され、W=3.17の最小の局所的な勝利マージンとD=0.769(W=0.67、D=0.19は従来のマーキングとW=0.28、D=0.55は微妙なマーキング)を達成した。

関連論文リスト

• Toward Entailment Checking: Explore Eigenmarking Search [0.0]
  量子コンピューティングは、エンテーメントチェックを含む様々な問題に対して効果的なアプローチを可能にする可能性がある。 GroverアルゴリズムはGrover演算、選択位相反転、振幅増幅を用いて非構造化データの探索に対処する。 本研究は固有マーキングのアプローチの様々なスキームを探求する。
  論文  参考訳（メタデータ） (2025-06-04T09:33:10Z)
• Efficient benchmarking of logical magic state [8.565601028339385]
  1ラウンドあたりのマジックステートの1コピーを計測するベンチマークスキームは、シングルキュービットマジックステートに対して$Omega (1/epsilon2)$サンプルを必要とする。 この制限を克服するための2つの方法を提案する: (i) ツワール状態の2つのコピーに対するベル測定と (ii) ツワールされたマルチキュービットのマジック状態を利用したシングルコピースキーム。
  論文  参考訳（メタデータ） (2025-05-14T18:00:04Z)
• ParetoQ: Improving Scaling Laws in Extremely Low-bit LLM Quantization [73.60493264901359]
  本稿では,1ビット,1.58ビット,2ビット,3ビット,4ビットの量子化設定に対して厳密な比較を行う統一フレームワークを提案する。 3次、2ビット、3ビット量子化は、サイズと精度のトレードオフにおいて同等のパフォーマンスを維持していることを示す。 ハードウェアの制約を考慮すると、2ビット量子化はメモリの削減とスピードアップに有望な可能性を秘めている。
  論文  参考訳（メタデータ） (2025-02-04T18:59:26Z)
• A logical qubit-design with geometrically tunable error-resistibility [0.46873264197900916]
  超伝導量子ビット(SCQ)をマイクロ波空洞モードに結合した論理量子ビットのセットアップを提案する。 我々の設計はBose-Hubbard wheel (BHW)で最近発見された幾何安定化機構に基づいている。
  論文  参考訳（メタデータ） (2024-05-13T19:32:58Z)
• Scalable noisy quantum circuits for biased-noise qubits [37.69303106863453]
  安定猫量子ビットの既存システムに動機づけられたビットフリップ誤差のみに影響されるバイアスノイズ量子ビットを考察する。 現実的なノイズモデルでは、位相フリップは無視できないが、Pauli-Twirling近似では、ベンチマークが最大106ドルのゲートを含む回路の正しさを確認できる。
  論文  参考訳（メタデータ） (2023-05-03T11:27:50Z)
• On Fault Tolerance of Circuits with Intermediate Qutrit-assisted Gate Decomposition [3.452050192629253]
  中間キュービットは、特定の実行サイクルにおいてキュービットとして操作されることを意味する。 このような分解にフォールトトレランスを組み込むことの課題について検討する。
  論文  参考訳（メタデータ） (2022-12-15T14:33:45Z)
• Discrimination of Ohmic thermal baths by quantum dephasing probes [68.8204255655161]
  2つの量子ビットからなる量子プローブ、すなわち量子ビット、量子ビット、量子レジスタによって達成可能な最小誤差確率を評価する。 キュービットプローブは、識別タスクにおいてキュービットを上回るが、2つのキュービットからなるレジスタは、何の利点も与えない。
  論文  参考訳（メタデータ） (2020-08-06T08:51:51Z)
• Quantum state preparation with multiplicative amplitude transduction [0.0]
  異なるエンフェーズを持つアルゴリズムの2つの変種を紹介する。 1つの変種はクォービットを減らし、制御されたゲートを使わないが、もう1つの変種は全体としてゲートを減らしている可能性がある。 計算基底状態の振幅において、所望の精度を達成するために必要な量子ビットの数を推定するために、一般的な解析が与えられる。
  論文  参考訳（メタデータ） (2020-06-01T14:36:50Z)

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

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