[논문 리뷰] The p-adic valuations of sequences counting alternating sign matrices

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

advanced mathematical theories참고 문헌 12인용 수 12

한 줄 요약

이 논문은 p-진 점수를 갖는 순서수열 T(n)에 대해 p = 2 및 p = 3를 중심으로 조사한다. 레이지온드의 공식을 이용한 재귀적 접근을 통해 닫힌 형태의 표현식을 유도하고, ν₂(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)에 대해 ν₂(T(n)) 및 ν₃(T(n))의 p-진 점수를 특성화하는 것.
• ν₂(T(n))의 그래프가 프랙탈처럼 생긴 블록 구조를 이용하여, T(n)이 홀수일 조건이 제이콥스탈 수일 때에만 성립한다는 새로운 증명을 제공하는 것.
• T(n)을 Tₚ(n) = ∏ⱼ₌₀ⁿ⁻¹ (p j + 1)! / (n + j)!로 일반화하고, 그 p-진 점수 성질을 연구하는 것.
• νₚ(Tₚ(p n))에 대한 재귀식을 수립하여, 점수 함수에 자기 유사성 구조가 존재함을 드러내는 것.

제안 방법

• 레이지온드의 공식 νₚ(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)이 홀수이며, 이에 대한 p-진 점수 ν₂(T(n))의 어떤 구조적 성질이 이를 설명하는가?
• 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))는 정확히 제이콥스탈 수일 때에만 0이 된다. 즉, ν₂(T(n)) = 0 ⇔ n = Jₘ for some m.
• ν₂(T(n))의 그래프는 제이콥스탈 수 Jₙ를 이용한 구간 [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-유클리드적이고 비음수이며, 바닥 함수와 자릿수 합으로 표현된 명시적 벡터 형태가 존재한다.