Fugu-MT 論文翻訳(概要): A quantum oracle separation between QMA(2) and QMA

論文の概要: A quantum oracle separation between QMA(2) and QMA

arxiv url: http://arxiv.org/abs/2609.02865v1
Date: Wed, 02 Sep 2026 17:50:05 GMT
ステータス: 翻訳完了
システム内更新日: 2026-09-03 17:53:18.485131
Title: A quantum oracle separation between QMA(2) and QMA
Title（参考訳）: QMA(2)とQMAの量子オラクル分離
Abstract要約: 量子相対は、$mathsfQMA neq mathsfQMA(2)$である。すべての$+1$に対して、任意の$(, symmetric)$-disentanglerは出力キュービット数で指数関数的な入力サイズを必要とする。
参考スコア（独自算出の注目度）: 0.9068953081227296
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: We find a quantum oracle relative to which $\mathsf{QMA} \neq \mathsf{QMA}(2)$. As a consequence, we resolve the no-disentanglers conjecture of Watrous: for every $ε+δ<1$, any $(ε,δ)$-disentangler requires input size exponential in the number of output qubits. Our proof combines the unitarily invariant polynomial method of She and Yuen (ITCS '23) with a new construction based on the symmetric and antisymmetric subspace projectors, reducing the $\mathsf{QMA}$ lower bound to the approximate degree of $\mathrm{OR}$.
Abstract（参考訳）: 量子オラクルは、$\mathsf{QMA} \neq \mathsf{QMA}(2)$である。その結果、Watrous の非異方予想を解決し、すべての $ε+δ<1$ に対して、任意の $(ε,δ)$-異方体は出力キュービット数で指数関数的な入力サイズを必要とする。我々の証明は、She と Yuen (ITCS '23) の単位不変多項式法と対称および反対称部分空間プロジェクターに基づく新しい構成を組み合わせることで、$\mathsf{QMA}$ を $\mathrm{OR}$ の近似次数に下界に還元する。

関連論文リスト

PureSuperQMA(exp) = BellPureSymQMA(poly) = QMA via Dimension-Free Bosonic Argmax [36.23068106699028]
純粋状態整合性問題は自然に量子証明システムにつながり、1人の証人が多くの受理制約を満たす必要がある。 $mathsfBellPureSymQMA(textpoly)$は、証明者が純粋状態の多くのコピーを検証しなければならない関連するモデルである。 k$-local pure-state consistency is $mathsfQMA$-complete for every fixed $kge2$, so is the exact bosonic and fermionic pure $N$-representability problem。
論文参考訳（メタデータ） (2026-09-10T17:37:22Z)
The Collapse of Unentangled Stoquastic Merlin-Arthur Proof Systems [46.657699628769336]
絡み合いと干渉は量子力学の最も基本的な性質の一つである。我々は絡み合いが確率的検証に余分な力を与えないことを証明する。
論文参考訳（メタデータ） (2026-05-15T17:52:33Z)
En Route to a Standard QMA1 vs. QCMA Oracle Separation [0.25489046505746704]
我々は完全性の下で量子証人の力を研究する。言語が$mathsfQMA$にあるが$mathsfQCMA$ではない古典的なオラクルを構築する。
論文参考訳（メタデータ） (2026-04-29T17:38:20Z)
Hardness of High-Dimensional Linear Classification [58.29089693778071]
我々は、最大半空間離散性問題に対する次元下界の新たな指数関数を確立する。どちらも計算幾何学と機械学習の基本的問題であり、その正確で近似的な形式である。
論文参考訳（メタデータ） (2026-03-19T15:53:41Z)
A slightly improved upper bound for quantum statistical zero-knowledge [11.384500557173867]
複雑性クラスであるQuantum Statistical Zero-Knowledge(mathsfQSZK$)は、最もよく知られた上限である$mathsfQIP(2) cap textco-mathsfQIP(2)$を持つ。我々はこれを$mathsfQIP(2) cap textco-mathsfQIP(2)$に改善する。我々の主な手法は、量子線型空間で実装可能なホレボ・ヘルストロム測度複雑性とウルマン変換のアルゴリズム版である。
論文参考訳（メタデータ） (2025-12-12T14:33:20Z)
Scaling of symmetry-restricted quantum circuits [42.803917477133346]
本研究では、特殊ユニタリリー群 $SU(2N)$ の $mathcalMSU(2N)$, $mathcalM$-不変部分空間の性質について検討する。
論文参考訳（メタデータ） (2024-06-14T12:12:15Z)
Geometry of degenerate quantum states, configurations of $m$-planes and invariants on complex Grassmannians [55.2480439325792]
退化状態の幾何学を非アーベル接続(英語版)$A$に還元する方法を示す。部分空間のそれぞれに付随する独立不変量を見つける。それらのいくつかはベリー・パンチャラトナム位相を一般化し、1次元部分空間の類似点を持たないものもある。
論文参考訳（メタデータ） (2024-04-04T06:39:28Z)
The Power of Unentangled Quantum Proofs with Non-negative Amplitudes [55.90795112399611]
非負の振幅を持つ非絡み合った量子証明のパワー、つまり $textQMA+(2)$ を表すクラスについて研究する。特に,小集合拡張,ユニークなゲーム,PCP検証のためのグローバルプロトコルを設計する。 QMA(2) が $textQMA+(2)$ に等しいことを示す。
論文参考訳（メタデータ） (2024-02-29T01:35:46Z)
SQ Lower Bounds for Learning Bounded Covariance GMMs [46.289382906761304]
P= sum_i=1k w_i MathcalN(boldsymbol mu_i,mathbf Sigma_i)$ という形で、分離されたガウスの混合を $mathbbRd$ で学習することに焦点を当てる。この問題に対する統計的クエリ(SQ)アルゴリズムは、少なくともdOmega (1/epsilon)$の複雑さを必要とすることを証明している。
論文参考訳（メタデータ） (2023-06-22T17:23:36Z)
Quantum Depth in the Random Oracle Model [57.663890114335736]
浅量子回路の計算能力と古典計算の組合せを包括的に評価する。いくつかの問題に対して、1つの浅い量子回路で適応的な測定を行う能力は、適応的な測定をせずに多くの浅い量子回路を実行する能力よりも有用である。
論文参考訳（メタデータ） (2022-10-12T17:54:02Z)
Stochastic behavior of outcome of Schur-Weyl duality measurement [45.41082277680607]
我々は、$n$ qubits上のシュル=ワイル双対性に基づく分解によって定義される測定に焦点をあてる。我々は、$n$が無限大に進むとき、中心極限の一種を含む様々な種類の分布を導出する。
論文参考訳（メタデータ） (2021-04-26T15:03:08Z)
Quasi-polynomial time algorithms for free quantum games in bounded dimension [11.56707165033]
2プレイヤフリーゲームの値に対する加法$epsilon$-approximationsを計算するために、$exp(mathcalObig(T12(log2(AT)+log(Q)log(AT))/epsilon2big))という半定値プログラムを与える。量子分離性問題と接続し、線形制約を伴う改良された多部量子デ・フィネッティ定理を用いる。
論文参考訳（メタデータ） (2020-05-18T16:55:08Z)

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