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

نسب قوتين من أعداد فان دير لان-بادوفان

المعلومات الأساسية

  • معرّف الورقة: 2510.06192
  • العنوان: Ratios of two powers of van der Laan-Padovan numbers
  • المؤلف: Tomohiro Yamada (مركز اللغة اليابانية والثقافة بجامعة أوساكا)
  • التصنيف: 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، يوجد عدد محدود فقط من أزواج الحلول (um,un)(u_m, u_n) التي تحقق umb=p1g1⋯pkgkunau_m^b = p_1^{g_1} \cdots p_k^{g_k} u_n^a.

السياق البحثي والدافع

خلفية المشكلة

  1. الخصائص الحسابية للمتتاليات التكرارية الخطية: تمثل الخصائص الحسابية للمتتاليات التكرارية الخطية ومعادلات ديوفانتين مجالاً مهماً في أبحاث نظرية الأعداد. من بين أكثرها دراسة متتاليات لوكاس، التي حققت نتائج عميقة.
  2. متتالية فان دير لان-بادوفان: قدمت هذه المتتالية في الأصل من قبل Dom Hans van der Laan في البحث المعماري، وطورها لاحقاً Richard Padovan. المتتالية هي: 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. تطوير تقنيات حسابية جديدة: دمج طريقة Baker وتقنيات اختزال الشبكات والتحقق الحاسوبي لتوفير استراتيجية عملية للحل

شرح تفصيلي للطريقة

تعريف المهمة

بالنظر إلى متتالية تكرارية خطية 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. الحد الأدنى لشكل اللوغاريتم الخطي

التقنية الأساسية هي نظرية الحد الأدنى لشكل اللوغاريتم الخطي لـ Matveev (الليما 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. تطبيق نظرية Matveev: الحصول على حد أعلى نظري لـ 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. متتاليات لوكاس: نظرية Bilu-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. ابتكار الطريقة: دمج ذكي لطريقة Baker وتقنيات اختزال الشبكات والتحقق الحاسوبي
  3. القيمة العملية: توفير كود PARI-GP قابل للتنفيذ، مما يعزز إمكانية إعادة الإنتاج
  4. الوضوح في الكتابة: هيكل الورقة واضح والتفاصيل التقنية شاملة

أوجه القصور

  1. القيود النظرية: متطلبات شرط الجذر الرئيسي تحد من نطاق تطبيق الطريقة
  2. الاعتماد على الحساب: النتيجة النهائية تعتمد بشكل كبير على التحقق الحاسوبي، والتحليل النظري غير كافٍ
  3. قابلية التعميم: التعميم على متتاليات تكرارية أخرى ليس مباشراً

التأثير

  1. القيمة الأكاديمية: توفير مسار تقني جديد لأبحاث معادلات ديوفانتين في المتتاليات التكرارية الخطية
  2. الأهمية العملية: تطبيقات متتالية فان دير لان-بادوفان في العمارة تجعل النتائج ذات قيمة متعددة التخصصات
  3. الأهمية المنهجية: تطبيق تقنيات اختزال الشبكات في مسائل نظرية الأعداد له قيمة توضيحية

السيناريوهات المناسبة

  1. أبحاث نظرية الأعداد: دراسة الخصائص الحسابية للمتتاليات التكرارية الخطية
  2. الرياضيات الحسابية: الحالات التي تتطلب حل دقيق لمعادلات ديوفانتين
  3. الرياضيات التطبيقية: المسائل العملية التي تتضمن متتاليات تكرارية

المراجع

تستشهد الورقة بـ 37 مرجعاً مهماً، تغطي نظرية المتتاليات التكرارية الخطية وطريقة Baker وتقنيات اختزال الشبكات وغيرها من المجالات الكلاسيكية والمتقدمة، مما يوفر أساساً نظرياً متيناً للبحث.