[论文解读] Cubic planar bipartite graphs are dispersable

Paul C. Kainen, Shannon Overbay|arXiv (Cornell University)|Jul 10, 2021

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

一句话总结

本文證明所有立方平面二分圖多重圖皆為可分散的，確認了Alam等人提出的猜想，即其先前結果中的三連通性條件可被移除。作者透過二分圖的結構圖論與邊定向論證，建立了一種可分散的書本嵌入——每頁為一個完美匹配，且頁數等於最大度數。

ABSTRACT

A graph is called dispersable if it has a book embedding in which each page has maximum degree 1 and the number of pages is the maximum degree. Bernhart and Kainen conjectured every k-regular bipartite graph is dispersable. Forty years later, Alam, Bekos, Gronemann, Kaufmann, and Pupyrev have disproved this conjecture, identifying nonplanar 3- and 4-regular bipartite graphs that are not dispersable. They also proved all cubic planar bipartite 3-connected graphs are dispersable and conjectured that the connectivity condition could be relaxed. We prove that every cubic planar bipartite multigraph is dispersable. A postscript is added which includes new references.

研究动机与目标

• 解決Alam等人提出的開放猜想，即立方平面二分圖即使在無三連通性條件下亦為可分散的。
• 擴展對正則二分圖中書本嵌入的理解，特別是在幾何與拓撲圖論的脈絡下。
• 利用立方平面二分圖多重圖中的邊定向與元件分析，提供結構性證明。
• 確認BK猜想對所有立方平面二分圖多重圖皆成立，即使在非平面情況下存在反例。
• 對圖論中書本厚度與匹配書本厚度的廣泛研究有所貢獻，特別是針對正則與二分圖。

提出的方法

• 基於二分圖的兩部分對邊進行定向，以分析子圖中頂點的度數，根據頂點所屬部分分別賦予+k或-k。
• 應用任意有向圖中定向度數總和為零的原理，推導出邊移除後連通元件中頂點度數的約束。
• 證明若移除兩條不相交的邊會使某元件孤立，則這兩條邊的端點必分屬二分圖的不同部分，並利用度數和的模運算加以證明。
• 利用連通正則二分圖中無割點（此為 folklore 結果，本文亦予以證明）的性質，支持圖形的結構穩定性。
• 透過確保每頁皆為完美匹配，並依賴立方平面二分圖多重圖的結構性質，建構可分散的書本嵌入。
• 使用數學歸納法與元件分解，證明在Δ(G) = 3頁中存在有效的匹配分解，滿足可分散條件。

实验结果

研究问题

• RQ1 Alam等人關於可分散書本嵌入結果中的三連通性假設，是否可被移除於立方平面二分圖？
• RQ2 所有立方平面二分圖多重圖是否皆能實現書本嵌入，使得每頁為完美匹配，且頁數等於最大度數？
• RQ3 立方平面二分圖多重圖的哪些結構性質可確保在Δ(G)頁中存在完美匹配分解？
• RQ4 子圖中的邊定向與元件分析如何協助建立正則二分圖的可分散性？
• RQ5 BK猜想——每一個正則二分圖皆為可分散的——是否對立方平面二分圖多重圖類別成立？

主要发现

• 所有立方平面二分圖多重圖皆為可分散的，表示其可實現恰好Δ(G) = 3頁的書本嵌入，且每頁皆為完美匹配。
• 證明顯示，任何兩條不相交邊若其移除會使某元件孤立，則其端點必分屬二分圖的不同部分，此為關鍵結構約束。
• 本文正式證明連通正則二分圖（k ≥ 3）中無割點，支持此類圖形在頂點移除下的結構穩定性。
• 本文確認Alam等人提出的猜想，即三連通性對立方平面二分圖的可分散性並非必要條件。
• 此結果雖在非平面情況下存在反例，但有助於解決BK猜想在特定但重要的圖類別中之成立性。
• 作者所採用的定向度數與元件分析方法，提供了與Alam等人擴展版本中方法不同的替代途徑，並提供補充性的洞見。