[論文レビュー] Rhombic embeddings of planar graphs with faces of degree 4

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

Advanced Graph Theory Research参考文献 5被引用数 19

ひとこと要約

本稿は、すべての面が4次である平面グラフが、すべての辺が単位長で、各面が菱形である菱形埋め込みをもつための必要十分条件を確立する。このような埋め込みが存在するための条件は、トレイントラックが自己交差しないこと、周期的でないこと、任意の2つの異なるトレイントラックが高々1回しか交差しないことである。すべてのこのような埋め込みの空間は、菱形の角度によってパラメータ化された凸集合をなしており、トーラス上では、各トレイントラックの横断的方角がその漸近的方向と直交する唯一の面積最大化埋め込みが存在する。

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.

研究の動機と目的

• すべての有界な面が四角形である平面グラフにおける菱形埋め込みの存在に必要な十分条件を特定すること。
• 無限大または周期的な平面グラフにおけるすべての菱形埋め込みの空間の位相的・幾何的構造を記述すること。
• トーラス上での基本領域の面積を最大化する唯一の菱形埋め込みを特定すること。
• ダイヤモンドグラフの菱形埋め込みと元のグラフの厳密に凸な等半径埋め込みとの間の対応関係を確立すること。

提案手法

• 著者たちは、折れ曲がらない隣接する面の系列としてトレイントラックを定義し、各トレイントラックに走行方向を示す横断的ベクトルを関連付ける。
• 菱形埋め込みが存在するための必要十分条件として、トレイントラックが自己交差せず、閉路を形成せず、任意の2つの異なるトレイントラックが高々1回しか交差しないことであることを証明する。
• 菱形埋め込みの空間は、菱形の角度によってパラメータ化され、次元 |Tr(G)| - 1 のトーラスに類似した空間における凸集合をなす。
• 周期的グラフの場合、埋め込みの空間は凸多面体の内部であり、面積関数は強い凹関数であり、したがって一意の臨界点が存在する。
• 臨界点は幾何的に特徴づけられる：各トレイントラックの横断的方向が、その漸近的方向と直交する。
• 著者たちはベクトル場解析と微分幾何学を用いて、定義されたベクトル場の積分曲線に沿って面積関数が増加することを示し、一意の最大値の存在を証明する。

実験結果

リサーチクエスチョン

• RQ1 すべての面が4次である平面グラフが、辺の長さがすべて1の平面における菱形埋め込みをもつための、組合せ的および位相的条件は何か？
• RQ2 すべての面が4次である無限大平面グラフにおけるすべての菱形埋め込みの空間の位相的構造は何か？
• RQ3 周期的平面グラフに対して、基本領域の面積を最大化する唯一の菱形埋め込みの幾何的特徴は何か？
• RQ4 ダイヤモンドグラフの菱形埋め込みは、元のグラフの厳密に凸な等半径埋め込みとどのように関係しているか？
• RQ5 菱形埋め込みの空間における面積関数が強い凹関数であり、一意の臨界点をもつための条件は何か？

主な発見

• すべての面が4次である平面グラフが菱形埋め込みをもつための必要十分条件は、トレイントラックが自己交差せず、周期的でなく、任意の2つの異なるトレイントラックが高々1回しか交差しないことである。
• すべての面が4次である無限大グラフの菱形埋め込みの空間は、菱形の角度によってパラメータ化されたとき、凸集合をなし、その閉包は次元 |Tr(G)| - 1 の凸多面体である。
• 周期的グラフの場合、菱形埋め込みの空間は凸多面体の内部であり、基本領域の面積はこの空間上での強い凹関数である。
• 面積関数の唯一の臨界点は、各トレイントラックについて、その横断的方向が漸近的方向と直交するときに生じる。
• トーラス上での面積最大化埋め込みは、この直交条件によって一意に特徴づけられ、そのような埋め込みは存在し、一意に定まる。
• 面積関数を解析するために用いられたベクトル場は、臨界点でちょうど0となり、埋め込み空間の境界では内向きを指すため、最大値の存在が証明される。