[논문 리뷰] A catalogue of small regular matroids and their Tutte polynomials

Harald Fripertinger, Marcel Wild|arXiv (Cornell University)|2011. 07. 07.

Advanced Graph Theory Research참고 문헌 4인용 수 3

한 줄 요약

이 논문은 크기가 $ n \leq 15 $인 모든 비이sov모르픽 단순 연결 정규 매트로이드의 체계적인 목록을 제시한다. 이 목록은 이sov모르피즘 감소를 통해 이진 행렬 표현으로 생성되고, 패러미터로 Fano 매트로이드 또는 그 쌍대 매트로이드와 이sov모르픽인 소수를 기반으로 걸러낸다. 모든 이러한 매트로이드의 Tutte 다항식은 내부 및 외부 기반 활성도를 기반으로 하는 새로운 알고리즘을 사용하여 계산되었으며, Mathematica 호환 데이터 파일을 포함한 완전하고 공개 가능한 자료로서 제공된다.

ABSTRACT

A catalogue of all non-isomorphic simple connected regular matroids ${\cal M}$ of cardinality $n \leq 15$ is provided on the net. These matroids are given as binary matrix matroids and are sieved from the large pool of all non-isomorphic binary matrix matroids of cardinality $\leq 15$. For each ${\cal M}$ its Tutte polynomial is determined by an algorithm based on internal and external base activity.

연구 동기 및 목표

• 크기 $ n \leq 15 $인 모든 비이sov모르픽 단순 연결 정규 매트로이드의 완전하고 중복 없는 목록을 생성하는 것.
• 내부 및 외부 기반 활성도를 기반으로 한 효율적인 알고리즘을 사용해 각 매트로이드의 Tutte 다항식을 계산하는 것.
• 매트로이드 이론과 조합론에서 사용할 수 있도록 이러한 매트로이드와 그 불변량의 공개 가능하고 표준화된 데이터베이스를 제공하는 것.
• 정규성은 이중성에 대해 유지되므로, 이중성을 활용하여 랭크 $ k \geq 8 $인 매트로이드로 분류를 확장하는 것.
• 이sov모르피즘을 신속하게 식별할 수 있도록 사전순으로 가장 작은 대표자를 표준 형식으로 사용하는 것.

제안 방법

• 크기 $ n \leq 15 $ 및 랭크 $ k \leq 7 $인 모든 비이sov모르픽 이진 매트로이드를 $ GF(2)^k $ 내의 벡터 다중집합을 고려하여 $ GL_k(2) \times S_n $의 작용에 대해 고려함으로써 생성한다.
• 두 이진 매트로이드가 이sov모르픽임은 $ GL_k(2) $ 내의 행 연산과 $ S_n $ 내의 열 순열을 통해 한 행렬 표현이 다른 것으로 변환될 수 있을 때 성립한다.
• 정리 1 적용: 이진 매트로이드가 정규이기 위한 조건은 랭크 $ k-3 $ 또는 $ k-4 $의 평면이 각각 $ F_7 $ 또는 $ F_7^d $와 이sov모르픽인 소수를 유도하지 않을 때이다.
• 각 후보 매트로이드에 대해 이러한 평면을 모두 테스트하여 비정규 매트로이드를 걸러낸다.
• 내부 및 외부 기반 활성도를 기반으로 하는 새로운 알고리즘을 사용해 Tutte 다항식을 계산한다. 이 알고리즘은 기반과 코기반을 체계적으로 열거하여 다항식을 평가한다.
• 이중성을 사용해 랭크 $ k \geq 8 $인 매트로이드로 목록을 확장한다. 정규 매트로이드의 이중은 정규이며, 이sov모르픽 매트로이드는 이sov모르픽 이중을 갖는다.

실험 결과

연구 질문

• RQ1 크기 $ n \leq 15 $인 모든 비이sov모르픽 단순 연결 정규 매트로이드의 완전한 집합은 무엇인가?
• RQ2 기반 활성도를 기반으로 정규 매트로이드의 Tutte 다항식을 효율적으로 계산하는 방법은 무엇인가?
• RQ3 크기 $ n = 15 $ 이하에서 정규 매트로이드가 크기와 랭크에 따라 어떻게 분포되어 있는가?
• RQ4 이sov모르피즘 클래스가 사전순으로 가장 작은 행렬 대표자로 유일하게 결정될 수 있는가?
• RQ5 금지된 소수를 사용해 이진 매트로이드의 정규성을 알고리즘적으로 검증할 수 있는가?

주요 결과

• 저자들은 크기 $ n \leq 15 $인 1,035개의 비이sov모르픽 단순 연결 정규 매트로이드의 완전한 목록을 편성하였으며, 모든 매트로이드는 표준 사전순으로 가장 작은 행렬 대표자로 표현되었다.
• Tutte 다항식은 활성도 기반 알고리즘을 사용해 모든 1,035개의 정규 매트로이드에 대해 성공적으로 계산되었으며, 결과는 Mathematica 노트북 형식으로 제공된다.
• 금지된 소수인 $ F_7 $ 및 $ F_7^d $를 통한 걸러내기 방법은 크기 $ \leq 15 $인 이진 매트로이드 중에서 정규 매트로이드를 식별하는 데 효과적이었다.
• 이중성의 활용으로 랭크 $ k \geq 8 $인 매트로이드로 목록을 확장하여 $ n \leq 15 $인 모든 랭크에서 완전성을 확보하였다.
• 목록에는 8개의 원소를 가진 랭크 5 다각형 매트로이드에 대해 28개의 기반이 포함되어 있어, 이 방법이 비정상적인 매트로이드 구조를 다룰 수 있음을 보여준다.
• 모든 데이터셋, 매트로이드 대표자 및 Tutte 다항식은 http://www.uni-graz.at/~fripert/html/matroids/matroide_neu.html 에서 공개적으로 이용 가능하다.