[论文解读] Biembedding Steiner Triple Systems and n-cycle Systems on Orientable Surfaces

Jeffrey H. Dinitz, Amelia R. W. Mattern|arXiv (Cornell University)|May 15, 2015

graph theory and CDMA systems被引用 13

一句话总结

该论文证明了对所有 $n \geq 3$，完全图 $K_{6n+1}$ 存在定向双嵌入，其中每条边同时位于一个 3-圈（来自斯坦纳三元系）和一个简单 $n$-圈（来自 $n$-圈系）中。通过使用具有简单行与列排序的 Heffter 阵列 $H(3,n)$，作者借助 Heffter 系统与循环圈分解之间的联系，构建了此类嵌入，首次证明了在定向曲面上对斯坦纳三元系与 $n$-圈系进行双嵌入的一般性结果。

ABSTRACT

In 2015, Archdeacon introduced the notion of Heffter arrays and showed the connection between Heffter arrays and biembedding m-cycle and an n-cycle systems on a surface. In this paper we exploit this connection and prove that for every n >= 3 there exists an orientable embedding of the complete graph on 6n+1 vertices with each edge on both a 3-cycle and an $n$-cycle. We also give an analogous (but partial) result for biembedding a 5-cycle system and an n-cycle system.

研究动机与目标

• 证明在 $K_{6n+1}$ 上，斯坦纳三元系与 $n$-圈系可在同一曲面上实现定向双嵌入。
• 利用 Archdeacon 提出的 Heffter 阵列与双嵌入之间的联系，构造此类嵌入。
• 证明对每个 $n \geq 3$，存在一种循环双嵌入，使得每条边同时位于一个 3-圈与一个简单 $n$-圈中。
• 将该方法扩展至 $K_{10n+1}$ 的部分结果，实现 5-圈系与 $n$-圈系的双嵌入，其中 $3 \leq n \leq 100$。

提出的方法

• 利用 Heffter 阵列 $H(3,n)$ 作为组合框架，编码斯坦纳三元系与 $n$-圈系的分解。
• 采用 Heffter 阵列中行与列的简单排序概念，确保面圈为简单且不重复的圈。
• 应用 Archdeacon 的命题 2.1，将简单 Heffter 系统与 $K_v$ 的循环 $k$-圈分解联系起来。
• 使用欧拉公式计算定向曲面的亏格 $g = 1 - \frac{1}{2}\left[6n+1 + \binom{6n+1}{2}\left(\frac{1}{3} + \frac{1}{n} - 1\right)\right]$。
• 通过计算重排 $H(5,n)$ 阵列的行，实现 $3 \leq n \leq 100$ 时的简单行排序，从而实现 $K_{10n+1}$ 的双嵌入。
• 依赖定理 3.5 保证对所有 $n \geq 3$，简单 $H(3,n)$ 阵列存在，从而支持主要结果。

实验结果

研究问题

• RQ1 对所有 $n \geq 3$，是否存在 $K_{6n+1}$ 上斯坦纳三元系与 $n$-圈系的定向双嵌入？
• RQ2 能否构造出具有简单行与列排序的 Heffter 阵列 $H(3,n)$，以确保面圈为简单圈？
• RQ3 在 $K_{6n+1}$ 双嵌入于 3-圈与 $n$-圈的定向曲面的亏格是多少？
• RQ4 该方法能否扩展至 $K_{10n+1}$，实现 5-圈系与 $n$-圈系的双嵌入（$n \geq 3$）？
• RQ5 是否存在适用于 Heffter 阵列 $H(m,n)$ 的通用构造方法，以实现在定向曲面上 $m$-圈系与 $n$-圈系的双嵌入？

主要发现

• 对每个 $n \geq 3$，存在一个 $K_{6n+1}$ 的定向双嵌入，使得每条边同时位于一个 3-圈与一个简单 $n$-圈中。
• 该双嵌入模 $6n+1$ 是循环的，斯坦纳三元系与 $n$-圈系均由边集的循环分解生成。
• 定向曲面的亏格为 $g = 1 - \frac{1}{2}\left[6n+1 + \binom{6n+1}{2}\left(\frac{1}{3} + \frac{1}{n} - 1\right)\right]$，当 $n = 5$ 时，$g = 94$。
• 对 $3 \leq n \leq 100$，存在一个简单 $5 \times n$ 的 Heffter 阵列，从而可实现 $K_{10n+1}$ 上 5-圈系与 $n$-圈系的双嵌入。
• 该构造依赖于 $H(3,n)$ 阵列中简单排序的存在性，该存在性已由定理 3.5 证明对所有 $n \geq 3$ 成立。
• 该方法可推广至其他 $m \times n$ Heffter 阵列，表明其在实现 $m$-圈系与 $n$-圈系在定向曲面上的双嵌入方面具有更广泛的应用潜力。