[논문 리뷰] Strong Splitter Theorem

S. R. Kingan, Manoel Lemos|2012. 01. 21.

graph theory and CDMA systems참고 문헌 4인용 수 4

한 줄 요약

이 논문은 매트로이드 이론에서 고전적 스플리터 정리의 개선판인 강력한 스플리터 정리를 소개한다. 이 정리는 3-연결된 매트로이드 $M$를 소수 $N$ 로부터 3-연결된 단일 원소 확장 또는 코확장의 순서로 구성할 수 있으며, 연속된 확장은 최대 두 번까지 허용되며 이후에 반드시 코확장을 따라야 한다는 보장을 한다. 주요 기여는 구조적 제약 조건으로, 두 개의 확장 뒤에 코확장이 오는 경우, 이 세 원소는 결과 매트로이드에서 트라이드를 이룬다는 것이다. 이 결과는 $E_5$-소수를 가지지만 $E_4$-소수를 가지지 않는 이분 이almost-regular 매트로이드의 완전한 분류를 가능하게 하며, 이들은 $E_5$, $B$, $B^*$, $X_{12}$, 또는 $S_{3n+1}$, $ olimits\mathcal{F}_1$, 또는 $ olimits\mathcal{F}_2$의 제한된 형태와 동형임을 보여준다. 이 정리는 매트로이드 소수와 정규성 성질의 분석을 강화한다.

ABSTRACT

The Splitter Theorem states that, if $N$ is a 3-connected proper minor of a 3-connected matroid $M$ such that, if $N$ is a wheel or whirl then $M$ has no larger wheel or whirl, respectively, then there is a sequence $M_0,..., M_n$ of 3-connected matroids with $M_0\cong N$, $M_n=M$ and for $i\in \{1,..., n\}$, $M_i$ is a single-element extension or coextension of $M_{i-1}$. Observe that there is no condition on how many extensions may occur before a coextension must occur. In this paper, we give a strengthening of the Splitter Theorem, as a result of which we can obtain, up to isomorphism, $M$ starting with $N$ and at each step doing a 3-connected single-element extension or coextension, such that at most two consecutive single-element extensions occur in the sequence (unless the rank of the matroids involved are $r(M)$). Moreover, if two consecutive single-element extensions by elements $\{e, f\}$ are followed by a coextension by element $g$, then $\{e, f, g\}$ form a triad in the resulting matroid. Using the Strong Splitter Theorem, we make progress toward the problem of determining the almost-regular matroids [6, 15.9.8]. {\it Find all 3-connected non-regular matroids such that, for all $e$, either $M\backslash e$ or $M/e$ is regular.} In [4] we determined the binary almost-regular matroids with at least one regular element (an element such that both $M\backslash e$ and $M/e$ is regular) by characterizing the class of binary almost-regular matroids with no minor isomorphic to one particular matroid that we called $E_5$. As a consequence of the Strong Splitter Theorem we can determine the class of binary matroids with an $E_5$-minor, but no $E_4$-minor.

연구 동기 및 목표

• 고전적 스플리터 정리를 단일 원소 확장 및 코확장의 순서에 대한 구조적 제약 조건을 도입하여 강화함으로써, 소수에서 3-연결 매트로이드를 구성하는 과정을 제어하는 것.
• 이분 이almost-regular 매트로이드 중 $E_5$-소수를 가지지만 $E_4$-소수를 가지지 않는 매트로이드를 분류함으로써, 매트로이드 정규성 이론의 문제를 해결하는 것.
• 이러한 매트로이드의 완전한 집합을 특정한 알려진 클래스 또는 소수 예외 케이스로 제한함을 보여주는 것.
• $M_{12}$ 가 $E_5$-소수를 가지지만 $E_4$-소수를 가지지 않는 이분 매트로이드의 클래스에 대해 스플리터임을 새로운 구조적 제약 조건을 사용하여 증명하는 것.

제안 방법

