Mathematical Theory for Adversarial Deep Learning