論文の概要: Quantum state testing beyond the polarizing regime and quantum triangular discrimination
- arxiv url: http://arxiv.org/abs/2303.01952v5
- Date: Sun, 31 Aug 2025 03:25:03 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-09-03 14:24:51.920325
- Title: Quantum state testing beyond the polarizing regime and quantum triangular discrimination
- Title(参考訳): 偏光状態を超えた量子状態試験と量子三角偏差
- Authors: Yupan Liu,
- Abstract要約: 三角微分やジェンセン・シャノンの発散に関する時間境界分布試験問題に対して適切な量子アナログを導入する。
我々の研究は、これらの問題に対する適切な量子アナログを導入し、三角形の識別のための量子の類似を定義する。
これらの新しい$mathsfQSZK$-complete問題により、$mathsfQSZK$は偏光系を超えた$mathrmQSDP$を含む。
- 参考スコア(独自算出の注目度): 0.2538209532048867
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: The complexity class Quantum Statistical Zero-Knowledge ($\mathsf{QSZK}$) captures computational difficulties of the time-bounded quantum state testing problem with respect to the trace distance, deciding whether $\mathrm{T}(\rho_0,\rho_1)$ is at least $\alpha$ or at most $\beta$, known as the Quantum State Distinguishability Problem ($\mathrm{QSDP}$) introduced by Watrous (FOCS 2002). However, $\mathrm{QSDP}[\alpha,\beta]$ is in $\mathsf{QSZK}$ only within the constant polarizing regime, where $\alpha$ and $\beta$ are constants satisfying $\alpha^2 > \beta$ (rather than $\alpha > \beta$), similar to its classical counterpart shown by Sahai and Vadhan (JACM 2003) due to the polarization lemma (error reduction for $\mathrm{SDP}$). Recently, Berman, Degwekar, Rothblum, and Vasudevan (TCC 2019) extended the $\mathsf{SZK}$ containment of $\mathrm{SDP}$ beyond the polarizing regime via the time-bounded distribution testing problems with respect to the triangular discrimination and the Jensen-Shannon divergence. Our work introduces proper quantum analogs for these problems by defining quantum counterparts for triangular discrimination. We investigate whether the quantum analogs behave similarly to their classical counterparts and examine the limitations of existing approaches to polarization regarding quantum distances. These new $\mathsf{QSZK}$-complete problems improve $\mathsf{QSZK}$ containments of $\mathrm{QSDP}$ beyond the polarizing regime and establish a simple $\mathsf{QSZK}$-hardness for the quantum entropy difference problem ($\mathrm{QEDP}$) defined by Ben-Aroya, Schwartz, and Ta-Shma (ToC 2010). Furthermore, we prove that $\mathrm{QSDP}$ with some exponentially small errors is in $\mathsf{PP}$, while the same problem without error is in $\mathsf{NQP}$.
- Abstract(参考訳): 複雑性クラスQuantum Statistical Zero-Knowledge$\mathsf{QSZK}$)は、Watrous(FOCS 2002)が導入したQuantum State Distinguishability Problem$$\mathrm{QSDP}$)が少なくとも$\alpha$か少なくとも$\beta$かを決定する、トレース距離に関する時間境界量子状態テスト問題の計算困難をキャプチャする。
しかし、$\mathrm{QSDP}[\alpha,\beta]$ は定数偏極系内でのみ$\mathsf{QSZK}$ であり、$\alpha$ と $\beta$ は$\alpha^2 > \beta$ ($\alpha > \beta$ ではなく$\alpha > \beta$ を満たす定数である。
最近、Berman, Degwekar, Rothblum, and Vasudevan (TCC 2019)は、三角偏差とジェンセン=シャノンの発散に関する時間境界分布試験問題を通じて、偏光系を超えて$\mathsf{SZK}$を延長した。
我々の研究は、これらの問題に対する適切な量子アナログを導入し、三角形の識別のための量子の類似を定義する。
量子アナログが従来のアナログと類似して振る舞うかどうかを考察し、量子距離に関する偏極に対する既存のアプローチの限界について検討する。
これらの新しい$\mathsf{QSZK}$-complete problem improve $\mathsf{QSZK}$ containments of $\mathrm{QSDP}$ beyond the polarizing regime and establish a simple $\mathsf{QSZK}$-hardness for the quantum entropy difference problem(\mathrm{QEDP}$) by Ben-Aroya, Schwartz, Ta-Shma (ToC 2010)。
さらに、指数的に小さな誤差を持つ$\mathrm{QSDP}$が$\mathsf{PP}$であり、誤りのない同じ問題は$\mathsf{NQP}$であることを示す。
関連論文リスト
- Fine-Grained Complexity for Quantum Problems from Size-Preserving Circuit-to-Hamiltonian Constructions [1.43494686131174]
1-varepsilon)n)$ for any $varepsilon>0$ for any $varepsilon>0$ under the Strong Exponential-Time hypothesis (SETH)。
我々は、任意の1/mathrmpoly(n)$相対誤差に対して$O(sqrt2n)$ timeで実行し、下位境界にマッチし、Bravyi、Chowdhury、Gossによる最先端アルゴリズムを改善する量子アルゴリズムを提供する。
論文 参考訳(メタデータ) (2026-02-16T01:11:55Z) - Collapses in quantum-classical probabilistically checkable proofs and the quantum polynomial hierarchy [0.7321157455672144]
証明に特有の量子古典的PCPの制限は、そのパワーを低下させるものではないことを示す。
また、カルプ・リプトンの定理の非一様量子類似性も証明する。
これらの結果は、量子証明システムの構造に関する新たな洞察を与える。
論文 参考訳(メタデータ) (2025-06-24T16:59:50Z) - On the complexity of unique quantum witnesses and quantum approximate counting [2.4475760284813255]
量子オラクルを$mathsfBQPmathsfUniqueQMA$と$mathsfQMA$で分離する。
局所ハミルトン問題のどんな構造的特性を活用できるのか?
局所ハミルトンの基底エネルギーを$mathsfUniqueQMA$プロトコルで推定できることを示すことによって、物理的動機付けの候補を導入する。
論文 参考訳(メタデータ) (2024-10-31T10:53:51Z) - Oracle Separations for the Quantum-Classical Polynomial Hierarchy [0.0]
量子古典的階層 QCPH について検討する。これは、交互古典的量子化器の定数数で解ける言語のクラスである。
我々は、量子アルゴリズムに新しい切り換え補題を与えるが、これは独立した関心を持つかもしれない。
論文 参考訳(メタデータ) (2024-10-24T18:12:03Z) - Quantum PCPs: on Adaptivity, Multiple Provers and Reductions to Local
Hamiltonians [0.0]
非適応型量子PCPは、証明クエリ数が一定である場合に適応型量子PCPをシミュレートできることを示す。
また、ある量子PCPステートメントが偽であるような(量子)オラクルが存在することも示している。
論文 参考訳(メタデータ) (2024-03-07T19:00:06Z) - The Power of Unentangled Quantum Proofs with Non-negative Amplitudes [55.90795112399611]
非負の振幅を持つ非絡み合った量子証明のパワー、つまり $textQMA+(2)$ を表すクラスについて研究する。
特に,小集合拡張,ユニークなゲーム,PCP検証のためのグローバルプロトコルを設計する。
QMA(2) が $textQMA+(2)$ に等しいことを示す。
論文 参考訳(メタデータ) (2024-02-29T01:35:46Z) - Flying-cat parity checks for quantum error correction [0.0]
長距離マルチキュービットパリティチェックは、量子誤差補正と測定に基づく絡み合い発生の両方に応用できる。
我々は、Schr"odinger's cat state $vertalpharanglepm vert-alpharangle$に対する量子非破壊(QND)のエンタングル演算に基づく「フライングキャット」パリティチェックについて検討する。
論文 参考訳(メタデータ) (2024-02-26T20:18:21Z) - Quantum Polynomial Hierarchies: Karp-Lipton, error reduction, and lower
bounds [1.3927943269211591]
本研究は、$mathsfPH$の量子検証に基づく3つの一般化を研究する。
まず、[GSSSY22] から、崩壊定理と$mathsfQCPH$に対するカルプ・リプトンの定理を含むいくつかの開問題を解く。
我々は、$mathsfpureQPH$に対する一方の誤り低減と、これらの量子変量$mathsfPH$に関する最初の境界を示す。
論文 参考訳(メタデータ) (2024-01-03T09:12:25Z) - $\mathcal{PT}$-symmetric mapping of three states and its implementation on a cloud quantum processor [0.9599644507730107]
3つの純量子状態のマッピングのための新しい$mathcalPT$-symmetricアプローチを開発する。
我々は,Hermitianの場合,参照ベクトルの平均射影の保存,およびQuantum Fisher Informationと整合性を示す。
我々の研究は、量子通信、コンピューティング、暗号に$mathcalPT$-symmetricを適用するための新しい扉を開く。
論文 参考訳(メタデータ) (2023-12-27T18:51:33Z) - Cubic* criticality emerging from a quantum loop model on triangular lattice [5.252398154171938]
三角格子量子ループモデル(QLM)は、ネマティック、ビソンプラケット(VP)結晶と、ロクサー・キヴェルソン量子臨界点に近い$mathbb$量子スピン液体(QSL)の豊富な基底状態相図をホストしていることを示す。
これらの解は、統計場理論と量子場理論の両方に直ちに関係し、また、リドベルク原子配列や量子モワール材料で急速に成長する実験にも関係している。
論文 参考訳(メタデータ) (2023-09-11T18:00:05Z) - Quantum Lower Bounds by Sample-to-Query Lifting [7.319050391449301]
本稿では,量子サンプル対クエリリフト定理を用いて,量子クエリの下限を証明するための新しい手法を提案する。
位相/振幅推定やハミルトニアンシミュレーションなど,いくつかの既知の下界に対する統一的な証明を提供する。
論文 参考訳(メタデータ) (2023-08-03T14:41:49Z) - Quantum and classical low-degree learning via a dimension-free Remez
inequality [52.12931955662553]
ハイパーグリッド上の関数をポリトーラス上の高調波拡張に関連付ける新しい方法を示す。
巡回群 $exp(2pi i k/K)_k=1K$ の積に対して函数の上限が$f$であることを示す。
我々は最近、超キューブやキュービット上の観測可能な観測値の低次学習を、同様に効率的に行う方法として、EI22, CHP, VZ22を引用して、新しい空間に拡張した。
論文 参考訳(メタデータ) (2023-01-04T04:15:40Z) - Quantum Depth in the Random Oracle Model [57.663890114335736]
浅量子回路の計算能力と古典計算の組合せを包括的に評価する。
いくつかの問題に対して、1つの浅い量子回路で適応的な測定を行う能力は、適応的な測定をせずに多くの浅い量子回路を実行する能力よりも有用である。
論文 参考訳(メタデータ) (2022-10-12T17:54:02Z) - Beyond the Berry Phase: Extrinsic Geometry of Quantum States [77.34726150561087]
状態の量子多様体のすべての性質がゲージ不変のバーグマンによって完全に記述されることを示す。
偏光理論への我々の結果の即時適用について述べる。
論文 参考訳(メタデータ) (2022-05-30T18:01:34Z) - A lower bound on the space overhead of fault-tolerant quantum computation [51.723084600243716]
しきい値定理は、フォールトトレラント量子計算の理論における基本的な結果である。
振幅雑音を伴う耐故障性量子計算の最大長に対する指数的上限を証明した。
論文 参考訳(メタデータ) (2022-01-31T22:19:49Z) - On quantum algorithms for the Schr\"odinger equation in the
semi-classical regime [27.175719898694073]
半古典的状態におけるシュル・オーディンガーの方程式を考える。
このようなシュル・オーディンガー方程式はボルン=オッペンハイマーの分子動力学やエレンフェストの動力学など多くの応用を見出す。
論文 参考訳(メタデータ) (2021-12-25T20:01:54Z) - Uncertainties in Quantum Measurements: A Quantum Tomography [52.77024349608834]
量子系 $S$ に関連する可観測物は非可換代数 $mathcal A_S$ を形成する。
密度行列 $rho$ は可観測物の期待値から決定できると仮定される。
アーベル代数は内部自己同型を持たないので、測定装置は可観測物の平均値を決定することができる。
論文 参考訳(メタデータ) (2021-12-14T16:29:53Z) - Threshold Phenomena in Learning Halfspaces with Massart Noise [56.01192577666607]
ガウス境界の下でのマスアートノイズ付きmathbbRd$におけるPAC学習ハーフスペースの問題について検討する。
この結果は,Massartモデルにおける学習ハーフスペースの複雑さを定性的に特徴づけるものである。
論文 参考訳(メタデータ) (2021-08-19T16:16:48Z) - Realization of arbitrary doubly-controlled quantum phase gates [62.997667081978825]
本稿では,最適化問題における短期量子優位性の提案に着想を得た高忠実度ゲートセットを提案する。
3つのトランペット四重項のコヒーレントな多レベル制御を編成することにより、自然な3量子ビット計算ベースで作用する決定論的連続角量子位相ゲートの族を合成する。
論文 参考訳(メタデータ) (2021-08-03T17:49:09Z) - Adiabatic Quantum Graph Matching with Permutation Matrix Constraints [75.88678895180189]
3次元形状と画像のマッチング問題は、NPハードな置換行列制約を持つ二次代入問題(QAP)としてしばしば定式化される。
本稿では,量子ハードウェア上での効率的な実行に適した制約のない問題として,いくつかのQAPの再構成を提案する。
提案アルゴリズムは、将来の量子コンピューティングアーキテクチャにおいて、より高次元にスケールする可能性がある。
論文 参考訳(メタデータ) (2021-07-08T17:59:55Z) - Q-Match: Iterative Shape Matching via Quantum Annealing [64.74942589569596]
形状対応を見つけることは、NP-hard quadratic assignment problem (QAP)として定式化できる。
本稿では,アルファ拡大アルゴリズムに触発されたQAPの反復量子法Q-Matchを提案する。
Q-Match は、実世界の問題にスケールできるような長文対応のサブセットにおいて、反復的に形状マッチング問題に適用できる。
論文 参考訳(メタデータ) (2021-05-06T17:59:38Z) - Quantum learning algorithms imply circuit lower bounds [7.970954821067043]
量子アルゴリズムの設計と回路下界の一般接続を確立する。
我々の証明は、学習理論、擬似ランダム性、計算複雑性に関するいくつかの研究に基づいている。
論文 参考訳(メタデータ) (2020-12-03T14:03:20Z) - Using Quantum Metrological Bounds in Quantum Error Correction: A Simple
Proof of the Approximate Eastin-Knill Theorem [77.34726150561087]
本稿では、量子誤り訂正符号の品質と、論理ゲートの普遍的な集合を達成する能力とを結びつける、近似したイージン・クニル定理の証明を示す。
我々の導出は、一般的な量子気象プロトコルにおける量子フィッシャー情報に強力な境界を用いる。
論文 参考訳(メタデータ) (2020-04-24T17:58:10Z) - Quantum Coupon Collector [62.58209964224025]
我々は、$k$-要素集合$Ssubseteq[n]$が、その要素の一様重ね合わせ$|Srangleからいかに効率的に学習できるかを研究する。
我々は、$k$と$n$ごとに必要となる量子サンプルの数に厳密な制限を与え、効率的な量子学習アルゴリズムを与える。
論文 参考訳(メタデータ) (2020-02-18T16:14:55Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。