[논문 리뷰] Hypercellular graphs: partial cubes without $Q_3^-$ as partial cube minor

Victor Chepoi, Kolja Knauer외 1명|arXiv (Cornell University)|2016. 06. 07.

Advanced Graph Theory Research참고 문헌 32인용 수 5

한 줄 요약

이 논문은 부분 큐브 중에서 3-큐브에서 한 정점을 제거한 그래프($Q_3^-$)를 부분 큐브 미니어로 포함하지 않는 하이퍼셀룰러 그래프를 도입한다. 저자들은 이러한 그래프가 간선과 짝수 사이클의 카르테시안 곱의 게이트드 암라메이션으로 형성된 볼록 부분그래프로 특징지어지며, 중앙 및 셀룰러 그래프를 일반화함을 증명한다. 주요 결과로는 이러한 그래프가 오리엔티드 매트로이드의 조노토풀 복합체의 토프 그래프임을 보이며, 중앙-셀룰러 성질을 만족함으로써 셀룰러 그래프의 자연스러운 고차원 일반화임을 입증한다.

ABSTRACT

We investigate the structure of isometric subgraphs of hypercubes (i.e., partial cubes) which do not contain finite convex subgraphs contractible to the 3-cube minus one vertex $Q^-_3$ (here contraction means contracting the edges corresponding to the same coordinate of the hypercube). Extending similar results for median and cellular graphs, we show that the convex hull of an isometric cycle of such a graph is gated and isomorphic to the Cartesian product of edges and even cycles. Furthermore, we show that our graphs are exactly the class of partial cubes in which any finite convex subgraph can be obtained from the Cartesian products of edges and even cycles via successive gated amalgams. This decomposition result enables us to establish a variety of results. In particular, it yields that our class of graphs generalizes median and cellular graphs, which motivates naming our graphs hypercellular. Furthermore, we show that hypercellular graphs are tope graphs of zonotopal complexes of oriented matroids. Finally, we characterize hypercellular graphs as being median-cell -- a property naturally generalizing the notion of median graphs.

연구 동기 및 목표

• 모든 부분 큐브 중에서 $Q_3^-$를 부분 큐브 미니어로 포함하지 않는 그래프를 특징짓는 것.
• 중앙 및 셀룰러 그래프에서의 구조적 결과를 더 넓은 부분 큐브의 클래스로 일반화하는 것.
• 유한 볼록 부분그래프의 분해 정리로서 간선과 짝수 사이클의 곱의 게이트드 암라메이션을 기반으로 하는 것.
• 하이퍼셀룰러 그래프와 오리엔티드 매트로이드 이론, 특히 조노토풀 복합체 사이의 관계를 탐색하는 것.
• 하이퍼셀룰러 그래프가 단순 연결된 하이퍼프리즘 복합체의 1-스켈레톤으로서, 기하 조건을 만족하는지 여부를 조사하는 것.

제안 방법

• 저자들은 모든 유한 볼록 부분그래프가 간선과 짝수 사이클의 카르테시안 곱의 연속적인 게이트드 암라메이션으로 유도되는 부분 큐브로 하이퍼셀룰러 그래프를 정의한다.
• 특히 하이퍼큐브 좌표에 해당하는 간선의 수축을 통해 부분 큐브 미니어의 개념을 사용하여 $Q_3^-$의 제거를 정의한다.
• 구조적 그래프 이론, 볼록성, 게이트드 부분그래프, 하이퍼큐브에 대한 등장사상 등을 활용하여 증명한다.
• 볼록 부분그래프를 분해하고 전체 그래프의 구조를 재구성하기 위해 게이트드 암라메이션 개념을 활용한다.
• 조노토풀 복합체의 토프 그래프를 통해 오리엔티드 매트로이드와의 연결을 확립하며, 하이퍼셀룰러 그래프가 정확히 이러한 복합체의 토프 그래프임을 보인다.
• 하이퍼셀룰러 그래프가 단순 연결된 하이퍼프리즘 복합체의 1-스켈레톤으로서 3C조건을 만족하는지에 대한 추측을 제기하며, 이를 CAT(0) 기하학과 연결한다.

실험 결과

연구 질문

• RQ1 어떤 구조적 성질이 $Q_3^-$를 부분 큐브 미니어로 포함하지 않는 부분 큐브를 특징짓는가?
• RQ2 이러한 그래프의 볼록 부분그래프는 게이트드 암라메이션을 통해 어떻게 분해될 수 있는가?
• RQ3 하이퍼셀룰러 그래프는 정확히 오리엔티드 매트로이드의 조노토풀 복합체의 토프 그래프인가?
• RQ4 하이퍼셀룰러 그래프는 3C조건을 만족하는 단순 연결된 다각형 또는 하이퍼프리즘 복합체의 1-스켈레톤으로 특징지어질 수 있는가?
• RQ5 하이퍼셀룰러 그래프는 중앙-셀룰러 조건과 같은 일반화된 중앙 성질을 만족하는가?

주요 결과

• 하이퍼셀룰러 그래프는 정확히 $Q_3^-$를 부분 큐브 미니어로 포함하지 않는 부분 큐브의 클래스이며, 미니어 닫힘 클래스 $\mathcal{F}(Q_3^-)$를 이룬다.
• 하이퍼셀룰러 그래프의 모든 유한 볼록 부분그래프는 간선과 짝수 사이클의 곱의 게이트드 암라메이션과 동형이다.
• 하이퍼셀룰러 그래프 내의 임의의 등장사상 사이클의 볼록 캄은 게이트드이며, 간선과 짝수 사이클의 곱과 동형이다.
• 하이퍼셀룰러 그래프는 정확히 오리엔티드 매트로이드의 조노토풀 복합체의 토프 그래프이다.
• 모든 하이퍼셀룰러 그래프는 중앙-셀룰러 성질을 만족하며, 중앙 그래프의 중앙 성질을 일반화한다.
• 하이퍼셀룰러 그래프는 헬리 군이며, 따라서 비아우토매틱이다. 이는 클리크 복합체가 헬리 그래프를 이루며, 이에 기하학적으로 작용하기 때문이다.