[論文レビュー] Unitary Property Testing Lower Bounds by Polynomials

Adrian She, Henry Yuen|arXiv (Cornell University)|Oct 12, 2022

Quantum Computing Algorithms and Architecture被引用数 3

ひとこと要約

本稿は、ユニタリ性質テストという、アルゴリズムがユニタリ演算子をクエリすることで量子的性質を決定する、量子モデルにおけるクエリ複雑度下界を証明する一般化された多項式手法を導入する。不変理論を活用することで、再帰的時間推定、エンタングルドエントロピー近似、およびエンタングルド部分空間問題といった問題に対してタイトな下界を確立し、QMAとQMA(2)のオракル分離への道筋を提供する。

ABSTRACT

We study unitary property testing, where a quantum algorithm is given query access to a black-box unitary and has to decide whether it satisfies some property. In addition to containing the standard quantum query complexity model (where the unitary encodes a binary string) as a special case, this model contains "inherently quantum" problems that have no classical analogue. Characterizing the query complexity of these problems requires new algorithmic techniques and lower bound methods. Our main contribution is a generalized polynomial method for unitary property testing problems. By leveraging connections with invariant theory, we apply this method to obtain lower bounds on problems such as determining recurrence times of unitaries, approximating the dimension of a marked subspace, and approximating the entanglement entropy of a marked state. We also present a unitary property testing-based approach towards an oracle separation between $\mathsf{QMA}$ and $\mathsf{QMA(2)}$, a long standing question in quantum complexity theory.

研究の動機と目的

• ユニタリ性質テストという、古典的クエリ複雑度をユニタリのような量子オブジェクトに一般化したモデルにおける、量子クエリ複雑度の新たな下界技術の開発を目的とする。
• 古典的アナログのない本質的に量子的な問題、例えばユニタリの再帰的時間の推定やエンタングルドエントロピーの推定に取り組むことを目的とする。
• ユニタリ性質テスト、不変理論、および量子複雑度クラス（特にQMAとQMA(2)）との関係を調査することを目的とする。
• ユニタリ性質テストをフレームワークとして用いて、QMAとQMA(2)の間のオラクル分離を達成できるかを検討することを目的とする。
• 次元近似やエンタングルドエントロピー推定を含む、基本的な量子問題におけるタイトなクエリ複雑度下界を確立することを目的とする。

提案手法

• 古典的多項式手法をユニタリクエリモデルに拡張する一般化された多項式手法を開発し、ローレンツ多項式とトレースに基づく近似を用いる。
• 不変理論の道具を用いてユニタリに不変または局所的にユニタリに不変な性質を分析し、対称性を考慮した下界を可能にする。
• 推測補題とハイブリッド論法の技術を用いて、異なるオラクル下での状態発展の差を、トレースノルムとユークリッド距離を用いて評価する。
• ウェインガルテン計算を用いてハール測度を用いた状態のテンソル積の期待値を計算し、平均的挙動の分析に不可欠な役割を果たす。
• 線形計画法の双対性と双対多項式構築法を用いて、受容確率多項式の次数下界を証明する。
• 量子証人を有する量子アルゴリズムのための対称化技術を導入し、エンタングルド状態を有するQMA型検証者を解析可能にする。

実験結果

リサーチクエスチョン

• RQ1 ユニタリ演算子を入力とするユニタリ性質テストにおいて、下界を証明するための一般化された多項式手法を開発できるか？
• RQ2 ユニタリの再帰的時間推定やマークされた部分空間の次元近似におけるクエリ複雑度下界は何か？
• RQ3 マークされた状態のエンタングルドエントロピーは、効率的に近似可能か？ そのクエリ複雑度の限界は何か？
• RQ4 ユニタリ性質テストを用いて、QMAとQMA(2)の間のオラクル分離を達成できるか？
• RQ5 非ユニタリな対称性を有する自然な量子クエリ問題は、この一般化された手法で解析可能か？

主な発見

• 一般化された多項式手法により、ユニタリの再帰的時間の近似に対してΩ(√d)の下界が確立され、既知の上界と対数的要因を除いて一致する。
• エンタングルドエントロピー問題に関して、BQP設定下でΩ(√d)の下界が証明され、強い仮定なしでは効率的近似が困難である可能性を示唆する。
• QMA設定下で再帰的時間問題に対してΩ(√d / ε)の下界が、対称化とハイブリッド状態解析を用いて確立された。
• 本稿では、エンタングルド部分空間問題に対する任意のQMA検証者には、超多項式のクエリ数または超多項式サイズの証人を必要とすることが示され、QMAとQMA(2)の潜在的なオラクル分離を示唆する。
• 命題6.6の反例は次元2〜5においてタイトであることが示され、エンタングルド部分空間問題が低次元でもすでに困難であることを示唆する。
• エンタングルド部分空間問題のQCMA下界は、一般化された多項式手法を用いて証明され、古典的証人ですら効率的に問題を解くことはできないことが示された。