[논문 리뷰] A bijection between certain quarter plane walks and Motzkin paths

Karen Yeats|arXiv (Cornell University)|2014. 12. 03.

Advanced Combinatorial Mathematics참고 문헌 3인용 수 4

한 줄 요약

이 논문은 {→, ↘, ↓, ←, ↖, ↑}를 사용하는 6단계의 제1사분면 보행과 이중색 Motzkin 경로 사이의 구축 가능한 전단사 사상(constructive bijection)을 제시한다. 이는 이전의 생성함수 기반 등가 결과를 확장한 것이다. 전단사 사상은 표시된 단계와 색상 정보를 추적하는 단계별 변환을 통해 명시적으로 정의되며, 이는 Eu가 제시한 3행 표준 Young 표와 단색 Motzkin 경로 사이의 전단사 사상으로도 제한될 수 있다.

ABSTRACT

This short note gives a bijection between quarter plane walks using the steps $\{ ightarrow, \searrow, \downarrow, \leftarrow, warrow, \uparrow\}$ and bicoloured Motzkin paths.

연구 동기 및 목표

• 제1사분면 보행 {→, ↘, ↓, ←, ↖, ↑}과 이중색 Motzkin 경로 사이의 명시적이고 구축 가능한 전단사 사상을 제공함으로써, 이전의 생성함수 기반 증명에서의 격차를 해결한다.
• 3행 표준 Young 표와 단색 Motzkin 경로 사이의 Eu의 기존 전단사 사상을 더 많은 단계 유형을 가진 보행의 더 큰 클래스로 확장한다.
• 보행 길이를 유지하고 제1사분면 제약 조건을 유지하면서, Motzkin 경로에 단계 색상 및 표시 정보를 인코딩하는 사상을 정의한다.
• 보행 클래스 Y(단지 {↘, ←, ↑}를 사용)에 대한 전단사 사상 f∘φ의 상이 정확히 단색 Motzkin 경로와 일치함을 보여주어, Eu의 결과를 복원한다.

제안 방법

• 보행 S의 각 단계를 순차적으로 처리하는 사상 φ: S → MM₂를 정의하며, 표시된 단계나 색상이 부여된 단계를 Motzkin 경로에 추가하거나 수정한다.
• 보행의 각 단계에 대해 특정 규칙을 적용: 현재 보행 단계에 따라, 특정 유형의 오른쪽 끝 표시 단계(빨간색 → 또는 검은색 ↘)를 삽입하거나 교체한다.
• 빨간색/검은색 두 가지 색상 체계와 표시/미표시의 표시 메커니즘을 사용하여, Motzkin 경로에서 보행 단계 유형과 순서를 인코딩한다.
• 표시를 忽시하고 원래의 보행을 재구성하는 역사상 ψ: M₂ → MM₂를 수립하여, f∘φ의 조합이 전단사임을 보장한다.
• 보행 클래스 Y(단지 {↘, ←, ↑}를 사용)에 대한 f∘φ의 상이 오직 빨간색 단계만을 사용하는 단색 Motzkin 경로로만 이루어져 있음을 증명한다.
• 사상이 길이를 유지하며, φ(S) = ψ(M₂)임을 검증함으로써, f∘φ를 통한 S와 M₂ 사이의 전단사 사상이 확인된다.

실험 결과

연구 질문

• RQ1 생성함수 등가성 외에도, 6단계의 제1사분면 보행과 이중색 Motzkin 경로 사이의 구축 가능한 전단사 사상을 설정할 수 있는가?
• RQ2 3행 표준 Young 표와 단색 Motzkin 경로 사이의 알려진 전단사 사상은 더 많은 단계 유형을 가진 보행 클래스로 자연스럽게 확장될 수 있는가?
• RQ3 보행 길이를 유지하고 제1사분면 제약 조건을 유지하면서, 명시적이고 단계별 변환을 통해 전단사 사상을 정의할 수 있는가?
• RQ4 전체 전단사 사상의 자연스러운 제한이 {↘, ←, ↑}만을 사용하는 보행에 대해 Eu의 이전 결과를 복원하는가?
• RQ5 보행을 삼각형 내에서 제한하고 경로를 고정된 높이의 스트립 내에서 제한하는 등의 높이 경계를 유지하는 전단사 사상을 수정할 수 있는가?

주요 결과

• 사상 f∘φ: S → M₂는 6단계의 제1사분면 보행과 이중색 Motzkin 경로 사이의 길이를 유지하는 전단사 사상이다.
• f∘φ를 보행 클래스 Y(단지 {↘, ←, ↑}를 사용)에 제한할 경우, 오직 빨간색 단계만을 사용하는 단색 Motzkin 경로의 클래스와 정확히 일치한다.
• 전단사 사상 φ는 단사적이며 길이를 유지하며, 그 이미지 위에서 명시적인 역사상 φ⁻¹이 정의되며, 이미지 φ(S)는 ψ(M₂)와 일치한다. 여기서 ψ는 이중색 표시 경로에서 보행을 재구성한다.
• 이 구성은 빨간색 단계만을 사용할 경우, 3행 표준 Young 표와 단색 Motzkin 경로 사이의 Eu의 전단사 사상을 특수한 경우로 복원한다.
• 전단사 사상은 높이 경계를 유지하지 않으며(예: 삼각형 내 보행과 고정된 높이의 스트립 내 경로), 그러한 제약 조건을 달성하기 위해 다른 구성이 필요함을 시사한다.
• 사상은 오른쪽 끝의 교체 규칙에 의존하며, 이는 경로가 유효하게 유지되고 역사상이 단계별로 구성될 수 있음을 보장한다.