[논문 리뷰] Commutative and non-commutative bialgebras of quasi-posets and applications to Ehrhart polynomials

Loïc Foissy|arXiv (Cornell University)|2016. 05. 26.

Advanced Combinatorial Mathematics참고 문헌 19인용 수 3

한 줄 요약

이 논문은 호프 대수적 구조를 통해 정수점 다각체의 Ehrhart 다항식을 연구하기 위해 준순서집합 위에 교환 및 비교환 이중대수를 도입한다. 상호작용하는 이중대수를 이용해 Ehrhart 다항식의 이중성 원리를 수립하고, 다항식의 상호관계 법칙에 대한 대수적 증명을 제공하며, Faulhaber의 공식과 B-급수에 관한 결과를 일반화한다. 압축된 단어를 통한 비교환 버전과 새로운 비교환 이중성 원리가 제시된다.

ABSTRACT

To any poset or quasi-poset is attached a lattice polytope, whose Ehrhart polynomial we study from a Hopf-algebraic point of view. We use for this two interacting bialgebras on quasi-posets. The Ehrhart polynomial defines a Hopf algebra morphism taking its values in Q[X], we deduce from the interacting bialgebras an algebraic proof of the duality principle, a generalization and a new proof of a result on B-series due to Whright and Zhao, using a monoid of characters on quasi-posets, and a generalization of Faulhaber's formula. We also give non-commutative versions of these results: polynomials are replaced by packed words. We obtain in particular a non-commutative duality principle.

연구 동기 및 목표

• 준순서집합을 통한 정수점 다각체의 Ehrhart 다항식을 연구하기 위한 호프-대수적 프레임워크를 개발한다.
• 준순서집합 위의 상호작용하는 이중대수를 이용해 Ehrhart 다항식의 이중성 원리를 수립한다.
• 준순서집합의 특성과 그의 모노이드 구조를 이용해 B-급수에 관한 결과와 Faulhaber의 공식을 일반화한다.
• 압축된 단어를 이용해 비교환 설정으로 이론을 확장하고, 비교환 이중성 원리를 정의한다.

제안 방법

• 하나의 하향집합으로의 제한 기반과 다른 하나는 간격 분해 기반의 두 가지 다른 코프로덕트를 사용해 준순서집합 위에 두 개의 상호작용하는 이중대수를 구성한다.
• 준순서집합의 이중대수에서 ℚ[X]로의 호프 대수의 준동형을 Ehrhart 다항식을 통해 정의하여 확대된 다각체 내 정수점의 수를 코딩한다.
• 준순서집합 위의 특성의 모노이드를 도입하여 Ehrhart 다항식을 분석하고, 이중성 원리를 대수적으로 증명한다.
• WQSym 호프 대수 내 압축된 단어의 구조를 이용해 Ehrhart 다항식과 이중성의 비교환 해석을 정의한다.
• 역전환 Φ−1를 통해 비교환 이중성 원리를 수립하여, Φ−1(x↓y) = Φ−1(x)⊲⊳Φ−1(y) 및 그 반대도 성립함을 보인다.
• 포지트 위에서 Ehrhart 사상의 상이 WQSym 대수 전체임을 증명하여, 전성과 비교환 이중성과의 호환성을 보여준다.

실험 결과

연구 질문

• RQ1 Ehrhart 다항식은 준순서집합의 이중대수에서 ℚ[X]로의 호프 대수 준동형으로 어떻게 해석될 수 있는가?
• RQ2 Ehrhart 다항식의 상호관계 법칙의 대수적 근원은 무엇이며, 이는 이중대수적 구조를 통해 증명될 수 있는가?
• RQ3 Wright와 Zhao가 제시한 B-급수에 관한 결과는 준순서집합 위의 특성과 이를 통해 어떻게 일반화되고 재증명될 수 있는가?
• RQ4 Ehrhart 다항식의 비교환 해석은 무엇이며, 이 경우 이중성은 어떻게 나타나는가?
• RQ5 포지트에서 호프 대수로의 Ehrhart 사상 EHR과 그 엄격한 형태 EHR^{str}는 WQSym 호프 대수로 전성인가? 이는 상의 구조에 대해 어떤 의미를 갖는가?

주요 결과

• Ehrhart 다항식은 준순서집합의 이중대수에서 ℚ[X]로의 호프 대수 준동형으로 정의되며, 이는 그 성질에 대한 대수적 분석을 가능하게 한다.
• 준순서집합 위의 특성의 모노이드와 상호작용하는 이중대수의 구조를 이용해 Ehrhart 다항식의 이중성 원리가 대수적으로 증명된다.
• 특성 α와 리만 제타 함수를 통한 베르누이 수와의 관계로부터 Faulhaber의 공식의 일반화가 도출된다.
• 비교환 이중성 원리가 성립한다: Φ−1(x↓y) = Φ−1(x)⊲⊳Φ−1(y) 및 Φ−1(x⊲⊳y) = Φ−1(x)↓Φ−1(y), 여기서 Φ−1는 WQSym 위의 역전환이다.
• 포지트로 제한된 EHR 사상과 그 엄격한 형태 EHR^{str}는 WQSym 호프 대수로 전성이며, 이는 WQSym이 포지트에서의 Ehrhart 구성의 상임을 시사한다.
• WQSym 내 압축된 단어의 구조는 Ehrhart 다항식의 비교환 일반화를 제공하며, 포지트에서의 Ehrhart 사상은 WQSym 대수 전체를 실현한다.