[논문 리뷰] Linear inequalities for flags in graded posets

Louis J. Billera, Gábor Hetyei|arXiv (Cornell University)|1997. 06. 25.

Advanced Combinatorial Mathematics참고 문헌 2인용 수 6

한 줄 요약

이 논문은 계수가 있는 포스셋의 플래그 f-벡터로 생성된 볼록 쌍대의 폐쇄가 다면체임을 증명하며, 비음성 체인 수세기 함수기능의 다면체 쌍대의 면 불등식을 명시적으로 유도한다. 이러한 불등식들은 순위 집합 위의 간격의 반사군과 일대일로 대응되며, Catalan 수로 세어지며, 순위가 5 이하인 포스셋에 대해 가장 강력한 불등식이 완전히 특성화되어 있다.

ABSTRACT

The closure of the convex cone generated by all flag $f$-vectors of graded posets is shown to be polyhedral. In particular, we give the facet inequalities to the polar cone of all nonnegative chain-enumeration functionals on this class of posets. These are in one-to-one correspondence with antichains of intervals on the set of ranks and thus are counted by Catalan numbers. Furthermore, we prove that the convolution operation introduced by Kalai assigns extreme rays to pairs of extreme rays in most cases. We describe the strongest possible inequalities for graded posets of rank at most 5.

연구 동기 및 목표

• 계수가 있는 포스셋의 플래그 f-벡터로 생성된 볼록 쌍대의 구조를 규명하는 것.
• 이 포스셋 클래스에서 비음성 체인 수세기 함수기능의 다면체 쌍대의 면 정의 불등식을 식별하는 것.
• 이 쌍대의 극단적 반사선과 Kalai의 복합 연산에 대한 그들의 행동을 특성화하는 것.
• 순위가 5 이하인 계수가 있는 포스셋에 대해 가장 강력한 선형 불등식을 도출하는 것.
• 면 불등식과 순위 집합 위의 간격 반사군 간의 일대일 대응을 설정하는 것.

제안 방법

• 쌍대성과 다면체 조합수학을 사용하여 계수가 있는 포스셋의 플래그 f-벡터로 생성된 볼록 쌍대를 분석한다.
• 비음성 체인 수세기 함수기능의 다면체 쌍대를 식별하고, 그 면 정의 불등식을 규명한다.
• 이 면 불등식들과 순위 집합 위의 간격 반사군 사이의 일대일 대응을 수립한다.
• 극단적 반사선에 Kalai의 복합 연산을 적용하고, 대부분의 경우 극단성 유지됨을 증명한다.
• 소규모 순위의 포스셋에 대해 불등식을 도출하기 위해 조합적 수세기와 순위 기반 간격 분석을 활용한다.
• Catalan 수열을 사용하여 이러한 반사군의 수를 세어 면 불등식의 수를 확인한다.

실험 결과

연구 질문

• RQ1 계수가 있는 포스셋의 플래그 f-벡터로 생성된 볼록 쌍대의 구조는 무엇인가요?
• RQ2 계수가 있는 포스셋에서 비음성 체인 수세기 함수기능의 다면체 쌍대의 면 정의 불등식은 무엇인가요?
• RQ3 플래그 f-벡터 쌍대의 극단적 반사선은 Kalai의 복합 연산 하에서 어떻게 행동합니까?
• RQ4 순위가 5 이하인 계수가 있는 포스셋의 플래그 f-벡터가 만족하는 가장 강력한 선형 불등식은 무엇인가요?
• RQ5 면 정의 불등식은 순위 집합 위의 간격 반사군에 대해 조합적으로 특성화될 수 있나요?

주요 결과

• 계수가 있는 포스셋의 플래그 f-벡터로 생성된 볼록 쌍대의 폐쇄가 다면체임을 증명하였다.
• 다면체 쌍대의 면 불등식은 순위 집합 위의 간격 반사군과 일대일로 대응된다.
• 이러한 면 불등식의 수는 Catalan 수로 세어진다.
• Kalai의 복합 연산은 대부분의 경우 극단적 반사선을 극단적 반사선으로 매핑하며, 극단성을 유지한다.
• 순위가 5 이하인 계수가 있는 포스셋에 대해 가장 강력한 선형 불등식이 완전히 기술되고 수세기되었다.
• 이 연구는 저순위 케이스에서 플래그 f-벡터 쌍대의 극단적 구조를 완전히 특성화한다.