[논문 리뷰] Exponential functions of finite posets and the number of extensions with a fixed set of minimal points

Frank a Campo, Marcel Erné|arXiv (Cornell University)|2018. 02. 05.

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

한 줄 요약

이 논문은 유한 포스엣의 지수 함수를 도입한다. 이 함수는 고정된 최소 원소 집합과 비최소 원소들에 의해 유도된 포스엣이 주어졌을 때의 레이블이 부여된 포스엣 확장의 수로 정의된다. 하향집합 수를 이용해, 이러한 함수에 대해 명시적이고 재귀적인 공식을 유도하며, 이들이 지수 합임을 보여준다. 주요 결과로는 닫힌 형태의 표현식, 약수 성질, 점점 가까워지는 행동을 포함하며, 최대 5개의 원소를 가진 모든 비레이블링된 포스엣에 대해 이러한 함수의 완전한 목록을 제공한다.

ABSTRACT

We establish formulas for the number of all downsets (or equivalently, of all antichains) of a finite poset P. Then, using these numbers, we determine recursively and explicitly the number of all posets having a fixed set of minimal points and inducing the poset P on the non- minimal points. It turns out that these counting functions are closely related to a collection of downset numbers of certain subposets. Since any function of that kind is an exponential sum (with the number of minimal points as exponent), we call it the exponential function of the poset. Some linear equations, divisibility relations, upper and lower bounds, and asymptotical equalities for the counting functions are deduced. A list of all such exponential functions for posets with up to five points concludes the paper.

연구 동기 및 목표

• 고정된 최소 원소 집합과 나머지 점들에 의해 유도된 포스엣이 주어졌을 때의 레이블이 부여된 포스엣 확장 수를 체계적으로 계산하는 방법을 개발하는 것.
• 포스엣의 지수 함수를 정의하고 분석하는 것. 이 함수는 이러한 확장을 세는 것으로, 최소 원소의 수에 대한 지수 합임이 입증된다.
• 하향집합 수를 이용한 하향집합의 부분포스엣 수를 사용하여 이러한 수의 공식을 재귀적이고 명시적으로 유도하는 것.
• 지수 함수의 구조적 성질, 즉 약수 성질, 경계, 점점 가까워지는 행동을 도출하는 것.
• 최대 5개의 원소를 가진 모든 비레이블링된 포스엣에 대해 지수 함수의 완전한 목록을 작성하는 것.

제안 방법

• 지수 함수 $ e(m,P) $ 를 정의한다. 이는 $ m $ 개의 최소 원소와 비최소 원소 집합 $ K $ 에서 $ P $ 가 유도되는 $ m + |K| $ 개의 점을 가진 레이블이 부여된 포스엣의 수로 정의된다.
• 포스엣의 수평적 및 수직적 분해를 이용해 $ e(m,P) $ 를 하향집합 수 $ d(U) $ 를 가진 부분포스엣 $ U $ 와 재귀적으로 연결한다.
• 순서를 유지하는 함수와 관계를 활용해, 하향집합 수를 포함하는 지수 합으로 $ e(m,P) $ 를 표현한다.
• 인cidense 행렬 $ A $, $ B $, $ C $, $ D $ 를 사용한 행렬 표현을 유도하며, $ D $ 는 $ d(P_n)^m $ 을 포함하고, $ E^T $ 는 $ e(m,P_n) $ 를 제공한다.
• 특히 $ C $-행렬을 사용해 지수 합의 계수를 표현함으로써, 행렬 역행렬을 이용한 선형 대수 기법을 통해 $ e(m,P) $ 를 풀이한다.
• 하향집합과 상향집합 간의 이중성과 $ \mathcal{D} $ 및 $ \mathcal{U} $ 의 함자적 성질을 이용해 조합적 해석을 단순화한다.

실험 결과

연구 질문

• RQ1 고정된 최소 원소 집합과 비최소 원소들에 의해 유도된 포스엣이 주어졌을 때, 이러한 레이블이 부여된 포스엣 확장의 수를 효율적으로 계산하는 방법은 무엇인가?
• RQ2 수의 공식 $ e(m,P) $ 는 어떤 형태이며, 부분포스엣의 하향집합 수와 어떻게 관련되어 있는가?
• RQ3 지수 함수 $ e(m,P) $ 의 구조적 성질, 즉 약수 성질, 경계, 점점 가까워지는 행동은 무엇인가?
• RQ4 최대 5개의 원소를 가진 모든 비레이블링된 포스엣에 대해 지수 함수의 완전한 분류를 달성할 수 있는가?
• RQ5 하향집합 수와 포스엣 상향집합을 포함한 행렬 표현은 $ e(m,P) $ 의 재귀적 계산을 어떻게 가능하게 하는가?

주요 결과

• 지수 함수 $ e(m,P) $ 는 $ m $ 에 대한 지수 합이며, 부분포스엣의 하향집합 수에서 유도된 계수를 가지며, 재귀적 공식을 통해 명시적으로 계산 가능하다.
• 최대 5개의 원소를 가진 포스엣에 대해 논문은 $ e(m,P) $ 의 완전한 목록을 제공하며, 닫힌 형태로는 $ e_1(m) = 2^m - 1 $, $ e_2(m) = 3^m - 2^m $, $ e_3(m) = 4^m - 2\cdot 2^m + 1 $ 등이 포함되어 있다.
• 지수 합의 구조로 인해 함수 $ e(m,P) $ 는 약수 성질을 만족하며, 높이와 최소 원소의 수에 기반한 $ d(P) $ 의 상한 경계가 유도된다.
• 점점 가까워지는 행동은 주로 주요 항 $ d(P)^m $ 에 의해 지배되며, 큰 $ m $ 에 대해 강력한 수치적 추정치를 제공한다.
• 행렬 표현 $ A $, $ B $, $ C $, $ D $ 는 $ e(m,P) $ 의 효율적 계산을 가능하게 하며, $ D $ 는 $ d(P_n)^m $ 을 포함하고, $ E^T $ 는 전체 지수 함수를 제공한다.
• 논문은 $ e(m,P) $ 가 정수 계수를 가진 $ k^m $ 항들의 선형 조합으로 표현될 수 있음을 확인하며, 최대 5개의 점을 가진 모든 비레이블링된 포스엣에 대해 이를 체계적으로 계산할 수 있는 방법을 제공한다.