[논문 리뷰] Pattern-Avoiding Involutions: Exact and Asymptotic Enumeration

Miklós Bóna, Cheyne Homberger외 2명|arXiv (Cornell University)|2013. 10. 25.

Advanced Combinatorial Mathematics참고 문헌 24인용 수 11

한 줄 요약

이 논문은 단일 4패턴을 피하는 클래스에 초점을 맞춘 패턴을 피하는 치환의 광범위한 연구를 제시한다. 정교한 색칠 기법과 치환 분해를 사용하여 1324-avoiding 치환의 성장률에 대한 상한을 4.84 이하로 도출함으로써 놀라운 游弋적 행동을 드러내고 오랫동안 미해결이었던 1324-avoidance 문제에 대한 새로운 통찰을 제공한다.

ABSTRACT

We consider the enumeration of pattern-avoiding involutions, focusing in particular on sets defined by avoiding a single pattern of length 4. As we demonstrate, the numerical data for these problems demonstrates some surprising behavior. This strange behavior even provides some very unexpected data related to the number of 1324-avoiding permutations.

연구 동기 및 목표

• 단일 길이 4 패턴을 피하는 치환을 체계적으로 열거하는 것, 특히 1324-avoiding 치환에 중점을 두어.
• 기존 패턴과 다름없이 나타나는 1324-avoiding 치환의 열거 수열에서 관찰된 놀라운 수치적 행동을 조사하는 것.
• 성장률에 대한 상한을 유도하기 위해 고도의 조합 기법—색칠과 치환 분해—을 적용하는 것.
• 4글자 패턴을 피하는 치환의 Wilf-등가 클래스를 명확히 하여 일반 치환 클래스에 대한 이전 연구를 확장하는 것.
• 현재 정확한 형태로 열거되지 않은 어려운 클래스, 예를 들어 1324-avoiding 치환에 대한 향후 열거 작업의 기초를 마련하는 것.

제안 방법

• Bóna의 '색칠' 기법을 변형하여 1324-avoiding 치환에서 오른쪽에서 왼쪽으로의 최댓값과 최솟값을 추적하고, 패턴 피하기를 유지하기 위해 요소에 색을 부여하는 것.
• 1324-avoiding 치환에서 알파벳 {a, b, c, d} 위의 단어 쌍 (eπ, vπ)으로의 삽입을 사용하며, c b와 같은 금지된 요소를 피하기 위한 제약 조건을 설정하는 것.
• 1324-avoiding 치환에 대해 단어 쌍 모델을 치환에 제한하기 위해 대칭성 조건을 도입: a와 d 요소는 두 단어 eπ와 vπ에서 동일한 위치에 있어야 한다.
• 치환 조건을 만족하는 유효한 색칠된 단어 쌍에 대해 생성 함수 h(x) = (1 + x)/(1 - 5x + x² - x³) 를 구성하는 것.
• 자동기계 이론적 방법을 적용하여 h(x)의 분모의 가장 작은 양의 근의 역수로부터 성장률을 유도하는 것.
• 치환의 치환 분해를 사용하여 단순 치환의 구조를 분석하고 특정 4패턴 클래스에 대한 열거 전략을 안내하는 것.

실험 결과

연구 질문

• RQ1 왜 1324-avoiding 치환의 열거 수열은 다른 4패턴 클래스와는 달리 놀랍게 불규칙한 성장 양상을 보이는가?
• RQ2 색칠 기법을 확장하여 1324-avoiding 치환의 성장률에 대해 더 날카로운 상한을 도출할 수 있는가?
• RQ3 치환의 어떤 구조적 성질이 일반 1324-avoiding 치환보다 성장률 상한을 크게 낮추는 데 기여하는가?
• RQ4 4패턴을 피하는 치환에서 일반 치환과 다를 수 있는 Wilf-등가 클래스가 존재하는가?
• RQ5 치환 분해 방법을 사용하여 2431 또는 3421과 같은 다른 4패턴을 피하는 치환 클래스를 열거할 수 있는가?

주요 결과

• 1324-avoiding 치환의 성장률은 생성 함수 h(x) = (1 + x)/(1 - 5x + x² - x³) 에 기반하여 약 4.84 이하로 상한이 제시된다.
• 치환 조건으로 인한 대칭성으로 인해 일반 1324-avoiding 치환보다 1324-avoiding 치환의 성장률 상한이 상당히 낮아진다.
• 길이 11의 1324-avoiding 치환의 수는 5,654개이며, 길이 15에 이르면 6,116개에 이르며, 빠르지만 불규칙한 성장 패턴을 보인다.
• 2413-avoiding 치환 클래스의 생성 함수는 모츠킨 수와 관련되어 있으며, 1234-avoiding 치환과 Wilf-등가이다.
• 2431-avoiding 치환 클래스는 특별한 성장 패턴을 보이며, 길이 15의 단순 치환 수가 1,272개로 나타나 향후 구조적 분석의 가능성을 시사한다.
• 표 17의 데이터는 4231 및 1324와 같은 클래스가 더 복잡한 단순 치환 수를 보이며, 이는 이러한 경우에 치환 분해가 효과적이지 않을 수 있음을 시사한다.