[논문 리뷰] Representation of matroids

Massimiliano Lunelli, Antonio Laface|ArXiv.org|2002. 02. 27.

Polynomial and algebraic computation참고 문헌 3인용 수 133

한 줄 요약

이 논문은 다항식 아이디얼의 멤버십을 검사하기 위해 ℤ 위에서 확장된 그뢰브너 기저 알고리즘을 사용하여 대수적으로 닫힌 체 위에서 매트로이드의 표현 가능성을 판단하기 위한 必要하고 충분한 대수적 기준을 제시한다. 주요 기여는 매트로이드의 표현 가능성을 확인하기 위해 기저 다항식의 곱이 순환 다항식의 근기(radical)에 속하지 않는지를 확인하는 데로 귀착되는 결정 절차이다.

ABSTRACT

In this paper we give a necessary and sufficient criterion for representability of a matroid over an algebraic closed field. This leads to an algorithm, based on an extension of Groebner Bases, in order to decide if a given matroid is representable over such a field.

연구 동기 및 목표

• 특성에 관계없이 대수적으로 닫힌 체 위에서 매트로이드의 표현 가능성을 다루는 일반적인 알고리즘 기준을 개발하기 위해.
• 특성에 따라 표현 가능성이 달라지는 이론적 과제를 해결하기 위해, 특히 양의 특성을 가진 체에서의 문제를 다루기 위해.
• 보조 변수와 곱 제약 조건을 사용하여 아이디얼의 구조를 정교화함으로써 그뢰브너 기저 계산의 계산 복잡도를 완화하기 위해.
• 기본 테스트가 실패할 수 있는 유한 특성 체 위에서만 표현 가능한 매트로이드를 식별하기 위해.
• 이론적으로 타당하고 소수의 순서를 가진 매트로이드에 대해 계산적으로 적용 가능한 체계적인 표현 가능성 테스트 방법을 제공하기 위해.

제안 방법

• 매트로이드 표현 문제를 행렬 원소에 대응하는 변수들에 대한 다항식 방정식의 체계로 공식화하기 위해.
• 기저에 대응하는 r × r 소행렬의 행렬식으로 정의된 다항식 $P_i(\bar{x})$를 정의하기 위해.
• 크기 ≤ r인 순환에 대응하는 소행렬의 행렬식으로 정의된 다항식 $Q_j(\bar{x})$를 정의하고, 이를 통해 아이디얼 $I$를 생성하기 위해.
• 힐베르트의 닐젠츠 정리를 적용하여 표현 가능성을 확인하기 위해 $\prod P_i \notin \mathrm{Rad}(I)$ 여부를 검사하는 것으로 귀결시키기 위해.
• 기저 다항식의 전 곱을 직접 계산하는 것을 피하기 위해 보조 변수와 제약 조건 $1 - t \prod x_{i,j}$를 포함한 $\mathbb{Z}_p[\bar{x}, t]$ 위에서 확장된 그뢰브너 기저 알고리즘을 구현하기 위해.
• 유한 특성 체, 특히 $\mathbb{F}_2$와 $\mathbb{F}_4$를 포함한 체 위에서의 표현 가능성을 테스트하기 위해 $\mathbb{Z}_p$에서의 특성별 계산을 사용하기 위해.

실험 결과

연구 질문

• RQ1 대수적으로 닫힌 체 위에서 매트로이드가 표현 가능하기 위한 必要하고 충분한 대수적 조건은 무엇인가?
• RQ2 특성이 사전에 알려지지 않은 경우, 그뢰브너 기저 기법을 어떻게 확장하여 알려지지 않은 기초 체를 다룰 수 있는가?
• RQ3 모든 기저 다항식의 곱을 테스트하는 데 발생하는 계산 부담을 유지 보장하면서 피할 수 있는가?
• RQ4 어떤 매트로이드는 양의 특성 체 위에서만 표현 가능하며, 이러한 경우를 알고리즘적으로 어떻게 탐지할 수 있는가?
• RQ5 이 알고리즘이 비표현 가능한 매트로이드와 유한 체 위에서만 표현 가능한 매트로이드를 어느 정도로 정확히 구분할 수 있는가?

주요 결과

• 논문은 매트로이드가 대수적으로 닫힌 체 $k$ 위에서 표현 가능할 조건이 기저 행렬식 다항식의 곱이 순환 다항식의 근기 안에 있지 않을 때뿐이라고 규명하였다.
• 알고리즘은 416개의 랭크-4, 오더-8 매트로이드 중 44개의 비표현 가능한 매트로이드를 성공적으로 식별하였으며, 179,107개의 랭크-4, 오더-9 매트로이드 중 23,860개를 식별하였다.
• 오더 9, 랭크 3인 다섯 개의 매트로이드는 특성 0에서 알려진 표현이 없으며, 오직 유한 특성 체 위에서만 표현 가능하다고 밝혀졌다.
• 오더 9, 랭크 4 매트로이드들 중 1,254개는 $\mathbb{F}_4$ 또는 유사한 체에서의 표현 가능성을 시사하는 후보로 나타났다.
• 일부 매트로이드, 특히 예제 3.4에 기재된 매트로이드는 다항식 제약 조건이 모순되어 있어 치환 후에도 어떤 체에서의 해도 존재하지 않음을 알고리즘이 탐지하였다.
• 특성 4인 $\mathbb{F}_4$에서 $\epsilon^2 + \epsilon + 1 = 0$을 사용하여 랭크-4, 오더-9 매트로이드에 대해 표현을 명시적으로 구성함으로써 양의 특성에서의 표현 가능성을 확인하였다.