Mathematical Appendix: Formal Derivations for the Resonant Lattice Model | Synapse