[논문 리뷰] Finite canonization

Saharon Shelah|arXiv (Cornell University)|1995. 09. 15.

Limits and Structures in Graph Theory참고 문헌 4인용 수 5

한 줄 요약

이 논문은 캐논컬 라미지 유형 함수 ER(n,m)에 대한 경계를 향상시켜 고정된 n에 대해 ER(n,m)을 계산하는 데 필요한 거듭제곱의 수가 최적임을 증명한다. 임의의 n원소 부분집합에 대한 함수에 대해, 동일한 좌표 위치에 따라만 등호가 성립하는 동일한 집합이 존재한다는 유한 캐논컬리제이션 정리를 수립한다.

ABSTRACT

The canonization theorem says that for given m,n for some m^* (the first one is called ER(n;m)) we have: for every function f with domain [{1, ...,m^*}]^n, for some A in [{1, ...,m^*}]^m, the question of when the equality f({i_1, ...,i_n})=f({j_1, ...,j_n}) (where i_1< ...

연구 동기 및 목표

• n원소 부분집합에 대한 함수의 동일한 집합을 제어하는 캐논컬 라미지 함수 ER(n,m)에 대한 상한을 개선하는 것.
• 고정된 n에 대해 ER(n,m)을 계산하는 데 필요한 최소한의 거듭제곱의 수를 결정하는 것.
• 이전에 알려진 경계가 거듭제곱의 수 측면에서 최적임을 증명하는 것.
• 함수의 등호가 부분집합 내 위치 일치에만 의존하는, 함수의 등호가 위치 일치에만 의존하는 유한 캐논컬리제이션 결과를 제공하는 것.
• 유한 조합론과 라미지 이론에서 캐논컬리제이션의 구조에 대한 이해를 기여하는 것.

제안 방법

• {1,…,m*}의 n원소 부분집합에 대한 함수를 분석하기 위해 유한 조합 방법을 적용하는 것.
• 캐논컬 등가의 개념을 사용: f(A) = f(B) iff A와 B의 특정 인덱스가 동일하다.
• {1,…,m*}의 부분집합 A ⊆ {1,…,m*}에서 크기가 m인 동일한 집합을 구성하여 함수의 등호가 일치하는 위치에만 의존하도록 하는 것.
• 유도와 재귀적 경계 기법을 사용하여 경계 내 거듭제곱의 수를 최소화하는 것.
• 함수 등가 클래스의 구조를 분석하여 ER(n,m)의 최소 가능한 성장률을 도출하는 것.
• 하한을 구성함으로써 경계 내 거듭제곱의 수가 최적임을 보여주는 것.

실험 결과

연구 질문

• RQ1 고정된 n에 대해 ER(n,m)을 경계짓는 데 필요한 최소한의 거듭제곱의 수는 얼마인가?
• RQ2 n원소 부분집합에 대한 함수 등호의 캐논컬 구조는 위치 일치에만 기반하여 단순화될 수 있는가?
• RQ3 이전에 알려진 ER(n,m)의 경계가 거듭제곱의 수 측면에서 최적인가?
• RQ4 함수 등호가 부분집합 내 좌표 위치 일치에만 의해 결정되는 동일한 집합이 존재하는가?
• RQ5 ER(n,m)의 성장률은 그 표현식 내 거듭제곱의 수와 어떻게 관련이 있는가?

주요 결과

• 고정된 n에 대해 ER(n,m)을 계산하는 데 필요한 거듭제곱의 수는 최적이다.
• {1,…,m*}의 n원소 부분집합에 대한 모든 함수 f에 대해, f(A) = f(B) iff A와 B에서 동일한 위치가 일치하는 크기 m의 동일한 집합 A가 존재한다.
• ER(n,m)의 경계가 거듭제곱의 수가 가능한 한 최소가 되도록 향상되었다.
• 함수 등호의 캐논컬 구조는 위치 일치에 의해 특징지어지며, f({i_1,…,i_n}) = f({j_1,…,j_n}) iff i_l = j_l for all l in a fixed subset v ⊆ {1,…,n}이다.
• 이전에 알려진 경계가 거듭제곱의 수 측면에서 최적임을 확인하여, 유한 캐논컬리제이션 이론에서의 질문을 해결한다.
• 논문은 ER(n,m)의 성장률에서 최소 복잡도를 갖는 유한 캐논컬리제이션 정리를 수립한다.