[논문 리뷰] Rhombic embeddings of planar graphs with faces of degree 4

Richard Kenyon, Jean‐Marc Schlenker|ArXiv.org|2003. 05. 27.

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

한 줄 요약

이 논문은 모든 면의 차수가 4인 평면 그래프가 단위 길이의 변을 가지며 각 면이 마름모형인 뱃갈림을 갖는 데 필요한 필요충분조건을 설정한다. 이러한 뱃갈림이 존재하는 것은 오직 그 자체로 교차하거나 주기적인 트레인 트랙이 없고, 임의의 두 서로 다른 트레인 트랙이 최대 한 번만 교차할 경우에만 성립한다. 이러한 뱃갈림의 전체 공간은 마름모의 각도로 매개변수화된 볼록 집합이며, 각 트레인 트랙의 수직 방향이 그 점근적 방향과 수직이 되는 유일한 면적 최대화 뱃갈림이 토러스 위에 존재한다.

ABSTRACT

Given a finite or infinite planar graph all of whose faces have degree 4, we study embeddings in the plane in which all edges have length 1, that is, in which every face is a rhombus. We give a necessary and sufficient condition for the existence of such an embedding, as well as a description of the set of all such embeddings.

연구 동기 및 목표

• 모든 유한 면이 사각형인 평면 그래프에서 마름모 뱃갈림이 존재하는 데 필요한 필요충분조건을 규명하는 것.
• 무한 또는 주기적인 평면 그래프에 대해 모든 마름모 뱃갈림의 위상적·기하학적 구조를 기술하는 것.
• 토러스 위에서 기본 도메인의 면적을 최대화하는 유일한 마름모 뱃갈림을 식별하는 것.
• 다이아몬드 그래프의 마름모 뱃갈림과 원래 그래프의 엄격한 볼록 이소라디얼 뱃갈림 사이의 대응관계 수립.

제안 방법

• 저자들은 교차하는 면들로 이루어진 경로로서, 방향 전환 없이 이어지는 트레인 트랙을 정의하고, 각 트레인 트랙에 대해 이동 방향을 나타내는 수직 벡터를 부여한다.
• 그들은 마름모 뱃갈림이 존재하는 것은 오직 트레인 트랙이 자기 자신과 교차하거나 주기적인 고리로 이어지지 않으며, 임의의 두 서로 다른 트레인 트랙이 최대 한 번만 교차할 경우에만 성립함을 증명한다.
• 마름모 뱃갈림의 공간은 마름모의 각도로 매개변수화되며, 차원이 |Tr(G)| - 1인 토러스 유사 공간 내에서 볼록 집합을 이룬다.
• 주기적 그래프의 경우, 뱃갈림 공간은 볼록 다면체의 내부이며, 면적 함수는 엄격하게 오목하므로 유일한 임계점이 존재한다.
• 임계점은 기하학적으로 기술된다: 각 트레인 트랙의 수직 방향이 그 점근적 방향과 수직이 된다.
• 저자들은 벡터장 분석과 미분기하학을 사용하여, 정의된 벡터장의 적분 곡선을 따라 면적 함수가 증가함을 보여, 유일한 최대값이 존재함을 증명한다.

실험 결과

연구 질문

• RQ1 모든 면의 차수가 4인 평면 그래프가 단위 길이의 변을 가지며 평면상에서 마름모 뱃갈림을 갖는 데 필요한 조합적 및 위상적 조건은 무엇인가?
• RQ2 모든 면의 차수가 4인 무한 평면 그래프에 대해 모든 마름모 뱃갈림의 공간의 위상적 구조는 어떻게 되는가?
• RQ3 주기적인 평면 그래프의 경우, 기본 도메인의 면적을 최대화하는 유일한 마름모 뱃갈림의 기하학적 특성은 무엇인가?
• RQ4 다이아몬드 그래프의 마름모 뱃갈림은 원래 그래프의 엄격한 볼록 이소라디얼 뱃갈림과 어떻게 관련이 있는가?
• RQ5 마름모 뱃갈림 공간에서 면적 함수가 엄격하게 오목하고 유일한 임계점을 갖도록 보장하는 조건은 무엇인가?

주요 결과

• 모든 면의 차수가 4인 평면 그래프는 오직 트레인 트랙이 자기 자신과 교차하거나 주기적이지 않으며, 임의의 두 서로 다른 트레인 트랙이 최대 한 번만 교차할 경우에만 마름모 뱃갈림을 갖는다.
• 모든 면의 차수가 4인 무한 그래프의 마름모 뱃갈림 공간은 마름모의 각도로 매개변수화할 때 볼록 집합이며, 그 닫힘은 차원이 |Tr(G)| - 1인 볼록 다면체이다.
• 주기적 그래프의 경우, 마름모 뱃갈림 공간은 볼록 다면체의 내부이며, 기본 도메인의 면적은 이 공간 위에서 엄격하게 오목한 함수이다.
• 면적 함수의 유일한 임계점은 각 트레인 트랙에 대해 수직 방향이 그 점근적 방향과 수직이 되는 경우에 발생한다.
• 토러스 위의 면적 최대화 뱃갈림은 이 수직 조건에 의해 유일하게 특성화되며, 그러한 뱃갈림은 존재하고 유일하다.
• 면적 함수를 분석하기 위해 사용된 벡터장은 임계점에서 정확히 0이 되며, 뱃갈림 공간의 경계에서는 내부를 향해 향한다. 이는 최대값이 존재함을 증명한다.