Diameter Bounds and Finiteness of Graphs from Local Intersection Data

We extend the Bakry--Émery curvature framework on graphs, broadening its applications and strengthening the resulting diameter bounds. We study diameter bounds and finiteness for amply regular graphs, distance-regular graphs, $(s,c,a,k)$-graphs, and locally strongly regular graphs. In particular, for an amply regular graph with parameters $(v,k,λ,μ)$, we prove that \[{diam}(G)≤4+8/λ+2\] when $μ>2$ and k≥3λ²/μ, improving the previous linear bound $4k/(λ+4)$ to a logarithmic bound. We also address several related conjectures. In their monograph Distance-Regular Graphs, Brouwer, Cohen, and Neumaier conjectured that every amply regular graph with $μ>1$, except the icosahedron, satisfies diam(G)≤2k/(λ+2). We confirm this bound when $μ>λ+1$ and give counterexamples to the conjecture with $μ=λ$. For amply regular graphs with μ≥λ and $μ>1$, we obtain diam(G)≤ 2k/μ+1. This proves the Qiao--Park--Koolen conjecture. In 1983, Terwilliger conjectured that every $(s,c,a,k)$-graph with $c>1$ is finite. We prove this conjecture when $s>2$, $c>2$, and (s,c)≠(4,3). Moreover, we prove Weetman's finiteness conjecture for locally strongly regular graphs when the local parameter $μ>1$, and disprove his stronger conjecture that every strongly regular graph is an S-graph. We also prove that every graph whose local graphs all have rank 3 is finite, which in particular proves a conjecture of Soicher in 1992.