[논문 리뷰] Remarks on BMV conjecture

Shmuel Friedland|ArXiv.org|2008. 04. 24.

Matrix Theory and Algorithms참고 문헌 3인용 수 3

한 줄 요약

이 논문은 $ A $와 $ B $가 양의 준정부호 에르미트 행렬일 때, $ \mathrm{Tr}(A + tB)^m $의 $ t^k $-항 계수에 대한 渐近적 양성 결과를 확립한다. 고정된 $ k $와 $ \mathrm{Tr}(AB) > 0 $ 조건 하에, $ m $가 특정 임계값 $ N(A,B,k) $를 초과할 경우 $ t^k $의 계수가 양수가 됨을 증명하며, 이의 주요 점근적 행동은 $ A $의 최대 고유값에 대응하는 $ B $의 주부분행렬의 $ k $제곱의 트레이스에 의해 결정됨을 보여준다.

ABSTRACT

We show that for fixed $A,B$, hermitian nonnegative definite matrices, and fixed $k$ the coefficients of the $t^k$ in the polynomial $ r (A+tB)^m$ is positive if $ r AB >0$ and $m>N(A,B,k)$.

연구 동기 및 목표

• 고정된 $ k $, $ A $, $ B $에 대해 $ \mathrm{Tr}(AB) > 0 $ 조건 하에, $ \mathrm{Tr}(A + tB)^m $의 계수에 대한 점근적 양성 결과를 확립하기 위해.
• 특정 $ m > N(A,B,k) $ 이하에서 $ t^k $의 계수가 엄밀히 양수가 되는 임계값을 규명하기 위해.
• $ m \to \infty $일 때 $ \mathrm{Tr}(S_{m,k}(A,B)) $의 주요 점근적 행동을 분석하고, $ A $의 최대 고유값 블록과 그에 대응하는 $ B $의 부분행렬이 주요 기여를 한다고 규명하기 위해.
• $ n = 3 $인 경우에 특정 조건 하에서 $ \mathrm{Tr}(A + tB)^m $의 $ t^3 $-계수의 비음성(비음수성)을 검증하기 위해.

제안 방법

• 재귀적 행렬 트레이스 항등식을 활용하여, $ S_{m+1,k} = A S_{m,k} + B S_{m+1,k-1} $ (단, $ \min(p,q) < 0 $이면 $ S_{p,q} = 0 $)의 재귀관계를 통해 $ \mathrm{Tr}(S_{m,k}(A,B)) $를 생성함수의 계수로 표현하기 위해.
• 블록 토플리츠 행렬 $ T_k(A,B) $의 리졸베이트에 노이만 급수 전개를 적용하여, $ \mathrm{Tr}(S_{m,k}(A,B)) $의 생성함수를 $ (I - tA)^{-1} (B(I - tA)^{-1})^k $의 트레이스와 연결하기 위해.
• 유리형 생성함수 $ \mathrm{Tr}(I - tA)^{-1} (B(I - tA)^{-1})^k $를 분석하여, $ z = 1/a_i $에서의 극을 식별하고, 주요 극 $ z = 1/a_p $에서의 잔여물을 계산하기 위해 (여기서 $ a_p $는 $ A $의 최대 양의 고유값임).
• $ z = 1/a_p $에서의 잔여물이 $ \mathrm{Tr}(C^k) $임을 증명하며, 여기서 $ C $는 $ a_i = a_p $인 인덱스에 대응하는 $ B $의 주부분행렬임을 보이고, 이를 바탕으로 점근 공식을 유도하기 위해.
• 트레이스의 순환 불변성과 $ C,D \succeq 0 $이면 $ \mathrm{Tr}(CD) \geq 0 $임을 이용하여 저차수 항을 분석하고, $ n = 3, k = 3 $인 경우의 비음성 조건을 검증하기 위해.
• $ n = 3, k = 3 $인 경우를 $ \det B = 0 $, $ B \succeq 0 $, $ A = \mathrm{diag}(1,a,0) $ 조건 하에, $ t $에 대한 유리함수의 테일러 급수 계수의 비음성 확인으로 환원하기 위해.

실험 결과

연구 질문

• RQ1 고정된 $ k $, $ A $, $ B $에 대해, $ \mathrm{Tr}(AB) > 0 $일 때, $ \mathrm{Tr}(A + tB)^m $의 $ t^k $-계수가 충분히 큰 $ m $에서 양수가 되는가?
• RQ2 $ m \to \infty $일 때 $ \mathrm{Tr}(S_{m,k}(A,B)) $의 점근적 행동은 어떠한가? 그리고 주요 항을 결정하는 $ B $의 어떤 부분행렬이 주요 기여를 하는가?
• RQ3 $ n = 3 $인 경우에 모든 $ m $과 모든 $ 3 \times 3 $ 양의 준정부호 행렬 $ A, B $에 대해 $ \mathrm{Tr}(A + tB)^m $의 $ t^3 $-계수의 비음성이 확보될 수 있는가?
• RQ4 $ A $와 $ B $의 구조, 특히 최대 고유값의 위치가 $ t^k $-계수의 점근적 양성에 어떤 영향을 미치는가?
• RQ5 $ \mathrm{Tr}(AB) = 0 $일 때, $ \mathrm{Tr}(S_{m,k}(A,B)) $의 소멸에 어떤 역할을 하는가?

주요 결과

• 고정된 $ k $, $ A $, $ B $에 대해 $ \mathrm{Tr}(AB) > 0 $ 조건 하에, $ m > N(A,B,k) $이면 $ \mathrm{Tr}(A + tB)^m $의 $ t^k $-계수가 양수가 되며, 이는 점근적 양성 결과를 확립한다.
• $ m \to \infty $일 때 $ \mathrm{Tr}(S_{m,k}(A,B)) $의 주요 점근적 행동은 $ \mathrm{Tr}(C^k) \cdot a_p^m \binom{m+k}{k} $로 표현되며, 여기서 $ C $는 $ A $의 최대 양의 고유값 $ a_p $에 대응하는 인덱스에 해당하는 $ B $의 주부분행렬이다.
• $ \lim_{m \to \infty} \frac{\mathrm{Tr}(S_{m,k}(A,B))}{a_p^m \binom{m+k}{k}} = \mathrm{Tr}(C^k) $가 성립하며, $ C \succeq 0 $ 이므로 $ \mathrm{Tr}(C^k) \geq b_{pp}^k > 0 $임을 유추할 수 있어 양성 보장이 된다.
• $ \mathrm{Tr}(AB) = 0 $이면 $ AB = 0 $임이 따라오며, 따라서 모든 $ m,k \geq 1 $에 대해 $ \mathrm{Tr}(S_{m,k}(A,B)) = 0 $이 되어 퇴화된 경우가 됨을 확인한다.
• $ n = 3 $인 경우, $ A = \mathrm{diag}(1,a,0) $, $ B \succeq 0 $, $ \det B = 0 $, $ u,v,w > 0 $ 조건 하에, 유리형 생성함수를 분석하고 모든 테일러 계수의 비음성 조건을 검증함으로써 $ \mathrm{Tr}(A + tB)^m $의 $ t^3 $-계수가 모든 $ m $에 대해 음이 아닌 것으로 밝혀졌다.
• 이 증명은 $ (B(I - tA)^{-1})^3 $의 대각성분을 명시적으로 계산하고, 주어진 조건 하에 $ \mathrm{Tr}(I - tA)^{-1} (B(I - tA)^{-1})^3 $의 결과 급수에서 모든 항의 계수가 음이 아닌 것으로 나타내며 기반한다.