[论文解读] Universal Cycles of Restricted Words

KB Gardner, Anant P. Godbole|arXiv (Cornell University)|Nov 19, 2017

Advanced Combinatorial Mathematics参考文献 7被引用 5

一句话总结

本文建立了各种受限组合对象的通用循环（U-循环）存在的证明，包括单调函数、增强满射函数、利普希茨函数、格路以及高维空间中的随机游走。通过欧拉有向图理论——其中每个顶点的入度与出度相等可保证存在欧拉环——作者证明了在特定条件下（如路径长度奇偶性与字母表约束），这些类别的U-循环存在。

ABSTRACT

A connected digraph in which the in-degree of any vertex equals its out-degree is Eulerian, this baseline result is used as the basis of existence proofs for universal cycles (also known as generalized deBruijn cycles or U-cycles) of several combinatorial objects. We extend the body of known results by presenting new results on the existence of universal cycles of monotone, "augmented onto", and Lipschitz functions in addition to universal cycles of certain types of lattice paths and random walks.

研究动机与目标

• 将通用循环（U-循环）理论从无约束词扩展到具有结构约束的组合对象。
• 研究在有限定义域上，单调函数、增强满射函数与利普希茨函数是否存在U-循环。
• 确定在多维空间中，格路与随机游走的U-循环存在的条件。
• 推广先前关于受限词的U-循环结果，如均衡分布与有界权重子集。
• 建立一个通过平衡有向图与顶点标记路径图中的弱连通性来证明U-循环存在性的框架。

提出的方法

• 构建一个有向图，其中顶点代表满足特定约束的长度为 $k-1$ 的字符串（或路径），例如在三维格路中终点位于距离原点 $k+1$ 以内的路径。
• 若第一个字符串的后缀与第二个字符串的前缀匹配，则在顶点之间定义有向边，形成类似德布鲁因图的重叠结构。
• 通过证明有效扩展的数量仅依赖于字母频率而非顺序，证明该有向图是平衡的（即每个顶点的入度等于出度）。
• 通过展示每个顶点均可经由边交换与一个标准顶点（例如字母分组为块的顶点）相连，建立弱连通性，其中使用度数为6的相邻字母交换。
• 利用弱连通且平衡的有向图必然存在欧拉环这一事实，该欧拉环对应于原始对象类的通用循环。
• 将此框架应用于多个类别：单调函数、满射函数、均衡词、竞赛排名、强密码，以及 $m$-维空间中的格路。

实验结果

研究问题

• RQ1 在何种条件下，从 $[k]$ 到 $[n]$ 的单调函数存在通用循环？
• RQ2 能否为几乎满射的函数（即在陪域中恰好缺少一个值）构造通用循环？
• RQ3 对于长度为 $n-1$ 且在三维空间中终点位于原点距离 $k+1$ 以内的格路，是否存在通用循环？
• RQ4 对词长与字母表大小施加何种约束，可使均衡词（字母频率接近均匀）存在U-循环？
• RQ5 在结构约束下，U-循环的存在性能否推广至随机游走与超图？

主要发现

• 当 $k < n$ 时，所有从 $[k]$ 到 $[n]$ 的单调函数均存在U-循环，扩展了先前关于单射函数的结果。
• 当 $n eq 1,3$ 且 $k > n$ 时，存在U-循环的增强满射函数（即恰好缺少一个陪域元素的函数），其存在性通过平衡有向图得到证明。
• 对于长度为 $n-1$ 且在三维空间中终点位于原点距离 $k+1$ 以内的格路，当 $n eq k+1$ 或 $n \to \text{odd}$ 时，存在U-循环，其存在性由平衡且弱连通的有向图保证。
• 对于 $[n]$ 上的均衡 $k$-字母词，当且仅当 $k \not\to 0 \bmod n$ 时存在U-循环，该结果推广了关于二元词中均衡权重的早期研究。
• 当 $n \to k+1 \to 4$ 时，所有三维空间中 $P_{n,k}$ 的路径均存在U-循环，且该结果可通过类似的有向图构造推广至 $m$-维路径。
• 在指定参数约束下，如非单射函数的 $k \to 4$，竞赛排名、非单射函数与非强密码的U-循环存在性已得到证明。