Skip to content

FiniteRegion ​

The confidence region the inversion runs over, and the matrix entry the paper repeats

6/6 passed in 1ms

TestWhat it doesResult
test_azuma_widthflaw_azuma is sqrt(2n1ln(1/eps)) to 1e-14 and flaw_eps gives each of the eight bounds an eighth.✅ pass
test_inverse_solvesflaw_inverse inverts the matrix Mizutani Eq. (101) builds from Alice's three Bloch vectors to 4e-15 across the flaw domain.✅ pass
test_printed_entryMizutani Eq. (37)'s repeated third-row entry differs from the sigma_Z cofactor by more than 0.1 and misses the identity by more than 5%.✅ pass
test_region_collapseflaw_errors is the asymptotic estimate over the block plus each coefficient's magnitude against the Azuma width, to a part in 1e10.✅ pass
test_region_pessimisticThe finite phase-error count never falls below the asymptotic one and the gap falls by 10 per two decades of block.✅ pass
test_region_slotsflaw_errors refuses counts that are not six, a negative count, a degenerate pz, an empty block and an eps_ph outside (0, 1).✅ pass