The Pell sequence and cyclotomic matrices involving squares over finite fields

Basic Information

• Paper ID: 2501.01667
• Title: The Pell sequence and cyclotomic matrices involving squares over finite fields
• Authors: Hai-Liang Wu, Li-Yuan Wang, He-Xia Ni
• Classification: math.NT (Number Theory)
• Publication Date: January 15, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2501.01667

Abstract

This paper investigates certain cyclotomic matrices involving squares over finite fields through the arithmetic properties of the Pell sequence and p-adic tools. Let $1=s_1,s_2,\cdots,s_{(q-1)/2}$ denote all nonzero quadratic residues in the finite field $\mathbb{F}_q$, where $q=p^f$ is an odd prime power with $q\geq 7$. The authors prove that when $f\geq 2$, the matrix $B_q((q-3)/2)=[(s_i+s_j)^{(q-3)/2}]_{2\leq i,j\leq (q-1)/2}$ is singular. For the case $q=p$, the authors establish that $\det B_p((p-3)/2)=0$ if and only if $Q_p\equiv 2 \pmod{p^2\mathbb{Z}}$, where $Q_p$ is the $p$-th term of the companion Pell sequence defined by $Q_0=Q_1=2$ and $Q_{i+1}=2Q_i+Q_{i-1}$.

Research Background and Motivation

Historical Context

The study of cyclotomic matrices traces back to pioneering work by Lehmer and Carlitz. Carlitz first investigated cyclotomic matrices of the form $C^-_p(\psi) = [\psi(j-i)]_{1\leq i,j\leq p-1}$ and $C^+_p(\psi) = [\psi(j+i)]_{1\leq i,j\leq p-1}$, providing explicit formulas for their determinants.

Significance of the Problem

1. Theoretical Significance: Cyclotomic matrices connect algebraic number theory, finite field theory, and matrix theory, serving as important objects in interdisciplinary research across these fields
2. Computational Complexity: Even minor changes in matrix size lead to dramatically increased complexity in determinant calculations
3. Deep Connections: The determinants of such matrices often exhibit profound connections with important number-theoretic objects (such as class numbers and fundamental units)

Limitations of Existing Methods

• Although Chapman's work merely modified matrix dimensions, computing $\det C^{(0)}_p$ and $\det C^{(1)}_p$ became extremely complex
• Sun's matrix $S_p(m) = [(i^2+j^2)^m]_{1\leq i,j\leq (p-1)/2}$ provided new perspectives for related research, but many problems remain unsolved

Motivation of This Work

Inspired by Sun's work, the authors consider variants of the matrix $B_q(m) = [(s_i+s_j)^m]_{2\leq i,j\leq n}$, where $\{s_1,s_2,\cdots,s_n\}$ denotes all nonzero quadratic residues over $\mathbb{F}_q$. By introducing the Pell sequence, the authors establish connections between the determinants of such matrices and important number-theoretic sequences.

Core Contributions

1. Singularity Characterization: Proves the singularity of matrices $B_q(n-1)$ and $B_q(n-2)$ when $f\geq 2$, and provides exact determinant formulas for the case $f=1$
2. Pell Sequence Connection: Establishes the equivalence between the singularity of matrix $B_p(n-1)$ and the condition $Q_p \equiv 2 \pmod{p^2\mathbb{Z}}$ for Pell sequence terms
3. Computational Verification: Through computational verification, discovers that in the range $7 \leq p \leq 10^6$, only $p \in \{13,31\}$ satisfy $Q_p \equiv 2 \pmod{p^2\mathbb{Z}}$
4. Generalized Results: Provides complete determinant formulas for variants $D^{\pm}_q(\psi)$ of Carlitz matrices

Methodology Details

Problem Definition

Study the determinant properties of the matrix $B_q(m) = [(s_i+s_j)^m]_{2\leq i,j\leq n}$, where $s_1=1, s_2,\cdots,s_n$ are all nonzero quadratic residues over $\mathbb{F}_q$, and $n=(q-1)/2$.

Core Technical Tools

1. Pell Sequence Theory

• Standard Pell Sequence: $P_0=0, P_1=1, P_{i+1}=2P_i+P_{i-1}$
• Companion Pell Sequence: $Q_0=Q_1=2, Q_{i+1}=2Q_i+Q_{i-1}$
• Explicit Formula: $Q_i = (1+\sqrt{2})^i + (1-\sqrt{2})^i$

2. p-adic Analysis Tools

• Teichmüller Character: $\omega_q: \mathbb{F}_q \to \mathbb{C}_p$
• Gross-Koblitz Formula: Connects Gauss sums with p-adic Gamma functions
• p-adic Valuation: Used to analyze p-adic properties of Jacobi sums

3. Matrix Theory Techniques

• Almost Circulant Matrices: $W_n(v) = [a_{j-i}]_{1\leq i,j\leq n-1}$
• Eigenvalue Methods: Determine determinants through eigenvalue computation
• Grinberg-Sun-Zhao Formula: Computes determinants of matrices of specific forms

Key Theorem Proof Strategies

Proof Strategy for Theorem 1.1

