[논문 리뷰] Maximum vanishing subspace problem, CAT(0)-space relaxation, and block-triangularization of partitioned matrix

Masaki Hamada|arXiv (Cornell University)|2017. 05. 05.

Complexity and Algorithms in Graphs참고 문헌 32인용 수 22

한 줄 요약

이 논문은 분할 행렬에 대한 가중 최대 소멸 부분공간 문제(WMVSP)를 제안하고, 모듈러 레이티스 위에서의 하위모듈러 최적화와 CAT(0)-공간 위에서의 볼록 최적화의 새로운 조합을 통해 이 문제가 의사다항식 시간 내에 해결될 수 있음을 증명한다. 주요 기여는 분할 행렬의 블록 상삼각화를 위한 다항식 시간 알고리즘을 프록시멀 포인트 방법을 통해 CAT(0)-공간에서 제시함으로써, 이러한 행렬에 대한 표준형에 관한 열린 문제를 해결한 것이다.

ABSTRACT

In this paper, we consider computing the degree of the Dieudonné determinant of a polynomial matrix A = A_l + A_{l-1} s + ⋯ + A₀ s^l, where each A_d is a linear symbolic matrix, i.e., entries of A_d are affine functions in symbols x₁, …, x_m over a field K. This problem is a natural "weighted analog" of Edmonds' problem, which is to compute the rank of a linear symbolic matrix. Regarding x₁, …, x_m as commutative or noncommutative, two different versions of weighted and unweighted Edmonds' problems can be considered. Deterministic polynomial-time algorithms are unknown for commutative Edmonds' problem and have been proposed recently for noncommutative Edmonds' problem. The main contribution of this paper is to establish a deterministic polynomial-time reduction from (non)commutative weighted Edmonds' problem to unweighed Edmonds' problem. Our reduction makes use of the discrete Legendre conjugacy between the integer sequences of the maximum degree of minors of A and the rank of linear symbolic matrices obtained from the coefficient matrices of A. Combined with algorithms for noncommutative Edmonds' problem, our reduction yields the first deterministic polynomial-time algorithm for noncommutative weighted Edmonds' problem with polynomial bit-length bounds. We also give a reduction of the degree computation of quasideterminants and its application to the degree computation of noncommutative rational functions.

연구 동기 및 목표

• 등가 변환 하에서 분할 행렬에 대한 표준 블록 상삼각형 형태를 계산하는 데 있어 열린 문제를 해결하기 위해.
• 체 F 위의 블록 구조 행렬을 포함하는 선형 대수적 설정으로 이분 안정 집합 문제를 일반화하기 위해.
• MVSP를 일반화하는 가중 최대 소멸 부분공간 문제(WMVSP)에 대한 다항식 시간 알고리즘을 개발하기 위해.
• 모듈러 레이티스 위에서의 하위모듈러 최적화와 CAT(0)-공간 위에서의 볼록 최적화를 결합한 새로운 계산 프레임워크를 구축하기 위해.

제안 방법

• 이중선형 소멸 제약 조건 하에서 부분공간 차원의 가중합을 최대화하는 방식으로 가중 최대 소멸 부분공간 문제(WMVSP)를 수립한다.
• 벡터 공간의 부분공간 레이티스를 모듈러 레이티스로 모델링하고, 오р토시프 복합체 K(L)로 확장된 하위모듈러 함수를 정의한다. 이 복합체는 CAT(0)-공간이다.
• 해결된 볼록 최적화 문제를 해결하기 위해 CAT(0)-공간 버전의 프록시멀 포인트 알고리즘(PPA)을 적용한다.
• CAT(0)-공간의 유일한 지오데식 구조를 이용하여 반복적으로 프록시멀 매핑을 정의하고 계산한다.
• 특수하게 설계된 가중치를 가진 WMVSP의 최적 해를 사용하여 극단적 mv-부분공간을 추출하고, 준듈드지-멘델슨(q-DM) 분해를 구성하는 재귀 알고리즘(q-DM 및 q-DMreg)을 구축한다.
• 특정 가중치 체계 하에서 최적 WMVSP 해가 극단적(최소 또는 최대) mv-부분공간을 유일하게 제공함을 증명한다. 이는 재귀적 분해를 가능하게 한다.

실험 결과

연구 질문

• RQ1 체 F 위의 분할 행렬에 대해 가중 최대 소멸 부분공간 문제(WMVSP)는 의사다항식 시간 내에 해결될 수 있는가?
• RQ2 CAT(0)-공간 위에서의 볼록 최적화는 부분공간의 무한 모듈러 레이티스 위의 이산 최적화 문제를 해결하는 데 실용적인 프레임워크를 제공하는가?
• RQ3 적절한 가중치 할당을 통해 극단적 mv-부분공간(최소 및 최대)을 유일하게 식별할 수 있는가?
• RQ4 WMVSP 해를 이용하여 분할 행렬에 대한 표준 블록 상삼각형 형태를 다항식 시간 내에 계산할 수 있는 알고리즘이 존재하는가?
• RQ5 맞춤형 가중치를 가진 WMVSP의 반복적 해법을 통해 준듈드지-멘델슨 분해를 알고리즘적으로 계산할 수 있는가?

주요 결과

• WMVSP는 F 위에서의 산술 연산이 상수 시간이 되는 조건 하에, m, n 및 최대 가중치 W에 대해 다항식 시간 내에 해결 가능하다.
• 해결은 모듈러 레이티스 위에서의 하위모듈러 최적화와 CAT(0)-공간 위에서의 볼록 최적화를 결합한 새로운 방법에 기반한다. 이는 프록시멀 포인트 알고리즘을 통해 이루어진다.
• 특정 가중치 체계(예: 극대성의 경우 Cα = m+2, Dβ = m+1) 하에서 극단적 mv-부분공간(최소 및 최대)이 WMVSP의 최적 해로서 유일하게 도출된다.
• 재귀 알고리즘(q-DM 및 q-DMreg)은 맞춤형 가중치를 가진 WMVSP를 사용하여 mv-부분공간을 재귀적으로 식별함으로써 준듈드지-멘델슨 분해를 계산한다.
• 각 WMVSP 인스턴스의 가중치가 유계이므로 알고리즘이 다항식 시간 내에 실행되며, 정리 1.1은 의사다항식 해결 가능성 보장한다.
• 이 방법은 mv-부분공간과 표준 블록 상삼각형 형태 사이에 구축 가능한 연결 고리를 제공하며, Ito, Iwata, Murota(1994)가 제기한 열린 문제를 해결한다.