• 단일 원소 확장의 순서를 최대 두 번의 연속된 확장 이후에 코확장을 요구하는 방식으로 개선된 스플리터 정리의 버전을 개발하는 것.
• 트라이드 조건 도입: 두 확장 뒤에 코확장이 오는 경우, 관련된 세 원소는 결과 매트로이드에서 트라이드를 이룬다.
• 강력한 스플리터 정리를 사용하여 $E_5$ 의 단일 원소 확장 및 코확장을 분석하고, $E_4$-소수를 포함하지 않는 매트로이드로 제한하는 것.
• 행과 열의 연산을 사용하여 $E_5$ 의 행렬 표현에 열을 추가하는 방식으로 이러한 확장 및 코확장을 분석하고 분류하는 것.
• $E_5$-소수를 가지지만 $E_4$-소수를 가지지 않는 3-연결 이분 매트로이드는 $E_5$, $B$, $B^*$, $X_{12}$, 또는 $S_{3n+1}$, $\mathcal{F}_1$, 또는 $\mathcal{F}_2$ 의 제한된 형태 뿐임을 증명하는 것.
• $M_{12}$ 이후에 더 이상 $E_4$-소수를 도입하지 않고도 코확장을 수행할 수 없음을 확인하여 $M_{12}$ 가 스플리터임을 확인하는 것.

실험 결과

연구 질문

• RQ1 고전적 스플리터 정리는 연속된 확장의 수를 제어할 수 있는가?
• RQ2 3-연결 이분 이almost-regular 매트로이드 중 $E_5$-소수를 가지지만 $E_4$-소수를 가지지 않는 매트로이드의 완전한 집합은 무엇인가?
• RQ3 $M_{12}$ 는 $E_5$-소수를 가지지만 $E_4$-소수를 가지지 않는 이분 매트로이드의 클래스에 대해 스플리터인가?
• RQ4 3-연결 매트로이드 순서에서 두 개의 연속된 확장 뒤에 코확장이 오는 경우 발생하는 구조적 제약 조건은 무엇인가?
• RQ5 3-연결 제한된 형태로 나타나는 $S_{3n+1}$, $\mathcal{F}_1$, 또는 $\mathcal{F}_2$ 에서 어떤 매트로이드가 거의 정규성과 소수 회피 조건을 만족하는가?

주요 결과

• 강력한 스플리터 정리는 임의의 3-연결 매트로이드 $M$ 가 소수 $N$ 로부터 3-연결 단일 원소 확장 또는 코확장의 순서로 구성될 수 있으며, 연속된 확장은 최대 두 번까지 허용되며 이후 반드시 코확장을 따라야 한다는 보장을 한다.
• 두 개의 연속된 확장 뒤에 코확장이 오는 경우, 이 세 원소는 결과 매트로이드에서 트라이드를 이룬다.
• $E_5$-소수를 가지지만 $E_4$-소수를 가지지 않는 유일한 3-연결 이분 매트로이드는 $E_5$, $B$, $B^*$, $X_{12}$, 또는 $S_{3n+1}$, $\mathcal{F}_1$, 또는 $\mathcal{F}_2$ 의 제한된 형태 뿐이며, 이때 $n \geq 3$, $m,n,r \geq 1$ 이다.
• $M_{12}$ 는 $E_5$-소수를 가지지만 $E_4$-소수를 가지지 않는 이분 매트로이드의 클래스에 대해 스플리터이며, $E_4$-소수를 도입하지 않고서는 더 이상 코확장을 수행할 수 없기 때문이다.
• $E_5$-소수를 가지지만 $E_4$-소수를 가지지 않는 3-연결 이분 이almost-regular 매트로이드는 $E_5$, $B$, $B^*$, $X_{12}$, 또는 지정된 가족 이외에는 존재하지 않으며, 이는 분류가 완전히 확인됨을 의미한다.
• $E_4$-소수를 가지는 매트로이드 $H$ 는 $E_5$-소수를 가지지만 예외 케이스를 제외한 모든 거의 정규 매트로이드의 필수 소수이며, 이는 이러한 확장에서 $H$-소수의 존재가 피할 수 없다는 것을 의미한다.