[论文解读] Quantum version of Wielandt's Inequality revisited

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

Mathematical Inequalities and Applications被引用 1

一句话总结

本文通過證明若一個 D×D 複矩陣的線性空間生成完整的矩陣代數，則其 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).

研究动机与目标

• 解決 Pérez-García 等人（2007）在量子資訊理論中關於矩陣冪穩定性的猜想。
• 改進線性空間中 D×D 矩陣生成完整矩陣代數所需矩陣乘積數量的已知上界。
• 將量子 Wielandt 問題與代數中關於由幂零元素生成的矩陣代數增長之經典開問題連結。
• 確立序列 dim L^k = D² 的穩定指數之緊緻界，確認所 conjecture 的指數為二。

提出的方法

• 透過矩陣理論的代數技術，將問題簡化為界定最小的 k 使得 dim L^k = D²。
• 應用 [Shi18] 中的關鍵引理（引理 3.1），在特定非零條件下界定矩陣乘積的秩。
• 利用平方零矩陣（H 滿足 H² = 0）的迭代秩遞減論證，分析 L^λ 中的幂零行為。
• 引入基於矩陣秩 ρ 的遞歸下降法，表明：要麼在受控深度內出現低秩的平方零矩陣，要麼更早出現非幂零矩陣。
• 運用 Jordan 標準型與投影技術，分析非幂零矩陣在不變子空間上的作用。
• 透過引理 3.4 結合幂零與非幂零情形的界，該引理將非幂零矩陣的秩 R 存在於 L^Λ 中與穩定指數 I ≤ Λ(R+1)D 連結。

实验结果

研究问题

• RQ1 對於生成 End(C^D) 的 D×D 矩陣線性空間 L，最小的 k 是多少，使得 dim L^k = D²？
• RQ2 能否改進 [SPGWC10] 所得的 O(D⁴) 界？若能，改進幅度為何？
• RQ3 Pérez-García 等人（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 不等式中所 conjecture 的指數為二。
• 證明顯示，若某 k 時 dim L^k = D²，則對所有更大的 k 均保持 D²，且穩定發生不晚於 k = 2D²(6 + log₂ D)。
• 關鍵技術進展在於將 L^k 的穩定性與 L^Λ 中存在秩 R 的非幂零矩陣連結，其中 Λ ≤ D/R(3 + log₂(D/R))，進而用以界定穩定指數。
• 即使在 L 僅含幂零矩陣的最壞情況下，只要其所生成的代數最終能覆蓋完整矩陣代數，該界依然成立。
• 即使序列 dim L^k 非單調，該界仍有效，如 [Šid64] 所示之反例所示。