2025-11-10T02:57:02.611382

Carmichael Numbers in All Possible Arithmetic Progressions

Larsen
We prove that every arithmetic progression either contains infinitely many Carmichael numbers or none at all. Furthermore, there is a simple criterion for determining which category a given arithmetic progression falls into. In particular, if $m$ is any integer such that $(m,2ϕ(m))=1$ then there exist infinitely many Carmichael numbers divisible by $m$. As a consequence, we are able to prove that $\liminf_{n\text{ Carmichael}}\frac{ϕ(n)}{n}=0$, resolving a question of Alford, Granville, and Pomerance.
academic

أعداد كارمايكل في جميع المتتاليات الحسابية الممكنة

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

  • معرّف الورقة: 2504.09056
  • العنوان: Carmichael Numbers in All Possible Arithmetic Progressions
  • المؤلف: Daniel Larsen
  • التصنيف: math.NT (نظرية الأعداد)
  • تاريخ النشر: أبريل 2025 (نسخة أولية على arXiv)
  • رابط الورقة: https://arxiv.org/abs/2504.09056

الملخص

تثبت هذه الورقة أن كل متتالية حسابية إما تحتوي على عدد لا نهائي من أعداد كارمايكل أو لا تحتوي على أي منها. علاوة على ذلك، نقدم معيار تمييز بسيط لتحديد فئة المتتالية الحسابية المعطاة. بشكل خاص، إذا كان mm أي عدد صحيح يحقق (m,2ϕ(m))=1(m,2\phi(m))=1، فإنه يوجد عدد لا نهائي من أعداد كارمايكل القابلة للقسمة على mm. كنتيجة طبيعية، نثبت أن lim inf⁡n Carmichaelϕ(n)n=0\liminf_{n\text{ Carmichael}}\frac{\phi(n)}{n}=0، مما يحل مسألة طرحها ألفورد وجرانفيل وبوميرانس.

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

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

أعداد كارمايكل هي فئة خاصة من الأعداد المركبة التي تحقق an≡a(modn)a^n \equiv a \pmod{n} لأي عدد صحيح aa. وفقاً لمعيار كورسيلت، العدد المركب الخالي من العوامل المربعة nn هو عدد كارمايكل إذا وفقط إذا كان لكل عدد أولي pp يقسم nn، يقسم p−1p-1 العدد n−1n-1.

دافع البحث

  1. مسائل التوزيع: على الرغم من أن ألفورد وجرانفيل وبوميرانس أثبتوا عام 1994 أن أعداد كارمايكل لا نهائية، إلا أن مسألة توزيعها في المتتاليات الحسابية لم تُحل بالكامل.
  2. المسائل القديمة: يسمي بانكس "ما إذا كان هناك عدد صحيح ثابت m>1m>1 يقسم عدداً لا نهائياً من أعداد كارمايكل" بـ "المسألة القديمة".
  3. تحسين النظرية: بالقياس على دراسة توزيع الأعداد الأولية في المتتاليات الحسابية، فإن دراسة توزيع أعداد كارمايكل لها أهمية كبيرة في نظرية الأعداد.

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

لا يمكن للطريقة الكلاسيكية لألفورد-جرانفيل-بوميرانس (AGP) التعامل مباشرة مع مسألة بناء أعداد كارمايكل القابلة للقسمة على عدد صحيح ثابت، لأن الضرب المباشر في mm يكسر شروط معيار كورسيلت بالنسبة للمعامل kk.

المساهمات الأساسية

  1. التوصيف الكامل: إثبات أن كل متتالية حسابية إما تحتوي على عدد لا نهائي من أعداد كارمايكل أو لا تحتوي على أي منها، مما يعطي تصنيفاً ثنائياً كاملاً.
  2. معيار التمييز: توفير معيار "توافق كارمايكل" بسيط يتضمن ثلاثة شروط يسهل التحقق منها.
  3. نظرية الوجود: إثبات أنه لأي عدد صحيح mm يحقق (m,2ϕ(m))=1(m,2\phi(m))=1، يوجد عدد لا نهائي من أعداد كارمايكل القابلة للقسمة على mm.
  4. حدود الكثافة: بالنسبة للمتتاليات الحسابية المتوافقة مع كارمايكل، إثبات وجود ما لا يقل عن x1/168−ϵx^{1/168-\epsilon} عدد كارمايكل أقل من xx.
  5. مسائل النهايات: حل مسألة lim inf⁡n Carmichaelϕ(n)n=0\liminf_{n\text{ Carmichael}}\frac{\phi(n)}{n}=0 التي طرحها AGP.

شرح الطريقة

تعريف المهمة

بالنظر إلى المتتالية الحسابية r(modm)r \pmod{m}، تحديد ما إذا كانت تحتوي على عدد لا نهائي من أعداد كارمايكل، وفي حالة الاحتواء، إعطاء حد أدنى للكثافة.

