[論文レビュー] On the ideal of orthogonal representations of a graph in $\mathbb{R}^2$

Jürgen Herzog, Antonio Macchia+2 more|arXiv (Cornell University)|Nov 13, 2014

Commutative Algebra and Its Applications参考文献 5被引用数 3

ひとこと要約

本稿は、非隣接頂点間の直交条件から生成されるイデアルを分析することにより、ℝ²におけるグラフの直交表現の代数的構造を研究する。任意の体Kに対してchar(K) ≠ 2であれば、イデアルは根元的であることを証明し、√−1 ∉ Kのときには、簡約な一次分解を提供する。これにより、直交埋め込みの多様体が素イデアルによって定義される多様体の和集合であることが示され、ℝに直接適用可能であり、表現空間の主要な代数的および幾何的性質が解明される。

ABSTRACT

In this paper, we study orthogonal representations of simple graphs $G$ in $\mathbb{R}^d$ from an algebraic perspective in case $d = 2$. Orthogonal representations of graphs, introduced by Lovász, are maps from the vertex set to $\mathbb{R}^d$ where non-adjacent vertices are sent to orthogonal vectors. We exhibit algebraic properties of the ideal generated by the equations expressing this condition and deduce geometric properties of the variety of orthogonal embeddings for $d=2$ and $\mathbb{R}$ replaced by an arbitrary field. In particular, we classify when the ideal is radical and provide a reduced primary decomposition if $\sqrt{-1} ot\in K$. This leads to a description of the variety of orthogonal embeddings as a union of varieties defined by prime ideals. In particular, this applies to the motivating case $K = \mathbb{R}$.

研究の動機と目的

• 可換代数の観点から、ℝ²におけるグラフの直交表現の代数的および幾何的構造を理解すること。
• 特に√−1 ∉ Kであるような体において、直交関係のイデアルが根元的または素である条件を同定すること。
• √−1 ∉ Kのとき、Lovász-Saks-Schrijverイデアルの簡約な一次分解を提供し、直交埋め込みの多様体の幾何的記述を可能にすること。
• グラフ理論的不変量と結びついた、イデアルが非混合的または素であるようなグラフを分類すること。

提案手法

• 著者らは、Gに属しない辺{i,j}に対して二次形式x_ix_j + y_iy_jを生成元とする、K[x₁,…,xₙ,y₁,…,yₙ]における多項式イデアルL_Gとして、ℝ²における直交表現を再定式化する。
• √−1 ∈ Kであるという仮定の下で線形変換を適用することで、問題を永続的辺イデアルの研究に還元する。
• 初期イデアルの理論を用いて、適切な単項式順序の下で、永続的辺イデアルが平方自由な初期イデアルを持つことを示し、これによりイデアルが根元的であることを示す。
• L_Gの最小素イデアルと、特定の接続性を満たす頂点部分集合S ⊆ V(G)との間の対応関係を、最小のこのような部分集合の集合M(G)を用いて確立する。
• √−1 ∉ Kの下で、L_Gが素イデアルであることと、Gが辺と孤立頂点の互いに素な和集合であることとは同値であることを証明する。
• L_Gの非混合性に関する基準を、二部グラフ成分の数と、M(G)に属する最小頂点集合Sのサイズに基づいて導出する。

実験結果

リサーチクエスチョン

• RQ1 ℝ²における直交表現のイデアルL_Gが根元的であるのはいつか？ これはどのような体Kの条件下で成立するか？
• RQ2 特に√−1 ∉ Kのとき、任意の体Kにおける直交埋め込みの多様体の構造はいかなるものか？
• RQ3 L_Gが素イデアルであるのはいつか？ これはグラフGの構造とどのように関係するか？
• RQ4 L_Gが非混合的であるための条件は何か？ これはグラフ不変量を用いてどのように特徴づけられるか？
• RQ5 L_Gの最小素イデアルへの分解は、特にM(G)を介してグラフGの組合せ論的性質とどのように関係するか？

主な発見

• 任意の体Kに対してchar(K) ≠ 2であれば、イデアルL_Gは根元的である。これは、L_Gが直交表現の多様体上で恒等的に0となるすべての多項式を含むことを意味する。
• √−1 ∉ Kのとき、イデアルL_Gは簡約な一次分解を有し、直交埋め込みの多様体は素イデアルによって定義される多様体の和集合である。
• √−1 ∉ Kの下で、L_Gが素イデアルであることと、Gが辺と孤立頂点の互いに素な和集合であることとは同値である。
• L_Gが非混合的であることと、M(G)の空でないすべてのSに対して、二部成分の数b(S)が|S| + bに等しいこととは同値である。ここでbはGの二部成分の数を表す。
• サイクルグラフC_nに対しては、L_{C_n}が非混合的であることと、nが奇数であることとは同値であり、完全グラフK_nに対しては、L_{K_n}が非混合的であることと、n = 2または3であることとは同値である。
• 本稿は、特に√−1 ∉ Kのとき、L_Gの非混合性および素性について、グラフ理論的性質に基づく完全な分類を提供する。