[논문 리뷰] Restricted 132-Involutions and Chebyshev Polynomials

Olivier Guibert, Toufik Mansour|ArXiv.org|2002. 01. 15.

Advanced Combinatorial Mathematics참고 문헌 15인용 수 5

한 줄 요약

이 논문은 132과 다른 패턴 τ ∈ S_k 를 피하는 치환의 생성함수는 제2종 체비세프 다항식을 통해 표현 가능하다는 것을 입증하며, 제약 조건이 있는 치환 패턴과 수직 다항식 간의 깊은 연결 고리를 드러낸다. 이러한 치환의 수에 대한 명시적 공식을 유도하여, 132 피하기와 12⋯k 또는 213⋯k 피하기의 조합이 생성함수를 오직 k에만 의존하게 하며, U_k(1/(2x)) 표현을 포함하는 닫힌 형태를 가짐을 보였다. 주요 기여는 패턴 피하는 치환과 제2종 체비세프 다항식을 연결하는 통합 프레임워크를 제공하며, 기존 결과를 일반화하고 새로운 수세기 공식을 제시한다는 데 있다.

ABSTRACT

We study generating functions for the number of involutions in $S_n$ avoiding (or containing once) 132, and avoiding (or containing once) an arbitrary permutation $τ$ on $k$ letters. In several interesting cases the generating function depends only on $k$ and is expressed via Chebyshev polynomials of the second kind. In particular, we establish that involutions avoiding both 132 and $12... k$ have the same enumerative formula according to the length than involutions avoiding both 132 and any {\em double-wedge pattern} possibly followed by fixed points of total length $k$. Many results are also shown with a combinatorial point of view.

연구 동기 및 목표

• 132 패턴과 다른 패턴 τ ∈ S_k 를 피하는 S_n 내 치환의 생성함수를 조사하는 것.
• 이러한 생성함수들이 오직 k에만 의존하고 제2종 체비세프 다항식을 통해 표현될 수 있는지 판단하는 것.
• 132 피하는 치환에 대한 기존 결과를 일반화하여, 132와 임의의 τ ∈ S_k 를 동시에 피하는 치환으로 확장하는 것.
• 132 피하는 치환과 원시 딜크 단어 사이의 조합적 전단사 관계를 수립하고, 132가 정확히 한 번 나타나는 경우를 탐구하는 것.

제안 방법

• 저자들은 생성함수 기법을 사용하며, 특히 t = 1/(2√x) 인 R_k(x) = 2tU_{k-1}(t)/U_k(t) 를 사용하여 132 피하는 치환의 생성함수를 모델링한다.
• 치환의 구조적 분해에서 유도된 재귀 관계를 적용하며, Proposition 4.3 을 활용해 길이 k의 패턴에 대한 생성함수를 길이 k−1의 것과 연결한다.
• 체비세프 다항식 U_k(x) 는 핵심 대수적 도구로 사용되며, 다양한 패턴 클래스에 대해 U_k(1/(2x)) 로 표현된 생성함수가 사용된다.
• 패턴 τ 가 치환 내에서 위치와 구조에 따라 경우를 나누어 분석하며, 분해의 왼쪽 또는 오른쪽 부분에 τ 가 나타나는지에 따라 다른 경우를 구분한다.
• 12⋯k, 213⋯k, 23⋯k1 와 같은 패턴에 대해, 유도법과 R_k(x) 에 대한 기존 결과를 활용해 닫힌 형태의 생성함수를 도출한다.
• 조합적 전단사를 통해 결과를 검증하며, 예를 들어 132 피하는 치환과 원시 딜크 단어 사이의 전단사를 사용한다.

실험 결과

연구 질문

• RQ1 τ ∈ S_k 이며 132과 τ 를 모두 피하는 S_n 내 치환의 수에 대한 생성함수는 무엇이며, 이는 k에 어떻게 의존하는가?
• RQ2 132 피하는 치환에서 τ 를 피하는 생성함수는 제2종 체비세프 다항식으로 표현될 수 있는가?
• RQ3 어떤 패턴 클래스 τ 에 대해 생성함수가 τ 의 구체적 구조에 의존하지 않고 오직 k에만 의존하는가?
• RQ4 132 가 치환 내 정확히 한 번 나타날 경우, 이는 τ 피하는 또는 τ 포함 치환의 생성함수에 어떤 영향을 미치는가?
• RQ5 132 피하는 치환과 특정 패턴 피하는 클래스 간의 수세기 동일성을 설명할 수 있는 조합적 전단사 관계가 존재하는가?

주요 결과

• τ = 12⋯k 일 경우, 생성함수는 J_{12⋯k}(x) = x / U_k(1/(2x)) × ∑_{j=1}^{k-2} U_j(1/(2x)) 로 표현되며, 체비세프 다항식에 직접적인 의존성을 보인다.
• τ = 213⋯k 일 경우, 생성함수는 J_{213⋯k}(x) = x / U_k(1/(2x)) × [xU_2(1/(2x)) + ∑_{j=2}^{k-2} U_j(1/(2x))] 로 표현되며, k에 명시적인 의존성이 있다.
• 132를 정확히 한 번 포함하고 τ = 213⋯k 인 132 피하는 치환의 수는 J_{213⋯k}^1(x) = x(1−x²)/U_k(1/(2x)) 로 주어지며, k ≥ 3 에서 비영이 됨을 증명한다.
• τ = 12⋯k 일 경우, 132를 정확히 한 번 포함하는 치환의 수는 0 이다. 즉, J_{12⋯k}^1(x) = 0 이며, 이는 구조적 제약 조건 때문이므로.
• τ = 23⋯k1 일 경우, 생성함수는 J_{23⋯k1}(x) = x²U_{k−3}(1/(2x)) / [(1−x)U_{k−2}(1/(2x))] × [1 + (1/U_{k−1}(1/(2x))) × ∑_{j=1}^{k−3} U_j(1/(2x))] 로 표현되며, k에 복잡한 의존성이 있음을 보여준다.
• τ = 2134 일 경우, 이러한 치환의 수는 J_{2134}(2n+3) = J_{2134}(2n+4) = F_{2n} 로 주어지며, 이는 (2n)번째 피보나치 수임을 보여주며, 구체적인 수치 결과를 도출한다.