تعريف توافق كارمايكل

لتكن g=(r,m)g = (r,m)، h=(λ(g),m)h = (\lambda(g),m)، المتتالية الحسابية r(modm)r \pmod{m} تكون غير متوافقة مع كارمايكل إذا وفقط إذا حققت أحد الشروط التالية:

  • (g,2ϕ(g))>1(g, 2\phi(g)) > 1
  • h∤r−1h \nmid r - 1
  • 36∣m36 | m، r≡3(mod12)r \equiv 3 \pmod{12}، و r/g≡5r/g \equiv 5 أو 7(mod12)7 \pmod{12}

وإلا تُسمى متوافقة مع كارمايكل.

إطار الطريقة الأساسية

بناء مجموعة الأعداد الأولية الثنائية

الابتكار الرئيسي في هذه الورقة هو استخدام مجموعتين من الأعداد الأولية بدلاً من مجموعة واحدة في طريقة AGP:

لأعداد صحيحة مناسبة k1,k2,L1,L2k_1, k_2, L_1, L_2، نبني:

  • P1:={dk1+1:d∈D1}P_1 := \{dk_1 + 1 : d \in D_1\}
  • P2:={dk2+1:d∈D2}P_2 := \{dk_2 + 1 : d \in D_2\}

حيث يتم اختيار D1,D2D_1, D_2 من عوامل L1,L2L_1, L_2 على التوالي.

معالجة القيود المعيارية

البحث عن Π1,Π2\Pi_1, \Pi_2 التي تحقق:

  • Π1≡1(modL1)\Pi_1 \equiv 1 \pmod{L_1} و Π1≡1m(modk2L2)\Pi_1 \equiv \frac{1}{m} \pmod{k_2L_2}
  • Π2≡1(modL2)\Pi_2 \equiv 1 \pmod{L_2} و Π2≡1m(modk1L1)\Pi_2 \equiv \frac{1}{m} \pmod{k_1L_1}
  • Π1,Π2≡1(modϕ(m))\Pi_1, \Pi_2 \equiv 1 \pmod{\phi(m)}

إذاً mΠ1Π2m\Pi_1\Pi_2 يحقق معيار كورسيلت.

نقاط الابتكار التقنية

1. طريقة الهروب من المجموعات الجزئية

استخدام غربال محسّن كبير للتعامل مع الأحرف ذات الرتبة الثابتة، تجنب تركيز مجموعات الأعداد الأولية في مجموعات جزئية حقيقية:

القضية 6 (عدم المساواة الغربال المحسّن): لتكن MM مجموعة أعداد صحيحة موجبة مستقلة عن الأس rr، و QQ مجموعة أعداد صحيحة موجبة محدودة، إذاً ∑q∈Q∑χ mod q,χr=χ0∗∣∑m∈Mχ(m)∣2≪Q1−1rM4+Q′∣M∣\sum_{q\in Q} \sum_{\chi \bmod q, \chi^r=\chi_0}^* \left|\sum_{m\in M} \chi(m)\right|^2 \ll Q^{1-\frac{1}{r}}M^4 + Q'|M|

2. التحكم في التوزيع المتساوي

من خلال الخاصية 7* ضمان التوزيع المتساوي لمجموعات الأعداد الأولية تحت تأثير الأحرف: بالنسبة لحاصل ضرب عناصر من QiQ_i بعدد لا يتجاوز yρy^{\rho}، أي حرف غير رئيسي χ mod n\chi \bmod n وعدد حقيقي β\beta، يوجد ما لا يقل عن yθy3ι\frac{y^{\theta}}{y^{3\iota}} عنصراً q∈Q3−iq \in Q_{3-i} بحيث ∣βq−β∣≥12yρ+ι|\beta_q - \beta| \geq \frac{1}{2y^{\rho+\iota}}.

3. أدوات نظرية الأعداد الجبرية

استخدام قانون المقابلة للأس rr ونظرية أحرف المثاليات للتعامل مع مسائل توزيع الأحرف ذات الرتبة العالية.

إعداد التجارب

اختيار المعاملات

  • yy: معامل كبير، يحدد حجم أعداد كارمايكل
  • ι\iota: عدد موجب صغير جداً، يحدد حدود الخطأ
  • δ=16\delta = \frac{1}{6}، θ=16−2ι\theta = \frac{1}{6} - 2\iota، ρ=124−2ι\rho = \frac{1}{24} - 2\iota
  • κ,T\kappa, T: ثوابت أعداد صحيحة كبيرة (مثل 100)

تدفق البناء

  1. بناء مجموعات الأعداد الأولية Q1,Q2Q_1, Q_2 التي تحقق 8 خصائص
  2. غربلة المعاملات k1,k2k_1, k_2 التي تحقق شروط التبادل الأولي والتغطية
  3. بناء المنتجات المساعدة A1,A2A_1, A_2 للتعامل مع قيود المعامل LL
  4. طريقة الأحرف لبناء المنتجات التي تحقق قيود المعامل kk

