Theoretical foundations of transform coding | Synapse