PostselectTheorem
The postselection theorem as CKR09 and NTZLT print it
7/7 passed in 1ms
| Test | What it does | Result |
|---|---|---|
test_binomial_exact | ps_cost reproduces log2 of the exact integer binomial C(n + x - 1, x - 1). | ✅ pass |
test_cap_above | NTZLT's closed form (e(n + x - 1)/(x - 1))^(x - 1) is at or above the exact cost. | ✅ pass |
test_ckr_power | The exact cost sits under CKR09's printed relaxation g_{n,d} <= (n+1)^(d^2 - 1). | ✅ pass |
test_optical_shape | Eq. (39) is Eq. (38)'s source factor times Eq. (37)'s receiver factor. | ✅ pass |
test_qubit_dim | A qubit pair reduces at x = 16, by NTZLT's d_A^2 d_B^2 and by CKR09's d^2 alike. | ✅ pass |
test_secrecy_form | The composition is NTZLT's sum with the square root, strictly above CKR09's max form. | ✅ pass |
test_three_state | NTZLT Sec. V.2's optical setup reduces at x = 52, by Eq. (37) and by the block form. | ✅ pass |