{"id":"arxiv/2607.29681","url":"https://arxiv.org/abs/2607.29681","tags":["math.CO","cs.IT"],"score":0,"title":"Lean-verified lower bounds for the Shannon capacity of odd cycles","domain":"math.CO","source":"arxiv","authors":["Pjotr Buys","Sven Polak","Jeroen Zuiddam"],"reviews":0,"subject":"math.CO","summary":"We give new lower bounds for the Shannon capacities of small odd cycles: $Θ(C_7)\\geq3.258805369885\\ldots$, $Θ(C_{11})\\geq5.294502522149\\ldots$, $Θ(C_{13})\\geq6.302455083464\\ldots$, $Θ(C_{15})\\geq7.301600534487\\ldots$, $Θ(C_{19})\\geq9.357192705918\\ldots$, $Θ(C_{21})\\geq10.342455853338\\ldots$, and $Θ(C_{23})\\geq11.328224257774\\ldots$. The bounds are obtained by an iterative procedure due to Gao (2026) which is based on a method by Itty, Rosin, Carstensen and Reichman (2026). The bounds are fully formalised in Lean.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-31","reactions":{}}