{"id":"arxiv/2608.07360","url":"https://arxiv.org/abs/2608.07360","tags":["math.CO","cs.LO","math.SP"],"score":0,"title":"Maximizing Algebraic Connectivity with $2(n-2)$ Edges: The Large Vertex Number Case","domain":"math.CO","source":"arxiv","authors":["Zeru Zhu","Jinzheng Li","Yuanjie Ren","Ji Liu"],"reviews":0,"subject":"math.CO","summary":"Kolokolnikov conjectured that, among all simple graphs on \\(n\\) vertices with exactly \\(2(n-2)\\) edges, the complete bipartite graph maximizes algebraic connectivity. This paper proves the conjecture. The underlying Lean~4 formalization was generated with MerLean and checked by the Lean kernel.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-07","reactions":{}}