Records, drift, and the longest increasing subsequence of biased Gaussian random walks

ملخص تقني: الأرقام القياسية، الانحراف، وأطول متتابعة متزايدة للمسارات العشوائية الغاوسية المنحازة

بيان المشكلة
تعد مشكلة أطول متتابعة متزايدة (LIS)، التي تُدرس تقليدياً في التباديل العشوائية والمسارات العشوائية المتماثلة ذات المتوسط الصفري، من المسائل التي أرست قوانين قياس صارمة حيث ينمو طول الـ LIS المتوقع بمعدل $\sqrt{n \log n}$ (في حالة التباين المحدود) أو $n^\theta$ (في حالة الزيادات ذات الذيول الثقيلة). ومع ذلك، ظل سلوك الـ LIS للمسارات العشوائية المنحازة — وتحديداً تلك التي تمتلك انحرافاً موجباً — غير مستكشف. تدرس هذه الورقة الـ LIS للمسارات العشوائية الغاوسية ذات وحدة التباين وانحراف متوسط موجب $\mu_p$، والمُعيرة بمعلمة الانحياز $p = P(\xi > 0) \ge 1/2$. السؤال المركزي هو كيف يغير إدخال حتى انحراف بسيط في القياس التقاربي والخصائص التوزيعية للـ LIS مقارنة بالحالة المتماثلة.

المنهجية
تستخدم الدراسة نهجاً عددياً باستخدام خوارزمية "فرز الصبر" (patience sorting) لحساب طول الـ LIS ($L_n$) للمسارات العشوائية الغاوسية المنحازة.

• النموذج: يتم تعريف المسار كـ $X_k = \mu_p k + W_k$، حيث $W_k$ هو مسار عشوائي غاوسي مركزي بوحدة التباين، و $\mu_p = \Phi^{-1}(p)$ هو الانحراف المحدد بمعلمة الانحياز $p$.
• المتغيرات المرصودة: لكل تحقق، يقيس المؤلفون:
  1. طول الـ LIS $L_n(p)$.
  2. عدد الأرقام القياسية $R_n(p)$ (عدد المرات التي يسجل فيها المسار حداً أقصى جديداً).
  3. التداخل $R^{LIS}_n(p)$ (عدد أوقات الأرقام القياسية المتضمنة في LIS مستعادة).
• بروتوكول المحاكاة: أنتج المؤلفون 10,000 تحقق مستقل لأطوال مسارات $n$ تتراوح من $10^4$ إلى $10^7$ ومعلمات انحياز $p \in [0.5, 0.999]$. تم إيلاء اهتمام خاص للمنطقة القريبة من نقطة التماثل $p=1/2$ والحد القريب من الحتمية $p \to 1$.
• التحليل: تحلل الدراسة الأسات (exponents) الفعالة، المعاملات الخطية، النسب التشخيصية (مثل $R^{LIS}_n/L_n$)، والشكل التوزيعي لـ $L_n$ عبر مخططات الكم-الكم (quantile-quantile plots) والاختبارات الإحصائية (كولموغوروف-سميرنوف، الالتواء، والتفلطح).

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

1. الانتقال إلى القياس الخطي:
   على عكس الحالة المتماثلة ($p=1/2$)، حيث $E[L_n] \sim \sqrt{n \log n}$، يجد المؤلفون أنه لأي $p > 1/2$ ثابتة، ينمو متوسط طول الـ LIS خطياً مع $n$:
   $$\langle L_n(p) \rangle \sim a(p)n$$
   ينجذب الأس الفعال $\theta(p)$ بسرعة نحو 1 لجميع قيم $p > 1/2$. ويتحول الكائن ذو الصلة من الأس إلى المعامل $a(p)$، الذي يزداد بسلاسة من $0$عند$p=1/2$إلى$1$مع اقتراب$p$من$1$.

2. إحصاءات الأرقام القياسية و"هيكل الرقم القياسي":
   تثبت الورقة أن الـ LIS في نظام الانحياز يتماشى بشكل متزايد مع "هيكل الرقم القياسي" (تسلسل أوقات الأرقام القياسية).

