We consider integer-valued random walks with independent but not identically distributed increments, and extend to this context several classical estimates, including a local limit theorem, precise small-ball estimates (both conditional on the final point and unconditional), and bounds on the probability that the random walk trajectory remains positive up to a given time (again, both conditional on the final point and unconditional). Two key features of this work are that the bounds are non-asymptotic, holding true for finite time horizons, and, crucially, that the latter hold uniformly over an entire class of admissible increment sequences. This provides a robust framework for applications. These results are, in particular, tailored for the analysis of processes derived through a time-dependent tilting of the increments of a time-homogeneous random walk.
معرّف الورقة : 2511.09274العنوان : تقديرات المسار ذات الوقت المحدود للمسارات العشوائية غير المتجانسةالمؤلفون : سيباستيان أوت (EPFL، لوزان)، إيفان فيلينيك (جامعة جنيف)التصنيفات : math.PR (نظرية الاحتمالات)، cond-mat.stat-mech (الميكانيكا الإحصائية)، math-ph (الفيزياء الرياضية)، math.MP (الفيزياء الرياضية)تاريخ النشر : 13 نوفمبر 2025رابط الورقة : https://arxiv.org/abs/2511.09274v1 تدرس هذه الورقة المسارات العشوائية ذات القيم الصحيحة التي تحتوي على زيادات مستقلة لكن غير متطابقة التوزيع، وتوسع عدة تقديرات كلاسيكية إلى هذا الإطار، بما في ذلك نظرية الحد المحلي، تقديرات احتمالية الكرة الصغيرة الدقيقة (الشرطية وغير الشرطية)، وحدود احتمالية بقاء مسار المسار العشوائي موجباً خلال وقت معين (في الحالات الشرطية وغير الشرطية على حد سواء). تتمثل خاصيتان رئيسيتان لهذا العمل في: (1) الحدود غير متقاربة وتصح لنطاقات زمنية محدودة؛ (2) هذه الحدود تصح بشكل موحد على فئة كاملة من تسلسلات الزيادات المسموحة. يوفر هذا إطار عمل قوي للتطبيقات. تنطبق هذه النتائج بشكل خاص على تحليل العمليات المشتقة من المسارات العشوائية المتجانسة زمنياً من خلال الانحراف المعتمد على الزمن.
المشكلة الأساسية : بالنسبة للمسارات العشوائية الكلاسيكية المستقلة والموزعة بشكل متطابق (i.i.d)، توجد تقديرات دقيقة وفيرة حول خصائص المسار، مثل نظرية الحد المحلي، احتمالية الكرة الصغيرة، احتمالية الإيجابية، وغيرها. ومع ذلك، في العديد من التطبيقات (خاصة في الفيزياء الإحصائية ونظرية الاحتمالات)، يكون من الضروري النظر في المسارات العشوائية غير المتجانسة زمنياً ، أي الزيادات التي تكون مستقلة لكن غير موزعة بشكل متطابق.الدافع التطبيقي : أحد سيناريوهات التطبيق المهمة هو الانحراف الأسي (exponential tilting) . بالنظر إلى الزيادات المستقلة والموزعة بشكل متطابق ( X k ) (X_k) ( X k ) ، يمكن تعريف توزيع زيادة جديد من خلال معاملات تعتمد على الزمن t k ∈ [ a , b ] t_k \in [a,b] t k ∈ [ a , b ] :
P ( X ^ k = ℓ ) = e t k ℓ E ( e t k X k ) P ( X k = ℓ ) P(\hat{X}_k = \ell) = \frac{e^{t_k\ell}}{E(e^{t_kX_k})} P(X_k = \ell) P ( X ^ k = ℓ ) = E ( e t k X k ) e t k ℓ P ( X k = ℓ )
يكسر هذا الانحراف خاصية التوزيع المتطابق للزيادات، لكنه يحافظ على الاستقلالية.قيود الطرق الموجودة :تركز الأدبيات الموجودة 3 على السلوك المقارب (n → ∞ n \to \infty n → ∞ ) للمسارات العشوائية غير المتجانسة زمنياً، مما يوفر تقديرات حادة لتسلسلات زيادات ثابتة لكن التطبيقات غالباً ما تتطلب تقديرات ذات وقت محدود ، مع الحاجة إلى أن تكون موحدة على فئة الزيادات المسموحة بأكملها لا يمكن تطبيق الطرق الكلاسيكية i.i.d (مثل نظرية التجديد وتقنيات الاقتران) بشكل مباشر يتمثل الدافع الأساسي للورقة في ملء هذه الفجوة: توفير تقديرات مسار غير متقاربة وموحدة الفعالية للمسارات العشوائية غير المتجانسة زمنياً. يؤكد المؤلفون على:
عدم السعي للحصول على ثوابت مقاربة حادة، بل الاكتفاء بحدود عليا وسفلى تختلف بعامل ثابت التركيز على توحيد التقديرات لـ n n n محدود وفئة الزيادات بأكملها الهدف هو توفير أدوات "جاهزة للاستخدام" يسهل دمجها في أبحاث أخرى تذكر الورقة تطبيقين مباشرين:
6 : دراسة المسارات العشوائية أحادية البعد المقيدة بعوائق محدبة كبيرة4 : تحليل نموذج فعال للبوليمرات المعلقة في مجال جذبتتضمن المساهمات الرئيسية للورقة:
نظرية الحد المحلي (Local Limit Theorem, LLT) :بالنسبة للمسارات العشوائية ذات القيم Z \mathbb{Z} Z غير المتجانسة زمنياً، توفر تقريباً غاوسياً دقيقاً على المنطقة الغاوسية بأكملها (∣ y − E ( S n ) ∣ ≤ n α |y - E(S_n)| \leq n^\alpha ∣ y − E ( S n ) ∣ ≤ n α , α < 2 / 3 \alpha < 2/3 α < 2/3 ) حد الخطأ هو exp ( − C n − min ( 2 − 3 α , 1 / 3 ) ) \exp(-Cn^{-\min(2-3\alpha, 1/3)}) exp ( − C n − m i n ( 2 − 3 α , 1/3 ) ) تقديرات احتمالية الإيجابية :نقطة نهاية حرة : بالنسبة لـ τ = min { k ≥ 1 : S k < 0 } \tau = \min\{k \geq 1: S_k < 0\} τ = min { k ≥ 1 : S k < 0 } ، توفر حدود عليا وسفلى لـ P u ( τ > n ) P_u(\tau > n) P u ( τ > n ) بالشكل c ( u + 1 ) n \frac{c(u+1)}{\sqrt{n}} n c ( u + 1 ) نقطة نهاية ثابتة (جسر) : تحت الشرط S n = v S_n = v S n = v ، توفر تقديراً دقيقاً لـ P u ( min i = 1 , … , n S i ≥ 0 , S n = v ) P_u(\min_{i=1,\ldots,n} S_i \geq 0, S_n = v) P u ( min i = 1 , … , n S i ≥ 0 , S n = v ) ، يتضمن الاعتماد على نقاط النهاية والزمنتقديرات احتمالية الكرة الصغيرة :نقطة نهاية حرة : تقدر معدل الاضمحلال الأسي لـ P 0 ( max i = 1 , … , n ∣ S i ∣ ≤ λ ) P_0(\max_{i=1,\ldots,n} |S_i| \leq \lambda) P 0 ( max i = 1 , … , n ∣ S i ∣ ≤ λ ) بـ e − c n / λ 2 e^{-cn/\lambda^2} e − c n / λ 2 حالة الجسر : تحت الشرط على نقطة النهاية S n = x S_n = x S n = x ، توفر تقديراً أكثر دقة، مع التمييز بين مقياسين λ ≤ n \lambda \leq \sqrt{n} λ ≤ n و λ ≥ n \lambda \geq \sqrt{n} λ ≥ n تقديرات احتمالية الذيل :تقدر احتمالية الذيل للتوزيع الهامشي أحادي الزمن للجسر بالشكل 1 t n e − c t 2 \frac{1}{t\sqrt{n}} e^{-ct^2} t n 1 e − c t 2 ضمانات التوحيد :جميع التقديرات تصح بشكل موحد على فئة تسلسلات الزيادات التي تستوفي "افتراضات التوحيد" (انظر القسم 2) هذا أمر حاسم للتعامل مع المسارات العشوائية المنحرفة الإعداد الأساسي :
نعتبر مساراً عشوائياً ذا قيم Z \mathbb{Z} Z بـ ( S n ) n ≥ 0 (S_n)_{n \geq 0} ( S n ) n ≥ 0 ، حيث S 0 = u S_0 = u S 0 = u ، S n = S n − 1 + X n S_n = S_{n-1} + X_n S n = S n − 1 + X n الزيادات ( X k ) k ≥ 1 (X_k)_{k \geq 1} ( X k ) k ≥ 1 مستقلة لكن غير موزعة بشكل متطابق نقدم مساراً مركزياً: X ˉ k = X k − E ( X k ) \bar{X}_k = X_k - E(X_k) X ˉ k = X k − E ( X k ) ، S ˉ n = S 0 + ∑ k = 1 n X ˉ k \bar{S}_n = S_0 + \sum_{k=1}^n \bar{X}_k S ˉ n = S 0 + ∑ k = 1 n X ˉ k الترميز: m n = E ( S n ) m_n = E(S_n) m n = E ( S n ) ، B n = Var ( S n ) = ∑ i = 1 n Var ( X i ) B_n = \text{Var}(S_n) = \sum_{i=1}^n \text{Var}(X_i) B n = Var ( S n ) = ∑ i = 1 n Var ( X i ) افتراضات التوحيد (للمسارات العشوائية ذات القيم الصحيحة):
نعرّف مجموعة التدابير الاحتمالية
M δ , c a = { p ∈ M Z : sup ∣ t ∣ ≤ δ ∑ n ∈ Z p ( n ) e t n ≤ c , p ( i ) ≥ a i ∀ i ∈ Z } \mathcal{M}^a_{\delta,c} = \left\{p \in \mathcal{M}_{\mathbb{Z}}: \sup_{|t| \leq \delta} \sum_{n \in \mathbb{Z}} p(n)e^{tn} \leq c, \, p(i) \geq a_i \, \forall i \in \mathbb{Z}\right\} M δ , c a = { p ∈ M Z : sup ∣ t ∣ ≤ δ ∑ n ∈ Z p ( n ) e t n ≤ c , p ( i ) ≥ a i ∀ i ∈ Z }
حيث a ∈ [ 0 , 1 ] Z a \in [0,1]^{\mathbb{Z}} a ∈ [ 0 , 1 ] Z هو تسلسل غير دوري وغير قابل للاختزال. هذا يضمن:
لحظات أسية محدودة حد أدنى موحد للتباين: 0 < σ − 2 ≤ Var p ( X ) ≤ σ + 2 < ∞ 0 < \sigma_-^2 \leq \text{Var}_p(X) \leq \sigma_+^2 < \infty 0 < σ − 2 ≤ Var p ( X ) ≤ σ + 2 < ∞ الأساس التقني :
نظرية الحد المركزي غير المتجانسة (Theorem 3.1) : بناءً على حدود نوع Berry-Esseen، الخطأ هو O ( A n / B n 3 / 2 ) O(An/B_n^{3/2}) O ( A n / B n 3/2 ) عدم المساواة Doob martingale : استخدام ( S i ) (S_i) ( S i ) كـ martingale تحت الزيادات المركزيةاستراتيجية إثبات احتمالية الكرة الصغيرة (Lemma 3.3, 3.4):
الحد الأدنى : استخدام تقنية الحبيبات الخشنة (coarse-graining)تقسيم الزمن [ 0 , n ] [0,n] [ 0 , n ] إلى ℓ = ⌊ n ( ϵ λ ) − 2 ⌋ \ell = \lfloor n(\epsilon\lambda)^{-2} \rfloor ℓ = ⌊ n ( ϵ λ ) − 2 ⌋ قطعة، كل قطعة بطول حوالي ( ϵ λ ) 2 (\epsilon\lambda)^2 ( ϵ λ ) 2 فرض المسار للمرور عبر الفترة [ − λ / 2 , λ / 2 ] [-\lambda/2, \lambda/2] [ − λ /2 , λ /2 ] في كل نقطة زمنية L i L_i L i استخدام CLT لضمان أن احتمالية الانتقال في كل قطعة له حد أدنى ثابت الضرب عبر الاستقلالية للحصول على حد أدنى e − c n / λ 2 e^{-cn/\lambda^2} e − c n / λ 2 الحد الأعلى : تقسيم مماثل، لكن استخدام CLT لضمان أن المسار يبقى في [ − λ , λ ] [-\lambda, \lambda] [ − λ , λ ] باحتمالية صغيرة أسياًاستراتيجية إثبات احتمالية الإيجابية (Lemma 3.6, 3.8):
تقنية القطع (Lemma 3.5): بالنسبة للمتغيرات العشوائية ذات اللحظة الرابعة، بناء نسخة مقطوعة Y Y Y بحيث ∣ Y ∣ ≤ ( A + 1 ) K |Y| \leq (A+1)K ∣ Y ∣ ≤ ( A + 1 ) K ، و P ( X ≠ Y ) ≤ ( A + 1 ) / K α P(X \neq Y) \leq (A+1)/K^\alpha P ( X = Y ) ≤ ( A + 1 ) / K α الحد الأدنى (Lemma 3.6):استخدام نظرية التوقف الاختياري (optional stopping theorem):
u = E u ( S τ ∧ n ) = P u ( τ > n ) E u ( S n ∣ τ > n ) + E u ( S τ 1 τ ≤ n ) u = E_u(S_{\tau \wedge n}) = P_u(\tau > n)E_u(S_n | \tau > n) + E_u(S_\tau 1_{\tau \leq n}) u = E u ( S τ ∧ n ) = P u ( τ > n ) E u ( S n ∣ τ > n ) + E u ( S τ 1 τ ≤ n ) النقطة الرئيسية: إثبات E u ( S n ∣ τ > n ) ≤ C n E_u(S_n | \tau > n) \leq C\sqrt{n} E u ( S n ∣ τ > n ) ≤ C n (Lemma 3.7) من خلال إدخال τ ′ = min { k : S k ≥ C n } \tau' = \min\{k: S_k \geq C\sqrt{n}\} τ ′ = min { k : S k ≥ C n } ، استخدام خاصية martingale وتقديرات اللحظات الحد الأعلى (Lemma 3.8):أولاً إثبات أنه بالنسبة لـ u ≥ n 1 / 4 u \geq n^{1/4} u ≥ n 1/4 ، لدينا P u ( τ > n ) ≤ C u / n P_u(\tau > n) \leq Cu/\sqrt{n} P u ( τ > n ) ≤ C u / n (استخدام نظرية التوقف الاختياري والحد الأدنى) ثم توسيع التقدير إلى جميع u ≥ 0 u \geq 0 u ≥ 0 من خلال الاستقراء والخاصية Markovian الليمما الرئيسية: P u ( τ = n ) ≤ c ( u + 1 ) / n 3 / 2 − ϵ P_u(\tau = n) \leq c(u+1)/n^{3/2-\epsilon} P u ( τ = n ) ≤ c ( u + 1 ) / n 3/2 − ϵ (Claim 3) هذه هي الأداة الأساسية للانتقال من تقديرات نقطة النهاية الحرة إلى تقديرات الجسر.
استراتيجية الإثبات :
استخدام الانحراف الأسي : بالنسبة لـ y y y معطى، اختيار λ \lambda λ بحيث H n ′ ( λ ) = y H'_n(\lambda) = y H n ′ ( λ ) = y ، حيث H n ( λ ) = ∑ i = 1 n ln E ( e λ X i ) H_n(\lambda) = \sum_{i=1}^n \ln E(e^{\lambda X_i}) H n ( λ ) = ∑ i = 1 n ln E ( e λ X i ) الهوية الرئيسية:
P ( S n = y ) = e H n ( λ ) − λ y P ( S n λ = y ) P(S_n = y) = e^{H_n(\lambda) - \lambda y} P(S_n^\lambda = y) P ( S n = y ) = e H n ( λ ) − λ y P ( S n λ = y )
حيث S n λ S_n^\lambda S n λ هو المسار العشوائي المنحرف عكس Fourier :
P ( S n λ = y ) = 1 2 π ∫ − π π d θ e − i θ y M n ( λ + i θ ) M n ( λ ) P(S_n^\lambda = y) = \frac{1}{2\pi} \int_{-\pi}^\pi d\theta \, e^{-i\theta y} \frac{M_n(\lambda + i\theta)}{M_n(\lambda)} P ( S n λ = y ) = 2 π 1 ∫ − π π d θ e − i θ y M n ( λ ) M n ( λ + i θ ) تحليل التكامل : تقسيم التكامل إلى ثلاثة أجزاءI ϵ I_\epsilon I ϵ (∣ θ ∣ < n − 1 / 2 + ϵ |\theta| < n^{-1/2+\epsilon} ∣ θ ∣ < n − 1/2 + ϵ ): الحد الرئيسي، استخدام توسع Taylor من الدرجة الثانيةI ϵ , δ I_{\epsilon,\delta} I ϵ , δ (n − 1 / 2 + ϵ ≤ ∣ θ ∣ < δ n^{-1/2+\epsilon} \leq |\theta| < \delta n − 1/2 + ϵ ≤ ∣ θ ∣ < δ ): استخدام الاضمحلال من نوع غاوسيI δ I_\delta I δ (δ ≤ ∣ θ ∣ ≤ π \delta \leq |\theta| \leq \pi δ ≤ ∣ θ ∣ ≤ π ): استخدام عدم الدورية للحصول على اضمحلال أسيالتحكم في الخطأ : التحكم في بقية Taylor من خلال صيغة Cauchy التكاملية، الخطأ النهائي هو e − C n − min ( 2 − 3 α , 1 / 3 ) e^{-Cn^{-\min(2-3\alpha, 1/3)}} e − C n − m i n ( 2 − 3 α , 1/3 ) الابتكار التقني :
تقدير الحبيبات الخشنة (Lemma 5.1):إثبات أن احتمالية انحراف المسار عن الهيكل المحدب [ 0 , x ] [0,x] [ 0 , x ] بمسافة K K K له اضمحلال أسي استخدام تقديرات الانحراف الكبير (Lemma 2.1) ليمما التبديل الغاوسي (Lemma 5.2):تحت التحكم في قيود الزيادات، يمكن مقارنة احتمالية المسار العشوائي المنفصل مع احتمالية المسار الغاوسي المقابل عامل الخطأ هو e ± c ( L i − L i − 1 ) − β e^{\pm c(L_i - L_{i-1})^{-\beta}} e ± c ( L i − L i − 1 ) − β ، حيث β = min ( 1 / 3 , 2 − 3 α ′ ) \beta = \min(1/3, 2-3\alpha') β = min ( 1/3 , 2 − 3 α ′ ) النتيجة الدقيقة للحالة الغاوسية (Theorem 5.3):بالنسبة للمسار العشوائي الغاوسي، يتضمن الحد الأدنى لاحتمالية الكرة الصغيرة دالة Jacobi Theta :
Θ J ( z ) = ∑ k ∈ Z ( − 1 ) k e − 2 z 2 k 2 \Theta_J(z) = \sum_{k \in \mathbb{Z}} (-1)^k e^{-2z^2k^2} Θ J ( z ) = ∑ k ∈ Z ( − 1 ) k e − 2 z 2 k 2 عندما z → 0 z \to 0 z → 0 ، Θ J ( z ) ∼ exp ( − π 2 / ( 8 z 2 ) ) \Theta_J(z) \sim \exp(-\pi^2/(8z^2)) Θ J ( z ) ∼ exp ( − π 2 / ( 8 z 2 )) الاستراتيجية المركبة :تقسيم الزمن من خلال الحبيبات الخشنة استخدام التبديل الغاوسي في كل قطعة للتقريب استخدام النتيجة الدقيقة للحالة الغاوسية التحكم في سلوك المسار بين نقاط التقسيم استراتيجية الإثبات :
تصنيف الحالات : حسب العلاقة بين u , v u, v u , v و n \sqrt{n} n تقسيم إلى ثلاث حالاتu , v ∈ [ n , n α ] u, v \in [\sqrt{n}, n^\alpha] u , v ∈ [ n , n α ] : استخدام مباشر لـ Theorem 5.4u , v ∈ [ 0 , n ] u, v \in [0, \sqrt{n}] u , v ∈ [ 0 , n ] : تقسيم القطع مع فرض المرور عبر [ n / K , K n ] [\sqrt{n}/K, K\sqrt{n}] [ n / K , K n ] في الوسطحالات مختلطة: دمج تقديرات نقطة النهاية الحرة وتقديرات الجسر التقنية الرئيسية :تحليل الخاصية Markovian للاحتمالية عدم المساواة FKG للتعامل مع الأحداث الرتيبة تناظر الانعكاس الزمني (المسار العكسي) إطار التوحيد :عدم التركيز على تسلسل زيادات محدد، بل على فئة كاملة تستوفي شروط التوحيد هذا هو المفتاح للتعامل مع المسارات العشوائية المنحرفة الحدود غير المتقاربة :جميع التقديرات تصح لـ n n n محدود، لا تعتمد على نهاية n → ∞ n \to \infty n → ∞ الثوابت واضحة، مما يسهل التطبيق التحويل المنهجي بين الجسر ونقطة النهاية الحرة :من خلال نظرية الحد المحلي غير المتجانسة كجسر توفير منهجية عامة للانتقال من التقديرات غير الشرطية إلى التقديرات الشرطية فصل المقاييس :تمييز واضح بين مقاييس مختلفة (λ ≤ n \lambda \leq \sqrt{n} λ ≤ n مقابل λ ≥ n \lambda \geq \sqrt{n} λ ≥ n ) استخدام تقنيات مختلفة في مقاييس مختلفة (نوع أسي مقابل نوع غاوسي) ملاحظة : هذه ورقة رياضية نظرية خالصة، لا تتضمن تجارب رقمية أو مجموعات بيانات. جميع النتائج هي نظريات رياضية وليمات صارمة، يتم الحصول عليها من خلال الإثبات التحليلي.
صرامة الإثبات الرياضي :جميع النظريات لها إثباتات كاملة سلسلة الإثبات واضحة: الليمات الأساسية → النتائج الوسيطة → النظريات الرئيسية الاتساق مع النتائج المعروفة :في الحالة i.i.d، تتحلل النتائج إلى النتائج الكلاسيكية متسقة مع الأدبيات 2 (مبدأ عدم التغيير لجسور i.i.d) مناقشة شروط اللحظات :Lemma 1.1: إثبات أن E ( X 1 X > 0 ) ≥ s E(X1_{X>0}) \geq s E ( X 1 X > 0 ) ≥ s معادل لـ E ( X 2 ) ≥ σ 2 E(X^2) \geq \sigma^2 E ( X 2 ) ≥ σ 2 عندما تكون اللحظة الرابعة محدودة Remark 1.1: إعطاء مثال معاكس يوضح أن شرط اللحظة الثانية وحده غير كافٍ Remark 1.2: مناقشة إمكانية تضعيف اللحظة الأسية إلى اللحظة الرابعة نظراً لأن هذه ورقة نظرية، إليك ملخص شكل وحتوى النظريات الرئيسية .
بالنسبة لـ α ∈ [ 0 , 2 / 3 ) \alpha \in [0, 2/3) α ∈ [ 0 , 2/3 ) ، ∣ y − m n ∣ ≤ n α |y - m_n| \leq n^\alpha ∣ y − m n ∣ ≤ n α :
exp ( − C n − min ( 2 − 3 α , 1 / 3 ) ) ≤ 2 π B n e ( y − m n ) 2 / 2 B n P 0 ( S n = y ) ≤ exp ( C n − min ( 2 − 3 α , 1 / 3 ) ) \exp(-Cn^{-\min(2-3\alpha, 1/3)}) \leq \sqrt{2\pi B_n} e^{(y-m_n)^2/2B_n} P_0(S_n = y) \leq \exp(Cn^{-\min(2-3\alpha, 1/3)}) exp ( − C n − m i n ( 2 − 3 α , 1/3 ) ) ≤ 2 π B n e ( y − m n ) 2 /2 B n P 0 ( S n = y ) ≤ exp ( C n − m i n ( 2 − 3 α , 1/3 ) )
الأهمية : توفير حد خطأ دقيق للتقريب الغاوسي، صحيح على منطقة CLT بأكملها.
بالنسبة لـ E ( X i ) = 0 E(X_i) = 0 E ( X i ) = 0 ، E ( X i 4 ) ≤ A E(X_i^4) \leq A E ( X i 4 ) ≤ A ، E ( X i 1 X i > 0 ) ≥ s E(X_i 1_{X_i>0}) \geq s E ( X i 1 X i > 0 ) ≥ s :
c − ( u + 1 ) n ≤ P u ( τ > n ) ≤ c + ( u + 1 ) n \frac{c_-(u+1)}{\sqrt{n}} \leq P_u(\tau > n) \leq \frac{c_+(u+1)}{\sqrt{n}} n c − ( u + 1 ) ≤ P u ( τ > n ) ≤ n c + ( u + 1 )
الأهمية : توفير نسخة غير متقاربة من المقياس الكلاسيكي 1 / n 1/\sqrt{n} 1/ n .
بالنسبة لـ α ∈ ( 1 / 2 , 2 / 3 ) \alpha \in (1/2, 2/3) α ∈ ( 1/2 , 2/3 ) ، 0 ≤ u , v ≤ n α 0 \leq u, v \leq n^\alpha 0 ≤ u , v ≤ n α :
C − min ( u + 1 , n ) min ( v + 1 , n ) n 3 / 2 e − c − ( u − v ) 2 / n ≤ P u ( S ˉ n = v , min i = 1 , … , n S ˉ i ≥ 0 ) \frac{C_- \min(u+1, \sqrt{n}) \min(v+1, \sqrt{n})}{n^{3/2}} e^{-c_-(u-v)^2/n} \leq P_u(\bar{S}_n = v, \min_{i=1,\ldots,n} \bar{S}_i \geq 0) n 3/2 C − m i n ( u + 1 , n ) m i n ( v + 1 , n ) e − c − ( u − v ) 2 / n ≤ P u ( S ˉ n = v , min i = 1 , … , n S ˉ i ≥ 0 ) ≤ C + min ( u + 1 , n ) min ( v + 1 , n ) n 3 / 2 e − c + ( u − v ) 2 / n \leq \frac{C_+ \min(u+1, \sqrt{n}) \min(v+1, \sqrt{n})}{n^{3/2}} e^{-c_+(u-v)^2/n} ≤ n 3/2 C + m i n ( u + 1 , n ) m i n ( v + 1 , n ) e − c + ( u − v ) 2 / n
الأهمية :
العامل السابق n − 3 / 2 n^{-3/2} n − 3/2 يعكس مقياس الجسر الاعتماد على نقطة النهاية يتم التعبير عنه من خلال min ( u + 1 , n ) \min(u+1, \sqrt{n}) min ( u + 1 , n ) العامل من نوع غاوسي e − ( u − v ) 2 / n e^{-(u-v)^2/n} e − ( u − v ) 2 / n يعكس تكلفة اختلاف نقاط النهاية بالنسبة لـ λ 0 ≤ λ ≤ n \lambda_0 \leq \lambda \leq \sqrt{n} λ 0 ≤ λ ≤ n :
e − c − n / λ 2 ≤ P 0 ( max i = 1 , … , n ∣ S i ∣ ≤ λ , ∣ S n ∣ ≤ λ / 2 ) e^{-c_- n/\lambda^2} \leq P_0(\max_{i=1,\ldots,n} |S_i| \leq \lambda, |S_n| \leq \lambda/2) e − c − n / λ 2 ≤ P 0 ( max i = 1 , … , n ∣ S i ∣ ≤ λ , ∣ S n ∣ ≤ λ /2 ) P 0 ( max i = 1 , … , n ∣ S i ∣ ≤ λ ) ≤ e − c + n / λ 2 P_0(\max_{i=1,\ldots,n} |S_i| \leq \lambda) \leq e^{-c_+ n/\lambda^2} P 0 ( max i = 1 , … , n ∣ S i ∣ ≤ λ ) ≤ e − c + n / λ 2
الأهمية : معدل الاضمحلال الأسي n / λ 2 n/\lambda^2 n / λ 2 هو الأمثل.
بالنسبة لـ λ 0 ≤ λ ≤ n \lambda_0 \leq \lambda \leq \sqrt{n} λ 0 ≤ λ ≤ n ، ∣ x − m n ∣ ≤ ( 1 − ϵ ) λ |x-m_n| \leq (1-\epsilon)\lambda ∣ x − m n ∣ ≤ ( 1 − ϵ ) λ :
C − λ e − c − n / λ 2 ≤ P 0 ( max i = 1 , … , n ∣ S i − E ( S i ) ∣ ≤ λ , S n = x ) ≤ C + λ e − c + n / λ 2 \frac{C_-}{\lambda} e^{-c_- n/\lambda^2} \leq P_0(\max_{i=1,\ldots,n} |S_i - E(S_i)| \leq \lambda, S_n = x) \leq \frac{C_+}{\lambda} e^{-c_+ n/\lambda^2} λ C − e − c − n / λ 2 ≤ P 0 ( max i = 1 , … , n ∣ S i − E ( S i ) ∣ ≤ λ , S n = x ) ≤ λ C + e − c + n / λ 2
نسخة محسّنة (Lemma 7.1, 7.2): بالنسبة لـ 0 ≤ u , v ≤ λ 0 \leq u, v \leq \lambda 0 ≤ u , v ≤ λ :
C ( min ( u , λ − u ) + 1 ) ( min ( v , λ − v ) + 1 ) λ 3 e − c n / λ 2 \frac{C (\min(u, \lambda-u) + 1)(\min(v, \lambda-v) + 1)}{\lambda^3} e^{-cn/\lambda^2} λ 3 C ( m i n ( u , λ − u ) + 1 ) ( m i n ( v , λ − v ) + 1 ) e − c n / λ 2
الأهمية :
عامل λ − 1 \lambda^{-1} λ − 1 يعكس خسارة الإنتروبيا للجسر عندما تكون نقاط النهاية قريبة من الحدود، تكون الاحتمالية أصغر (حد min ( u , λ − u ) \min(u, \lambda-u) min ( u , λ − u ) ) بالنسبة لـ λ ≥ n \lambda \geq \sqrt{n} λ ≥ n ، 0 ≤ u , v ≤ λ 0 \leq u, v \leq \lambda 0 ≤ u , v ≤ λ ، ∣ u − v ∣ ≤ n α |u-v| \leq n^\alpha ∣ u − v ∣ ≤ n α :
P u ( 0 ≤ min i S ˉ i , max i S ˉ i ≤ λ , S ˉ n = v ) ≍ min ( u , λ − u , n ) min ( v , λ − v , n ) n 3 / 2 e − ( u − v ) 2 / n P_u(0 \leq \min_i \bar{S}_i, \max_i \bar{S}_i \leq \lambda, \bar{S}_n = v) \asymp \frac{\min(u, \lambda-u, \sqrt{n}) \min(v, \lambda-v, \sqrt{n})}{n^{3/2}} e^{-(u-v)^2/n} P u ( 0 ≤ min i S ˉ i , max i S ˉ i ≤ λ , S ˉ n = v ) ≍ n 3/2 m i n ( u , λ − u , n ) m i n ( v , λ − v , n ) e − ( u − v ) 2 / n
الأهمية : عندما يتجاوز عرض الأنبوب n \sqrt{n} n ، يكون السلوك مشابهاً للجسر غير المقيد.
بالنسبة لـ β ∈ ( 0 , 1 / 6 ) \beta \in (0, 1/6) β ∈ ( 0 , 1/6 ) ، t 0 ≤ t ≤ n β t_0 \leq t \leq n^\beta t 0 ≤ t ≤ n β :
P u ( min i S ˉ i ≥ 0 , S ˉ k ≥ t n , S ˉ n = v ) ≍ min ( u + 1 , n ) min ( v + 1 , n ) t n 3 / 2 e − c t 2 P_u(\min_i \bar{S}_i \geq 0, \bar{S}_k \geq t\sqrt{n}, \bar{S}_n = v) \asymp \frac{\min(u+1, \sqrt{n}) \min(v+1, \sqrt{n})}{t n^{3/2}} e^{-ct^2} P u ( min i S ˉ i ≥ 0 , S ˉ k ≥ t n , S ˉ n = v ) ≍ t n 3/2 m i n ( u + 1 , n ) m i n ( v + 1 , n ) e − c t 2
الأهمية : احتمالية الارتفاع t n t\sqrt{n} t n له ذيل غاوسي e − c t 2 e^{-ct^2} e − c t 2 .
إطار موحد : جميع التقديرات تصح تحت نفس افتراضات التوحيدالأمثلية : في حالة i.i.d، تتحلل إلى النتائج المعروفة الأمثلالاكتمال : تغطي نقاط النهاية الحرة والجسور والأنابيب بمقاييس مختلفة وغيرهاالنتائج الكلاسيكية للمسارات العشوائية المتجانسة زمنياً :2 Caravenna & Chaumont (2013): مبدأ عدم التغيير والتقديرات الشرطية لجسور i.i.dتوسع هذه الورقة هذه النتائج إلى الحالة غير i.i.d نظرية التقارب للمسارات العشوائية غير المتجانسة زمنياً :3 Denisov, Sakhanenko & Wachtel (2018): تحليل مقارب لأوقات الوصول الأولالفرق: 3 يركز على التقارب الحاد لـ n → ∞ n \to \infty n → ∞ ، هذه الورقة تركز على التقديرات الموحدة لـ n n n محدود احتمالية الكرة الصغيرة :5 Li & Shao (2001): احتمالية الكرة الصغيرة للعمليات الغاوسيةتطبق هذه الورقة تقنيات الحالة الغاوسية (مثل دالة Jacobi Theta) على المسارات المنفصلة نظريات من نوع Berry-Esseen :7 Petrov (1995): CLT والتقديرات الخطأ في الحالة غير i.i.dTheorem 3.1 في هذه الورقة يستشهد مباشرة بهذه النتائج مجالات التطبيق :6 Ott & Velenik (2025): المسارات العشوائية على عوائق محدبة4 Khettabi (2025): نموذج البوليمر في مجال جذبغير متقارب + موحد : الأدبيات الموجودة إما تركز على التقارب (n → ∞ n \to \infty n → ∞ ) أو تسلسلات محددة، هذه الورقة تحقق كلاهمادراسة منهجية لخصائص المسار : ليس فقط التوزيعات الهامشية (LLT)، بل أيضاً خصائص المسار (الكرة الصغيرة والإيجابية)نظرية جسر كاملة : طريقة تحويل منهجية من نقطة النهاية الحرة إلى الجسرالاكتمال النظري : بناء إطار نظري كامل للمسارات العشوائية غير المتجانسة زمنياً يوازي الحالة i.i.dالقيمة التطبيقية : توفير أدوات "جاهزة للاستخدام" تم تطبيقها بالفعل في 4, 6 الابتكار التقني : تطوير تقنيات جديدة للتعامل مع الحالة غير i.i.d (مثل التبديل الغاوسي وإطار التوحيد)شروط اللحظات :احتمالية الإيجابية تتطلب اللحظة الرابعة (أو اللحظة الثالثة + ε) Remark 1.1 يوضح أن اللحظة الثانية وحدها غير كافية مسألة مفتوحة : ما هي شروط اللحظات المثلى؟ يشك المؤلفون أن اللحظة الثالثة قد تكون كافية، لكن لم يتم إثباتهاعدم الدورية :بالنسبة للمسارات ذات القيم الصحيحة، يتطلب افتراض عدم الدورية وعدم القابلية للاختزال هذا يصح بشكل طبيعي في المسارات العشوائية المنحرفة، لكن يحد من العمومية عدم صراحة الثوابت :التقديرات تثبت الوجود، لكن الثوابت C , c C, c C , c تعتمد على المعاملات ولم تُعطَ بصيغة صريحة قد يتطلب التطبيق العملي تحليلاً إضافياً قيود نطاق نقطة النهاية :معظم نتائج الجسر تتطلب u , v ≤ n α u, v \leq n^\alpha u , v ≤ n α ، α < 2 / 3 \alpha < 2/3 α < 2/3 السلوك خارج هذا النطاق لم يتم توصيفه بالكامل تحسين شروط اللحظات :دراسة النتائج تحت اللحظة الثالثة أو شروط أضعف فهم السلوك المختلف المقابل لشروط لحظات مختلفة التعميم على الأبعاد المتعددة :توسيع النتائج إلى مسارات عشوائية ذات قيم Z d \mathbb{Z}^d Z d أو R d \mathbb{R}^d R d قد تتطلب تقنيات جديدة للتعامل مع تأثيرات الأبعاد شروط أكثر عمومية :دراسة حالة الزيادات المترابطة بضعف النظر في قيود نقطة نهاية أكثر عمومية الجوانب الحسابية :إعطاء تقديرات صريحة أو رقمية للثوابت تطوير خوارزميات فعالة لحساب الاحتمالات ذات الصلة توسيع التطبيقات :تطبيق على نماذج فيزياء إحصائية أكثر تطبيقات في الاستدلال الإحصائي (مثل كشف نقاط التغيير) العمق النظري :تقنيات الإثبات متقنة، تجمع بين نظرية martingale والانحراف الكبير وتحليل Fourier وغيرها إثبات نظرية الحد المحلي غير المتجانسة (Theorem 4.1) بارع بشكل خاص، يتحكم في الخطأ بدقة من خلال الانحراف الأسي وعكس Fourier النظامية :ليست مجموعة نتائج متفرقة، بل نظام نظري متكامل سلسلة منطقية واضحة من الليمات الأساسية إلى النظريات الرئيسية تمييز واضح بين مقاييس وحالات مختلفة، مع نظرية مقابلة لكل حالة الفائدة العملية :النتائج "جاهزة للاستخدام"، تم تطبيقها بالفعل في أعمال لاحقة ضمان التوحيد يجعل النتائج قابلة للتطبيق مباشرة على المسارات العشوائية المنحرفة الطبيعة غير المتقاربة حاسمة لتحليل الأنظمة المحدودة جودة الكتابة :البنية واضحة، القسم 1.2 يوفر خريطة طريق مفيدة جداً شرح الأفكار الأساسية في النص الرئيسي، التفاصيل التقنية في الملاحق الرسوم التوضيحية (الأشكال 1-6) توضح البنى بشكل بديهي الانفتاح :مناقشة صريحة للقيود (القسم 1.3) طرح مسائل مفتوحة ذات معنى (شروط اللحظات المثلى) إعطاء أمثلة معاكسة (Remark 1.1) توضح عدم إمكانية بعض المحاولات الحاجز التقني :الإثباتات عالية التقنية، تتطلب خلفية عميقة في نظرية الاحتمالات بعض الخطوات الحاسمة (مثل إثبات Lemma 5.2) مجردة جداً قد يكون من الصعب على غير المتخصصين فهم كل شيء بالكامل عدم بناء الثوابت :على الرغم من إثبات الوجود، قيم الثوابت C , c C, c C , c غير واضحة قد يحد هذا من الاستخدام في التطبيقات التي تتطلب تقديرات كمية عدم الاكتمال :بعض الحالات (مثل u , v > n α u, v > n^\alpha u , v > n α ) لم تُغطَّ بالكامل مسألة الأمثلية في شروط اللحظات لم تُحل غياب التحقق الرقمي :على الرغم من أنها ورقة نظرية، بعض الأمثلة الرقمية يمكن أن تعزز الحدس خاصة بالنسبة لحجم الثوابت، المحاكاة الرقمية يمكن أن توفر مرجعاً المساهمة في المجال :ملء فجوة مهمة في نظرية المسارات العشوائية غير المتجانسة زمنياً توفير أساس رياضي لنماذج الفيزياء الإحصائية ذات الصلة قد يلهم أبحاثاً مماثلة في فروع أخرى من نظرية الاحتمالات القيمة العملية :تم تطبيقها بالفعل في 4, 6 ، مما يثبت الفائدة العملية بالنسبة للباحثين الذين يدرسون المسارات العشوائية المقيدة والنماذج البوليمرية وغيرها، هذه أداة لا غنى عنها إطار التوحيد يجعل النتائج قابلة للتطبيق مباشرة على العمليات المنحرفة القابلية للتكرار :الإثبات كامل، يمكن التحقق منه من حيث المبدأ صيغة النتائج واضحة، سهلة الاستشهاد بها لكن نظراً لأنها ورقة نظرية خالصة، لا توجد أكواد أو بيانات الأبحاث اللاحقة :المسائل المفتوحة (خاصة شروط اللحظات المثلى) قد تلهم أعمالاً لاحقة التعميم على الأبعاد المتعددة هو الخطوة الطبيعية التالية التقنيات (مثل التبديل الغاوسي) قد تكون مفيدة في مسائل أخرى الفيزياء الإحصائية :نماذج البوليمر المقيدة نماذج نمو الواجهة أنظمة الجسيمات تحت تأثير حقول خارجية نظرية الاحتمالات :دراسة المسارات العشوائية الشرطية نظرية الانحراف الكبير خصائص المسار العشوائي الدقيقة الاستدلال الإحصائي :كشف نقاط التغيير (عندما تتغير المعاملات مع الزمن) التحليل المتسلسل السلاسل الزمنية غير المستقرة التطبيقات الأخرى :نظرية الطوابير (معدلات الوصول المتغيرة زمنياً) الرياضيات المالية (نماذج المعاملات المتغيرة زمنياً) الإحصاء الحيوي (العمليات غير المتجانسة زمنياً) الأدبيات الرئيسية المستشهد بها في الورقة:
Billingsley (1968) : نظرية تقارب التدابير الاحتمالية، توفير خصائص جسر BrownianCaravenna & Chaumont (2013) : مبدأ عدم التغيير لجسور i.i.dDenisov, Sakhanenko & Wachtel (2018) : نظرية التقارب لأوقات الوصول الأول غير i.i.dKhettabi (2025) : تطبيق على البوليمر في مجال جذب (قيد الإعداد)Li & Shao (2001) : احتمالية الكرة الصغيرة للعمليات الغاوسيةOtt & Velenik (2025) : تطبيق على المسارات العشوائية على عوائق محدبةPetrov (1995) : نظريات الحد في نظرية الاحتمالات، توفير نتائج من نوع Berry-Esseenهذه ورقة نظرية احتمالية عالية الجودة تبني نظرية تقديرات مسار منهجية للمسارات العشوائية غير المتجانسة زمنياً. تكمن قيمتها الأساسية في عدم التقارب و التوحيد ، مما يجعل النتائج قابلة للتطبيق المباشر على الأنظمة المحدودة والعمليات المنحرفة. على الرغم من أن الحاجز التقني مرتفع، إلا أن هذه أداة لا غنى عنها للباحثين في المجالات ذات الصلة. الكتابة واضحة والمنطق صارم، مما يجعلها مساهمة مهمة في مجال تقاطع نظرية الاحتمالات والفيزياء الرياضية.
يكمن الابتكار الرئيسي في توسيع نظرية i.i.d الكلاسيكية بشكل منهجي إلى الحالة غير i.i.d مع الحفاظ على دقة النتائج وتوحيدها. لا يتطلب هذا فقط رؤية رياضية عميقة، بل أيضاً تقنيات متقنة للتغلب على الصعوبات الناشئة عن عدم التجانس. المسائل المفتوحة التي تطرحها الورقة (خاصة شروط اللحظات المثلى) توضح الاتجاهات المستقبلية للبحث.