Finite-Particle Convergence Rates for Conservative and Non-Conservative Drifting Models

ملخص تقني: معدلات تقارب الجسيمات المحدودة لنماذج الانجراف المحافظة وغير المحافظة

بيان المشكلة
تقدم نماذج الانجراف (Drifting models)، التي قدمها دينج وآخرون (2026)، نموذجاً للنماذج التوليدية ذات الخطوة الواحدة، حيث يتم نقل توزيع النموذج نحو توزيع البيانات أثناء التدريب عبر حقل سرعة يعتمد على الإزاحة، بدلاً من الاعتماد على عينات تكرارية طويلة عند الاستنتاج. تُعرف سرعة الإزاحة القياسية، $u^{\text{disp}}_{\nu,\mu,h}(z) = m_{\nu,h}(z) - m_{\mu,h}(z)$، بأنها الفرق بين متجهات إزاحة النواة (kernel mean-shift vectors) للبيانات ($\nu$) والنموذج ($\mu$).

هناك قصور نظري حرج حدده فرانز وآخرون (2026) وهو أن حقل الإزاحة هذا يكون عموماً غير محافظ (أي ليس حقل تدرج) بسبب التقييس المعتمد على الموقع في متجه إزاحة النواة. هذا عدم الحفظ يعقد تحليل التقارب والاستقرار. وبينما تعتبر نواة غاوس حالة خاصة يظل فيها الحقل محافظاً، فإن هذه الخاصية تفشل مع النوى الأخرى، مثل نواة لابلاب (Laplace kernel). تعالج هذه الورقة الحاجة إلى معدلات تقارب دقيقة للجسيمات المحدودة لكل من طرق الانجراف المحافظة وغير المحفظة.

المنهجية
تحلل الورقة نهجين متميزين لديناميكيات الانجراف في الزمن المستمر، مع التركيز على سلوك $N$ من الجسيمات المتفاعلة.

1. طريقة الانجراف المحافظة:
   يقترح المؤلفون استبدال سرعة الإزاحة بـ سرعة محافظة تُعرف بأنها فرق التدرجات الملساء:
   $$b_{\nu,\mu,h}(z) := s_{\nu,h}(z) - s_{\mu,h}(z) = \nabla \log \rho_{\nu,h}(z) - \nabla \log \rho_{\mu,h}(z)$$
   حيث $\rho_{\alpha,h}$ هو تقدير كثافة النواة (KDE) للقياس $\alpha$. هذا الحقل هو صراحةً حقل تدرج. يتتبع التحليل الإنتروبيا النسبية المشتركة $H_N(t)$ لنظام الجسيمات بالنسبة لمنتج الكثافات الملساء. وتشمل الكميات الرئيسية: تباين شتاين التجريبي (empirical Stein drift)، وتفاوت فيشر الملساء (smoothed Fisher discrepancy)، وسرعة المركز المربعة.

2. طريقة الانجراف غير المحافظة (نواة لابلاب):
   تحلل الورقة طريقة الإزاحة الأصلية المخصصة لنواة لابلاب. وبما أن هذا الحقل ليس حقل تدرج، يستخدم المؤلفون تفكيك النواة الرفيقة الحادة (sharp-companion kernel decomposition) (مستوحى من فرانز وآخرون، 2026). حيث يعرفون نواة حادة $L_h$ بحيث $\nabla L_h(z-y) = (y-z)K_h(z-y)$. يسمح هذا لسرعة لابلاب بأن تُفكك إلى:
   $$u_x(z) = a_{x,h}(z) b^\#_x(z) + e_x(z)$$
   حيث $b^\#_x$ هو عدم تطابق "الدرجة الحادة"، و $a_{x,h}$ هو عامل مقياس محلي موجب، و $e_x$ هو باقي عدم تطابق المقياس الذي يمثل الفرق في أنصاف الأقطار الموزونة محلياً بنمط لابلاب بين البيانات والنموذج. يستخدم التحليل ديناميكيات "ترك واحد جانباً" (leave-one-out/self-masked) لتجنب تفاعلات الذات في حساب الإنتروبيا.

المساهمات والنتائج الرئيسية

• هويات الإنتروبيا للجسيمات المحدودة في الزمن المستمر:
  تستنتج الورقة هويات الإنتروبيا المشتركة لكلا الطريقتين.

  • بالنسبة للطريقة المحافظة، يتضمن مشتق الإنتروبيا حداً من "التفاعل الذاتي لتقدير الكثافة المقلوب" ($\Delta K(0) E[R_N]$) ناتجاً عن كون السرعة عند الجسيم $i$ تعتمد على مقام تقدير الكثة (KDE) الذي يحتوي على الجسيم $i$ نفسه.
  • بالنسبة لطريقة لابلاب غير المحافظة، فإن استخدام ديناميكيات "ترك واحد جانباً" يزيل حد التفاعل الذاتي من هوية الإنتروبيا ولكنه يُدخل أخطاء تقريب متعلقة بحقل "ترك واحد جانباً".

