Fugu-MT 論文翻訳(概要): Approximate traces on groups and the quantum complexity class $\operatorname{MIP}^{co,s}$

論文の概要: Approximate traces on groups and the quantum complexity class $\operatorname{MIP}^{co,s}$

arxiv url: http://arxiv.org/abs/2209.08009v1
Date: Fri, 16 Sep 2022 15:45:49 GMT
ステータス: 処理完了
システム内更新日: 2023-01-26 09:25:31.677868
Title: Approximate traces on groups and the quantum complexity class $\operatorname{MIP}^{co,s}$
Title（参考訳）: 群の近似トレースと量子複雑性クラス $\operatorname{MIP}^{co,s}$
Authors: Isaac Goldbring and Bradd Hart
Abstract要約: 量子交換相関に近似をエンコードするqc-モジュラーの概念を導入する。計算可能なqc-モジュラーの存在は、上記の質問の自然な変形に対して負の答えを与えることを示す。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: An open question in quantum complexity theory is whether or not the class $\operatorname{MIP}^{co}$, consisting of languages that can be efficiently verified using interacting provers sharing quantum resources according to the quantum commuting model, coincides with the class $coRE$ of languages with recursively enumerable complement. We introduce the notion of a qc-modulus, which encodes approximations to quantum commuting correlations, and show that the existence of a computable qc-modulus gives a negative answer to a natural variant of the aforementioned question.
Abstract（参考訳）: 量子複雑性理論におけるオープンな疑問は、量子交換モデルに従って量子リソースを共有する相互作用プロバーを用いて効率的に検証できる言語からなるクラス $\operatorname{MIP}^{co}$ が、再帰的に可算補数を持つ言語のクラス $coRE$ と一致するかどうかである。量子可換相関に近似を符号化するqc-モジュラーの概念を導入し、計算可能なqc-モジュラーの存在が上記の質問の自然変量に対して負の答えを与えることを示す。

関連論文リスト

Complexity Theory for Quantum Promise Problems [5.049812996253858]
本稿では,量子暗号と複雑性理論の関係,特にImpagliazzoの5つの世界の枠組みについて考察する。複雑性クラス p/mBQP, p/mQ(C)MA, $mathrmp/mQSZK_hv$, p/mQIP, p/mPSPACE に注目する。我々は、このフレームワークを暗号に適用し、一方通行状態生成器、擬似ランダム状態、EFIがmQCMAで束縛されていることを示す。
論文参考訳（メタデータ） (2024-11-06T07:29:52Z)
Efficient Learning for Linear Properties of Bounded-Gate Quantum Circuits [63.733312560668274]
d可変RZゲートとG-dクリフォードゲートを含む量子回路を与えられた場合、学習者は純粋に古典的な推論を行い、その線形特性を効率的に予測できるだろうか? 我々は、d で線形にスケーリングするサンプルの複雑さが、小さな予測誤差を達成するのに十分であり、対応する計算の複雑さは d で指数関数的にスケールすることを証明する。我々は,予測誤差と計算複雑性をトレードオフできるカーネルベースの学習モデルを考案し,多くの実践的な環境で指数関数からスケーリングへ移行した。
論文参考訳（メタデータ） (2024-08-22T08:21:28Z)
Quantum Algorithms for Compositional Text Processing [1.3654846342364308]
本稿では、最近提案された自然言語用DisCoCircフレームワークに注目し、量子適応QDisCoCircを提案する。これはAI解釈可能なレンダリングに対する構成的アプローチによって動機付けられている。テキスト類似性のモデルネイティブな原始演算に対しては、フォールトトレラントな量子コンピュータのための量子アルゴリズムを導出する。
論文参考訳（メタデータ） (2024-08-12T11:21:40Z)
The Power of Lorentz Quantum Computer [6.9754404995027794]
本稿では,最近提案されたローレンツ量子コンピュータ(LQC)の,従来の量子コンピュータと比較して優れた性能を示す。計算複雑性クラス$text Psharp textP$を導入し、複雑性クラス$text Psharp textP$と等価性を実証する。 Aaronsonが提案したポストセレクションによる量子コンピューティングはLQCで効率的にシミュレートできるが、その逆ではない。
論文参考訳（メタデータ） (2024-03-07T03:00:09Z)
The Power of Unentangled Quantum Proofs with Non-negative Amplitudes [55.90795112399611]
非負の振幅を持つ非絡み合った量子証明のパワー、つまり $textQMA+(2)$ を表すクラスについて研究する。特に,小集合拡張,ユニークなゲーム,PCP検証のためのグローバルプロトコルを設計する。 QMA(2) が $textQMA+(2)$ に等しいことを示す。
論文参考訳（メタデータ） (2024-02-29T01:35:46Z)
Towards Quantum Computational Mechanics [1.530480694206666]
本稿では、量子コンピューティングを用いて、計算ホモジェナイゼーションにおける代表要素体積(RVE)問題を解く方法について述べる。我々の量子RVE解法は古典解法に対して指数加速度を得る。
論文参考訳（メタデータ） (2023-12-06T12:53:02Z)
Semantic embedding for quantum algorithms [0.0]
高レベルの量子アルゴリズム推論の正確性を保証するために、ニーズが発展してきた。量子信号処理(QSP)と量子特異値変換(QSVT)を用いて、多くの量子アルゴリズムが統一され、改善されている。 QSP/QSVTは、純粋に埋め込んだ関数変換の観点から、モジュール的に処理および結合可能であることを示す。また,セマンティック埋め込みを暗黙的に利用する既存の量子アルゴリズムを,分散探索から量子暗号における音質まで同定する。
論文参考訳（メタデータ） (2023-04-27T17:55:40Z)
Quantum communication complexity beyond Bell nonlocality [87.70068711362255]
効率的な分散コンピューティングは、リソース要求タスクを解決するためのスケーラブルな戦略を提供する。量子リソースはこのタスクに適しており、古典的手法よりも優れた明確な戦略を提供する。我々は,ベルのような不等式に,新たなコミュニケーション複雑性タスクのクラスを関連付けることができることを証明した。
論文参考訳（メタデータ） (2021-06-11T18:00:09Z)
Facial Expression Recognition on a Quantum Computer [68.8204255655161]
量子機械学習手法を用いて表情認識の可能な解を示す。適切に定義された量子状態の振幅に符号化されたグラフの隣接行列を操作する量子回路を定義する。
論文参考訳（メタデータ） (2021-02-09T13:48:00Z)
A MLIR Dialect for Quantum Assembly Languages [78.8942067357231]
量子コンピューティングにおけるMLIR(Multi-Level Intermediate Representation)の有用性を実証する。我々は、共通量子集合言語の表現とコンパイルを可能にする新しい量子方言でMLIRを拡張した。我々はQIR量子ランタイムAPIのqcor対応実装を活用して、再ターゲット可能な(量子ハードウェアに依存しない)コンパイラワークフローを実現する。
論文参考訳（メタデータ） (2021-01-27T13:00:39Z)
Extending C++ for Heterogeneous Quantum-Classical Computing [56.782064931823015]
qcorはC++とコンパイラの実装の言語拡張で、異種量子古典プログラミング、コンパイル、単一ソースコンテキストでの実行を可能にする。我々の研究は、量子言語で高レベルな量子カーネル(関数)を表現できる、第一種C++コンパイラを提供する。
論文参考訳（メタデータ） (2020-10-08T12:49:07Z)

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