[论文解读] Cubic graphs with most automorphisms

Rev. Michael A. van Opstall, Răzvan Veliche|ArXiv.org|Aug 25, 2006

Finite Group Theory Research参考文献 5被引用 4

一句话总结

本文根據圖的虧格，建立連通簡單三正則圖的自同構群階數的緊確上界，透過遞歸構造具有最大對稱性的圖來實現。證明自同構群大小受 $ \frac{3}{2} \cdot 2^{o(g)} $、$ \frac{5}{4} \cdot 2^{o(g)} $ 或 $ 2^{o(g)} $ 限制，具體取決於虧格的二進位結構，並構造出達到這些上界的顯式圖形，從而解決了虧格 $ g \geq 9 $ 時三正則圖中自同構群最大化的問題。

ABSTRACT

We give a sharp bound for the automorphism group of a cubic simple graph with a given number of vertices. For each number of vertices we give an explicit graph attaining the bound, and prove its uniqueness in special cases.

研究动机与目标

• 根據圖的虧格，確定連通簡單三正則圖的自同構群階數的緊確上界。
• 分類自同構群大小達到特定指數界限的虧格，這些界限以虧格及其二進位分解為表達形式。
• 構造顯式三正則圖以達到這些界限，從而證明其緊確性。
• 透過對偶圖對應關係，解決 Aaron Bertram 提出的關於具有有理分支的穩定曲線自同構群的問題。
• 在 [6] 的結果基礎上，將界限 $ |\mathrm{Aut}~{}G| \leq 3n \cdot 2^n $ 精化為緊確的、依賴於虧格的不等式。

提出的方法

• 定義具有 $ 2n $ 個頂點的三正則圖的虧格為 $ g = n + 1 $，並引入函數 $ l(g) = \min\{k \mid g = \sum_{i=1}^k a_i \cdot 2^{n_i}, a_i \in \{1,3\}\} $ 和 $ o(g) = g - l(g) $。
• 透過在樹狀核心上附加「附著物」（例如摺疊四面體）的遞歸圖形構造，以最大化對稱性與自同構群大小。
• 透過移除一個邊軌道並分析所得分量的歸納法，證明非三正則或非簡單分量會限制自同構群大小。
• 應用涉及 $ o(g) $ 的不等式，如 $ k < 2^{o(\lceil k/2 \rceil + 1)} $，以比較自同構群大小並排除非最優配置。
• 分析邊傳遞與對稱配置，特別是在分量以環或對稱鏈方式連結的情況下，以排除最優性。
• 使用函數 $ B(s,h) $ 衡量在附加 $ s $ 個虧格為 $ h $ 的圖形時自同構增長的虧損，並證明僅在滿足特定虧格條件時才會出現嚴格不等式。

实验结果

研究问题

• RQ1 作為虧格的函數，連通簡單三正則圖的自同構群階數的緊確上界為何？
• RQ2 對於哪些 $ g \geq 9 $ 的虧格，自同構群大小可達 $ 3 \cdot 2^{o(g)} $、$ \frac{3}{2} \cdot 2^{o(g)} $、$ \frac{5}{4} \cdot 2^{o(g)} $ 或 $ 2^{o(g)} $？
• RQ3 能否構造出達到這些界限的顯式三正則圖，且這些界限是否緊確？
• RQ4 虧格分解結構（透過 $ l(g) $）如何決定自同構群大小的最大可能值？
• RQ5 自同構群大小在何種條件下會低於 $ 2^{o(g)} $？為何某些虧格如 $ g = 10, 11, 19, 20, 38 $ 是特殊的？

主要发现

• 對於 $ g = 9 \cdot 2^m + s $，其中 $ s = 0,1,2 $ 且 $ g \neq 10,11,19,20,38 $，自同構群大小受 $ 3 \cdot 2^{o(g)} $ 限制，且此界限為緊確。
• 對於 $ g = 3 \cdot 2^m + s $，其中 $ m \geq 2 $，或 $ g = 9(2^m + 2^p) $，其中 $ |m-p| \geq 5 $，或 $ g = 10,11,19,20,38 $，界限為 $ \frac{3}{2} \cdot 2^{o(g)} $，且此界限亦為緊確。
• 對於 $ g = 5 \cdot a \cdot 2^m + 1 $，其中 $ a = 1 $ 或 $ 3 $，$ m \geq 2 $，界限為 $ \frac{5}{4} \cdot 2^{o(g)} $，且此界限可達成。
• 在所有其他情況下，界限為 $ 2^{o(g)} $，且對於未被前述情況涵蓋的虧格，此界限亦為緊確。
• 提供了達到每一界限的圖形之顯式構造，包括將四個「摺疊 $ K_{3,3} $」圖形附加至具有四片葉子的二元樹上，以在虧格 16 時達到 $ 8^5 = 2^{o(16)} $ 個自同構。
• 證明顯示，任何不匹配指定結構的圖形，其自同構群必較小，從而確認這些界限的緊確性。