[논문 리뷰] An involution on Dyck paths that preserves the rise composition and interchanges the number of returns and the position of the first double fall

Martin Rubey|arXiv (Cornell University)|2017. 01. 24.

Mathematical Dynamics and Fractals참고 문헌 2인용 수 6

한 줄 요약

이 논문은 올림프 경로에 대해 상승 구성(즉, 상승 단계 길이의 순서)을 유지하면서 환원 수와 첫 번째 이중 상승의 위치를 교환하는 명시적 인벌루션을 제시한다. 이 인벌루션은 경로 분해에 대한 재귀적이고 가역적인 변환을 통해 구성되며, 이러한 통계에 대한 생성함수에서의 공동 대칭성을 증명한다. 이는 최근 321-피回避 순열에 관한 연구에서 제기된 대칭성 문제를 해결한다.

ABSTRACT

Motivated by a recent paper of Adin, Bagno and Roichman, we present an involution on Dyck paths that preserves the rise composition and interchanges the number of returns and the position of the first double fall.

연구 동기 및 목표

• Adin, Bagno, 및 Roichman가 제기한 321-피回避 순열에 대한 통계에 대한 생성함수의 대칭성 문제를 해결하기 위해.
• 환원 수와 첫 번째 이중 상승 위치를 교환하면서 상승 구성을 유지하는 Dyck 경로에 대한 구조적이고 가역적인 사상 제공하기 위해.
• 고정된 상승 구성 조건 하에서 환원 수와 첫 번째 이중 상승 위치의 생성함수의 공동 대칭성을 증명하기 위해.
• 명시적이고 반복적인 인벌루션을 통해 Dyck 경로 통계의 조합 대칭성에 대한 이해를 확장하기 위해.

제안 방법

• 인벌루션은 Dyck 경로를 세 부분 P, Q, R로 분해함으로써 정의되며, 여기서 R은 상승 단계로 시작하는 최대 길이의 단일 상승 연속이다.
• 매핑 φ는 마지막 단계가 수평 이동이 아니며, ldr(D)가 최대가 아닌 경로에 대해 정의되며, Q의 주요 구성 요소 순서를 재정렬하고 상승 단계의 순서를 조정한다.
• 세 가지 다른 경우가 Q의 구조에 따라 정의된다: 조기 상승 단계 시퀀스의 존재, Q 내 환원의 부재, 또는 다수의 주요 구성 요소 존재.
• 역 매핑은 각 경우에 대해 별도로 구성되어 있으며, 가역성과 상승 구성의 유지 보장을 보장한다.
• 변환은 상승 단계 시퀀스와 수평 이동의 순서만을 재배열하므로 상승 구성은 유지된다.
• 전체 인벌루션 Φ는 φ 또는 그 역을 반복 적용하여 얻어지며, 생성함수에서 원하는 대칭성을 보장한다.

실험 결과

연구 질문

• RQ1 상승 구성은 유지하면서 환원 수와 첫 번째 이중 상승 위치를 교환하는 명시적이고 가역적인 사상이 Dyck 경로에 대해 구성될 수 있는가?
• RQ2 그러한 사상은 고정된 상승 구성 조건 하에서 환원 수와 첫 번째 이중 상승 위치의 생성함수의 공동 대칭성을 암시하는가?
• RQ3 관찰된 321-피回避 순열의 생성함수의 대칭성을 증명하는 데 있어, 구조적이고 반복적인 인벌루션이 존재하는가?
• RQ4 321-피回避 순열의 통계 bl(π)과 ldes(π⁻¹)는 Dyck 경로를 통해 어떻게 조합적으로 해석되고 변환될 수 있는가?
• RQ5 어떤 구조적 성질이 Dyck 경로에서 이러한 대칭을 유지하는 인벌루션을 가능하게 하는가?

주요 결과

• 인벌루션 Φ는 Dyck 경로의 상승 구성 요소를 유지하여 상승 단계 길이의 멀티세트가 그대로 유지됨을 보장한다.
• 이 사상은 환원 수(ret(D))와 첫 번째 이중 상승의 위치(ldr(D))를 교환하며, 이는 마지막 이중 상승의 중간 지점의 y좌표로 측정된다.
• 이러한 구성은 반복적이고 가역적이며, 경로 분해의 세 가지 구조적 경우 각각에 대해 명시적인 역 규칙이 제공된다.
• 인벌루션은 함수 방정식 ∑_{D∈Dₙ} x^{RISES(D)} p^{ret(D)} q^{n−ldr(D)} = ∑_{D∈Dₙ} x^{RISES(D)} p^{n−ldr(D)} q^{ret(D)} 를 증명한다.
• 이 방법은 고정된 상승 구성 조건 하에서 생성함수의 공동 대칭성에 대한 조합적 증명을 제공하며, Adin, Bagno, 및 Roichman가 제기한 질문을 해결한다.
• 이 결과는 Dyck 경로 통계에 새로운 대칭성을 확립하며, 321-피回避 순열과 관련된 정규 함수의 슈어 긍정성에 대한 이해를 확장한다.