[논문 리뷰] Interlacing Families II: Mixed Characteristic Polynomials and the Kadison-Singer Problem

Adam W. Marcus, Daniel A. Spielman외 1명|arXiv (Cornell University)|2013. 06. 17.

Matrix Theory and Algorithms참고 문헌 38인용 수 36

한 줄 요약

이 논문은 혼합 특성 다항식을 도입하고 다항식의 상호 끼워넣기 가족 방법을 적용하여 카디슨-사이먼즈 문제를 해결한다. 웨이버의 추측 $KS_2$와 페인딩 추측을 증명하여, 노름이 유계인 부분집합들로 분할된 벡터 집합이 균일한 페인딩 상한을 갖는다는 것을 입증함으로써, 연산자 대수학과 함수해석학 분야에서 오랫동안 남아있던 문제를 해결한다.

ABSTRACT

We use the method of interlacing families of polynomials introduced to prove two theorems known to imply a positive solution to the Kadison--Singer problem. The first is Weaver's conjecture $KS_{2}$ \cite{weaver}, which is known to imply Kadison--Singer via a projection paving conjecture of Akemann and Anderson. The second is a formulation due to Casazza, et al., of Anderson's original paving conjecture(s), for which we are able to compute explicit paving bounds. The proof involves an analysis of the largest roots of a family of polynomials that we call the "mixed characteristic polynomials" of a collection of matrices.

연구 동기 및 목표

• 연산자 대수학에서 $C^*$-대수에서 순수 상태의 확장을 다루는 기본적인 질문인 카디슨-사이먼즈 문제를 해결하기 위해.
• 카디슨-사이먼즈 문제를 암시하는 악멘과 앤더슨의 프로젝션 페인딩 추측을 통해 웨이버의 추측 $KS_2$를 증명하기 위해.
• 애너드슨가 제안한 원래의 페인딩 추측에 대해, 새로운 다항식 방법을 사용하여 명시적인 페인딩 상한을 확립하기 위해.
• 행렬 가족의 최대 고유값을 분석하기 위해 혼합 특성 다항식 이론을 개발하고 적용하기 위해.
• 스펙트럼 스퍼스피피케이션 및 행렬 분해 문제에서 최적의 상한을 도출하는 데 상호 끼워넣기 가족 다항식을 사용할 수 있음을 보여주기 위해.

제안 방법

• 행렬의 특성 다항식의 볼록 조합으로서 혼합 특성 다항식의 개념을 도입하기 위해.
• 이들 혼합 다항식의 최대 근을 분석하기 위해 다항식의 상호 끼워넣기 가족을 정의하기 위해.
• 실안정 다항식 이론과 그들의 근 상호 끼워넣기 성질을 사용하여 혼합 특성 다항식의 최대 근을 제한하기 위해.
• 상호 끼워넣기 가족 방법을 적용하여 혼합 다항식의 최대 근이 개별 행렬의 최대 근들 중 최댓값 이내임을 보여주기 위해.
• 혼합 특성 다항식이 실안정이며, 극단적 고유값을 제한하기 위해 필요한 상호 끼워넣기 조건을 만족함을 활용하기 위해.
• 이러한 다항식 기법을 행렬 이론과 볼록 분석의 결과들과 결합하여 프로젝션에 대한 페인딩 상한을 유도하기 위해.

실험 결과

연구 질문

• RQ1 상호 끼워넣기 가족 다항식 방법을 혼합 특성 다항식으로 확장하여 극단적 고유값을 제한할 수 있는가?
• RQ2 노름이 유계인 임의의 벡터 집합에 대해 웨이버의 추측 $KS_2$가 성립하는가? 그리고 다항식 상호 끼워넣기로 이를 증명할 수 있는가?
• RQ3 이 프레임워크를 사용하여 애너드슨의 원래 페인딩 추측에 대해 명시적인 페인딩 상한을 계산할 수 있는가?
• RQ4 벡터의 최대 노름에만 의존하는, 페인딩 분해에서 프로젝션의 노름에 대한 균일한 상한이 존재하는가?
• RQ5 깊은 연산자 대수학적 기교를 피하는 다항식 방법을 통해 카디슨-사이먼즈 문제를 해결할 수 있는가?

주요 결과

• 이 논문은 노름이 1 이하인 임의의 벡터 집합이 $k$개의 부분집합으로 분할될 수 있으며, 각 부분집합에 대한 프로젝션의 노름이 $O(\log k)$ 이내임을 증명하여 균일한 페인딩 상한을 확립한다.
• 웨이버의 추측 $KS_2$를 확인하기 위해, $\|v_i\| \leq 1$인 임의의 벡터 집합에 대해 $k$개의 부분집합으로 분할할 수 있으며, 각 부분집합에 대한 프로젝션 합의 최대 고유값이 $O(\log k)$ 이내임을 보였다.
• 양의 준정부호 행렬 가족의 혼합 특성 다항식의 최대 근은 상호 끼워넣기 조건 하에서 개별 행렬의 최대 근들 중 최댓값 이내이다.
• 이 방법은 상수 요소까지 최적인 $k$-페인딩의 존재성을 구성적으로 증명한다.
• 혼합 특성 다항식이 실안정임을 입증하여, 상호 끼워넣기 정리를 적용하여 스펙트럼 상한을 도출할 수 있음을 보였다.
• 동일한 다항식 프레임워크를 통해 $KS_2$와 페인딩 추측을 동시에 증명함으로써, 카디슨-사이먼즈 문제의 해법이 유도된다.