2025-11-25T06:40:17.532535

On some conjectural supercongruences involving the sequence $t_n(x)$

Han, Wang
In this paper, we study some supercongruences involving the sequence $$ t_n(x)=\sum_{k=0}^n\binom{n}{k}\binom{x}{k}\binom{x+k}{k}2^k $$ and solve some open problems. For any odd prime $p$ and $p$-adic integer $x$, we determine $\sum_{n=0}^{p-1}t_n(x)^2$ and $\sum_{n=0}^{p-1}(n+1)t_n(x)^2$ modulo $p^2$; for example, we establish that \begin{align*} \sum_{n=0}^{p-1}t_n(x)^2\equiv\begin{cases} \left(\dfrac{-1}{p}\right)\pmod{p^2},&\text{if }2x\equiv-1\pmod{p},\\[8pt] (-1)^{\langle x\rangle_p}\dfrac{p+2(x-\langle x\rangle_p)}{2x+1}\pmod{p^2},&\text{otherwise,} \end{cases} \end{align*} where $\langle x\rangle_p$ denotes the least nonnegative residue of $x$ modulo $p$. This confirms a conjecture of Z.-W. Sun.
academic

حول بعض التطابقات الفائقة المتخمنة التي تتضمن المتتالية tn(x)t_n(x)

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

  • معرّف البحث: 2510.11338
  • العنوان: حول بعض التطابقات الفائقة المتخمنة التي تتضمن المتتالية tn(x)t_n(x)
  • المؤلفون: Hui-Li Han، Chen Wang
  • التصنيف: math.NT (نظرية الأعداد)، math.CO (التوافقيات)
  • تاريخ النشر: 13 أكتوبر 2025
  • رابط البحث: https://arxiv.org/abs/2510.11338

الملخص

يتناول هذا البحث التطابقات الفائقة التي تتضمن المتتالية tn(x)=∑k=0n(nk)(xk)(x+kk)2kt_n(x)=\sum_{k=0}^n\binom{n}{k}\binom{x}{k}\binom{x+k}{k}2^k ويحل عدداً من المسائل المفتوحة. بالنسبة لأي عدد أولي فردي pp وعدد صحيح pp-adic xx، يحدد المؤلفان قيم ∑n=0p−1tn(x)2\sum_{n=0}^{p-1}t_n(x)^2 و ∑n=0p−1(n+1)tn(x)2\sum_{n=0}^{p-1}(n+1)t_n(x)^2 بمقياس p2p^2. وعلى وجه الخصوص، تم إثبات أن:

