This is great, I've always known that (complex) exponentials are eigenfunction of translation, but never made the connection that this means an operator with tr

This is great, I've always known that (complex) exponentials are eigenfunction of translation, but never made the connection that this means an operator with translation-invariance property means that it cares only about frequency content.