Let . The classical Hausdorff-Young inequality asserts that for any , there is a (equal to 1 in the present case) such that . There are examples that show one cannot allow . In the above pdf, we provide a construction, motivated from number theory, that shows is impossible in the Hausdorff-Young inequality. One can think of this as a pseudo-random approach, as opposed to the random approach employed by, for instance, an application of Khintchine’s inequality.
We will first prove a discrete analog. For those a bit rusty, you are invited to check out my notes on the discrete Fourier transform.
I’d like to thank to of my fellow graduate students, Derek Jung and Xiao Li, for pointing out some mistakes in a previous version. I would also like to thank Sergei Konyagin for making me aware of the Shapiro-Rudin polynomials.
Lastly, I have not seen this example in the literature. If you have seen it, please let me know.