1: \begin{abstract}

2:  Finding the minimal relative entropy of two quantum states under semi definite constraints is a pivotal problem located at the mathematical core of various applications in quantum information theory. In this work, we provide a method that addresses this optimisation.   

3: Our primordial motivation stems form the essential task of estimating secret key rates for QKD from the measurement statistics of a real device. Further applications  include the computation of channel capacities, the estimation of entanglement measures from experimental data and many more. 

4:  For all those tasks it is highly relevant to provide  both, provable upper and lower bounds. An efficient method for this is the central result of this work. 

5: 

6: We build on a recently introduced integral representation of quantum relative entropy by P.E. Frenkel \cite{Frenkel2023integralformula} and provide reliable bounds as a sequence  of semi definite programs (SDPs). Our approach ensures provable quadratic order convergence, while also maintaining resource efficiency in terms of SDP matrix dimensions. Additionally, we can provide gap estimates to the optimum at each iteration stage.

7:  

8: %At the core of our work stands a recently described, and pleasingly elegant, integral representation

9: %of the quantum  relative entropy  by P.E. Frenkel \cite{Frenkel2023integralformula}, which we employ in order to formulate the problem of reliably bounding it as an iteration  of semi definite programs (SDP). In contrast to existing techniques, our method comes with a provable convergence guarantee of quadratic order, whilst staying resource efficient with the matrix dimension of the underlying SDPs. We furthermore can provide an estimate for the gap to the optimum at each stage of the iteration.

10:   

11: \end{abstract}

12: