論文の概要: A Quantum SMT Solver for Bit-Vector Theory
- arxiv url: http://arxiv.org/abs/2303.09353v1
- Date: Thu, 16 Mar 2023 14:32:50 GMT
- ステータス: 処理完了
- システム内更新日: 2023-03-17 15:12:43.217387
- Title: A Quantum SMT Solver for Bit-Vector Theory
- Title(参考訳): ビットベクトル理論のための量子SMTソルバー
- Authors: Shang-Wei Lin, Si-Han Chen, Tzu-Fan Wang and Yean-Ru Chen
- Abstract要約: 我々はビットベクトル理論のための量子SMTソルバを開発する。
量子系における重ね合わせの特性により、解法は全ての入力を同時に考えることができる。
- 参考スコア(独自算出の注目度): 2.1401240672387574
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Given a formula $F$ of satisfiability modulo theory (SMT), the classical SMT
solver tries to (1) abstract $F$ as a Boolean formula $F_B$, (2) find a Boolean
solution to $F_B$, and (3) check whether the Boolean solution is consistent
with the theory. Steps~{(2)} and (3) may need to be performed back and forth
until a consistent solution is found. In this work, we develop a quantum SMT
solver for the bit-vector theory. With the characteristic of superposition in
quantum system, our solver is able to consider all the inputs simultaneously
and check their consistency between Boolean and the theory domains in one shot.
- Abstract(参考訳): 古典的SMTソルバは、式$F$ of satisfiability modulo theory (SMT) を与えられたとき、(1) ブール式$F_B$、(2) ブール解を$F_B$として抽象化し、(3) ブール解が理論と整合であるかどうかを確認する。
ステップ~{(2)} と (3) は、一貫性のある解が見つかるまで前後に実行される必要がある。
本研究では,ビットベクトル理論のための量子SMTソルバを開発する。
量子系における重ね合わせの特性により、解法は全ての入力を同時に考慮し、ブールと理論領域間の一貫性を1ショットで確認することができる。
関連論文リスト
- Towards large-scale quantum optimization solvers with few qubits [59.63282173947468]
我々は、$m=mathcalO(nk)$バイナリ変数を$n$ qubitsだけを使って最適化するために、$k>1$で可変量子ソルバを導入する。
我々は,特定の量子ビット効率の符号化が,バレン高原の超ポリノミウム緩和を内蔵特徴としてもたらすことを解析的に証明した。
論文 参考訳(メタデータ) (2024-01-17T18:59:38Z) - Light Schrödinger Bridge [72.88707358656869]
我々は,軽量でシミュレーション不要で理論的に正当化されたSchr"odinger Bridgesソルバを開発した。
我々の光解法は密度推定に広く用いられているガウス混合モデルに類似している。
この類似性に着想を得て、光解法がSBの普遍近似であることを示す重要な理論的結果も証明した。
論文 参考訳(メタデータ) (2023-10-02T13:06:45Z) - Global Nash Equilibrium in Non-convex Multi-player Game: Theory and
Algorithms [66.8634598612777]
ナッシュ均衡(NE)はマルチプレイヤーゲームにおいて全てのプレイヤーに受け入れられることを示す。
また、一般理論から一歩ずつ一方的に利益を得ることはできないことも示している。
論文 参考訳(メタデータ) (2023-01-19T11:36:50Z) - A Quantum Algorithm for Computing All Diagnoses of a Switching Circuit [73.70667578066775]
ほとんどの人造システム、特にコンピュータは決定論的に機能する。
本稿では、量子物理学が確率法則に従うときの直観的なアプローチである量子情報理論による接続を提供する。
論文 参考訳(メタデータ) (2022-09-08T17:55:30Z) - Exact quantum query complexity of computing Hamming weight modulo powers
of two and three [2.1349209400003932]
この問題の正確な量子クエリ複雑性は、$leftlceil n (1 − 1/m) rightil$であることを示す。
上界は、主成分がよく知られた1-クエリ量子アルゴリズムである反復クエリアルゴリズムによって構成される。
論文 参考訳(メタデータ) (2021-12-29T17:57:41Z) - Preparing exact eigenstates of the open XXZ chain on a quantum computer [0.0]
我々は、このモデルのBethe状態を作成するための量子アルゴリズムを定式化し、Bethe方程式の実解に対応する。
このアルゴリズムは確率的であり、成功確率はダウンスピンの数で減少する。
論文 参考訳(メタデータ) (2021-09-12T20:29:43Z) - Realization of arbitrary doubly-controlled quantum phase gates [62.997667081978825]
本稿では,最適化問題における短期量子優位性の提案に着想を得た高忠実度ゲートセットを提案する。
3つのトランペット四重項のコヒーレントな多レベル制御を編成することにより、自然な3量子ビット計算ベースで作用する決定論的連続角量子位相ゲートの族を合成する。
論文 参考訳(メタデータ) (2021-08-03T17:49:09Z) - Quantum double aspects of surface code models [77.34726150561087]
基礎となる量子double $D(G)$対称性を持つ正方格子上でのフォールトトレラント量子コンピューティングの北エフモデルを再検討する。
有限次元ホップ代数$H$に基づいて、我々の構成がどのように$D(H)$モデルに一般化するかを示す。
論文 参考訳(メタデータ) (2021-06-25T17:03:38Z) - Quantum logics close to Boolean algebras [0.0]
対称的な相違が与えられた正方形ポゼットを考える。
我々は、XOR型接続型量子論理を考える。
ここで追求された直交的なポーズは、任意に高い非可逆性を持つ可能性を持っていることに留意する。
論文 参考訳(メタデータ) (2021-01-14T08:48:44Z) - Commutative d-Torsion K-Theory and Its Applications [0.0]
可換$d$-torsion $K$-theoryは、$d$を分割する順序のユニタリ行列から構築された位相的$K$-theoryの変種である。
我々は可換$d$-torsion $K$-theoryをコホモロジー理論に修正し、線形制約系の作用素解の研究に使用できる。
論文 参考訳(メタデータ) (2020-06-13T03:13:28Z) - Towards Optimal Separations between Quantum and Randomized Query
Complexities [0.30458514384586394]
入力に対して2O(k)$クエリを行うことで量子アルゴリズムを解くことができることを示す。
任意の定数 $varepsilon>0$ に対して、$O(1)$ 対 $N2/3-varepsilon$ 分離を与える。
論文 参考訳(メタデータ) (2019-12-29T01:42:31Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。