[논문 리뷰] Occupied corners in tree-like tableaux

Patxi Laborde Zubieta|arXiv (Cornell University)|2015. 05. 22.

Advanced Combinatorial Mathematics참고 문헌 9인용 수 12

한 줄 요약

이 논문은 크기 $ n $ 인 나무꼴 표편에서 평균적으로 정확히 한 개의 점을 가진 모서리—남동경계의 모서리 중 점을 포함하는 곳—를 가진다. 저자들은 두 가지 증명을 제시한다: 간결한 다항식 기반의 추론과, 추가적인 구조적 성질을 드러내는 순열과의 비준위를 이용한 증명이다. 이 결과는 대칭 나무꼴 표편과 동치류로 확장되며, 통계역학의 PASEP 모델에 응용되어, 균일한 가중치 하에서 각 상태당 평균 $ \frac{n+2}{3} $ 개의 점프 위치를 암시한다.

ABSTRACT

Tree-like tableaux are combinatorial objects that appear in a combinatorial understanding of the PASEP model from statistical mechanics. In this understanding, the corners of the Southeast border correspond to the locations where a particle may jump to the right. Such corners may be of two types: either empty or occupied. Our main result is the following: on average there is one occupied corner per tree-like tableau. We give two proofs of this, a short one which gives us a polynomial version of the result, and another one using a bijection between tree-like tableaux and permutations which gives us an additional information. Moreover, we obtain the same result for symmetric tree-like tableaux and we refine our main result to an equivalence class. Finally we present a conjecture enumerating corners, and we explain its consequences for the PASEP.

연구 동기 및 목표

• 크기 $ n $ 인 나무꼴 표편에서 점을 가진 모서리의 평균 수를 결정하는 것.
• 결과를 대칭 나무꼴 표편과 표편의 동치류로 확장하는 것.
• 표편에서의 모서리 통계와 PASEP 모델의 입자 점프 위치 사이의 연결 고리를 탐색하는 것.
• 나무꼴 표편과 그 대칭형에서의 총 모서리 수에 대한 추측을 수립하고 조사하는 것.

제안 방법

• 모서리 수의 다항식 형태를 이용한 짧은 증명으로, 표편당 정확히 한 개의 점을 가진 모서리가 평균으로 존재함을 입증한다.
• 나무꼴 표편과 순열 사이의 비준위를 기반으로 한 두 번째 증명으로, 교차 수를 일반화된 패턴 2-31의 발생과 매칭한다.
• 점의 위치에 기반한 표편에 대한 동치 관계 정의로, 각 동치류가 정확히 한 개의 점을 가진 모서리를 포함함을 보여준다.
• 격자 경로 표현을 사용하여 주요 결과를 재기반으로 하며, 주어진 경로 아래에서 약하게 위치한 경로들과 공통 모서리를 연결하는 비준위 증명을 제시한다.
• 표편에서의 모서리 수를 PASEP 모델과 연결하기 위해 정(stationary) 분포를 사용하며, 가중치 $ w(T) = q^{cr(T)}\alpha^{-tp(T)}\beta^{-lp(T)} $ 를 갖는 표편에 대한 가중합을 사용한다.
• Sage를 사용한 컴퓨터 탐색을 통해 $ \mathcal{T}_n $ 과 $ \mathcal{T}^{\text{Sym}}_{2n+1} $ 에서의 총 모서리 수 계산에 대한 추측을 뒷받침한다.

실험 결과

연구 질문

• RQ1 크기 $ n $ 인 균일한 랜덤 나무꼴 표편에서 점을 가진 모서리의 기대 수는 얼마인가?
• RQ2 나무꼴 표편을 구성하는 데 사용되는 삽입 알고리즘을 거치면 점을 가진 모서리의 수는 어떻게 변화하는가?
• RQ3 순열과의 비준위를 통해 점을 가진 모서리의 평균 수를 더 세밀하게 분석할 수 있으며, 이로써 어떤 추가 통계적 성질이 드러나는가?
• RQ4 결과는 대칭 나무꼴 표편으로 확장될 수 있으며, 이러한 경우 점을 가진 모서리의 평균 수는 어떻게 행동하는가?
• RQ5 크기 $ n $ 인 모든 나무꼴 표편에서의 총 모서리 수는 얼마이며, 이는 PASEP의 점프 위치와 어떻게 관련이 있는가?

주요 결과

• 크기 $ n $ 인 나무꼴 표편당 평균적으로 정확히 한 개의 점을 가진 모서리가 존재하며, 이는 $ n $ 에 관계없이 성립한다.
• 크기 $ 2n+1 $ 인 대칭 나무꼴 표편에 대해서도 결과가 성립하며, 이 경우 표편당 평균적으로 한 개의 점을 가진 모서리가 존재한다.
• 동치류의 정밀화는 각 동치류가 정확히 한 개의 점을 가진 모서리를 포함함을 보여주며, 주요 결과를 더욱 정밀하게 다듬는다.
• 크기 $ n $ 인 모든 나무꼴 표편에서의 총 모서리 수는 컴퓨터 탐색에 기반해 $ n! \times \frac{n+4}{6} $ 로 추측된다.
• PASEP 모델에서 $ \alpha = \beta = q = 1 $ 인 경우, 각 상태당 점프 위치(오른쪽 또는 왼쪽)의 기대 수는 $ \frac{n+2}{3} $ 로, 모서리 수에서 유도된다.
• 크기 $ 2n+1 $ 인 대칭 나무꼴 표편에서의 모서리 수는 $ 2^n \times n \times \frac{4n+13}{12} $ 로 추측된다.