Arbitrage and the Stability of AMM Price Tracking

ملخص تقني: المراجحة واستقرار تتبع الأسعار في صانعي السوق الآليين (AMM)

بيان المشكلة
تحدد صانعو السوق الآليون (AMMs) الأسعار بناءً على حالة المجمع بدلاً من سجل أوامر الحد. وبينما يشير الحدس الاقتصادي السائد إلى أن المراجحين (Arbitrageurs) سيصححون الانحرافات بين أسعار الـ AMM والأسعار المرجعية الخارجية، إلا أن الأدبيات الحالية تفتقر إلى إثبات صارم يضمن أن هذه الآلية تحقق الاستقرار على مقياس الكتلة (Block Scale). في سلاسل الكتل (Blockchains)، لا يكون تصحيح السعر مستمراً؛ بل هو عملية منفصلة، تخضع لترتيب المعاملات، والتأخير، والرسوم، والعمليات الفاشلة المحتملة. علاوة على ذلك، في أحواض السيولة المركزة، تكون فعالية التصحيح معتمدة على الحالة (State-dependent). الأبحاث الحالية إما تركز على تقريبات الوقت المستمر، أو أرباح المراجحة المنعزلة، أو مخاطر التنفيذ المحددة (مثل MEV، والتحايل الأمامي/Frontrunning) دون توحيد هذه العوامل في نموذج حلقة مغلقة يثبت بقاء خطأ التتبع مستقراً.

المنهجية
قام المؤلفون بنمذجة عملية تتبع سعر الـ AMM كمنظومة عشوائية مغلقة الحلقة تعمل على مستوى الكتلة.

1. تعريفات الحالة:

   • $P_n$: السعر اللوغاريتمي المرجعي قبل الكتلة $n$.
   • $\tilde{P}_n$: السعر اللوغاريتمي للـ AMM بعد الكتلة $n$.
   • $x_n = P_n - \tilde{P}_{n-1}$: خطأ التتبع قبل التنفيذ (الفجوة التي يراها المرجحون).
   • $z_n = P_n - \tilde{P}_n$: خطأ التتبع بعد التنفيذ.
   • تتبع الديناميكيات المعادلة $x_{n+1} = z_n + w_{n+1}$، حيث $w_n$ هو اضطراب خارجي.

2. اختزال طبقة التنفيذ:
   بدلاً من نمذجة اللعبة المعقدة للباحثين (Searchers) وترتيب المعاملات، اختزل المؤلفون طبقة التنفيذ إلى كميتين رئيسيتين:

   • سقف المنطقة الميتة ($\bar{\gamma}$): حد قابل للقياس يمثل الحد الأقصى لنطاق "عدم التداول" الناتج عن الرسوم، والانزلاق السعري، والتكاليف الثابتة.
   • التصحيح المتحقق ($C_n$): إجمالي الخفض الناجح في مقدار الخطأ الذي يتم تقديمه بواسطة الكتلة.
   • تحدد قاعدة تنفيذ متسلسلة أي المعاملات في الكتلة ستنجح بناءً على ما إذا كان الخطأ المتبقي يتجاوز نطاق المتبقي القابل للتنفيذ الخاص بالمعاملة.

3. الإطار النظري:

   • الافتراضات: يفترض النموذج وجود نواة عشوائية متجانسة زمنياً لبيئات الكتل، و"شرط تصحيح الخطأ الكبير". يفترض هذا الشرط أنه عندما تكون الفجوة كبيرة بما يكفي، هناك احتمال غير صفري ($p^*$) أن تقوم الكتلة بإزالة ما لا يقل عن جزء ($\lambda^*$) من الفجوة الزائدة.
   • الخاصية 1 (Proposition 1): تقدم حساباً صريحاً لـ "نطاق عدم التداول" وحجم المراجحة الأمثل في نموذج AMM ذو المنتج الثابت، مما يوضح كيف تخلق الرسوم والتكاليف الثابتة عتبة كمية للتصحيح المربح.
   • الخاصية 2 (Proposition 2): تثبت أن خطأ ما بعد التنفيذ محكوم بالخطأ قبل التنفيذ ناقصاً التصحيح المتحقق، مع سقف محدد بالمنطقة الميتة.

