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

متتالية بيل والمصفوفات الحلقية المتعلقة بالمربعات على الحقول المنتهية

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

  • معرّف الورقة البحثية: 2501.01667
  • العنوان: متتالية بيل والمصفوفات الحلقية المتعلقة بالمربعات على الحقول المنتهية
  • المؤلفون: Hai-Liang Wu, Li-Yuan Wang, He-Xia Ni
  • التصنيف: math.NT (نظرية الأعداد)
  • تاريخ النشر: 15 يناير 2025 (نسخة أولية على arXiv)
  • رابط الورقة: https://arxiv.org/abs/2501.01667

الملخص

تدرس هذه الورقة البحثية بعض المصفوفات الحلقية التي تتضمن العناصر المربعة على الحقول المنتهية من خلال الخصائص الحسابية لمتتالية بيل وأدوات p-adic. لتكن 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 هو الحد النوني من متتالية بيل المرافقة المعرّفة بـ Q0=Q1=2Q_0=Q_1=2 و Qi+1=2Qi+Qi−1Q_{i+1}=2Q_i+Q_{i-1}.

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

الخلفية التاريخية

يعود البحث في المصفوفات الحلقية إلى الأعمال الرائدة لـ Lehmer و Carlitz. درس Carlitz أولاً المصفوفات الحلقية من الشكل 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. الروابط العميقة: غالباً ما يرتبط محدد هذه المصفوفات بكائنات نظرية أعداد مهمة (مثل أرقام الفئات والوحدات الأساسية)

حدود الطرق الموجودة

  • على الرغم من أن عمل Chapman يغيّر فقط حجم المصفوفة، إلا أن حساب det⁡Cp(0)\det C^{(0)}_p و det⁡Cp(1)\det C^{(1)}_p أصبح معقداً للغاية
  • توفر مصفوفة Sun 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} منظوراً جديداً للبحث ذي الصلة، لكن لا تزال هناك العديد من المسائل غير المحلولة

الدافع البحثي للورقة الحالية

مستوحى من عمل Sun، يدرس المؤلفون متغيرات المصفوفة 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. توصيف الانفرادية: إثبات انفرادية المصفوفات Bq(n−1)B_q(n-1) و Bq(n−2)B_q(n-2) عندما f≥2f\geq 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) من مصفوفات Carlitz

شرح الطريقة

تعريف المهمة

دراسة خصائص المحدد للمصفوفة 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-adic

  • حرف Teichmüller: ωq:Fq→Cp\omega_q: \mathbb{F}_q \to \mathbb{C}_p
  • صيغة Gross-Koblitz: ربط مجاميع Gauss بدالة Gamma من نوع p-adic
  • التقييم p-adic: لتحليل خصائص p-adic لمجاميع Jacobi

3. تقنيات نظرية المصفوفات

  • المصفوفات شبه الدورية: Wn(v)=[aj−i]1≤i,j≤n−1W_n(v) = [a_{j-i}]_{1\leq i,j\leq n-1}
  • طريقة القيم الذاتية: حساب المحدد من خلال حساب القيم الذاتية
  • صيغة Grinberg-Sun-Zhao: لحساب محدد المصفوفات ذات الأشكال المحددة

استراتيجية إثبات النظريات الرئيسية

استراتيجية إثبات النظرية 1.1

  1. تطبيق صيغة Grinberg-Sun-Zhao: 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. تطبيق التطابق Lucas: عندما f≥2f\geq 2، استخدام تطابق Lucas لإثبات أن معاملات ثنائية معينة تساوي 0 modulo pp
  3. 恒等式 Sury: عندما 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-adic لمجاميع Jacobi: استخدام صيغة Gross-Koblitz لتحليل التقييم p-adic لمجاميع Jacobi
  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. خصائص رمز Legendre: الحصول على خصائص جديدة حول رمز Legendre من خلال حساب المحدد
  2. الارتباط برقم الفئة: إنشاء ارتباط بين محدد المصفوفة وأرقام الفئات للحقول التربيعية الخيالية

الأعمال ذات الصلة

مسار التطور التاريخي

  1. فترة Lehmer-Carlitz: تأسيس نظرية المصفوفات الحلقية
  2. فترة Chapman: البحث المتعمق في متغيرات المصفوفة، اقتراح "المحددات الشريرة"
  3. فترة Sun: متغيرات المصفوفة التي تتضمن المربعات، الارتباط بنظرية الأعداد الجبرية

موقع هذه الورقة

تبني هذه الورقة على أساس عمل Sun، وتفتح اتجاهاً بحثياً جديداً في نظرية المصفوفات الحلقية من خلال إدخال متتالية بيل.

الخلاصة والمناقشة

الاستنتاجات الرئيسية

  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-adic وتقنيات المصفوفات المستخدمة قيمة عامة
  3. الأهمية الإرشادية: توفير أفكار وأدوات جديدة للبحث في المجالات ذات الصلة

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

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

المراجع

تستشهد الورقة بـ 25 مرجعاً مهماً، بما في ذلك:

  • الأعمال الأساسية لـ Carlitz
  • بحث Chapman حول "المحددات الشريرة"
  • عمل Sun حول مصفوفات رمز Legendre
  • النتائج الكلاسيكية لـ Gross-Koblitz في تحليل p-adic

التقييم الإجمالي: هذه ورقة بحثية عالية الجودة في نظرية الأعداد، تؤسس ارتباطات جديدة بين المصفوفات الحلقية ومتتالية بيل من خلال تقنيات رياضية ماهرة. للورقة مساهمات نظرية مهمة واكتشافات حسابية مثيرة للاهتمام، وتضع أساساً متيناً للبحث الإضافي في المجالات ذات الصلة.