[논문 리뷰] Higher Apery-like numbers arising from special values of the spectral zeta function for the non-commutative harmonic oscillator

Kazufumi Kimoto|ArXiv.org|2009. 01. 06.

Quantum Mechanics and Non-Hermitian Physics참고 문헌 20인용 수 4

한 줄 요약

이 논문은 비가환 조화 진동자의 스펙트럼 제타 함수 $ \zeta_Q(s) $ 의 특수값에서 유도되는 고차 Apéry-유사 수 $ J_k(n) $ 를 소개한다. $ J_k(n) $ 과 $ J_{k-2}(n) $ 를 연결하는 재귀 관계를 확립하고, 단일 비정상 Heun 미분방정식을 만족하는 생성함수를 도출하며, 정규화된 유리수 부분 $ \tilde{J}_k(n) $ 를 정의하여 고전적 Apéry 수와 유사한 합동식을 증명한다. 이는 $ \tilde{J}_2((p-1)/2) \equiv A_2((p-1)/2) \pmod{p^2} $ 와 $ p^3 $ 모듈로에 대한 추측된 초합동식을 포함한다.

ABSTRACT

A generalization of the Apery-like numbers, which is used to describe the special values $ζ_Q(2)$ and $ζ_Q(3)$ of the spectral zeta function for the non-commutative harmonic oscillator, are introduced and studied. In fact, we give a recurrence relation for them, which shows a ladder structure among them. Further, we consider the `rational part' of the higher Apery-like numbers. We discuss several kinds of congruence relations among them, which are regarded as an analogue of the ones among Apery numbers.

연구 동기 및 목표

• 비가환 조화 진동자의 스펙트럼 제타 함수의 특수값 $ \zeta_Q(k) $ 와 연결된 고차 $ k \geq 2 $ 의 Apéry-유사 수를 일반화한다.
• 재귀적 연결 관계를 통해 $ J_k(n) $ 와 $ J_{k-2}(n) $ 를 연결하는 재귀적 계층을 확립하여 수들 사이의 단계적 계층적 위계를 드러낸다.
• 미분방정식에서 변수를 바꾸어 정규화된 유리수 부분 $ \tilde{J}_k(n) $ 를 정의함으로써 $ p $-진 합동 분석이 가능하도록 한다.
• $ \tilde{J}_k(n) $ 간의 합동 관계를 조사하며, 고전적 Apéry 수의 합동식과의 유사성을 도출한다.
• 초합동식에 대한 추측을 제시하고 뒷받침하며, $ p^3 $ 과 $ p^r $ 모듈로로 확장된 결과를 고차 $ k $ 에 대해 일반화한다.

제안 방법

• 스펙트럼 제타 함수의 특수값과 관련된 고차 Apéry-유사 수 $ J_k(n) $ 를 $ [0,1]^k $ 에서의 $ k $-중 적분을 통해 정의한다. 이는 $ x_1, \dots, x_k $ 의 유리함수와 $ n $ 에 의존하는 가중 인자로 구성된다.
• Generating 함수에 대해 단일 비정상 Heun 미분방정식을 유도하기 위해 $ J_k(n) $ 에 대한 3항 비동차 재귀관계를 도출한다.
• $ J_k(n) $ 와 $ J_{k-2}(n) $ 를 연결함으로써 재귀적 단계적 계층을 수립하며, 이는 $ \zeta_Q(k) $ 와 $ \zeta_Q(k-2) $ 간 잠재적인 모듈러 또는 산술적 연결을 시사한다.
• 미분방정식에서 변수를 바꾸어 정규화된 유리수 부분 $ \tilde{J}_k(n) $ 를 정의함으로써 $ J_k(n) $ 이 $ \zeta(k), \zeta(k-2), \dots $ 의 선형결합으로 표현되며 계수로 $ \tilde{J}_m(n) $ 가 사용됨을 가능하게 한다.
• $ p $-진 해석과 $ p^2 $, $ p^3 $ 모듈로에서의 이항계수 항등식을 사용하여 합동식을 증명하며, $ \tilde{J}_2((p-1)/2) \equiv A_2((p-1)/2) \pmod{p^2} $ 를 포함한다.
• 고차 초합동식에 대한 추측을 제시하고 뒷받침하며, $ \sum_{n=0}^{p-1} \tilde{J}_2(n)^2 \equiv \left(\frac{-1}{p}\right) \pmod{p^3} $ 와 $ \tilde{J}_2(mp^r - 1) \equiv \left(\frac{-1}{p}\right) \tilde{J}_2(mp^{r-1} - 1) \pmod{p^r} $ 와 같은 형태를 포함한다.

실험 결과

연구 질문

• RQ1 고차 Apéry-유사 수 $ J_k(n) $ 는 $ k \geq 2 $ 에서 비가환 조화 진동자의 스펙트럼 제타 함수의 특수값 $ \zeta_Q(k) $ 에서 어떻게 유도되는가?
• RQ2 $ J_k(n) $ 와 $ J_{k-2}(n) $ 를 연결하는 재귀적 구조는 무엇이며, 이는 $ \zeta_Q(s) $ 의 더 깊은 산술적 또는 스펙트럼적 성질을 어떻게 反영하는가?
• RQ3 정규화된 유리수 부분 $ \tilde{J}_k(n) $ 의 역할은 무엇이며, 어떻게 $ p $-진 합동 분석을 가능하게 하는가?
• RQ4 고전적 Apéry 수의 초합동식과 유사한 초합동식이 존재하는가? 예를 들어 $ \sum_{n=0}^{p-1} \tilde{J}_2(n)^2 \equiv \left(\frac{-1}{p}\right) \pmod{p^3} $ 와 같은 것들이고, 이는 고차 $ k $ 에 대해 어떻게 일반화되는가?
• RQ5 $ \tilde{J}_2(mp^r - 1) \equiv \left(\frac{-1}{p}\right) \tilde{J}_2(mp^{r-1} - 1) \pmod{p^r} $ 의 합동식은 고차 $ k $ 에 대해 확장되거나 증명될 수 있는가? 이는 $ \zeta_Q(k) $ 의 산술적 성질에 대해 무엇을 시사하는가?

주요 결과

• 고차 Apéry-유사 수 $ J_k(n) $ 는 $ J_k(n) $ 와 $ J_{k-2}(n) $ 를 연결하는 3항 비동차 재귀관계를 만족하며, 이는 $ k $ 에 따른 단계적 계층적 위계를 나타낸다.
• $ J_k(n) $ 의 생성함수는 단일 비정상 Heun 미분방정식을 만족하며, 이는 재귀관계에서 유도되며 스펙트럼 제타 함수의 해석적 구조를 반영한다.
• 미분방정식에서 변수를 바꾸어 정규화된 유리수 부분 $ \tilde{J}_k(n) $ 를 정의함으로써 $ J_k(n) $ 이 $ \zeta(k), \zeta(k-2), \dots $ 의 선형결합으로 표현되며 계수로 $ \tilde{J}_m(n) $ 가 사용됨을 가능하게 한다.
• 특히 $ \tilde{J}_2((p-1)/2) \equiv A_2((p-1)/2) \pmod{p^2} $ 를 증명하였으며, 여기서 $ A_2(n) $ 는 $ \zeta(2) $ 에 대한 고전적 Apéry 수이므로, 정규화된 고차 Apéry 수와 고전적 Apéry 수 사이의 직접적 연결을 확립한다.
• 논문은 $ \sum_{n=0}^{p-1} \tilde{J}_2(n)^2 \equiv \left(\frac{-1}{p}\right) \pmod{p^3} $ 와 같은 초합동식을 추측하며, 이는 Rodriguez-Villegas 형식의 결과와 유사하다.
• 더 깊은 추측으로서, 모든 $ m, r \geq 1 $ 에 대해 $ \tilde{J}_2(mp^r - 1) \equiv \left(\frac{-1}{p}\right) \tilde{J}_2(mp^{r-1} - 1) \pmod{p^r} $ 이며, $ \tilde{J}_2((mp^r - 1)/2) $ 는 무게 6의 모듈러 형식의 푸리에 계수 $ \lambda_p $ 를 포함하는 3항 합동식을 만족한다.