268 citations · 1.9k across the 55 of their papers we have counts for
4 papers · 1 filter
A chain rule for the quantum relative entropy
Kun Fang, Omar Fawzi, Renato Renner +1
The chain rule for the classical relative entropy ensures that the relative entropy between probability distributions on multipartite systems can be decomposed into a sum of relati…
Learning dynamic polynomial proofs
Alhussein Fawzi, Mateusz Malinowski, Hamza Fawzi +1
Polynomial inequalities lie at the heart of many mathematical disciplines. In this paper, we consider the fundamental computational task of automatically searching for proofs of po…
Bounds on Lyapunov exponents via entropy accumulation
David Sutter, Omar Fawzi, Renato Renner
Lyapunov exponents describe the asymptotic behavior of the singular values of large products of random matrices. A direct computation of these exponents is however often infeasible…
Tight Approximation Bounds for Maximum Multi-Coverage
Siddharth Barman, Omar Fawzi, Suprovat Ghoshal +1
In the classic maximum coverage problem, we are given subsets of a universe along with an integer and the objective is to find a subset $S \subseteq [m]…