[논문 리뷰] Décomposition monomorphe des structures relationnelles et profil de classes héréditaires

Djamila Oudrar, Maurice Pouzet|arXiv (Cornell University)|2014. 09. 04.

semigroups and automata theory참고 문헌 11인용 수 5

한 줄 요약

이 논문은 유한 순서형 관계 구조의 유전적 계열의 프로파일 성장률을 분석하기 위한 구조적 도구로 단형 분해(monomorphic decomposition)를 도입한다. 이러한 계열이 유한한 단형 분해를 갖지 않으면서도 그 프로파일은 최소 지수함수적임을 증명하며, 이는 2006년 Balogh, Bollobás, 그리고 Morris의 순서형 그래프에 대한 결과와 일관되며, 프로파일 성장률 분류의 핵심 케이스를 해결한다.

ABSTRACT

We present a structural approach of some results about jumps in the behavior of the profile (alias generating function) of hereditary classes of finite structures. We start with the following notion due to N.Thiéry and the second author. A \emph{monomorphic decomposition} of a relational structure $R$ is a partition of its domain $V(R)$ into a family of sets $(V_x)_{x\in X}$ such that the restrictions of $R$ to two finite subsets $A$ and $A'$ of $V(R)$ are isomorphic provided that the traces $A\cap V_x$ and $A'\cap V_x$ have the same size for each $x\in X$. Let $\mathscr S_μ$ be the class of relational structures of signature $μ$ which do not have a finite monomorphic decomposition. We show that if a hereditary subclass $\mathscr D$ of $\mathscr S_μ$ is made of ordered relational structures then it contains a finite subset $\mathfrak A$ such that every member of $\mathscr D$ embeds some member of $\mathfrak A$. Furthermore, for each $R\in \mathfrak A$ the profile of the age $\mathcal A(R)$ of $R$ (made of finite substructures of $R$) is at least exponential. We deduce that if the profile of a hereditary class of finite ordered structures is not bounded by a polynomial then it is at least exponential. This result is a part of classification obtained by Balogh, Bollobás and Morris (2006) for ordered graphs. {\it To cite this article: Djamila Oudrar, Maurice Pouzet, C. R. Acad. Sci. Paris, Ser. I.}

연구 동기 및 목표

• 유한 관계 구조의 유전적 계열에서 프로파일 성장률의 점프의 구조적 근원을 이해하기 위해.
• 프로파일이 다항적으로 유계인지 또는 지수적으로 증가하는지를 결정하는 데 단형 분해가 수행하는 역할을 조사하기 위해.
• 특히 순서형 구조의 맥락에서 비다항 프로파일 성장률을 보이는 최소 유전적 계열을 특성화하기 위해.
• 유한 단형 분해의 부재와 순서형 관계 시스템에서의 지수함수적 프로파일 성장 간의 연결 고리를 확립하기 위해.
• 유한 서명을 가진 더 넓은 범주로 순서형 그래프에서의 구조적 통찰을 확장하기 위해.

제안 방법

• 관계 구조의 도메인을 부분집합들로 분할하는 방식으로 단형 분해를 정의하며, 이때 유한 부분구조의 동형 유형은 각 부분집합과의 교차 크기에만 의존한다.
• 유한 집합에 국한된 부분구조의 동형에 기반해 원소들 간의 k-동치 및 ≤k-동치 관계를 도입한다.
• Fraïssé의 정리를 활용해 최소 유전적 계열을 관계 구조의 연령(ages)으로 표현함으로써, 그 극한 구조를 통한 분석을 가능하게 한다.
• 무한한 단형 성분이 존재할 경우, 레이즈머 기반의 추론을 적용하여 등급이 제어된 무한 구성요소를 추출한다.
• 기존의 복원(reconstruction) 이론(예: Lopez, Ille)을 활용해 전체 단형 분해를 결정하는 데 필요한 k-동치 클래스의 수를 유계로 둔다.
• 특히 이진 및 순서형 설정에서 충분히 큰 크기의 구조에서는 ≤k-동치와 전체 단형 동치 간의 동치성이 성립함을 이용한다.

실험 결과

연구 질문

• RQ1 유한 순서형 관계 구조의 유전적 계열에서 프로파일이 다항적으로 유계인지 또는 어떤 다항식보다도 더 빠르게 증가하는지를 결정하는 구조적 조건은 무엇인가?
• RQ2 유한 단형 분해의 존재 또는 부재가 프로파일 성장률과 어떻게 관련되어 있는가?
• RQ3 비다항 프로파일 성장률을 보이는 최소 유전적 계열은 그 연령과 단형 분해 성질을 통해 특성화될 수 있는가?
• RQ4 순서형 관계 구조에서 프로파일 성장률이 다항에서 지수로 전이되는 정확한 임계점은 무엇인가?
• RQ5 기존의 순서형 그래프에 대한 결과들이 유한 서명을 가진 더 일반적인 순서형 관계 구조 계열로 어느 정도까지 확장 가능한가?

주요 결과

• 유한 순서형 관계 구조의 유전적 계열이 다항식으로 유계인 프로파일을 갖는 것은, 그 계열에 속한 모든 구조가 유한한 단형 분해를 갖는 것과 동치이다.
• 유한 순서형 관계 구조의 유전적 계열이 유한한 단형 분해를 갖지 않으면, 그 프로파일은 최소 지수함수적이다.
• 비다항 프로파일 성장을 보이는 최소 유전적 계열에 속한 임의의 구조 R에 대해, R의 연령은 최소 지수함수적 프로파일을 갖는다.
• 유한한 단형 분해의 부재는 점점 더 복잡한 동치 행동을 보이는 무한한 원소 집합의 존재를 암시하며, 이는 지수함수적 프로파일 성장으로 이어진다.
• 순서형 구조에서는 관계의 애리티에 따라 정해지는 유한한 k에 대해 ≤k-동치가 전체 단형 동치를 완전히 결정하며, 특히 이진 관계의 경우 k=2로 충분하다.
• 지수함수적 프로파일 성장을 보이는 최소 계열은 정확히 연령이 무한한 단형 성분을 가진 구조의 연령인 경우이며, 이러한 구조는 최소 지수함수적 프로파일을 갖는 유한 부분구조를 포함해야 한다.