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-モジュラーの存在が上記の質問の自然変量に対して負の答えを与えることを示す。

関連論文リスト

The Power of Lorentz Quantum Computer [8.240558902431976]
本稿では,最近提案されたローレンツ量子コンピュータ(LQC)の,従来の量子コンピュータと比較して優れた性能を示す。最大独立集合の問題とNP, co-NP, PH (polynomial hierarchy), PP (probabilistic-time), $text Psharp textP$ のクラスにおける問題を解く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.7201069233638664]
本稿では、量子コンピューティングを用いて、計算ホモジェナイゼーションにおける代表体積要素(RVE)問題を解く方法について述べる。我々の量子RVE解法は古典解法に対して指数加速度を得る。
論文参考訳（メタデータ） (2023-12-06T12:53:02Z)
The Quantum Monadology [0.0]
関数型プログラミング言語の現代の理論は、計算サイドエフェクトとサイドコンテキストを符号化するためにモナドを使用する。我々はGrothendieckの「操作のモチベーションヨガ」によって誘導されるパラメータ化モジュールスペクトルのカテゴリ上での(co)モナドの分析を行う。本稿では、これらのモナディック量子効果を透明なdo-notationで表現したドメイン固有量子プログラミング言語(QS)を示す。
論文参考訳（メタデータ） (2023-10-24T11:19:24Z)
Semantic embedding for quantum algorithms [0.0]
高レベルの量子アルゴリズム推論の正確性を保証するために、ニーズが発展してきた。量子信号処理(QSP)と量子特異値変換(QSVT)を用いて、多くの量子アルゴリズムが統一され、改善されている。 QSP/QSVTは、純粋に埋め込んだ関数変換の観点から、モジュール的に処理および結合可能であることを示す。また,セマンティック埋め込みを暗黙的に利用する既存の量子アルゴリズムを,分散探索から量子暗号における音質まで同定する。
論文参考訳（メタデータ） (2023-04-27T17:55:40Z)
Quantum Clustering with k-Means: a Hybrid Approach [117.4705494502186]
我々は3つのハイブリッド量子k-Meansアルゴリズムを設計、実装、評価する。我々は距離の計算を高速化するために量子現象を利用する。我々は、我々のハイブリッド量子k-平均アルゴリズムが古典的バージョンよりも効率的であることを示す。
論文参考訳（メタデータ） (2022-12-13T16:04:16Z)
Probably approximately correct quantum source coding [0.0]
Holevo と Nayak の境界は、量子状態に格納できる古典的な情報の量を推定する。量子学習理論における2つの新しい応用と、純粋に古典的なクライアントを用いた代入量子計算について述べる。
論文参考訳（メタデータ） (2021-12-13T17:57:30Z)
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)

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