[논문 리뷰] Cubic realizations of Tamari interval lattices

Camille Combe|arXiv (Cornell University)|2019. 04. 11.

semigroups and automata theory참고 문헌 10인용 수 8

한 줄 요약

이 논문은 타마리 간격 격자(Interval lattice)를 압축된 정수 튜플인 입방좌표로 표현하는 방법을 제안하며, 간격-포스(et)를 통해 이 좌표와 타마리 간격 사이의 전단사 관계를 수립한다. 주요 기여는 R^{n-1}에서 입방격자로 표현된 타마리 간격 격자를 기하학적으로 실현한 것으로, 입방좌표가 공간 좌표로 기능하며, 이 복합체의 셀들과 동기화된 입방좌표 사이의 전단사 대응 관계를 증명하는 데 있다.

ABSTRACT

We introduce cubic coordinates, which are integer words encoding intervals in the Tamari lattices. Cubic coordinates are in bijection with interval-posets, themselves known to be in bijection with Tamari intervals. We show that in each degree the set of cubic coordinates forms a lattice, isomorphic to the lattice of Tamari intervals. Geometric realizations are naturally obtained by placing cubic coordinates in space, highlighting some of their properties. Finally, we consider the cellular structure of these realizations.

연구 동기 및 목표

• 입방좌표라 불리는 정수 튜플을 사용해 타마리 간격을 새로운 압축된 방식으로 표현하는 것.
• 이 좌표를 사용해 타마리 간격 격자를 R^{n-1}에서 입방격자 복합체로 기하학적으로 실현하는 것.
• 이 기하학적 실현의 셀들과 동기화된 입방좌표 사이의 전단사 관계를 증명하는 것.
• 입방좌표의 집합이 타마리 간격 격자와 동형인 격자 구조를 이룬다는 것을 보이는 것.
• 이 기하학적 실현의 셀 구조가 동기화된 간격의 조합론적 성질과 어떻게 연결되는지 밝히는 것.

제안 방법

• 타마리 다이어그램와 그 쌍대 타마리 다이어그램의 호환성 쌍으로서 타마리 간격 다이어그램을 정의한다.
• 타마리 간격 다이어그램을 두 단계의 인코딩 과정을 통해 유도된 (n-1)-튜플인 입방좌표를 구성한다.
• 다이어그램 간 호환성 조건을 이용해 타마리 간격 다이어그램과 간격-포스 사이의 전단사 관계를 수립한다.
• 기하학적 실현에서의 커버 관계를 통해 입방좌표 집합에 부분순서를 도입하며, 이는 타마리 간격 격자와 동형이 된다.
• 입방좌표를 R^{n-1}에 통합하여 커버 관계의 방향성을 갖춘 그래프를 형성함으로써 기하학적 실현을 정의한다.
• 최소 셀 입방좌표(셀)에서 동기화된 입방좌표로의 사상 Γ를 정의하고, 구조적 및 순서론적 추론을 통해 전단사성을 증명한다.

실험 결과

연구 질문

• RQ1 타마리 간격을 그 격자 구조를 유지하면서도 계산적으로 효율적인 압축된 방식으로 표현할 수 있는가?
• RQ2 유클리드 공간에서 좌표 기반 시스템을 사용해 타마리 간격 격자의 기하학적 실현을 구성할 수 있는가?
• RQ3 이 기하학적 실현의 셀 구조와 동기화된 타마리 간격의 조합론적 성질 사이의 관계는 무엇인가?
• RQ4 기하학적 실현의 셀과 동기화된 입방좌표 집합 사이에 자연스러운 전단사 관계가 존재하는가?
• RQ5 타마리 간격의 대수적 성질과 순서론적 성질이 입방좌표 프레임워크에서 어떻게 나타나는가?

주요 결과

• 입방좌표는 기하학적 실현에서의 커버 관계에 의해 유도된 부분순서를 지닌다. 이는 타마리 간격 격자와 동형인 격자를 이룬다.
• R^{n-1}에서 입방좌표의 기하학적 실현은 각 점이 타마리 간격에 대응하는 입방격자 복합체를 생성한다.
• 크기 n인 기하학적 실현의 셀 집합과 크기 n인 동기화된 입방좌표 집합 사이에 사상 Γ가 전단사임을 수립하였다.
• 동기화된 타마리 간격은 인코딩의 성질에 의해 0이 포함되지 않은 입방좌표와 정확히 일치한다.
• 크기 n인 기하학적 실현의 셀 수와 크기 n인 동기화된 입방좌표의 수가 일치함으로써 Γ의 전단사성은 확인되었다.
• 전단사성의 증명은 입방좌표 격자 구조의 성질과 올리기 화살표 연산의 행동에 기반하며, 좌표와 그 후속자 사이에 중간 입방좌표가 존재하지 않음을 보장한다.