2025-11-10T02:47:47.161620

The Pell sequence and cyclotomic matrices involving squares over finite fields

Wu, Wang, Ni
In this paper, by some arithmetic properties of the Pell sequence and some $p$-adic tools, we study certain cyclotomic matrices involving squares over finite fields. For example, let $1=s_1,s_2,\cdots,s_{(q-1)/2}$ be all the nonzero squares over $\mathbb{F}_{q}$, where $q=p^f$ is an odd prime power with $q\ge7$. We prove that the matrix $$B_q((q-3)/2)=\left[\left(s_i+s_j\right)^{(q-3)/2}\right]_{2\le i,j\le (q-1)/2}$$ is a singular matrix whenever $f\ge2$. Also, for the case $q=p$, we show that $$\det B_p((p-3)/2)=0\Leftrightarrow Q_p\equiv 2\pmod{p^2\mathbb{Z}},$$ where $Q_p$ is the $p$-th term of the companion Pell sequence $\{Q_i\}_{i=0}^{\infty}$ defined by $Q_0=Q_1=2$ and $Q_{i+1}=2Q_i+Q_{i-1}$.
academic

Pell 수열과 유한체 위의 제곱을 포함하는 원분 행렬

기본 정보

  • 논문 ID: 2501.01667
  • 제목: The Pell sequence and cyclotomic matrices involving squares over finite fields
  • 저자: Hai-Liang Wu, Li-Yuan Wang, He-Xia Ni
  • 분류: math.NT (정수론)
  • 발표 시간: 2025년 1월 15일 (arXiv 사전인쇄본)
  • 논문 링크: https://arxiv.org/abs/2501.01667

초록

본 논문은 Pell 수열의 산술적 성질과 p-진 도구를 통해 유한체 위의 제곱 원소를 포함하는 특정 원분 행렬을 연구한다. 1=s1,s2,⋯ ,s(q−1)/21=s_1,s_2,\cdots,s_{(q-1)/2}를 유한체 Fq\mathbb{F}_q 위의 모든 0이 아닌 제곱 원소라 하자. 여기서 q=pfq=p^f는 홀수 소수의 거듭제곱이고 q≥7q\geq 7이다. 저자들은 f≥2f\geq 2일 때, 행렬 Bq((q−3)/2)=[(si+sj)(q−3)/2]2≤i,j≤(q−1)/2B_q((q-3)/2)=[(s_i+s_j)^{(q-3)/2}]_{2\leq i,j\leq (q-1)/2}가 특이(singular)임을 증명했다. q=pq=p인 경우, 저자들은 det⁡Bp((p−3)/2)=0\det B_p((p-3)/2)=0이 Qp≡2(modp2Z)Q_p\equiv 2 \pmod{p^2\mathbb{Z}}일 필요충분조건임을 증명했다. 여기서 QpQ_p는 Q0=Q1=2Q_0=Q_1=2와 Qi+1=2Qi+Qi−1Q_{i+1}=2Q_i+Q_{i-1}로 정의되는 동반 Pell 수열의 제 pp항이다.

연구 배경 및 동기

역사적 배경

원분 행렬의 연구는 Lehmer와 Carlitz의 개척적 업적으로 거슬러 올라간다. Carlitz는 Cp−(ψ)=[ψ(j−i)]1≤i,j≤p−1C^-_p(\psi) = [\psi(j-i)]_{1\leq i,j\leq p-1}과 Cp+(ψ)=[ψ(j+i)]1≤i,j≤p−1C^+_p(\psi) = [\psi(j+i)]_{1\leq i,j\leq p-1} 형태의 원분 행렬을 처음 연구했으며, 이들의 행렬식에 대한 명시적 공식을 제시했다.

문제의 중요성

  1. 이론적 의의: 원분 행렬은 대수적 정수론, 유한체 이론, 행렬 이론을 연결하며, 이들 분야의 교차 연구에서 중요한 대상이다
  2. 계산 복잡성: 행렬 크기의 미소한 변화도 행렬식 계산의 극도의 복잡성을 야기한다
  3. 심층적 연결: 이러한 행렬의 행렬식은 종종 중요한 정수론적 대상(예: 류수, 기본 단원)과 깊은 연관을 가진다

기존 방법의 한계

  • Chapman의 업적은 행렬의 크기만 변경했음에도 불구하고 det⁡Cp(0)\det C^{(0)}_p와 det⁡Cp(1)\det C^{(1)}_p의 계산이 극도로 복잡해진다
  • Sun의 행렬 Sp(m)=[(i2+j2)m]1≤i,j≤(p−1)/2S_p(m) = [(i^2+j^2)^m]_{1\leq i,j\leq (p-1)/2}는 관련 연구에 새로운 관점을 제공했으나, 여전히 많은 미해결 문제가 남아있다

본 논문의 연구 동기

