[논문 리뷰] Restricted inversion sequences and enhanced $3$-noncrossing partitions

Zhicong Lin|arXiv (Cornell University)|2017. 06. 22.

Advanced Combinatorial Mathematics인용 수 3

한 줄 요약

이 논문은 양과 마르티네스-사보의 추측을 증명한다. 즉, 길이 3인 약하게 감소하는 부분수열을 피하는 역순서열의 수와 강화된 3-비교접 분할의 수가 같다는 것이다. 생성 트리와 끈질긴 커널 방법을 사용하여 작용함수 방정식을 유도하고, 라그랑주 역행렬과 제일버거의 알고리즘을 통해 이를 해결함으로써 등수성과 새로운 항등식을 도출한다. 이 항등식은 고전적 3-비교접 분할과 강화된 3-비교접 분할을 연결한다.

ABSTRACT

We prove a conjecture due independently to Yan and Martinez--Savage that asserts inversion sequences with no weakly decreasing subsequence of length $3$ and enhanced $3$-noncrossing partitions have the same cardinality. Our approach applies both the generating tree technique and the so-called obstinate kernel method developed by Bousquet-Mélou. One application of this equinumerosity is a discovery of an intriguing identity involving numbers of classical and enhanced $3$-noncrossing partitions.

연구 동기 및 목표

• 약하게 감소하는 부분수열 길이 3을 피하는 역순서열의 수가 강화된 3-비교접 분할의 수와 같다는 추측을 증명하는 것.
• 생성 트리 기법을 사용하여 이러한 제한된 역순서열의 생성함수에 대한 작용함수 방정식을 수립하는 것.
• 끈질긴 커널 방법과 라그랑주 역행렬을 통해 유도된 작용함수 방정식을 해결하여 추측을 확인하는 것.
• 고전적 3-비교접 분할과 강화된 3-비교접 분할을 연결하는 새로운 항등식 유도: $C_3(n+1) = \sum_{i=0}^n \binom{n}{i} E_3(i)$.
• 역순서열, 상승수열, 집합 분할 간의 관계를 탐색하고 $k$-비교접 구조로의 확장을 제안하는 것.

제안 방법

• 왼쪽에서 오른쪽으로의 최댓값과 나머지 원소를 상태 파라미터로 사용하여 $(\geq,\geq,-)$-피하는 역순서열의 집합에 대한 생성 트리를 구성하는 것.
• 두 개의 파라미터를 가진 생성함수 $F(u,v)$ 를 정의하여 역순서열을 파라미터 $(p,q)$ 로 인코딩하는 것. 여기서 $p = \alpha(e) - \beta(e)$ 이고 $q = n - \alpha(e)$ 이다.
• 생성 트리의 재작성 규칙에 기반하여 $F(u,v)$ 에 대한 작용함수 방정식 (5.1) 을 유도하는 것: $F(u,v) = t u v + \frac{t u v}{v - u}(F(v,1) - F(u,1)) + \frac{t u v}{1 - u}(F(u,1) - F(u,u))$.
• 대칭성과 커널 조건을 활용하여 계수를 추출하기 위해 끈질긴 커널 방법을 적용하는 것.
• 라그랑주 역행렬과 제일버거의 알고리즘을 사용하여 생성함수의 계수를 계산하고 추측된 수세기의 정확성을 확인하는 것.
• 이 방법을 $\mathcal{AW}$-역순서열로 확장하여, 닫힌 형태를 구하지 못하더라도 $|\mathbf{I}_n(\mathcal{AW})|$ 를 계산할 수 있는 재귀적 작용함수 방정식 (5.2) 를 도출하는 것.

실험 결과

연구 질문

• RQ1 길이 3인 약하게 감소하는 부분수열을 피하는 역순서열의 수가 강화된 3-비교접 분할의 수와 같은가?
• RQ2 생성 트리 기법을 사용하여 $(\geq,\geq,-)$-피하는 역순서열의 생성함수에 대한 작용함수 방정식을 유도할 수 있는가?
• RQ3 끈질긴 커널 방법이 유도된 작용함수 방정식을 해결하고 닫힌 형태의 수세기 결과를 도출하는 데 적용 가능한가?
• RQ4 등수성은 고전적 3-비교접 분할과 강화된 3-비교접 분할 간의 더 깊은 조합론적 항등식을 암시하는가?
• RQ5 유사한 기법을 $\mathcal{AW}$-역순서열과 같은 다른 제한된 역순서열 클래스에 적용할 수 있는가?

주요 결과

• 추측 $|\mathbf{I}_n(\geq,\geq,-)| = E_3(n)$ 이 확인되어 $(\geq,\geq,-)$-피하는 역순서열과 강화된 3-비교접 분할 간의 등수성이 입증된다.
• 새로운 항등식이 도출된다: $C_3(n+1) = \sum_{i=0}^n \binom{n}{i} E_3(i)$, 이는 고전적 3-비교접 분할과 강화된 3-비교접 분할을 연결한다.
• 끈질긴 커널 방법을 사용하여 $(\geq,\geq,-)$-피하는 역순서열의 생성함수에 대한 작용함수 방정식이 해결되어 정확한 수세기 수열이 도출된다.
• 생성 트리 접근법은 파라미터 $p$ 와 $q$ 를 통해 제한된 역순서열의 구조를 성공적으로 모델링하여 재귀적 구성이 가능하다.
• 이 방법은 $\mathcal{AW}$-역순서열로 확장되어, 닫힌 형태를 구하지 못하더라도 $|\mathbf{I}_n(\mathcal{AW})|$ 를 계산할 수 있는 재귀적 작용함수 방정식 (5.2) 를 도출한다.
• 최근의 발전은 삼각형 모양의 01채우기 기반 이분형 구축을 통해 결과를 확인하여 추측의 조합론적 증명을 제공한다.