نتائج التجارب

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

النظرية 1: لتكن r(modm)r \pmod{m} متتالية حسابية متوافقة مع كارمايكل. إذاً لكل ϵ>0\epsilon > 0 و xx كبيرة بما يكفي، يوجد أكثر من x1/168−ϵx^{1/168-\epsilon} عدد كارمايكل أقل من xx متطابق مع r(modm)r \pmod{m}.

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

النظرية 2: lim inf⁡n Carmichaelϕ(n)n=0\liminf_{n\text{ Carmichael}}\frac{\phi(n)}{n} = 0

خطة الإثبات: استخدام متتالية الأعداد الأولية {qi}\{q_i\} التي بناها إردوس، حيث يحقق حاصل ضربها QQ أن −log⁡ϕ(Q)Q→∞-\log\frac{\phi(Q)}{Q} \to \infty، مع دمج النظرية 1 للحصول على أعداد كارمايكل القابلة للقسمة على QQ.

تحسين الكثافة

بالنسبة لحالة عدم قسمة العدد الأولي rr على mm، تعطي طريقة هذه الورقة حد أدنى x1/168−ϵx^{1/168-\epsilon}، محسّنة من:

  • عندما يكون rr بقايا تربيعية: نتائج ماتوماكي
  • عندما يكون rr غير بقايا تربيعية: x16log⁡log⁡log⁡xx^{\frac{1}{6\log\log\log x}} لبوميرانس

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

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

  1. شيميركا (1885): اكتشاف أول عدد كارمايكل معروف 561
  2. كورسيلت (1899): إعطاء معيار تمييز أعداد كارمايكل
  3. AGP (1994): إثبات أن أعداد كارمايكل لا نهائية
  4. رايت (2013): إثبات أن المتتالية الحسابية a(modq)a \pmod{q} عندما (a,q)=1(a,q)=1 تحتوي على عدد لا نهائي من أعداد كارمايكل

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

  • الكمالية: التعامل مع الحالة الصعبة (a,q)>1(a,q)>1
  • التوحيد: إعطاء تصنيف كامل لجميع المتتاليات الحسابية
  • التقنية: تطوير أدوات غربال وأحرف جديدة

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

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

  1. تم حل مسألة توزيع أعداد كارمايكل في المتتاليات الحسابية بشكل كامل
  2. توفير معايير تمييز عملية
  3. حل المسألة المهمة التي طرحها AGP

القيود

  1. الثابت 1168\frac{1}{168} ليس الأمثل، يمكن تحسينه من خلال غربال أكثر دقة
  2. تعقيد الطريقة مرتفع، يتضمن عدة مستويات تقنية
  3. بالنسبة للتطبيقات العملية، يتطلب اختيار المعاملات توازناً دقيقاً

الاتجاهات المستقبلية

  1. تحسين الثوابت: تحسين حد أدنى الكثافة
  2. التعميم والتطبيق: التوسع إلى أعداد فيرما الكاذبة والأشياء ذات الصلة
  3. الجوانب الحسابية: تطوير خوارزميات فعالة لبناء أعداد كارمايكل

التقييم المتعمق

المميزات

  1. الاكتمال النظري: حل كامل لمسألة أساسية في توزيع أعداد كارمايكل في المتتاليات الحسابية
  2. ابتكار الطريقة: طريقة مجموعة الأعداد الأولية الثنائية هي تطور مهم لطريقة AGP
  3. العمق التقني: دمج شامل لطرق الغربال ونظرية الأحرف ونظرية الأعداد الجبرية
  4. قوة النتائج: ليس فقط إثبات الوجود، بل إعطاء حدود كثافة كمية

أوجه القصور

  1. التعقيد التقني: يتضمن الإثبات عدداً كبيراً من التفاصيل التقنية، مما يرفع عتبة الفهم
  2. تحسين الثوابت: الثابت 1168\frac{1}{168} له مجال للتحسين
  3. العملية: بالنسبة لبناء أعداد كارمايكل الملموس، العملية محدودة

التأثير

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

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

  1. البحث النظري: التطور الإضافي لنظرية توزيع أعداد كارمايكل
  2. التشفير: فهم توزيع الأعداد الكاذبة في الأنظمة التشفيرية
  3. نظرية الأعداد الحسابية: توفير أساس نظري لبناء فعال لأعداد كارمايكل

المراجع

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

  • الأعمال الرائدة لألفورد وجرانفيل وبوميرانس
  • مساهمات رايت في أعداد كارمايكل في المتتاليات الحسابية
  • النتائج الكلاسيكية في نظرية الأعداد التحليلية مثل نظرية بومبييري-فينوجرادوف
  • الأدبيات ذات الصلة بنظرية الغربال

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