Sun의 업적에서 영감을 받아, 저자들은 행렬 Bq(m)=[(si+sj)m]2≤i,j≤nB_q(m) = [(s_i+s_j)^m]_{2\leq i,j\leq n}의 변형을 고려했다. 여기서 {s1,s2,⋯ ,sn}\{s_1,s_2,\cdots,s_n\}은 Fq\mathbb{F}_q 위의 모든 0이 아닌 제곱 원소이다. Pell 수열을 도입함으로써, 저자들은 이러한 행렬의 행렬식과 중요한 정수론적 수열 사이의 연결을 확립했다.

핵심 기여

  1. 특이성 특성화: f≥2f\geq 2일 때 행렬 Bq(n−1)B_q(n-1)과 Bq(n−2)B_q(n-2)의 특이성을 증명했으며, f=1f=1일 때 정확한 행렬식 공식을 제시했다
  2. Pell 수열 연결: 행렬 Bp(n−1)B_p(n-1)의 특이성과 Pell 수열항 Qp≡2(modp2Z)Q_p \equiv 2 \pmod{p^2\mathbb{Z}}의 동치성을 확립했다
  3. 계산 검증: 7≤p≤1067 \leq p \leq 10^6 범위에서 p∈{13,31}p \in \{13,31\}만이 Qp≡2(modp2Z)Q_p \equiv 2 \pmod{p^2\mathbb{Z}}를 만족함을 계산으로 검증했다
  4. 일반화 결과: Carlitz 행렬의 변형 Dq±(ψ)D^{\pm}_q(\psi)에 대한 완전한 행렬식 공식을 제시했다

방법론 상세 설명

작업 정의

행렬 Bq(m)=[(si+sj)m]2≤i,j≤nB_q(m) = [(s_i+s_j)^m]_{2\leq i,j\leq n}의 행렬식 성질을 연구한다. 여기서 s1=1,s2,⋯ ,sns_1=1, s_2,\cdots,s_n은 Fq\mathbb{F}_q 위의 모든 0이 아닌 제곱 원소이고, n=(q−1)/2n=(q-1)/2이다.

핵심 기술 도구

1. Pell 수열 이론

  • 표준 Pell 수열: P0=0,P1=1,Pi+1=2Pi+Pi−1P_0=0, P_1=1, P_{i+1}=2P_i+P_{i-1}
  • 동반 Pell 수열: Q0=Q1=2,Qi+1=2Qi+Qi−1Q_0=Q_1=2, Q_{i+1}=2Q_i+Q_{i-1}
  • 명시적 공식: Qi=(1+2)i+(1−2)iQ_i = (1+\sqrt{2})^i + (1-\sqrt{2})^i

2. p-진 분석 도구

  • Teichmüller 문자: ωq:Fq→Cp\omega_q: \mathbb{F}_q \to \mathbb{C}_p
  • Gross-Koblitz 공식: Gauss 합과 p-진 감마 함수를 연결
  • p-진 부가(valuation): Jacobi 합의 p-진 성질 분석에 사용

3. 행렬 이론 기법

  • 거의 순환 행렬: Wn(v)=[aj−i]1≤i,j≤n−1W_n(v) = [a_{j-i}]_{1\leq i,j\leq n-1}
  • 고유값 방법: 고유값 계산을 통한 행렬식 결정
  • Grinberg-Sun-Zhao 공식: 특정 형태의 행렬식 계산에 사용

핵심 정리 증명 전략

정리 1.1의 증명 개요

  1. Grinberg-Sun-Zhao 공식 적용: det⁡Bq(n−1)=(−12)n−2⋅∑k=0n−1Wk\det B_q(n-1) = \left(\frac{-1}{2}\right)^{n-2} \cdot \sum_{k=0}^{n-1} W_k
  2. Lucas 합동의 적용: f≥2f\geq 2일 때, Lucas 합동을 이용하여 특정 이항 계수가 (modp)\pmod{p}에서 0임을 증명
  3. Sury 항등식: f=1f=1일 때, ∑r=0n−1(n−1r)−1=n2n∑k=1n(2kk)\sum_{r=0}^{n-1} \binom{n-1}{r}^{-1} = \frac{n}{2^n}\sum_{k=1}^n \binom{2k}{k}를 이용

정리 1.2의 증명 개요

  1. 거의 순환 행렬 이론: Bq(n)B_q(n)을 거의 순환 행렬의 행렬식 계산으로 변환
  2. Jacobi 합의 p-진 분석: Gross-Koblitz 공식을 이용하여 Jacobi 합의 p-진 부가 분석
  3. 고유값 계산: 순환 행렬의 고유값 계산을 통한 행렬식 결정

실험 설정

계산 검증 방법

저자들은 이론적 결과를 컴퓨터로 검증했으며, 특히:

  1. 범위: 7≤p≤1067 \leq p \leq 10^6 범위의 모든 소수 검증
  2. 조건: Qp≡2(modp2Z)Q_p \equiv 2 \pmod{p^2\mathbb{Z}}를 만족하는 소수 검증
  3. 결과: p∈{13,31}p \in \{13, 31\}만이 조건을 만족함을 발견

