[論文レビュー] Remark on multi-particle observables and entangled states with constant complexity

Dominik Janzing, Thomas Beth|ArXiv.org|Mar 24, 2000

Quantum Computing Algorithms and Architecture被引用数 3

ひとこと要約

この論文は、定数深さの量子ネットワークが、パrameter $ e_{\rho} $ で定量化されたマクロな量子不確定性を示す高次にエンタングルされた多粒子状態を準備または測定できないことを示している。このような状態および観測可能量には、$ \log n $ のオーダーのネットワーク深さが必要であり、マクロな量子行動の根本的な複雑さの閾値を確立している。

ABSTRACT

We show that every density matrix of an n-particle system prepared by a quantum network of constant depth is asymptotically commuting with the mean-field observables. We introduce certain pairs of hypersurfaces in the space of density matrices and give lower bounds for the depth of a network which prepares states lying outside those pairs. The measurement of an observable which is not asymptotically commuting with the mean-field observables requires a network of depth in the order of log n, if one demands the measurement to project the state into the eigenspace of the measured observable.

研究の動機と目的

• 定数深さの量子ネットワークが、マクロな量子行動を示す高次にエンタングルされた多体状態を準備または測定できる限界を調査すること。
• パrameter $ e_{\rho} $ が捉えるマクロ実在論に反する状態の性質と、量子ネットワーク深さとの間の明確な関係を形式化すること。
• 平均場近似と不一致な観測可能量を準備または測定するために必要な深さの下界を確立すること。
• シュレーディンガーの猫型のパラドックスの文脈において、ネットワーク深さの役割を分析すること。ここで、マクロに異なる状態の量子重ね合わせは古典的直観に反する。

提案手法

• 多粒子密度行列 $ \rho $ のマクロな量子不確定性の度合いを定量化するパラメータ $ e_{\rho} $ を定義し、$ e_{\rho} $ が大きいほど顕著な非古典的行動を示すことを明確にした。
• 集団的性質を表す平均場観測可能量 $ \overline{a} = \frac{1}{n}\sum_{i=1}^n a_i $ の概念を導入した。
• 任意の定数深さネットワークで測定可能な観測可能量 $ c $ は、漸近的に $ \overline{a} $ と可換であることを証明した。その可換子ノルムは $ \| [\overline{a}, A^*(P)] \| \leq \frac{2^k}{\sqrt{2n}} $ で抑えられ、ここで $ k $ はネットワーク深さである。
• 観測可能量のスペクトル射影 $ P $ を用いて、測定結果が平均場行動と整合するかを分析し、非可換な観測可能量はより深い回路を必要とすることを示した。
• テンソル積ヒルベルト空間の構造と局所的演算子間のサポート重複を活用し、可換子式における相互作用項の数を制限した。
• 局所的演算子1つあたり、サポートが重複する演算子ペアの数は $ 4^k $ で抑えられ、これが可換子ノルムの $ \sqrt{4^k / n} $ スケーリングを導いた。

実験結果

リサーチクエスチョン

• RQ1 定数深さの量子ネットワークは、マクロな量子重ね合わせを示す大規模な $ e_{\rho} $ を持つ多粒子状態を準備できるか？
• RQ2 平均場観測可能量と不一致な観測可能量を準備または測定するために必要な量子ネットワークの最小深さは何か？
• RQ3 ネットワークで実装された観測可能量と平均場観測可能量との漸近的可換性が、アクセス可能なエンタングル状態の集合にどのような制限を課えるか？
• RQ4 特に、シュレーディンガーの猫の thought experiment に見られるようなマクロな量子現象の根本的制限を、量子回路におけるリソース制約（特に深さ）がどの程度規定するか？

主な発見

• 深さ $ k $ の量子ネットワークで測定可能な任意の観測可能量は、そのスペクトル射影が平均場観測可能量と漸近的に可換であり、可換子ノルムが $ \frac{2^k}{\sqrt{2n}} $ で抑えられる。
• マクロな量子不確定性を示す大規模な $ e_{\rho} $ を持つ状態は、定数深さネットワークでは準備できない。このような状態には $ \Theta(\log n) $ の深さが必要である。
• 平均場行動と不一致な観測可能量を測定するために必要な深さも $ \Theta(\log n) $ であり、状態準備に必要な深さと一致する。
• 可換子ノルムの上限は、定数深さネットワークがマクロ実在論やシュレーディンガーの猫パラドックスに関連する完全なエンタングル状態の集合にアクセスできないことを示唆する。
• 深さ $ k $ のネットワークにおいて、サポートが重複する演算子ペアの数は、1つの局所的演算子あたり最大 $ 4^k $ 個であり、これが非可換性の成長を制限する。
• 結果として、『非常に低複雑性のエンタングルメント』（例：深さ2のネットワーク由来）は、$ e_{\rho} $ が大きな状態に伴う高次元の非局所的マクロなエンタングルメントを生成できないことが示唆される。