Unitary causal decompositions: a characterisation via lattice theory

Tein van der Lugt, Robin Lorenz

If a unitary transformation has a circuit representation with no directed path from input $a$ to output $b$, then $a$ does not influence $b$ through the overall unitary. Conversely…