수치 예제

  • p=13p=13의 경우: Q13≡2(mod132)Q_{13} \equiv 2 \pmod{13^2}
  • p=31p=31의 경우: Q31≡2(mod312)Q_{31} \equiv 2 \pmod{31^2}
  • 다른 소수들은 이 합동 조건을 만족하지 않음

실험 결과

주요 결과

정리 1.1의 결과

  1. f≥2f\geq 2 경우: Bq(n−1)B_q(n-1)과 Bq(n−2)B_q(n-2) 모두 특이이다
  2. f=1f=1 경우: Pell 수열항을 포함하는 정확한 행렬식 공식 제시
  3. f=1f=1 경우: Pell 수열항을 포함하는 정확한 행렬식 공식 제시

정리 1.2의 결과

f≥2f\geq 2일 때 Bq(n)B_q(n)이 특이이며, f=1f=1일 때 정확한 공식을 제시함을 증명

계산 발견

광범위한 계산에서:

  • Qp≡2(modp2Z)Q_p \equiv 2 \pmod{p^2\mathbb{Z}}를 만족하는 소수는 극히 드물다
  • 이는 관련 정수론적 추측에 강력한 수치적 지지를 제공한다

추론 및 응용

  1. Legendre 기호 성질: 행렬식 계산을 통한 Legendre 기호의 새로운 성질 도출
  2. 류수 연결: 행렬식과 허 이차체의 류수 사이의 연결 확립

관련 연구

역사적 발전 맥락

  1. Lehmer-Carlitz 시대: 원분 행렬 이론의 기초 수립
  2. Chapman 시대: 행렬 변형의 심화 연구, "악마의 행렬식" 제시
  3. Sun 시대: 제곱을 포함하는 행렬 변형, 대수적 정수론과의 연결

본 논문의 위치

본 논문은 Sun의 업적을 기반으로 Pell 수열을 도입하여 새로운 연결을 확립했으며, 원분 행렬 이론에 새로운 연구 방향을 개척했다.

결론 및 논의

주요 결론

  1. 완전한 특성화: 행렬 Bq(m)B_q(m) (m=n−2,n−1,nm=n-2,n-1,n)의 완전한 특이성 특성화 제시
  2. 심층적 연결: 원분 행렬과 Pell 수열 사이의 깊은 연결 규명
  3. 계산적 통찰: 대규모 계산을 통한 중요한 정수론적 현상 발견

한계점

  1. 계산 범위: 10610^6까지 검증했으나, 이론적으로는 더 일반적인 증명 필요
  2. 방법론적 한계: 특정 행렬 형태에만 적용 가능한 기법들
  3. 일반화 문제: 더 일반적인 유한체 확대로의 확장에 어려움

향후 방향

  1. 추측 1.1: p∈{13,31}p \in \{13,31\}만이 관련 조건을 만족함을 증명 또는 반박
  2. 더 일반적인 행렬: 다른 형태의 원분 행렬 연구
  3. 응용 확대: 암호학 및 부호 이론에서의 응용 탐색

심층 평가

장점

  1. 기술적 혁신: 여러 수학 분야의 도구와 방법을 교묘하게 결합
  2. 이론적 깊이: 원분 행렬과 Pell 수열의 새로운 연결 확립
  3. 계산적 지지: 대규모 수치 검증이 이론적 결과의 신뢰성 강화
  4. 완전성: 연구 대상 행렬에 대한 완전한 이론적 특성화 제시

부족한 점

  1. 증명의 복잡성: 일부 증명 과정이 기술적이어서 가독성 개선 필요
  2. 응용 전망: 실제 응용 가치는 추가 탐색 필요
  3. 일반화의 어려움: 더 일반적인 경우로의 확장에 기술적 난제

영향력

  1. 이론적 기여: 원분 행렬 이론에 새로운 연구 관점 제공
  2. 방법론적 가치: 사용된 p-진 방법과 행렬 기법의 일반적 가치
  3. 영감적 의의: 관련 분야 연구에 새로운 아이디어와 도구 제공

적용 분야

  1. 순수 수학 연구: 정수론, 대수 기하학, 유한체 이론
  2. 계산 수학: 행렬 계산, 기호 계산
  3. 암호학: 유한체 기반 암호 시스템 설계

참고 문헌

논문은 25편의 중요 문헌을 인용하며, 다음을 포함한다:

  • Carlitz의 기초적 업적
  • Chapman의 "악마의 행렬식" 연구
  • Sun의 Legendre 기호 행렬 관련 업적
  • Gross-Koblitz의 p-진 분석 고전 결과

종합 평가: 본 논문은 수학적 기교를 통해 원분 행렬과 Pell 수열 사이의 새로운 연결을 확립한 고품질의 정수론 연구 논문이다. 이론적으로 중요한 기여를 하며, 계산상 흥미로운 발견을 제시하고, 관련 분야의 추가 연구를 위한 기초를 마련했다.