" Lossless" CompressionofDeepNeuralNetworks: AHigh-dimensionalNeuralTangentKernelApproach