This scan uses a determinant check to show when a two-qubit table stops looking like a product state. The uncoupled row has determinant magnitude 0, while the two CNOT input rows each reach 1/2, so the boundary is visible in the small table. Real coupling checks depend on gate calibration, state preparation, basis choice, readout assignment, finite shots, and uncertainty.

Three coupling inputs show where the product-state determinant crosses the boundary. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.

highlighted = computed this step

Uncoupled plus-plus stays product

The off row keeps four equal probabilities. Its determinant magnitude is 0.

∣det⁡∣=0,n=0|\det|=0,\quad n=0
Uncoupled source rowThe product flag follows the zero determinant.state1/2 zerozero1/2 zeroone1/2 onezero1/2 oneonestate1/2 zerozero1/2 zeroone1/2 onezero1/2 oneoneIuncoupled001/2P=1/4011/2P=1/4101/2P=1/4111/2P=1/4det = 0

Two CNOT inputs cross the determinant boundary

The two coupled rows use different target inputs, but both make a nonzero determinant magnitude.

row∣det⁡∣noff00zero121one121\begin{array}{c|c|c}\text{row}&|\det|&n\\\text{off}&0&0\\\text{zero}&\frac{1}{2}&1\\\text{one}&\frac{1}{2}&1\\\end{array}
CNOT target-zero rowThe middle row renders the first non-product case.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 target-one row is a separate checked input

Changing the target input does not reuse a caption. The CNOT row is checked again from its own source state.

∣det⁡∣=12,n=1|\det|=\frac{1}{2},\quad n=1
CNOT target-one rowThe final row renders its own checked table.state0 zerozero1/sqrt(2) zeroone0 onezero1/sqrt(2) oneonestate0 zerozero1/sqrt(2) zeroone1/sqrt(2) onezero0 oneoneCNOTcouple000P=0011/sqrt(2)P=1/2101/sqrt(2)P=1/2110P=0det = -1/2not product