Dual unitaries as maximizers of the distance to local product gates | Synapse