Oct 15, 2026 Lower-Bounding the Secret Key Rate of Quantum Key Distribution as a Convex Optimization Problem