{"id":"arxiv/2602.17752","url":"https://arxiv.org/abs/2602.17752","tags":["math.PR","math.CO","math.LO"],"score":0,"title":"A logical approach to concentration","domain":"math.PR","source":"arxiv","authors":["Michael Benedikt","Maksim Zhukovskii"],"reviews":0,"subject":"math.PR","summary":"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.…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-19","reactions":{}}