[논문 리뷰] Enumerating permutations avoiding more than three Babson - Steingr\'\i msson patterns

Antonio Bernini, Elisa Pergola|arXiv (Cornell University)|2007. 04. 26.

Advanced Combinatorial Mathematics참고 문헌 8인용 수 2

한 줄 요약

이 논문은 Claesson와 Mansour가 제기한, (1,2) 또는 (2,1) 유형의 일반화된 패턴 네 개 또는 다섯 개를 피하는 순열의 수를 세는 문제에 대한 추측을 해결한다. 대칭성 감소와 포함 기반 추론을 사용하여, 네 개 또는 다섯 개의 이러한 패턴을 피하는 것이 세 개의 패턴을 피하는 것으로 줄어들며, 동일한 수세기 수열이 적용됨을 증명한다. 이 방법은 다섯 개 이상의 금지 패턴에 대해서도 확장 가능하다.

ABSTRACT

Claesson and Mansour recently proposed some conjectures about the enumeration of the permutations avoiding more than three Babson-Steingrímsson patterns (generalized patterns of type (1, 2) or (2, 1)). The avoidance of one, two or three patterns has already been considered. Here, the cases of four and five forbidden patterns are solved and the exact enumeration of the permutations avoiding them is given, confirming the conjectures of Claesson and Mansour. The approach we use can be easily extended to the cases of more than five forbidden patterns. 1

연구 동기 및 목표

• Claesson와 Mansour가 제기한, (1,2) 또는 (2,1) 유형의 일반화된 패턴 네 개 또는 다섯 개를 피하는 순열의 정확한 수를 세는 열린 추측을 해결하기 위해.
• 구조적 포함 관계로 인해, 네 개 또는 다섯 개의 이러한 패턴을 피하는 순열의 수가 오직 세 개의 패턴을 피하는 순열의 수와 동일하다는 것을 입증하기 위해.
• 대칭성과 포함 성질을 활용하여, 여섯 개 이상의 금지 패턴이 있는 경우에도 적용 가능한 체계적인 방법을 제공하기 위해.
• 세 패턴 피하기의 수세기 수열이 네 패턴과 다섯 패턴 피하기의 경우에도 확장된다는 추측을 확인하기 위해.
• 대칭류와 패턴 함의 규칙을 사용하여 이러한 동치성을 일반화 가능한 프레임워크로 제시하기 위해.

제안 방법

• 역전 및 보완에 대한 일반화된 패턴의 대칭류를 활용하여 고려해야 할 고유한 케이스 수를 줄이기 위해.
• 8개의 핵심 포함 성질(예: 만약 순열이 2−13를 피한다면, 2−13과 21−3도 함께 피한다)을 적용하여, 특정 네 또는 다섯 패턴 피하기 집합이 세 패턴 집합과 동일하다는 것을 보여주기 위해.
• S(p1,p2,p3,p4) ⊆ S(pi1,pi2,pi3) 이고, 성질들을 통해 역방향 포함성을 증명함으로써 피하기 집합의 동치성을 입증하기 위해.
• 이전 연구 [BFP]에서 알려진 세 패턴 피하기 결과를 바탕으로 하여, 네 패턴과 다섯 패턴의 경우를 증명하기 위해.
• 표와 대표 집합을 사용하여 금지 패턴의 모든 조합을 체계적으로 분석하고, 대칭성을 통해 검색 공간을 줄이기 위해.
• 포함 성질을 적용하여, 다섯 패턴 집합 Q가 주어지면 여섯 패턴 집합 P를 도출할 수 있음을 보여주어 |Sn(P)| = |Sn(Q)| 임을 증명함으로써, 여섯 개 이상의 금지 패턴에 대한 경우로 방법을 확장하기 위해.

실험 결과

연구 질문

• RQ1 세 개의 일반화된 (1,2) 또는 (2,1) 유형 패턴을 피하는 순열을 세는 수세기 수열이, 네 개의 이러한 패턴을 피하는 순열에도 동일하게 적용되는가?
• RQ2 다섯 개의 일반화된 (1,2) 또는 (2,1) 유형 패턴을 피하는 것은 오직 세 개의 패턴을 피하는 것으로 줄일 수 있는가?
• RQ3 패턴 함의 기반으로, 네 개 또는 다섯 개의 패턴을 피하는 것이 작은 집합을 피하는 것과 동치가 되는지를 보여주는 일반적인 방법이 존재하는가?
• RQ4 네 개와 다섯 개의 패턴 피하기에 사용된 접근법을 여섯 개 이상의 금지 패턴 집합으로 확장할 수 있는가?
• RQ5 어떤 특정 포함 규칙(예: 2−13를 피하면 21−3도 함께 피한다)이 피하기 집합 간의 동치성을 확립하는 데 충분한가?

주요 결과

• 논문은 Claesson와 Mansour가 제기한, (1,2) 또는 (2,1) 유형의 일반화된 패턴 네 개를 피하는 순열의 수를 세는 문제에 대한 모든 추측을 확인한다.
• 모든 네 개의 금지 패턴 집합에 대해, 포함 규칙으로 인해 피하는 순열의 수가 해당하는 세 개 패턴 집합을 피하는 순열의 수와 동일하다.
• 다섯 패턴 피하기의 경우에도 동일한 결과가 성립하며, 다섯 개의 금지 패턴에 대한 수세기 수열이 세 패턴 피하기 집합의 수세기 수열과 일치한다.
• 저자들은 네 패턴 집합에 대해 12개의 고유한 대칭류, 다섯 패턴 집합에 대해 13개의 고유한 대칭류를 식별하였으며, 각각에 대해 알려진 수세기 수열이 존재한다.
• 포함 성질을 통해 |Sn(P)| = |Sn(Q)| 임을 보여줌으로써 문제의 복잡도를 성공적으로 감소시켰다.
• 프레임워크는 일반화 가능하다: 임의의 여섯 개의 금지 패턴 집합 P에 대해, |Sn(P)| = |Sn(Q)| 임을 보장하는 다섯 패턴의 부분집합 Q를 찾을 수 있다. 이는 [CM]의 추측이 참이라고 가정할 때 성립한다.