프랭클 다양성 정리의 순열 버전

초록

본 논문은 큰 n에 대해 프랭클의 다양성 정리를 순열 집합에 확장한다. 교차 가족의 다양성이 일정 수준 이상이면 그 크기는 특정 구조인 (E_k)에 의해 상한이 주어지며, 평등은 (E_k)와 동형인 경우에만 발생한다.

상세 분석

프랭클의 원래 다양성 정리는 집합 시스템에서 교차 가족의 최대 크기를 그 가족이 별(star)에서 얼마나 멀리 떨어져 있는가, 즉 다양성 (\gamma(F)=|F|-\Delta(F)) 로 측정한다. 이 논문은 같은 개념을 순열 (\Sigma_n)에 옮겨, 교차(즉, 같은 위치에 같은 원소를 갖는) 순열들의 가족을 다룬다. 기본적인 상한 ((n-1)!) 은 Deza‑Frankl이 제시했으며, 평등 경우는 고정된 점 ((x,y))를 포함하는 모든 순열이다. 저자는 다양성이 (\ge k!-(k-1)!) 인 경우를 고려한다. 여기서 핵심은 (H_k)와 그와 교차하는 순열들의 집합 (N(H_k)) 를 합쳐 만든 (E_k=H_k\cup N(H_k)) 로, 이는 기존의 Hilton‑Milner 형태를 순열에 맞게 변형한 구조이다. (H_k)는 첫 번째 원소가 고정되고, 나머지 (k)개의 비고정점이 (