Manuscript I@2 · I.tex · section · 85631fa7

The record transformation

Typed records and experiment interfaces › The record transformation · lines 963–973

For $k$ source and $k$ target qubits, let $C_{k}$ be the grouped CNOT unitary

C_{k} (∣ z ⟩_{S} ∣ w ⟩_{R}) = ∣ z ⟩_{S} ∣ w \oplus z ⟩_{R} .

It is a tensor product of CNOTs together with the required linear regrouping maps. At $k = 0$ , it is the identity.

Displayed formulas in this passage

unlabeled · line 967
$C_{k} (∣ z ⟩_{S} ∣ w ⟩_{R}) = ∣ z ⟩_{S} ∣ w \oplus z ⟩_{R} .$