[논문 리뷰] Van der Waerden Conjecture for Mixed Discriminants

Leonid Gurvits|ArXiv.org|2004. 06. 21.

Limits and Structures in Graph Theory참고 문헌 8인용 수 8

한 줄 요약

이 논문은 1989년 R. Bapat이 제기한 추측을 증명한다. 즉, 모든 이중확률적 $n$-중 $n\times n$ 양의 준정부호 허미트 행렬에 대해 혼합 판별식이 $\frac{n!}{n^n}$ 이하로 내림차순되며, 등호는 유일하게 $\left(\frac{1}{n}I,\dots,\frac{1}{n}I\right)$에서 성립한다. 증명은 볼록 최적화, 행렬 해석학, 그리고 초구형 다항식의 도구를 활용하며, 영구행렬에 대한 Van der Waerden 추측을 더 넓은 혼합 판별식의 맥락으로 확장한다.

ABSTRACT

We prove that the mixed discriminant of doubly stochastic $n$-tuples of semidefinite hermitian $n imes n$ matrices is bounded below by $\frac{n!}{n^{n}}$ and that this bound is uniquely attained at the $n$-tuple $(\frac{1}{n} I,...,\frac{1}{n} I)$. This result settles a conjecture posed by R. Bapat in 1989. We consider various generalizations and applications of this result.

연구 동기 및 목표

• 이중확률적 $n$-중의 양의 준정부호 허미트 행렬에 대한 혼합 판별식의 최소값에 관한 R. Bapat의 1989년 추측을 해결하기 위해.
• 행렬의 추적 정규화와 합이 항등행렬이 되는 조건 하에서 혼합 판별식에 대해 하한 $\frac{n!}{n^n}$ 을 확립하기 위해.
• 영구행렬에 대한 Van der Waerden 추측을 준정부호 행렬의 맥락에서 혼합 판별식으로 일반화하기 위해.
• 블록 행렬과 분리 가능성의 관계를 통해 혼합 판별식, 초구형 다항식, 양자 정보 이론 간의 연결 고리를 탐색하기 위해.

제안 방법

• 혼합 판별식을 선형 조합의 행렬식의 $n$차 혼합 편도함수로 정의한다: $ D(A_1,\dots,A_n) = \frac{\partial^n}{\partial t_1\cdots\partial t_n} \det(\sum t_i A_i) $.
• 양의 준정부호 제약 조건 하에서 국소 최소값을 위한 필요 조건을 적용하며, 허미트 행렬의 공간을 내적 $ \langle A,B \rangle = \operatorname{tr}(AB) $를 갖는 실수 내적 공간으로 간주한다.
• 혼합 판별식의 텐서 곱 표현을 활용한다: $ D(A_1,\dots,A_n) = \langle (A_1 \otimes \cdots \otimes A_n)V, V \rangle $, 여기서 $ V $ 는 순열과 관련된 특정한 $ n^n $-차원 벡터이다.
• 혼합 판별식이 각 인자에 대해 선형이며, 모든 행렬이 양의 준정부호일 경우 비음수임을 이용하며, 부분집합에 대해 $ \operatorname{rank}(\sum_{j=1}^k A_{i_j}) \geq k $ 조건이 성립하면 엄격히 양수임을 활용한다.
• 혼합 판별식의 양수성 특성과 그 구조를 통해 아르크시미드-펜켈 부등식을 암묵적으로 적용한다.
• 초구형 다항식으로 결과를 확장하기 위해 $ M_p({\bf X}) $ 를 초구형 다항식 $ p $ 의 $n$차 혼합 도함수로 정의하며, $ e$-이중확률적 $n$-중에 대해 하한 $ p(e) \frac{n!}{n^n} $ 이 성립할 것이라 추측한다.

실험 결과

연구 질문

• RQ1 모든 $ n $-중의 양의 준정부호 허미트 행렬에 대해 $ \operatorname{tr}(A_i) = 1 $ 이고 $ \sum A_i = I $ 를 만족할 때 혼합 판별식 $ D(A_1,\dots,A_n) $ 의 하한은 무엇인가?
• RQ2 이 하한 $ \frac{n!}{n^n} $ 이 유일하게 $ n $-중 $ \left(\frac{1}{n}I,\dots,\frac{1}{n}I\right) $ 에서 달성되는가?
• RQ3 영구행렬에 대한 Van der Waerden 추측을 준정부호 행렬의 혼합 판별식 맥락으로 일반화할 수 있는가?
• RQ4 분리 가능하거나 이중확률적 블록 행렬에 대해 $ 4 $차원 파스칼 행렬식(또는 $ QP(\rho) $)의 최소값은 무엇인가?
• RQ5 $ e $-이중확률적 $ n $-중의 벡터에 대해 $ p $-혼합 값 $ M_p({\bf X}) $ 의 최소값이 $ p(e) \frac{n!}{n^n} $ 과 같은가?

주요 결과

• 모든 이중확률적 $ n $-중의 $ n\times n $ 양의 준정부호 허미트 행렬에 대해 혼합 판별식은 $ \frac{n!}{n^n} $ 이하로 내림차순되며, 등호는 유일하게 모든 행렬이 $ \frac{1}{n}I $ 일 때 성립한다.
• 하한 $ \frac{n!}{n^n} $ 은 유일하게 $ n $-중 $ \left(\frac{1}{n}I,\dots,\frac{1}{n}I\right) $ 에서 달성되며, 이는 복소 허미트 경우에서 Bapat의 추측을 확인한다.
• 결과는 영구행렬에 대한 Van der Waerden 추측을 일반화하며, 이중확률적 행렬의 영구행렬은 혼합 판별식의 특수한 경우이기 때문이다.
• $ n \geq 3 $ 일 때, 모든 이중확률적 $ n\times n $ 블록 행렬 $ \rho $ 에 대해 $ QP(\rho) $ 의 최소값은 0이지만, 분리 가능한 경우의 최소값은 엄격히 양수이다.
• $ n=2 $ 일 때, $ \min_{\rho \in \mathrm{Se}D_n} QP(\rho) = \frac{n!}{n^n} $ 이 성립하며, 등호는 $ \frac{1}{2} $ 에서 달성되며, 이는 일반 추측으로 제안된다.
• 논문은 임의의 $ e $-초구형 다항식 $ p $ 에 대해, $ e $-이중확률적 $ n $-중 $ {\bf X} $ 에서 $ p $-혼합 값 $ M_p({\bf X}) $ 의 최소값이 $ p(e) \frac{n!}{n^n} $ 와 같다고 추측한다.