arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2602.17752math.PRmath.COmath.LO
收藏

关于集中性的逻辑方法

A logical approach to concentration

University of Oxford(牛津大学);The University of Sheffield(谢菲尔德大学)

Michael Benedikt, Maksim Zhukovskii

AI总结:

本文提出了一种基于图的实值逻辑,证明了在Erdős-Rényi随机图模型中,所有术语均趋于集中,并扩展了零一定律的相关研究。

摘要:

集中性结果表明,随机变量序列逐渐围绕均值集中。此类结果在随机图函数研究中很常见。我们引入了一种具有多种图聚合运算符的实值逻辑,包括求和,并证明了在经典Erdős-Rényi随机图模型中,将语言中的每个术语视为随机图上的随机变量时,都是集中的。我们证明了这一结论适用于密集和稀疏的Erdős-Rényi图变体。一方面,我们的结果扩展了Fagin和Glebskii等人关于密集随机图零一定律的工作,以及Shelah和Spencer关于稀疏随机图零一定律的工作。另一方面,它们可以视为推断随机图集中性结果的元定理,我们给出了此类应用的例子。

英文摘要:

Concentration results say that a sequence of random variables becomes progressively concentrated around the mean. Such results are common in the study of functions of random graphs. We introduce a real-valued logic with various aggregate operators on graphs, including summation, and prove that every term in the language, seen as a random variable on random graphs within the classical Erdős-Rényi random graph model, is concentrated. We prove this for dense and sparse variants of Erdős-Rényi graphs. On the one hand, our results extend the line of work originating with Fagin and Glebskii et al. on zero-one laws for dense random graphs, as well as the zero-one law of Shelah and Spencer for sparse random graphs. On the other hand, they can be seen as a meta-theorem for inferring concentration results on random graphs, and we give examples of such applications.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