On the optimality of coin-betting for mean estimation

ملخص تقني: حول مثالية المراهنة بالعملة لتقدير المتوسط

بيان المشكلة
تتناول الورقة مشكلة الاختبار المتسلسل لمتوسط متغير عشوائي محدود وبناء فترات الثقة المتسلسلة. وبينما استخدمت النهج الخوارزمية الحديثة ألعاب "المراهنة بالعملة" (coin-betting) لاشتقاق فترات ثقة متسلسلة محكمة للمتغيرات المحدودة (Orabona and Jun, 2023; Waudby-Smith and Ramdas, 2023)، إلا أن التبرير النظري لسبب كون هذه الصيغة المحددة مثالية قد اعتمد إلى حد كبير على الحجج الاستكشافية. تسعى الورقة إلى صياغة رسمية دقيقة للادعاء بأن نهج المراهنة بالعملة يقدم أقوى الضمانات الممكنة بين جميع أطر العمل القائمة على متغيرات الـ e (e-variables) لهذا الاختبار المحدد.

المنهجية والإطار
يقدم المؤلف منظورًا جديدًا للمثالية في سياق متغيرات الـ e وعمليات الـ e (e-processes). فبدلاً من التركيز على مثالية متغير e واحد (مثل المثالية اللوغاريتمية ضد بديل معين)، تُعرف الورقة المثالية على مستوى مجموعات متغيرات الـ e (e-classes).

تشمل التعريفات الرئيسية ما يلي:

• فئة الـ e المهيمنة (Majorising e-class): تهيمن الفئة $\mathcal{E}$ على الفئة $\mathcal{E}'$ إذا كان لكل $E' \in \mathcal{E}'$ يوجد $E \in \mathcal{E}$ يهيمن على $E'$ نقطيًا (أي $E(x) \geq E'(x)$ لكل $x$).
• فئة الـ e المثالية (Optimal e-class): هي الفئة المهيمنة التي تقع ضمن كل فئة مهيمنة أخرى. وإذا وُجدت، فهي تقابل مجموعة جميع متغيرات الـ e القصوى (تلك التي لا يهيمن عليها أي متغير e آخر بشكل صارم).
• الارتباط بالقابلية للقبول (Admissibility Connection): تشير الورقة إلى أن هذا الإطار هو تكييف لمشكلة إحصائية كلاسيكية تتمثل في تحديد فئة كاملة دنيا من الاختبارات (Lehmann and Romano, 2022)، حيث تقابل متغيرات الـ e القصوى الاختبارات القابلة للقبول.

يسير التحليل عبر ثلاث مراحل:

1. متغيرات الـ e أحادية الجولة: اختبار الفرضيات حيث تكون الملاحظات مستقلة ومتماثلة التوزيع (i.i-d) مع متوسط ثابت.
2. متغيرات الـ e متعددة الجولات: اختبار الفرضيات عبر أفق زمني ثابت $T$ حيث يكون المتوسط الشرطي ثابتًا، ولكن مع السماح بوجود تبعية بين الملاحظات.
3. عمليات الـ e (E-processes): توسيع النتائج إلى الاختبار المتسلسل تحت أوقات توقف تعسفية تحت فرضية المتوسط الشرطي الثابت.

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

1. المثالية لمتغيرات الـ e أحادية الجولة (Theorem 1):
   بالنسبة للفرضية $H_\mu$ التي تفترض أن توزيعًا على $[0, 1]$ له متوسط $\mu$، تثبت الورقة أن فئة المراهنة بالعملة $\mathcal{E}^{cb}_\mu = \{x \mapsto 1 + \beta(x-\mu) : \beta \in [(\mu-1)^{-1}, \mu^{-1}]\}$ هي فئة الـ e المثالية والوحيدة.

• مخطط الإثبات: يقوم المؤلف ببناء دالة $F_\mu$ تهيمن نقطيًا على جميع متغيرات الـ e الصالحة. ويُظهر أنه أي متغير e ليس ضمن فئة المراهنة بالعملة يتم الهيمنة عليه بشكل صارم بواسطة عنصر داخل فئة المراهنة بالعملة. وعلى العكس من ذلك، فإن كل عنصر في فئة المراهنة بالعملة هو عنصر أقصى.
• الآثار المترتبة: إن تقييد اللاعب بفئة المراهنة بالعملة لا يضحي بالقوة الإحصائية؛ إذ يمكن مضاهاة أو التفوق على أي استراتيجية تستخدم متغير e عام باستخدام استراتيجية تستخدم متغير e من فئة المراهنة بالعملة.

2. المثالية لمتغيرات الـ e متعددة الجولات (Theorem 2):
   عند اختبار الفرضية $H^T_\mu$ التي تفترض أن تسلسلًا بطول $T$ له متوسط شرطي ثابت $\mu$ (مع السماح بهياكل تبعية تعسفية)، فإن فئة متغيرات ال-e للمراهنة بالعملة ذات $T$ جولة (حاصل ضرب دالات المراهنة بالعملة أحادية الجولة) هي فئة الـ e المثالية.

• ملاحظة: تسري هذه النتيجة للمتوسطات الشرطية الثابتة، ولكنها تفشل إذا تم تقييد الفرضية لتكون للملاحظات مستقلة ومتماثلة التوزيع (i.i.d). توضح الورقة أنه بالنسبة لفرضيات الـ i.i.d، فإن مجموعة متغيرات الـ e القصوى أكبر بصرامة من المجموعة الناتجة عن المراهنة بالعملة، مما يعني أن المراهنة بالعملة ليست مثالية في حالة الـ i.i.d.

3. المثالية لعمليات الـ e (Theorem 3):
   عند التوسع إلى إطار عمليات الـ e (العمليات الصالحة لأي وقت توقف) تحت فرضية المتوسط الشرطي الثابت، يُثبت أن فئة عمليات الـ e للمراهنة بالعملة (تسلسلات عمليات الثروة المشتقة من المراهنة بالعملة) هي فئة عمليات الـ e المثالية.

الأهمية والادعاءات
تدعي الورقة أنها تقدم أول توصيف دقيق لمثالية صيغة المراهنة بالعملة. وتتمثل مساهماتها الرئيسية في:

• التوصيف الصريح: توفر النتائج وصفًا مباشرًا وصريحًا لمجموعة جميع متغيرات الـ e وعمليات الـ e الصالحة لاختبار (المتوسط الشرطي) لمتغير عشوائي محدود. وتحديدًا، أي متغير e/عملية e صالحة هي تلك التي تهيمن عليها فئة المراهنة بالعملة.
• التبرير النظري: تنتقل الورقة من الحجج الاستكشافية (مثل خاصية "الدقة" حيث تساوي التوقعات 1) إلى إثبات أن فئة المراهنة بالعملة تشكل فئة كاملة دنيا من الاختبارات.
• التبسيط الاستراتيجي: من خلال تحديد فئة الـ e المثالية، يسهل الإطار تصميم استراتيجيات الاختبار. فعلى سبيل المثال، يبرر استخدام تقنيات التجميع البايزي (مثل المحافظ العالمية - universal portfolios) بدلاً من الفضاء البارامتري منخفض الأبعاد لاستراتيجيات المراهنة بالعملة، مما يضمن عدم فقدان أي قوة إحصائية من خلال تقليص مساحة البحث إلى هذه الفئة.
• التمييز عن الأعمال السابقة: يميز المؤلف هذا العمل عن التوصيفات الأخيرة لمتغيرات الـ e للقيود الخطية (Clerico, 2024; Larsson et al., 2025). فبينما تقتضي تلك الأعمال ضمنيًا نتيجة الجولة الواحدة، تجادل الورقة بأن نهجها أكثر مباشرة ومصمم خصيصًا لهذا السياق، حيث توفر الحدس عبر الحجج الهندسية (الموضحة في الشكل 1). علاوة على ذلك، توسع هذه الورقة التوصيف ليشمل عمليات الـ e ومتغيرات الجولات المتعددة، وهو ما لا تعالجه الأعمال المستشهد بها بالكامل في هذا السياق المحدد.

القيود والنطاق
تشير الورقة صراحةً إلى أن مثالية المراهنة بالعملة لا تتحقق تحت فرضية الـ i.i.d الأكثر صرامة، حيث تكون مجموعة متغيرات الـ e القصوى أكبر. بالإضافة إلى ذلك، تركز الورقة على تعريف الفئة المثالية لمتغيرات الـ e بدلاً من تصميم استراتيجيات مراهنة محددة، تاركة بناء الاستراتيجيات الملموسة للأدبيات الموجودة (Orabona and Jun, 2023; Waudby-Smith and Ramdas, 2023). كما أن النتائج مقدمة للمتغيرات في $[0, 1]$ ولكن يُذكر أنها تمتد لأي مجموعة حقيقية مغلقة ومحدودة.