[논문 리뷰] A deterministic polynomial time algorithm for non-commutative rational identity testing

Ankit Garg, Leonid Gurvits외 2명|arXiv (Cornell University)|2015. 11. 11.

Complexity and Algorithms in Graphs참고 문헌 48인용 수 17

한 줄 요약

이 논문은 비가환 변수에 대한 기호 행렬의 가역성 테스트를 위한 최초의 결정적 다항시간 알고리즘을 제시하며, 오랫동안 남아있던 열린 문제를 해결한다. 구르비츠의 알고리즘을 분석하고 이를 확장함으로써, 비가환 유리식 동치 테스팅, 자유 스케우 필드에서의 워드 문제, 비가환 행렬 질량을 효율적으로 해결하며, 가환 질량에 대해 요인-2 근사값을 달성한다.

ABSTRACT

In this paper we present a deterministic polynomial time algorithm for testing if a symbolic matrix in {\emph non-commuting} variables over $\mathbb{Q}$ is invertible or not. The analogous question for commuting variables is the celebrated polynomial identity testing (PIT) for symbolic determinants. In contrast to the commutative case, which has an efficient probabilistic algorithm, the best previous algorithm for the non-commutative setting required exponential time [IQS15] (whether or not randomization is allowed). The algorithm efficiently solves the word for the free skew field, and the identity testing problem for arithmetic formulae with division over non-commuting variables, two problems which had only exponential-time algorithms prior to this work. The main (and simple) technical contribution of this paper is an analysis of an existing algorithm due to Gurvits which solved the same problem in some special cases. We also extend the algorithm to compute the (non-commutative) rank of a symbolic matrix, yielding a factor 2 approximation on the commutative rank. Symbolic matrices in non-commuting variables, and the related structural and algorithmic questions, have a remarkable number of diverse origins and motivations. They arise independently in (commutative) invariant theory and representation theory, linear algebra, optimization, linear system theory, quantum information theory, approximation of the permanent and naturally in non-commutative algebra. We provide a detailed account of some of these sources and their interconnections. In particular we explain how some of these sources played an important role in the development of Gurvits' algorithm and in our analysis of it here.

연구 동기 및 목표

• 비가환 변수에 대한 ℚ 위에서 기호 행렬의 가역성 테스트를 위한 결정적 다항시간 알고리즘을 개발하는 것.
• 이전에 효율적인 결정적 해법이 없었던 비가환 유리식 동치 테스팅 문제를 해결하는 것.
• 알고리즘을 확장하여 기호 행렬의 비가환 질량을 계산하고, 가환 질량에 대해 요인-2 근사값을 제공하는 것.
• 비가환 행렬 문제의 배경이 되는 불변량 이론, 양자 정보, 선형 대수학, 최적화 등 다양한 동기를 통합하고 분석하는 것.
• 구르비츠의 알고리즘을 더 넓은 맥락에서 철저히 분석하여, 이전의 특수 케이스를 넘어서 적용 가능성을 넓히는 것.

제안 방법

• 기존의 구르비츠 알고리즘을 변형하고 분석하여, 비가환 변수에 대한 일반적인 기호 행렬을 다룰 수 있도록 하는 것.
• 비가환 질량을 계산하여 행렬의 가역성을 판단하기 위해 질량 기반 접근법을 사용하는 것.
• 자유 스케우 필드의 구조를 활용하여 동치 테스팅 문제를 행렬 질량 계산으로 환원하는 것.
• 선형 대수학과 비가환 대수학 기법을 적용하여 결정적 다항시간 복잡도를 보장하는 것.
• 비가환 변수에 대한 나눗셈을 포함한 산술 공식에 대해 알고리즘을 확장하여, 이 설정에서의 동치 테스팅 문제를 해결하는 것.
• 비가환 행렬 질량과 가환 질량 간의 관계를 규명하여, 후자의 경우에 대해 2-근사값을 도출하는 것.

실험 결과

연구 질문

• RQ1 비가환 변수에 대한 기호 행렬에서 비가환 유리식 동치 테스팅을 위한 결정적 다항시간 알고리즘을 설계할 수 있는가?
• RQ2 자유 스케우 필드에서 워드 문제를 푸는 계산 복잡도는 무엇이며, 이를 효율적으로 해결할 수 있는가?
• RQ3 기호 행렬의 비가환 질량을 다항시간 내에 어떻게 계산할 수 있는가?
• RQ4 비가환 행렬 문제와 양자 정보, 불변량 이론 등 다른 분야 사이에 어떤 연결 고리가 존재하는가?
• RQ5 구르비츠의 알고리즘은 원래 범위를 초월하여 일반화되고 엄밀히 분석될 수 있는가?

주요 결과

• 논문은 비가환 유리식 동치 테스팅을 위한 최초의 결정적 다항시간 알고리즘을 제시하며, 주요 열린 문제를 해결한다.
• 알고리즘은 이전에 지수시간이 필요로 했던 자유 스케우 필드에서의 워드 문제를 효율적으로 해결한다.
• 기호 행렬의 비가환 질량을 다항시간 내에 계산하며, 가환 질량에 대해 요인-2 근사값을 제공한다.
• 알고리즘은 비가환 변수에 대한 나눗셈을 포함한 산술 공식에 대한 동치 테스팅 문제로 확장되며, 이전에 효율적인 해결책이 없던 문제를 해결한다.
• 구르비츠의 알고리즘 분석을 통해 그 적용 범위가 더 넓다는 것이 드러나며, 비가환 환경에서의 성공에 대한 이론적 근거를 제공한다.
• 비가환 대수학과 양자 정보, 최적화, 불변량 이론 등 다양한 분야 간의 깊은 연결 고리를 확립한다.