[論文レビュー] Notes on Some Questions in Mathematical Physics and Quantum Information

M. B. Hastings|arXiv (Cornell University)|Apr 16, 2014

Random Matrices and Applications被引用数 4

ひとこと要約

本稿は、数学的物理および量子情報の多様なトピックに関する独立したノートの集積を提示する。具体的には、明示的にエルミートである転送行列を有する行列積状態における相関関数の崩壊の tightened 界、2次元フェルミオン系に非ゼロのホール導電率を示す PEPS の構築における課題、ほぼ可換行列とベクトル bundle 間の関係、および非決定的復号器を用いた量子チャネルのシミュレーションに関する未解決問題が含まれる。主な貢献として、量子エラー訂正における「マシューレスの原理」の証明があり、特定のノイズレベルでエラー訂正が性能向上をもたらすならば、より高いノイズレベルでも同様に向上することが示されている。

ABSTRACT

This is a set of notes on some unrelated topics in mathematical physics, at varying levels of detail. First, I consider certain questions relating to the decay of correlation functions in matrix product states, in particular those generated by quantum expanders. This is discussed in relation to recent results of Brandao and Horodecki on area laws on systems with exponentially decaying correlation function\cite{areaexp}. Second, I consider some difficulties in trying to construct a tensor product state (or PEPS) describing a two-dimensional fermionic system with non-vanishing Hall conductance. Third, I present some relations between the theory of almost commuting matrices and that of vector bundles, making the connection between the classifications more explicit. Fourth, I present an open question about quantum channels, and some partial results.

研究の動機と目的

• 行列積状態における指数的相関関数の崩壊の解析とその界の厳密化を目的とし、特に転送行列が明示的にエルミートである場合を対象とする。
• 2次元フェルミオン系に非ゼロのホール導電率を示す場合に、投影エンタングルペア状態（PEPS）を構築する際の根本的課題を調査すること。
• ほぼ可換行列の分類とベクトル bundle を通じたトポロジカル K 理論との関係を明確化し、より明示的な形で明らかにすること。
• 非決定的復号器を用いた量子チャネル理論における未解決問題を探索すること。

提案手法

• 転送行列が明示的にエルミートである性質を活用することで、行列積状態における相関関数の崩壊の界を改善し、スピン次元に依存する係数の依存性を厳密化する。
• ゲージ自由度を用いて行列積状態の表現を変換し、スペクトル解析を簡素化するエルミート転送作用素の構築を可能にする。
• 帰納法と微分不等式を用いて、量子エラー訂正符号の成功確率がマシューレスの原理のもとで単調性を満たすことを証明する。
• 転送作用素の作用素ノルムとそのスペクトルギャップを分析することで、より良い係数制御のもとで相関関数の指数的崩壊を確立する。
• 成功対失敗比 $ g(p) = \tilde{f}(p)/(1 - \tilde{f}(p)) $ の対数微分に対する下界を導出し、古典的な $ 1/[p(1-p)] $ 形式と関連付ける。
• 量子チャネルの同値類と非加法性を分析し、非決定的復号の文脈において非シミュレータブルなチャネルペアを特定する。

実験結果

リサーチクエスチョン

• RQ1 転送行列が明示的にエルミートである場合、行列積状態における相関関数の崩壊界の係数をより厳密に導出可能か？
• RQ2 非ゼロのホール導電率を示す2次元フェルミオン系に対して PEPS を構築可能か？ その場合の根本的障壁は何か？
• RQ3 ほぼ可換行列の分類とベクトルバンドル理論におけるトポロジカル不変量との関係は何か？ そして、この関係をより明確にできるか？
• RQ4 非決定的復号器を用いた場合、量子チャネル $ \mathcal{C}_p $ が $ q > p $ に対して別のチャネル $ \mathcal{C}_q $ をシミュレートできる条件は何か？
• RQ5 量子エラー訂正におけるマシューレスの原理は成り立つか：ある低ノイズレベル $ p < 1/2 $ でエラー訂正が性能向上をもたらすならば、より高いノイズレベル $ p' > p $ でも同様に向上するか？

主な発見

• 明示的にエルミートである転送行列を有する行列積状態では、指数的相関関数の崩壊界における係数が顕著に改善され、スピン次元 $ k $ への依存性が低減される。
• 本稿では、量子エラー訂正における「マシューレスの原理」を証明する。すなわち、ある $ p < 1/2 $ に対して $ \tilde{f}(p) > p $ が成り立つならば、$ \tilde{f}(p) + \tilde{f}(1-p) > 1 $ が成り立ち、より高いノイズレベルでも性能向上が保証される。
• 成功対失敗比 $ g(p) $ の対数微分は $ \partial_p \ln g(p) \geq 1/[p(1-p)] $ を満たす。これはマシューレスの原理を証明する上で重要な不等式である。
• 証明は帰納法と代数的変形に依拠しており、$ \tilde{f}_1 - \tilde{f}_0 \geq (\tilde{f}_1 - \tilde{f}_0)^2 $ が確率が $[0,1]$ に有界であることから成立する。
• 分析により、量子チャネルのシミュレーションは非対称であることが判明した。同値類の複雑な階層構造を示唆するように、互いにシミュレートできないチャネルペアが存在する。
• 本稿では、非決定的復号器を用いて $ \mathcal{C}_p $ が $ p \leq 1/2 $ かつ $ q > p $ に対して $ \mathcal{C}_q $ をシミュレート可能かどうかという潜在的な未解決問題を特定した。これはチャネルシミュレーションにおける非自明な構造を強調している。