Let be independent standard Cauchy random variables. Their characteristic functions and independence giveTaking real parts yieldsFor each realization of , both products are rank-one positive-semidefinite kernels. Their sum and then their expectation remain positive semidefinite by the closure property of positive-semidefinite kernels. This is a Random Fourier feature representation of the Laplace kernel.