[論文レビュー] 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

ひとこと要約

この論文は、2×2および3×3の交代符号行列の個数を数える系列のp進付値を調査し、p = 2およびp = 3に焦点を当てる。階数の法則に基づく再帰的関係を用い、Legendreの公式による階乗のp進付値の公式を応用することで、閉形式の表現を導出し、ν₂(T(n))がジャコブスティャール数にちょうど0になることを証明する。これにより、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)が奇数であるための必要十分条件がジャコブスティャール数であることの新しい証明を提供すること。
• T(n)をTₚ(n) = ∏ⱼ₌₀ⁿ⁻¹ (p j + 1)! / (n + j)! に一般化し、そのp進付値の性質を研究すること。
• νₚ(Tₚ(p n))の再帰的関係を確立し、付値関数に自己相似構造が存在することを示すこと。

提案手法

• Legendreの公式 νₚ(j!) = (j − Sₚ(j))/(p − 1) を用いて、νₚ(T(n))の再帰的関係を導出する。ここで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ₙでのみ0になることを示す。
• 一般化された系列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がジャコブスティャール数である場合にのみ0になる。すなわち、ν₂(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) を用いることで、Legendreの公式を応用し、νₚ(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-ユーグリッド的かつ非負であり、床関数と桁の和を用いた明示的なベクトル形式で与えられる。