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

Последовательность Пелля и циклотомические матрицы, включающие квадраты над конечными полями

Основная информация

  • 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 (теория чисел)
  • Дата публикации: 15 января 2025 г. (препринт arXiv)
  • Ссылка на статью: https://arxiv.org/abs/2501.01667

Аннотация

В данной работе с использованием арифметических свойств последовательности Пелля и p-адических методов исследуются определённые циклотомические матрицы, включающие квадратичные вычеты над конечными полями. Пусть 1=s1,s2,⋯ ,s(q−1)/21=s_1,s_2,\cdots,s_{(q-1)/2} — все ненулевые квадратичные вычеты конечного поля Fq\mathbb{F}_q, где 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} является сингулярной. Для случая 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 — p-й член сопряжённой последовательности Пелля, определяемой соотношениями Q0=Q1=2Q_0=Q_1=2 и Qi+1=2Qi+Qi−1Q_{i+1}=2Q_i+Q_{i-1}.

Исследовательский контекст и мотивация

Исторический фон

Исследование циклотомических матриц восходит к пионерским работам Лемера и Карлица. Карлиц первым изучал циклотомические матрицы вида 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. Глубокие связи: Определители таких матриц часто имеют глубокие связи с важными объектами теории чисел (такими как числа классов, фундаментальные единицы и т.д.)

Ограничения существующих методов

  • Хотя работа Чепмена лишь изменяет размер матрицы, вычисление det⁡Cp(0)\det C^{(0)}_p и det⁡Cp(1)\det C^{(1)}_p становится чрезвычайно сложным
  • Матрица Сана 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} предоставляет новую перспективу для смежных исследований, но остаётся множество нерешённых проблем

Мотивация данного исследования

Вдохновлённые работой Сана, авторы рассматривают варианты матрицы 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. Введя последовательность Пелля, авторы устанавливают связь между определителями таких матриц и важными числовыми последовательностями.

Основные вклады

  1. Характеризация сингулярности: Доказано, что при f≥2f\geq 2 матрицы Bq(n−1)B_q(n-1) и Bq(n−2)B_q(n-2) сингулярны, и даны точные формулы определителей при f=1f=1
  2. Связь с последовательностью Пелля: Установлена эквивалентность между сингулярностью матрицы Bp(n−1)B_p(n-1) и условием 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. Обобщённые результаты: Даны полные формулы определителей для вариантов циклотомических матриц Карлица 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, n=(q−1)/2n=(q-1)/2.

Основные технические инструменты

1. Теория последовательности Пелля

  • Стандартная последовательность Пелля: P0=0,P1=1,Pi+1=2Pi+Pi−1P_0=0, P_1=1, P_{i+1}=2P_i+P_{i-1}
  • Сопряжённая последовательность Пелля: 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-адические аналитические методы

  • Характер Тейхмюллера: ωq:Fq→Cp\omega_q: \mathbb{F}_q \to \mathbb{C}_p
  • Формула Гросса-Кобліца: Связывает суммы Гаусса с p-адической гамма-функцией
  • p-адическое нормирование: Используется для анализа p-адических свойств сумм Якоби

3. Методы матричной теории

  • Почти циклические матрицы: Wn(v)=[aj−i]1≤i,j≤n−1W_n(v) = [a_{j-i}]_{1\leq i,j\leq n-1}
  • Метод собственных значений: Определение определителя через вычисление собственных значений
  • Формула Гринберга-Сана-Чжао: Применяется для вычисления определителей матриц специального вида

Стратегия доказательства ключевых теорем

Схема доказательства теоремы 1.1

  1. Применение формулы Гринберга-Сана-Чжао: 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. Применение сравнений Лукаса: При f≥2f\geq 2 используются сравнения Лукаса для доказательства того, что некоторые биномиальные коэффициенты сравнимы с нулём по модулю pp
  3. Тождество Сури: При 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. p-адический анализ сумм Якоби: Применение формулы Гросса-Кобліца для анализа 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: Даны точные формулы определителей, включающие члены последовательности Пелля