• معدلات التقارب للانجراف المحافظ:
  تحت فرضيات الانتظام وشرط التحكم في تقدير الكثافة المقلوب (الذي يضمن أن الجسيمات مأهولة محلياً بحيث يكون $q_x(x_i)$ بعيداً عن الصفر)، تثبت الورقة حدوداً لمتوسط السرعة المتبقية المربعة:
  $$\frac{1}{T} \int_0^T E[V_N(X(t))] dt \leq \frac{H_N(0)}{NT} + \frac{a_h \Lambda_T}{N} + \frac{1}{2}\{B_{A,T}(h) + B_{V,T}(h)\}m_2(K_h)$$

  • الاعتماد على عرض النطاق (Bandwidth): يعتمد المعدل بشكل حاسم على نمو ثوابت التربيع $B(h)$ بالنسبة لعرض النطاق $h$.
    • إذا كان $B(h) = O(1)$ (انتظام موحد لـ $h$)، فإن معدل جذر السرعة المتبقية هو $O(N^{-1/(d+4)})$.
    • إذا كان $B(h) = O(h^{-\beta})$ لـ $0 \leq \beta < 2$، فإن المعدل الجذر الأمثل هو $O(N^{-(2-\beta)/(2(d+4-\beta))})$.
    • إذا كان $\beta \geq 2$، فإن خطأ التربيع لا يتلاشى بتقليص $h$.

• معدلات التقارب لانجراف لابلاب غير المحافظ:
  بالنسبة لنواة لابلاب، يتضمن حد التقارب حداً متبقياً لا يمكن تجنبه $\Delta_h^2$ يقيس عدم تطابق المقياس:
  $$\frac{1}{T} \int_0^T E[V^{\text{Lap}}_N(X(t))] dt \leq \frac{H^\#_N(0)}{\gamma_h NT} + \frac{\beta_h}{\gamma_h}\Delta_h^2 + \text{approximation errors}$$
  يتلاشى الحد $\Delta_h$ فقط إذا تلاقت أنصاف الأقطار الموزونة محلياً بنمط لابلاب للبيانات والنموذج. بناءً على ذلك، تتقارب الطريقة إلى جوار متبقٍ يحدده عدم تطابق المقياس هذا، بدلاً من التقارب إلى الصفر، ما لم تُستوفَ شروط محاذاة إضافية.

• شروط الإشغال (Occupancy Conditions):
  تقدم الورقة شروطاً حتمية وعالية الاحتمالية (عبر أعداد الجيران المحلية) التي يتم تحتها التحكم في حدودات تقدير الكثة المقلوب، مما يضمن استقرار الديناميكيات المحافظة.

الأهمية والادعاءات
تدعي الورقة أنها تقدم أول تحليل لمعدل الإنتروبيا للجسيمات المحدودة لديناميكيات الانجراف المحافظة، ممتدةً إطار الإنتروبيا المشتركة لبانيرجي وآخرون (2025) من SVGD إلى نماذج الانجراف. وتتمثل مساهماتها الرئيسية في:

1. حل مشكلة عدم الحفظ: من خلال اقتراح سرعة تدرج (KDE-gradient)، تقدم المؤلفات بديلاً محافظاً يحتفظ ببنية التدرج، مما يسهل التحليل الدقيق للتقارب.
2. توصيف صريح للمعدل: يتتبع العمل صراحةً الاعتماد على عرض النطاق $h$ والبعد $d$، ويحدد النطاقات التي يؤدي فيها تقليص عرض النطاق القياسي إلى تلاشي البواقي والنطاقات التي لا يفعل ذلك.
3. تفكيك خطأ عدم الحفظ: بالنسبة لطريقة انجراف لابلاب الأصلية، تعزل الورقة المصدر المحدد لعدم التقارب (باقي عدم تطابق المقياس) عبر تفكيك النواة الرفيقة الحادة، مما يوضح أن التقارب إلى حد السرعة الصفرية يتطلب محاذاة المقاييس الهندسية المحلية بين البيانات والنموذج.
4. ضمانات التوليد في خطوة واحدة: يتم ترجمة الحدود في الزمن المستمر إلى ضمانات للتوليد في خطوة واحدة، حيث تكون مسافة واسرتاين (Wasserstein distance) المربعة بين النموذج الحالي وخطوة صقل الانجراف الواحدة محدودة بمتوسط السرعة المتبقية الزمني.

يحافظ المؤلفون على موقف متواضع، مشيرين إلى أن المعدلات المستمدة هي متباينات غير تقاربية تعتمد على شروط انتظام وإشغال محددة، وأن التقارب في الطريقة غير المحافظة محدود بطبيعته بباقي عدم تطابق المقياس ما لم يتم وضع افتراضات هيكلية إضافية.