ملخص تقني: النقل الأمثل المتحكم فيه بالنية (IC-POT)

بيان المشكلة

يفرض النقل الأمثل (OT) الكلاسيكي قيداً صارماً يقضي بضرورة نقل جميع كتلة المصدر وتفسير جميع كتلة الهدف. هذا الافتراض القائم على "المشاركة الكاملة" غالباً ما يؤدي إلى ارتباطات اصطناعية أو نقل سلبي عند مقارنة التوزيعات التي يكون فيها جزء فقط من الكتلة ذا صلة أو موثوقية.

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

المنهجية: IC-POT

يقدم المؤلفون النقل الأمثل الجزئي المتحكم فيه بالنية (IC-POT)، وهو تعميم مستهدف لـ POT يستبدل نموذج الرفض العالمي بـ تكاليف رفض نقطية على كل من مقاييس المصدر والهدف.

الصيغة الرياضية

بفرض وجود دعامات منفصلة $X = \{x_i\}$ و $Y = \{y_j\}$ مع كتل $\mu$ و $\nu$، ومصفوفة تكلفة نقل $C$، يقدم IC-POT متغيرات إضافية (slack variables) $u$ (كتلة المصدر غير المطابقة) و $v$ (كتلة الهدف غير المطابقة). مسألة الأمثلة هي:

$$\min_{P, u, v} \langle C, P \rangle + \langle c_s, u \rangle + \langle c_t, v \rangle$$

بشرط:
$$P\mathbf{1} + u = \mu, \quad P^\top\mathbf{1} + v = \nu, \quad P, u, v \geq 0$$

هنا، $c_s \in \mathbb{R}^n_+$ و $c_t \in \mathbb{R}^m_+$ هما تكاليف عدم المطابقة النقطية. وخلافاً للخصومات العالمية، تقوم هذه التكاليف بتسعير البديل المحلي لترك كتلة محددة دون مطابقة مباشرة على الدعامات الأصلية.

الخصائص الهيكلية

يستعرض البحث عدة خصائص نظرية رئيسية:

1. صيغة لاغرانج المختزلة: المسألة مكافئة لتقليل $\sum_{i,j} (C_{ij} - c_s(i) - c_t(j))P_{ij}$ عبر الارتباطات الفرعية، مما يستبدل الخصم القياسي لـ POT الكلاسيكي بخصم نقطي قابل للفصل.
2. التفسير المزدوج: تكشف الصيغة المزدوجة أن $c_s(i)$ و $c_t(j)$ يعملان كـ عتبات قبول محلية (سقوف) للمتغيرات المزدوجة. يتم رفض النقطة إذا وصل متغيرها المزدوج إلى هذا السقف.
3. القابلية والندرة: يمكن أن يكون الحرف $(i, j)$ نشطاً في خطة النقل الأمثل فقط إذا كان $C_{ij} \leq c_s(i) + c_t(j)$. يوفر هذا قاعدة دقيقة للحساب المسبق لتقليم رسم بياني للنقل، مما يضمن الندرة بناءً على تكاليف الرفض المحددة.
4. تكافؤ الدعم الموسع: يمكن إعادة صياغة IC-POT كمسألة OT متوازنة قياسية على دعم موسع (إضافة نقطة وهمية لكل هامش)، مما يثبت سلامة المسألة ضمن إطار OT المنفصل.

المساهمات الرئيسية

يدعي البحث ثلاث مساهمات رئيسية:

1. النمذجة الصريحة للسلوك غير المتطابق: جعل سياسة عدم المطابقة موضوعاً صريحاً في الصيغة عبر متغيرات الإضافة على الدعامات الأصلية، بدلاً من كونها نتيجة ضمنية للقيود العالمية.
2. التوصيف النظري: توصيف المسألة كتعميم لـ POT الجزئي ذي الخصم النقطي القابل للفصل، وتحديد سقوف مزدوجة، وقواعد قبول نادرة، والتمييز الصارم عن POT ذي التكلفة الثابتة (عبر أمثلة مضادة حيث تكسر التكاليف النقطية التماثلات التي تحفظها القواعد الموحدة).
3. التحقق التجريبي: إثبات أن دمج قواعد الرفض النقطية المدفوعة بمعلومات جانبية يحسن الأداء في المهام التي يكون فيها الرفض مهيكلاً، وتحديداً في التعلم من العينات الموجبة وغير الملصقة (PU)، وتكيف النطاق الجزئي المفتوح (OPDA)، ومقارنة الإشارات الجيوفيزيائية.

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

1. التعلم من العينات الموجبة وغير الملصقة (PU Learning)

في تعلم PU، الهدف هو مطابقة العينات الموجبة الموسومة مقابل مجموعة غير ملصقة تحتوي على عينات موجبة كامنة وسلبيات.

• الإعداد: يحاكي المؤلفون سيناريوهات "الاختيار العشوائي" (SAR) حيث تكون العينات الموجبة غير مرصودة بشكل كافٍ في مناطق معينة (الأطراف) بسبب انحياز المعاينة المعتمد على المتغيرات التوضيحية.
• النتيجة: يفشل نموذج POT الأساسي ذو التكلفة الثابتة (الرفض الموحد) في حماية هذه المناطق الطرفية ضعيفة الملاحظة، حيث يعاملها كعينات سالبة. أما IC-POT، باستخدام ملف تكلفة من جانب المصدر يشفر انحياز المعاينة (مما يجعل الرفض مكلفاً في الأطراف ضعيفة الملاحظة)، فقد تفوق بشكل كبير على النموذج الأساسي.
• المقاييس: في الأنظمة غير المتجانسة، حقق IC-POT درجة F1 بلغت 0.86 مقارنة بـ 0.52 للنموذج الأساسي ذي التكلفة الثابتة.

2. تكيف النطاق الجزئي المفتوح (OPDA)

في OPDA، يحتوي النطاق المستهدف على فئات غير معروفة يجب رفضها.

• الإعداد: باستخدام هيكل استخلاص (distillation) ثابت من CLIP، قام المؤلفون بتعديل طبقة الرفض النهائية فقط. قارنوا بين نموذج partial-W الموحد وبين نسختين من IC-POT: إحداهما تستخدم الاعتلاج البعدي (لحماية العينات ذات الاعتلاج المنخفض) والأخرى تستخدم دعم النماذج الأولية (لحماية العينات ذات الاتفاق المحلي المتماسك).
• النتيجة: حقق كلا متغيري IC-POT تحسناً على النموذج الموحد عبر مجموعات بيانات متعددة (Office-31, Office-Home, VisDA, DomainNet). حقق متغير دعم النماذج الأولية أعلى المكاسب في مجموعات البيانات ذات التماسك المحلي (مثلاً 95.12 H-score على Office-31 مقابل 94.08 لـ partial-W).
• الاستنتاج: تشير النتائج إلى أنه بمجرد تثبيت التمثيل، تعتمد مكاسب الأداء على نمذجة الرفض كسياسة تعتمد على البنية بدلاً من قاعدة قياسية موحدة.

3. دراسة حالة جيوفيزيائية: أطياف أمواج المحيط (SWIM/SAR)

تعالج هذه التجربة مقارنة أطياف أمواج المحيط المسترجعة من مستشعرين مختلفين (SWIM و SAR) بخصائص متباينة.

• السياق: تعاني أطياف SAR من "قطع سمتي" (إزاحة الطاقة)، بينما تعاني أطياف SWIM من "النمش" (Speckle) (قطاعات اتجاهية غير موثوقة). الهدف هو مقارنة الأنظمة الموجية المتسقة فيزيائياً فقط.
• الطريقة: يستخدم IC-POT تكاليف خاصة بالجانب مشتقة من مقدمات فيزيائية: حماية كتلة SAR المزاحة بفعل القطع (إذا كانت مدعومة من SWIM) مع تعريض الكتلة التي يهيمن عليها النمش أو غير المدعومة للرفض.
• النتيجة: استعاد IC-POT طاقة موجية (0.993) مماثلة للنموذج العالمي عالي السعر، ولكنه قلل من النقل الزائف بمقدار 7 أضعاف (0.031 مقابل 0.236).
• الأهمية: على عكس القاعدة القياسية التي تفرض مقايضة بين استعادة الأنظمة المشتركة ورفض العيوب، يسمح IC-POT بتعريف سياسة الرفض بناءً على الطبيعة الفيزيائية للبيانات نفسها.

الأهمية والقيود

يجادل البحث بأن IC-POT مهم لأنه ينقل النموذج من "كم يجب أن نرفض" إلى "ماذا يجب أن نرفض". ومن خلال جعل سياسة عدم المطابقة متغيراً نقطياً صريحاً، فإنه يسمح للمعلومات الجانبية (انحياز المعاينة، الثقة، المقدمات الفيزيائية) بتوجيه خطة النقل مباشرة.

القيود التي أقر بها المؤلفون:

• التحديد: يجب على المستخدم تحديد دوال عدم المطابقة ($c_s, c_t$) بناءً على المعلومات الجانبية المتاحة أو التشخيصات. لا يقترح البحث طريقة لتعلم هذه الدوال تلقائياً من البيانات، وإن كان يقترح ذلك كتوجه مستقبلي (مثلاً عبر التحسين ثنائي المستوى).
• القابلية للتوسع: بينما يعتبر الحل المتفرغ (sparse solver) دقيقاً، قد تتطلب التطبيقات واسعة النطاق المزيد من التقريبات.
• التنظيم (Regularization): لاحظ المؤلفون أن تنظيم الإنتروبيا القياسي (Sinkhorn) لا ينطبق مباشرة على صيغة الدعم الموسع دون تغيير الهدف (مما يؤدي إلى انحياز في إجمالي الكتلة المنقولة) أو خلق عدم توافق في المقاييس بين النقاط الوهمية والحقيقية. لذا، فإن IC-POT ليس بديلاً مباشراً لمحركات حل OT التي تعتمد على الإنتروبيا.

في الختام، يوفر IC-POT إطاراً مرناً للرفض المهيكل في النقل الأمثل، مبرهناً على أن ترميز المعلومات الجانبية في تكاليف الرفض النقطية يؤدي إلى أداء متفوق في المهام التي يكون فيها قرار "عدم المطابقة" غير موحد بطبيعته.