{"id":"arxiv/2607.24020","url":"https://arxiv.org/abs/2607.24020","tags":["math.CO"],"score":0,"title":"Average Local Independence and the Spanning-Tree Leaf Number: A Proof of Graffiti.pc Conjecture 2","domain":"math.CO","source":"arxiv","authors":["Yanmohan Wang","Tianyue Dai","Rui Tong"],"reviews":0,"subject":"math.CO","summary":"We prove Graffiti.pc Conjecture 2, a 1996 conjecture listed as open on the \\emph{Written on the Wall II} page marked ``Last update 7/23/26.'' Let $G$ be a finite simple connected graph. For $v\\in V(G)$, let $I(v)=α(G[N_G(v)])$, and let $I_{\\mathrm{avg}}(G)$ be the average of these local independence numbers. The conjecture states that the maximum number $L_s(G)$ of leaves in a spanning tree of $G$ satisfies $L_s(G)\\ge 2\\bigl(I_{\\mathrm{avg}}(G)-1\\bigr)$. We establish this inequality by extracting a triangle-free spanning subgraph that retains at least half of the total local-independence…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-27","reactions":{}}