Taking a finite difference lowers the degree of a polynomial phase. For , expand by shifts and apply the Cauchy-Schwarz inequality to those shift sums. This gives , where enforces that lie in . Although individual terms can be complex, the entire sum is real and nonnegative because it equals a sum of squares. For , the phase is .
New to topics? Read the docs here!