[论文解读] Globally simple Heffter arrays and orthogonal cyclic cycle decompositions

Simone Costa, Fiorenza Morini+2 more|arXiv (Cornell University)|Sep 18, 2017

graph theory and CDMA systems参考文献 8被引用 25

一句话总结

本文引入了全局简单Heffter数组（GSHAs），这是一种新型的整数Heffter数组，其行与列在模 $2nk+1$ 的自然排序下均为简单排列。作者为循环长度 $k \leq 10$ 构造了显式GSHAs，证明了完全图和鸡尾酒会图的正交循环分解的存在性，并实现了在可定向曲面上的双嵌入。

ABSTRACT

In this paper we introduce a particular class of Heffter arrays, called globally simple Heffter arrays, whose existence gives at once orthogonal cyclic cycle decompositions of the complete graph and of the cocktail party graph. In particular we provide explicit constructions of such decompositions for cycles of length $k\leq 10$. Furthermore, starting from our Heffter arrays we also obtain biembeddings of two $k$-cycle decompositions on orientable surfaces.

研究动机与目标

• 定义并构造全局简单Heffter数组（GSHAs），这是一种具有全局简单行与列排序的新类Heffter数组。
• 利用GSHAs建立完全图 $K_{2nk+1}$ 和鸡尾酒会图 $CP(2nk+1)$ 的正交循环分解的存在性。
• 为循环长度 $k \leq 10$ 提供此类分解的显式构造，尤其关注 $k=6,7,8,9,10$。
• 证明GSHAs可通过兼容排序实现两个 $k$-循环分解在可定向曲面上的双嵌入。
• 解决 $\mathrm{SH}^*(n;k)$ 在 $3 \leq k \leq 10$ 范围内的存在性问题，证明此类数组存在的充要条件为 $n \geq k$ 且 $nk \equiv 0,3 \pmod{4}$。

提出的方法

• 将全局简单Heffter数组 $\mathrm{SH}(n;k)$ 定义为 $\mathrm{H}(n;k)$，其中每行与每列在自然（从左到右、从上到下）排序下模 $2nk+1$ 均为简单排列。
• 利用基于模运算和带符号整数序列的递归与参数化构造方法，为 $k=6,7,8,9,10$ 显式构造 $\mathrm{SH}^*(n;k)$ 数组。
• 通过部分和在模 $2nk+1$ 下互不相同来确保简单性，特定情形下通过直接计算验证。
• 利用兼容排序（如自然行/列排序）的性质，应用定理3.1，将GSHAs与正交循环分解联系起来。
• 应用命题2.6与定理1.3，建立存在性的必要与充分条件：$n \geq k$ 且 $nk \equiv 0,3 \pmod{4}$。
• 通过具体 $n$ 值（如 $n=12$）的显式数组示例及模 $20n+1$ 与 $20n+2$ 的部分和检查，验证构造结果。

实验结果

研究问题

• RQ1 当 $3 \leq k \leq 10$ 时，全局简单Heffter数组 $\mathrm{SH}^*(n;k)$ 在哪些 $n$ 与 $k$ 下存在？
• RQ2 全局简单Heffter数组能否用于构造完全图与鸡尾酒会图的正交循环分解？
• RQ3 全局简单Heffter数组是否能实现两个 $k$-循环分解在可定向曲面上的双嵌入？
• RQ4 对于 $k \leq 10$，$\mathrm{SH}^*(n;k)$ 存在的必要与充分条件是什么？
• RQ5 能否为 $3 \leq k \leq 10$ 范围内所有有效的 $n$ 与 $k$ 提供 $\mathrm{SH}^*(n;k)$ 的显式构造？

主要发现

• 当 $3 \leq k \leq 10$ 时，对所有满足 $n \geq k$ 且 $nk \equiv 0,3 \pmod{4}$ 的 $n$，$\mathrm{SH}^*(n;k)$ 存在，该结论已在定理5.1中证明。
• 通过基于模运算与带符号序列的参数族，为 $k=6,7,8,9,10$ 提供了 $\mathrm{SH}^*(n;k)$ 的显式构造。
• 对于 $n=12$，显式构造了 $\mathrm{SH}^*(12;10)$，其所有行与列的部分和在模 $241$ 与 $242$ 下互不相同，确认了全局简单性。
• $\mathrm{SH}^*(n;7)$（当 $n \equiv 1 \pmod{4}$ 时）与 $\mathrm{SH}^*(n;9)$（当 $n \equiv 3 \pmod{4}$ 且 $n>11$ 时）分别为循环7-对角与9-对角，从而支持兼容排序。
• 通过变换 $h_{2i,2j} = a_{i,j}$，将文献[16]中的 $\mathrm{H}(n;5)$ 改造成循环5-对角的 $\mathrm{SH}^*(n;5)$，确保了全局简单性。
• 异常情形 $\mathrm{SH}^*(11;9)$ 已显式构造并验证其具有兼容的自然排序，适用于双嵌入，从而确认了定理1.11。