[논문 리뷰] (2+2)-free posets, ascent sequences and pattern avoiding permutations

Mireille Bousquet‐Mélou, Anders Claesson외 2명|arXiv (Cornell University)|2008. 06. 04.

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

한 줄 요약

이 논문은 (2+2)-free poset, 상승 수열, 특정 패턴을 피하는 순열, 그리고 Stoimenow의 고정점이 없는 호 분할(현수도) 사이의 일대일 대응을 수립하여 이들의 등수 동일성을 드러낸다. 주요 기여는 통계를 유지하는 직접적인 대응으로, 이러한 객체들을 상승 수열을 통해 인코딩함으로써 비-D-유한 생성 함수를 도출하고, 수정된 수열 사상의 고정점을 통해 3̄152̄4를 피하는 순열에 대한 추측을 증명한다.

ABSTRACT

We present bijections between four classes of combinatorial objects. Two of them, the class of unlabeled (2+2)-free posets and a certain class of involutions (or chord diagrams), already appeared in the literature, but were apparently not known to be equinumerous. We present a direct bijection between them. The third class is a family of permutations defined in terms of a new type of pattern. An attractive property of these patterns is that, like classical patterns, they are closed under the action of $D_8$, the symmetry group of the square. The fourth class is formed by certain integer sequences, called ascent sequences, which have a simple recursive structure and are shown to encode (2+2)-free posets and permutations. Our bijections preserve numerous statistics. We determine the generating function of these classes of objects, thus recovering a non-D-finite series obtained by Zagier for the class of chord diagrams. Finally, we characterize the ascent sequences that correspond to permutations avoiding the barred pattern $3{\bar 1}52{\bar 4}$ and use this to enumerate those permutations, thereby settling a conjecture of Pudwell.

연구 동기 및 목표

• 이미 알려진 등수 동일성에도 불구하고 직접적이고 통계를 유지하는 일대일 대응을 (2+2)-free poset, 상승 수열, 패턴을 피하는 순열, Stoimenow의 치환(현수도) 사이에 수립함으로써, 이 네 가지 조합론적 클래스 간의 자연스러운 등수 동일성을 입증한다.
• 정사각형의 대칭군에 대해 닫혀 있는 새로운 유형의 비틀린 패턴을 피하는 순열의 새로운 클래스를 정의하고 특성화함으로써, 고전적 패턴 피하기 이론을 확장한다.
• 수정된 상승 수열 사상의 고정점이 정확히 3̄152̄4를 피하는 순열과 일치함을 증명함으로써, Pudwell의 추측을 해결한다.
• 이 조합론적 클래스들의 생성 함수를 도출하여, 이가 Stoimenow의 현수도에 대한 Zagier의 급수와 일치함을 보이고, (2+2)-free poset와 치환 사이의 직접적인 일대일 대응을 제공한다.

제안 방법

• 상승 수열을 중심적인 인코딩 도구로 도입: 각 항이 이전에 나타난 서로 다른 값의 개수보다 1 이상이 되지 않는 음이 아닌 정수의 수열.
• 정사각형의 대칭군(다각형의 대칭군) 작용에 대해 닫혀 있는 일반화된 비틀린 패턴을 사용하여 새로운 유형의 패턴 피하기 순열을 정의함으로써, 고전적 패턴 피하기 이론을 확장한다.
• 상승 수열과 새로운 패턴 피하기 순열 클래스 사이의 재귀적 일대일 대응 Λ를 구축함으로써, 내림막수와 피크 수와 같은 다수의 통계를 유지한다.
• 상승 수열을 통한 (2+2)-free poset의 재귀적 구성 Ψ를 개발하여, 이러한 poset가 상승 수열과 일대일 대응되며 그 통계를 그대로 이어받음을 보여준다.
• poset와 순열의 구조를 추출하는 데 간소화된 수정된 상승 수열 사상  x̂를 도입하고, 이에 의해 3̄152̄4를 피하는 순열과 대응되는 고정점을 특성화한다.
• 레벨 단위 순서로 열림과 닫힘 호를 매칭시켜 (2+2)-free poset와 Stoimenow의 치환(현수도) 사이의 직접적 일대일 대응 Ω를 수립함으로써, 최소/최대 원소 수와 같은 통계를 유지한다.

실험 결과

연구 질문

• RQ1 네 가지 조합론적 클래스인 (2+2)-free poset, 상승 수열, 패턴을 피하는 순열, Stoimenow의 치환은 직접적이고 통계를 유지하는 일대일 대응을 통해 자연스럽게 등수 동일한가?
• RQ2 새로운 패턴을 피하는 순열의 클래스는 단순한 재귀적 구성이나 인코딩을 통해 특성화될 수 있으며, 대칭 닫힘 성질을 갖는가? 이는 고전적 패턴 피하기 이론을 어떻게 확장하는가?
• RQ3 수정된 상승 수열 사상 x̂의 고정점과 막힌 패턴 3̄152̄4 사이의 정확한 연결 고리는 무엇이며, 이는 닫힌 표현식의 도출로 이어지는가?
• RQ4 (2+2)-free poset와 Stoimenow의 치환 사이에 생성 함수를 사용하지 않는 직접적인 조합론적 일대일 대응이 존재하는가?

주요 결과

• 논문은 수정된 상승 수열 사상 x̂의 고정점이 정확히 3̄152̄4를 피하는 순열과 일대일 대응됨을 증명하여, Pudwell의 추측을 확인한다.
• (2+2)-free poset, 상승 수열, 그리고 새로운 순열 클래스의 생성 함수는 비-D-유한이며, 이는 Stoimenow의 치환에 대한 Zagier의 급수와 일치함을 보여주며, 이 급수에 새로운 조합론적 해석을 제공한다.
• Stoimenow의 치환(현수도)과 (2+2)-free poset 사이의 직접적 일대일 대응 Ω를 구성하였으며, 최소/최대 원소 수와 원소의 레벨 구조와 같은 핵심 통계를 유지한다.
• 상승 수열을 통한 (2+2)-free poset의 재귀적 구성(Ψ를 통함)과 순열의 구성(Λ를 통함)은 내림막수, 피크 수, 구성 요소 수 등 여러 통계를 유지한다.
• 논문은 새로운 패턴을 피하는 순열이 정사각형의 전체 다각형 대칭군에 대해 닫혀 있음을 보여주며, 이는 고전적 또는 표준 비틀린 패턴과는 달리 공유되지 않는 성질이다.
• 연구는 특정 순열의 점도표가 곱 순서 하에 항상 (2+2)-free poset를 유도하지는 않음을 보여주며, 이는 poset의 구조가 도표에서 직접적으로 드러나지 않음을 시사한다.