{"id":"arxiv/2603.17997","url":"https://arxiv.org/abs/2603.17997","tags":["math.CO"],"score":0,"title":"The Ferrers bound for spanning trees in bipartite graphs","domain":"math.CO","source":"arxiv","authors":["Boon Suan Ho"],"reviews":0,"subject":"math.CO","summary":"We prove Ehrenborg's conjecture that every connected bipartite graph $G$ with parts of size $m$ and $n$ has at most $\\frac{1}{mn}\\prod_{v\\in V(G)} \\operatorname{deg}(v)$ spanning trees, and that equality holds if and only if $G$ is a Ferrers graph. The proof is fully formalized in Lean 4.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-18","reactions":{}}