SargDecoy
Infinite-decoy SARG04 against BB84 on the GYS parameters
10/10 passed in 809ms
| Test | What it does | Result |
|---|---|---|
test_bb84_ahead_everywhere | With decoys BB84 beats SARG04 at every distance to 90 km, 10.11 times at 0 km, and reaches over 40 km further. | ✅ pass |
test_cutoff_never_moves_gys | Neither cutoff moves the GYS rate: the two- and one-photon terms die 90.69 km and 110.38 km past where the optimised rate is already zero, and Eq. (39) read literally stays negative to 300 km. | ✅ pass |
test_decoy_layer_transfers | The Ma-Qi-Zhao-Lo inversion in decoy_bounds is protocol-blind: fed SARG04 conclusive gains, it brackets the infinite-decoy Y1, e1 and Q1 from the correct sides. | ✅ pass |
test_distance_upper_bounds | GYS distances where the certified error rates reach their ceilings: e1 = 1/3 at 207.68 km, e2 = 1/6 at 187.99 km, and the two-photon ceiling at 201.4266 km from the printed 0.2265 against 201.4348 km from Theorem 2's | ✅ pass |
test_gys_secure_distance | Fung, Tamaki and Lo's 97.2 km maximum secure distance for decoy SARG04 at the optimal intensity, of which the two-photon term buys 2.72 km. | ✅ pass |
test_optimal_intensity | The optimal mean photon number over 0-75 km is 0.22 for SARG04 and 0.485 for BB84, the two curves of their Fig. 3. | ✅ pass |
test_order_of_transmittance | Both decoy rates are O(eta), but over 25-75 km SARG04's log-log slope against transmittance is 1.166 against BB84's 1.018. | ✅ pass |
test_rate_falls_with_distance | The optimised rate falls with fibre length and is exactly 0.0, never negative, past the maximum distance. | ✅ pass |
test_two_photon_share | The two-photon term is 13.7% of the optimised rate at 0 km and 20.1% at 75 km, their "small contribution at all distances". | ✅ pass |
test_two_photon_uncertified | A three-intensity record admits Y2 = 0: zeroing Y2 and raising Y1 by | ✅ pass |