[논문 리뷰] Enumerative properties of Grid-Associahedra

Alexander Garver, Thomas McConville|arXiv (Cornell University)|2017. 05. 13.

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

한 줄 요약

이 논문은 격자 모양에서의 비키스팅 복합체에 대해 Chapoton의 F-, H-, M-삼각형에 해당하는 유사체를 설정하여 그리드-카탈란 조합론을 도입한다. F-삼각형과 H-삼각형 사이의 항등식을 증명하고, F-삼각형과 M-삼각형 사이의 유사한 항등식을 추측한다. 이러한 대상에 대해 조합론적, 격자 이론적, 기하학적 해석을 제공하고, 완전한 팬 실현(그리드-아소시아헤드론 팬)을 구축하며, 비키스팅 복합체와 비교교차 복합체의 면들 사이의 전단사 사상 수립.

ABSTRACT

We continue the study of the nonkissing complex that was introduced by Petersen, Pylyavskyy, and Speyer and was studied lattice-theoretically by the second author. We introduce a theory of Grid-Catalan combinatorics, given the initial data of a nonkissing complex, and show how this theory parallels the well-known Coxeter-Catalan combinatorics. In particular, we present analogues of Chapoton's F-triangle, H-triangle, and M-triangle and give combinatorial, lattice-theoretic, and geometric interpretations of the objects defining these. In our Grid-Catalan setting, we prove that Chapoton's F-triangle and H-triangle identity holds, and we conjecture that Chapoton's F-triangle and M-triangle identity also holds. As an application, we obtain a bijection between the facets of the nonkissing complex and of the noncrossing complex, which provides a partial solution to an open problem of Santos, Stump, and Welker.

연구 동기 및 목표

• 코x터-카탈란 조합론과 평행하는 그리드-카탈란 조합론 프레임워크를 개발하기 위해.
• 격자 모양에서의 비키스팅 복합체의 맥락에서 F-, H-, M-삼각형을 정의하고 해석하기 위해.
• 비키스팅 복합체와 비교교차 복합체의 면들 사이의 전단사 사상을 수립하여, 산투스, 스타프, 웰커가 제기한 열린 문제에 부분적인 해결을 제공하기 위해.
• F-, H-, M-삼각형에 대해 조합론적, 격자 이론적, 기하학적 해석을 제공하기 위해.
• F-삼각형과 H-삼각형 사이의 항등식을 증명하고, F-삼각형과 M-삼각형 사이의 유사한 항등식을 추측하여, A형에서의 찰포톤 결과를 모방하기 위해.

제안 방법

• 격자 모양 λ 내의 방향 경로 위에 정의된 순수 심플리셜 복합체로서 비키스팅 복합체를 정의하며, 간선은 아래쪽과 오른쪽으로 방향이 설정됨.
• 비키스팅 복합체의 완전한 팬 실현으로서 그리드-아소시아헤드론 팬을 구성하며, 이는 다면체의 정규 팬이 될 것으로 추측됨.
• 순위 생성 다항식이 비키스팅 복합체의 h-다항식과 일치하는 계층적 격자 Ψf(λ)로 조각 교차 순서를 정의함.
• F-삼각형을 비키스팅 복합체의 면 수를 코딩하는 이변수 다항식으로, H-삼각형을 높이 가중 면 수로, M-삼각형을 조각 교차 순서 위에서의 멱함수 합으로 정의함.
• 조합론적, 격자 이론적, 기하학적 해석을 활용하여, 다양한 구조 간에 세 삼각형을 통합함.
• 복합체 내 링크의 분해와 변수 변경을 통해 F(x, y) = H(x+1, y+1) 항등식을 F-삼각형과 H-삼각형 사이에 증명함.

실험 결과

연구 질문

• RQ1 Chapoton의 F-, H-, M-삼각형은 어떻게 격자 모양에서의 비키스팅 복합체로 일반화될 수 있는가?
• RQ2 그리드-카탈란 설정에서 F-, H-, M-삼각형의 조합론적, 격자 이론적, 기하학적 의미는 무엇인가?
• RQ3 F(x, y) = H(x+1, y+1) 항등식은 그리드-카탈란 설정에서 성립하는가? 그리고 이는 F-삼각형과 M-삼각형로 확장될 수 있는가?
• RQ4 이 프레임워크에서 비키스팅 복합체와 비교교차 복합체의 면들 사이에 자연스러운 전단사 사상이 존재하는가?
• RQ5 조각 교차 순서 Ψf(λ)는 코x터-카탈란 대상과 유사한 정교한 수량적 구조를 정의하는 데 사용될 수 있는가?

주요 결과

• F(x, y) = H(x+1, y+1) 항등식은 그리드-카탈란 설정에서 F-삼각형과 H-삼각형 사이에 성립하며, A형에서의 찰포톤 결과를 일반화함.
• 3×4 직사각형 모양에 대해 F-삼각형은 상단 행이 (1,0,0,0,0,0,0)이고 하단 행이 (98,154,121,60,22,6,1)인 7×7 하삼각행렬임.
• 3×4 직사각형의 H-삼각형은 h_{ij}로 구성된 7×7 행렬이며, h_{66}=1, h_{60}=0, h_{55}=6, h_{50}=0임.
• 3×4 직사각형의 M-삼각형은 m_{66}=1, m_{60}=0이며, 하단 행은 (98,-371,548,-395,141,-22,1)임.
• 3×4 직사각형과 그 부분그래프에 대해 추측된 항등식 M(−x,−y/x) = (1−y)^r F((x+y)/(1−y), y/(1−y))가 Sage를 통해 검증됨.
• 비키스팅 복합체와 비교교차 복합체의 면들 사이의 전단사 사상이 수립되었으며, 산투스, 스타프, 웰커가 제기한 열린 문제에 대한 부분적 해결을 제공함.