4. تحليل الاستقرار:
   استخدم المؤلفون نظرية فوستر-ليابونوف (Foster-Lyapunov theory) لتحليل سلسلة ماركوف لأخطاء التتبع. قاموا ببناء دالة ليابونوف $V(x) = e^{\alpha|x|}$ لإثبات أنه، بموجب شرط تصحيح الخطأ الكبير، يظهر النظام انجرافاً سالباً خارج مجموعة متراصة.

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

• النظرية 1 (الارغودية الهندسية - Geometric Ergodicity): بموجب الافتراضات المذكورة، تعتبر عملية خطأ التتبع $\{x_n\}$ سلسلة ماركوف "هاريس متكررة موجبة" (Positive Harris recurrent) تتقارب نحو مقياس احتمالي ثابت فريد $\pi_x$ بمعدل هندسي. يثبت هذا أن تتبع سعر الـ AMM مستقر على المدى الطويل، بشرط أن تؤدي الانحرافات الكبيرة إلى تصحيحات مراجحة موثوقة.
• الحدود الصريحة: استنتجت الورقة حدوداً صريحة من خطوة واحدة تربط جودة التتبع بالسيولة وجودة التنفيذ. وتحديداً، يعتمد معدل التقارب على حاصل ضرب كسر التصحيح ($\lambda^*$) واحتمالية التسليم ($p^*$).
• المعايرة التجريبية: باستخدام بيانات شبكة إيثيريوم الرئيسية (الكتل 16800007–16803511)، وضع المؤلفون بدائل تجريبية لمعايير النظرية:
  • بديل المنطقة الميتة ($\bar{\gamma}$): $\approx 3.82 \times 10^{-4}$.
  • حصة تصحيح الخطأ الكبير ($\hat{\lambda}^*$): 0.50.
  • احتمال التسليم ($\hat{p}^*$): 72.9%.
    وتؤكد البيانات أن الفجوات الكبيرة يتم تصحيحها بشكل أكثر تكراراً وعمقاً من الفجوات الصغيرة.
• التحقق عبر المحاكاة: تُظهر عمليات المحاكاة المختزلة المدفوعة بهذه المعايير التجريبية أن النظام يعود إلى "أنبوب التشغيل" بسرعة بعد الصدمات. وتُظهر التحليلات المقارنة أن زيادة حصة التصحيح أو احتمال التسليم يؤدي إلى تضييق التتبع، بينما يؤدي ارتفاع التكاليف الثابتة أو انخفاض السيولة إلى توسيع خطأ التتبع.

الأهمية والادعاءات
تتمثل المساهمة الأساسية للورقة في تحويل الحدس الاقتصادي البسيط القائل بأن "المراجحة توائم أسعار الـ AMM" إلى بيان استقرار كمي ذي واجهة معايرة قابلة للتطبيق.

• سد الفجوة النظرية: توفر الورقة أول نموذج عشوائي مغلق الحلقة على مقياس الكتلة يربط ديناميكيات الـ AMM، وحوافز المراجحة، وقيود التنفيذ (الرسوم، الترتيب، الفشل) لإثبات الاستقرار.
• الفائدة العملية: لا يدعي المؤلفون التحقق التجريبي الحاد للنظرية نفسها، بل يوضحون أن الكميات المطلوبة للنظرية (المنطقة الميتة، احتمال التصحيح) هي كميات يمكن ملاحظتها على السلسلة (on-chain)، وأن عمليات المحاكاة المدفوعة بهذه الكميات الملحوظة تسلك سلوكاً متسقاً مع التنبؤات النظرية.
• رؤية الآلية: من خلال مثال المنتج الثابت، توضح الورقة صراحةً كيف تحدد الرسوم، وتكاليف التنفيذ الثابتة، وعمق الاحتياطي، نطاق عدم التداول الاقتصادي وحجم الصفقة التصحيحية الأمثل، مما يوفر واجهة واضحة لتفسير كيفية تأثير السيولة والاحتكاك على استقرار السعر.

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