Bochner's Identity on Graphs

We prove an identity on a graph analogous to Bochner’s identity on a Riemannian manifold. An auxiliary graph called the complete tangent graph intervenes in the term corresponding to Ricci curvature.