[논문 리뷰] Profile classes and partial well-order for permutations

Maximillian M. Murphy, Vincent Vatter|ArXiv.org|2003. 10. 20.

Advanced Combinatorial Mathematics참고 문헌 6인용 수 6

한 줄 요약

이 논문은 제한된 순열 클래스의 일반화로 0/±1 행렬의 프로파일 클래스를 도입하며, 이러한 클래스가 부분적으로 잘 순서지워져 있는지 여부를 결정하는 조건으로서 관련 그래프가 산림임을 규명한다. 주요 기여는 그래프 구조에 기반한 부분적 잘 순서지움의 특성화와, 주기성을 띠지 않는 기발한 기본 반쇄를 구성한 것으로, 순열 패턴에서의 무한 반쇄에 대한 이해를 심화시킨다.

ABSTRACT

It is known that the set of permutations, under the pattern containment ordering, is not a partial well-order. Characterizing the partially well-ordered closed sets (equivalently: down sets or ideals) in this poset remains a wide-open problem. Given a 0/+-1 matrix M, we define a closed set of permutations called the profile class of M. These sets are generalizations of sets considered by Atkinson, Murphy, and Ruskuc. We show that the profile class of M is partially well-ordered if and only if a related graph is a forest. Related to the antichains we construct to prove one of the directions of this result, we construct exotic fundamental antichains, which lack the periodicity exhibited by all previously known fundamental antichains of permutations.

연구 동기 및 목표

• Atkinson, Murphy, Ruškuc의 이전 연구를 확장하여 0/±1 벡터에서 0/±1 행렬으로 프로파일 클래스의 개념을 일반화한다.
• 프로파일 클래스가 부분적으로 잘 순서지워져 있는 데 필요한 필수 조건과 충분 조건을 규명한다.
• 기존에 알려진 예시들과는 달리 주기성을 띠지 않는 새로운 유형의 무한 반쇄—기발한 기본 반쇄—를 구성한다.
• 행렬의 구조적 성질과 그에 대응하는 순열 클래스의 순서론적 행동 간의 상호작용을 탐구한다.
• 기존의 단순 순열과 강한 완비화 결과를 보완하는 프레임워크를 제공한다.

제안 방법

• 프로파일 클래스를 정의한다. 0/±1 행렬의 강한 완비화된 지지 구조에 포함된 행렬을 갖는 순열의 집합으로 정의한다.
• 각 0/±1 행렬에 대해 비어 있지 않은 원소를 행과 열 사이의 이분 그래프의 간선으로 간주하여 그래프를 연결한다.
• 유한 수열의 잘 순서지움에 관한 Higman의 정리를 활용하여 순열 내의 부분수열 포함 관계를 분석한다.
• 단순 순열의 구조 정리(정리 6.2)를 적용하여 간격의 구조가 부분적 잘 순서지움에 미치는 영향을 분석한다.
• 산림이 아닌 그래프에서 유도된 비주기적 구성 요소를 이용해 기발한 반쇄를 구성함으로써, 산림이 아닌 그래프가 무한 반쇄를 유도함을 보여준다.
• 폐쇄성과 강한 완비화 연산을 활용하여 프로파일 클래스를 층상 및 분리 가능한 순열과 같은 기존의 부분적으로 잘 순서지워진 집합들과 연결한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 0/±1 행렬의 관련 프로파일 클래스가 부분적으로 잘 순서지워져 있는가?
• RQ2 부분적으로 잘 순서지워져 있지 않은 프로파일 클래스에서 비주기적이고 기발한 기본 반쇄를 구성할 수 있는가?
• RQ3 0/±1 행렬의 그래프 이론적 구조(특히 산림 여부)는 그 프로파일 클래스의 잘 순서지움과 어떻게 관련되어 있는가?
• RQ4 기존의 단순 순열 및 강한 완비화 결과는 프로파일 클래스에서 부분적 잘 순서지움의 전체 범위를 포괄하지 못하는 정도는 어느 정도인가?
• RQ5 단순 순열 기준과 프로파일 클래스 기준을 모두 일반화하는 통합 프레임워크가 존재하는가?

주요 결과

• 0/±1 행렬의 프로파일 클래스는 그 관련 이분 그래프가 산림일 때에만 부분적으로 잘 순서지워진다.
• 기발한 기본 반쇄—비주기적인 반쇄—의 구성은, 모든 기본 반쇄가 주기성을 띠는 것은 아님을 입증한다.
• 행렬 $\begin{smallmatrix}1\\1\end{smallmatrix}$의 프로파일 클래스는 무한히 많은 단순 순열을 포함하고 있음에도 불구하고 부분적으로 잘 순서지워져 있음을 보여주며, 이는 유한한 단순 순열 수에 기반한 정리 6.1이 적용되지 않음을 시사한다.
• 단순 순열만으로 이루어진 증가 진동 수열의 폐쇄와 같이, 코로나리 3.4로는 포괄되지 않는 부분적으로 잘 순서지워진 닫힌 순열 집합이 존재한다.
• 부분적으로 잘 순서지워진 순열 집합의 강한 완비화 역시 부분적으로 잘 순서지워지며, 이는 부분적 잘 순서지움이 합성 연산에 대해 강건함을 확인한다.
• 프로파일 클래스 프레임워크는 기존의 단순 순열 또는 강한 완비화 기반 결과에 의해 흡수되지 않는 새로운 독립적인 부분적 잘 순서지움 기준을 제공한다.