1: \begin{abstract}

2: 

3:     We initiate a study of the following  problem:

4:     Given a continuous domain $\Omega$ along with its convex hull  $\mathcal{K}$, a point $A \in \mathcal{K}$ and a prior measure $\mu$ on $\Omega$, find the probability density over $\Omega$ 

5:     whose marginal is $A$ and that minimizes the KL-divergence to  $\mu$.

6:     This framework gives rise to several extremal distributions that  arise

7:     in mathematics, quantum mechanics, statistics, and theoretical computer science. 

8:     Our  technical contributions  include a polynomial bound on the norm of the optimizer of the dual problem that holds in a very general setting and relies on a  ``balance'' property of the measure $\mu$ on $\Omega$, and exact algorithms for evaluating the dual and its gradient for several interesting settings of $\Omega$ and $\mu$.

9:     Together, along with the ellipsoid method, these results imply polynomial-time algorithms to compute such KL-divergence minimizing distributions in several cases.

10:     Applications of our results include:

11:     1) an optimization characterization of  the Goemans-Williamson measure \cite{GoemansW1995} that is used to round a positive semidefinite matrix to a vector,

12:     2) the computability of the entropic barrier for polytopes studied  by  \cite{BubeckEldan}, and

13:     3) a polynomial-time algorithm to compute the barycentric quantum entropy of a density matrix that was proposed as an alternative to von Neumann entropy in the 1970s  \cite{Band1976,Park1977,SlaterEntropy1}:

14:     this corresponds to the case when  $\Omega$ is the set of rank one projections matrices and $\mu$ corresponds to the  Haar measure on the  unit sphere.

15:     Our techniques generalize to the setting of Hermitian rank $k$ projections using the Harish-Chandra-Itzykson-Zuber formula \cite{HarishChandra1957,IZ1980}, and are applicable even beyond,  to adjoint orbits of compact Lie groups.

16: 

17: \end{abstract}

18: