2025-11-10T02:51:50.582851

Ratios of two powers of van der Laan-Padovan numbers

Yamada
The van der Laan-Padovan sequence $P_n ~ (n=0, 1, \ldots)$ is defined by $P_0=1, P_1=P_2=0$, and $P_{n+3}=P_{n+1}+P_n$ for $n=0, 1, \ldots$. We determine all pairs $(P_m, P_n)$ satisfying $P_m^b=2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_n^a$ for some integers $g_1, g_2, g_3, g_4$, $a$, and $b$. More generally, for a linear recurrence sequence $u_n$ satisfying the dominant root condition and a given set of primes $p_1, \ldots, p_k$, there exist only finitely many pairs $(u_m, u_n)$ satisfying $u_m^b=p_1^{g_1} \cdots p_k^{g_k} u_n^a$ for some integers $g_1, \ldots, g_k$, $a$, and $b$.
academic

Отношения двух степеней чисел ван дер Лаана-Падована

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

  • ID статьи: 2510.06192
  • Название: Ratios of two powers of van der Laan-Padovan numbers
  • Автор: Томохиро Ямада (Центр японского языка и культуры, Университет Осаки)
  • Классификация: math.NT (теория чисел)
  • Дата публикации: 12 октября 2025 г. (препринт arXiv v2)
  • Ссылка на статью: https://arxiv.org/abs/2510.06192

Аннотация

Последовательность ван дер Лаана-Падована PnP_n (n = 0, 1, ...) определяется начальными условиями P0=1P_0 = 1, P1=P2=0P_1 = P_2 = 0 и рекуррентным соотношением Pn+3=Pn+1+PnP_{n+3} = P_{n+1} + P_n (n ≥ 0). В данной работе определены все целочисленные пары (Pm,Pn)(P_m, P_n), удовлетворяющие уравнению Pmb=2g13g25g37g4PnaP_m^b = 2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_n^a, где g1,g2,g3,g4,a,bg_1, g_2, g_3, g_4, a, b — целые числа. В более общем случае для линейных рекуррентных последовательностей unu_n, удовлетворяющих условию главного корня, и заданного набора простых чисел p1,…,pkp_1, \ldots, p_k показано, что решений уравнения umb=p1g1⋯pkgkunau_m^b = p_1^{g_1} \cdots p_k^{g_k} u_n^a существует только конечное число.

Научный контекст и мотивация

Предпосылки исследования

  1. Арифметические свойства линейных рекуррентных последовательностей: Арифметические свойства и диофантовы уравнения для линейных рекуррентных последовательностей являются важной областью теории чисел. Наиболее интенсивно изучаются последовательности Люка, для которых получены глубокие результаты.
  2. Последовательность ван дер Лаана-Падована: Эта последовательность была первоначально введена Домом Хансом ван дер Лааном в архитектурных исследованиях и позже обобщена Ричардом Падованом. Последовательность: 1, 0, 0, 1, 0, 1, 1, 1, 2, 2, 3, 4, 5, 7, 9, 12, 16, 21, 28, 37, 49, 65, 86, 114, 151, 200, ...
  3. Ограничения существующей теории: Для общих линейных рекуррентных последовательностей известных результатов значительно меньше, чем для последовательностей Люка. В частности, отсутствуют эффективные методы для определения всех решений степенных соотношений.

Научная мотивация

  1. Заполнение теоретических пробелов: Разработка эффективных методов решения задач о степенных соотношениях для общих линейных рекуррентных последовательностей
  2. Практическое применение: Последовательность ван дер Лаана-Падована имеет важные приложения в архитектуре и геометрии
  3. Методологический вклад: Развитие техник, применимых к более широкому классу линейных рекуррентных последовательностей

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

  1. Установление общей теоремы о конечности: Доказано, что для линейных рекуррентных последовательностей, удовлетворяющих условию главного корня, уравнение вида umb=p1g1⋯pkgkunau_m^b = p_1^{g_1} \cdots p_k^{g_k} u_n^a имеет только конечное число решений
  2. Предоставление эффективных верхних границ: В теореме 4.1 даны эффективно вычислимые верхние границы для решений, хотя границы и велики, но практически применимы
  3. Полное решение задачи для последовательности ван дер Лаана-Падована: Определены все решения уравнения Pmb=2g13g25g37g4PnaP_m^b = 2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_n^a
  4. Разработка новых вычислительных методов: Комбинирование метода Бейкера, техник редукции решеток и компьютерной верификации для практического решения задач

Подробное описание методов

Постановка задачи

Для заданной линейной рекуррентной последовательности unu_n и набора простых чисел {p1,…,pk}\{p_1, \ldots, p_k\} найти все целочисленные пары (m,n)(m,n), удовлетворяющие уравнению: umb=p1g1⋯pkgkunau_m^b = p_1^{g_1} \cdots p_k^{g_k} u_n^a где g1,…,gk,a,bg_1, \ldots, g_k, a, b — целые числа, a>0a > 0.

Теоретическая база

1. Представление линейных рекуррентных последовательностей

Для рекуррентной последовательности r-го порядка общий член имеет вид: un=∑i=1tqi(n)αinu_n = \sum_{i=1}^t q_i(n)\alpha_i^n где α1,…,αt\alpha_1, \ldots, \alpha_t — корни характеристического многочлена, qi(n)q_i(n) — полиномы.

2. Условие главного корня

Предполагается, что ∣α1∣>∣α2∣≥⋯≥∣αt∣|\alpha_1| > |\alpha_2| \geq \cdots \geq |\alpha_t| и κ1≠0\kappa_1 \neq 0, где κ1\kappa_1 — коэффициент при α1\alpha_1.

3. Нижние границы линейных логарифмических форм

Ключевая техника — теорема Матвеева о нижних границах линейных логарифмических форм (лемма 2.1):

Для алгебраических чисел α1,…,αn\alpha_1, \ldots, \alpha_n и целых чисел b1,…,bnb_1, \ldots, b_n линейная форма Λ=b1log⁡α1+⋯+bnlog⁡αn\Lambda = b_1 \log \alpha_1 + \cdots + b_n \log \alpha_n удовлетворяет: Λ=0\Lambda = 0 или log⁡∣Λ∣>−C(n)Ωlog⁡(c1B)\log |\Lambda| > -C(n)\Omega \log(c_1B)

Алгоритмический процесс

Первый этап: предварительная обработка и частные случаи

  1. Обработка случаев Pn=2f13f25f37f4P_n = 2^{f_1} 3^{f_2} 5^{f_3} 7^{f_4} (лемма 5.1)
  2. Прямое вычисление для n∈{0,1,…,18,20,25,36}n \in \{0, 1, \ldots, 18, 20, 25, 36\}

Второй этап: оценка верхних границ для общего случая

Для Pna=2g13g25g37g4PmbP_n^a = 2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_m^b:

  1. Построение линейной логарифмической формы: Λ=g1log⁡2+⋯+g4log⁡7+(a−b)log⁡κ1+(an−bm)log⁡α1\Lambda = g_1 \log 2 + \cdots + g_4 \log 7 + (a-b) \log \kappa_1 + (an-bm) \log \alpha_1
  2. Применение теоремы Матвеева: Получение теоретических верхних границ для m,nm, n
  3. Улучшение редукцией решеток: Использование алгоритма LLL и леммы 2.3 для уточнения границ

Третий этап: компьютерная верификация

  1. Для каждого возможного значения mm построение соответствующей линейной логарифмической формы
  2. Применение техник редукции решеток для получения более точных нижних границ
  3. Поэлементная проверка оставшихся случаев

Технические инновации

  1. Эффективность: В отличие от предыдущих неэффективных результатов, данная работа предоставляет эффективно вычислимые верхние границы
  2. Техника редукции решеток: Инновационное комбинирование методов редукции решеток значительно улучшает теоретические границы
  3. Классификация по случаям: Искусное разложение задачи на частные и общие случаи существенно упрощает вычислительную сложность

Экспериментальная установка

Математические константы

  • Пластическое число: α1=1.324717…\alpha_1 = 1.324717\ldots (действительный корень уравнения X3−X−1=0X^3 - X - 1 = 0)
  • Комплексные корни: α2,α3=−0.662358…±0.562279…i\alpha_2, \alpha_3 = -0.662358\ldots \pm 0.562279\ldots i
  • Коэффициенты: κi=1/(2αi+3)\kappa_i = 1/(2\alpha_i + 3) для i=1,2,3i = 1, 2, 3
  • Параметры: K=5.599815…K = 5.599815\ldots, δ=1.524702…\delta = 1.524702\ldots

Вычислительные параметры

  • Начальная точка: n1=27n_1 = 27
  • Параметр точности: μ=10\mu = 10
  • Граница ошибки: ϵ<6.3413×10−5\epsilon < 6.3413 \times 10^{-5}

Параметры редукции решеток

  • Использование различных параметров решеток (C,γ)(C, \gamma) на разных этапах
  • Первый этап: (C,γ)=(10150,11)(C, \gamma) = (10^{150}, 11)
  • Последующие этапы: параметры корректируются по необходимости

Результаты экспериментов

Основной результат (теорема 1.3)

Если Pna=2g13g25g37g4PmbP_n^a = 2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_m^b для некоторых целых чисел g1,g2,g3,g4,a,bg_1, g_2, g_3, g_4, a, b и a>0a > 0, то необходимо:

  1. m,n∈{1,2,4}m, n \in \{1, 2, 4\}, или
  2. m,n∈{0,3,5,6,…,18,20,25,36}m, n \in \{0, 3, 5, 6, \ldots, 18, 20, 25, 36\}, или
  3. m,n∈{21,27,49}m, n \in \{21, 27, 49\}

Промежуточные результаты

Лемма 5.1

Если Pn=2f13f25f37f4P_n = 2^{f_1} 3^{f_2} 5^{f_3} 7^{f_4}, то n∈{0,1,…,18,20,25,36}n \in \{0, 1, \ldots, 18, 20, 25, 36\}.

Лемма 5.2

Если Pna=2g13g25g37g4PmbP_n^a = 2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_m^b и gcd⁡(a,b)=1\gcd(a,b) = 1, то:

  • m≤988m \leq 988
  • bm≤3.850562×1029bm \leq 3.850562 \times 10^{29}
  • an<5.5553×1029an < 5.5553 \times 10^{29}

Вычислительная верификация

Путем поэлементной проверки всех случаев при m≤988m \leq 988 подтверждено, что существуют только указанные три группы решений. В процессе верификации установлено:

  • Для Hm=Pm/(2e1⋯7e4)H_m = P_m/(2^{e_1} \cdots 7^{e_4}) при 0≤m≤10120 \leq m \leq 1012 и Hm∉{0,1}H_m \notin \{0,1\} число HmH_m не является полной степенью
  • Это гарантирует, что в большинстве случаев a=1a = 1

Связанные работы

Классические результаты

  1. Последовательности Люка: Теорема Bilo-Hanrot-Voutier предоставляет мощный инструмент для последовательностей Люка
  2. Общие линейные рекуррентные последовательности: Условия роста van der Poorten-Schlickewei, результаты о простых делителях Evertse
  3. Эффективные результаты: Эффективные границы Mignotte, Stewart, Pethö и других

Недавние достижения

  1. Odjoumani-Ziegler: Исследование появления степеней простых чисел в линейных рекуррентных последовательностях
  2. Bugeaud-Kaneko: Эффективные границы для полных степеней
  3. Gómez Ruiz-Luca: Мультипликативные соотношения между различными рекуррентными последовательностями

Вклад данной работы

По сравнению с существующими работами, данная статья впервые дает полное решение задачи о степенных соотношениях для последовательности ван дер Лаана-Падована и предоставляет эффективный метод, применимый к общим линейным рекуррентным последовательностям.

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

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

  1. Полнота: Полное решение задачи о степенных соотношениях для последовательности ван дер Лаана-Падована
  2. Общность: Установление общей теории, применимой к линейным рекуррентным последовательностям, удовлетворяющим условию главного корня
  3. Эффективность: Предоставление практически вычислимых верхних границ и алгоритмов

Ограничения

  1. Чрезмерно большие границы: Теоретическая граница C′′Ψlog⁡(c2C′Ψ′)C^{\prime\prime} \Psi \log(c_2 C^\prime \Psi^\prime) может быть чрезмерно большой для практического применения
  2. Вычислительная сложность: Для случаев с большими параметрами объем вычислений остается огромным
  3. Конкретный набор простых чисел: Текущие результаты ограничены набором простых чисел {2,3,5,7}\{2, 3, 5, 7\}

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

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

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

Достоинства

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

Недостатки

  1. Теоретические ограничения: Требование условия главного корня ограничивает применимость метода
  2. Зависимость от вычислений: Окончательные результаты в значительной степени зависят от компьютерной верификации, теоретический анализ недостаточно глубок
  3. Ограниченная обобщаемость: Обобщение на другие рекуррентные последовательности не является прямолинейным

Влияние

  1. Научная ценность: Предоставление новых технических подходов к исследованию диофантовых уравнений для линейных рекуррентных последовательностей
  2. Практическое значение: Применение последовательности ван дер Лаана-Падована в архитектуре придает результатам междисциплинарную ценность
  3. Методологическое значение: Применение техник редукции решеток в задачах теории чисел имеет демонстрационное значение

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

  1. Теория чисел: Исследование арифметических свойств линейных рекуррентных последовательностей
  2. Вычислительная математика: Точное решение диофантовых уравнений
  3. Прикладная математика: Решение практических задач, связанных с рекуррентными последовательностями

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

Статья цитирует 37 важных источников, охватывающих теорию линейных рекуррентных последовательностей, метод Бейкера, техники редукции решеток и другие области, предоставляя прочную теоретическую базу для исследования.