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

The Pell sequence and cyclotomic matrices involving squares over finite fields

基本信息

论文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-adic工具，研究了涉及有限域上平方元的某些分圆矩阵。设 $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$ 范围内，只有 $p \in \{13,31\}$ 满足 $Q_p \equiv 2 \pmod{p^2\mathbb{Z}}$
一般化结果: 对Carlitz矩阵的变体 $D^{\pm}_q(\psi)$ 给出了完整的行列式公式

标准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-adic分析工具

Teichmüller字符: $\omega_q: \mathbb{F}_q \to \mathbb{C}_p$
Gross-Koblitz公式: 连接Gauss和与p-adic Gamma函数
p-adic赋值: 用于分析Jacobi和的p-adic性质

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}$