QubitEntropy
Six-state H(X|E), against Rev. Mod. Phys. 81, 1301 (2009) Appendix A
5/5 passed in 1ms
| Test | What it does | Result |
|---|---|---|
test_bound_extremes | A noiseless channel leaves Eve one bit of uncertainty and a random monitor basis leaves none. | ✅ pass |
test_bound_matches | CROSS-ENGINE. Scarani & Renner's closed form equals one minus the Rev. Mod. Phys. Appendix A Holevo bound at the same three error rates, a check across two papers. | ✅ pass |
test_bound_monotone | The bound falls with the monitor-basis rate and RISES with the key-basis rate, putting the compatible set's minimum at the key rate's lower edge. | ✅ pass |
test_bound_physical | A key-basis rate above twice the monitor rate, marginals no Bell-diagonal state has, is refused, the expression still returning numbers there. | ✅ pass |
test_bound_region | Over the WHOLE physical region the bound never falls with the key-basis rate and never rises with the monitor rate, licensing a corner read of the compatible set's minimum. | ✅ pass |