Average Local Independence and the Spanning-Tree Leaf Number: A Proof of Graffiti.pc Conjecture 2

Yanmohan Wang, Tianyue Dai, Rui Tong

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 g…