[논문 리뷰] A direct encoding of Stoimenow's matchings as ascent sequences

Anders Claesson, Mark Dukes외 1명|Strathprints: The University of Strathclyde institutional repository (University of Strathclyde)|2009. 10. 08.

Geometric and Algebraic Topology참고 문헌 2인용 수 10

한 줄 요약

이 논문은 끈 이론에서 나타나는 특정한 교차하지 않고 중첩되지 않는 매칭인 Stoimenow 매칭과 특정한 재귀적 제약 조건을 가진 정수 수열인 상승 수열 사이의 직접 이분사 사상(bijection)을 제시한다. 저자들은 매칭에 대해 명시적인 재귀적 제거 및 추가 연산을 정의하여 상승 수열의 구조를 그대로 반영함으로써, 중간 단계의 부분순서집합(posets)이나 순열을 거치지 않고 직접적인 인코딩을 가능하게 한다.

ABSTRACT

In connection with Vassiliev's knot invariants, Stoimenow (1998) introduced certain matchings, also called regular linearized chord diagrams. Bousquet-Melou et al. (2008) gave a bijection from those matchings to unlabeled (2+2)-free posets; they also showed how to encode the posets as so called ascent sequences. In this paper we present a direct encoding of Stoimenow's matchings as ascent sequences. In doing so we give the rules for recursively constructing and deconstructing such matchings.

연구 동기 및 목표

• Stoimenow 매칭과 상승 수열 사이의 간접적인 중간 조합 객체(예: $(\mathbf{2+2})$-free posets)를 회피하는 직접적이고 명시적인 이분사 사상을 수립하기 위해.
• 상승 수열의 연산과 유사한 방식으로 매칭에 대한 제거 및 추가 연산을 정의함으로써 Stoimenow 매칭의 재귀적 구조를 드러내기 위해.
• 라벨 기반의 화살표 연산을 이용한, 생성 및 분해를 위한 구축 가능한 알고리즘적 프레임워크를 제공하기 위해.
• 결과로 얻어진 사상이 $2n$개의 점을 가진 Stoimenow 매칭의 집합과 길이 $n$인 상승 수열의 집합 사이에 잘 정의되고 가역적인 대응 관계임을 증명하기 위해.
• 매칭의 재귀적 동역학이 상승 수열의 그것과 정확히 일치하며, $\mathsf{M}(\pi)$ 및 $\mathsf{m}(\pi)$와 같은 주요 통계량을 유지하는지 확인하기 위해.

제안 방법

• 매칭의 각 화살표의 라벨을 그 오프너의 닫는 요소보다 앞서 나오는 닫는 요소의 수로 정의하여, 구조적 특징을 추적할 수 있는 라벨링 체계를 수립한다.
• 두 가지 핵심 화살표를 식별한다: 마지막 두 점을 연결하는 최대 화살표 $\mbox{\sf{maxarc}}(\pi)$와 재귀적 제거 단계를 결정하는 감소 화살표 $\mbox{\sf{redarc}}(\pi)$.
• 감소 화살표의 라벨 $i = \mathsf{m}(\pi)$와 그 라벨 클래스의 크기를 기반으로 한 세 가지 제거 규칙(Rem1, Rem2, Rem3)을 도입하여, 결과 매칭이 여전히 Stoimenow 성질을 유지하도록 보장한다.
• 길이 $[0, 1 + \mathsf{M}(\sigma)]$ 내의 라벨 $i$에 따라 위치가 결정되는 새로운 화살표를 삽입함으로써, 더 작은 매칭으로부터 매칭을 재구성하는 세 가지 추가 규칙(Add1, Add2, Add3)을 정의한다. 이는 Stoimenow 성질을 유지한다.
• 재귀적으로 매핑 $\Psi^\prime: \mathcal{I}_n \to \mathcal{A}_n$를 구성한다: $\Psi^\prime(\pi) = (\Psi^\prime(\sigma), i)$, 여기서 $\psi^\prime(\pi) = (\sigma, i)$는 제거 연산에 의해 정의된다.
• 제거 및 추가 연산이 상호 역관계에 있음을 증명하여, $n$에 대한 귀납법을 통해 잘 정의된 이분사 사상을 수립한다.

실험 결과

연구 질문

• RQ1 중간 조합 객체에 의존하지 않고, Stoimenow 매칭과 상승 수열 사이에 직접적이고 재귀적인 이분사 사상을 구성할 수 있는가?
• RQ2 Stoimenow 매칭에서 화살표를 재귀적으로 제거하고 추가할 때, 그 결과로 얻어진 구조가 Stoimenow 성질을 유지하고 상승 수열의 재귀 구조와 정확히 일치하도록 하는 정밀한 규칙는 무엇인가?
• RQ3 최대 화살표와 감소 화살표의 라벨인 $\mathsf{M}(\pi)$와 $\mathsf{m}(\pi)$는 제거 및 추가 연산 하에서 어떻게 행동하는가?
• RQ4 Stoimenow 매칭의 재귀적 구조는 상승 수열의 그것과 동형이며, 만약 그렇다면 이 동형관계를 명시적이고 알고리즘적으로 표현할 수 있는가?
• RQ5 제안된 직접적 인코딩이 Stoimenow 매칭과 상승 수열 사이의 등수성(equinumerosity)을 유지하는가? 그리고 이는 구성적이고 가역적인 사상으로 증명될 수 있는가?

주요 결과

• 논문은 Stoimenow 매칭에서 상승 수열로의 직접적 이분사 사상 $\Psi^\prime$를 구성하였으며, 두 집합이 일대일 대응임을 증명하였다.
• 제거 연산 $\psi^\prime(\pi) = (\sigma, i)$는 잘 정의되고 가역적이며, 라벨 $i = \mathsf{m}(\pi)$와 그 라벨 클래스의 크기에 기반한 세 가지 경우로 나뉜다.
• 추가 연산 $\varphi^\prime(\sigma, i)$는 $\sigma$와 라벨 $i$로부터 매칭 $\pi$를 재구성하며, 제거의 경우에 대응하는 세 가지 규칙을 통해 $\pi$가 여전히 Stoimenow 매칭임을 보장한다.
• $\Psi^\prime$는 $\psi^\prime(\varphi^\prime(\sigma, i)) = (\sigma, i)$ 및 $\varphi^\prime(\psi^\prime(\pi)) = \pi$를 만족하며, $n \geq 2$일 때 가역성을 확인한다.
• $\mathsf{M}(\pi)$와 $\mathsf{m}(\pi)$의 통계량은 예측 가능한 방식으로 변형된다: $i \leq \mathsf{m}(\sigma)$이면 $\mathsf{M}(\pi) = \mathsf{M}(\sigma)$, $i > \mathsf{m}(\sigma)$이면 $\mathsf{M}(\pi) = \mathsf{M}(\sigma) - 1$이 되며, 이는 재귀적 구조를 유지한다.
• 이 구성은 Stoimenow 매칭을 상승 수열로 완전하고 알고리즘적으로 인코딩하며, $(\mathbf{2+2})$-free posets를 통한 간접적 이분사 사상의 직접적 대체를 제공한다.