[논문 리뷰] Tropical Cramer Determinants Revisited

Marianne Akian, Stéphane Gaubert외 1명|arXiv (Cornell University)|2013. 09. 24.

Polynomial and algebraic computation참고 문헌 29인용 수 15

한 줄 요약

이 논문은 Cramer의 법칙을 다중성, 부호 또는 진폭 정보를 포함하는 확장 토폴로지 반군 위의 선형 연립방정식으로 확장한다. 일반화된 Cramer 행렬식을 사용하여 토폴로지 선형 연립방정식의 해가 존재하고 유일함을 증명하며, 이는 최적의 할당 문제를 통해 계산되며, T2 및 Smax에서 행렬식 계산을 위한 다항시간 알고리즘을 제공한다. 이 알고리즘들은 가중치가 부여된 방향그래프와 할당 그래프에서의 사이클 탐지를 통해 기반한다.

ABSTRACT

We prove general Cramer type theorems for linear systems over various extensions of the tropical semiring, in which tropical numbers are enriched with an information of multiplicity, sign, or argument. We obtain existence or uniqueness results, which extend or refine earlier results of Gondran and Minoux (1978), Plus (1990), Gaubert (1992), Richter-Gebert, Sturmfels and Theobald (2005) and Izhakian and Rowen (2009). Computational issues are also discussed; in particular, some of our proofs lead to Jacobi and Gauss-Seidel type algorithms to solve linear systems in suitably extended tropical semirings.

연구 동기 및 목표

• 확장 토폴로지 반군(부호, 다중성 또는 진폭 정보 포함)에서 선형 연립방정식에 대한 Cramer 유형 정리의 일반화를 위해.
• 최적의 순열의 부호 비특이성과 기수를 통합하여 토폴로지 선형 대수학에서 일반 위치의 개념을 보완하기 위해.
• T2 및 Smax와 같은 확장 반군에서 토폴로지 선형 연립방정식을 풀고 행렬식을 계산하기 위한 계산 알고리즘을 제공하기 위해.
• 푸아수르 수체에서의 평가 사상과 연결하여 토폴로지 선형 대수학과 비아르키메데스 기하학 간의 연관성을 설정하기 위해.
• 존재성 및 유일성 정리의 증명에 기반하여, 토폴로지 선형 연립방정식을 풀기 위한 자코비 및 가우스-자이델 유형의 반복 알고리즘을 개발하기 위해.

제안 방법

• 최적의 할당 문제를 토폴로지 행렬식의 유사체로 사용하며, 이 값은 토폴로지 영구행렬과 대응한다.
• 최적의 할당과 할당 문제에서의 최적 순열을 식별하기 위해 헝가리안 알고리즘을 적용한다.
• 행렬 A에서 가중치가 부여된 방향그래프 G를 구성한다. 여기서 간선 (i,j)는 aij = ui vj일 때 존재하며, ui, vj는 헝가리안 알고리즘에서의 이중 변수이다.
• G에서 사이클 탐지를 통해 최적 해의 수를 결정한다: 어떤 사이클이 존재하면 다수의 최적 해가 존재하며, 짝수 사이클은 서로 다른 기수의 해를 의미한다.
• Smax(대칭화된 최대-합 반군)의 경우, 행렬을 양성분과 음성분으로 분해한다: A = A+ ⊖ A− 및 블록 행렬식 공식을 사용하여 Rmax로의 계산을 축소한다.
• 선형계획법 설정에서 보상 함수의 상부 연속성과 볼록성의 성질을 활용하여 최대값이 꼭짓점에서 도달함을 보장하며, 이는 모든 토폴로지 영구행렬이 유한할 때에만 유한한 값을 갖는다.

실험 결과

연구 질문

• RQ1 일반화된 토폴로지 반군에서 n−1개의 벡터를 포함하는 유일한 토폴로지 초평면이 존재하는 조건은 무엇인가?
• RQ2 부호 또는 다중성 정보를 포함시키기 위해 토폴로지 Cramer 행렬식을 어떻게 확장할 수 있으며, 이는 해의 유일성에 어떤 영향을 미치는가?
• RQ3 T2 및 Smax와 같은 확장 토폴로지 반군에서 행렬식 계산의 계산 복잡도는 얼마인가?
• RQ4 할당 그래프의 그래프 이론적 성질을 통해 토폴로지 할당 문제에서 최적 해의 수를 어떻게 결정할 수 있는가?
• RQ5 가우스-자이델 또는 자코비와 같은 반복 방법을 확장 반군에서 토폴로지 선형 연립방정식을 풀기 위해 어떻게 적응시킬 수 있으며, 수렴 성질은 어떠한가?

주요 결과

• T2 또는 Smax에서의 토폴로지 Cramer 행렬식은 할당 그래프 G에서의 사이클 탐지를 통해 다항시간에 계산될 수 있다.
• 행렬 A ∈ Mn(T2)의 행렬식이 0이 아닐 조건은 |A|에 대한 최적 할당 문제가 유일한 해를 가지며, 대각선 원소가 T◦2에 속하지 않을 때이다.
• A ∈ Mn(Smax)일 때, G에 S◦max에 속하는 원소를 포함하는 사이클이 존재하거나 G에 짝수 사이클이 존재하면 det A = (per B)◦이며, 그렇지 않으면 det A = per B이다.
• A ∈ Mn(Smax)이고 모든 대각선 원소가 S◦max에 속할 경우, det A = (per B)◦이며, 이는 비자명한 부호가 있는 행렬식임을 나타낸다.
• 블록 행렬식 공식 det(A+ ⊖ A−) = det([A+ A−; I I])를 통해 Smax에서의 행렬식 계산을 Rmax 경우로 축소시켜 다항시간 계산이 가능하게 한다.
• 최적 이중 변수와 관련된 방향그래프 G에 사이클이 존재하면 다수의 최적 순열이 존재하며, 이는 토폴로지 행렬식이 특이함을 의미한다.