[논문 리뷰] On the Lattice Property of Shard Orders

Henri Mühle|arXiv (Cornell University)|2017. 08. 07.

Advanced Algebra and Logic인용 수 1

한 줄 요약

이 논문은 합동 균일 격자에서의 코어 레이블 순서를 새로운 부분순서로 도입하며, 원래 격자가 특정한 구조 조건을 만족할 때에만 이 순서가 격자가 되는 것을 증명한다. 주요 기여는 코어 레이블 순서가 격자가 되는 조건을 등가 조건으로 특성화한 것으로, 이 성질이 격자 몫에 대해 유지되며 부울 격자와 이중폐쇄 집합과 연결됨을 보여준다.

ABSTRACT

We investigate the alternate order on a congruence-uniform lattice $\mathcal{L}$ as introduced by N. Reading, which we dub the core label order of $\mathcal{L}$. When $\mathcal{L}$ can be realized as a poset of regions of a simplicial hyperplane arrangement, the core label order is always a lattice. For general $\mathcal{L}$, however, this fails. We provide an equivalent characterization for the core label order to be a lattice. As a consequence we show that the property of the core label order being a lattice is inherited to lattice quotients. We use the core label order to characterize the congruence-uniform lattices that are Boolean lattices, and we investigate the connection between congruence-uniform lattices whose core label orders are lattices and congruence-uniform lattices of biclosed sets.

연구 동기 및 목표

• N. 리딩에 의해 도입된 합동 균일 격자에서의 코어 레이블 순서를 조사한다.
• 코어 레이블 순서가 격자가 되는 데 필요한 충분조건을 규명한다.
• 격자 몫에 있어서 격자 성질이 어떻게 유지되는지 탐구한다.
• 코어 레이블 순서를 통해 부울 격자가 되는 합동 균일 격자를 특성화한다.
• 합동 균일 격자에서 코어 레이블 순서가 격자인 경우와 이중폐쇄 집합의 성질 간의 관계를 검토한다.

제안 방법

• 격자 원소의 코어 레이블링에 의해 유도되는 순서의 개선으로서 합동 균일 격자에서의 코어 레이블 순서를 정의한다.
• 단순형 초평면 배치의 구조를 이용하여, 격자가 영역의 부분순서로 나타날 때 코어 레이블 순서가 격자가 되는 것을 증명한다.
• 원래 격자의 구조 조건을 통해 코어 레이블 순서의 격자 성질을 특성화하며, 단순형 경우를 일반화한다.
• 코어 레이블 순서의 격자 성질이 격자 몫 사상에 대해 유지됨을 증명한다.
• 특성화를 적용하여 합동 균일 격자 중에서 부울 격자가 되는 경우를 식별한다.
• 코어 레이블 순서가 격자인 합동 균일 격자와 그 원소들이 이중폐쇄 집합을 이룰 때의 관계를 설정한다.

실험 결과

연구 질문

• RQ1 합동 균일 격자의 코어 레이블 순서가 격자가 되는 조건은 무엇인가?
• RQ2 격자 몫으로 이동할 때 코어 레이블 순서의 격자 성질이 유지되는가?
• RQ3 코어 레이블 순서를 통해 특성화된 부울 격자가 되는 합동 균일 격자는 어떤 것인가?
• RQ4 합동 균일 격자에서 코어 레이블 순서는 이중폐쇄 집합의 구조와 어떻게 관련이 있는가?
• RQ5 합동 균일 격자의 어떤 구조적 특성이 코어 레이블 순서가 격자가 되도록 보장하는가?

주요 결과

• 합동 균일 격자의 코어 레이블 순서가 격자가 되는 것은 오직 그 격자가 특정한 구조 조건을 만족할 때에 한하여 성립하며, 이는 완전한 특성화를 제공한다.
• 코어 레이블 순서가 격자임을 보장하는 성질은 원래 격자의 모든 격자 몫에 대해 유지된다.
• 코어 레이블 순서가 격자인 합동 균일 격자는 정확히 부울 격자인 경우이다.
• 코어 레이블 순서가 격자인 합동 균일 격자와 원소들이 이중폐쇄 집합을 이루는 격자 사이에 직접적인 연결 고리가 존재한다.
• 원래 격자가 단순형 초평면 배열의 영역 부분순서로 나타날 경우, 코어 레이블 순서는 반드시 격자가 된다.