[논문 리뷰] Sur l'énumération de structures discrètes, une approche par la théorie des relations

Djamila Oudrar|arXiv (Cornell University)|2016. 04. 20.

semigroups and automata theory인용 수 5

한 줄 요약

이 논문은 순서 3과 4의 이산 분리 가능한 구조를 열거하기 위한 관계 이론적 접근을 개발하며, 이진 관계 구조의 계열에 대한 닫힌 형태의 생성 함수를 유도한다. 생성 함수 $ S_k $ 에 대해 이차 함수 방정식을 수립하여, $ S_k $ 가 $ (4^k - 1)S_k^2 + (2^k x - 1)S_k + 2^k x = 0 $ 를 만족함을 증명하며, 명시적 해를 통해 정확한 개수를 도출한다: 각각 순서 1에서 4까지의 개수는 2, 16, 224, 3904이다.

ABSTRACT

Theory of relations is the framework of this thesis. It is about enumeration of finite structures. Let $\mathscr C$ be a class of finite combinatorial structures, the \emph{profile} of $\mathscr C$ is the function $φ_{\mathscr C}$ which count, for every $n$, the number of members of $\mathscr{C}$ defined on $n$ elements, isomorphic structures been identified. The generating function for $\mathscr C$ is $\mathcal H_{\mathscr C}(X):=\sum_{n\geqq 0}φ_{\mathscr C}(n)X^n$. Many results about the behavior of the function $φ_{\mathscr C}$ have been obtained. Albert and Atkinson have shown that the generating series of the profile of some classes of permutations are algebraic. we show how this result extends to classes of ordered binary structures using the notions of theory of relations. This is the subject of the first part of this thesis. The second part is concerned with the notion of minimality. An hereditary class of finite structures is minimal if it is infinite and every proper hereditary subclass is finite. We show, in particular, that ind-minimal classes are wqo ages and their number is the continuum. The last part is motivated by the surprising phenomenon of the \emph{jump} observed in the behavior of the profile of hereditary classes of finite structures. We show that the profile of an hereditary classe made of ordered structures which have finite monomorphic decomposition is a polynomial. We also show that if the profile of a hereditary class of finite ordered binary structures is not bounded by a polynomial then it is at least exponential. This result generalizes the result obtained by Balogh, Bollobás and Morris (2006) for ordered graphs.

연구 동기 및 목표

• 유한 순서의 이산 분리 가능한 구조를 열거하기 위한 관계 이론적 프레임워크를 개발하는 것.
• 유형 $ k $ 의 이진 관계 구조 계열 $ \mathscr{S}_k $ 에 대한 생성 함수 $ S_k $ 를 특성화하는 것.
• 생성 함수 $ S_k $ 에 대한 닫힌 형태의 표현식을 도출하고, 조합적 분해 및 재귀적 추론을 통해 이를 검증하는 것.
• 분리 가능한 분해 개념을 활용하여 순열 계열의 대수적 구조를 더 넓은 관계 시스템으로 확장하는 것.
• 열거 과정을 임계 포스셋과 순열 그래프, 특히 차원 2의 임계 순서와 연결하는 것.

제안 방법

• 유형 $ k $ 에 대해 $ 4^k $ 개의 기본 관계를 갖는 $ r_i $-분해 불가능한 구조에 기반한 분해 프레임워크를 사용한다.
• 분리 가능한 구조의 합집합 및 합성 닫힘 성질을 적용하여 생성 함수 간의 재귀적 관계를 도출한다.
• 생성 함수 항등식을 활용: $ S_k = 2^k x + S_k \sum_{i=1}^{4^k} S^i_k $, 여기서 $ S^i_k = 2^k x + S_k \sum_{j \neq i} S^j_k $.
• 유도된 체계를 해결하여 $ S_k $ 에 대한 이차 방정식을 도출하고, 이차 공식을 통해 닫힌 형태의 해를 얻는다.
• 생성 함수를 전개하고 계수를 명시적 개수(예: 순서 3에 대해 224)와 일치시켜 해를 검증한다.
• Schmerl–Trotter 이분 그래프 $ G_1 $ 의 부분그래프의 그래프 이론적 표현을 사용하여 이진 단어를 통한 구조 표현을 모델링한다.

실험 결과

연구 질문

• RQ1 순서 $ n $ 과 유형 $ k $ 의 분리 가능한 이진 관계 구조의 수에 대한 생성 함수는 무엇인가?
• RQ2 분리 가능한 관계의 구조는 어떻게 분해되어 그 생성 함수에 대한 재귀적 함수 방정식을 도출할 수 있는가?
• RQ3 작은 순서(예: 3과 4)에 대한 분리 가능한 구조의 정확한 개수는 얼마이며, 이는 작은 구성 요소들의 조합으로 어떻게 유도되는가?
• RQ4 차원 2의 임계 포스셋과 그에 관련된 순열 그래프는 분리 가능한 구조의 열거와 어떻게 관련되는가?
• RQ5 유전적 벨로르드니스 개념을 사용하여 순열 계열의 대수성 개념을 더 넓은 관계 시스템으로 일반화할 수 있는가?

주요 결과

• 유형 $ k=1 $ 에 대해 생성 함수 $ S_1 $ 는 $ 3S_1^2 + (2x - 1)S_1 + 2x = 0 $ 을 만족하며, 해는 $ S_1 = \frac{1 - 2x - \sqrt{1 - 28x + 4x^2}}{6} $ 이다.
• $ k=1 $ 인 경우, 급수 전개를 통해 정확한 개수를 도출한다: 순서 1에 대해 2개, 순서 2에 대해 16개, 순서 3에 대해 224개, 순서 4에 대해 3904개의 구조.
• 일반적인 $ k \geq 1 $ 에 대해 생성 함수 $ S_k $ 는 $ (4^k - 1)S_k^2 + (2^k x - 1)S_k + 2^k x = 0 $ 을 만족하며, 제곱근을 포함하는 닫힌 형태의 해를 갖는다.
• $ S_k $ 의 해는 $ S_k = \frac{1 - 2^k x - \sqrt{1 - 2^{k+1}(2 \cdot 4^k - 1)x + 2^{2k}x^2}}{2(4^k - 1)} $ 로 주어지며, 이는 대수성을 확인한다.
• $ r_i $-분해 불가능한 구조의 수는 $ 4^k $ 개의 기본 관계에 따라 증가하며, 동형 복제를 방지하기 위해 분해 규칙이 제외된다.
• 논문은 Schmerl–Trotter 그래프 $ G_1 $ 의 부분그래프와 이진 단어 사이의 전단사 사상(단사 사상)을 수립하여, 단어 수열을 통한 구조 표현과 열거를 가능하게 한다.