DOI: https://doi.org/10.1016/j.spl.2026.110775
تاريخ النشر: 2026-04-07
المؤلف: Chatchawan Panraksa
الموضوع الرئيسي: نماذج الاحتمالات والمخاطر
نظرة عامة
في هذا القسم، يؤسس المؤلفون نسخة ذات عينة محدودة من ليمما بوريل-كانتيلي القابلة للتطبيق على تسلسلات الأحداث المعتمدة على \(m\) \((A_k)_{1 \leq k \leq N}\). تتضمن تقنية الإثبات تقسيم مجموعة الفهارس إلى فئات متبقية وفقًا لـ \(m + 1\)، مما يضمن أن الأحداث داخل كل فئة مستقلة عن بعضها البعض. تتيح هذه الطريقة للمؤلفين استخدام حد بسيط من المنتج إلى الأس exponential لاستنتاج نتائجهم.
بالإضافة إلى ذلك، يقدم المؤلفون نتيجة كمية نافذة، تنص على أنه إذا كانت المجموعات الجزئية تحقق \(\sum_{k=1}^{\phi(n)} P(A_k) \geq n\) لجميع \(n \geq 1\)، فإن لكل \(N \geq 1\) و \(i \geq 0\)، يمكن وضع حدود احتمالية معينة. كما يقدمون تحسينًا من الدرجة الثانية يتضمن احتمالات التقاطع الزوجية المحلية. تعزز هذه النتائج النتائج الأسيمتوتية ومعدل النتائج التي تم الإبلاغ عنها سابقًا من قبل لو، شي، وزهاو (2026) من خلال تقديم حدود نهائية صريحة لـ \(N\) وإطار مقارنة بسيط للتقديرات الأساسية وتقديرات الدرجة الثانية.
مقدمة
تناقش مقدمة الورقة ليمما بوريل-كانتيلي، وهو نتيجة أساسية في نظرية الاحتمالات التي تصف حدوث الأحداث في فضاء الاحتمالات. تنص على أنه بالنسبة لتسلسل من الأحداث \((A_k)_{k \geq 1}\)، إذا كانت \(\sum_{k} P(A_k) < \infty\)، فإن عددًا محدودًا من الأحداث يحدث تقريبًا بالتأكيد؛ وعلى العكس، إذا كانت الأحداث مستقلة والسلسلة تتباعد، فإن عددًا لا نهائيًا يحدث تقريبًا بالتأكيد. يبرز المؤلفون أهمية تخفيف فرضية الاستقلال، مشيرين إلى دراسات متنوعة تقدم معايير وحدود للأحداث المعتمدة. ومن الجدير بالذكر أن العمل الأخير من قبل لو، شي، وزهاو يفحص ليمما بوريل-كانتيلي الثاني تحت الاعتماد على \(m\)، حيث تكون الأحداث المفصولة بأكثر من \(m\) فهارس مستقلة. تساهم الملاحظة الحالية في هذا المجال من خلال وضع حدود دنيا صريحة للاتحادات المحدودة من الأحداث المعتمدة على \(m\). توفر النتيجة الرئيسية، النظرية 2، حدًا أدنى غير أسيمتوتي على احتمال حدوث واحد على الأقل من \(N\) من الأحداث المعتمدة على \(m\)، معبرًا عنه كـ \(P\left(\bigcup_{k=1}^{N} A_k\right) \geq 1 - \exp\left(-\frac{1}{m+1} S_N\right)\)، حيث \(S_N = \sum_{k=1}^{N} P(A_k)\). يتم اشتقاق هذه النتيجة من خلال تقسيم مجموعة الفهارس إلى \(m+1\) فئات متبقية، مما يسمح بتطبيق الاستقلال داخل كل فئة. بالإضافة إلى ذلك، تقدم الورقة نتيجة نافذة محدودة تتوازى مع النتائج الحالية بينما تقدم ثوابت صريحة، مما يعزز فهم الاعتماد على \(m\) في سياق ليمما بوريل-كانتيلي.
مناقشة
تتوسع قسم المناقشة في الآثار والمقارنات بين النظرية 2 والنظرية 4 فيما يتعلق بالاعتماد على \(m\) في فضاءات الاحتمالات. توفر النظرية 2 حدًا لبوريل-كانتيلي غير أسيمتوتي يكون صريحًا ومحدودًا، مما يوفر ضمانًا بناءً على نطاق الاعتماد \( m \) وكتلة الاحتمال الكلية \( S_N = \sum_{k=1}^N P(A_k) \). يتم وضع هذه النظرية كتقدير للاتحاد المحدود بدلاً من تطبيق مباشر للنظرية الثانية لبوريل-كانتيلي، مما يميزها عن تخفيفات الاستقلال الكلاسيكية.
على النقيض، تقدم النظرية 4 تصحيحًا من الدرجة الثانية من خلال احتمالات التقاطع المحلية، مما يعزز الحد عندما يتم اعتبار التداخلات المحلية. تشير المقارنة إلى أن النظرية 4 أكثر حدة من النظرية 2 تحت ظروف معينة، خاصة عندما تكون قيمة التقاطع المحلي \( T_{m-1} \) أقل من عتبة معينة. ومن الجدير بالذكر أنه عندما يكون \( m = 1 \)، فإن كلا النظريتين تعطيان نفس الأس، \( S_N/2 \). بالإضافة إلى ذلك، فإن النتيجة النافذة المشتقة من النظرية 2 توسع من قابليتها للتطبيق، حيث توفر إطار عمل نافذة منزلقة يتماشى مع منظور المعدل الذي تم مناقشته في الأدبيات السابقة، مع الحفاظ على التناسق عبر \( N \) المحدود.
DOI: https://doi.org/10.1016/j.spl.2026.110775
Publication Date: 2026-04-07
Author(s): Chatchawan Panraksa
Primary Topic: Probability and Risk Models
Overview
In this section, the authors establish a finite-sample version of the Borel-Cantelli lemma applicable to m-dependent sequences of events \((A_k)_{1 \leq k \leq N}\). The proof technique involves partitioning the index set into residue classes modulo \(m + 1\), ensuring that events within each class are mutually independent. This approach allows the authors to utilize an elementary product-to-exponential bound to derive their results.
Additionally, the authors introduce a quantitative windowed corollary, which states that if the partial sums satisfy \(\sum_{k=1}^{\phi(n)} P(A_k) \geq n\) for all \(n \geq 1\), then for every \(N \geq 1\) and \(i \geq 0\), certain probabilistic bounds can be established. They also present a second-order refinement that incorporates local pairwise intersection probabilities. These findings enhance the asymptotic and rate results previously reported by Lu, Shi, and Zhao (2026) by offering explicit finite \(N\) bounds and a straightforward comparison framework for baseline and second-order estimates.
Introduction
The introduction of the paper discusses the Borel-Cantelli lemma, a fundamental result in probability theory that characterizes the occurrence of events in a probability space. It states that for a sequence of events \((A_k)_{k \geq 1}\), if \(\sum_{k} P(A_k) < \infty\), then almost surely only finitely many events occur; conversely, if the events are independent and the series diverges, then infinitely many occur almost surely. The authors highlight the significance of relaxing the independence assumption, referencing various studies that provide criteria and bounds for dependent events. Notably, recent work by Lu, Shi, and Zhao examines the second Borel-Cantelli lemma under \(m\)-dependence, where events separated by more than \(m\) indices are independent. The present note contributes to this area by establishing explicit lower bounds for finite unions of \(m\)-dependent events. The main result, Theorem 2, provides a non-asymptotic lower bound on the probability that at least one of \(N\) \(m\)-dependent events occurs, expressed as \(P\left(\bigcup_{k=1}^{N} A_k\right) \geq 1 - \exp\left(-\frac{1}{m+1} S_N\right)\), where \(S_N = \sum_{k=1}^{N} P(A_k)\). This result is derived by partitioning the index set into \(m+1\) residue classes, allowing for the application of independence within each class. Additionally, the paper presents a finite-window corollary that parallels existing results while providing explicit constants, thereby enhancing the understanding of \(m\)-dependence in the context of the Borel-Cantelli lemma.
Discussion
The discussion section elaborates on the implications and comparisons of Theorem 2 and Theorem 4 regarding m-dependence in probability spaces. Theorem 2 provides a non-asymptotic Borel-Cantelli bound that is explicit and finite, offering a guarantee based on the dependence range \( m \) and the total probability mass \( S_N = \sum_{k=1}^N P(A_k) \). This theorem is positioned as a finite-union estimate rather than a direct application of the second Borel-Cantelli theorem, distinguishing it from classical independence relaxations.
In contrast, Theorem 4 introduces a second-order correction through local intersection probabilities, enhancing the bound when local overlaps are considered. The comparison indicates that Theorem 4 is sharper than Theorem 2 under specific conditions, particularly when the local intersection term \( T_{m-1} \) is less than a certain threshold. Notably, when \( m = 1 \), both theorems yield the same exponent, \( S_N/2 \). Additionally, the windowed corollary derived from Theorem 2 extends its applicability, providing a sliding-window framework that aligns with the rate perspective discussed in previous literature, while maintaining uniformity across finite \( N \).