2025-11-25T06:40:17.532535
On some conjectural supercongruences involving the sequence $t_n(x)$
Han, Wang
In this paper, we study some supercongruences involving the sequence $$ t_n(x)=\sum_{k=0}^n\binom{n}{k}\binom{x}{k}\binom{x+k}{k}2^k $$ and solve some open problems. For any odd prime $p$ and $p$-adic integer $x$, we determine $\sum_{n=0}^{p-1}t_n(x)^2$ and $\sum_{n=0}^{p-1}(n+1)t_n(x)^2$ modulo $p^2$; for example, we establish that
\begin{align*}
\sum_{n=0}^{p-1}t_n(x)^2\equiv\begin{cases}
\left(\dfrac{-1}{p}\right)\pmod{p^2},&\text{if }2x\equiv-1\pmod{p},\\[8pt]
(-1)^{\langle x\rangle_p}\dfrac{p+2(x-\langle x\rangle_p)}{2x+1}\pmod{p^2},&\text{otherwise,}
\end{cases}
\end{align*} where $\langle x\rangle_p$ denotes the least nonnegative residue of $x$ modulo $p$. This confirms a conjecture of Z.-W. Sun.
academic수열 를 포함하는 추측적 초합동식에 관하여
기본 정보
- 논문 ID: 2510.11338
- 제목: On some conjectural supercongruences involving the sequence
- 저자: Hui-Li Han, Chen Wang
- 분류: math.NT (정수론), math.CO (조합론)
- 발표 시간: 2025년 10월 13일
- 논문 링크: https://arxiv.org/abs/2510.11338
초록
본 논문은 수열 를 포함하는 초합동식을 연구하며, 몇 가지 미해결 문제를 해결한다. 임의의 홀수 소수 와 -진 정수 에 대해, 저자들은 과 의 모듈로 값을 결정했다. 특히 다음을 증명했다:
\left(\dfrac{-1}{p}\right)\pmod{p^2},&\text{if }2x\equiv-1\pmod{p},\\[8pt] (-1)^{\langle x\rangle_p}\dfrac{p+2(x-\langle x\rangle_p)}{2x+1}\pmod{p^2},&\text{otherwise,} \end{cases}$$ 여기서 $\langle x\rangle_p$는 $x$의 모듈로 $p$ 최소 음이 아닌 잉여를 나타낸다. 이는 Sun Zhiwei의 추측을 확인한다. ## 연구 배경 및 동기 1. **문제의 출처**: 연구는 Kimoto와 Wakayama가 2006년 스펙트럼 제타 함수의 특수값을 연구할 때 도입한 Apéry 타입 수에서 비롯되었다: $$J̃_2(n) := \sum_{k=0}^n \binom{n}{k}(-1)^k\binom{-1/2}{k}^2$$ 2. **이론적 중요성**: 초합동식은 정수론의 중요한 연구 대상이며, 특히 이항 계수를 포함하는 초합동식은 특수 함수, 모듈 형식 등의 이론과 깊은 연관이 있다. 3. **기존 연구의 한계**: Long, Osburn, Swisher가 2016년 Kimoto-Wakayama 추측을 확인했지만, 더 일반적인 다항식 수열 $S_n(x,y)$의 초합동식 성질에 대해서는 여전히 많은 미해결 문제가 있다. 4. **연구 동기**: Sun Zhiwei는 다항식 수열 $S_n(x,y) := \sum_{k=0}^n\binom{n}{k}\binom{x}{k}\binom{-1-x}{k}y^k$를 도입했고, 특수한 경우 $t_n(x) = S_n(x,-2)$에 관한 여러 추측을 제시했다. 본 논문은 이러한 미해결 문제들을 해결하는 것을 목표로 한다. ## 핵심 기여 1. **Sun Zhiwei의 주요 추측 증명**: $\sum_{n=0}^{p-1}t_n(x)^2$의 모듈로 $p^2$ 값을 완전히 결정했다 (정리 1.1) 2. **가중 합의 초합동식 확립**: $\sum_{n=0}^{p-1}(n+1)t_n(x)^2$의 모듈로 $p^2$ 정확한 공식을 제시했다 (정리 1.2) 3. **네 개의 구체적인 초합동식 추측 해결**: 특수 매개변수 값을 포함하는 추측 1.1을 확인했다 (따름정리 1.1) 4. **중요한 조합 항등식 발견**: 두 개의 이중 합에 대한 폐쇄 공식을 확립했으며, 이 결과들은 독립적인 가치를 가진다 ## 방법론 상세 설명 ### 과제 정의 연구 과제는 수열 $t_n(x) = \sum_{k=0}^n\binom{n}{k}\binom{x}{k}\binom{x+k}{k}2^k$를 포함하는 합 $\sum_{n=0}^{p-1}t_n(x)^2$과 $\sum_{n=0}^{p-1}(n+1)t_n(x)^2$의 모듈로 $p^2$ 의미에서의 정확한 값을 결정하는 것이다. 여기서 $p$는 홀수 소수이고 $x$는 $p$-진 정수이다. ### 핵심 기술 방법 #### 1. $p$-진 전개 기법 핵심 보조정리 2.1은 $\binom{x}{k}\binom{x+k}{k}$의 $p$-진 전개를 제시한다: $m = \langle x \rangle_p \leq (p-1)/2$에 대해: - $0 \leq k \leq m$일 때: $\binom{x}{k}\binom{x+k}{k} \equiv \binom{m}{k}\binom{m+k}{k}(1 + ptH_{m+k} - ptH_{m-k}) \pmod{p^2}$ - $p-m \leq k \leq p-1$일 때: $\binom{x}{k}\binom{x+k}{k} \equiv 0 \pmod{p^2}$ #### 2. 조합 항등식의 확립 베타 함수 적분 표현과 Pfaff 변환을 통해 핵심 이중 합 공식을 증명했다: **보조정리 2.2**: $$\sum_{k=0}^n\sum_{l=0}^n\binom{n}{k}\binom{n+k}{k}\binom{n}{l}\binom{n+l}{l}\frac{(-2)^{k+l}}{(k+l+1)\binom{k+l}{k}} = \frac{(-1)^n}{2n+1}$$ **보조정리 3.2**: $$\sum_{k=0}^n\sum_{l=0}^n\binom{n}{k}\binom{n+k}{k}\binom{n}{l}\binom{n+l}{l}\frac{(-2)^{k+l}}{\binom{k+l+2}{k+1}} = \frac{1}{4} - \frac{(-1)^n(2n^2+2n-1)}{8n+4}$$ #### 3. 경우 분석 전략 $m = \langle x \rangle_p$와 $(p-1)/2$의 관계에 따라 증명을 세 가지 경우로 나눈다: - **경우 1**: $m < (p-1)/2$ - **경우 2**: $m > (p-1)/2$ - **경우 3**: $m = (p-1)/2$ ### 기술적 혁신점 1. **정교한 합 분해**: 복잡한 이중 합을 9개의 부분 합 $\sigma_1, \ldots, \sigma_9$로 분해하여 대칭성과 $p$-진 성질을 이용해 계산을 단순화했다 2. **베타 함수 적분 방법**: 이항 계수의 역수를 포함하는 합을 처리하기 위해 베타 함수 적분 표현을 창의적으로 사용했다 3. **조화수의 정교한 처리**: $p$-진 전개에서 조화수 $H_n = \sum_{k=1}^n 1/k$를 도입하여 고차 항을 효과적으로 제어했다 ## 실험 설정 ### 이론 검증 방법 순수 수학 이론 연구이므로, "실험"은 주로 다음과 같이 나타난다: 1. **특수값 검증**: 구체적인 작은 소수의 경우를 계산하여 일반 공식을 검증한다 2. **극한 경우 검사**: 경계 조건에서 공식의 정확성을 검증한다 3. **알려진 결과와의 일관성**: 새로운 결과가 알려진 관련 초합동식과 일치함을 확인한다 ### 주요 매개변수 설정 - 소수 $p$: 홀수 소수 ($p \geq 3$) - $p$-진 정수 $x$: $x = m + pt$로 표현되며, 여기서 $m = \langle x \rangle_p \in \{0,1,\ldots,p-1\}$ - 특수값: $x = -1/2, -1/3, -1/4, -1/6$ ## 실험 결과 ### 주요 정리 결과 **정리 1.1** (Sun Zhiwei 추측의 증명): $$\sum_{n=0}^{p-1}t_n(x)^2 \equiv \begin{cases} \left(\dfrac{-1}{p}\right) \pmod{p^2}, & \text{if } 2x \equiv -1 \pmod{p} \\ (-1)^{\langle x\rangle_p}\dfrac{p+2(x-\langle x\rangle_p)}{2x+1} \pmod{p^2}, & \text{otherwise} \end{cases}$$ **정리 1.2** (가중 합 공식): $x \not\equiv -1/2 \pmod{p}$에 대해: $$\sum_{n=0}^{p-1}(n+1)t_n(x)^2 \equiv \frac{p}{4} - \frac{(-1)^{\langle x\rangle_p}(2x^2+2x-1)(p+2(x-\langle x\rangle_p))}{8x+4} \pmod{p^2}$$ $x \equiv -1/2 \pmod{p}$에 대해: $$\sum_{n=0}^{p-1}(n+1)t_n(x)^2 \equiv \frac{p}{4} + \frac{3}{8}\left(\dfrac{-1}{p}\right) \pmod{p^2}$$ ### 구체적 적용 검증 **따름정리 1.1**은 Sun Zhiwei 추측 1.1의 네 가지 구체적 경우를 검증했다: 1. $\sum_{n=0}^{p-1}(8n+5)t_n(-1/2)^2 \equiv 2p \pmod{p^2}$ 2. $\sum_{n=0}^{p-1}(32n+21)t_n(-1/4)^2 \equiv 8p \pmod{p^2}$ 3. $\sum_{n=0}^{p-1}(18n+7)t_n(-1/3)^2 \equiv 0 \pmod{p^2}$ ($p > 3$일 때) 4. $\sum_{n=0}^{p-1}(72n+49)t_n(-1/6)^2 \equiv 18p \pmod{p^2}$ ## 관련 연구 ### 역사적 발전 맥락 1. **Apéry 타입 수의 연구**: Kimoto-Wakayama (2006)의 비교환 조화 진동자 스펙트럼 제타 함수 연구에서 시작 2. **초합동식 이론**: Long, Osburn, Swisher (2016)가 원래의 Kimoto-Wakayama 추측을 증명 3. **Sun Zhiwei의 기여**: 더 일반적인 다항식 수열 프레임워크를 도입하고 체계적인 추측을 제시 4. **최근 진전**: Wang-Wang이 $s_n(x)$ 수열의 모듈로 $p^3$ 초합동식을 증명했고, Liu가 모듈로 $p^4$ 확장을 증명 ### 본 논문의 혁신성 1. **처음으로 완전히 해결**: $t_n(x)$ 수열의 기본 초합동식 문제를 완전히 해결 2. **통일된 이론 프레임워크 확립**: 다양한 특수 경우를 포함하는 통일된 이론 제시 3. **새로운 기술 방법 개발**: 특히 이중 합 처리 기법의 새로운 방법 개발 ## 결론 및 논의 ### 주요 결론 1. **기본 초합동식의 완전한 결정**: $\sum_{n=0}^{p-1}t_n(x)^2$의 모듈로 $p^2$ 정확한 공식 제시 2. **가중 합 이론 확립**: $(n+1)$ 가중치를 포함하는 초합동식 해결 3. **여러 구체적 추측 검증**: Apéry 타입 수 이론에 새로운 사례 제공 ### 이론적 의의 1. **초합동식 이론 풍부화**: 이 활발한 연구 분야에 중요한 새로운 결과 추가 2. **계산 기법 개발**: 베타 함수 적분 방법과 $p$-진 전개 기법의 광범위한 적용 가능성 3. **수학 분야 간 연결**: 조합수학, 정수론, 특수 함수 이론을 유기적으로 결합 ### 향후 방향 1. **고차 모듈의 확장**: 모듈로 $p^3, p^4$의 초합동식 연구 2. **더 일반적인 매개변수의 경우**: $S_n(x,y)$의 다른 특수값 고려 3. **알고리즘 구현**: 더 큰 소수의 경우를 검증하기 위한 효율적인 계산 방법 개발 ## 심층 평가 ### 장점 1. **이론적 기여 중대**: Sun Zhiwei가 제시한 중요한 추측을 완전히 해결하여 초합동식 이론의 발전을 촉진 2. **방법의 창의성 강함**: 베타 함수 적분 방법과 정교한 합 분해 기법이 높은 수학적 기술을 보여줌 3. **증명의 엄밀성과 완전성**: 세밀한 경우 분석과 정확한 $p$-진 분석을 통해 완전히 엄격한 증명 제시 4. **결과의 보편성**: 확립된 공식이 모든 홀수 소수와 일반적인 $p$-진 정수 매개변수에 적용 가능 ### 기술적 하이라이트 1. **이중 합의 폐쇄 공식**: 보조정리 2.2와 3.2의 증명이 깊은 조합론적 통찰을 보여줌 2. **대칭성의 정교한 활용**: $t_n(x) = t_n(-1-x)$의 대칭성을 이용하여 $m > (p-1)/2$ 경우의 처리 단순화 3. **조화수의 정확한 제어**: $p$-진 전개에서 조화수 항의 처리가 높은 기술 수준을 보여줌 ### 한계 1. **홀수 소수로 제한**: 방법이 소수 2에 적용되지 않으므로 별도 처리 필요 2. **모듈로 $p^2$의 제한**: 기본 문제는 해결했지만 더 높은 차수 모듈의 경우는 여전히 미해결 3. **계산 복잡성**: 큰 소수의 경우 실제 계산 검증에 여전히 어려움 ### 영향력 평가 1. **학술적 가치 높음**: 해당 분야의 중요한 미해결 문제를 해결하여 광범위한 관심을 불러일으킬 것으로 예상 2. **방법의 일반화 가능성**: 개발된 기술 방법이 관련 문제에 영감을 줄 수 있음 3. **이론적 완전성**: Apéry 타입 수의 초합동식 이론에 중요한 이론적 보완 제공 ### 적용 분야 1. **정수론 연구**: 이항 계수 초합동식 연구에 새로운 도구와 사례 제공 2. **조합수학**: 이중 합 처리 방법이 조합 항등식 연구에 참고 가치 제공 3. **특수 함수 이론**: 초기하 함수 및 모듈 형식 연구와의 잠재적 연관성 ## 참고문헌 논문은 16편의 중요한 참고문헌을 인용하고 있으며, 다음을 포함한다: 1. Andrews, Askey, Roy: 《Special Functions》- 특수 함수 이론의 고전 교과서 2. Kimoto, Wakayama (2006): Apéry 타입 수를 도입한 원래 연구 3. Long, Osburn, Swisher (2016): Kimoto-Wakayama 추측을 증명한 중요 논문 4. Sun (2017): 본 논문이 해결한 추측의 원래 논문 5. Wang, Wang (2025): 관련 초합동식의 최신 연구 성과 이러한 참고문헌들은 본 연구가 해당 분야 발전 맥락에서의 중요한 위치와 선행 연구를 계승하고 후속 연구를 개척하는 역할을 보여준다.