論文の概要: Extensively Not P-Bi-Immune promiseBQP-Complete Languages
- arxiv url: http://arxiv.org/abs/2406.16764v1
- Date: Mon, 24 Jun 2024 16:21:18 GMT
- ステータス: 処理完了
- システム内更新日: 2024-06-25 14:05:36.918920
- Title: Extensively Not P-Bi-Immune promiseBQP-Complete Languages
- Title(参考訳): P-Bi-Immune promiseBQP-Complete Languages
- Authors: Andrew Jackson,
- Abstract要約: まず、量子回路をシミュレートして古典的にシミュレートできる決定問題を決定する無限のインスタンスの存在を確立する。
次に、量子回路のどの制限の下で、無限に多くの古典的にシミュレート可能なインスタンスが存在するかを調べる。
- 参考スコア(独自算出の注目度): 2.06682776181122
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: In this paper, I first establish -- via methods other than the Gottesman-Knill theorem -- the existence of an infinite set of instances of simulating a quantum circuit to decide a decision problem that can be simulated classically. I then examine under what restrictions on quantum circuits the existence of infinitely many classically simulable instances persists. There turns out to be a vast number of such restrictions, and any combination of those found can be applied at the same time without eliminating the infinite set of classically simulable instances. Further analysis of the tools used in this then shows there exists a language that every (promise) BQP language is one-one reducible to. This language is also not P-bi-immune under very many promises.
- Abstract(参考訳): 本稿では、まず、古典的にシミュレートできる決定問題を決定するために量子回路をシミュレートする無限のインスタンスの存在を、ゴッテマン・クニルの定理以外の方法によって確立する。
次に、量子回路のどの制限の下で、無限に多くの古典的にシミュレート可能なインスタンスが存在するかを調べる。
このような制約は多数あり、古典的にシミュレート可能な無限集合を排除せずに、それらの組み合わせを同時に適用することができる。
これに使われるツールのさらなる分析は、すべての(プロミーズ)BQP言語が1対1で再現可能な言語が存在することを示している。
この言語は、非常に多くの約束の下ではP-bi免疫ではない。
関連論文リスト
- Oracle Separations for the Quantum-Classical Polynomial Hierarchy [0.0]
量子古典的階層 QCPH について検討する。これは、交互古典的量子化器の定数数で解ける言語のクラスである。
我々は、量子アルゴリズムに新しい切り換え補題を与えるが、これは独立した関心を持つかもしれない。
論文 参考訳(メタデータ) (2024-10-24T18:12:03Z) - Quantum Algorithms for Compositional Text Processing [1.3654846342364308]
本稿では、最近提案された自然言語用DisCoCircフレームワークに注目し、量子適応QDisCoCircを提案する。
これはAI解釈可能なレンダリングに対する構成的アプローチによって動機付けられている。
テキスト類似性のモデルネイティブな原始演算に対しては、フォールトトレラントな量子コンピュータのための量子アルゴリズムを導出する。
論文 参考訳(メタデータ) (2024-08-12T11:21:40Z) - Uncloneable Quantum Advice [1.1970409518725493]
計算を可能とした複雑性理論ツールの研究を通して、初めて、未知の量子不連続性を示す。
ここでは、無条件の量子アドバイスを許容する公約問題の存在と、無条件のアドバイスを持つ言語の存在を示す。
論文 参考訳(メタデータ) (2023-09-10T22:09:05Z) - Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
量子性の検定は、古典的検証者が証明者が古典的でないことを(のみ)証明できるプロトコルである。
我々は、あるテンプレートに従う量子性のテストを行い、(Kalai et al., 2022)のような最近の提案を捉えた。
すなわち、同じプロトコルは、証明可能なランダム性や古典的な量子計算のデリゲートといったアプリケーションの中心にあるビルディングブロックであるqubitの認定に使用できる。
論文 参考訳(メタデータ) (2023-03-02T14:18:17Z) - A Measure-Theoretic Characterization of Tight Language Models [105.16477132329416]
病理学的には「確率質量」が無限列の集合に漏れることがある。
本稿では,言語モデリングの尺度論的扱いについて述べる。
多くのポピュラーな言語モデルファミリーが実際に密接な関係にあることを証明しています。
論文 参考訳(メタデータ) (2022-12-20T18:17:11Z) - Quantum Depth in the Random Oracle Model [57.663890114335736]
浅量子回路の計算能力と古典計算の組合せを包括的に評価する。
いくつかの問題に対して、1つの浅い量子回路で適応的な測定を行う能力は、適応的な測定をせずに多くの浅い量子回路を実行する能力よりも有用である。
論文 参考訳(メタデータ) (2022-10-12T17:54:02Z) - Post-Quantum Zero-Knowledge with Space-Bounded Simulation [8.69082943773532]
近距離量子デバイスとより互換性のある,量子後ゼロ知識の詳細な概念を導入する。
対数量子空間 $s$ と古典空間を持つ検証器に対しては、$f(s)=2s$ に対して$(s,f)$-空間有界 QZK が得られることを示す。
超対数量子空間$s$の検証器について、量子後一方向の存在を仮定すると、完全に黒の$(s,f)$空間有界QZKプロトコルが示される。
論文 参考訳(メタデータ) (2022-10-12T11:13:56Z) - Qunity: A Unified Language for Quantum and Classical Computing (Extended
Version) [3.5348690973777006]
量子プログラミング言語Quinityを紹介します。
Qunityは量子コンピューティングを古典コンピューティングの自然な一般化として扱う。
我々はQunityがいくつかの量子アルゴリズムをきれいに表現する方法を示す。
論文 参考訳(メタデータ) (2022-04-26T15:34:22Z) - Depth-efficient proofs of quantumness [77.34726150561087]
量子性の証明は、古典的検証器が信頼できない証明器の量子的利点を効率的に証明できる挑戦応答プロトコルの一種である。
本稿では、証明者が量子回路を一定深度でしか実行できない量子性構成の証明を2つ与える。
論文 参考訳(メタデータ) (2021-07-05T17:45:41Z) - Post-Quantum Succinct Arguments: Breaking the Quantum Rewinding Barrier [73.70426431502803]
キリアンの4メッセージ簡潔な引数系は、標準モデルでは量子後安全であることを示す。
これにより、任意の偽の仮定から最初の量子後簡潔な論証システムが得られる。
論文 参考訳(メタデータ) (2021-03-15T05:09:17Z) - Secure Two-Party Quantum Computation Over Classical Channels [63.97763079214294]
古典的アリス(Alice)と量子的ボブ(Quantum Bob)が古典的なチャネルを通してのみ通信できるような設定を考える。
悪質な量子逆数の場合,ブラックボックスシミュレーションを用いた2次元量子関数を実現することは,一般に不可能であることを示す。
我々は、QMA関係Rの古典的量子知識(PoQK)プロトコルを入力として、古典的当事者によって検証可能なRのゼロ知識PoQKを出力するコンパイラを提供する。
論文 参考訳(メタデータ) (2020-10-15T17:55:31Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。