• نمو عدد الأرقام القياسية المتوسط أيضاً يكون خطياً: $\langle R_n(p) \rangle \sim \lambda(p)n$.
• يتم تفسير المعامل $\lambda(p)$ كمياً عبر صيغة سبتزير (Spitzer's formula) لمتوسط حقبة السلم الصاعد (المعادلة 24)، وهي نتيجة معروفة للمسارات المنحازة.
• مع اقتراب $p \to 1$، يقترب كل من نسبة عناصر الـ LIS التي هي أرقام قياسية ($R^{LIS}_n/L_n$) ونسبة الأرقام القياسية المستخدمة في الـ LIS ($R^{LIS}_n/R_n$) من الوحدة، مما يشير إلى أن الـ LIS يصبح متطابقاً تقاربياً مع هيكل الرقم القياسي.

3. فائض التقلب ($a(p) - \lambda(p)$):
   من النتائج الرئيسية وجود فجوة غير صفرية بين معامل الـ LIS $a(p)$ ومعامل الرقم القياسي $\lambda(p)$. تمثل هذه الفجوة، $a(p) - \lambda(p)$، مساهمة تقلبات غير الأرقام القياسية (الاندفاعات المحلية للمسار المركزي $W_k$ بين الأرقام القياسية) في الـ LIS.

• الفجوة غير رتيبة، حيث تتلاشى عند $p=1/2$ و $p \to 1$، وتصل إلى أقصى قيمة لها $\approx 0.1$ بالقرب من $p \approx 0.6$ ($\mu_p \approx 0.25$).
• يشير هذا إلى أنه حتى في النظام الخطي، فإن الـ LIS ليس عملية أرقام قياسية بحتة؛ بل يدمج جزءاً كبيراً من خطوات غير الأرقام القياسية، خاصة عند الانحرافات المتوسطة.

4. الانتقال التوزيعي:
   يخضع التوزيع التجريبي لطول الـ LIS لانتقال حاد عند النقطة المنفردة $p=1/2$:

• عند $p=1/2$: التوزيع منحرف جهة اليمين وله ذيول ثقيلة، وهو ما يتوافق مع تقريب اللوغاريتمي الطبيعي (كما لوحظ في المسارات العشوائية المتماثلة).
• لأجل $p > 1/2$: يكون توزيع $L_n$ المعياري متوافقاً مع التقلبات الغاوسية، مما يدعم صورة المركزية (central-limit picture) للبنية الجمعية الموسعة للـ LIS في النظام الخطي.

5. الحد المنفرد عند $p=1/2$:
   النقطة المتماثلة هي حد منفرد للنظام الخطي.

• كثافة الرقم القياسي تتبع المقياس $\lambda(\mu_p) \sim 1.39 \mu_p$ للانحراف الصغير.
• معامل الـ LIS $a(\mu_p)$ يتلاشى ببطء أكثر من الخطية. النسبة $a(\mu_p)/\mu_p$ تزداد مع اقتراب $\mu_p \to 0$.
• فائض التقلب $a(\mu_p) - \lambda(\mu_p)$ لا يتبع قانون قوة واحد في النطاق الذي تم أخذ عينات منه؛ حيث تنزاح الميول المحلية في المقياس اللوغاريتمي-اللوغاريتمي، مما يشير إلى سلوك طبقة حدودية معقدة لا تستوعبها تقديرات الاندفاع بين الأرقام القياسية البسيطة.

الأهمية والنطاق
تقدم هذه الورقة أول توصيف عددي للـ LIS للمسارات العشوائية المنحازة، موضحة أن أي انحراف موجب يغير جوهرياً مقياس التحول من دون خطي ($\sqrt{n \log n}$) إلى خطي ($n$). تحدد الدراسة هيكل الرقم القياسي كبنية مهيمنة في نظام الانحياز، لكنها تقيس أيضاً المساهمة المستمرة لتقلبات غير الأرقام القياسية.

يصرح المؤلفون صراحة أنه بينما يمكن حساب معامل الرقم القياسي $\lambda(p)$ تحليلياً عبر متطابقة سبتزير، لا يتوفر حالياً تعبير مغلق للصيغة لـ معامل الـ LIS $a(p)$. المشكلة المفتوحة الأساسية المحددة هي اشتقاق $a(p)$، الأمر الذي يتطلب التوفيق بين بنية التجديد لهيكل الرقم القياسي وقيود الرتابة العالمية التي تحكم الاستكمال بين الأرقام القياسية. وتختتم الورقة بتواضع، مشيرة إلى أن الشكل التقاربي الدقيق لسلوك الانحراف الصغير لا يزال غير محلول، وأن النتائج محددة للحالات الغاوسية ذات التباين المحدود، تاركة حالات التباين اللانهائي (مثل مسار كوشي المنحاز) للدراسات المستقبلية.