[논문 리뷰] A New Class of Wilf-Equivalent Permutations

Zvezdelina Stankova-Frenkel, Julian West|ArXiv.org|2001. 03. 24.

Advanced Combinatorial Mathematics참고 문헌 10인용 수 20

한 줄 요약

이 논문은 임의의 τ ∈ S_{n−3}에 대해 (n−1,n−2,n,τ)와 (n−2,n,n−1,τ)가 Wilf-동치임을 증명함으로써 새로운 Wilf-동치 클래스를 도입한다. 순열 행렬에 대한 새로운 행 및 열 분해 기법을 사용하여, 길이 7 이하의 순열에 대한 Wilf-분류에서 남아 있던 마지막 열린 사례들을 해결하였으며, 오랫동안 미해결이었던 (546213) ∼ (465213) 동치 관계를 완전히 해결함으로써 S₇의 Wilf-분류를 완성하고, S₆에서의 미해결 사례들을 모두 해소하였다.

ABSTRACT

For about 10 years, the classification of permutation patterns was thought completed up to length 6. In this paper, we establish a new class of Wilf-equivalent permutation patterns, namely, (n-1,n-2,n,tau)~(n-2,n,n-1,tau) for any tau in S_{n-3}. In particular, at level n=6, this result includes the only missing equivalence (546213)~(465213), and for n=7 it completes the classification of permutation patterns by settling all remaining cases in S_7.

연구 동기 및 목표

• 길이 7 이하의 순열 패턴 분류에서 남아 있던 최종 미해결 Wilf-동치 사례들을 해결하기 위해.
• 대칭 클래스를 초월한 Wilf-동치 순열을 체계적으로 식별할 수 있는 새로운 방법론을 수립하기 위해.
• 10년이 넘게 미해결 상태였던 (546213) ∼ (465213) 동치 관계를 증명함으로써 S₇의 Wilf-분류를 완성하기 위해.
• S₆ 및 S₇에서의 반례를 구성함으로써, 순열을 제약성에 따라 점 渐진적으로 순서를 매길 수 있다는 추측이 점점 더 성립하지 않음을 보여주기 위해.

제안 방법

• 순열 행렬의 구조를 분석하기 위해 새로운 조합 기법인 행 분해 공식을 도입한다.
• 열 위치를 분석함으로써 피回避 순열을 재귀적으로 구성할 수 있는 열 분해 방법을 개발한다.
• 행 분해와 열 분해의 교환 법칙을 증명함으로써, 특정 순열 변환 하에서 τ-피回避 순열의 수가 변화하지 않음을 보장한다.
• 패턴 피回避를 모델링하기 위해 생성 트리와 행렬 기반의 부분행렬 포함 관계를 사용한다.
• Wilf-동치를 검증하고 패턴 수의 점 渐진적 전환 행동을 탐지하기 위해 광범위한 계산적 숫자 세기 기법을 활용한다.
• 대칭성과 쌍대성 원리를 적용하여 사례 수를 줄이고, 비대칭 대표 요소에 집중한다.

실험 결과

연구 질문

• RQ1 순열 행렬의 이면군 대칭성과 관련이 없는 Wilf-동치 관계가 존재하는가?
• RQ2 대칭 클래스를 초월한 새로운 Wilf-동치 관계를 체계적이고 대수적 또는 조합론적으로 식별할 수 있는 방법론을 개발할 수 있는가?
• RQ3 모든 n에 대해 순열이 제약성에 따라 점 渐진적으로 순서를 매길 수 있다는 추측은 참인가?
• RQ4 S₇에서의 Wilf-클래스의 완전한 집합은 무엇이며, 이전에 누락되었던 동치 관계 중 아직 미해결인 것은 무엇인가?
• RQ5 유한한 n에서 두 순열 간의 상대적 제약성이 전환되는 반례가 존재하는가? 이는 전역적인 순서화가 성립하지 않음을 의미한다.

주요 결과

• 논문은 모든 τ ∈ S_{n−3}에 대해 (n−1,n−2,n,τ) ∼ (n−2,n,n−1,τ)임을 증명함으로써, 새로운 무한한 Wilf-동치 클래스를 확립한다.
• 이 결과는 S₆에서 남아 있던 최종 미해결 동치 관계인 (546213) ∼ (465213)를 해결하여, 길이 6 이하의 순열에 대한 Wilf-분류를 완성한다.
• S₇에 대해서는 남아 있던 모든 열린 사례를 해결하여, 길이 7 이하의 Wilf-분류가 이제 완전히 완료됨을 확인한다.
• 저자들은 S₆ 및 S₇에서 두 순열 간의 상대적 제약성이 특정 유한한 n에서 전환되는 반례를 식별하여, 순열이 점 渐진적으로 제약성에 따라 순서를 매길 수 있다는 추측이 잘못되었음을 반증한다.
• 논문은 S₉(546213) = 39428 및 S₉(465213) = 39428임을 명시적인 숫자 세기 자료로 제시하며, n=13에서 수의 차이가 발생함을 확인함으로써 장기적으로 이 둘이 동치가 아니라는 것을 입증한다.
• 생성 트리가 서로 동형이 아니더라도, (1234)와 (4123)의 각 수준에서 노드 수가 동일함을 보여주어, 트리의 동형이 아니더라도 Wilf-동치임을 입증한다.