[논문 리뷰] Peano partial cubes

Norbert Polat|arXiv (Cornell University)|2019. 01. 01.

Finite Group Theory Research참고 문헌 34인용 수 1

한 줄 요약

이 논문은 지오데식 간격 공간이 닫힌 합집합 공간인, Pash 및 Peano 성질을 갖는 이분 그래프인 Peano 부분큐브를 소개한다. 이러한 그래프는 중앙값과 네트워크 유사 부분큐브를 일반화하며, 등장하는 이sovolumetric 사이클의 볼록 캄프가 게이트드 쿼드라하이퍼토루(즉, K₂와 짝수 사이클의 카르테시안 곱)인 것으로 특징지어진다. 주요 기여는 초중앙값 부분큐브를 그래프에서 모든 삼중조합이 중앙값 또는 초중앙값을 갖는 것으로 특징지어, 유한한 볼록 부분그래프가 유한한 쿼드라하이퍼토루의 게이트드 합성으로 구성된다는 구조적 특성화이다.

ABSTRACT

Peano partial cubes are the bipartite graphs whose geodesic interval spaces are (closed) join spaces. They are the partial cubes all of whose finite convex subgraphs have a pre-hull number which is at most 1. Special Peano partial cubes are median graphs, cellular bipartite graphs and netlike partial cubes. Analogous properties of these graphs are satisfied by Peano partial cubes. In particular the convex hull of any isometric cycle of such a graph is a gated quasi-hypertori (i.e., the Cartesian product of copies of K_2 and even cycles). Moreover, for any Peano partial cubes G that contains no isometric rays, there exists a finite qasi-hypertorus which is fixed by all automorphisms of G, and any self-contraction of G fixes some finite quasi-hypertorus. A Peano partial cube G is called a hyper-median partial cube if any triple of vertices of has either a median or a hyper-median, that is, a quasi-median whose convex-hull induces a hypertorus (i.e., the Cartesian product of even cycles such that at least one of them has length greater than 4). These graphs have several properties similar to that of median graphs. In particular a graph is a hyper-median partial cube if and only if all its finite convex subgraphs are obtained by successive gated amalgamations from finite quasi-hypertori. Also a finite graph is a hyper-median partial cube if and only if it can be obtained from K_1 by a sequence of special expansions. The class of Peano partial cubes and that of hyper-median partial cubes are closed under convex subgraphs, retracts, Cartesian products and gated amalgamations. We study two convex invariants: the Helly number of a Peano partial cube, and the depth of a hyper-median partial cube that contains no isometric rays. Finally, for a finite Peano partial cube G, we prove an Euler-type formula, and a similar formula giving the isometric dimension of G.

연구 동기 및 목표

• 중앙값 그래프를 일반화하는 Pash 및 Peano 성질을 갖는 부분큐브로서 Peano 부분큐브를 정의하고 특징짓기.
• 이 그래프들의 볼록 기하학, 특히 등거리 사이클의 볼록 캄프의 구조를 연구하기.
• 모든 정점 삼중조합이 중앙값 또는 초중앙값을 갖는 Peano 부분큐브로서 초중앙값 부분큐브를 도입하고 분석하기.
• 볼록 부분그래프, 수축, 카르테시안 곱, 게이트드 합성에 대한 닫힘 성질을 확립하기.
• Euler 유사 공식과 Helly 수, 깊이와 같은 불변량을 구하여, 유한한 Peano 및 초중앙값 부분큐브에 대해 유도하기.

제안 방법

• 지오데식 간격 공간이 닫힌 합집합 공간인 이분 그래프로서 Peano 부분큐브를 정의하며, 이는 Pash 및 Peano 성질을 만족하는 것과 동치이다.
• Peano 부분큐브의 유한한 볼록 부분그래프를 pre-hull 수 ≤1을 갖는 것으로 특징지며, ph-동질 그래프와 연결한다.
• 각 삼중조합이 중앙값 또는 초중앙값을 갖는 Peano 부분큐브로서 초중앙값 부분큐브를 도입한다 (볼록 캄프는 하이퍼토루이다).
• 초중앙값 부분큐브의 유한한 볼록 부분그래프는 유한한 쿼드라하이퍼토루로부터 게이트드 합성의 순서로 구성됨을 증명한다.
• 확장 절차와 Θ-클래스 분해를 사용하여 등거리 차원과 사이클 구조를 분석한다.
• Betti 수와 볼록 사이클에 대한 교대 합을 사용하여 Euler 유사 공식과 등거리 차원에 대한 공식을 유도한다.

실험 결과

연구 질문

• RQ1 median 및 네트워크 유사 부분큐브를 초월하여, Peano 부분큐브를 특징짓는 구조적 성질은 무엇인가?
• RQ2 Peano 부분큐브에서 등거리 사이클의 볼록 캄프는 어떻게 행동하는가?
• RQ3 부분큐브가 초중앙값 부분큐브가 되기 위한 조건은 무엇이며, 이는 중앙값 그래프 성질을 어떻게 일반화하는가?
• RQ4 Peano 및 초중앙값 부분큐브가 볼록 부분그래프, 수축, 카르테시안 곱에 대해 만족하는 닫힘 성질은 무엇인가?
• RQ5 이러한 클래스에 대해 정의할 수 있는 불변량(예: Helly 수, 깊이)은 무엇이며, 이들은 사이클 구조와 차원과 어떻게 관련되는가?

주요 결과

• Peano 부분큐브에서 임의의 등거리 사이클의 볼록 캄프는 게이트드 쿼드라하이퍼토루이며, 즉 K₂와 짝수 사이클의 복수의 카르테시안 곱이다.
• 유한한 쿼드라하이퍼토루는 정규 Peano 부분큐브이며, 동시에 반대점 Peano 부분큐브이기도 하다.
• 등거리 반직선이 없는 Peano 부분큐브에서는, 모든 자기동형사상과 자기수축이 유한한 쿼드라하이퍼토루를 고정한다.
• 부분큐브가 초중앙값 부분큐브이기 위한 필요충분조건은 모든 유한한 볼록 부분그래프가 유한한 쿼드라하이퍼토루의 게이트드 합성 순서로 구성된다는 것이다.
• 유한한 그래프가 초중앙값 부분큐브이기 위한 필요충분조건은 K₁에서 시작하여 특수한 확장 절차의 순서로 구성될 수 있다는 것이다.
• 유한한 Peano 부분큐브 G에 대해 등거리 차원은 idim(G) = −∑ᵢ(−1)ⁱ∑ⱼ(i+j)βⱼⁱ(G)를 만족하며, Euler 유사 공식 ∑ᵢ(−1)ⁱβᵢ(G) = 1 도 성립한다.