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=s_1,s_2,\cdots,s_{(q-1)/2}$ を有限体 $\mathbb{F}_q$ 上のすべての非零平方元とし、 $q=p^f$ は奇素数べきで $q\geq 7$ とする。著者らは、 $f\geq 2$ のとき、行列 $B_q((q-3)/2)=[(s_i+s_j)^{(q-3)/2}]_{2\leq i,j\leq (q-1)/2}$ が特異であることを証明した。 $q=p$ の場合、著者らは $\det B_p((p-3)/2)=0$ が $Q_p\equiv 2\pmod{p^2\mathbb{Z}}$ と同値であることを証明した。ここで $Q_p$ は $Q_0=Q_1=2$ および $Q_{i+1}=2Q_i+Q_{i-1}$ で定義される伴随Pell数列の第 $p$ 項である。

研究背景と動機

歴史的背景

円分行列の研究はLehmerとCarlitzの先駆的業績に遡る。Carlitzは最初に $C^-_p(\psi) = [\psi(j-i)]_{1\leq i,j\leq p-1}$ および $C^+_p(\psi) = [\psi(j+i)]_{1\leq i,j\leq p-1}$ の形の円分行列を研究し、それらの行列式の明示公式を与えた。

問題の重要性

理論的意義: 円分行列は代数的数論、有限体理論、行列理論を結びつけ、これらの分野の交差研究における重要な対象である
計算複雑性: 行列サイズのわずかな変化でさえ、行列式計算の複雑性が極度に増加する
深い関連性: このような行列の行列式は、しばしば重要な数論的対象（類数、基本単位など）と深い関連を持つ

既存方法の限界

Chapmanの業績は行列サイズの変更に過ぎないが、 $\det C^{(0)}_p$ と $\det C^{(1)}_p$ の計算は極めて複雑になる
Sunの行列 $S_p(m) = [(i^2+j^2)^m]_{1\leq i,j\leq (p-1)/2}$ は関連研究に新しい視点を提供したが、多くの未解決問題が残されている

本論文の研究動機

Sunの業績に触発されて、著者らは行列 $B_q(m) = [(s_i+s_j)^m]_{2\leq i,j\leq n}$ の変種を考察した。ここで $\{s_1,s_2,\cdots,s_n\}$ は $\mathbb{F}_q$ 上のすべての非零平方元である。Pell数列を導入することで、著者らはこのような行列の行列式と重要な数論的数列との関連性を確立した。

核心的貢献

特異性の特性化: $f\geq 2$ のとき、行列 $B_q(n-1)$ と $B_q(n-2)$ の特異性を証明し、 $f=1$ のとき精確な行列式公式を与えた
Pell数列との関連: 行列 $B_p(n-1)$ の特異性とPell数列項 $Q_p \equiv 2 \pmod{p^2\mathbb{Z}}$ の同値性を確立した
計算検証: $7 \leq p \leq 10^6$ の範囲内で、 $Q_p \equiv 2 \pmod{p^2\mathbb{Z}}$ を満たすのは $p \in \{13,31\}$ のみであることを計算により検証した
一般化結果: Carlitz行列の変種 $D^{\pm}_q(\psi)$ に対して完全な行列式公式を与えた

方法の詳細

問題設定

行列 $B_q(m) = [(s_i+s_j)^m]_{2\leq i,j\leq n}$ の行列式的性質を研究する。ここで $s_1=1, s_2,\cdots,s_n$ は $\mathbb{F}_q$ 上のすべての非零平方元であり、 $n=(q-1)/2$ である。

核心的技術ツール

1. Pell数列理論

標準Pell数列: $P_0=0, P_1=1, P_{i+1}=2P_i+P_{i-1}$
伴随Pell数列: $Q_0=Q_1=2, Q_{i+1}=2Q_i+Q_{i-1}$
明示公式: $Q_i = (1+\sqrt{2})^i + (1-\sqrt{2})^i$

2. p進解析ツール

Teichmüller文字: $\omega_q: \mathbb{F}_q \to \mathbb{C}_p$
Gross-Koblitz公式: Gauss和とp進Gamma関数を結びつける
p進付値: Jacobi和のp進的性質を分析するために用いられる

3. 行列理論技術

ほぼ循環行列: $W_n(v) = [a_{j-i}]_{1\leq i,j\leq n-1}$
固有値法: 固有値の計算を通じて行列式を決定する
Grinberg-Sun-Zhao公式: 特定の形式の行列の行列式計算に用いられる

主要定理の証明戦略

定理1.1の証明思路

Grinberg-Sun-Zhao公式の適用: $\det B_q(n-1) = \left(\frac{-1}{2}\right)^{n-2} \cdot \sum_{k=0}^{n-1} W_k$
Lucas合同式の応用: $f\geq 2$ のとき、Lucas合同式を利用して特定の二項係数が $p$ を法として0であることを証明する
Sury恒等式: $f=1$ のとき、 $\sum_{r=0}^{n-1} \binom{n-1}{r}^{-1} = \frac{n}{2^n}\sum_{k=1}^n \binom{2k}{k}$ を利用する