The entanglement claim is checked by a nonzero determinant, not a caption. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.

highlighted = computed this step

A product check uses a determinant

For a two-by-two amplitude table, a product state would have determinant 0.

detproduct=0\det_{\text{product}}=0
Product-state testThe determinant is recomputed from the amplitudes.001/sqrt(2)P=1/2010P=0100P=0111/sqrt(2)P=1/2det = 1/2not product

The determinant scan separates product from Bell state

A product table would have zero determinant; this checked table does not.

rowdetclaimproduct test0productBell table12not productaudit12entangled\begin{array}{c|c|c}\text{row}&\det&\text{claim}\\\text{product test}&0&\text{product}\\\text{Bell table}&\frac{1}{2}&\text{not product}\\\text{audit}&\frac{1}{2}&\text{entangled}\\\end{array}
Determinant scanThe nonzero determinant supplies the claim.001/sqrt(2)P=1/2010P=0100P=0111/sqrt(2)P=1/2det = 1/2not product

This determinant is not zero

The determinant is 1/2, so this checked state is not two separate one-particle states.

det=120\det=\frac{1}{2}\neq 0
Not a product stateThe nonzero determinant is the entanglement claim.001/sqrt(2)P=1/2010P=0100P=0111/sqrt(2)P=1/2det = 1/2not product