[논문 리뷰] Piecewise-linear and birational toggling

David M. Einstein, James Propp|arXiv (Cornell University)|2014. 04. 14.

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

한 줄 요약

이 논문은 유한 부분순서집합(order ideals)의 토글링 작용에 대해 조각별 선형 및 비유리적 대응을 도입하여 조합적 라우닝모션과 프로모션을 확장한다. 직사각형 부분순서집합 $[a] \times [b]$에서 비유리적 라우닝모션의 순서가 $a + b$임을 증명하고, 토로피컬라이제이션과 상호관계를 통해 이러한 동역학 하에서 대칭 함수 기능에 대한 호모메시 결과를 확립한다.

ABSTRACT

We define piecewise-linear and birational analogues of the toggle-involutions on order ideals of posets studied by Striker and Williams and use them to define corresponding analogues of rowmotion and promotion that share many of the properties of combinatorial rowmotion and promotion. Piecewise-linear rowmotion (like birational rowmotion) admits an alternative definition related to Stanley's transfer map for the order polytope; piecewise-linear promotion relates to Schützenberger promotion for semistandard Young tableaux. The three settings for these dynamical systems (combinatorial, piecewise-linear, and birational) are intimately related: the piecewise-linear operations arise as tropicalizations of the birational operations, and the combinatorial operations arise as restrictions of the piecewise-linear operations to the vertex-set of the order polytope. In the case where the poset is of the form $[a] imes [b]$, we exploit a reciprocal symmetry property recently proved by Grinberg and Roby to show that birational rowmotion (and consequently piecewise-linear rowmotion) is of order $a+b$. This yields a new proof of a theorem of Cameron and Fon-der-Flaass. Our proofs make use of the correspondence between rowmotion and promotion orbits discovered by Striker and Williams, which we make more concrete. We also prove some homomesy results, showing that for certain functions $f$, the average value of $f$ over each rowmotion/promotion orbit is independent of the orbit chosen.

연구 동기 및 목표

• 유한 부분순서집합의 순서 이상에 대한 조각별 선형 및 비유리적 토글링 작용의 일반화를 개발한다.
• 조합적 라우닝모션과 프로모션의 조각별 선형 및 비유리적 설정으로의 확장을 통해 핵심 동역학적 성질을 유지한다.
• 토로피컬라이제이션과 순서 다면체로의 제약을 통해 이 세 동역학계 간의 연결 고리를 설정한다.
• 비유리적 라우닝모션이 $[a] \times [b]$에서 순서 $a + b$를 가짐을 증명한다. 이는 Grinberg와 Roby의 역대칭 성질을 이용한다.
• 세 가지 설정 전반에서 라우닝모션과 프로모션 하에서 대칭 함수 기능에 대한 호모메시를 보여준다.

제안 방법

• 조합적 토글을 일반화한 순서 이상에 대한 조각별 선형 및 비유리적 토글 맵을 정의한다.
• 토글의 조합으로 조각별 선형 및 비유리적 라우닝모션과 프로모션을 구성하며, 라우닝모션은 순서 다면체에서 Stanley의 전이 맵을 통해 정의된다.
• 토로피컬라이제이션을 통해 비유리적 작용을 조각별 선형 작용과 연결하고, 조각별 선형 작용을 조합적 작용과 연결한다.
• $[a] \times [b]$의 rc-임bedding을 활용해 랭크와 파일을 정의함으로써 대칭 기반 분석을 가능하게 한다.
• Grinberg와 Roby의 역대칭 성질을 적용하여 비유리적 라우닝모션이 $[a] \times [b]$에서 순서 $a + b$를 가짐을 보인다.
• 라우닝모션과 프로모션 하에서 $F_{i,j}(f) = f(i,j) + f(a+1-i,b+1-j)$ 및 $F_k(f) = \sum_{j-i=k-a} f(i,j)$와 같은 기능의 궤도 평균을 분석하여 호모메시를 증명한다.

실험 결과

연구 질문

• RQ1 부분순서집합의 순서 이상에 대한 조각별 선형 및 비유리적 토글링, 라우닝모션, 프로모션의 대응은 무엇인가?
• RQ2 조각별 선형 및 비유리적 라우닝모션과 프로모션은 토로피컬라이제이션과 제약을 통해 조합적 대응과 어떻게 관련이 있는가?
• RQ3 부분순서집합 $[a] \times [b]$에서 비유리적 라우닝모션의 순서는 무엇인가?
• RQ4 어떤 기능이 비유리적 및 조각별 선형 라우닝모션과 프로모션 하에서 호모메시를 보이는가?
• RQ5 호모메시 결과는 선형 조합 형태의 대칭 기능으로 올리거나 특성화할 수 있는가?

주요 결과

• 비유리적 라우닝모션은 부분순서집합 $[a] \times [b]$에서 순서 $a + b$를 가지며, Cameron과 Fon-Der-Flaass의 정리에 대한 새로운 증명을 제공한다.
• 조각별 선형 라우닝모션은 비유리적 라우닝모션의 토로피컬라이제이션이며, 조합적 라우닝모션은 순서 다면체의 꼭짓점으로의 조각별 선형 라우닝모션 제약으로부터 유도된다.
• 기능 $F_{i,j}(f) = f(i,j) + f(a+1-i,b+1-j)$는 조각별 선형 라우닝모션과 프로모션 하에서 호모메시이며, 궤도에 관계없이 평균값이 일정하다.
• 기능 $F_k(f) = \sum_{j-i=k-a} f(i,j)$는 $k$-번째 파일을 합산하며, 조각별 선형 라우닝모션과 프로모션 하에서 호모메시이다.
• 비유리적 설정에서는 $F_{i,j}(f) = \log(f(i,j)f(a+1-i,b+1-j))$ 및 $F_k(f) = \log(\prod_{j-i=k-a} f(i,j))$가 비유리적 라우닝모션과 프로모션 하에서 0-메식(0-mesic)이다.
• 조각별 선형 라우닝모션 하에서 호모메시인 임의의 기능은 $F_{i,j}$ 및 $F_k$의 선형 조합이어야 하며, 이는 논문의 전체 버전에서 증명된다.