[논문 리뷰] Convex expansion for finite distributive lattices with applications

Xu Wang, Xuxu Zhao외 1명|arXiv (Cornell University)|2018. 10. 16.

Advanced Algebra and Logic참고 문헌 20인용 수 4

한 줄 요약

이 논문은 유한 분배 라티스에서 '컷팅'(cutting)의 개념을 도입하여, 이전의 구성들을 일반화하는 새로운 볼록 확장 방법을 제안한다. 유한 분배 라티스의 기본 정리에 기반하여 저자들은 랭크 생성 함수를 유도하고, 볼록 부부분 라티스와 특정 원소들을 수량화하며, 만족-기초 포스셋의 반쇄 집합과의 연결을 통해 다면체에 대한 일반화된 오일러 공식을 검증한다.

ABSTRACT

The concept of cutting is first explicitly introduced. By the concept, a convex expansion for finite distributive lattices is considered. Thus, a more general method for drawing the Hasse diagram is given, and the rank generating function of a finite distributive lattice is obtained. In addition, we have several enumerative properties on finite distributive lattices and verify the generalized Euler formula for polyhedrons.

연구 동기 및 목표

• 유한 분배 라티스에서 볼록 확장을 일반화하기 위해 '컷팅'의 새로운 개념을 정식화하고 적용한다.
• 필터 라티스 및 관련 구조물의 하세 다이어그램을 일관된 방법으로 구성하기 위한 기법을 제공한다.
• 유한 분배 라티스에서 랭크 생성 함수를 유도하고, 볼록 부울 부분 라티스와 특정 원소들을 수량화한다.
• 만족-기초 포스셋의 반쇄 집합과의 연결을 통해 다면체에 대한 일반화된 오일러 공식을 검증한다.

제안 방법

• 유한 분배 라티스의 기본 정리에 기반하여, 모든 최대 사슬이 그와 교차하는 볼록 부분 라티스로 '컷팅'을 정의하고, 두 가지 동치 표현을 제시한다.
• 라티스 $ L = \mathcal{F}(P) $와 관련된 포스셋 $ P $를 확장하여 새로운 원소 $ x_K $를 추가함으로써 $ L \boxplus K $라는 볼록 확장 연산을 정의한다. 이때 $ x_K $는 $ \hat{0}_K $ 아래의 최대 원소 집합 $ S_0 $ 와 $ \hat{1}_K $ 위의 최소 원소 집합 $ S_1 $ 에 연결된다.
• 라티스 분해 $ L = \uparrow\hat{0}_K \cup \downarrow\hat{1}_K $, 컷팅 조건, 그리고 $ S = P_K * x_K $ 를 만족하는 $ x_K $ 의 존재성 간의 동치성을 확립한다.
• 포스셋 확장을 활용하여 주어진 차수의 원소 수와 볼록 부울 부분 라티스 수에 대한 재귀 관계를 유도하고, 이는 이항 변환을 통해 유도된다.
• 이 틀을 피보나치 큐브와 루카스 큐브에 적용하여, 랭크 생성 함수와 수량적 불변량에 대한 재귀 관계를 도출한다.
• 랭크 생성 함수 $ Q_L(x) $ 에서 $ Q_L(-1) = 1 $ 이 성립함을 보여 $ \chi = 1 $ 이라는 일반화된 오일러 공식을 검증한다. 이는 $ D_L^{-}(0) = 1 $ 이며, 이는 라티스의 유일한 최소 원소에 해당함을 의미한다.

실험 결과

연구 질문

• RQ1 유한 분배 라티스에서의 볼록 확장을 이전의 구성들 이상으로 일반화할 수 있는가?
• RQ2 유한 분배 라티스에서 '컷팅'의 정확한 대수적 및 조합적 특성은 무엇인가?
• RQ3 랭크 생성 함수와 볼록 부울 부분 라티스의 수는 만족-기초 포스셋의 구조와 어떻게 관련이 있는가?
• RQ4 다면체에 대한 일반화된 오일러 공식은 라티스 이론적 불변량을 통해 검증될 수 있는가?

주요 결과

• 논문은 부분 라티스 $ K $ 가 라티스 $ L $ 의 컷팅임과 동시에 $ L = \uparrow\hat{0}_K \cup \downarrow\hat{1}_K $ 이며, 동치로 $ S_0 $ 의 모든 $ z $ 와 $ S_1 $ 의 모든 $ y $ 에 대해 $ z < y $ 를 만족함을 증명한다. 여기서 $ S_0 $ 와 $ S_1 $ 는 $ L = \mathcal{F}(P) $ 를 만족하는 포스셋 $ P $ 에서 유도된다.
• 볼록 확장 $ L \boxplus K $ 는 포스셋 $ P $ 에 새로운 원소 $ x_K $ 를 추가함으로써 구성되며, 이는 $ S_0 $ 의 모든 원소를 덮고 $ S_1 $ 의 모든 원소에 의해 덮이는 방식이다. 이로 인해 잘 정의된 하세 다이어그램을 가진 새로운 라티스가 생성된다.
• 라티스 $ L $ 의 볼록 부울 부분 라티스 수를 $ q_k(L) $ 이라 할 때, $ q_k(L) = \sum_{j=k}^{m} \binom{j}{k} d_j^{-}(L) $ 를 만족한다. 여기서 $ d_j^{-}(L) $ 는 $ \mathop{\mathrm{Mi}}(L) $ 에서 크기가 $ j $ 인 최대 반쇄 집합의 수이다.
• 랭크 생성 함수 $ Q_L(x) $ 는 $ Q_L(x) = D_L^{-}(1+x) $ 를 만족한다. 여기서 $ D_L^{-}(x) $ 는 $ \mathop{\mathrm{Mi}}(L) $ 에서 각 크기의 최대 반쇄 집합 수를 위한 생성 함수이다.
• 일반화된 오일러 공식 $ \chi = 1 $ 은 $ Q_L(-1) = 1 $ 을 통해 검증되며, 이는 $ D_L^{-}(0) = 1 $ 이므로 성립한다. 이는 라티스의 유일한 최소 원소에 해당한다.
• 피보나치 큐브 $ \Gamma_n $ 과 루카스 큐브 $ \Lambda_{2n} $ 에 대해 논문은 다음과 같은 재귀 관계를 도출한다: $ F_{m+n} = F_m F_{n+1} + F_{m-1} F_n $, 그리고 $ L_{2n} = F_{2n+1} + F_{2n-1} $.