mathematical quantum control