Supplement for Heavy Tail Robust Frequency Domain Estimation