1. Application of Grinberg-Sun-Zhao Formula: $\det B_q(n-1) = \left(\frac{-1}{2}\right)^{n-2} \cdot \sum_{k=0}^{n-1} W_k$
2. Application of Lucas Congruence: When $f\geq 2$, use Lucas congruence to prove certain binomial coefficients vanish modulo $p$
3. Sury Identity: When $f=1$, utilize $\sum_{r=0}^{n-1} \binom{n-1}{r}^{-1} = \frac{n}{2^n}\sum_{k=1}^n \binom{2k}{k}$

Proof Strategy for Theorem 1.2

1. Almost Circulant Matrix Theory: Transform $B_q(n)$ into determinant computation of almost circulant matrices
2. p-adic Analysis of Jacobi Sums: Analyze p-adic valuations of Jacobi sums using the Gross-Koblitz formula
3. Eigenvalue Computation: Determine determinants through computing eigenvalues of circulant matrices

Experimental Setup

Computational Verification Methods

The authors used computer verification to validate theoretical results, particularly:

1. Range: Examined all primes in the range $7 \leq p \leq 10^6$
2. Condition: Verified primes satisfying $Q_p \equiv 2 \pmod{p^2\mathbb{Z}}$
3. Results: Found that only $p \in \{13, 31\}$ satisfy the condition

Numerical Examples

• For $p=13$: $Q_{13} \equiv 2 \pmod{13^2}$
• For $p=31$: $Q_{31} \equiv 2 \pmod{31^2}$
• All other primes fail to satisfy this congruence condition

Experimental Results

Main Results

Results of Theorem 1.1

1. Case $f\geq 2$: Both $B_q(n-1)$ and $B_q(n-2)$ are singular
2. Case $f=1$: Provides exact determinant formulas involving Pell sequence terms

Results of Theorem 1.2

Proves that $B_q(n)$ is singular when $f\geq 2$, and provides exact formulas when $f=1$

Computational Findings

Large-scale computations reveal:

• Primes satisfying $Q_p \equiv 2 \pmod{p^2\mathbb{Z}}$ are extremely rare
• This provides strong numerical support for related number-theoretic conjectures

Corollaries and Applications

1. Legendre Symbol Properties: Obtains new properties of Legendre symbols through determinant calculations
2. Class Number Connections: Establishes connections between matrix determinants and class numbers of imaginary quadratic fields

Related Work

Historical Development

1. Lehmer-Carlitz Era: Foundation of cyclotomic matrix theory
2. Chapman Era: In-depth study of matrix variants, introduction of "evil determinants"
3. Sun Era: Matrix variants involving squares, connections to algebraic number theory

Position of This Work

Building upon Sun's work, this paper establishes new connections through the introduction of the Pell sequence, opening new research directions in cyclotomic matrix theory.

Conclusions and Discussion

Main Conclusions

1. Complete Characterization: Provides complete singularity characterization for matrices $B_q(m)$ ($m=n-2,n-1,n$)
2. Deep Connections: Reveals profound connections between cyclotomic matrices and Pell sequences
3. Computational Insights: Large-scale computations uncover important number-theoretic phenomena

Limitations

1. Computational Range: Although verified up to $10^6$, more general theoretical proofs are needed
2. Method Limitations: Certain technical methods apply only to specific matrix forms
3. Generalization Issues: Extension to more general finite field extensions remains challenging

Future Directions

1. Conjecture 1.1: Prove or disprove that only $p \in \{13,31\}$ satisfy the relevant conditions
2. More General Matrices: Investigate other forms of cyclotomic matrices
3. Application Extensions: Explore applications in cryptography and coding theory

In-Depth Evaluation

Strengths

1. Technical Innovation: Skillfully combines tools and methods from multiple mathematical branches
2. Theoretical Depth: Establishes new connections between cyclotomic matrices and Pell sequences
3. Computational Support: Large-scale numerical verification enhances credibility of theoretical results
4. Completeness: Provides complete theoretical characterization of the studied matrices

Weaknesses

1. Proof Complexity: Certain proofs are highly technical, with room for improved readability
2. Practical Applications: Practical application value requires further exploration
3. Generalization Challenges: Extension to more general cases faces technical obstacles

Impact

1. Theoretical Contribution: Provides new research perspectives for cyclotomic matrix theory
2. Method Value: The p-adic methods and matrix techniques employed have general applicability
3. Inspirational Significance: Provides new ideas and tools for related research fields

Applicable Scenarios

1. Pure Mathematics Research: Number theory, algebraic geometry, finite field theory
2. Computational Mathematics: Matrix computation, symbolic computation
3. Cryptography: Design of cryptographic systems based on finite fields

References

The paper cites 25 important references, including:

• Foundational work by Carlitz
• Chapman's research on "evil determinants"
• Sun's work on Legendre symbol matrices
• Classical results by Gross-Koblitz on p-adic analysis

Overall Assessment: This is a high-quality number theory research paper that establishes new connections between cyclotomic matrices and Pell sequences through clever mathematical techniques. The paper makes important theoretical contributions and presents interesting computational discoveries, laying a solid foundation for further research in related fields.