Closed-form intermediate representations of many-body propagators and resolvent matrices | Synapse