[논문 리뷰] Parking functions and triangulation of the associahedron

Jean-Louis Loday|ArXiv.org|2005. 10. 18.

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

한 줄 요약

이 논문은 순열체의 최고차원 단체와 주차 함수 사이에 자연스러운 전단사 사상이 존재함을 보이며, 양측 모두 크기가 $(n+1)^{n-1}$ 임을 밝힌다. 셔플과 면 분해를 기반으로 한 귀납적 구성법을 통해, 약한 브루하트 순서와 호환되는 아소시아헤드론과 순열체의 최소 삼등분을 제공하며, 이 다면체들이 단체 집합의 기하적 실현으로서 실현됨을 보여준다.

ABSTRACT

We show that a minimal triangulation of the associahedron (Stasheff polytope) of dimension n is made of (n+1)^{n-1} simplices. We construct a natural bijection with the set of parking functions from a new interpretation of parking functions in terms of shuffles.

연구 동기 및 목표

• 아소시아헤드론(스태시에프 다면체)의 타마리 순서계와 변의 방향과 호환되는 최소 삼등분을 구성하는 것.
• 이 삼등분에서 최고차원 단체의 수가 $(n+1)^{n-1}$ 임을 보이며, 주차 함수의 수와 일치함을 보이는 것.
• 길이 $n$인 주차 함수의 집합과 아소시아헤드론의 최고차원 단체 사이에 자연스러운 전단사 사상을 정의하는 것.
• 이 구성법을 순열체로 확장하여, 그 삼등분을 위한 유사한 귀납적 구조를 제안하는 것.

제안 방법

• 타마리 순서계에서 유도된 방향 단체를 사용하여, 단체 집합의 기하적 실현으로서 아소시아헤드론을 구성하는 것.
• 새로운 셔플 기반의 귀납적 분해를 통해 주차 함수를 정의한다: $PF_n = \bigcup_{p+q=n-1} \big\bracevert \{1,\ldots,p+1\} \times Sh(p,q) \times PF_p \times PF_q \big\}$.
• 순열체의 변을 방향화하기 위해 $S_n$ 상의 약한 브루하트 순서를 사용하여 삼등분과의 호환성을 확보하는 것.
• 최저점(남극)을 포함하지 않는 면을 이용해 콘 구조를 통해 순열체 $\mathcal{P}^n$ 의 삼등분을 귀납적으로 구성하는 것.
• 모든 순서적 전사 사상 $[n+1] \to [p+1]$ 중 최대값인 $f_0$ 를 제외한 $SM(n,p)$ 를 정의하고, 이를 면을 매개변수화하는 데 사용하는 것.
• 순열체의 최고차원 단체에 대한 재귀 공식 $ZP_n = \bigcup_{p=0}^{n-1} SM(n,p) \times Sh(p,n-p-1) \times ZP_p \times ZP_{n-p-1}$ 을 수립하는 것.

실험 결과

연구 질문

• RQ1 아소시아헤드론의 최고차원 단체와 길이 $n$인 주차 함수 사이에 표준 전단사 사상이 존재하는가?
• RQ2 타마리 순서계의 변 방향과 호환되는 최소 삼등분을 통해 아소시아헤드론을 삼등분할 수 있는가?
• RQ3 $(n+1)^{n-1}$ 이 아소시아헤드론의 최소 삼등분에서 최고차원 단체의 수이자 주차 함수의 수를 동시에 세는가?
• RQ4 셔플과 면 분해를 기반으로 한 유사한 귀납적 구조를 사용하여 순열체를 삼등분할 수 있는가?
• RQ5 순열체의 최고차원 단체에 대한 재귀 공식을 만족하는 조합적 대상은 주차 함수의 조합적 동반자로 간주될 수 있는가?

주요 결과

• 차원 $n$ 인 아소시아헤드론의 최소 삼등분에서 최고차원 단체의 수는 정확히 $(n+1)^{n-1}$ 이며, 길이 $n$ 인 주차 함수의 수와 일치한다.
• 셔플 기반의 귀납적 분해를 통해 주차 함수 $PF_n$ 과 아소시아헤드론의 최고차원 단체 사이에 자연스러운 전단사 사상을 구성한다.
• 아소시아헤드론의 삼등분은 타마리 순서계에 의해 유도된 변의 방향과 호환되며, 이는 단체 집합의 기하적 실현임을 보여준다.
• 순열체 $\mathcal{P}^n$ 는 $\#ZP_n$ 개의 최고차원 단체를 가지며, $n = 0$ 에서 $8$ 까지의 수열은 $1, 1, 4, 34, 488, 10512, \ldots$ 로 시작하며, $SM(n,p)$ 와 셔플을 포함하는 재귀 공식을 만족한다.
• 순열체의 삼등분의 재귀적 구조는 주차 함수의 그것과 유사하여, 순열체에 대한 주차 함수의 조합적 동반자가 존재할 가능성을 시사한다.