问题
循环差集 (v,k,λ)：ℤv 的 k 元子集 D，使每个非零元素恰被 λ 对 (d,d′) 以 d−d′ 实现（即 k(k−1) = λ(v−1) 的 «完美分度»）。差集是 «一个集合同时实现所有平移覆盖» 的最经济结构，等价于 «循环对称设计»：ℤv 自身正则地作用在 2-(v,k,λ) 设计上。问题：给定满足计数关系的 (v,k,λ)，差集何时存在？已知的两翼：Bruck–Ryser–Chowla 的二次型必要条件与 Mann 乘子定理（把 «可能的乘子» 锁定）；两翼之间大量参数组既无构造也无排除——«差集地图» 是设计理论最密集的未定区域。
主要概念
群环语言
把 D 写进群环 ℤ[ℤv]：D(x) = Σd∈D xd。差集条件是一行代数恒等式：D(x)D(x−1) = k + λ·G(x)，其中 G(x) = Σg∈ℤv xg。所有经典工具都是这条恒等式的 «投影»：取特征 ξ（v 次单位根）得 |D̂(ξ)|² = k−λ（ξ≠1）；取 «模 p» 得乘子信息。
乘子
整数 t（gcd(t,v)=1）称为差集 D 的乘子，若 tD = D+g（某平移）。乘子定理断言：某些 «显然» 的素数自动成为乘子——这是把差集 «钉在» 强对称位置上的唯一通用机器，也是排除差集的主要手段（乘子约束过强 ⟹ 矛盾）。
主要命题与证明
命题 1（BRC 二次型判据，1949–50；陈述＋骨架） (v,k,λ) 对称设计（差集是其循环特例）存在则：v 偶时 k−λ 必为完全平方数；v 奇时方程 z² = (k−λ)x² + (−1)(v−1)/2·λy² 有非平凡整数解。
骨架 关联矩阵 N 满足 NNT = (k−λ)I + λJ（«任两点同在 λ 块» 的翻译），det = k·(k−λ)v−1 须为整数的平方——v 偶时直接读出 «k−λ 是平方» 的整除形态；v 奇时走 Hasse–Minkowski 的有理二次型等价理论（«k−λ 与 ±λ 的型必须在有理数上等价于恒等型»），落到上述丢番图方程。循环性不加新障碍，但给 «特征和» 形式的强化版。□
命题 2（Mann 乘子定理，简化形式，1940s；陈述＋机制） 设素数幂 w = pj 满足 gcd(w,v)=1、w ∣ (k−λ) 且 w > λ，则 w 是任何 (v,k,λ) 循环差集的乘子。
梗概 在群环 ℤ[ℤv] 中考虑恒等式 DD−1 = k+λG 的 «模 w 像»：右端在商环中化为 λG（因 k ≡ λ (mod w)），于是 D(x)D(x−1) ≡ λG(x) (mod w)；对每个非平凡特征 ξ，取值给 |D̂(ξ)|² ≡ 0 (mod w)，而 |D̂(ξ)|² = k−λ 的 «模长平方» 整除链迫使每个 D̂(ξ) 蕴含 w 重因子；«提升» 出固定关系 D(xw) ≡ xjD(x) (mod w)，再由 w > λ 的 «多余自由度吸收» 把同余提升为真等式 wD = D+g。完整证明见 Mann–Hall 的标准处理。□
命题 3（Singer 差集：存在侧的样板，1938；陈述） 对素数幂 q 与 d ≥ 2，PG(d,q) 的 «单值化» 给出循环差集 (v, k, λ) = ((qd+1−1)/(q−1), (qd−1)/(q−1), (qd−1−1)/(q−1))：取有限域上 d+1 次本原元的 «迹零» 指数集。这是存在侧最大的统一构造族——«乘子定理能不能覆盖所有差集» 正是反面战场的对标物。
说明 Singer 构造的机制：把射影平面的点标成 ℤv（由 «循环传递» 的作用群），«一条线» 平移全体即得设计——差集的 «完美分度» 恰是 «有限几何的循环模型»。□
进展与文献
Bruck–Ryser–Chowla 1949–50；Mann《Addition Theorems》与 Hall《Combinatorial Theory》的乘子定理章；Singer 1938；Beth–Jungnickel–Lenz《Design Theory》的差集章。开放核心：两翼之间的判据（«乘子定理之外还有什么必要条件»）；(v,k,λ) 小参数的逐组攻坚；与 15 号循环 Hadamard、17 号循环 Steiner 系的 «平移不变谱系» 联合推进。