Результаты теоремы 1.2

Доказано, что Bq(n)B_q(n) сингулярна при f≥2f\geq 2 и даны точные формулы при f=1f=1

Вычислительные находки

В результате масштабных вычислений обнаружено:

  • Простые числа, удовлетворяющие Qp≡2(modp2Z)Q_p \equiv 2 \pmod{p^2\mathbb{Z}}, чрезвычайно редки
  • Это обеспечивает мощную численную поддержку соответствующих теоретико-числовых гипотез

Следствия и приложения

  1. Свойства символа Лежандра: Получены новые свойства символа Лежандра через вычисления определителей
  2. Связь с числами классов: Установлена связь между определителями матриц и числами классов мнимых квадратичных полей

Смежные работы

Историческая траектория развития

  1. Период Лемера-Карлица: Основание теории циклотомических матриц
  2. Период Чепмена: Глубокое исследование вариантов матриц, введение понятия "дьявольских определителей"
  3. Период Сана: Варианты матриц, включающие квадраты, связь с алгебраической теорией чисел

Место данной работы

Данная работа, основываясь на работе Сана, через введение последовательности Пелля устанавливает новые связи, открывая новые направления исследований в теории циклотомических матриц.

Заключение и обсуждение

Основные выводы

  1. Полная характеризация: Дана полная характеризация сингулярности матриц Bq(m)B_q(m) (m=n−2,n−1,nm=n-2,n-1,n)
  2. Глубокие связи: Раскрыты глубокие связи между циклотомическими матрицами и последовательностью Пелля
  3. Вычислительные результаты: Масштабные вычисления выявили важные теоретико-числовые явления

Ограничения

  1. Диапазон вычислений: Хотя верификация проведена до 10610^6, теоретически требуется более общее доказательство
  2. Ограничения методов: Некоторые технические методы применимы только к специфическим формам матриц
  3. Проблемы обобщения: Обобщение на более общие расширения конечных полей встречает трудности

Направления будущих исследований

  1. Гипотеза 1.1: Доказательство или опровержение того, что только p∈{13,31}p \in \{13,31\} удовлетворяют соответствующему условию
  2. Более общие матрицы: Исследование циклотомических матриц других форм
  3. Расширение приложений: Изучение применений в криптографии и теории кодирования

Глубокая оценка

Достоинства

  1. Техническая инновация: Искусное сочетание инструментов и методов из различных математических областей
  2. Теоретическая глубина: Установление новых связей между циклотомическими матрицами и последовательностью Пелля
  3. Вычислительная поддержка: Масштабная численная верификация повышает достоверность теоретических результатов
  4. Полнота: Дана полная теоретическая характеризация исследуемых матриц

Недостатки

  1. Сложность доказательств: Некоторые доказательства носят технический характер и требуют улучшения читаемости
  2. Практические приложения: Практическая ценность требует дальнейшего изучения
  3. Трудности обобщения: Обобщение на более общие случаи встречает технические препятствия

Влияние

  1. Теоретический вклад: Предоставляет новую перспективу для теории циклотомических матриц
  2. Ценность методов: p-адические методы и методы матричной теории имеют общее значение
  3. Вдохновляющее значение: Предоставляет новые идеи и инструменты для смежных исследований

Области применения

  1. Чистая математика: Теория чисел, алгебраическая геометрия, теория конечных полей
  2. Вычислительная математика: Матричные вычисления, символические вычисления
  3. Криптография: Проектирование криптосистем на основе конечных полей

Библиография

Статья цитирует 25 важных работ, включая:

  • Основополагающие работы Карлица
  • Исследования Чепмена о "дьявольских определителях"
  • Работы Сана о матрицах символа Лежандра
  • Классические результаты Гросса-Кобліца по p-адическому анализу

Общая оценка: Это высококачественная работа по теории чисел, которая через искусные математические приёмы устанавливает новые связи между циклотомическими матрицами и последовательностью Пелля. Статья имеет важное теоретическое значение, содержит интересные вычислительные находки и закладывает основу для дальнейших исследований в смежных областях.