Realization of nonlinear Cherenkov frequency down-conversion by phase velocity modulation | IEEE Conference Publication | IEEE Xplore