[논문 리뷰] Quantum version of Wielandt's Inequality revisited

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

Mathematical Inequalities and Applications인용 수 1

한 줄 요약

이 논문은 선형 공간이 전체 행렬 대수를 생성할 경우, 그 k차 항등식의 차원이 최대 O(D² log D) 항째에 D²로 안정화된다는 것을 보여줌으로써 양자 버전의 Wielandt 부등식을 증명한다—이는 이전의 O(D⁴) bound를 향상시킨다. 핵심 통찰은 문제를 영행렬에 대한 고전적 대수적 추측과 연결함으로써, 랭크 기반의 귀납법과 스펙트럼 분석을 사용하여 더 날카른 bound를 확립하는 데 있다.

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)의 추측을 해결하기 위해.
• D×D 행렬의 선형 공간이 전체 행렬 대수를 생성하기까지 필요한 행렬 곱의 수에 대한 기존 상한을 향상시키기 위해.
• 영행렬에 의해 생성되는 행렬 대수의 성장에 관한 고전적 열린 문제와 양자 Wielandt 문제를 연결하기 위해.
• dim L^k = D²인 안정화 지수에 대한 날카운 bound를 확립하여, 두 제수의 추측된 지수를 확인하기 위해.

제안 방법

• 행렬 이론의 대수적 기법을 사용하여, dim L^k = D²가 되는 최소 k를 구하는 문제로 문제를 축소한다.
• Shi18의 핵심 보조정리(Lemma 3.1)를 적용하여, 일정한 비영 조건을 만족할 경우 행렬 곱의 랭크를 bound한다.
• 제곱이 영이 되는 행렬(H² = 0)을 통한 반복적 랭크 감소 추론을 사용하여 L^λ 내의 영행렬 성향을 분석한다.
• 랭크 ρ에 대한 재귀적 내림차순을 도입하여, 제어된 깊이에서 낮은 랭크의 제곱이 영인 행렬이 나타나거나, 아니면 비영행렬이 더 이르게 나타나는지를 분석한다.
• 존슨 표준형과 투영 기법을 사용하여 비영행렬이 불변 부분공간에 작용하는 방식을 분석한다.
• Lemma 3.4를 통해 영행렬과 비영행렬의 경우의 bound를 결합하여, 랭크 R인 비영행렬이 존재할 경우 안정화 지수 I ≤ Λ(R+1)D임을 연결한다.

실험 결과

연구 질문

• RQ1 L가 End(C^D)를 생성할 때, D×D 행렬의 선형 공간 L에 대해 dim L^k = D²가 되는 최소 k는 무엇인가?
• RQ2 [SPGWC10]에서 제시된 O(D⁴) bound는 향상시킬 수 있으며, 만약 가능하면 얼마나 향상시킬 수 있는가?
• RQ3 Perez-Garcia 등(2007)이 제안한 안정화가 O(D²) 단계 이내에 일어난다는 추측은 참인가?
• RQ4 L에 영행렬 또는 제곱이 영인 행렬이 존재할 경우, L^k의 성장에 어떤 영향을 미치는가?
• RQ5 Paz(1984)의 2D−2 추측은 행렬 대수 성장에 관해 양자 Wielandt 문제와 관련이 있는가?

주요 결과

• 논문은 dim L^k = D²가 모든 k ≥ 2D²(6 + log₂ D)에서 성립함을 증명하여, O(D² log D) 안정화 bound를 확립한다.
• 이전까지 알려진 최선의 O(D⁴) bound를 향상시켰으며, 양자 Wielandt 부등식에서 추측된 지수 두 개를 확인한다.
• L^k = D²가 어떤 k에서 성립하면, 그 이후 모든 더 큰 k에 대해서도 D²로 유지되며, 안정화가 k = 2D²(6 + log₂ D) 이내에 발생함을 증명한다.
• 핵심 기술적 진전은 L^k의 안정화가 L^Λ 내에서 랭크 R인 비영행렬이 존재할 경우에 연결되며, Λ ≤ D/R(3 + log₂(D/R))임을 보여주고, 이를 통해 안정화 지수를 bound하는 데 사용된다.
• 그러나 L이 오직 영행렬만 포함하더라도, 그들이 생성하는 대수가 결국 전체 행렬 대수를 차지한다면, 이 결과는 여전히 성립한다.
• dim L^k의 수열이 단조증가가 아닐 경우에도 이 bound는 유지되며, 이는 [Šid64]에서 제시된 반례로 입증된다.