[論文レビュー] Quantum version of Wielandt's Inequality revisited

Mateusz Michałek, Yaroslav Shitov|arXiv (Cornell University)|Sep 12, 2018

Mathematical Inequalities and Applications被引用数 1

ひとこと要約

この論文は、線形空間 L が D×D 複素行列の全行列代数を生成するならば、その k-乗の次元 dim L^k が高々 O(D² log D) 項で D² に安定化することを示すことにより、量子版 Wielandt の不等式を証明している。これは以前の O(D⁴) 界を改善したものであり、核となる洞察は、問題を零行列に帰着する古典的代数的予想に結びつけることである。ランクに基づく帰納法とスペクトル解析を用いて、よりタイトな界を確立している。

ABSTRACT

Consider a linear space L of complex D-dimensional linear operators, and assume that some power L^k of L is the whole space of DxD matrices. Perez-Garcia, Verstraete, Wolf and Cirac conjectured that the sequence L^1,L^2,... stablilizes after O(D^2) terms; we prove that this happens after O(D^2 log(D)) terms, improving the previously known bound of O(D^4).

研究の動機と目的

• 量子情報理論における行列のべきの安定化に関する Perez-Garcia ら（2007）の予想を解決すること。
• 線形空間 L が D×D 行列を生成する場合、全行列代数を張るまでに必要な行列積の数の既知の上界を改善すること。
• 量子 Wielandt 問題を、零行列素子によって生成される行列代数の成長に関する古典的未解決問題と結びつけること。
• dim L^k = D² となる安定化インデックスのタイトな界を確立し、2 乗の指数が予想通りであることを確認すること。

提案手法

• 行列理論からの代数的技法を用いて、dim L^k = D² となる最小の k を特定する問題に還元する。
• Shi18 からのキーレムマ（補題 3.1）を適用し、特定の非消失条件の下での行列積のランクを界する。
• 平方零行列（H が H² = 0 を満たすもの）を用いた反復的ランク低下の議論により、L^λ 内の零行列的挙動を分析する。
• ランク ρ に関する再帰的降下を導入し、ある制御された深さで低いランクの平方零行列が現れるか、あるいは非零行列がより早く現れるかを示す。
• ジョルダン標準形と射影技法を用いて、非零行列が不変部分空間上に与える作用を分析する。
• 補題 3.4 を用いて、ランク R の非零行列が存在する場合、安定化インデックス I ≤ Λ(R+1)D が成り立つことを結びつける。

実験結果

リサーチクエスチョン

• RQ1 線形空間 L が D×D 行列からなり、End(C^D) を生成するならば、dim L^k = D² となる最小の k は何か？
• RQ2 [SPGWC10] で得られた O(D⁴) 界は改善可能か？ もし可能ならば、どの程度改善できるか？
• RQ3 Perez-Garcia ら（2007）の予想、すなわち安定化が O(D²) ステップで起こることの真偽は？
• RQ4 L に零行列や平方零行列が存在する場合、L^k の成長にどのような影響を与えるか？
• RQ5 Paz（1984）の 2D−2 予想は、行列代数の成長に関する量子 Wielandt 問題と関係があるか？

主な発見

• 論文は、すべての k ≥ 2D²(6 + log₂ D) に対して dim L^k = D² であることを確立し、O(D² log D) の安定化界を証明した。
• これは [SPGWC10] で得られた O(D⁴) の既知の最良界を改善し、量子 Wielandt 不等式における予想された二乗指数を確認した。
• 証明により、L^k = D² となるある k に対して、それ以上のすべての k に対して dim L^k = D² が成り立つことが示され、安定化は k = 2D²(6 + log₂ D) までに遅くとも起こる。
• 主な技術的進展は、L^k の安定化を、L^Λ にランク R の非零行列が存在するという事実と結びつけることである。ここで Λ ≤ D/R(3 + log₂(D/R)) であり、これにより安定化インデックスが界づけられる。
• 生成された代数が全行列代数を張る限り、L に零行列しか含まない最悪の状況でも、この界は成り立つ。
• dim L^k が単調でない場合でも、[Šid64] の反例により、この界は有効である。