[논문 리뷰] C-independence and c-rank of posets and lattices

Zur Izhakian, John Rhodes|arXiv (Cornell University)|2011. 10. 17.

Advanced Algebra and Logic참고 문헌 12인용 수 10

한 줄 요약

이 논문은 부울 및 슈퍼부울 행렬 표현을 사용하여 유한한 부분순서집합과 격자에 대해 c-독립성과 c-랭크를 도입하며, 유한 격자의 c-랭크가 그 높이와 같다는 것을 증명한다. 이 이론은 c-독립 부분집합을 최대 체인과 하스 다이어그램의 분할과 연결하며, 침실 체계와 유도 가능한 집합들에 대한 부분 교차 및 격자 완성과의 적용을 포함한다.

ABSTRACT

Continuing with the authors concept (and results) of defining independence for columns of a boolean and superboolean matrix, we apply this theory to finite lattices and finite posets, introducing boolean and superboolean matrix representations for these objects. These representations yield the new concept of c-independent subsets of lattices and posets, for which the notion of c-rank is determined as the cardinality of the largest c-independent subset. We characterize this c-rank and show that c-independent subsets have a very natural interpretation in term of the maximal chains of the Hasse diagram and the associated partitions of the lattice. This realization has direct important connections with chamber systems.

연구 동기 및 목표

• 부울 및 슈퍼부울 행렬에서의 독립성 개념을 유한한 부분순서집합과 격자로 확장하는 것.
• 행렬 표현을 사용하여 부분순서집합과 격자의 불변량으로서 c-독립성과 c-랭크를 정의하는 것.
• 최대 체인과 하스 다이어그램의 분할을 통해 c-독립 부분집합을 특성화하는 것.
• 격자 구조를 통해 c-독립성과 침실 체계 간의 연결 고리를 설정하는 것.
• 부울 표현과 폐쇄 작용을 통한 불변 집합과 추상 심플렉스 복합체를 통한 프레임워크의 적용.

제안 방법

• 유한한 부분순서집합과 격자를 반순서환 SB 위의 슈퍼부울 행렬로 표현하며, 원소는 {0, 1, 1^ν}에 속한다.
• 부분행렬의 행렬식을 통해 c-독립성을 정의하며, 비특이 행렬(행렬식 = 1)은 독립성을 나타낸다.
• 격자의 데데킨드-맥널리 완성을 구성하여 분할과 부분 교차를 정의한다.
• 체인에 대한 밀어내기 작용을 사용하여 c-독립 부분집합을 유지하고 격자 구조와 연관시킨다.
• 부울 모듈과 폐쇄 작용을 적용하여 부울 행렬 표현을 닫힌 집합의 격자로 변환한다.
• 유도된 분할의 부분 교차가 원래의 유도 가능한 집합의 원소와 정확히 일치함을 증명한다.

실험 결과

연구 질문

• RQ1 행렬 이론에서의 독립성 개념을 유한한 부분순서집합과 격자로 일반화할 수 있는가?
• RQ2 c-독립 부분집합의 구조적 해석은 최대 체인과 하스 다이어그램을 기반으로 하는가?
• RQ3 유한 격자의 c-랭크는 그 높이 및 체인 구조와 어떻게 관련이 있는가?
• RQ4 폐쇄 및 분할과 같은 격자 이론적 구성으로부터 불변 집합의 부울 표현을 재구성할 수 있는가?
• RQ5 어떤 조건이 불변 집합이 부울 행렬 표현을 가질 수 있도록 보장하는가?

주요 결과

• 유한 격자의 c-랭크는 그 높이와 같으며, 이는 정리 4.5에서 증명되었다.
• 격자의 c-독립 부분집합은 하스 다이어그램의 최대 체인과 일대일 대응된다.
• 체인에 대한 밀어내기 작용은 c-독립성을 유지하며, 이는 정의 4.7에 의해 형식화되었다.
• 부울 행렬 표현의 폐쇄는 부분 교차가 분할의 원소로 복원되는 격자 구조를 생성한다.
• 모든 점 치환 성질을 만족하는 유도 가능한 집합이 부울 표현을 가질 수 있는 것은 아니며, 이는 정리 5.6에서 반례로 제시되었다.
• 증강된 부울 행렬에서 유도된 닫힌 집합의 격자는 원래 구조의 데데킨드-맥널리 완성과 동형이다.