This document contains detailed proofs of theorems stated in the main article entitled Random Feature Maps for Dot Product Kernels. 1 Proof of Theorem 1 We first recollect Schoenberg’s result in its original form Theorem 1 (Schoenberg (1942), Theorem 2). A function f : [−1, 1]→ R constitutes a positive definite kernel K : S∞ × S∞ → R, K : (x,y) 7→ f(〈x,y〉) iff f is an analytic function admittin...