[论文解读] The triplication method for constructing strong starters

Oleg Ogandzhanyants, Sergey Sadov+1 more|arXiv (Cornell University)|Mar 9, 2026

graph theory and CDMA systems被引用 0

一句话总结

本论文推广并扩展了在循环群中构造强起动子的方法三重化法，移除了以往的整除性限制，并将框架扩展到包含多个基起动子和模数数独问题。

ABSTRACT

The triplication method for constructing strong starters in $Z_{3m}$ from starters in $Z_{m}$ (say, a starter of order 21 from a starter of order 7) was proposed by the authors in 2025. The method reduced construction of the particular combinatorial design (a strong starter in a cyclic group) to solving a Sudoku-type problem -- an independent task with its own tools and techniques available. The Sudoku-type problem was formulated in terms of the so-called triplication table constructed from a starter of order $m$. The method was applicable for odd orders $m\ge 7$ not divisible by 3. In the present paper, our previous approach is developed in two directions: (1) the definition of the triplication table is generalized, which expands possibilities for its construction to include three base starters or even ``pseudostarters''; (2) the formulation of the Sudoku-type problem is broadened to embrace various scenarios of ``modular encoding'' and reconstruction of strong starters from its solution. A theoretical gain of these developments consists in the improved understanding of the general structure of the triplication approach. A practical outcome is elimination of the requirement that $m$ be not divisible by 3. This leads to a broader scope of strong starters obtainable by triplication: any latent strong starter of odd order $3m$ can emerge this way.

研究动机与目标

• 将三重化框架扩展到奇数阶 m，其中 3 不一定整除 m。
• 将三重化表的构造在先前约束之外进行概括。
• 扩展 Modular Sudoku Problem (MSP) 的形式以容纳各种模编码。
• 证明 TT 与 MSP 的解能产生阶为 3m 的强起动子。
• 提供使用扩展框架生成强起动子的实用方法与示例。

提出的方法

• 定义并分析具有广义约束的三重化表 Σm。
• 引入可区分场景与将 Z3m 映射到 Zm 的模编码对 (u, U)。
• 形式化 Modular Sudoku Problem (MSP)，其解将产生可兼容的表 ˜Σr。
• 证明一个等价的 Σm 与 ˜Σr 对，能够在 Z3m 中产生强起动子 S（定理 3.7）。
• 给出使用起动子、伪起动子和圆外准伪起动子的 Σm 明确构造。
• 讨论场景无关性并给出 MSP 可解性与恢复 S 的判据。

实验结果

研究问题

• RQ1 如何在不再要求 m 不能被 3 整除的前提下定义并构造奇数 m 的三重化表 Σm？
• RQ2 在不同的区分场景下，MSP 框架如何从给定的三重化表中恢复强起动子？
• RQ3 在什么条件下 Σm 与一个同构（congruous）˜Σr 能保证在 Z3m 中得到强起动子？
• RQ4 Σm 的实际构造（基于起动子、基于伪起动子、以及圆周曲线伪起动子）及其对 MSP 可解性的影响？

主要发现

• 将三重化框架扩展为可使用三个基起动子或伪起动子，扩大构造可能性。
• 定义了一个具有更新约束的广义三重化表 Σm，确保通过 MSP 能恢复出强起动子。
• 形式化并证明两种区分场景（Mod 与 Carry）会产生同一组强起动子，从而实现场景无关性。
• 一个核心定理（定理 3.7）证明 TT Σm 与 MSP 的解能在 Z3m 中得到强起动子。
• 建立基于 MSP 的工作流（I–III）：设 MSP、求解 MSP、从 Σm 与 ˜Σr 恢复 S。
• Σm 的显式构造包括单起动子、三起动子与圆周曲线伪起动子模板。