[논문 리뷰] The Profile of relations

Maurice Pouzet|ArXiv.org|2007. 03. 08.

Advanced Topology and Set Theory참고 문헌 37인용 수 13

한 줄 요약

이 논문은 유한 부분구조의 동형 유형에 대한 수세기 함수로 정의된 관계적 구조의 프로파일을 조사하며, 유한 차수 조건 또는 유한 커널 조건 하에서 프로파일이 다항식적으로 증가하거나 모든 다항식보다 빠르게 증가함을 보여준다. 핵심 결과로는, 관계적 구조의 연령(age)이 고갈되지 않으며 높이가 최대 ω(k+1)일 경우, 그 프로파일이 이항계수 $\binom{n+k}{k}$ 이하로 유계임을 증명하며, 이는 조합론, 순서 이론, 연령 대수의 힐버트 급수와의 연결을 제시한다.

ABSTRACT

The {\it profile} of a relational structure $R$ is the function $ϕ_R$ which counts for every integer $n$ the number of its $n$-element substructures up to an isomorphism. Many counting functions are profiles. Interesting examples come from permutation groups. Some salient facts about the behavior of the profile are presented. Techniques from ordered sets and combinatorics (notably the notion of well-quasi-order, the related notions of ordered algebras, Ramsey theorem) are illustrated. Ongoing resarch suggests to view the profile of a relational structure $R$ as the Hilbert function of some graded algebra associated with $R$. A hint at the solution of a conjecture of P.J.Cameron on the integrity of the ring of the orbit algebra is given. Recent progress made with Y.Boudabbous and N.Thiéry on the conjecture that the profile is a quasi-polynomial if its growth is polynomial (and the structure has a finite kernel) are presented.

연구 동기 및 목표

• 관계적 구조에서 n원소 부분구조의 동형 유형 수를 세는 프로파일 함수 φ_R(n)의 성장 행동을 분석하는 것.
• 유한 차수 또는 유한 커널 조건 하에서 프로파일이 다항식적으로 증가하거나 모든 다항식보다 빠르게 증가함을 보이는 것.
• Cameron이 제안한 연령 대수의 힐버트 급수와 프로파일을 연결하며, 그의 정수성 추측을 해결하는 것.
• 조합론적 및 순서 이론적 도구를 사용하여 다항식 프로파일을 가진 관계적 구조, 특히 토너먼트(tournaments)를 특성화하는 것.
• 연령이 임베딩에 관해 매우 잘 순서가 정렬되어 있을 경우, 프로파일이 지수적으로 유계임을 조사하는 것.

제안 방법

• 관계적 구조의 연령과 유한 부분구조의 잘 순서 정렬에서의 높이 개념을 사용한다.
• 레모어 이론과 잘 순서 정렬(WQO)을 적용하여 부분구조 유형의 복잡성을 제어한다.
• 다중사슬 가능성(multichainability)과 유한 커널에 의한 축소를 활용하여 프로파일 성장률을 분석한다.
• Cameron의 연령 대수 구조를 활용하여, 그 힐버트 함수가 프로파일 φ_R(n)과 일치함을 보인다.
• 귀납법과 조합론적 상한, 특히 파스칼의 항등식을 사용하여 부등식 $\varphi_R(n) \leq \binom{n+k}{k}$ 를 증명한다.
• 연령이 고갈되지 않으며 높이가 유한할 경우, 체인 분해가 존재한다는 순서 이론의 결과를 응용한다.

실험 결과

연구 질문

• RQ1 관계적 구조의 프로파일이 다항식적으로 증가하는 조건은 무엇인가? 또는 모든 다항식보다 더 빠르게 증가하는가?
• RQ2 다항식으로 유계인 프로파일의 생성 급수가 유리함수로 표현될 수 있는가? 특히 구조가 유한 커널을 가질 경우에 대해.
• RQ3 Cameron의 추측에 따르면, 관계적 구조의 연령 대수는 항상 정수적인가?
• RQ4 연령의 높이가 ω(k+1)일 경우, 프로파일의 최대 가능한 증가율은 무엇인가?
• RQ5 연령이 임베딩에 관해 매우 잘 순서 정렬되어 있을 경우, 프로파일이 지수적으로 유계가 되는가?

주요 결과

• 관계적 구조의 연령이 고갈되지 않으며 높이가 최대 ω(k+1)일 경우, 모든 n에 대해 $\varphi_R(n) \leq \binom{n+k}{k}$ 를 만족한다.
• 유한 커널 또는 유한 차수 조건을 만족하는 관계적 구조의 프로파일은 그 연령의 높이에 따라 다항식적으로 증가하거나 모든 다항식보다 더 빠르게 증가한다.
• 프로파일이 다항식으로 유계이고, 구조가 단순한 성분들로 유한 분해가 가능할 경우, 프로파일의 생성 급수는 유리함수이다.
• Cameron이 제기한 연령 대수의 정수성 추측은 긍정적으로 해결되었다.
• 다항식 프로파일을 가진 토너먼트의 경우, 프로파일 성장 상한과 구조적 분해를 통해 완전한 특성화가 이루어졌다.
• 연령의 높이가 ω(k+1)일 경우, 프로파일은 최소한 차수 k의 다항식만큼 증가하며, 이는 날카운 하한을 확립한다.