Optimal control of quantum-mechanical systems: Existence, numerical approximation, and applications | Synapse