Compact Nonlinear Maps and Circulant Extensions