A checked coupling map acts on the whole joint state. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.

highlighted = computed this step

Coupling changes the joint table

A controlled map sends the balanced control and zero target into a joint table with two nonzero cells.

CNOT(+0)\text{CNOT}\left(\lvert +\rangle\lvert 0\rangle\right)
Coupled joint tableThe CNOT box computes the output amplitudes.state1/sqrt(2) zerozero0 zeroone1/sqrt(2) onezero0 oneonestate1/sqrt(2) zerozero0 zeroone0 onezero1/sqrt(2) oneoneCNOTcouple001/sqrt(2)P=1/2010P=0100P=0111/sqrt(2)P=1/2det = 1/2not product

Only the matched joint cells carry probability

The coupled output is visible as two populated diagonal cells and two empty off-diagonal cells.

cellprolezero-zero12keptzero-one0emptyone-one12kept\begin{array}{c|c|c}\text{cell}&p&\text{role}\\\text{zero-zero}&\frac{1}{2}&\text{kept}\\\text{zero-one}&0&\text{empty}\\\text{one-one}&\frac{1}{2}&\text{kept}\\\end{array}
Coupled-cell scanThe joint table supplies the scan rows.state1/sqrt(2) zerozero0 zeroone1/sqrt(2) onezero0 oneonestate1/sqrt(2) zerozero0 zeroone0 onezero1/sqrt(2) oneoneCNOTcouple001/sqrt(2)P=1/2010P=0100P=0111/sqrt(2)P=1/2det = 1/2not product

The two visible cells split the budget

The zero-zero and one-one cells each carry probability 1/2.

pzero zero=pone one=12p_{\text{zero zero}}=p_{\text{one one}}=\frac{1}{2}
Coupled probabilitiesThe table probabilities are checked.state1/sqrt(2) zerozero0 zeroone1/sqrt(2) onezero0 oneonestate1/sqrt(2) zerozero0 zeroone0 onezero1/sqrt(2) oneoneCNOTcouple001/sqrt(2)P=1/2010P=0100P=0111/sqrt(2)P=1/2det = 1/2not product