[논문 리뷰] Representing some non-representable matroids

Rudi Pendavingh, Stefan H. M. van Zwam|TU/e Research Portal (Eindhoven University of Technology)|2011. 06. 15.

Advanced Topics in Algebra참고 문헌 24인용 수 6

한 줄 요약

이 논문은 비가환 구조(예: 허수)를 갖는 비표준 매트로이드를 표현할 수 있도록 부분체를 일반화한 비대칭 부분체를 도입한다. 이는 투트의 체인 군 프레임워크를 비대칭 부분체로 확장하고, 허수 단위 매트로이드에 대한 일반화된 행렬의 나무 정리(Generalized Matrix Tree Theorem)를 증명하며, 체 위의 다중선형 표현이 가역 행렬의 비대칭 부분체 위의 표현과 대응됨을 보여준다.

ABSTRACT

We extend the notion of representation of a matroid to algebraic structures that we call skew partial fields. Our definition of such representations extends Tutte's definition, using chain groups. We show how such representations behave under duality and minors, we extend Tutte's representability criterion to this new class, and we study the generator matrices of the chain groups. An example shows that the class of matroids representable over a skew partial field properly contains the class of matroids representable over a skew field. Next, we show that every multilinear representation of a matroid can be seen as a representation over a skew partial field. Finally we study a class of matroids called quaternionic unimodular. We prove a generalization of the Matrix Tree theorem for this class.

연구 동기 및 목표

• 비가환 체를 초월해 매트로이드의 표현 이론을 확장하기 위해 비대칭 부분체를 도입함으로써, 어떤 비가환 체에서도 표현되지 않는 매트로이드를 표현할 수 있도록 한다.
• 투트의 체인 군 접근법을 비가환 대수로 일반화하여 행렬식에 의존하지 않고 비가환 링 위에서도 표현이 가능하도록 한다.
• 체 위의 매트로이드에 대한 다중선형 표현과 비가환 행렬의 비대칭 부분체 위의 표현 간의 대응 관계를 확립한다.
• 허수 단위 매트로이드의 클래스에 대해 일반화된 행렬의 나무 정리를 증명하여, 카우치-바인트 유사 공식을 통해 기저 수를 세는 것을 가능하게 한다.
• 특히 허수 단위 비대칭 부분체를 포함한 비대칭 부분체 위에서 표현 가능한 매트로이드의 구조적 및 알고리즘적 성질을 조사한다.

제안 방법

• 비가환 링 R과 R×의 곱셈부분군 G로 이루어진 쌍 (R, G)을 비대칭 부분체로 정의하며, 이는 가환 부분체를 일반화한다.
• 비대칭 부분체 위의 체인 군을 사용하여 매트로이드 표현을 정의하고, 투트의 체인 군 프레임워크를 비가환 환경으로 일반화한다.
• 체인 군 성질과 일반화된 행렬식 유사 함수 δ를 이용하여 비대칭 부분체 위의 표현에 대한 이중성 및 소수 성질을 확립한다.
• 모든 체 F 위의 매트로이드에 대한 다중선형 표현은 F 위의 n×n 가역 행렬 집합의 비대칭 부분체 (M(n,F), ⟨GL(n,F) ∩ det⁻¹({±1})⟩) 위의 표현으로 일대일 대응됨을 증명한다.
• 제6근의 단위와 정규 부분체를 일반화한 허수 단위 비대칭 부분체 (QU)를 정의하며, 기본 원소들이 연속적인 허수 집합을 이룬다.
• QU 비대칭 부분체 위의 행렬에 대해 일반화된 카우치-바인트 공식을 증명하여, δ(AA†) = ∑_B δ(A[X,B]A[X,B]†)를 통해 기저 수를 계산할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 비가환 대수적 구조를 사용하여 비가환 체를 초월해 매트로이드 표현을 확장할 수 있는가? 이 구조는 조합적 정합성을 유지하는가?
• RQ2 모든 체 F 위의 매트로이드에 대한 다중선형 표현은 F 위의 가역 행렬의 비대칭 부분체 위의 표현으로 대응되는가?
• RQ3 허수 단위 비대칭 부분체 위에서 표현 가능한 매트로이드에 대해 일반화된 행렬의 나무 정리를 확립할 수 있는가?
• RQ4 허수 단위 비대칭 부분체의 기본 원소 집합은 유한한가? 그리고 모든 QU 매트로이드는 이러한 원소들의 유한 부분집합으로 표현 가능한가?
• RQ5 비가환 링으로 일반화된 행렬식 유사 함수 δ는 카우치-바인트 항등식을 유지하면서 매트로이드의 기저 수를 세는 데 사용될 수 있는가?

주요 결과

• 비대칭 부분체 위에서 표현 가능한 매트로이드의 클래스는 비가환 체 위에서 표현 가능한 매트로이드의 클래스를 진하게 포함하며, 3.5절의 구체적 예시로 이를 입증하였다.
• 모든 체 F 위의 매트로이드에 대한 다중선형 표현은 (M(n,F), ⟨GL(n,F) ∩ det⁻¹({±1})⟩) 비대칭 부분체 위의 표현과 일대일 대응되며, 깊은 대수적 연관성이 존재한다.
• 허수 단위 비대칭 부분체의 경우, 기본 원소 집합은 무한하며 실수부가 1/2이고 노름이 1인 허수로 이루어져 있으며, 이는 가환 부분체의 유한 기본 집합을 일반화한다.
• QU 매트로이드에 대해 일반화된 행렬의 나무 정리가 성립한다: δ(AA†) = ∑_B δ(A[X,B]A[X,B]†), 여기서 δ는 행렬식 유사 함수이며, 카우치-바인트 유사 항등식을 통해 기저 수를 세는 데 기여한다.
• 일반화된 행렬의 나무 정리의 증명은 AA†의 모든 비영원소가 가역임에 기반하며, 이 성질은 비가환 체에서는 성립하지만 일반 비대칭 부분체로 확장할 때 주의가 필요하다.
• 2-균일 매트로이드가 QU 매트로이드의 클래스에 포함되는지에 대한 추측은 아직 미해결이지만, 이 추측이 참이라면 2-균일 매트로이드의 기저 수를 다항시간 내에 세는 알고리즘이 존재하게 된다.