[论文解读] Cube-Like Polytopes and Complexes

Andrew C. Duke, Egon Schulte|arXiv (Cornell University)|Nov 16, 2012

Advanced Combinatorial Mathematics参考文献 16被引用 3

一句话总结

本文將丹澤爾的冪複合結構（power complex construction）引入並形式化，作為類立方體組合結構的一般化，確立了在何種條件下此類複合結構之間存在覆蓋映射。論文證明：在冪複合結構之間存在覆蓋映射，當且僅當其底層頂點纖維映射為雙射，從而推廣了抽象多面體理論中關於正則映射與立方體密鋪的已知結果。

ABSTRACT

The main purpose of this paper is to popularize Danzer's power complex construction and establish some new results about covering maps between two power complexes. Power complexes are cube-like combinatorial structures that share many structural properties with higher-dimensional cubes and cubical tessellations on manifolds. Power complexes that are also abstract polytopes have repeatedly appeared somewhat unexpectedly in various contexts, although often under a different name. However, the non-polytope case is largely unexplored.

研究动机与目标

• 推廣丹澤爾的冪複合結構，這是一類具有高維立方體與立方體密鋪性質的類立方體組合結構。
• 建立冪複合結構之間覆蓋映射的新結果，特別是在等纖映射與頂點纖維雙射條件下。
• 透過分析非必然為抽象多面體的冪複合結構，擴展射影複合結構理論，突破傳統多面體理論的範疇。

提出的方法

• 本文將冪複合結構定義為基底複合結構經由大小為 n 的頂點集之類卡氏積構造的射影複合結構。
• 引入基底複合結構之間的等纖覆蓋概念，其中目標複合結構的每個頂點在源中恰好有 l 個原像。
• 透過群作用與標籤函數 g，構造冪複合結構 n^K 與 m^L 之間的弱覆蓋映射 π^γ,g，方法為提升旗與頂點標籤。
• 證明 π^γ,g 為覆蓋映射，當且僅當標籤函數 g 是冪複合結構頂點集之間的雙射。
• 利用射影複合結構的旗圖與邊標籤結構，分析冪複合結構中的鄰接與連通性。
• 將理論應用於正多邊形，並構造具體例子，如覆蓋映射 2^{2p} → 4^p，對應考克斯eter的正則映射 {4,2p|4^{p−1}}。

实验结果

研究问题

• RQ1 在何種條件下，由射影複合結構構造的兩個冪複合結構之間存在覆蓋映射？
• RQ2 頂點纖維映射 g 的結構如何影響冪複合結構之間覆蓋映射的提升？
• RQ3 基底複合結構的等纖覆蓋與其冪複合結構之間的映射之間有何關係？
• RQ4 何時冪複合結構之間的弱覆蓋實際上為強覆蓋（即覆蓋映射）？
• RQ5 如何從冪複合結構構造中推導出已知的正則映射，如考克斯eter的 {4,2p|4^{p−1}}？

主要发现

• 冪複合結構 n^K 與 m^L 之間的覆蓋映射 π^γ,g 存在，當且僅當頂點標籤函數 g 為雙射，確保頂點之間的一一對應。
• 冪複合結構的構造保留下基底複合結構的組合結構，其中 n^K 擁有 n^{v(K)} 個頂點，v(K) 為 K 中的頂點數。
• 當 g 為雙射時，覆蓋映射 π^γ,g 在頂點上為單射，並在所有階層上保持鄰接關係。
• 該構造推廣了已知例子，如考克斯eter的正則映射 {4,2p|4^{p−1}}，其作為覆蓋映射 2^{2p} → 4^p 而出現。
• 對於有限正多邊形 K={2p} 與 L={p}，中心對稱性誘導出一組等纖覆蓋 γ:K→L，纖維大小 l=2，該覆蓋可提升至其冪複合結構之間的覆蓋。
• 理論顯示，冪複合結構不限於抽象多面體；許多冪複合結構本身非多面體，但仍具有豐富的組合與覆蓋理論結構。