[논문 리뷰] Pattern Recognition on Oriented Matroids: Layers of Tope Committees

Andrey O. Matveev|ArXiv.org|2006. 12. 13.

Advanced Combinatorial Mathematics참고 문헌 19인용 수 9

한 줄 요약

이 논문은 단순한 방향성 있는 매트로이드에서 tope 위원회를 사용한 패턴 인식을 위한 조합적 프레임워크를 제안한다. 여기서 위원회는 각 양의 반공간에 그 구성원의 절반 이상이 포함되는 최대 코벡터(토페)의 부분집합이다. 주요 기여는 부울 레이스와 크로스폴리토포지티브 순서집합에서 유도된 파레이 부분수열과 연관 체계를 사용한 이러한 위원회의 구조적 특성화이며, 특히 부울 레이스의 $m$번째 층이 파레이 수열 $ olimits\mathcal{F}(\mathbb{B}(2m), m)$과 연결됨을 밝힌다.

ABSTRACT

A tope committee K* for a simple oriented matroid M is a subset of its maximal covectors such that every positive halfspace of M contains more than half of the covectors from K*. The structures of the family of all committees for M, and of the family of its committees that contain no pairs of opposites, are described. A Farey subsequence associated with the elements of the m-th layer of the Boolean lattice of rank 2m is explored.

연구 동기 및 목표

• 단순하고 비순환적인 방향성 있는 매트로이드에 대한 모든 토페 위원회의 가족을 특성화하기 위해.
• 대칭 토페 쌍을 포함하지 않는 토페 위원회의 부분가족을 기술하기 위해.
• 이러한 위원회의 조합적 구조와 특정 파레이 수열의 부분수열 사이의 연결 고리를 설정하기 위해.
• 크로스폴리토포지티브의 면 레이스에서 유도된 연관 체계를 사용하여 위원회 구조를 모델링하기 위해.
• 방향성 있는 매트로이드에서의 패턴 인식과 랭크 $2m$인 부울 레이스의 $m$번째 층 사이의 공식적 연결 고리를 제공하기 위해.

제안 방법

• 모든 최대 코벡터의 부분집합인 토페 위원회 $\mathcal{K}^* \subset \mathcal{T}$를 정의하며, 모든 $e \in E_t$에 대해 $|\mathcal{K}^* \cap \mathcal{T}_e^+| > |\mathcal{K}^*|/2$를 만족시킨다.
• 대칭 쌍을 포함하지 않는 $\pm[1,m]$의 부분집합들로 이루어진 순서집합 $\mathbf{O}(m)$를 포함관계로 순서를 정하고 최대 원소 $\hat{1}$을 추가하여 위원회 구조를 모델링한다.
• $\boldsymbol{X} = \mathbf{O}(m)^{(d)}$ 위에 순서집합 $\boldsymbol{\mathcal{R}} = (\boldsymbol{R}_0, \dots, \boldsymbol{R}_d)$를 정의하며, $\partial(x,y) = d - \rho(x \wedge y)$인 랭크 차이를 기반으로 한다.
• $\boldsymbol{X} = \{-1,1\}^m$ 위에 해밍 거리를 세는 관계 $\boldsymbol{R}_i$를 갖는 연관 체계 $\mathbf{H}(m,2)$를 정의하고, 이 체계의 매개변수가 $m$-큐브와 일치함을 보인다.
• 부울 레이스 $\mathbb{B}(|\mathcal{T}|)$의 $\frac{|\mathcal{T}|}{2}$-층을 파레이 부분수열 $\mathcal{F}(\mathbb{B}(2m), m)$과 연결하며, 이는 표준 파레이 수열의 성질을 이어받는다.
• 대칭 토페 쌍을 포함하지 않는 위원회의 가족은 파라미터가 $\frac{|\mathcal{T}|}{2}$-큐브 $\mathbf{H}(\frac{|\mathcal{T}|}{2}, 2)$인 연관 체계에서 $\frac{1}{2}$-차단 원소의 순서집합 $\mathbf{I}_{1/2}(\mathbf{O}'(\mathcal{T}), \Upsilon)$와 순서동형임을 증명한다.

실험 결과

연구 질문

• RQ1 단순한 방향성 있는 매트로이드에서 모든 토페 위원회의 가족은 어떻게 구조적으로 특성화될 수 있는가?
• RQ2 대칭 토페 쌍을 포함하지 않는 토페 위원회의 부분가족의 조합적 성격은 무엇인가?
• RQ3 부울 레이스 $\mathbb{B}(2m)$의 $m$번째 층은 파레이 부분수열 $\mathcal{F}(\mathbb{B}(2m), m)$과 어떻게 관련이 있는가?
• RQ4 특히 해밍 체계 $\mathbf{H}(m,2)$를 포함한 연관 체계는 토페 위원회를 모델링하는 데 어떤 역할을 하는가?
• RQ5 크로스폴리토포지티브의 면 레이스 $\mathbf{O}(m)$의 구조는 방향성 있는 매트로이드에서의 패턴 인식에서의 위원회 결정 규칙과 어떻게 관련이 있는가?

주요 결과

• 단순하고 비순환적인 방향성 있는 매트로이드 $\mathcal{M}$에 대한 모든 토페 위원회 $\mathbf{K}^*(\mathcal{M})$의 가족은 비어 있지 않으며, 파레이 부분수열을 통해 구조적으로 특성화된다.
• 대칭 쌍을 포함하지 않는 위원회의 부분가족 $\overset{\circ}{\mathbf{K}}{}^*(\mathcal{M})$은 파라미터가 $\frac{1}{2}$-큐브 $\mathbf{H}(\frac{|\mathcal{T}|}{2}, 2)$인 연관 체계에서의 $\frac{1}{2}$-차단 원소의 순서집합 $\mathbf{I}_{1/2}(\mathbf{O}'(\mathcal{T}), \Upsilon)$와 순서동형이다.
• 부울 레이스 $\mathbb{B}(2m)$의 $m$번째 층은 표준 파레이 수열 $\mathcal{F}_n$으로부터 조합적이고 집합론적인 성질을 이어받는 파레이 부분수열 $\mathcal{F}(\mathbb{B}(2m), m)$을 유도한다.
• 순서집합 $\mathbf{O}(\mathcal{T})$의 $\frac{|\mathcal{T}|}{2}$-층 위의 연관 체계 매개변수는 해밍 체계 $\mathbf{H}(\frac{|\mathcal{T}|}{2}, 2)$의 것과 일치하며, $i+j+k$ 가 짝수일 때 교차 수는 $\mathtt{p}_{ij}^k = \binom{m-k}{(i+j-k)/2}\binom{k}{(i-j+k)/2}$이다.
• $\pm[1,m]$의 $d$-부분집합 $V$ 중에서 $s \in V \Rightarrow -s \not\in V$ 를 만족하는 수는 $\binom{m}{d}2^d$이며, 이는 $\mathbf{O}(m)$의 두 번째 종류의 $d$번째 위트니 수를 제공한다.
• $\boldsymbol{X} = \mathbf{O}(m)^{(d)}$의 임의의 $x$에 대해 $\partial(z,x) = i$인 원소 $z$의 수는 $\mathtt{n}_i = \binom{d}{i} \sum_{c=0}^i \binom{i}{c} \binom{m-d}{c} 2^c$이다.