[论文解读] 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

一句话总结

本文通过分析非相邻顶点之间正交性条件生成的理想，研究了在 ℝ² 中图的正交表示的代数结构。证明了对于任意满足 char(K) ≠ 2 的域 K，该理想是根式理想；当 √−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 理想的约化解析，从而实现对正交嵌入概形的几何描述。
• 对理想为无混合或素理想的图进行分类，将代数性质与图论不变量联系起来。

提出的方法

• 作者将 ℝ² 中的正交表示重新表述为 K[x₁,…,xₙ,y₁,…,yₙ] 中的多项式理想 L_G，其由非边 {i,j} 对应的二次型 x_ix_j + y_iy_j 生成。
• 在假设 √−1 ∈ K 的前提下，通过线性变换将问题约化为研究永久式边理想，从而简化理想结构。
• 利用首项理想的理论，证明在适当的单项序下，永久式边理想具有平方自由的首项理想，从而推出这些理想是根式理想。
• 通过图 G 的最小此类子集集合 M(G)，建立了 L_G 的极小素理想与特定连通性性质的极小顶点子集 S ⊆ V(G) 之间的对应关系。
• 证明当 √−1 ∉ K 时，L_G 是素理想当且仅当 G 是边与孤立顶点的不相交并集。
• 基于图的二分连通分量数量与极小顶点集 S ∈ M(G) 的大小，推导出 L_G 无混合性的判别准则。

实验结果

研究问题

• RQ1 在何种条件下，ℝ² 中正交表示的理想 L_G 是根式理想？该性质在域 K 上需满足什么条件？
• RQ2 在任意域 K 上，正交嵌入的概形结构如何？特别是当 √−1 ∉ K 时。
• RQ3 L_G 何时为素理想？这与图 G 的结构有何关联？
• RQ4 在何种条件下，L_G 是无混合理想？其可通过图不变量如何刻画？
• RQ5 L_G 的极小素理想分解如何与图 G 的组合结构相关联，特别是通过极小顶点子集集合 M(G)？

主要发现

• 对于任意满足 char(K) ≠ 2 的域 K，理想 L_G 是根式理想，意味着它包含所有在正交表示概形上消失的多项式。
• 当 √−1 ∉ K 时，理想 L_G 允许约化解析，且正交嵌入的概形是定义在素理想上的概形的并集。
• 当 √−1 ∉ K 时，L_G 是素理想当且仅当 G 是边与孤立顶点的不相交并集。
• 理想 L_G 是无混合理想当且仅当对每个非空 S ∈ M(G)，其二分连通分量数 b(S) 等于 |S| + b，其中 b 是图 G 的二分连通分量数。
• 对于环图 C_n，L_{C_n} 是无混合理想当且仅当 n 为奇数；对于完全图 K_n，L_{K_n} 仅在 n = 2 或 3 时为无混合理想。
• 本文基于图论性质，特别是当 √−1 ∉ K 时，对 L_G 的无混合性与素性提供了完整分类。