[논문 리뷰] Non-commutative Edmonds' problem and matrix semi-invariants

Gábor Ivanyos, Youming Qiao외 1명|arXiv (Cornell University)|2015. 08. 04.

Advanced Topics in Algebra참고 문헌 50인용 수 10

한 줄 요약

이 논문은 유리수 체 위에서 비가환 Edmonds 문제에 대한 결정론적 다항시간 알고리즘을 제안하며, 행렬 준불변량의 경계를 활용한다. 행렬 준불변량의 영점집합(nullcone)이 차수 최대 $ (n+1)! $인 불변량에 의해 정의됨을 증명하여, $ \mathrm{poly}(n, (n+1)!) $-시간 알고리즘을 얻으며, 이는 이전의 경계를 향상시키고 양의 특성수를 가진 체로까지 확장된다.

ABSTRACT

In 1967, Edmonds introduced the problem of computing the rank over the rational function field of an $n imes n$ matrix $T$ with integral homogeneous linear polynomials. In this paper, we consider the non-commutative version of Edmonds' problem: compute the rank of $T$ over the free skew field. It is known that this problem relates to the ring of matrix semi-invariants. In particular, if the nullcone of matrix semi-invariants is defined by elements of degree $\leq σ$, then there follows a $\mathrm{poly}(n, σ)$-time randomized algorithm to decide whether the non-commutative rank of $T$ is $

연구 동기 및 목표

• 자유 비가환 체 위의 비가환 선형형식을 가진 행렬의 질량을 계산하는 비가환 Edmonds 문제를 해결하기 위해, 행렬 준불변량의 불변량 이론과 연결한다.
• 행렬 준불변량의 영점집합에 대한 정의 다항식의 차수에 대한 날카운 상한을 확립한다.
• 영점집합의 차수 경계가 주어진 조건 하에서, 행렬이 비가환 질량이 $ n $ 미만임을 결정하는 결정론적 알고리즘을 개발한다.
• 비가환 질량 알고리즘의 적용 범위를 대수적으로 닫혀 있지 않은 체인 양의 특성수 체로 확장한다.

제안 방법

• 저자들은 $ R(n,m) $의 영점집합을 정의하는 불변량의 차수에 대한 경계 $ \sigma $를 가정하고, Gurvits의 알고리즘을 활용하여 $ \mathbb{Q} $ 위에서 결정론적 $ \mathrm{poly}(n,\sigma) $-시간 알고리즘을 얻는다.
• 구조적 행렬 승수를 텐서곱을 통해 $ M(d,\mathbb{F}) $ 를 이용해 적용하는 방식으로, 두 번째 Wong 수열과 정규성 보조정리를 기반으로 한 새로운 알고리즘을 제안하여 행렬 공간 내에서 질량을 점진적으로 증가시킨다.
• 핵심 기술적 단계는 임의의 질량 $ s < n $인 행렬 공간 $ \mathcal{B} \leq M(n,\mathbb{F}) $에 대해, $ d' \leq (n+1)!/(s+1)! $ 이며 $ \mathcal{B} \otimes M(d',\mathbb{F}) $ 가 질량 $ rd' $ 인 행렬을 포함함을 보이는 것이다. 여기서 $ r = n - s $.
• 두 번째 Wong 수열의 구조적 성질과 $ \mathrm{SL}(n,\mathbb{F}) \times \mathrm{SL}(n,\mathbb{F}) $ 작용을 이용하여, $ R(n,m) $의 영점집합이 차수 최대 $ (n+1)! $인 불변량에 의해 정의됨을 증명하며, 이는 양의 특성수 체에서도 유효하다.
• 반복적 질량 증강을 위한 $ A^{\prime\prime} $ 구조를 사용하고, Lemma 5.7(정규성 보조정리)를 적용하여 2차원 행렬 공간 내에서 더 높은 질량을 가진 행렬을 찾는다.
• 만약 공변형과 비가환 형질의 질량이 상수 간격을 가진다면, 비가환 질량을 계산하는 데 효율적인 랜덤 알고리즘이 존재함을 증명하며, Fortin과 Reutenauer의 결과보다 향상된 등가성 테스트를 제공한다.

실험 결과

연구 질문

• RQ1 비가환 Edmonds 문제를 $ \mathbb{Q} $ 위에서 결정론적 다항시간 알고리즘으로 해결할 수 있는가? 이는 행렬 준불변량의 영점집합을 정의하는 불변량의 차수 경계를 가정할 때 가능할까?
• RQ2 행렬 준불변량의 영점집합을 정의하는 데 필요한 최소 차수 $ \sigma $는 얼마이며, 이 경계는 양의 특성수 체에서 명시적으로 유도될 수 있는가?
• RQ3 공변형과 비가환 형질의 질량 간격이 상수일 경우, 비가환 질량을 계산하는 효율적인 랜덤 알고리즘이 존재하는가?
• RQ4 초기 행렬이 최대 질량이 아닐 때, 두 번째 Wong 수열을 사용하여 행렬 공간 내의 질량을 증가시키는 결정론적 알고리즘을 구성할 수 있는가?
• RQ5 대수적으로 닫혀 있지 않은 체 $ \mathbb{F} $ 에서도, $ \mathrm{SL}(n,\mathbb{F}) \times \mathrm{SL}(n,\mathbb{F}) $ 작용에 의한 $ m $-튜플의 $ n\times n $ 행렬에 대한 준불변량의 차수를 유 bounds 할 수 있는가?

주요 결과

• 행렬 준불변량의 영점집합인 $ R(n,m) $의 영점집합은 차수 최대 $ (n+1)! $ 인 불변량에 의해 정의되며, 이는 양의 특성수 체 위에서 이 불변량 환에 대한 첫 번째 명시적 차수 경계를 제공한다.
• $ \mathbb{Q} $ 위에서, 차수 경계 $ \sigma = (n+1)! $ 를 가정할 경우, Gurvits의 알고리즘을 활용하여 비가환 최대 질량 문제를 $ n $ 과 $ (n+1)! $ 에 대해 다항시간 내에 결정론적으로 해결할 수 있다.
• 공변형과 비가환 형질의 질량이 상수 간격을 가진다면, 비가환 질량을 계산하는 데 효율적인 랜덤 알고리즘이 존재하며, 이는 이전의 등가성 테스트 결과보다 향상된 것이다.
• 질량 증가 알고리즘은 $ n $ 과 $ d $ 에 대해 다항시간 내에 작동하며, 여기서 $ d = (n+1)!/(s+1)! $ 이고, 산술 연산 수는 $ \mathrm{poly}(n,d) $ 이며, 비트 복잡도는 $ n $, $ d $, 입력 크기의 다항식으로 표현된다.
• $ \sigma \leq (n+1)! $ 의 경계는 이전에 알려진 특성수 0인 대수적으로 닫힌 체에서의 최선의 경계 $ O(n^2 \cdot 4^{n^2}) $ 보다 향상되었으며, 대수적 닫힘 조건이 필요 없어졌다.
• 결과는 양의 특성수 체로까지 확장되며, $ |\mathbb{F}| = \Omega(nd) $ 를 만족하는 한, 체의 대수적 닫힘 여부나 크기와 관계없이 차수 경계 $ (n+1)! $ 는 유효하다.