Hyperbinary partitions and q-deformed rationals

这篇论文《超二进制划分与 q-变形有理数》（Hyperbinary partitions and q-deformed rationals）由 Thomas McConville、James Propp 和 Bruce E. Sagan 撰写。文章旨在通过引入超二进制划分（hyperbinary partitions）这一概念，加强 Stern 双原子序列（Stern's diatomic sequence）、栅栏偏序集（fence posets）以及 q-变形有理数（q-deformed rationals）这三个数学领域之间的联系。

以下是该论文的详细技术总结：

1. 研究问题与背景

• 核心对象：超二进制划分是指将非负整数 $n$ 划分为 2 的幂次之和，且每个幂次最多出现两次的划分方式。记 $H(n)$ 为 $n$ 的所有超二进制划分的集合，$h(n) = |H(n)|$。
• 现有联系：
  • Stern 双原子序列（fusc 序列）与超二进制划分的数量 $h(n)$ 有直接联系（$h(n) = \text{fusc}(n+1)$）。
  • Morier-Genoud 和 Ovsienko 定义了有理数 $r/s$ 的 q-变形 $[r/s]_q$，通常依赖于 $r/s$ 的连分数展开。
  • Calkin-Wilf 序列枚举了所有非负有理数。
• 研究缺口：虽然上述对象各自有研究，但它们之间的深层结构联系（特别是通过超二进制划分的统计量来构建 q-变形有理数，以及其与栅栏偏序集格结构的同构关系）尚未被充分揭示。

2. 方法论

作者采用了组合数学、偏序集理论和生成函数的方法：

• 生成函数：定义 $h_q(n) = \sum_{\eta \in H(n)} q^{\ell(\eta)}$，其中 $\ell(\eta)$ 是划分 $\eta$ 的项数（长度）。
• 递归结构：利用超二进制划分的递归性质（基于 $n$ 的奇偶性）推导 $h_q(n)$ 的递推公式。
• 偏序集同构：将超二进制划分集合 $H(n)$ 视为在“细化”（refinement）关系下的偏序集，并将其与由 $n$ 的二进制展开构造的栅栏偏序集（fence poset）$F(n)$ 的理想格（lattice of order ideals）$J(F(n))$ 进行同构分析。
• 矩阵表示：利用 $SL(2, \mathbb{R})$ 生成元的 q-变形矩阵乘积来表示有理数，并将矩阵元素与 $h_q(n)$ 联系起来。

3. 主要贡献与结果

3.1 超二进制划分与 Calkin-Wilf 序列的 q-变形

• 定义 q-Stern 序列：定义 $\text{fusc}_q(n) = h_q(n-1)$。该多项式序列满足与 Stern 序列类似的递推关系，但引入了 $q$ 的权重。
  • $\text{fusc}_q(2n) = q \cdot \text{fusc}_q(n)$
  • $\text{fusc}_q(2n+1) = \text{fusc}_q(n+1) + q^2 \cdot \text{fusc}_q(n)$
• 核心定理 (Theorem 2.3)：建立了 Calkin-Wilf 序列第 $n$ 项 $CW(n)$ 的 q-变形与超二进制划分生成函数之间的精确关系：
  $$[CW(n)]_q = q \frac{h_q(n-1)}{h_q(n)}$$
  这一结果提供了一种不依赖显式连分数展开，而是直接通过超二进制划分的长度统计量来计算 q-变形有理数的方法。

3.2 超二进制划分偏序集与栅栏偏序集的同构

• 偏序集结构：作者证明了 $H(n)$（在细化顺序下）是一个分配格（distributive lattice）。
• 栅栏偏序集 $F(n)$：根据 $n$ 的二进制展开的主前缀（principal prefix）构造一个栅栏偏序集。
• 同构定理 (Theorem 3.16)：证明了 $H(n)$ 同构于栅栏偏序集 $F(n)$ 的所有下理想（order ideals）构成的格 $J(F(n))$。
  $$H(n) \cong J(F(n))$$
• 生成函数关系 (Theorem 3.17)：利用上述同构，导出了 $h_q(n)$ 与 $J(F(n))$ 的秩生成函数（rank-generating function）之间的关系：
  $$h_q(n) = q^{r+s} \cdot \text{rgf}_{F(n)}(q^{-1})$$
  其中 $r$ 是主前缀长度，$s$ 是二进制展开中 1 的个数。

3.3 矩阵乘积与 $h_q(n)$ 的显式表达

• 矩阵定义：定义矩阵 $L = \begin{pmatrix} 1 & 0 \\ 1 & q^{-1} \end{pmatrix}$ 和 $R = \begin{pmatrix} q & 1 \\ 0 & 1 \end{pmatrix}$。
• 矩阵构造：对于整数 $n$，根据其二进制展开（去掉首位 1 并反转）构造矩阵乘积 $M(n)$，其中 0 对应 $L$，1 对应 $R$。
• 矩阵元素公式 (Theorem 4.2)：证明了 $M(n)$ 的四个元素可以直接用 $h_q(n)$ 及其相关项表示。例如，$M(n)$ 的右下角元素与 $h_q(n-2^k)$ 相关（具体形式见定理 4.2）。
• 推广：进一步推广到包含更多统计量（如 2 的个数、非前导零的个数）的生成函数 $H_{r,s}(n)$，并给出了对应的矩阵公式。

4. 意义与影响

1. 统一视角：该论文成功地将超二进制划分置于核心地位，揭示了它是连接 Stern 序列、Calkin-Wilf 树、栅栏偏序集和 q-变形有理数的关键桥梁。
2. 计算简化：提供了一种计算 q-变形有理数 $[r/s]_q$ 的新方法，无需显式处理连分数，而是通过 $n$ 对应的超二进制划分的长度生成函数直接计算。
3. 结构洞察：证明了超二进制划分集合具有分配格结构，并将其具体化为栅栏偏序集的理想格，丰富了组合偏序集理论。
4. 新统计量：引入了基于划分长度的统计量，并展示了其如何自然地产生 q-变形结构，为后续研究其他统计量（如 2 的个数、零的个数）在 q-变形中的应用提供了范式。

5. 未来工作

论文最后讨论了几个开放问题：

• 负数扩展：如何将 q-变形有理数扩展到负数，以及是否存在自然的“双端”Stern 序列。
• 其他子格：寻找全划分偏序集中其他具有分配格性质的自然子集。
• 其他统计量：研究更多统计量（如不同部分的个数）对应的生成函数及其性质。
• 芯片点火（Chip-firing）：从芯片点火游戏的角度重新解释超二进制展开，可能为相关定理提供新的直观理解。

综上所述，这篇文章通过深入挖掘超二进制划分的组合结构，不仅统一了多个看似独立的数学概念，还给出了具体的代数公式和格论同构，显著推进了 q-变形有理数理论的发展。