Lami, L., Hirche, C., Adesso, G., & Winter, A. (in press). From log-determinant inequalities to Gaussian entanglement via recoverability theory. IEEE Transactions on Information Theory, 63(11), https://doi.org/10.1109/TIT.2017.2737546