In this talk I’ll introduce some harmonic analysis on local systems over graphs, including an explicit construction of Green's function. We will also discuss its application towards a Gross-Zagier formula for CM cycles over Shimura curves. More specifically, using the Green’s functions we compute suitable integral extensions of the CM cycles for the arithmetic intersection pairing.