[논문 리뷰] Complex Matroids

Laura Anderson, Emanuele Delucchi|arXiv (Cornell University)|2010. 05. 19.

Advanced Graph Theory Research인용 수 1

한 줄 요약

이 논문은 실수 위의 방향성 있는 매트로이드와 유사하게 복소수 위에서의 선형 종속성에 대한 조합론적 프레임워크로 복소 매트로이드를 도입한다. 등가의 공리계를 수립하고, 복소벡터 공간 위의 C*-행동을 반영하는 표준 원운동을 도입하며, 이전 연구자들인 Below, Krummeck, Richter-Gebert, Delucchi가 연구한 바와 유사한 복소수적 행렬식의 해석체(phirotopes)와의 일치를 보이며, 방향성 있는 매트로이드 이론에서의 벡터 공리계와 유사한 공리계가 복소 매트로이드에 존재할 수 없음을 증명한다.

ABSTRACT

We explore a combinatorial theory of linear dependency in space, complex with foundations analogous to those for oriented matroids. We give multiple equivalent axiomatizations of matroids, showing that this theory captures properties of linear dependency, orthogonality, and determinants over C in much the same way that oriented matroids capture the same properties over R. In addition, our matroids come with a canonical circle action analogous to the action of C* on a vector space. Our phirotopes (analogues of determinants) are the same as those studied previously by Below, Krummeck, and Richter-Gebert and by Delucchi. We further show that matroids cannot have vector axioms analogous to those for oriented matroids.

연구 동기 및 목표

• 실수 위의 방향성 있는 매트로이드와 유사하게 복소수 위에서의 선형 종속성에 대한 조합론적 이론을 개발하는 것.
• C 위에서 종속성, 수직성, 행렬식 유사 구조를 모두 포괄하는 복소 매트로이드의 등가 공리계를 수립하는 것.
• 복소 매트로이드에 표준 원운동을 도입하여 복소벡터 공간 위의 C*-행동을 반영하는 것.
• 복소 매트로이드의 해석체가 이전에 Below, Krummeck, Richter-Gebert, Delucchi에 의해 연구된 것들과 일치함을 보이는 것.
• 복소 매트로이드가 방향성 있는 매트로이드 이론에서의 벡터 공리계와 유사한 공리계를 가질 수 없음을 증명하는 것.

제안 방법

• 조합론적 독립성과 수직성에 중점을 두어, 복소 매트로이드를 여러 등가의 공리 체계로 공식화하는 것.
• 복소벡터 공간 위의 C*행동을 반영하여 기저 집합 위에 표준 원운동을 도입하는 것.
• 기저 위에 복소수 값을 갖는 함수로 해석체를 정의하여 복소선형대수학에서의 행렬식과의 유사성을 부여하는 것.
• 복소수의 부호와 행렬식의 성질을 이용하여 각 공리계가 상호로 유도됨을 증명함으로써 공리계 간의 등가성을 확립하는 것.
• 대수적 조합론과 복소기하학의 결과를 적용하여 해석체의 구조와 원운동에 대한 불변성을 분석하는 것.
• 모순에 의한 증명을 통해 복소 매트로이드가 방향성 있는 매트로이드 이론에서의 벡터 공리계와 유사한 공리계를 가질 수 없음을 보이는 것.

실험 결과

연구 질문

• RQ1 R 위의 방향성 있는 매트로이드와 유사한 기초를 가진 복소수 위에서의 선형 종속성에 대한 조합론적 이론을 개발할 수 있는가?
• RQ2 복소 조합론적 프레임워크에서 수직성과 행렬식 유사 구조는 어떻게 기술할 수 있는가?
• RQ3 복소 매트로이드에서 원운동의 역할은 무엇이며, 복소벡터 공간 위의 C*-행동과 어떻게 관련이 있는가?
• RQ4 복소 매트로이드의 해석체는 Below, Krummeck, Richter-Gebert, Delucchi가 이전에 연구한 것들과 일치하는가?
• RQ5 복소 매트로이드에 대해 방향성 있는 매트로이드 이론에서의 벡터 공리계와 유사한 공리계를 정의할 수 있는가?

주요 결과

• 복소 매트로이드는 종속성, 수직성, 행렬식 유사 행동을 모두 포괄하는 여러 등가의 공리계를 통해 공식화되었다.
• 기저 집합 위에 복소벡터 공간 위의 C*-행동을 반영하는 표준 원운동이 정의되었다.
• 복소 매트로이드의 해석체가 이전에 Below, Krummeck, Richter-Gebert, Delucchi에 의해 연구된 것들과 일치함이 입증되었다.
• 이 이론은 복소 매트로이드가 방향성 있는 매트로이드 이론에서의 벡터 공리계를 수용할 수 없음을 보였다.
• 이 프레임워크는 R 위에서의 방향성 있는 매트로이드가 수행하는 바와 유사하게 복소수 위에서의 선형대수학의 조합론적 구조를 성공적으로 일반화하였다.
• 결과적으로 대수적 및 기하적 조합론과의 강력한 연결을 가진 일관되고 자립적인 복소 매트로이드 이론이 수립되었다.