 Modular-addition quantum oracle

For $h:{\mathbb{Z}}_N\to {\mathbb{Z}}_M$, its modular-addition oracle is the unitary operatorFor each fixed $x$, addition by $h(x)$ permutes the answer register's computational basis. This preserves inner products, even when $h$ is not injective.