\left(\dfrac{-1}{p}\right)\pmod{p^2},&\text{إذا كان }2x\equiv-1\pmod{p},\\[8pt] (-1)^{\langle x\rangle_p}\dfrac{p+2(x-\langle x\rangle_p)}{2x+1}\pmod{p^2},&\text{وإلا،} \end{cases}$$ حيث يمثل $\langle x\rangle_p$ أصغر بقايا غير سالبة لـ $x$ بمقياس $p$. وهذا يؤكد تخمين من تخمينات Sun Zhiwei. ## السياق البحثي والدافع 1. **مصدر المشكلة**: ينشأ البحث من دراسة Kimoto و Wakayama عام 2006 لقيم دوال زيتا الطيفية، حيث قدما أعداداً من نوع Apéry: $$J̃_2(n) := \sum_{k=0}^n \binom{n}{k}(-1)^k\binom{-1/2}{k}^2$$ 2. **الأهمية النظرية**: التطابقات الفائقة هي موضوعات بحثية مهمة في نظرية الأعداد، خاصة تلك التي تتضمن معاملات ذات الحدين، والتي لها ارتباطات عميقة بنظريات الدوال الخاصة والأشكال النمطية. 3. **قيود الأعمال الموجودة**: على الرغم من أن Long و Osburn و Swisher أثبتوا تخمين Kimoto-Wakayama عام 2016، إلا أن هناك العديد من المسائل غير المحلولة المتعلقة بخصائص التطابقات الفائقة للمتتاليات متعددة الحدود الأكثر عمومية $S_n(x,y)$. 4. **دافع البحث**: قدم Sun Zhiwei المتتالية متعددة الحدود $S_n(x,y) := \sum_{k=0}^n\binom{n}{k}\binom{x}{k}\binom{-1-x}{k}y^k$ وطرح عدة تخمينات حول الحالة الخاصة $t_n(x) = S_n(x,-2)$. يهدف هذا البحث إلى حل هذه المسائل المفتوحة. ## المساهمات الأساسية 1. **إثبات التخمين الرئيسي لـ Sun Zhiwei**: تحديد كامل لقيم $\sum_{n=0}^{p-1}t_n(x)^2$ بمقياس $p^2$ (النظرية 1.1) 2. **إنشاء تطابقات فائقة للمجاميع المرجحة**: إعطاء صيغة دقيقة لـ $\sum_{n=0}^{p-1}(n+1)t_n(x)^2$ بمقياس $p^2$ (النظرية 1.2) 3. **حل أربعة تخمينات تطابقات فائقة محددة**: تأكيد التخمين 1.1 الذي يتضمن قيم معاملات خاصة (النتيجة 1.1) 4. **اكتشاف متطابقات توافقية مهمة**: إنشاء صيغ مغلقة لمجموعتين من المجاميع المزدوجة، وهذه النتائج لها قيمة مستقلة بحد ذاتها ## شرح تفصيلي للطريقة ### تعريف المهمة تتمثل مهمة البحث في تحديد القيم الدقيقة بمقياس $p^2$ للمجاميع $\sum_{n=0}^{p-1}t_n(x)^2$ و $\sum_{n=0}^{p-1}(n+1)t_n(x)^2$ التي تتضمن المتتالية $t_n(x) = \sum_{k=0}^n\binom{n}{k}\binom{x}{k}\binom{x+k}{k}2^k$، حيث $p$ عدد أولي فردي و $x$ عدد صحيح $p$-adic. ### الطرق التقنية الأساسية #### 1. تقنية التوسع $p$-adic يعطي اللمّا الأساسي 2.1 التوسع $p$-adic لـ $\binom{x}{k}\binom{x+k}{k}$: بالنسبة لـ $m = \langle x \rangle_p \leq (p-1)/2$: - عندما $0 \leq k \leq m$: $\binom{x}{k}\binom{x+k}{k} \equiv \binom{m}{k}\binom{m+k}{k}(1 + ptH_{m+k} - ptH_{m-k}) \pmod{p^2}$ - عندما $p-m \leq k \leq p-1$: $\binom{x}{k}\binom{x+k}{k} \equiv 0 \pmod{p^2}$ #### 2. إنشاء المتطابقات التوافقية من خلال تمثيل دالة بيتا التكاملي وتحويل Pfaff، تم إثبات صيغ المجاميع المزدوجة الأساسية: **اللمّا 2.2**: $$\sum_{k=0}^n\sum_{l=0}^n\binom{n}{k}\binom{n+k}{k}\binom{n}{l}\binom{n+l}{l}\frac{(-2)^{k+l}}{(k+l+1)\binom{k+l}{k}} = \frac{(-1)^n}{2n+1}$$ **اللمّا 3.2**: $$\sum_{k=0}^n\sum_{l=0}^n\binom{n}{k}\binom{n+k}{k}\binom{n}{l}\binom{n+l}{l}\frac{(-2)^{k+l}}{\binom{k+l+2}{k+1}} = \frac{1}{4} - \frac{(-1)^n(2n^2+2n-1)}{8n+4}$$ #### 3. استراتيجية النقاش حسب الحالات بناءً على العلاقة بين $m = \langle x \rangle_p$ و $(p-1)/2$، يتم تقسيم الإثبات إلى ثلاث حالات: - **الحالة 1**: $m < (p-1)/2$ - **الحالة 2**: $m > (p-1)/2$ - **الحالة 3**: $m = (p-1)/2$ ### نقاط الابتكار التقني 1. **تحليل المجموع الماهر**: تحليل المجاميع المزدوجة المعقدة إلى تسع مجاميع جزئية $\sigma_1, \ldots, \sigma_9$، مع الاستفادة من التماثل والخصائص $p$-adic لتبسيط الحسابات 2. **طريقة التكامل بدالة بيتا**: استخدام مبتكر لتمثيل التكامل بدالة بيتا للتعامل مع المجاميع التي تتضمن مقاليب معاملات ذات الحدين 3. **المعالجة الماهرة للأعداد التوافقية**: إدخال الأعداد التوافقية $H_n = \sum_{k=1}^n 1/k$ في التوسع $p$-adic، للتحكم الفعال في الحدود ذات الرتبة الأعلى ## إعداد التجارب ### طرق التحقق النظري نظراً لأن هذا بحث نظري رياضي بحت، تتجلى "التجارب" بشكل أساسي في: 1. **التحقق من القيم الخاصة**: التحقق من الصيغة العامة من خلال حساب حالات أعداد أولية صغيرة محددة 2. **فحص الحالات الحدية**: التحقق من صحة الصيغة تحت الشروط الحدية 3. **الاتساق مع النتائج المعروفة**: التأكد من أن النتائج الجديدة متسقة مع التطابقات الفائقة ذات الصلة المعروفة ### إعدادات المعاملات الأساسية - العدد الأولي $p$: عدد أولي فردي ($p \geq 3$) - العدد الصحيح $p$-adic $x$: يُمثل كـ $x = m + pt$، حيث $m = \langle x \rangle_p \in \{0,1,\ldots,p-1\}$ - القيم الخاصة: $x = -1/2, -1/3, -1/4, -1/6$ ## نتائج التجارب ### نتائج النظريات الرئيسية **النظرية 1.1** (إثبات تخمين Sun Zhiwei): $$\sum_{n=0}^{p-1}t_n(x)^2 \equiv \begin{cases} \left(\dfrac{-1}{p}\right) \pmod{p^2}, & \text{إذا كان } 2x \equiv -1 \pmod{p} \\ (-1)^{\langle x\rangle_p}\dfrac{p+2(x-\langle x\rangle_p)}{2x+1} \pmod{p^2}, & \text{وإلا} \end{cases}$$ **النظرية 1.2** (صيغة المجموع المرجح): بالنسبة لـ $x \not\equiv -1/2 \pmod{p}$: $$\sum_{n=0}^{p-1}(n+1)t_n(x)^2 \equiv \frac{p}{4} - \frac{(-1)^{\langle x\rangle_p}(2x^2+2x-1)(p+2(x-\langle x\rangle_p))}{8x+4} \pmod{p^2}$$ بالنسبة لـ $x \equiv -1/2 \pmod{p}$: $$\sum_{n=0}^{p-1}(n+1)t_n(x)^2 \equiv \frac{p}{4} + \frac{3}{8}\left(\dfrac{-1}{p}\right) \pmod{p^2}$$ ### التحقق من التطبيقات المحددة **النتيجة 1.1** تحقق من أربع حالات محددة من التخمين 1.1 لـ Sun Zhiwei: 1. $\sum_{n=0}^{p-1}(8n+5)t_n(-1/2)^2 \equiv 2p \pmod{p^2}$ 2. $\sum_{n=0}^{p-1}(32n+21)t_n(-1/4)^2 \equiv 8p \pmod{p^2}$ 3. $\sum_{n=0}^{p-1}(18n+7)t_n(-1/3)^2 \equiv 0 \pmod{p^2}$ (عندما $p > 3$) 4. $\sum_{n=0}^{p-1}(72n+49)t_n(-1/6)^2 \equiv 18p \pmod{p^2}$ ## الأعمال ذات الصلة ### خط التطور التاريخي 1. **دراسة أعداد نوع Apéry**: بدأت مع Kimoto-Wakayama (2006) في دراسة قيم دوال زيتا الطيفية للمذبذب التوافقي غير التبديلي 2. **نظرية التطابقات الفائقة**: أثبت Long و Osburn و Swisher (2016) التخمين الأصلي لـ Kimoto-Wakayama 3. **مساهمات Sun Zhiwei**: قدم إطار عمل متتالية متعددة الحدود أكثر عمومية، وطرح تخمينات منهجية 4. **التقدم الحديث**: أثبت Wang-Wang تطابقات فائقة بمقياس $p^3$ للمتتالية $s_n(x)$، وأثبت Liu امتدادات بمقياس $p^4$ ### الابتكارات في هذا البحث 1. **الحل الكامل الأول** للمشكلة الأساسية للتطابقات الفائقة للمتتالية $t_n(x)$ 2. **إنشاء إطار عمل نظري موحد** يغطي حالات خاصة متعددة 3. **تطوير طرق تقنية جديدة**، خاصة تقنيات معالجة المجاميع المزدوجة ## الخلاصة والنقاش ### الاستنتاجات الرئيسية 1. **التحديد الكامل للتطابقات الفائقة الأساسية**: إعطاء صيغة دقيقة لـ $\sum_{n=0}^{p-1}t_n(x)^2$ بمقياس $p^2$ 2. **إنشاء نظرية المجاميع المرجحة**: حل التطابقات الفائقة التي تتضمن الوزن $(n+1)$ 3. **التحقق من عدة تخمينات محددة**: توفير أمثلة جديدة مهمة لنظرية أعداد نوع Apéry ### الأهمية النظرية 1. **إثراء نظرية التطابقات الفائقة**: إضافة نتائج جديدة مهمة لهذا المجال البحثي النشط 2. **تطوير تقنيات حسابية**: لطرق التكامل بدالة بيتا والتوسع $p$-adic تطبيقات واسعة 3. **ربط فروع رياضية مختلفة**: دمج نظرية التوافقيات ونظرية الأعداد ونظرية الدوال الخاصة بشكل عضوي ### الاتجاهات المستقبلية 1. **امتدادات المقاييس الأعلى**: دراسة التطابقات الفائقة بمقياس $p^3, p^4$ 2. **حالات معاملات أكثر عمومية**: النظر في قيم خاصة أخرى لـ $S_n(x,y)$ 3. **التطبيق الخوارزمي**: تطوير طرق حسابية فعالة للتحقق من حالات أعداد أولية أكبر ## التقييم العميق ### المميزات 1. **مساهمة نظرية كبيرة**: حل كامل للتخمينات المهمة التي طرحها Sun Zhiwei، مما يعزز تطور نظرية التطابقات الفائقة 2. **قوة الابتكار في الطريقة**: طريقة التكامل بدالة بيتا وتقنية تحليل المجموع الماهرة تعكس مهارة رياضية عالية 3. **إثبات صارم وكامل**: من خلال نقاش دقيق حسب الحالات وتحليل $p$-adic دقيق، يتم إعطاء إثبات صارم تماماً 4. **النتائج ذات الطابع العام**: الصيغ المنشأة تنطبق على جميع الأعداد الأولية الفردية ومعاملات $p$-adic عامة ### النقاط التقنية المميزة 1. **الصيغ المغلقة للمجاميع المزدوجة**: يعكس إثبات اللمّا 2.2 و 3.2 رؤية توافقية عميقة 2. **الاستخدام الماهر للتماثل**: استخدام التماثل $t_n(x) = t_n(-1-x)$ لتبسيط معالجة حالة $m > (p-1)/2$ 3. **التحكم الدقيق بالأعداد التوافقية**: معالجة حدود الأعداد التوافقية في التوسع $p$-adic تعكس مستوى تقني عالي ### القيود 1. **الاقتصار على الأعداد الأولية الفردية**: الطريقة لا تنطبق على العدد الأولي 2، وتحتاج معالجة منفصلة 2. **قيد المقياس $p^2$**: على الرغم من حل المشكلة الأساسية، إلا أن حالات المقاييس الأعلى لا تزال قيد الدراسة 3. **التعقيد الحسابي**: بالنسبة للأعداد الأولية الكبيرة، لا يزال التحقق الحسابي الفعلي يواجه صعوبات معينة ### تقييم التأثير 1. **قيمة أكاديمية عالية**: حل مسائل مفتوحة مهمة في هذا المجال، مما سيثير اهتماماً واسعاً 2. **قابلية الطرق للتعميم**: الطرق التقنية المطورة لها قيمة إرشادية للمسائل ذات الصلة 3. **اكتمال النظرية**: توفير تكملة نظرية مهمة لنظرية التطابقات الفائقة لأعداد نوع Apéry ### السيناريوهات المعمول بها 1. **البحث في نظرية الأعداد**: توفير أدوات وأمثلة جديدة لدراسة التطابقات الفائقة لمعاملات ذات الحدين 2. **الرياضيات التوافقية**: طرق معالجة المجاميع المزدوجة لها قيمة مرجعية لدراسة المتطابقات التوافقية 3. **نظرية الدوال الخاصة**: لها ارتباطات محتملة مع دراسة الدوال فوق الهندسية والأشكال النمطية ## المراجع يستشهد البحث بـ 16 مرجعاً مهماً، تشمل: 1. Andrews, Askey, Roy: كتاب "الدوال الخاصة" - كتاب مرجعي كلاسيكي في نظرية الدوال الخاصة 2. Kimoto, Wakayama (2006): العمل الأصلي الذي قدم أعداد نوع Apéry 3. Long, Osburn, Swisher (2016): ورقة بحثية مهمة أثبتت تخمين Kimoto-Wakayama 4. Sun (2017): الورقة الأصلية التي طرحت التخمينات التي يحلها هذا البحث 5. Wang, Wang (2025): أحدث الأبحاث في مجال التطابقات الفائقة ذات الصلة تعكس هذه المراجع المكانة المهمة لهذا البحث في خط التطور في هذا المجال ودوره في الربط بين الماضي والمستقبل.