Quantum theory of impact ionization in coherent high-field semiconductor transport