[论文解读] The p-adic valuations of sequences counting alternating sign matrices

Xinyu Sun, Victor H. Moll|ArXiv.org|Jan 28, 2009

advanced mathematical theories参考文献 12被引用 12

一句话总结

本文研究了计数交错符号矩阵的序列的 p-进赋值，重点关注 p = 2 和 p = 3。利用基于勒让德公式（用于阶乘的 p-进赋值）的递推关系，作者推导出一个闭式表达式，并证明 ν₂(T(n)) 恰好在雅可比斯特定数处为零，从而为 T(n) 为奇数的已知结果提供了新的组合证明。

ABSTRACT

The p-adic valuations of a sequence of integers T(n) counting alternating sign matrices is examined for p=2 and p=3. Symmetry properties of their graphs produce a new proof of the result that characterizes the indices for which T(n) is odd.

研究动机与目标

• 刻画计数 n×n 交错符号矩阵的序列 T(n) 的 p-进赋值 ν₂(T(n)) 和 ν₃(T(n))。
• 利用 ν₂(T(n)) 图像的分形式块结构，提供一个新的证明，表明 T(n) 为奇数当且仅当 n 是雅可比斯特定数。
• 将 T(n) 推广为 Tₚ(n) = ∏ⱼ₌₀ⁿ⁻¹ (p j + 1)! / (n + j)!，并研究其 p-进赋值性质。
• 建立 νₚ(Tₚ(p n)) 的递推关系，揭示赋值函数中的自相似结构。

提出的方法

• 使用勒让德公式推导 νₚ(T(n)) 的递推关系：νₚ(j!) = (j − Sₚ(j))/(p − 1)，其中 Sₚ(j) 是 j 在基 p 下的数位之和。
• 将 p-进赋值 νₚ(T(n)) 表示为数位和函数之差的形式：νₚ(T(n)) = 1/(p−1) [∑ⱼ₌₀ⁿ⁻¹ Sₚ(n+j) − ∑ⱼ₌₀ⁿ⁻¹ Sₚ(3j+1)]。
• 分析 ν₂(T(n)) 的图像，证明其由区间 [Jₙ, Jₙ₊₁] 上的块组成，其中 Jₙ 为雅可比斯特定数。
• 证明在区间 [Jₙ₊₁, Jₙ] 上的图像为前一区间 [Jₙ₋₁, Jₙ] 图像的垂直平移，从而推出 ν₂(T(n)) 仅在端点 Jₙ 处为零。
• 为广义序列 Tₚ(n) 建立递推关系：νₚ(Tₚ(p n)) = p νₚ(Tₚ(n)) + ½ p(p−3)n²。
• 利用基 p 下的数位和恒等式与周期性，证明赋值递推中的修正项 Wₚ,ₙ = 0，从而确认递推关系精确成立。

实验结果

研究问题

• RQ1 在哪些指标 n 处 T(n) 为奇数？ν₂(T(n)) 的 p-进赋值的何种结构性质可解释这一现象？
• RQ2 ν₂(T(n)) 图像的自相似块结构能否用于推导出 T(n) 为奇数条件的新证明？
• RQ3 广义序列 Tₚ(n) = ∏ⱼ₌₀ⁿ⁻¹ (p j + 1)! / (n + j)! 的 p-进赋值 νₚ(Tₚ(n)) 的精确形式是什么？
• RQ4 递推关系 νₚ(Tₚ(p n)) = p νₚ(Tₚ(n)) + ½ p(p−3)n² 是否能完全刻画 Tₚ(n) 的 p-进赋值？
• RQ5 广义序列 Tₚ(n) 是否计数某种组合对象？若有，是何种组合对象？

主要发现

• p-进赋值 ν₂(T(n)) 为零当且仅当 n 是雅可比斯特定数，即 ν₂(T(n)) = 0 ⇔ n = Jₘ 对某个 m 成立。
• ν₂(T(n)) 的图像由区间 [Jₙ, Jₙ₊₁] 上的块组成，每个块的中心部分是前一个块图像的垂直平移。
• 递推关系 νₚ(T(n+1)) = νₚ(T(n)) + fₚ(3n+1) + fₚ(n) − fₚ(2n) − fₚ(2n+1) 允许通过勒让德公式高效计算 νₚ(T(n))。
• 对于广义序列 Tₚ(n)，恒等式 νₚ(Tₚ(p n)) = p νₚ(Tₚ(n)) + ½ p(p−3)n² 成立，且通过证明数位和修正项 Wₚ,ₙ = 0 得到确认。
• 通过迭代 p 的幂次递推关系，推导出闭式表达式 νₚ(Tₚ(pⁿ)) = pⁿ(p−3)(pⁿ−1)/(2(p−1))。
• 函数 ψₖ(n) = ∑ⱼ₌₀ⁿ⁻¹ ⌊(n+j)/k⌋ − ∑ⱼ₌₀ⁿ⁻¹ ⌊(3j+1)/k⌋ 是 k-欧几里得的且非负，其显式向量形式以取整函数和数位和表示。