Optimal control theory for unitary transformations | Synapse