التحدب ولماذا هو مهم

وادٍ واحد وجواب واحد

تكون الدالة محدبة إذا كان القطعة المستقيمة بين أي نقطتين من منحناها تقع على المنحنى أو فوقه: $f(\theta\mathbf x+(1-\theta)\mathbf y)\le\theta f(\mathbf x)+(1-\theta)f(\mathbf y)$ لكل $\theta\in[0,1]$. وللدالة القابلة للاشتقاق مرتين اختبار عملي: تكون $f$ محدبة تمامًا حين يكون هسيانها شبه موجب التعريف في كل مكان أي أن كل قيمه الذاتية $\ge0$. ومجاميع الدوال المحدبة ومضاعفاتها الموجبة وأقصى عدة دوال محدبة تبقى محدبة، وبذلك تُبنى أهداف محدبة كبيرة من قطع صغيرة.

التحدب هو ما يجعل التحسين موثوقًا. فكل نهاية صغرى محلية هي نهاية صغرى عامة، ويكفي التدرج الصفري للتوقف، ولا يعتمد الجواب على نقطة بدء المحلّ. وإذا كانت الدالة محدبة تحدبًا صارمًا فالمُصغِّر وحيد أيضًا، وإذا كانت شديدة التحدب بانحناء لا يقل عن $\mu>0$ في كل اتجاه، فإن الانحدار التدريجي يتقارب بالمعدل الهندسي الذي رأيته. ومن دون التحدب لا يُضمن شيء من هذا: قد يتوقف المحلّ في وادٍ ليس الأعمق.

من الأهداف المحدبة في المالية تباين المحفظة $\mathbf w^{T}\Sigma\mathbf w$ (لأن مصفوفة التباين المشترك شبه موجبة التعريف) وخسائر المربعات الصغرى والنظيم $\ell_1$ أي $\lVert\mathbf w\rVert_1$ والعجز المتوقع (CVaR) دالةً في الأوزان. أما القيمة المعرضة للخطر وسقف عدد الأوزان غير الصفرية ونسبة شارب كما هي فليست محدبة. ومصفوفة التباين المشترك المقدّرة من ملاحظات أقل من عدد الأصول شبه موجبة التعريف لكنها منفردة، فالتباين محدب دون أن يكون صارم التحدب، وتتعادل أوزان كثيرة عند النهاية الصغرى.

• اختبار الهسيان: كل القيم الذاتية $\ge0$ في كل مكان تعني محدبة؛ وقيمة سالبة واحدة تعني غير محدبة.
• الفائدة: كل نهاية صغرى محلية عامة، فلا تهم نقطة البداية.
• اللبنات: مجاميع الدوال المحدبة ومضاعفاتها الموجبة وأقصاها تبقى محدبة.

المختبر: ما الذي يُقيَّم

• فجوة التحدب15 نقطة
• القيمة الذاتية التي تكسر التحدب15 نقطة
• أي هسيان يعني التحدب15 نقطة
• أهداف محدبة في المالية15 نقطة
• تدرج صفري10 نقطة
• مصطلحات التحدب15 نقطة
• لماذا تحب المحلّات المسائل المحدبة15 نقطة