[论文解读] Realization of shift graphs as disjointness graphs of 1-intersecting curves in the plane

Torsten Mütze, Bartosz Walczak+1 more|arXiv (Cornell University)|Feb 27, 2018

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

一句话总结

本文構造了平面中由多邊形曲線族實現的移位圖 $H_m$，這些曲線由四條直線段組成，並具有受控的交叉模式。關鍵結果是：$H_m$——一個三角形自由但色數無界的圖——可被實現為僅在一個點內相交的曲線（即 1-相交曲線）的不相交圖，從而解決了此類圖形在有界交叉複雜度下的幾何實現性問題。

ABSTRACT

It is shown that shift graphs can be realized as disjointness graphs of 1-intersecting curves in the plane. This implies that the latter class of graphs is not $χ$-bounded.

研究动机与目标

• 探討三角形自由且色數無界的圖是否可被實現為具有有限交叉性質的曲線的不相交圖。
• 透過提升曲線複雜度與交叉控制，擴展先前關於移位圖幾何實現的研究成果。
• 彌補幾何交叉模式與曲線圖中色數行為之間的理解差距。
• 證明 1-相交曲線可實現色數無界的圖形，即使在相關幾何設定中已有相關色數界。

提出的方法

• 構造一個多邊形曲線族 $\mathcal{F}_m$，其中每條曲線 $c(i,j)$ 由四條直線段 A、B、C 和 D 組成。
• 根據頂點對 $(i,j)$ 上的字典序 $\prec$ 對 A、B、C 和 D 段進行排序，以確保一致的空間排列。
• 定義交叉規則：$c(i,j)$ 的 A 段與滿足 $j \leq k \leq m$ 的曲線 $c(k,\ell)$ 的 B 段相交，且 D 段與滿足 $j+1 \leq \ell \leq j+2$ 的曲線的 B 段相交。
• 應用拉伸論證，將 A-B 和 C-D 段替換為單一的直線段，同時保持交叉模式不變。
• 安排曲線使其接觸一條公共直線而不交叉，以利與已知的接觸曲線色數界結果進行比較。
• 利用已知的線段交叉圖結果，對比不同幾何約束下不相交圖的行為差異。

实验结果

研究问题

• RQ1 移位圖 $H_m$（三角形自由且色數無界）能否在平面中被實現為 1-相交曲線的不相交圖？
• RQ2 是否能僅使用每條曲線四條直線段，同時維持受控的交叉模式，實現此類圖形？
• RQ3 此類幾何實現的色數行為與接觸公共直線的曲線所形成的圖相比如何？
• RQ4 在 1-交叉約束下，實現色數無界圖形所需的最小曲線複雜度為何？
• RQ5 此類實現的存在是否與已知的接觸直線曲線或線段不相交圖的色數界相矛盾？

主要发现

• 移位圖 $H_m$ 可被實現為由四條直線段組成的多邊形曲線族 $\mathcal{F}_m$ 的不相交圖。
• 族 $\mathcal{F}_m$ 中任意兩條曲線最多在一個點相交，滿足 1-相交條件。
• 不相交模式符合 $H_m$ 的邊定義：$c(i,j)$ 與 $c(k,\ell)$ 不相交當且僅當 $j \neq k$ 且 $\ell \neq i$，這對應於移位圖的邊規則。
• 經過拉伸變換後，曲線可被替換為僅由三條直線段組成的等價曲線，同時保持交叉模式不變。
• 該構造表明，三角形自由且色數無界的圖可透過 1-相交曲線實現，與接觸公共直線的曲線所觀察到的有界色數形成對比。
• 結果顯示，即使在曲線接觸公共直線時色數有界，$H_m$ 的色數行為仍可在 1-交叉約束下實現於幾何圖形中。