[논문 리뷰] Symmetric and Asymptotically Symmetric Permutations

Joshua Cooper, Andrew Petrarca|ArXiv.org|2008. 01. 28.

Limits and Structures in Graph Theory참고 문헌 10인용 수 7

한 줄 요약

이 논문은 대칭적이고 渐近적으로 대칭적인 순열을 조사하며, 순열 내 패턴 수가 균일한 랜덤 분포 하에서의 기대값과 정확히 일치할 때를 중심으로 다룬다. '부풀릴 수 있는'(inflatable) 순열의 개념을 도입하고, 순열 수축을 이용한 패턴 통계에 대한 재귀 공식을 유도하며, 정확한 k-대칭성은 k!가 이항계수 C(n,k)를 나누어야만 가능하며, k=4일 때 이러한 조건을 만족하는 최소 n는 64임을 증명한다.

ABSTRACT

We consider two related problems arising from a question of R. Graham on quasirandom phenomena in permutation patterns. A ``pattern'' in a permutation $σ$ is the order type of the restriction of $σ: [n] o [n]$ to a subset $S \subset [n]$. First, is it possible for the pattern counts in a permutation to be exactly equal to their expected values under a uniform distribution? Attempts to address this question lead naturally to an interesting number theoretic problem: when does $k!$ divide $\binom{n}{k}$? Second, if the tensor product of a permutation with large random permutations is random-like in its pattern counts, what must the pattern counts of the original permutation be? A recursive formula is proved which uses a certain permutation ``contraction.''

연구 동기 및 목표

• 모든 k-패턴 유형의 수가 균일한 랜덤 분포 하에서의 기대값과 정확히 일치할 수 있는지 여부를 규명하는 것.
• 순열 패턴에서의 상향 함의 문제를 연구하는 것 — 즉, quasirandom 그래프와 유사하게, k-패턴 수가 균일할 경우 (k+1)-패턴 수 역시 균일한가?
• k-대칭 순열의 존재에 대한 필요 및 충분 조건을 규명하는 것 — 특히 k! | C(n,k) 조건에 초점을 맞춘다.
• 랜덤 순열로 부풀려진 순열에서 패턴 통계를 계산하는 재귀적 방법을 개발하고, 순열 수축 기반의 공식을 도출하는 것.
• 비자명한 k-대칭 순열이 존재할 수 있는 최소 n = f(k)를 계산하는 것 — k=8까지의 명시적 값 계산을 포함한다.

제안 방법

• 큰 랜덤 순열과의 텐서곱에서 랜덤과 유사한 패턴 통계를 유지하는 '부풀릴 수 있는' 순열의 개념을 도입한다.
• 순열의 '수축' 연산을 이용해 k-패턴 발생 수를 계산하는 재귀 공식을 개발한다.
• 패턴 수를 계산하기 위해 순열 집합 π ∈ Π^τ_t 와 그에 대응하는 몫 τ/π의 표를 이용한 생성함수 접근법을 사용한다.
• 계수들이 분할의 블록 크기의 계승에 기반한, Y_τ(m) = m^k / (k!)^2 - Σ 패턴 ρ에 대한 항들의 합으로 이루어진 공식을 적용한다.
• 모든 소수 p에 대해 p-진 값 ν_p(n(n-1)...(n-k+1)) ≥ 2e_p(k) 를 분석하여 k! | C(n,k) 조건을 분석한다.
• 나눗셈 조건이 오직 n mod T(k) 에 의존하도록 하는 최소 모듈러스 T(k)를 계산하고, alldiv_k(n) 을 만족하는 최소 n ≥ k 인 f(k) 를 결정한다.

실험 결과

연구 질문

• RQ1 정수 n과 k에 대해 이항계수 C(n,k)를 k!로 나누었을 때 정수가 되는 경우는 언제이며, 이는 순열에서 정확한 k-대칭성을 가능하게 하는가?
• RQ2 모든 k-패턴이 정확히 C(n,k)/k! 번씩 나타나는 순열이 존재할 수 있는가? 이러한 순열이 존재하기 위한 필요 및 충분 조건은 무엇인가?
• RQ3 순열 내에서 k-패턴 수가 균일할 경우, (k+1)-패턴 수 역시 균일한가? 이는 quasirandom 그래프의 경우와 유사한가?
• RQ4 k!가 C(n,k)를 나누는 최소의 n = f(k)는 무엇이며, 이는 비자명한 k-대칭 순열의 존재와 어떻게 관련되는가?
• RQ5 랜덤 순열로 부풀려진 순열에서 패턴 통계를 재귀적으로 계산할 수 있는 방법은 무엇이며, 이러한 계산이 가능한 구조적 특성은 무엇인가?

주요 결과

• 논문은 k=4일 때 C(n,k)/k! 가 정수인 최소의 n ≥ k 가 n = 64 임을 증명하며, 이는 비자명한 4-대칭 순열의 최소 후보임을 보여준다.
• k=3일 때 논문은 비자명한 3-대칭 순열의 존재를 확인하고, m에 대한 각 3-패턴 유형의 수를 명시적인 공식으로 제시한다.
• 길이 m인 순열에서 유형 (1234)의 4-패턴 수는 Y_{(1234)}(m) = m(m-1)(m² - 11m + 44)/576 로 주어진다.
• 유형 (1243)의 4-패턴 수는 Y_{(1243)}(m) = m(m-1)(m-2)(m-5)/576 이며, S_4의 24개 순열 모두에 대해 유사한 닫힌 형태의 공식이 유도된다.
• 나눗셈 조건 k! | C(n,k) 가 오직 n mod T(k) 에 의존하는 최소 모듈러스 T(k) 를 계산하였으며, T(4) = 288 이고 T(5) = 7200 이다.
• alldiv_k(n) 이 성립하는 최소 n ≥ k 인 함수 f(k) 는 f(1)=1, f(2)=4, f(3)=9, f(4)=64, f(5)=128, f(6)=352, f(7)=1377, f(8)=180225 로 계산된다.