[논문 리뷰] Pattern avoidance in matchings and partitions

Jonathan Bloom, Sergi Elizalde|arXiv (Cornell University)|2012. 11. 14.

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

한 줄 요약

이 논문은 3-크로스와 3-네스팅을 일반화하여 임의의 3-아크 구성으로 매칭과 집합 분할에서 패턴 회피를 연구한다. 로크 배치와 페로르 보드, 성장 다이어그램을 사용하여 312-회피 매칭과 분할에 대한 대수적 생성함수를 유도한다. 이는 321-회피 사례에서 알려진 D-유한 생성함수와 대비된다. 주요 기여는 321과 213의 형상-윌프-동치성을 증명하는 단순화된 비준위를 제공하며, 대부분의 경우에 대한 열거를 포함해 3패턴 쌍을 완전히 분류한다.

ABSTRACT

Extending the notion of pattern avoidance in permutations, we study matchings and set partitions whose arc diagram representation avoids a given configuration of three arcs. These configurations, which generalize 3-crossings and 3-nestings, have an interpretation, in the case of matchings, in terms of patterns in full rook placements on Ferrers boards. We enumerate 312-avoiding matchings and partitions, obtaining algebraic generating functions, in contrast with the known D-finite generating functions for the 321-avoiding (i.e., 3-noncrossing) case. Our approach also provides a more direct proof of a formula of Bóna for the number of 1342-avoiding permutations. Additionally, we give a bijection proving the shape-Wilf-equivalence of the patterns 321 and 213 which greatly simplifies existing proofs by Backelin--West--Xin and Jel\'ınek, and provides an extension of work of Gouyou-Beauchamps for matchings with fixed points. Finally, we classify pairs of patterns of length 3 according to shape-Wilf-equivalence, and enumerate matchings and partitions avoiding a pair in most of the resulting equivalence classes.

연구 동기 및 목표

• 세 아크의 구성으로 매칭과 집합 분할에서 패턴 회피 이론을 순열 패턴에서 일반화한다.
• 매칭과 분할에서 3패턴 쌍을 형상-윌프-동치에 따라 분류한다.
• 312-회피 매칭과 분할의 열거를 수행하며, 321-회피 사례에서 알려진 D-유한 생성함수와 대비하여 그 생성함수가 대수적임을 보인다.
• Bóna의 1342-회피 순열에 대한 공식을 새로운 비준위를 통해 직접적이고 비준위적인 증명을 제공한다.
• 매칭과 분할에서 321과 213 패턴 간의 형상-윌프-동치를 확립하며, Gouyou-Beauchamps의 작업을 일반화한다.

제안 방법

• 매칭과 분할을 아크 다이어그램으로 표현하고, 금지된 3-아크 구성에 의해 패턴 회피를 정의한다.
• 매칭을 페로르 보드 위의 로크 배치로 모델링하고, Fomin의 성장 다이어그램 구성법을 사용하여 패턴과 격자 경로를 연결한다.
• 213-회피 매칭을 열거하기 위해 격자 경로 쌍의 집합 $\mathcal{A}^2_n$ 을 도입하고, 321-회피 로크 배치와의 비준위를 제공한다.
• 경로 높이와 수직 오프셋에 대한 통계를 포함한 생성함수 $G(t,u,z)$ 를 정의하고, 함수 방정식을 도출한다.
• 경로 연장 규칙의 재귀적 적용을 통해 $G(t,u,z)$ 에 대한 함수 방정식을 유도하며, 이를 단순화하여 $\mathcal{A}^2_n$ 의 생성함수를 도출한다.
• 핵심 방법과 함수 방정식 기법을 적용하여 생성함수를 해석하고 대수성을 증명한다.

실험 결과

연구 질문

• RQ1 312-회피 매칭과 분할의 생성함수는 무엇이며, 321-회피 사례에서 알려진 D-유한 생성함수와 어떻게 다를까?
• RQ2 매칭과 분할에서 321와 213 패턴 간의 형상-윌프-동치에 대해 직접적이고 비준위적인 증명을 제시할 수 있는가?
• RQ3 3패턴 쌍을 동시에 회피할 경우, 패턴 회피 매칭과 분할의 열거는 어떻게 분류할 수 있는가?
• RQ4 매칭에서의 패턴 회피와 특정 경로 제약 조건이 있는 페로르 보드 위의 로크 배치 사이의 연결 고리는 무엇인가?
• RQ5 3-비교교차 분할에 대해 사용된 함수 방정식 접근법을 일반적인 3패턴 회피 매칭에 적용할 수 있는가?

주요 결과

• 312-회피 매칭과 분할의 생성함수는 대수적임을 보이며, 321-회피 사례에서 알려진 D-유한 생성함수와 대비된다.
• 새로운 비준위를 통해 321와 213 패턴 간의 형상-윌프-동치를 증명하며, 이는 Backelin–West–Xin 및 Jelínek의 이전 증명을 단순화한다.
• 213-회피 매칭의 수는 집합 $\mathcal{A}^2_n$ 의 특정 격자 경로 쌍과 등수를 이루며, 이들의 생성함수는 함수 방정식을 통해 유도된다.
• 생성함수 $G(t,u,z)$ 의 함수 방정식은 경로 연장 규칙의 재귀적 적용에서 도출되며, 닫힌 형태의 해를 통해 대수적 생성함수를 도출한다.
• 논문은 매칭과 분할에서 3패턴의 10개 쌍을 형상-윌프-동치에 따라 분류하고, 10개의 동치 클래스 중 9개에서 회피 집합을 열거한다.
• 이 접근법은 1342-회피 순열에 대한 Bóna의 공식을 312-회피 매칭으로 해석함으로써 직접적인 증명을 제공한다.