\section{Discussion}
\label{sec:discussion}

We conclude by discussing natural questions related to self-concordant
barriers for convex cones related to those studied in this paper, and topics for further research
related to the quantum relative entropy cone.

\paragraph{Self-concordant barriers for generalizations of the Lieb-Ando functions}
For a fixed invertible $n\times n$ matrix $K$, let $p\geq q$ and let $s>0$. The functions
\begin{equation}
	\label{eq:psi3}
	(A,B) \mapsto \tr\left[(B^{q/2}K^*A^{p}KB^{q/2})^{s}\right],
\end{equation}
defined on a pair of positive definite $n\times n$ matrices, are
\begin{itemize}
\item jointly concave if $0\leq q\leq p\leq 1$ and $0<s\leq 1/(p+q)$;
\item jointly convex if $-1\leq q\leq p \leq 0$ and $s>0$;
\item jointly convex if $-1\leq q\leq 0$, $1\leq p \leq 2$, $(p,q)\neq (1,-1)$ and $s\geq 1/(p+q)$.
\end{itemize}
This result, in its full generality, is due to Zhang~\cite{zhang2020wigner}. When $s=p+q=1$,
the concave case is due to Lieb~\cite{lieb}, and the convex case is due to Ando~\cite{ando1979concavity}.
For general $s$, an important special case of these functions are the sandwiched R\'enyi divergences~\cite{MDSFT13,WWY13}
\[ (A,B) \mapsto \tr\left[(B^{\frac{1-t}{2t}}K^*AKB^{\frac{1-t}{2t}})^{t}\right]\]
which correspond to the case $p=1$, $q=1/t-1$, and $s=1/(p+q)=t$. These
are jointly concave for $t\in [1/2,1]$ and jointly convex for $t\geq 1$ \cite{frank2013monotonicity,beigi2013sandwiched}.

It would be interesting to find efficiently computable
optimal self-concordant barriers for the closures of the hypo/epigraphs of the functions defined in~\eqref{eq:psi3}
for the full range of parameters where they are concave/convex.
We note that in the special cases where $-1\leq p\leq 1/2$, $q=1-p$ and $s=1$, efficiently computable
logarithmically homogeneous self-concordant barriers with parameter $2n+1$ for these cones can
be obtained as a corollary of Theorem~\ref{thm:main2}.

\paragraph{Trace functions}
Suppose $I\subseteq \mathbb{R}$ is an interval and $f:I\to \mathbb{R}$ is a concave function. The
trace function $\tr f(X) = \sum_{i=1}^{n}f(\lambda_i(X))$,
defined on $n\times n$ Hermitian matrices $X$ with eigenvalues in $I$ is also a concave function. It then
follows that the (scalar) perspective $(x,Y)\mapsto \tr(xf(Y/x))$ is concave and positively
homogeneous of degree one.
In the special case where $f:(0,\infty)\rightarrow \mathbb{R}$ is operator concave, it follows from Theorem~\ref{thm:main2} that $-\log(\tr(xf(Y/x))-z) - \log\det(Y) - \log(x)$ is a self-concordant barrier
with (optimal) barrier parameter $n+2$ for the closure of the hypograph of $(x,Y) \mapsto \tr(x f(Y/x))$.
To see why, observe that choosing $n_1=1$, $n_2=n$, and $\phi(A) = \tr(\bar{A})$ in Theorem~\ref{thm:main2} gives
\[ \phi(P_f(x\otimes I, 1 \otimes \bar{Y})) = \phi (P_f(xI,\bar{Y})) = \tr(\overline{xf(\bar{Y}/x)}) = \tr(xf(Y/x)).\]
This consequence of Theorem~\ref{thm:main2} generalizes~\cite[Proposition 6.1]{coey2021conic}, which deals with the special
case where $f$ has operator monotone derivative.\footnote{A closely related (earlier) result of Faybusovich and Tsuchiya~\cite{faybusovich2017matrix} gives a self-concordant barrier with parameter $n+1$ for the epigraph of $X\mapsto \tr(f(X))$ (without the perspective), where $f$ has operator monotone derivative.} (This is a generalization because for a function $f:(0,\infty)\rightarrow \mathbb{R}$, having operator monotone derivative implies being operator convex~\cite[Exercise V.3.14]{bhatia2013matrix}, but the converse does not hold in general, as the example $f(x) = x^{-1}$ shows.)
For general concave functions that are not operator concave, it is not clear how to construct efficiently
computable optimal self-concordant barriers for the hypographs of the associated trace functions.

\paragraph{Conic optimization with the quantum relative entropy cone}
With the availability of both an optimal self-concordant barrier for the
quantum relative entropy cone, and software for optimization over
nonsymmetric cones that already implements this
barrier~\cite{coey2021performance,karimi2019domain}, the time seems ripe for a more in-depth
study of conic optimization with respect to the quantum relative entropy cone.
This could include: studying the modeling power of lifted representations using
the quantum relative entropy cone, along the lines of the study of
lifted representations using the positive semidefinite
cone~\cite{fawzi2020lifting}; studying the facial structure of the quantum
relative entropy cone; and studying error bounds for the quantum relative
entropy cone, which would generalize the already subtle error bounds for the
exponential cone~\cite{lindstrom2020error}.

\section{Domains of perspectives of operator concave functions}
\label{sec:domainpersp}

Let $g:(0,\infty)\to \mathbb{R}$ be an operator concave function, and let $P_g$ be its noncommutative perspective
$P_g(X,Y) = X^{1/2} g(X^{-1/2} Y X^{-1/2}) X^{1/2}$
defined for positive definite matrices $X$ and $Y$.
The purpose of this section is to give an explicit description of the closure of the hypograph of $P_g$, and related functions.

Recall that to $g$ we can associate the transpose function $\hat{g}(x) = xg(1/x)$ defined on $(0,\infty)$ which satisfies $P_g(X,Y) = P_{\hat g}(Y,X)$ for all $X,Y \succ 0$. The closure of the hypograph of $P_g$ will depend on the behavior of $g$ and $\hat{g}$ as $x\to 0$. We write $g(0^+) = \lim_{x\to 0} g(x)$ and similarly for $\hat{g}(0^+)$. Note that since $g$ and $\hat{g}$ are concave functions we have $g(0^+),\hat{g}(0^+) \in \mathbb{R}\cup \{-\infty\}$.

The following are the two main theorems of this appendix.
\begin{theorem}
\label{thm:maincl1}
	Assume $g:(0,\infty) \to \mathbb{R}$ is operator concave, and let $P_g$ be its noncommutative perspective.
	Let $\phi:\S^n\to \S^m$ be a positive linear map, and let
	\[
	\mathcal{D} = \{(X,Y) \in \S^n_+ \times \S^n_+ : \phi(P_g(X+\epsilon I, Y+\epsilon I)) \text{ is bounded below as } \epsilon\downarrow 0\}.
	\]
	Then for $(X,Y) \in \mathcal{D}$, $\lim_{\epsilon\downarrow0} \phi(P_g(X+\epsilon I, Y+\epsilon I))$ exists, and, for $X,Y\succ 0$ coincides with $\phi(P_g(X,Y))$.
	Extending $\phi \circ P_g$ to $\mathcal{D}$ in this way, we have
	\begin{multline*}
	\cl \{(X,Y,Z) \in \S^n_{++} \times \S^n_{++} \times \S^m : \phi(P_g(X,Y)) \succeq Z\}\\ = \{(X,Y,Z) \in \mathcal{D} \times \S^n : \phi(P_g(X,Y)) \succeq Z\}.
	\end{multline*}

	Furthermore, assuming $\phi$ satisfies\footnote{This condition is obviously satisfied e.g., for the linear maps $\phi(X)=X$ and $\phi(X)=\tr X$.}
	\begin{equation}
	\label{eq:assumptionphi}
	\exists c > 0 : \tr \phi(X) \geq c \tr X \qquad \forall X \succeq 0,
	\end{equation}
	the set $\mathcal{D}$ is equal to the following, according to the limits $g(0^+)$ and $\hat g(0^+)$:

\noindent (i) If $g(0^+) > -\infty$ and $\hat{g}(0^+) > -\infty$, then $\mathcal{D} = \S^n_+ \times \S^n_+$\\
(ii) If $g(0^+) = -\infty$ and $\hat{g}(0^+) > -\infty$ then $\mathcal{D} = \{(X,Y) \in \S^n_+ \times \S^n_+ : X \ll Y\}$\\
(iii) If $g(0^+) > -\infty$ and $\hat{g}(0^+) = -\infty$ then $\mathcal{D} = \{(X,Y) \in \S^n_+ \times \S^n_+ : Y \ll X\}$\\
(iv) If $g(0^+) =  \hat{g}(0^+)=-\infty$ then $\mathcal{D} = \{(X,Y) \in \S^n_+ \times \S^n_+ : \ker(X) = \ker(Y)\}$.
\end{theorem}

\begin{remark}
We note that although $P_g$ is continuous on $\S^n_{++} \times \S^n_{++}$, it is in general \emph{not} continuous on the domain $\mathcal{D}$.
	Consider the case $g(x) = x^{1/2}$ for which $g(0) = \hat{g}(0) = 0$. Thus $\lim_{\epsilon \downarrow 0} P_g(X+\epsilon I, Y+\epsilon I)$ is well-defined for all $X,Y \succeq 0$. If $v,w \in \mathbb{C}^n$ are unit normed, one can show that (see e.g., \cite[Remark 2.3]{fawzi2021defining})
\[
P_g(vv^*,ww^*) = \lim_{\epsilon \downarrow 0} P_g(vv^* + \epsilon I, ww^* + \epsilon I) = \begin{cases} 0 & \text{ if } v\neq w\\
vv^* & \text{ otherwise.}
\end{cases}
\]

\end{remark}

The second main result concerns functions of the form $\phi(P_g(X\otimes I, I\otimes \bar Y))$.

\begin{theorem}
\label{thm:maincl2}
Let $g:(0,\infty)\to \mathbb{R}$ be an operator concave function, and let $P_g$ be its noncommutative perspective.
Let $\Psi:\S^{n^2}\to \mathbb{R}$ be the positive linear map such that $\Psi(X\otimes \bar Y) = \tr(XY)$ for all $X,Y \in \S^n$, and define
\[
Q_g(X|Y) = \Psi(P_g(X\otimes I, I \otimes \bar Y))
	\qquad\textup{for $X,Y \succ 0$}.
	\]
Let

	\mathcal{D} = \{(X,Y) \in \S^n_+ \times \S^n_+ : Q_g(X+\epsilon I|Y+\epsilon I) \text{ is bounded below as } \epsilon\downarrow 0\}.

	 Then for $(X,Y) \in \mathcal{D}$, $\lim_{\epsilon\downarrow0} Q_g(X+\epsilon I| Y+\epsilon I)$ exists, and, for $X,Y\succ 0$,  coincides with $Q_g(X|Y)$.
	Extending $Q_g$ to $\mathcal{D}$ in this way, we have
	\[
	\cl \{(X,Y,z) \in \S^n_{++} \times \S^n_{++} \times \mathbb{R} : Q_g(X|Y) \geq z\} = \{(X,Y,z) \in \mathcal{D} \times \mathbb{R} : Q_g(X|Y) \geq z\}.
	\]

Furthermore, according to the limits $g(0^+)$ and $\hat g(0^+)$, the set $\mathcal{D}$ is given by:

\noindent (i) If $g(0^+) > -\infty$ and $\hat{g}(0^+) > -\infty$, then $\mathcal{D} = \S^n_+ \times \S^n_+$\\
(ii) If $g(0^+) = -\infty$ and $\hat{g}(0^+) > -\infty$ then $\mathcal{D} = \{(X,Y) \in \S^n_+ \times \S^n_+ : X \ll Y\}$\\
(iii) If $g(0^+) > -\infty$ and $\hat{g}(0^+) = -\infty$ then $\mathcal{D} = \{(X,Y) \in \S^n_+ \times \S^n_+ : Y \ll X\}$\\
(iv) If $g(0^+) =\hat{g}(0^+) =  -\infty$ then $\mathcal{D} = \{(X,Y) \in \S^n_+ \times \S^n_+ : \ker(X) = \ker(Y)\}$.
\end{theorem}

\subsection{Preliminaries}

We recall here some results from convex analysis needed to establish Theorems \ref{thm:maincl1} and \ref{thm:maincl2}.

First, it is well-known that if $g:(0,1)\to \mathbb{R}$ is concave then $\lim_{\epsilon\downarrow 0} g(\epsilon)$ exists in $\mathbb{R} \cup \{-\infty\}$. A corollary of the above to matrix concave functions is the following:
\begin{proposition}
Let $\xi:(0,1)\to \S^m$ be $\S^m_+$-concave. Then $\lim_{\epsilon\downarrow0} \xi(\epsilon)$ exists if, and only if, $\xi(\epsilon)$ is bounded below (in the positive semidefinite sense) as $\epsilon\downarrow 0$.
\end{proposition}
\begin{proof}
The implication $\implies$ is obviously true.
Assume conversely that $\xi(\epsilon)$ is bounded below as $\epsilon\downarrow0$. Then for any $v \in \mathbb{C}^n$, the same is true for the concave scalar-valued functions $\xi_v(\epsilon) = v^* \xi(\epsilon) v$, and thus $\lim_{\epsilon\downarrow0} \xi_v(\epsilon)$ is finite for all $v \in \mathbb{C}^n$. This means that the entries of $\xi(\epsilon)$ are all convergent since
\begin{align}
\label{eq:ReHermitian}
	\text{Re} \, \xi(\epsilon)_{pq} &= \frac{1}{2}\left[(e_p+e_q)^* \xi(\epsilon) (e_p+e_q) - e_p^* \xi(\epsilon) e_p - e_q^* \xi(\epsilon) e_q\right]\quad\textup{and}\\
\label{eq:ImHermitian}
	\text{Im} \, \xi(\epsilon)_{pq} &= \frac{1}{2} \left[(e_p-ie_q)^* \xi(\epsilon) (e_p-ie_q) - e_p^* \xi(\epsilon) e_p - e_q^* \xi(\epsilon) e_q\right].
\end{align}
\end{proof}

Recall that if $g$ is a concave function, then the \emph{closure} of $g$ is the function whose hypograph is the closure of the hypograph of $g$ \cite[Page 52]{rockafellar}; alternatively it is the pointwise smallest, upper semi-continuous function that upper bounds $g$. The following fact about the closure of concave functions $g$ will be important to us.

\begin{theorem}[{\cite[Theorem 7.5]{rockafellar}}]
\label{thm:clscalar}
Let $g:C\to \mathbb{R}$ be a concave function defined on an open convex set $C \subset \mathbb{R}^n$. Let $e$ be an arbitrary point in $C$ and let
\[
\mathcal{D} = \{x \in \cl C : g( (1-\epsilon) x + \epsilon e ) \text{ bounded below as } \epsilon\downarrow0 \}.
\]
Then for $x \in \mathcal{D}$, $\lim_{\epsilon\downarrow0} g( (1-\epsilon) x + \epsilon e )$ exists and coincides with $g(x)$ when $x \in C$. Extending $g$ to $\mathcal{D}$ in this way, we have
\[
\cl \left\{ (x,z) \in C \times \mathbb{R} : g(x) \geq z \right\} = \left\{(x,z) \in \mathcal{D}\times \mathbb{R} : g(x) \geq z\right\}.
\]
\end{theorem}
\if0
\begin{proof}
Let's prove that the right-hand side is closed.
Let $(x_k,z_k)$ be a sequence in $\mathcal{D} \times \mathbb{R}$ such that $g(x_k) \geq z$ and $x_k \to x$ and $z_k \to z$.
We show that $x \in \mathcal{D}$.

Let $\beta = \limsup_{k} g(x_k) < +\infty$ since $g$ is concave. Also note that $\beta \geq z > -\infty$.

By definition, $(x,\beta) \in \cl \hypo(g)$.
Furthermore for any $\alpha < g(e)$, we have $(e,\alpha) \in \interior \hypo(g)$.
Hence for any $0 < \epsilon \leq 1$ we have
\[
( (1-\epsilon) x + \epsilon e , (1-\epsilon) \beta + \epsilon \alpha ) \in \interior \hypo(g)
\]
so that
\[
g( (1-\epsilon)x + \epsilon e) > (1-\epsilon) \beta + \epsilon \alpha.
\]
This shows that $g$ is bounded below as $\epsilon \downarrow0$.
Thus $x \in \mathcal{D}$, and $\lim_{\epsilon\downarrow0} g((1-\epsilon) x + \epsilon e) \geq \beta \geq z$ as desired.

To finish we need to show that $\{(x,z) \in \mathcal{D}\times \mathbb{R} : g(x) \geq z\}$ is indeed the closure of $\{(x,z) \in C \times \mathbb{R} : g(x) \geq z\}$. This is obvious, as it suffices to consider for $(x,z)$ in the former, the sequence $(x_k,z_k)$ in the latter defined by $x_k =  (1-k^{-1}) x + k^{-1} e$ and $z_k = g(x_k)+z-g(x) \leq g(x_k)$.
\end{proof}
\fi

We now prove a general version dealing with $\S^n_+$-concave functions.
\begin{theorem}
\label{thm:clmatrix}
Let $\xi:C\to \S^m$ be a $\S^m_+$-concave function defined on an open convex set $C \subset \mathbb{R}^n$. Let $e$ be an arbitrary point in $C$ and let \[
\mathcal{D} = \{x \in \cl C : \xi( (1-\epsilon) x + \epsilon e ) \text{ bounded below as } \epsilon\downarrow0 \}.
\]
Then for $x \in \mathcal{D}$, $\lim_{\epsilon\downarrow0} \xi( (1-\epsilon) x + \epsilon e )$ exists and coincides with $\xi(x)$ when $x \in C$. Extending $\xi$ to $\mathcal{D}$ in this way, we have
\begin{equation}
\label{eq:clxZCSm}
\cl \left\{ (x,Z) \in C \times \S^m : \xi(x) \succeq Z \right\} = \left\{(x,Z) \in \mathcal{D}\times \S^m : \xi(x) \succeq Z\right\}.
\end{equation}
\end{theorem}
\begin{proof}
First we show that the right-hand side of \eqref{eq:clxZCSm} is closed.
Let $(x_k,Z_k) \in \mathcal{D} \times \S^m$ be a sequence converging to $(x,Z)$ such that $\xi(x_k) \succeq Z_k$. We show that necessarily $x \in \mathcal{D}$, and $\xi(x) \succeq Z$. For any $v \in \mathbb{C}^m$, consider the real-valued concave function $\xi_v(x) = v^* \xi(x) v$. Applying Theorem \ref{thm:clscalar} to the function $\xi_v$ and the sequence $(x_k,z_k=v^* Z_k v) \to (x,v^* Z v)$ living in $\hypo(\xi_v)$, we get that $x \in \mathcal{D}_v$ where
\[
\mathcal{D}_v = \left\{ \bar x \in C : v^* \xi((1-\epsilon) \bar x + \epsilon e) v \text{ bounded below as } \epsilon \downarrow 0 \right\}
\]
and that
\begin{equation}
\label{eq:limitvxiv>=vZv}
\lim_{\epsilon \downarrow 0} v^* \xi((1-\epsilon) x + \epsilon e) v \geq v^* Z v.
\end{equation}
Since $v^* \xi((1-\epsilon) x + \epsilon e) v$ has a limit as $\epsilon\downarrow 0$ for all $v$, it follows from \eqref{eq:ReHermitian} and \eqref{eq:ImHermitian} that the matrix $\xi((1-\epsilon) x + \epsilon e)$ has a limit as $\epsilon \downarrow 0$. Furthermore, from \eqref{eq:limitvxiv>=vZv} (true for all $v$) this limit is $\succeq Z$.

Now we show that the right-hand side is indeed the closure of the hypograph of the left-hand side. It suffices to take for $(x,Z) \in \mathcal{D} \times \S^m$ such that $\xi(x) \succeq Z$, the sequence $(x_k,Z_k)$ where $x_k = (1-k^{-1}) x + k^{-1} e$ and $Z_k = \xi(x_k) + Z- \xi(x) \preceq \xi(x_k)$.
\end{proof}

\subsection{Proof of Theorem \ref{thm:maincl1}}

The first part of the theorem is an immediate consequence of Theorem \ref{thm:clmatrix}, using the interior point $e=(I,I) \in \S^n_{++} \times \S^n_{++}$ and the homogeneity of $P_g$
\[
P_g( (1-\epsilon) (X,Y) + \epsilon (I,I) ) = (1-\epsilon) P_g(X+\frac{\epsilon}{1-\epsilon} I, Y+\frac{\epsilon}{1-\epsilon} I)
\]
which implies that $P_g( (1-\epsilon) (X,Y) + \epsilon (I,I) )$ has the same limit as $P_g(X+\epsilon I, Y + \epsilon I)$ when $\epsilon \downarrow 0$.

The second part of the theorem essentially follows from~\cite[Prop. 3.26--3.29]{hiai2017different}, where an explicit formula for the limits in terms of generalized inverses is also given. To make the paper self-contained, and because the proofs of the cited propositions are quite lengthy, we include proofs here as a sequence of short lemmas and corollaries.

\begin{lemma}
\label{lem:monotone1}
Let $g:(0,\infty)\to \mathbb{R}$ be operator concave such that $g(0^+) > -\infty$. Then $(X,Y) \mapsto P_g(X,Y) - g(0^+) X$ is monotone in its first argument.
\end{lemma}
\begin{proof}
The integral representation in \cite[Eq. (2.3)]{hiai2017different} tells us that
\[ g(x) = g(0^+) + ax -bx^2 - \int_{(0,\infty)}\frac{x}{1+s} - \frac{1}{1+sx^{-1}}\;d\mu(s)\]
where $a\in \mathbb{R}$ and $b\geq 0$ and $\int_{(0,\infty)}(1+s)^{-2}\;d\mu(s)<\infty$. Therefore
	\[ P_g(X,Y) = g(0^+)X + aY - bYX^{-1}Y - \int_{(0,\infty)} \frac{1}{1+s}Y - (X^{-1}+sY^{-1})^{-1}\;d\mu(s).\]
	It follows that $P_g(X,Y) - g(0^+)X$ is monotone in its first argument.
\end{proof}

\begin{corollary}
\label{cor:caseg0finite}
Let $g:(0,\infty)\to \mathbb{R}$ be operator concave with $g(0^+) > -\infty$. If $(X,Y) \in \S^n_+ \times \S^n_+$ satisfy $Y \ll X$, then $P_g(X+\epsilon I, Y + \epsilon I)$ is bounded below as $\epsilon \downarrow 0$.
\end{corollary}
\begin{proof}
Assume $Y \ll X$, i.e., there exists $c>0$ such that $X \succeq cY$. By Lemma \ref{lem:monotone1}, $P_g(X,Y) - g(0^+)X$ is monotone in its first argument. Hence,
	\[
			P_g(X+\epsilon I, Y+\epsilon I)  - g(0^+)(X+\epsilon I)  \succeq
			P_g(cY+\epsilon I, Y+\epsilon I) - g(0^+)(cY+\epsilon I).\]
	If $Y = \sum_{i=1}^n \lambda_i v_iv_i^*$ is the spectral decomposition of $Y$, the
	right hand side becomes
		\begin{align*}
			\sum_{i=1}^{n}[(c\lambda_i+\epsilon) g\left((c\lambda_i+\epsilon)/(\lambda_i+\epsilon)\right) - g(0^+)(c\lambda_i+\epsilon)]v_iv_i^* \rightarrow (g(c) - g(0^+))cY
		\end{align*}
as $\epsilon\downarrow0$. This completes the proof.
\end{proof}

\begin{corollary}
\label{cor:caseg0ghat0finite}
Let $g:(0,\infty)\to \mathbb{R}$ be operator concave with $g(0^+) > -\infty$ and $\hat{g}(0^+) > -\infty$. If $(X,Y) \in \S^n_+ \times \S^n_+$, then $P_g(X+\epsilon I, Y+\epsilon I)$ is bounded below as $\epsilon \downarrow 0$.
\end{corollary}
\begin{proof}
By Lemma \ref{lem:monotone1} we know that $P_g(X,Y) - g(0^+) X$ is monotone in $X$. Applying Lemma \ref{lem:monotone1} to $\hat{g}$ which is operator concave, we get that $P_{\hat{g}}(Y,X) - \hat{g}(0^+) Y$ is monotone in $Y$. Using $P_g(X,Y) = P_{\hat g}(Y,X)$ we get that $P_g(X,Y) - g(0^+) X - \hat{g}(0^+) Y = P_h(X,Y)$ where $h(x) = g(x) - g(0^+) - \hat{g}(0^+) x$, is monotone in both arguments since, for any $A,B \succeq 0$,
\[
\begin{aligned}
	P_g(X+A,Y+B) &- g(0^+)(X+A)-\hat g(0^+)(Y+B) \\
	&\succeq P_g(X,Y+B) - g(0^+) X - \hat{g}(0^+)(Y+B)\\
&\succeq P_g(X,Y)-g(0^+) X - \hat{g}(0^+) Y.
\end{aligned}
\]
To conclude, observe that
		\begin{align*}
			P_g(X+\epsilon I,Y+\epsilon I) & = P_h(X+\epsilon I,Y+\epsilon I) + g(0^+)(Y+\epsilon I) + \hat{g}(0^+)(X+\epsilon I)\\
			&\succeq P_h(\epsilon I,\epsilon I) + g(0^+)(Y+\epsilon I) + \hat{g}(0^+)(X+\epsilon I)\\
		& = \epsilon h(1)I + g(0^+)(Y+\epsilon I) + \hat{g}(0^+)(X+\epsilon I)\\
			&\to g(0^+) Y + \hat{g}(0^+) X.
\end{align*}
\end{proof}

\begin{lemma}
\label{lem:caseg0ghat0infinite}
Let $g:(0,\infty)\to \mathbb{R}$ be operator concave with $g(0^+) = \hat{g}(0^+) = -\infty$. If  $(X,Y)\in \S_{+}\times \S_{+}$ satisfy $\ker(X) = \ker(Y)$, then $P_g(X+\epsilon I, Y+\epsilon I)$ is bounded below as $\epsilon \downarrow 0$.
\end{lemma}
\begin{proof}
	Since $\ker(X)=\ker(Y)$ there is a unitary matrix $Q$ such that
	\[ Q^*XQ = \begin{bmatrix}\tilde{X} & 0\\0 & 0\end{bmatrix}\quad\textup{and}\quad
		Q^*YQ = \begin{bmatrix} \tilde{Y} & 0\\0 & 0\end{bmatrix}\]
		where $\tilde{X}$ and $\tilde{Y}$ are positive definite. Then
		\[ P_g(X+\epsilon I,Y+\epsilon I) = Q\begin{bmatrix} P_g(\tilde{X}+\epsilon I,\tilde{Y} + \epsilon I) & 0 \\0 & P_g(\epsilon I,\epsilon I)\end{bmatrix}Q^*\]
		 and so by continuity on the
			positive definite cone,
			$\lim_{\epsilon \downarrow 0} P_g(\tilde{X}+\epsilon I,\tilde{Y} + \epsilon I) = P_g(\tilde{X},\tilde{Y})$. Furthermore,
			$\lim_{\epsilon \downarrow 0} P_g(\epsilon I,\epsilon I) = \epsilon g(1)I = 0$.
\end{proof}

\begin{lemma}
\label{lem:unbounded33}
Let $g:(0,\infty)\to \mathbb{R}$ be operator concave such that $g(0^+) = -\infty$. If $X \not\ll Y$ then $P_g(X+\epsilon I, Y+\epsilon I)$ is unbounded below as $\epsilon \downarrow 0$.\\
More generally, if $\phi:\S^n \to \S^m$ is a positive linear map such that \eqref{eq:assumptionphi} holds, then $\phi(P_g(X+\epsilon I, Y+\epsilon I))$ is unbounded below as $\epsilon\downarrow0$.
\end{lemma}
\begin{proof}
Assume $\ker(Y) \not\subset \ker(X)$. Let $v \in \mathbb{C}^n$ with $\|v\|_2^2 = 1$, such that $x = v^* X v > 0$ and $v^* Y v = 0$.
Since $g$ is operator concave, the \emph{operator Jensen inequality} says that for any $R \in \mathbb{C}^{n\times m}$ such that $R^* R = I_m$ and $X \in \H^n_{++}$,
\[
g(R^*XR) \succeq R^* g(X) R,
\]
see \cite{hansen2003jensen} and \cite[Exercise V.2.2(iii)]{bhatia2013matrix}. If we let $R = \frac{(X + \epsilon I)^{1/2} v}{\|(X + \epsilon I)^{1/2} v\|_2} = \frac{(X + \epsilon I)^{1/2} v}{\sqrt{x+\epsilon}} \in \mathbb{C}^n$ which satisfies $R^* R = 1$ we get
\[
\begin{aligned}
v^* P_g(X+\epsilon I,Y+\epsilon I) v &= (x+\epsilon) R^* g\left((X+\epsilon I)^{-1/2} (Y+\epsilon I) (X+\epsilon I)^{-1/2}\right) R\\
&\leq (x+\epsilon) g(v^*(Y+\epsilon I) v / \|(X+\epsilon I) v\|_2^2)\\
&= (x+\epsilon) g\left(\frac{\epsilon}{x+\epsilon}\right) \to -\infty
\end{aligned}
\]
as $\epsilon \downarrow 0$.
This shows that
$\lim_{\epsilon\downarrow0} \tr P_g(X+\epsilon I, Y+\epsilon I) = -\infty$.

Assume now $\phi$ is a linear map such that \eqref{eq:assumptionphi} holds. We will show that
\[
\lim_{\epsilon\downarrow0} \tr \phi( P_g(X+\epsilon I, Y+\epsilon I)) = -\infty.
\]
Let $\psi(X) = \tr \phi(X) - c \tr X$. Assumption \eqref{eq:assumptionphi} says that $\psi$ is a positive map, and hence $\psi(P_g(X+\epsilon I, Y+\epsilon I))$ is concave in $\epsilon$ and thus has a limit in $\mathbb{R} \cup \{-\infty\}$ as $\epsilon\downarrow0$. It follows that
\[
\tr \phi( P_g(X+\epsilon I, Y+\epsilon I)) = \psi(P_g(X+\epsilon I, Y+\epsilon I)) + c \tr P_g(X+\epsilon I, Y+\epsilon I) \to -\infty
\]
as $\epsilon \downarrow 0$ as desired.
\end{proof}

We can now complete the proof of \ref{thm:maincl1}. For (i) Use Corollary \ref{cor:caseg0ghat0finite}. For
(ii) Use Corollary \ref{cor:caseg0finite} with $\hat{g}$, and Lemma \ref{lem:unbounded33}. For
(iii) Use Corollary \ref{cor:caseg0finite} and Lemma \ref{lem:unbounded33}. For
(iv) Use Lemmas \ref{lem:caseg0ghat0infinite} and \ref{lem:unbounded33}.

\subsection{Proof of Theorem \ref{thm:maincl2}}
\label{app:Q}

The first part of the theorem is identical to the proof of Theorem \ref{thm:maincl1}.
We only focus on the second part.

Note that when $g(0) > -\infty$ and $\hat{g}(0) > -\infty$, then $P_g$ is defined on all pairs of positive semidefinite matrices, and thus so is $Q_g$. This establishes (i).

When $g(0) = -\infty$, we cannot directly obtain the domain of $Q_g$ from that of $P_g$. Indeed, we have seen that in this case, the maximal domain of $P_g$ is $\{(X,Y) : X \ll Y\}$. Observe however that $X\otimes I \ll I \otimes Y$ requires $Y$ to be invertible. We thus need to study $Q_g$ directly. The aim of the next lemma is to
identify the set
\[
\mathcal{D} = \{(X,Y) \in \S^n_+ \times \S^n_+ : Q_g(X+\epsilon I|Y+\epsilon I) \text{ is bounded below as $\epsilon\downarrow0$} \}.\]
\begin{lemma}
	\label{lem:Qdom}
Let $g:(0,\infty) \to \mathbb{R}$ be operator concave with $g(0) = -\infty$ and $\hat{g}(0) > -\infty$, and let $\Psi:\S^{n^2}\to \mathbb{R}$ be the linear map such that $\Psi(X\otimes \bar Y) = \tr(XY)$ for all $(X,Y) \in (\H^n)^2$. Let $(X,Y) \in \S^n_{+} \times \S^n_+$. Then the limit $\lim_{\epsilon\downarrow0} Q_g(X+\epsilon I|Y+\epsilon I)$ is finite if, and only if, $X \ll Y$.
\end{lemma}
\begin{proof}
Let $X = \sum_{i} \lambda_i P_i$ and $Y = \sum_{j} \mu_j Q_j$ be spectral decompositions of $X$ and $Y$, where $P_i$ and $Q_j$ are orthogonal projectors on the respective eigenspaces of $X$ and $Y$ respectively. Note that
\[
\begin{aligned}
(I\otimes Y+\epsilon I)^{-1/2} ((X+\epsilon I)\otimes I) (I\otimes Y+\epsilon I)^{-1/2} &= (X+\epsilon I) \otimes (Y+\epsilon I)^{-1}\\
	&= \sum_{i,j} (\lambda_i + \epsilon) (\mu_j+\epsilon)^{-1} P_i \otimes Q_j.
\end{aligned}
\]
It thus follows that $Q_g(X+\epsilon I|Y+\epsilon I) = \Psi(P_g((X + \epsilon I)\otimes I, I \otimes (Y+\epsilon I))) = \Psi(P_{\hat g}(I\otimes (Y+\epsilon I), (X + \epsilon I) \otimes I))$ is given by
\[
Q_{g}(X+\epsilon I|Y+\epsilon I) = \sum_{ij} (\mu_j+\epsilon) \hat{g}\left( \frac{\lambda_i + \epsilon}{\mu_j+\epsilon} \right) \tr(P_i Q_j).
\]
Let $P^0,Q^0$ be respectively the projectors on $\ker(X)$ and $\ker(Y)$. If we decompose the sum above according to whether the eigenvalues are zero or not, we get:
\begin{align}
	Q_{g}(X+\epsilon I|Y+\epsilon I) &= \sum_{ij:\mu_j > 0,\lambda_i \geq 0} (\mu_j+\epsilon) \hat{g}\left( \frac{\lambda_i + \epsilon}{\mu_j+\epsilon} \right) \tr(P_i Q_j)\\\nonumber
	&\qquad + \sum_{i:\lambda_i > 0} \epsilon \hat{g}\left(\frac{\lambda_i+\epsilon}{\epsilon}\right) \tr(P_i Q^0) +\epsilon \hat{g}(1) \tr(P^0 Q^0).
\label{eq:Qgdecomp}
\end{align}
Now assume that $X\ll Y$. We see that if $\lambda_i > 0$, then $\tr(P_i Q^0) = 0$ since $\ker(Y) \subset \ker(X) = \textrm{im}(X)^{\perp}$. Thus we get in this case:
\[
Q_{g}(X+\epsilon I | Y+\epsilon I) = \sum_{ij:\mu_j > 0,\lambda_i \geq 0} (\mu_j+\epsilon) \hat{g}\left( \frac{\lambda_i+\epsilon}{\mu_j+\epsilon} \right) \tr(P_i Q_j) + \epsilon \hat{g}(1) \tr(P^0 Q^0).
\]
Letting $\epsilon\downarrow0$ we see that this has a finite limit since $\hat{g}(0^+) > -\infty$.

Conversely, assume that $X \not\ll Y$. Then in this case note that the middle terms of \eqref{eq:Qgdecomp} all diverge to $-\infty$ as $\epsilon\downarrow0$ since $\epsilon \hat{g}((\lambda_i+\epsilon)/\epsilon) = (\lambda_i+\epsilon) g(\epsilon/(\lambda_i+\epsilon)) \to -\infty$ as $\epsilon\downarrow0$, by our assumption on $g$.
\end{proof}

The lemma above establishes case (ii) of Theorem \ref{thm:maincl2}. Case (iii) is obtained by applying the lemma above with $\hat{g}$ instead of $g$. Similar arguments establish case (iv).

\section{Introduction}
\label{sec:intro}

Given a pair of Hermitian positive definite matrices $X,Y$, the (Umegaki) quantum relative entropy $D(X|Y)$ is defined as
\begin{equation}
\label{eq:qre}
D(X|Y) = \tr(X \log X - X \log Y),
\end{equation}
where $\log$ denotes the matrix logarithm. The quantum relative entropy is a divergence measure between positive definite matrices that plays an important role in quantum information theory, as well as in other areas such as learning theory \cite{kulis2009low,chandrasekaran2017relative,bach2022information}. A fundamental property about $D(X|Y)$ is that it is jointly convex in $(X,Y)$, a property first established by Lieb and Ruskai \cite{liebruskai} building on an earlier result of Lieb \cite{lieb}.
 The quantum relative entropy belongs to a wider family of divergences between positive definite matrices. For example, Lieb's concavity theorem \cite{lieb} establishes the joint concavity of the functions
\begin{equation}
\label{eq:petzdivergence}
Q_{\alpha}(X|Y) = \tr(X^{\alpha} Y^{1-\alpha}) \qquad (\alpha \in [0,1])
\end{equation}
which are used to define the R\'enyi divergences $D_{\alpha}(X|Y) = \frac{1}{\alpha-1} \log Q_{\alpha}(X|Y)$, which converge to $D(X|Y)$ when $\alpha\to1$.

\paragraph{Noncommutative perspectives} The divergences above are strongly related to the notion of \emph{perspective} of a function. Given a function $g:(0,\infty)\to \mathbb{R}$, its perspective is $P_g(x,y) = xg(y/x)$ defined for $x,y > 0$. It is well-known that if $g$ is concave, then $P_g$ is jointly concave in $(x,y)$. Note that when $g(x) = \log x$, we get $P_g(x,y) = -x\log(x/y)$ is the negative of the (scalar) relative entropy, and when $g(x) = x^{\beta}$, then $P_g(x,y) = x^{1-\beta} y^{\beta}$ is a geometric mean. In this paper, we are concerned with functions that arise from the generalization of the perspective to matrix arguments. The \emph{noncommutative perspective} of $g$ is defined by
\begin{equation}
\label{eq:perspective}
P_g(X,Y) = X^{1/2} g\left(X^{-1/2} Y X^{-1/2}\right) X^{1/2}
\end{equation}
for any $X,Y$ positive definite matrices. We recall that if $X$ is a Hermitian matrix with spectral decomposition $X = \sum_i \lambda_i v_i v_i^*$, then $g(X) = \sum_i g(\lambda_i) v_i v_i^*$. The function $g$ is \emph{operator concave} if it satisfies Jensen's inequality in the positive semidefinite order $\succeq$, i.e., if for all $X,Y$ and $\lambda \in [0,1]$
\[
g(\lambda X + (1-\lambda) Y) \succeq \lambda g(X) + (1-\lambda) g(Y).
\]
When $g$ is operator concave, it can be shown that its perspective $P_g$ is jointly concave in $(X,Y)$, a fact that was established by Effros and generalized by Ebadian et al. \cite{effros2009matrix,ebadian2011perspectives}. The perspective of the logarithm function $g(x) = \log x$ (which is operator concave) corresponds to
\begin{equation}
\label{eq:Plog}
P_{\log}(X,Y) = -X^{1/2} \log(X^{1/2} Y^{-1} X^{1/2}) X^{1/2} \ ,
\end{equation}
which can be interpreted as the negative of an operator-valued relative entropy \cite{fujii1989relative}. Even though \eqref{eq:Plog} is distinct from \eqref{eq:qre} it can be shown \cite{effros2009matrix} that
\begin{equation}
\label{eq:qretensor}
D(X|Y) = -\Psi(P_{\log}(X\otimes I , I\otimes \bar Y))
\end{equation}
where $\Psi$ is an appropriate positive linear map. This shows that joint convexity of $D$ follows from joint concavity of $P_{\log}$.

\paragraph{Self-concordant barriers} The theory of self-concordant functions developed by Nesterov and Nemirovski \cite{nesterovnemirovski} plays a prominent role in convex optimization, and more particularly for interior-point methods. Consider a generic conic optimization problem
\begin{equation}
\label{eq:cp}
\min_x \quad \<c,x\> \quad \text{s.t.} \quad Ax=b, \; x \in K
\end{equation}
where $K \subset \mathbb{R}^n$ is a closed convex cone and $A$ is a linear map. A \emph{self-concordant barrier} for $K$ is a convex function $F$ defined on the interior of $K$, such that $F(x) \to +\infty$ as $x$ approaches the boundary of $K$, and which satisfies a certain upper bound on its third derivative in terms of its second derivative. Equipped with such a function, Nesterov and Nemirovski \cite{nesterovnemirovski} show that
one can obtain an $\epsilon$-approximation to the optimal value of \eqref{eq:cp} in $O(\sqrt{\nu}\,\log(1/\epsilon))$ iterations of a path-following scheme, where $\nu$ is a parameter of the barrier function $F$. This scheme approximately follows the path $x^*(t) = \argmin \{ t \<c,x\> + F(x) : Ax=b \} \to x^*$ as $t\to \infty$ by applying Newton's method. Self-concordant barriers are known for various common convex cones such as the nonnegative orthant $\mathbb{R}^n_+$, the second-order cone, the positive semidefinite cone $\S^n_+$, the exponential cone, and others,
see e.g., \cite[Section 5.4.6]{nesterov2018lectures}.
Implementations of interior-point algorithms have focussed however on a small number of basic cones (essentially the nonnegative orthant, Cartesian products of second-order cones, and the positive semidefinite cone) because of their many symmetries that can be exploited algorithmically \cite{nesterovtodd}, and because most convex constraints that arise in practice can be formulated using these basic cones.
There has been however significant recent advances in developing practical interior-point solvers able to deal with generic convex sets $K$ via calls to a self-concordant barrier of $K$ \cite{karimi2020primal,coey2021performance}.

\paragraph{Quantum relative entropy optimization} Optimization problems involving quantum entropies have attracted interest recently, and several approaches have been developed to deal with these problems.
 The paper \cite{logapprox} showed how one can approximate, to high accuracy, optimization problems involving the quantum relative entropy using semidefinite programming. These approximations allow quantum relative entropy optimization problems to be solved using state-of-the-art algorithms for semidefinite programming. However, because these formulations usually require some form of ``lifting'', the resulting semidefinite program can be much larger than the original problem size; in fact, the semidefinite formulation of the quantum relative entropy function from \cite{logapprox} involves linear matrix inequalities of size $n^2 \times n^2$, resulting from the tensor product formulation in \eqref{eq:qretensor}.\footnote{We note however, that the semidefinite formulation of \eqref{eq:Plog} involves linear matrix inequalities of size $2n\times 2n$ only.}

First-order methods have also been proposed to deal with specific optimization problems involving quantum entropies, such as the computation of quantum capacities, or various notions of quantum entanglement, see e.g., \cite{zinchenko2010numerical,sutter2015efficient,winick2018reliable,quantumblahutarimoto,you2021minimizing}. Recently, a second-order Gauss-Newton method was proposed for the problem of computing the rate of a quantum key distribution protocol (a particular instance of a quantum relative entropy optimization problem) \cite{hu2021robust}, however the method does not come with a quantitative convergence guarantee.

In \cite{faybusovich2020self}, the authors obtained self-concordant barriers for sets of the form $\{(X,Z) : g(X) \succeq Z\}$ for any operator monotone function $g$.
 This implies, in particular, a self-concordant barrier for the epigraph of the relative entropy function $D(X|Y)$, when one of the arguments is fixed. Our results in this paper extend those of~\cite{faybusovich2020self} to all operator concave functions and, more importantly, to their noncommutative perspectives. This ultimately allows us to deal with various relative entropies and divergences.

\paragraph{Contributions} In this paper we give self-concordant barriers for convex sets defined in terms of the quantum relative entropy function, and related functions. Our results  show that one can solve quantum relative entropy optimization, without having to incur the lifting cost associated to semidefinite approximations.
In fact our results open the door to convergence guarantees for interior-point methods for quantum relative entropy optimization.  We note that some of the barriers we consider here have previously been conjectured to be self-concordant in \cite{karimi2019domain}.

Our first main theorem gives a self-concordant barrier for the matrix hypograph of
the noncommutative perspective (defined in~\eqref{eq:perspective}) of any operator concave function $g:(0,\infty)\to \mathbb{R}$.
Here, and throughout, we denote by $\S_{++}^n$ the cone of $n\times n$ Hermitian positive definite matrices,
and say that a linear map $\phi:\S^n\rightarrow \S^m$ is \emph{positive} if $\phi(X) \succeq 0$ whenever $X \succeq 0$.
\begin{theorem}
\label{thm:main1}
Let $g:(0,\infty)\to \mathbb{R}$ be an operator concave function and let $P_g$ be its noncommutative perspective. Let $\phi:\S^n\to\S^m$ be a positive linear map.
Then the function
\begin{equation}
\label{eq:scPg}
	(X,Y,Z) \mapsto -\log \det(\phi(P_g(X,Y)) - Z) - \log\det X - \log \det Y
\end{equation}
	defined on $\S^{n}_{++} \times \S^n_{++} \times \S^m$ is a $(2n+m)$-logarithmically homogeneous
	self-concordant barrier for the closed convex cone
\begin{equation}
\label{eq:clhypo}
	\cl \{(X,Y,Z) \in \S^n_{++} \times \S^n_{++} \times \S^m : \phi(P_g(X,Y)) \succeq Z\}.
\end{equation}
Moreover, this barrier is optimal in the sense that any self-concordant barrier for this cone has parameter at least $2n+m$.
\end{theorem}
\begin{remark}
We remark that the closure of the matrix hypograph \eqref{eq:clhypo} can be computed explicitly depending on the properties of the function $g$. See Remark \ref{rem:domainpersp} and Appendix \ref{sec:domainpersp}.
\end{remark}
In the following corollaries, we specialize the result above to particular classes of functions of interest.
For two positive semidefinite matrices $X,Y$, we use the following notation which will be useful for the rest of the paper
\[
X \ll Y \iff \ker(Y) \subset \ker(X).
\]

First we consider the \emph{Belavkin-Staszewski relative entropy} function \cite{bsentropy}
\begin{equation}
\label{eq:DBS}
D_{BS}(X|Y) = \tr(X \log(X^{1/2} Y^{-1} X^{1/2}))
\end{equation}
which is jointly convex with domain $\{(X,Y) \in \S^n_+ \times \S^n_+ :X \ll Y \}$. We note that $D_{BS}(X|Y)$ and $D(X|Y)$ are distinct functions, even though they coincide when $X$ and $Y$ commute.
\begin{corollary}
	\label{cor:DBS}
Consider the epigraph of the Belavkin-Staszewski relative entropy function
\[
\epi(D_{BS}) = \{(X,Y,z) \in \S^n_+ \times \S^n_+ \times \mathbb{R} : X \ll Y \text{ and } D_{BS}(X|Y) \leq z\} \ ,
\]
which is a closed convex set.
Then the function $(X,Y,z) \mapsto -\log(z - D_{BS}(X|Y)) - \log \det X - \log \det Y$ defined on $\S^n_{++} \times \S^n_{++} \times \mathbb{R}$ is a $(2n+1)$-logarithmically homogeneous self-concordant barrier for $\epi(D_{BS})$.
	Moreover, this barrier is optimal in the sense that any self-concordant barrier for $\epi(D_{BS})$
	has parameter at least $2n+1$.
\end{corollary}
The next corollary deals with the  functions
\[
\hat{Q}_{\alpha}(X|Y) = \tr(X (X^{-1/2} Y X^{-1/2})^{1-\alpha}),
\]
which are concave for $\alpha \in [0,1]$ and convex for $\alpha \in [-1,0]\cup [1,2]$, and are used to define the geometric or maximal R\'enyi divergences \cite{matsumoto,fang2021geometric}.
\begin{corollary}
	\label{cor:R}{}
\begin{itemize}
\item For $\alpha \in [0,1]$, $\hat{Q}_{\alpha}$ is well-defined and concave on $\S^n_+ \times \S^n_+$. The function $(X,Y,z) \mapsto -\log(\hat{Q}_{\alpha}(X|Y) - z) - \log \det X - \log \det Y$ defined on $\S^n_{++} \times \S^n_{++} \times \mathbb{R}$ is a $(2n+1)$-logarithmically homogeneous self-concordant barrier for
\[
\hypo(\hat{Q}_{\alpha}) = \{(X,Y,z) \in \S^n_+ \times \S^n_+ \times \mathbb{R} : \hat{Q}_{\alpha}(X|Y) \geq z\}.
\]
		Moreover, this barrier is optimal in the sense that any self-concordant barrier for $\hypo(\hat{Q}_{\alpha})$
	has parameter at least $2n+1$.
\item For $\alpha \in [-1,0) \cup (1,2]$, $\hat{Q}_{\alpha}$ is well-defined and convex on
\[
\hat{\mathcal{D}}_{\alpha} = \begin{cases}
	\{(X,Y) \in \S^n_+ \times \S^n_+ : Y \ll X\} & \textup{for $\alpha \in [-1,0)$}\\
	\{(X,Y) \in \S^n_+ \times \S^n_+ : X \ll Y\} & \textup{for $\alpha \in (1,2]$}.
\end{cases}
\]
The function $(X,Y,z) \mapsto -\log(z - \hat{Q}_{\alpha}(X|Y)) - \log \det X - \log \det Y$ defined on $\S^n_{++} \times \S^n_{++} \times \mathbb{R}$ is a $(2n+1)$-self-concordant barrier for
\[
\epi(\hat{Q}_{\alpha}) = \{(X,Y,z) \in \S^n_+ \times \S^n_+ \times \mathbb{R} : (X,Y) \in \hat{\mathcal{D}}_{\alpha} \text{ and } \hat{Q}_{\alpha}(X|Y) \leq z\}.
\]
		Moreover, this barrier is optimal in the sense that any self-concordant barrier for $\epi(\hat{Q}_{\alpha})$
	has parameter at least $2n+1$.
\end{itemize}
\end{corollary}

The next theorem allows us to obtain self-concordant barriers for the quantum relative entropy \eqref{eq:qre}, and more generally for functions of the same form as \eqref{eq:qretensor}.
\begin{theorem}
\label{thm:main2}
	Let $g:(0,\infty)\to \mathbb{R}$ be an operator concave function, and let $P_g$ as in \eqref{eq:perspective} be its noncommutative perspective. Let $\phi:\S^{n_1n_2} \to \S^m$ be a positive linear map and consider the (concave) function $Q_g^\phi:\S_{++}^{n_1}\times \S_{++}^{n_2}\rightarrow \S^m$ defined by
\begin{equation}
\label{eq:Qgdef}
	Q_g^{\phi}(X|Y) = \phi(P_g(X\otimes I, I \otimes \bar Y)).
\end{equation}
Then the function
\begin{equation}
\label{eq:scQg}
(X,Y,Z) \mapsto -\log\det(Q_g^\phi(X|Y)-Z) -\log \det X - \log \det Y
\end{equation}
	is a $(n_1+n_2+m)$-logarithmically homogeneous self-concordant barrier for
\[
	\cl\hypo(Q_g^\phi) = \cl \left\{(X,Y,Z) \in \S^{n_1}_{++}\times \S^{n_2}_{++} \times \S^m : Q_g^\phi(X|Y) \succeq Z \right\}.
\]
	Moreover,
	this barrier is optimal in the sense that any self-concordant barrier for $\cl\hypo(Q_{g}^\phi)$
	has parameter at least $n_1+n_2+m$.
\end{theorem}
\begin{remark}
	In Theorem~\ref{thm:main2}, the notation $\bar{Y}$ denotes the entry-wise complex conjugate of the
	Hermitian matrix $Y$. We have stated \eqref{eq:Qgdef} in this way because the
	positive linear map $\Psi$ that sends $X\otimes \bar{Y}$ to $\tr(XY)$ plays a particularly important role
	in the applications of this result that follow.
	(In the paragraph related to Kronecker products in Section~\ref{sec:prelim} we discuss this positive linear map further, and
	will see why the entry-wise complex conjugate appears.)
\end{remark}
We obtain the quantum relative entropy, and the divergences \eqref{eq:petzdivergence} as a special case when $g$ is respectively the logarithm function, and the  power functions.
\begin{corollary}
	\label{cor:qre}
Let $D(X|Y) = \tr(X\log X - X \log Y)$ be the quantum relative entropy function defined for positive semidefinite matrices $X,Y \in \S^n_+$ such that $X \ll Y$, and consider its epigraph
\[
\epi(D) = \{(X,Y,z) \in \S^n_+ \times \S^n_+ \times \mathbb{R} : X \ll Y \text{ and } D(X|Y) \leq z\}.
\]
Then the function $(X,Y,z) \mapsto -\log(z - D(X|Y)) - \log \det X - \log \det Y$ defined on $\S^n_{++} \times \S^n_{++} \times \mathbb{R}$ is a $(2n+1)$-logarithmically homogeneous self-concordant barrier for $\epi(D)$.
		Moreover, this barrier is optimal in the sense that any self-concordant barrier for $\epi(D)$
	has parameter at least $2n+1$.
\end{corollary}
The next corollary deals with the  functions

Q_{\alpha}(X|Y) = \tr(X^{\alpha} Y^{1-\alpha})

which are concave for $\alpha \in [0,1]$ and convex for $\alpha \in [-1,0]\cup [1,2]$, and are used to define the Petz R\'enyi divergences \cite{petz1986quasi} (see also \cite[Section 4.4]{tomamichel2015quantum}).
\begin{corollary}
	\label{cor:Qalpha}
\begin{itemize}
\item For $\alpha \in [0,1]$, $Q_{\alpha}$ is well-defined and concave on $\S^n_+ \times \S^n_+$. The function $(X,Y,z) \mapsto -\log(Q_{\alpha}(X|Y) - z) - \log \det X - \log \det Y$ defined on $\S^n_{++} \times \S^n_{++} \times \mathbb{R}$ is a $(2n+1)$-logarithmically homogeneous self-concordant barrier for
\[
\hypo(Q_{\alpha}) = \{(X,Y,z) \in \S^n_+ \times \S^n_+ \times \mathbb{R} : Q_{\alpha}(X|Y) \geq z\}.
\]
		Moreover, this barrier is optimal in the sense that any self-concordant barrier for $\hypo(Q_{\alpha})$
	has parameter at least $2n+1$.
\item For $\alpha \in [-1,0) \cup (1,2]$, $Q_{\alpha}$ is well-defined and convex on
\[
\mathcal{D}_{\alpha} = \begin{cases}
	\{(X,Y) \in \S^n_+ \times \S^n_+ : Y \ll X\} & \textup{for $\alpha \in [-1,0)$}\\
	\{(X,Y) \in \S^n_+ \times \S^n_+ : X \ll Y\} & \textup{for $\alpha \in (1,2]$}.
\end{cases}
\]
The function $(X,Y,z) \mapsto -\log(z - Q_{\alpha}(X|Y)) - \log \det X - \log \det Y$ defined on $\S^n_{++} \times \S^n_{++} \times \mathbb{R}$ is a $(2n+1)$-logarithmically homogeneous self-concordant barrier for
\[
\epi(Q_{\alpha}) = \{(X,Y,z) \in \S^n_+ \times \S^n_+ \times \mathbb{R} : (X,Y) \in \mathcal{D}_{\alpha} \text{ and } Q_{\alpha}(X|Y) \leq z\}.
\]
		Moreover, this barrier is optimal in the sense that any self-concordant barrier for $\epi(Q_{\alpha})$
	has parameter at least $2n+1$.
\end{itemize}
\end{corollary}

\section{Preliminaries}
\label{sec:prelim}

In this section we summarize necessary preliminary background and notation related to self-concordant functions and barriers, matrix
monotone and matrix concave functions, and the noncommutative perspective operation.

\paragraph{Directional derivatives} If $E$ and $F$ are two real vector spaces, and $f:\dom f \subset E\to F$ is a $C^k$ function defined on an open subset $\dom f \subset E$, we define
\[
D^k f(x)[h] = \left.\frac{d^k}{dt^k} f(x+th)\right|_{t=0}
\]
for $x \in \dom f$ and $h\in E$. Note that $D^k f(x)[h]$ is homogeneous of degree $k$ in $h$, i.e., $D^1 f(x)[h]$ is linear, $D^2 f(x)[h]$ is quadratic, etc. The Taylor expansion tells us that
\[
f(x+h) = f(x) + D^1 f(x)[h] + \frac{1}{2} D^2 f(x)[h] + \dots + \frac{1}{k!} D^k f(x)[h] + O(h^{k+1}).
\]

\paragraph{Self-concordant functions and barrier} A convex function $f:\mathbb{R}^n\to \mathbb{R} \cup \{+\infty\}$ is \emph{self-concordant} \cite[Def. 5.1.1]{nesterov2018lectures} if the following three conditions hold:
\begin{itemize}
\item $\dom(f) = \{x \in \mathbb{R}^n : f(x) < +\infty\}$ is open
\item $\epi(f) = \{(x,t) \in \mathbb{R}^n \times \mathbb{R} : f(x) \leq t\}$ is closed
\item $f$ is $C^3$ on its domain and
\begin{equation}
\label{eq:scdef}
|D^3 f(x)[h]| \leq 2 (D^2 f(x)[h])^{3/2}
\end{equation}
for all $x \in \dom(f)$ and all $h \in \mathbb{R}^n$.
\end{itemize}
We say that it is a \emph{barrier} for the closed convex set $Q \subset \mathbb{R}^n$ if $\cl(\dom f) = Q$; moreover, we say that it is a $\nu$-barrier \cite[Def. 5.3.2]{nesterov2018lectures} if
\[
2 Df(x)[h] - D^2 f(x)[h] \leq \nu
\]
for all $x \in \dom(f)$ and $h \in \mathbb{R}^n$.
When $\dom(f)$ is a convex cone, we say that $f$ is $\nu$-\emph{logarithmically homogeneous} \cite[Def. 5.4.1]{nesterov2018lectures} if
\[
f(\tau x) = f(x) - \nu \log \tau\quad \forall x \in \dom(f) \text{ and } \tau > 0.
\]
If $f$ is $\nu$-logarithmic homogeneous then it is automatically a $\nu$-barrier \cite[Lem. 5.4.3]{nesterov2018lectures}. Note that if $\mathcal{A}:\mathbb{R}^m\to \mathbb{R}^n$ is a linear map, and $f$ is self-concordant, then so is $f\circ \mathcal{A}:\mathbb{R}^m\to \mathbb{R}$ with domain $\mathcal{A}^{-1}(\dom f)$. Furthermore, if $f$ is a $\nu$-barrier for $\cl \dom f$, then $f \circ \mathcal{A}$ is a $\nu$-barrier for $\cl(\mathcal{A}^{-1}(\dom f))$  \cite[Thm 5.3.3]{nesterov2018lectures}.

\begin{example}
\label{ex:-logdet}
Consider the function $f(X) = -\log \det X$ defined on $\S^n_{++}$. For this $f$, if
	we let $A = X^{-1/2} H X^{-1/2}$ then we have
\[
\begin{aligned}
Df(X)[H] &= -\tr(X^{-1} H) = -\tr(A)\\
D^2 f(X)[H] &= \tr(X^{-1} H X^{-1} H) = \|A\|_F^2\\
D^3 f(X)[H] &= -2\tr(X^{-1} H X^{-1} H X^{-1} H) = -2\tr(A^3).
\end{aligned}
\]
Self-concordance follows from the fact that $|\tr(A^3)|^{1/3} \leq |\tr(A^2)|^{1/2}$. Also we see that $f$ is $n$-logarithmically homogeneous.
\end{example}

\paragraph{Matrix monotone and matrix concave functions} If $g:I\to \mathbb{R}$ where $I\subset \mathbb{R}$ is an interval, and $X$ is a Hermitian matrix with spectral decomposition $X = \sum_{i} \lambda_i v_i v_i^*$ with eigenvalues $\lambda_i \in I$ for all $i$, we let $g(X) = \sum_{i} g(\lambda_i) v_i v_i^*$. We say that $g$ is \emph{operator monotone} if
\[
X \succeq Y \implies g(X) \succeq g(Y).
\]
We say that $g$ is \emph{operator concave} if for all $X,Y$ and $\lambda \in [0,1]$,
\[
g(\lambda X + (1-\lambda) Y) \succeq \lambda g(X) + (1-\lambda) g(Y).
\]
In this paper we are going to be concerned with functions $g:(0,\infty)\to \mathbb{R}$
that are operator concave. Important examples of operator concave functions
are $g(x) = \log x$, $g(x) = x^{\alpha}$ for $\alpha \in [0,1]$ and $g(x) =
-x^{\alpha}$ for $\alpha \in [-1,0]$. These functions happen to be operator
monotone too. However not all operator concave functions are operator monotone,
for example the functions $g(x)=-x^{\alpha}$ for $\alpha \in (1,2]$ are
operator concave but not operator monotone. Note, also, that monotone functions need not
be operator monotone, and that concave functions need not be operator concave. For example
$-e^{-x}$ is montone and concave, but is neither operator monotone nor operator concave on any interval.
Although we mostly focus on examples
related to the logarithm and power functions, the class of operator concave functions
includes other interesting examples, such as the negative of the
log gamma function~\cite{uchiyama2010operator}.

The following theorem shows that any operator concave function $g:(0,\infty)\to \mathbb{R}$ can be expressed as an integral of rational functions.
\begin{theorem}[{\cite[Theorem 5.1(ii)]{franz2014higher}}]
\label{thm:intrep}
	If $g:(0,\infty)\to \mathbb{R}$ is operator concave\footnote{The reference \cite{franz2014higher} uses the terminology of operator $k$-tone functions. Operator convexity is the same as being operator 2-tone, see paragraph before Lemma 1.5 in the cited reference.}, then $g$ is analytic and there is a positive measure $\mu$ on $[0,\infty)$ satisfying $\int_{[0,\infty)} (1+s)^{-3} d\mu(s) < +\infty$ and a constant $\gamma \geq 0$ such that
\begin{equation}
\label{eq:intrep}
g(x) = g(1) + g'(1)(x-1) - \gamma (x-1)^2 - \int_{[0,\infty)} \frac{1}{(1+s)^2}\frac{(x-1)^2}{x+s} d\mu(s) \qquad \forall x > 0.
\end{equation}
\end{theorem}
Note that the integrand is equal to
\begin{equation}
\label{eq:integrand}
-\frac{1}{(1+s)^2}\frac{(x-1)^2}{x+s} = -\frac{x-2-s}{(1+s)^2}-\frac{1}{x+s},
\end{equation} which is operator concave for any $s \geq 0$. The theorem above tells us that any operator concave function is essentially an (infinite) conic combination of such functions, together with the constant function, the linear function $x-1$, and the quadratic function $-(x-1)^2$ which is known to be operator concave.

\paragraph{Noncommutative perspective} If $g:(0,\infty) \to \mathbb{R}$, we define the noncommutative perspective of $g$ by
\begin{equation}
\label{eq:perspective2}
P_g(X,Y) = X^{1/2} g\left(X^{-1/2} Y X^{-1/2}\right) X^{1/2}
\end{equation}
for any $X,Y$ Hermitian positive definite matrices. This generalizes the perspective for scalar arguments $P_g(x,y) = xg(y/x)$. If $g$ is operator concave, then it has been shown \cite{effros2009matrix,ebadian2011perspectives} that $P_g$ is jointly operator concave in $(X,Y)$, in the sense that
\begin{equation}
\label{eq:supadd}
P_g( X_1+X_2, Y_1 + Y_2 ) \succeq P_g(X_1,Y_1) + P_g(X_2,Y_2).
\end{equation}
Note that $P_g$ is $1$-homogeneous, and so concavity is equivalent to the inequality above.
The \emph{transpose} of $g$ is defined by $\hat{g}(x) = xg(1/x)$. If $g$ is operator concave, then $\hat{g}$ is operator concave too, and we have, for all $X, Y \succ 0$
\begin{equation}
\label{eq:transposeid}
P_g(X,Y) = P_{\hat g}(Y,X),
\end{equation}
see e.g., \cite[Lemma 2.1]{hiai2017different}.

\begin{remark}[Domain of the matrix perspective]
\label{rem:domainpersp}
So far, we have restricted the domain of $P_g$ to pairs of positive definite matrices $(X,Y)$. Depending on the function $g$, the domain can be extended to ensure closedness of the hypograph of $P_g$. This is treated in detail in Appendix \ref{sec:domainpersp}. In summary, four cases need to be considered, depending on whether $g(0^+):=\lim_{x\to0} g(x)$ and $\hat{g}(0^+)=\lim_{x\to0} \hat{g}(x)$ are finite or infinite:
\begin{itemize}
\item If both $g(0^+)$ and $\hat{g}(0^+)$ are finite (such as $g(x) = x^{\alpha}$ for $\alpha \in [0,1]$), then $P_g$ can be extended to all pairs of positive semidefinite matrices.
\item If $g(0^+) = -\infty$ and $\hat{g}(0^+)$ is finite (such as $g(x) = \log x$ or $g(x) = -x^{\alpha}$ for $\alpha \in [-1,0)$), then $P_g$ can be extended to all pairs $(X,Y)$ such that $X \ll Y$, i.e., $\ker(Y) \subset \ker(X)$.
\item If $g(0^+)$ is finite and $\hat{g}(0^+) = -\infty$ (such as $g(x) = -x^{\alpha}$ for $\alpha \in (1,2]$), then $P_g$ can be extended to all pairs $(X,Y)$ such that $Y \ll X$.
\item Finally if both $g(0^+)$ and $\hat g(0^+)$ are infinite (such as $g(x)=-x^\alpha - x^{1-\alpha}$ for $\alpha\in (1,2]$), then $P_g$ can be extended to all pairs $(X,Y)$ such that $\ker(X) = \ker(Y)$.
\end{itemize}
\end{remark}

\paragraph{Kronecker products} The Kronecker product of two  matrices $X \in \mathbb{C}^{m_1\times n_1}$ and $Y \in \mathbb{C}^{m_2 \times n_2}$ is denoted $X\otimes Y \in \mathbb{C}^{m_1 m_2 \times n_1 n_2}$ and defined by
\[
(X \otimes Y)_{i_1 i_2, j_1,j_2} = X_{i_1 j_1} Y_{i_2 j_2}, \quad 1\leq i_1 \leq m_1, \; 1\leq i_2 \leq m_2,  \; 1\leq j_1 \leq n_1,  \; 1\leq j_2 \leq n_2.
\]
If $X$ and $Y$ are Hermitian, with eigenvalue decompositions $X = U_1 \Lambda_1 U_1^*$ and $Y=U_2 \Lambda_2 U_2^*$, where $U_1,U_2$ are unitaries and $\Lambda_1,\Lambda_2$ diagonal, then $X\otimes Y$ is Hermitian with eigenvalue decomposition
\[
X\otimes Y = (U_1 \otimes U_2) (\Lambda_1 \otimes \Lambda_2) (U_1 \otimes U_2)^*.
\]
As such if $X,Y \succeq 0$, then $X\otimes Y \succeq 0$, and if $X,Y \succ 0$ then $X\otimes Y \succ 0$. In this case we get for any $\alpha \in \mathbb{R}$, $(X\otimes Y)^{\alpha} = X^{\alpha} \otimes Y^{\alpha}$ and $\log(X\otimes Y) = \log(X) \otimes I + I\otimes \log(Y)$.

If we let $\psi \in \mathbb{C}^{n^2}$ be defined by $\psi_{i_1i_2} = 1$ if $i_1=i_2$ and $0$ otherwise (i.e., $\psi$ is obtained from the $n\times n$ identity matrix by stacking the columns in an $n^2$-vector), then for any $X,Y \in \mathbb{C}^{n\times n}$ we have
\begin{equation}
\label{eq:eXYe}
\psi^*(X\otimes Y) \psi = \sum_{1\leq i,j \leq n} X_{ij} Y_{ij}.
\end{equation}
We define the linear map $\Psi:\H^{n^2}\to \mathbb{R}$ by
\begin{equation}
\label{eq:pZ}
\Psi(Z) = \psi^* Z \psi
\end{equation}
and note the following two important properties which will be useful for rest of the paper: $\Psi(Z) \geq 0$ for any $Z \in \H^{n^2}_+$ and for any $X,Y \in \H^n$, we have
\begin{equation}
\label{eq:propp}
\Psi(X\otimes \bar Y) = \sum_{1\leq i,j\leq n} X_{ij} Y_{ji} = \tr(XY).
\end{equation}

\section{Proofs}
\label{sec:pfs}

In this section we prove Theorems \ref{thm:main1} and~\ref{thm:main2}, as well as Corollaries~\ref{cor:DBS},~\ref{cor:R},~\ref{cor:qre}, and~\ref{cor:Qalpha}. The strategy of the argument is summarized in Section~\ref{sec:nesterov} and the key technical conditions that need to be checked for the construction of the barriers are in Section~\ref{sec:compat}. The proofs of Theorems~\ref{thm:main1}
and~\ref{thm:main2} also appear in Section~\ref{sec:compat}, with the exception of the proofs of the lower bounds on the barrier parameters. These appear in Section~\ref{sec:lb}, which is devoted to establishing
tight lower bounds on the barrier parameters for the self-concordant barriers we construct.
Finally, in Section~\ref{sec:pfassembly}, we show how to specialize Theorems~\ref{thm:main1} and~\ref{thm:main2} to establish
Corollaries~\ref{cor:DBS},~\ref{cor:R},~\ref{cor:qre}, and~\ref{cor:Qalpha}.

\subsection{The compatibility condition of Nesterov}
\label{sec:nesterov}
Our arguments make crucial use of a result of Nesterov (Theorem~\ref{thm:nesterov}, to follow) concerning barriers for the hypographs of functions that satisfy the following generalized concavity property.
\begin{definition}
	Let $E$ be a finite-dimensional real vector space. A function $\xi:\dom\xi \subset E\to \S^m$ is \emph{$\S^m_+$-concave} if
\[
	\xi(\lambda x + (1-\lambda)y) \succeq \lambda \xi(x) + (1-\lambda) \xi(y)
\]
	for all $\lambda\in [0,1]$ and $x,y\in \dom\xi$.
\end{definition}
Note that if $\dom \xi$ is open, and $\xi:\dom\xi\subset E \to\S^m$ is $C^2$ on its domain, then $\xi$ is $\S_+^m$-concave if and only if $D^2\xi(x)[h] \preceq 0$ for all $x\in \dom \xi$ and all $h\in E$.
The \emph{hypograph} of an $\S_+^m$-concave
function $\xi$ is the convex set
\begin{equation}
\label{eq:hypo}
\hypo(\xi) = \left\{ (x,z) \in \dom \xi \times \S^m : \xi(x) \succeq z \right\}.
\end{equation}
Nesterov's result establishes self-concordance for a natural barrier function associated to the
hypograph of any $\S_+^m$-concave function $\xi$, provided the following  compatibility condition is satisfied.
\begin{definition}
Let $E$ be a finite-dimensional real vector space, and let $\xi:\dom \xi \subset E \to \S^m$
	be a $C^3$, $\S^m_+$-concave function defined on an open domain $\dom \xi \subset E$.
	Let $F$ be a self-concordant barrier for $\cl \dom \xi$. We say that $\xi$ is \emph{$\beta$-compatible with $F$}, if there is a constant $\beta \geq 1$ such that
\begin{equation}
\label{eq:compat}
D^3 \xi(x)[h] \preceq 3 \beta (D^2 F(x)[h])^{1/2} (-D^2 \xi(x)[h])
\end{equation}
for all $x \in \dom(\xi)$ and all $h\in E$.
\end{definition}

\begin{theorem}[{\cite[Theorem 5.4.4]{nesterov2018lectures}}]
	\label{thm:nesterov}
Let $E$ be a finite-dimensional real vector space, and let $\xi:\dom \xi \subset E \to \S^m$ be a $C^3$
	$\S^m_+$-concave function defined on an open domain $\dom \xi \subset E$.
If $F$ is a self-concordant barrier for $\cl \dom \xi$ with parameter $\nu$, and $\xi$ is $\beta$-compatible with $F$,
then $(x,z)\mapsto -\log \det(\xi(x) - z) + \beta^3 F(x)$ is a self-concordant barrier for $\cl \hypo(\xi)$ with parameter $m+\beta^3 \nu$.
\end{theorem}
The usefulness of the theorem above lies in the remarkable properties of the compatibility condition \eqref{eq:compat}.
First, we see that \eqref{eq:compat} is \emph{linear} in $\xi$. This means that if $(\xi_s)$ is a family of functions defined on the same domain which are all $\beta$-compatible with $F$ (a self-concordant barrier for the closure of their domain), then for any appropriate positive measure $\mu$, the function $\xi(x) = \int \xi_s(x) d\mu(s)$ is also $\beta$-compatible with $F$. The theorem then automatically gives a self-concordant barrier for the hypograph of $\xi(x)$. This fact, together with the integral representation of operator concave functions (Theorem~\ref{thm:intrep}), allows us to focus
on establishing the compatibility condition for functions of the form
\begin{equation}
	\label{eq:xis}
\xi_s(X,Y) = -X(Y+sX)^{-1}X
\end{equation}
where $s\geq 0$. Note that $\xi_s(X,Y)$ is exactly the perspective of $x\mapsto -\frac{1}{x+s}$.

Second, it can be shown that the compatibility condition behaves well under composition with positive linear maps. This is shown in the next proposition:
\begin{proposition}
	\label{prop:compat-pos}
	Let $E$ be a finite-dimensional real vector space, and let $\xi:\dom \xi \subset E \to \S^m$ be a $C^3$
	$\S^m_+$-concave function defined on an open domain $\dom \xi \subset E$.
	Let $F$ be a self-concordant barrier for $\cl \dom \xi$ such that $\xi$ is $\beta$-compatible with $F$.  If $\phi:\S^m\rightarrow \S^k$ is a positive linear map then $\phi\circ \xi : \dom \xi \to \S^k$
	is $\S_+^k$-concave and is $\beta$-compatible with $F$.
\end{proposition}
\begin{proof}
	First, we note that $D^k(\phi \circ \xi)(x)[h] = \phi(D^k \xi(x)[h])$ for all $x\in \dom\xi$, all $h\in E$, and all $k\geq 0$.
	To see that $\phi\circ \xi$ is $\S_+^k$-concave,
	we observe that $D^2(\phi\circ \xi)(x)[h] = \phi(D^2\xi(x)[h]) \preceq 0$ for all $x\in \dom\xi$ and all $h\in E$, because $\phi$
	is positive and $\xi$ is $\S_+^m$-concave. To see that $\phi\circ \xi$ is $1$-compatible with $F$, we simply apply
	$\phi$ to both sides of the compatibility condition for $\xi$~\eqref{eq:compat} to give the compatibility condition for $\phi\circ \xi$.
\end{proof}

We now show how the required compatibility condition for the main classes of functions we consider in this paper
follow from the compatibility condition for the functions $\xi_s$ for $s\geq 0$ defined in \eqref{eq:xis}.
\begin{proposition}
	\label{prop:conic}
	Let $F_{n_1,n_2}:\S^{n_1}_{++} \times \S^{n_2}_{++} \to \mathbb{R}$, $F_{n_1,n_2}(X,Y) = -\log\det(X) - \log\det(Y)$, which is a self-concordant barrier for $\S_+^{n_1}\times \S_+^{n_2}$ for any $n_1,n_2 \geq 1$.
\begin{itemize}
	\item If $(X,Y) \in \S^{n}_{++} \times \S^{n}_{++} \mapsto \xi_s(X,Y)$ is $1$-compatible with $F_{n,n}$ for all $s\geq 0$ then $(X,Y)\mapsto \phi(P_g(X,Y))$ is $1$-compatible with $F_{n,n}$ for all operator concave functions $g:(0,\infty)\to\mathbb{R}$ and all positive maps $\phi:\S^n\rightarrow \S^m$.
	\item If $(X,Y) \in \S^{n_1}_{++} \times \S^{n_2}_{++}\mapsto \xi_s(X\otimes I,I\otimes \bar Y)$ is $1$-compatible with $F_{n_1,n_2}$ for all $s\geq 0$ then $(X,Y)\mapsto \phi(P_g(X\otimes I,I\otimes \bar Y))$ is $1$-compatible with $F_{n_1,n_2}$ for all operator concave functions $g:(0,\infty)\to\mathbb{R}$ and all positive
		maps $\phi:\S^{n_1 n_2}\rightarrow \S^m$.
\end{itemize}
\end{proposition}
\begin{proof}
	It is clear from the definition that the set of functions with
	domain $\S_{++}^{n_1}\times \S_{++}^{n_1}$ that are $1$-compatible
	with $F_{n_1,n_2}$ is closed under taking conic combinations and
	that any linear function is $1$-compatible with $F_{n_1,n_2}$.

	Since $g$ is operator concave, it has an integral representation as in Theorem~\ref{thm:intrep}. Then, for any $X,Y \succ 0$,
	$P_g(X,Y)$ can be expressed as (using \eqref{eq:integrand} to decompose the integrand)
	\begin{equation}
		\label{eq:intP}
	\begin{aligned}
		P_g(X,Y) &= g(1) X + g'(1)(Y-X) - \gamma (Y-X)X^{-1}(Y-X)\\
	& \qquad \qquad + \int_{[0,\infty)} \frac{-1}{(1+s)^2} (Y-(2+s)X) + \xi_s(X,Y) d\mu(s).
	\end{aligned}
	\end{equation}
	where $\gamma \geq 0$.
	The first two terms in \eqref{eq:intP} are linear and hence are 1-compatible with $F_{n,n}$.
	Furthermore, the integral in \eqref{eq:intP} is 1-compatible with $F_{n,n}$, since the integrand is for all $s \geq 0$.
It remains to analyze the middle term, which can be written as (omitting the non-negative constant $\gamma$):
\begin{equation}
\label{eq:abc01}
-(Y-X)X^{-1}(Y-X) = -YX^{-1} Y + 2Y - X = \xi_0(Y,X)+2Y - X.
\end{equation}
	We need to show that $(X,Y) \mapsto \xi_0(Y,X)$ is $1$-compatible with $F_{n,n}$.
 	This can be verified as follows: Recalling that $\xi_s(X,Y) = -X(Y+sX)^{-1} X = P_{g_s}(X,Y)$ where $g_s(x) = -1/(x+s)$, it can be checked that
 \begin{equation}
 \label{eq:gshat}
	 \hat{g}_s(x) = xg_s(1/x) = \frac{-x^2}{1+sx} = -s^{-1} x + s^{-2} + s^{-3} g_{1/s}(x),
 \end{equation}
 whence, for $X,Y \succ 0$,
 \[
	 \xi_s(Y,X) = P_{\hat{g}_s}(X,Y) = -s^{-1}Y + s^{-2}X  + s^{-3} \xi_{1/s}(X,Y).
 \]
	Using our assumption, this shows that $(X,Y) \mapsto \xi_s(Y,X)$ is 1-compatible with $F_{n,n}$ for all $s > 0$. The case $s=0$ is obtained via limit, since for all $k$, $D^k \xi_s \to D^k \xi_0$ as $s\to0$ (see Lemma \ref{lem:deriv}).
	 We have thus shown that $P_g(X,Y)$ is 1-compatible with $F_{n,n}$, and so the same is true for $\phi(P_g(X,Y))$ using Proposition~\ref{prop:compat-pos}, since $\phi$ is a positive linear map.

	We now consider the function $(X,Y) \mapsto P_g(X\otimes I, I \otimes \bar Y)$. Using the same integral
	representation~\eqref{eq:intP} but substituting $X\otimes I$ in place of $X$ and $I\otimes \bar Y$ in place of $Y$,
	we get that $\phi(P_g(X\otimes I, I\otimes \bar{Y}))$ is $1$-compatible with $F_{n_1,n_2}$
	provided the term
	\[
	-\gamma (I\otimes \bar Y - X\otimes I)(X\otimes I)^{-1} (I\otimes \bar Y - X\otimes I)
	\]
	is 1-compatible with $F_{n_1,n_2}$. Using the decomposition \eqref{eq:abc01} this boils down to showing that  $(X,Y) \mapsto \xi_0(I\otimes \bar Y, X\otimes I)$ is 1-compatible with $F_{n_1,n_2}$. Using identity \eqref{eq:gshat}, we get that, for any $s > 0$,
	\begin{align*}
		\xi_s(I\otimes \bar Y, X \otimes I) &= P_{\hat{g}_s}(X\otimes I, I\otimes \bar Y)\\
		&= -s^{-1} I\otimes \bar Y + s^{-2} X\otimes I + s^{-3} \xi_{1/s}(X\otimes I, I \otimes \bar Y).
	\end{align*}
	Using our assumption, this shows that $(X,Y) \mapsto \xi_s(I\otimes \bar Y, X \otimes I)$ is 1-compatible with $F_{n_1,n_2}$ for all $s > 0$, and by taking the limit $s\to 0$ we get that $\xi_0(I\otimes \bar Y, X \otimes I)$ is also 1-compatible with $F_{n_1,n_2}$.
	Therefore $P_g(X\otimes I, I\otimes \bar Y)$
	is $1$-compatible with $F_{n_1,n_2}$. Again applying Proposition~\ref{prop:compat-pos}, it
	follows that $\phi(P_g(X\otimes I,I \otimes \bar Y))$ is $1$-compatible with $F_{n_1,n_2}$
	for any positive linear map $\phi$.

\end{proof}

\subsection{Compatibility results and proofs of Theorems~\ref{thm:main1} and~\ref{thm:main2}}
\label{sec:compat}
Our main lemma for the proof of Theorem \ref{thm:main1} is the following.
\begin{lemma}
	\label{lem:compat1}
For any $s \geq 0$, let $\xi_s(X,Y) = -X(Y+sX)^{-1}X$ be defined on the open set $\S^n_{++} \times \S^n_{++}$.
	Then $\xi_s$ is 1-compatible with $F(X,Y) = -\log \det X-\log \det Y$.
\end{lemma}

\begin{proof}
We first compute the directional derivatives of $\xi_s$. This is the object of the next lemma.

\begin{lemma}
	\label{lem:deriv}
	If $k\geq 2$ is an integer and $\phi:\S^n\to\S^m$ is a positive linear map then
	\[ D^k\xi_s(X,Y)[H,V] = k{!}(-1)^{k+1}\begin{bmatrix} XY_s^{-1/2} & HY_s^{-1/2}\end{bmatrix}
		\begin{bmatrix} B_s^{k} & -B_s^{k-1}\\-B_s^{k-1} & B_s^{k-2}\end{bmatrix}\begin{bmatrix}Y_s^{-1/2}X\\Y_s^{-1/2}H\end{bmatrix}\]
			where $Y_s = Y+sX$, $V_s = V+sH$ and $B_s = Y_s^{-1/2}\VbarY_s^{-1/2}$.
\end{lemma}
\begin{proof}
	Recall that $D^k\xi_s(X,Y)[H,V]$ is $k{!}$ times the coefficient of $t^k$ in the Taylor expansion
	of $\xi_s(X+tH,Y+tV)$ about $t=0$. For sufficiently small $t$,
	\begin{align*}
		\xi_s(X+tH,Y+tV) &= -(X+tH)(Y_s + tV_s)^{-1}(X+tH)\\
		& = -(X+tH)Y_s^{-1/2}(I+tB_s)^{-1}Y_s^{-1/2}(X+tH)\\
		& = -(X+tH)Y_s^{-1/2}\left(\sum_{k=0}^{\infty}(-1)^{k}t^{k}B_s^k\right)Y_s^{-1/2}(X+tH).
	\end{align*}
	If $k\geq 2$, the coefficient of $t^k$ is then
	\begin{multline*}
		(-1)^{k+1}XY_s^{-1/2}B_s^{k}Y_s^{-1/2}X + (-1)^{k}XY_s^{-1/2}B_s^{k-1}Y_s^{-1/2}H\\
		+ (-1)^{k}HY_s^{-1/2}B_s^{k-1}Y_s^{-1/2}X
	+ (-1)^{k-1}HY_s^{-1/2}B_s^{k-2}Y_s^{-1/2}H.\end{multline*}
	We obtain the stated expression for $D^k\xi_s(X,Y)[H,V]$ by
	rewriting in matrix form and multiplying by $k{!}$.
\end{proof}

For $F(X,Y) = -\log \det X-\log \det Y$, recall from Example \ref{ex:-logdet} that
\[
D^2 F(X,Y)[H,V] = \|X^{-1/2} H X^{-1/2}\|_F^2+\|Y^{-1/2} V Y^{-1/2}\|_F^2.
\]
To prove 1-compatibility of $\phi\circ \xi_s$ with $F$, it suffices to prove the following inequality
\begin{equation}
\label{eq:compatxicmain}
\begin{bmatrix}
B_s^3 & -B_s^2\\ -B_s^2 & B_s
\end{bmatrix}
\preceq
 \sqrt{\|X^{-1/2} H X^{-1/2}\|_F^2+\|Y^{-1/2} V Y^{-1/2}\|_F^2} \begin{bmatrix}
B_s^2 & -B_s\\ -B_s & I
\end{bmatrix}.
\end{equation}
	This is because the $1$-compatibility condition for $\phi\circ \xi_s$
	follows from~\eqref{eq:compatxicmain} by
	applying the positive linear map
	\[ Z \mapsto \begin{bmatrix} XY_s^{-1/2} & HY_s^{-1/2}\end{bmatrix}Z\begin{bmatrix} Y_s^{-1/2}X \\ Y_s^{-1/2}H\end{bmatrix}\]
		to both sides.

	We now focus on establishing~\eqref{eq:compatxicmain}.
	The matrix on the left-hand side of~\eqref{eq:compatxicmain} can be expressed as
\[
\begin{bmatrix}
B_s^3 & -B_s^2\\ -B_s^2 & B_s
\end{bmatrix}
= \begin{bmatrix} B_s \\ -I \end{bmatrix}
B_s
\begin{bmatrix} B_s & -I\end{bmatrix}
	\preceq \lambda_{\max}(B_s) \begin{bmatrix}
B_s^2 & -B_s\\ -B_s & I
\end{bmatrix},
\]
	where $\lambda_{\max}(B_s)$ is the largest eigenvalue of $B_s$. Thus,
to prove \eqref{eq:compatxicmain}, it suffices to prove the following scalar inequality
\begin{equation}
\label{eq:lambdamaxineq}
\lambda_{\max}(B_s) \leq \sqrt{ \|X^{-1/2} H X^{-1/2} \|_F^2 + \|Y^{-1/2} V Y^{-1/2} \|_F^2 }.
\end{equation}
Recall that $B_s = (Y+sX)^{-1/2} (V+sH) (Y+sX)^{-1/2}$, and so
\[\lambda_{\max}(B_s) \leq t\;\;\iff\;\; V+sH \preceq t(Y+sX).\]
If we let
\begin{align*}
	t &= \lambda_{\max}\left(\begin{bmatrix} Y^{-1/2}VY^{-1/2} & 0\\0 & X^{-1/2}HX^{-1/2}\end{bmatrix}\right)\\ &\leq
	\left\|\begin{bmatrix} Y^{-1/2}VY^{-1/2} & 0\\0 & X^{-1/2}HX^{-1/2}\end{bmatrix}\right\|_{F}\\
		&= \sqrt{\|X^{-1/2}HX^{-1/2}\|_F^2 + \|Y^{-1/2}VY^{-1/2}\|_F^2},
\end{align*}
then $V \preceq tY$ and $H \preceq tX$. Since $s\geq 0$ it follows that $V+sH \preceq t(Y+sX)$. Therefore
\[ \lambda_{\max}(B_s) \leq t \leq \sqrt{\|X^{-1/2}HX^{-1/2}\|_F^2 + \|Y^{-1/2}VY^{-1/2}\|_F^2  }.\]
This completes the proof of \eqref{eq:lambdamaxineq}, which in turn implies \eqref{eq:compatxicmain}.
\end{proof}

We are now in a position to prove Theorem~\ref{thm:main1}.
\begin{proof}[{Proof of Theorem~\ref{thm:main1}}]
	Theorem~\ref{thm:main1} follows directly from Theorem~\ref{thm:nesterov}, Proposition~\ref{prop:conic}, and Lemma~\ref{lem:compat1}. The function
	\[ \S_{++}^n\times \S_{++}^n\times \S^m\ni (X,Y,Z) \mapsto -\log\det(\phi(P_g(X,Y)-Z)-\log\det(X)-\log\det(Y)\]
	has barrier parameter of $2n+m$ because it is $(2n+m)$-logarithmically homogeneous. The matching
	lower bound
	on the barrier parameter follows from Corollary~\ref{cor:psd-dom-lb} (in Section~\ref{sec:lb}, to follow)
	since $\phi \circ P_g:\S_{++}^n\times \S_{++}^n \mapsto \S^m$ is $\S_+^m$-concave and
	positively homogeneous of degree one.
\end{proof}

The compatibility result required for the proof of Theorem~\ref{thm:main2} is the following variation
on Lemma~\ref{lem:compat1}.

\begin{lemma}
	\label{lem:compat2}
	For any $s \geq 0$, define $G_s:\S^{n_1}_{++} \times \S^{n_2}_{++} \to \S^{n_1 n_2}$ by $G_s(X,Y) = \xi_s(X\otimes I, I \otimes \bar Y)$ where $\xi_s$ is as in \eqref{eq:xis}. Then $G_s$ is 1-compatible with $F(X,Y) = -\log \det X-\log \det Y$ where $(X,Y) \in \S^{n_1}_{++} \times \S^{n_2}_{++}$.
\end{lemma}
\begin{proof}
	First, we observe that $D^kG_s(X,Y)[H,V] = D^k\xi_s(X\otimes I,I\otimes \bar{Y})[H\otimes I,I\otimes \bar{V}]$. Therefore, it follows from Lemma~\ref{lem:deriv} that, for $k\geq 2$,
	\begin{multline*} D^kG_s(X,Y)[H,V]
	=\\ k{!}(-1)^{k+1}\begin{bmatrix} (X\otimes I)Y_s^{-1/2} & (H\otimes I)Y_s^{-1/2}\end{bmatrix}
		\begin{bmatrix} B_s^{k} & -B_s^{k-1}\\-B_s^{k-1} & B_s^{k-2}\end{bmatrix}\begin{bmatrix}Y_s^{-1/2}(X\otimes I)\\Y_s^{-1/2}(H\otimes I)\end{bmatrix}\end{multline*}
			where
			\begin{equation}
				\label{eq:bar2}
				Y_s = I\otimes \bar{Y}+s(X\otimes I),\quad V_s = I\otimes \bar{V}+s(H\otimes I),\quad\textup{and}\quad B_s = Y_s^{-1/2}\VbarY_s^{-1/2}.
			\end{equation}
To prove 1-compatibility of $G_s$ with $F$, it suffices to prove the following inequality
\begin{equation}
\label{eq:compatxicmain2}
\begin{bmatrix}
B_s^3 & -B_s^2\\ -B_s^2 & B_s
\end{bmatrix}
\preceq
 \sqrt{\|X^{-1/2} H X^{-1/2}\|_F^2+\|Y^{-1/2} V Y^{-1/2}\|_F^2} \begin{bmatrix}
B_s^2 & -B_s\\ -B_s & I
\end{bmatrix}
\end{equation}
	where $B_s$ is defined as
	in~\eqref{eq:bar2}. (The different form of $B_s$ is what distinguishes this result from Lemma~\ref{lem:compat1}.)
To prove \eqref{eq:compatxicmain2}, it suffices to prove the following scalar inequality
\begin{equation}
\label{eq:lambdamaxineq2}
\lambda_{\max}(B_s) \leq \sqrt{ \|Y^{-1/2} V Y^{-1/2} \|_F^2 + \|X^{-1/2} H X^{-1/2} \|_F^2}.
\end{equation}
	Recall that $B_s = (I\otimes \bar{Y}+s(X\otimes I))^{-1/2} (I\otimes \bar{V}+s(H\otimes I)) (I\otimes \bar{Y}+s(X\otimes I))^{-1/2}$, and so
	\[\lambda_{\max}(B_s) \leq t\;\;\iff\;\; I\otimes \bar{V}+s(H\otimes I) \preceq t(I\otimes \bar{Y}+s(X\otimes I)).\]
Now if we let
\begin{align*}
	t &= \lambda_{\max}\left(\begin{bmatrix} Y^{-1/2}VY^{-1/2} & 0\\0 & X^{-1/2}HX^{-1/2}\end{bmatrix}\right)\\
		&	\leq \sqrt{\|Y^{-1/2}VY^{-1/2}\|_F^2+\|X^{-1/2}HX^{-1/2}\|_F^2},
\end{align*}
	then $V \preceq tY$ and $H \preceq tX$. Furthermore, $\bar{V} \preceq t\bar{Y}$ since the entrywise complex
	conjugate of a Hermitian positive semidefinite matrix is again positive semidefinite.
	Then, since $s\geq 0$ and $I\succeq 0$,
	\[ I\otimes \bar{V} + s(H\otimes I) \preceq I\otimes (t\bar{Y}) + s(H\otimes I) \preceq I\otimes (t\bar{Y}) + s((tX)\otimes I) = t(I\otimes \bar{Y} + s(X\otimes I)).\]
	Therefore
$\lambda_{\max}(B_s) \leq t \leq \sqrt{\|Y^{-1/2}VY^{-1/2}\|_F^2 + \|X^{-1/2}HX^{-1/2}\|_F^2}$.
This completes the proof of \eqref{eq:lambdamaxineq2}, which in turn implies \eqref{eq:compatxicmain2}.
\end{proof}

We are now in a position to prove Theorem~\ref{thm:main2}.
\begin{proof}[{Proof of Theorem~\ref{thm:main2}}]
	Theorem~\ref{thm:main2} follows directly from Theorem~\ref{thm:nesterov}, Proposition~\ref{prop:conic}, and Lemma~\ref{lem:compat2}. The lower bound on the barrier parameter follows from
	Corollary~\ref{cor:psd-dom-lb} (in Section~\ref{sec:lb}, to follow)
	since $Q_g^\phi:\S_{++}^{n_1}\times \S_{++}^{n_2} \mapsto \S^m$ is concave and
	positively homogeneous of degree one.
\end{proof}

\subsection{Lower bounds on the barrier parameters}
\label{sec:lb}

In this section we establish lower bounds on the barrier parameters of convex cones related to those constructed in Theorems~\ref{thm:main1} and~\ref{thm:main2}. To establish these lower bounds we apply the following result of Nesterov.
\begin{theorem}[{\cite[Theorem 5.4.1]{nesterov2018lectures}}]
	\label{thm:lb-nesterov}
	Let $C$ be a closed convex set with nonempty interior and let $x_0 \in \interior C$. Let $p_1,\ldots,p_k$ be recession directions, i.e., satisfying
	$x_0 + \alpha p_i \in C$ for all $\alpha \geq 0$ and all $i=1,2,\ldots,k$.
	Let $b_1,\ldots,b_k$ be positive scalars that satisfy
	$x_0 - b_i p_i \notin \interior C$ for $i=1,2,\ldots,k$.
	Let $a_1,\ldots,a_k$ be positive scalars that satisfy
	$x_0 - \sum_{i=1}^{k}a_i p_i \in C$.
	Then any self-concordant barrier for $C$ has parameter at least $\sum_{i=1}^{k}\frac{a_i}{b_i}$.
\end{theorem}
Recall that if $K'$ is a closed convex cone we say that $h$ is $K'$-concave if $h(\lambda x + (1-\lambda)y) - \lambda h(x) - (1-\lambda)h(y) \in K'$ for all $x,y\in \dom(h)$ and $\lambda\in [0,1]$. Recall, also, that a function $h$ is positively homogeneous
of degree one if $h(\lambda x) = \lambda h(x)$ for all $\lambda>0$ and $x\in \dom(h)$. Note that the domain of a positively homogeneous function is necessarily a cone.

The following technical result (Theorem~\ref{thm:lb-technical}) shows how to use
Theorem~\ref{thm:lb-nesterov} to obtain a lower bound on the barrier
parameter of $\cl\hypo(h)$ when $h$ is positively homogeneous of degree one and concave with
respect to a closed convex cone.
\begin{theorem}
	\label{thm:lb-technical}
Let $E$ and $E'$ be finite dimensional real vector spaces.
Suppose $K\subseteq E$ is an open convex cone and $K'\subseteq E'$ is a closed
convex cone. Let $h:K\rightarrow E'$
be $K'$-concave and positively homogeneous of degree one.

	Let $x_1,x_2,\ldots,x_{k} \in K$ and let $a_1,\ldots,a_k$ be positive scalars such that $x_0 := \sum_{i=1}^{k}a_i x_i$.
	Let $b_1,\ldots,b_k$ be positive scalars such that $x_0 - b_ix_i \not\in K$ for $i=1,2,\ldots,k$.

	Let $z_1,z_2,\ldots,z_{k'}\in K'$ and let $a_1',\ldots,a_{k'}'$ be positive scalars be such that $z_0 := \sum_{i=1}^{k'}a_i'z_i \in \interior(K')$. Let $b_1',\ldots,b_{k'}'$ be positive scalars such that $z_0 - b_i'z_i \not\in \interior(K')$ for $i=1,2,\ldots,k'$.

	Then any self concordant barrier for
	$ K_h = \cl\{(x,z)\in K\times E'\;:\; h(x) - z \in K'\}$
	has barrier parameter at least $\sum_{i=1}^{k}\frac{a_i}{b_i} + \sum_{i=1}^{k'}\frac{a_i'}{b_i'}$.
\end{theorem}
\begin{proof}
	We begin with two preliminary observations. First, since $K$ is open by assumption, we note that the interior of $K_h$ is $\interior(K_h) = \{(x,z)\in K\times E'\;:\; h(x) - z \in \interior(K')\}$.
	Second, we note that if $-z\in K'$ then $(0,z)\in K_h$. To see why this is true, note that
	if $-z\in K'$ then $(\epsilon x,z+h(\epsilon x))\in K_h$ for all $\epsilon > 0$. Since $h$ is positively
	homogeneous of degree one, it follows that $(\epsilon x, z + \epsilon h(x))\in K_h$ for all $\epsilon >0$.
	Since $K_h$ is closed, it follows that $(0,z)\in K_h$.

	Let $\tau'>0$ be such that $\tau'z_0 - (h(x_0) - \sum_{i=1}^{k}a_ih(x_i)) \in K'$.
	Such a $\tau'$ exists because $z_0\in \interior(K')$.
	Choose some arbitrary $\tau > \tau'$ and consider the point $y_0 = (x_0,h(x_0) - \tau z_0)$. This satisfies $y_0\in \interior(K_h)$ because $z_0\in \interior(K')$ and $\tau>0$. Let $p_i = (x_i,h(x_i))\in K_h$ for $i=1,2,\ldots,k$ and let $p_i' = (0,-\tau z_i)\in K_h$ for $i=1,2,\ldots,k'$.

	Observe that $y_0 - b_ip_i = (x_0 - b_ix_i, h(x_0) - b_ih(x_i) - \tau z_0)\not\in \interior(K_h)$ for $i=1,2,\ldots,k$ because $x_0-b_ix_i\not\in K$. Similarly $y_0 - b_i'p_i' = (x_0, h(x_0) - \tau (z_0 - b_i' z_i))\not\in\interior(K_h)$ for $i=1,2,\ldots,k'$ because
	$z_0 - b_i' z_i\not\in \interior(K')$.

	Let $c_i = a_i$ for $i=1,2,\ldots,k$ and let $c_i' = (1-\tau'/\tau)a_i'$ for $i=1,2,\ldots,k'$.
	Then
 	\begin{align*}
 		y_0\! -\! \sum_{i=1}^{k}c_ip_i - \sum_{i=1}^{k'}c_i'p_i'&\! =\!
		\left(x_0 -\! \sum_{i=1}^{k}a_ix_i,h(x_0) - \tau z_0 -\! \sum_{i=1}^{k}a_ih(x_i) + (\tau-\tau')\sum_{i=1}^{k'}a_i'z_i\right)\\
		& = \left(0, h(x_0) -\! \sum_{i=1}^{k}a_ih(x_i) - \tau'z_0\right)  \in K_h
 	\end{align*}
	where the last assertion holds because $h(x_0) - \sum_{i=1}^{k}a_ih(x_i) - \tau'z_0 \in -K'$ (by our choice of $\tau'$).
	We can now apply Theorem~\ref{thm:lb-nesterov} with the directions $p_1,\ldots,p_k,p_1',\ldots,p_{k'}'$
	to give the lower bound
	\[ \sum_{i=1}^{k} \frac{c_i}{b_i} + \sum_{i=1}^{k'}\frac{c_i'}{b_i'} = \sum_{i=1}^{k}\frac{a_i}{b_i} + \left(1-\frac{\tau'}{\tau}\right)\sum_{i=1}^{k'} \frac{a_i'}{b_i'}\]
	on the barrier parameter of any self-concordant barrier for $K_h$.
	Taking the limit as $\tau\rightarrow \infty$ completes the proof.
\end{proof}
We next specialize to the case when $K = \mathbb{R}_{++}^{n}$ for some positive integer $n$.
\begin{proposition}
\label{prop:orthant-dom-lb}
	Let $n$ and $m$ be positive integers, and let $h:\mathbb{R}_{++}^n\rightarrow \S^m$ be $\S_+^m$-concave
	and positively homogeneous of degree one. Then any self-concordant barrier for $\cl(\hypo(h))$
	has barrier parameter at least $n+m$.
\end{proposition}
\begin{proof}
	It is enough to construct appropriate directions $x_1,\ldots,x_n\in \mathbb{R}_{++}^n$ and $z_1,\ldots,z_m\in \S_+^m$
	and apply Theorem~\ref{thm:lb-technical}.

	Let $0<\epsilon<1$. For $i=1,2,\ldots,n$ let $x_i = \epsilon \boldsymbol{1} + (1-\epsilon) e_i$, where $e_i$ is the $i$th standard basis vector and $\boldsymbol{1}$ is the vector with all entries equal to one. Let $a_1 = \cdots = a_n = 1$ so that
	$x_0 = \sum_{i=1}^{n}x_i = ((n-1)\epsilon + 1)\boldsymbol{1}$. Let $b_1 = \cdots = b_n = ((n-1)\epsilon + 1) > 0$.
	Then $x_0 - b_i x_i \not\in \mathbb{R}_{++}^n$ for $i=1,2,\ldots,n$.

	For $i=1,2,\ldots,m$ let $z_i = e_ie_i^*$. Let $a_1' = \cdots = a_m' = 1$ so that $z_0 = \sum_{i=1}^{m}a_i'z_i = I$.
	Let $b_1' = \cdots = b_m' = 1$. Then $z_0 - b_i'z_i = I - e_ie_i^* \not\in \S_{++}^m$.

	It follows from Theorem~\ref{thm:lb-technical} that any self-concordant barrier for $\cl(\hypo(h))$ has barrier parameter
	at least
	\[ \sum_{i=1}^{n}a_i/b_i + \sum_{i=1}^{m}a_i'/b_i' = \frac{n}{(n-1)\epsilon+1} + m.\]
	Taking the limit as $\epsilon\rightarrow 0$ completes the proof.
\end{proof}
\begin{remark}
	We note that Proposition~\ref{prop:orthant-dom-lb} (with $m=1$) specializes to give a lower bound of $2n+1$ on the barrier parameter of
\[ \cl\left\{(x,y,z)\in \mathbb{R}_{++}^n\times \mathbb{R}_{++}^n \times \mathbb{R}\;:\; \sum_{i=1}^{n}x_ig(y_i/x_i) \geq z\right\}\]
	for any concave function $g:\mathbb{R}_{++}\rightarrow \mathbb{R}$, since $h(x,y) = \sum_{i=1}^{n}P_g(x_i,y_i)$ is concave and homogeneous of degree one. Similarly, Proposition~\ref{prop:orthant-dom-lb} implies a lower bound of $n+2$ on the barrier parameter of
\[ \cl\left\{(x,y,z)\in \mathbb{R}_{++}\times \mathbb{R}_{++}^n\times \mathbb{R}\;:\; \sum_{i=1}^{n} x g(y_i/x) \geq z\right\}\]
	for any concave function $g:\mathbb{R}_{++}\rightarrow \mathbb{R}$, since $h(x,y)= \sum_{i=1}^{n} P_g(x,y_i)$ is concave and homogeneous
	of degree one. In the special case $n=1$ and $g(x) = x^{\alpha}$ for $\alpha\in (0,1)$, the resulting lower bound of $3$ was established by Nesterov~\cite[Lemma 5.4.9]{nesterov2018lectures}.
\end{remark}
The case where the domain is $\S_{++}^{n_1}\times \S_{++}^{n_2}$, which is relevant for Theorems~\ref{thm:main1} and~\ref{thm:main2}, is a straightforward corollary of Proposition~\ref{prop:orthant-dom-lb}.
\begin{corollary}
	\label{cor:psd-dom-lb}
	Let $n_1, n_2$ and $m$ be positive integers, and let $h:\S_{++}^{n_1}\times \S_{++}^{n_2}\rightarrow \S^m$ be $\S_+^m$-concave and positively homogeneous of degree one. Then any self-concordant barrier for $\cl(\hypo(h))$ has
	barrier parameter at least $n_1+n_2+m$.
\end{corollary}
\begin{proof}
	Consider $\tilde{h}:\mathbb{R}_{++}^{n_1}\times \mathbb{R}_{++}^{n_2}\rightarrow \S^m$ defined by
	$\tilde{h}(x,y) = h(\mathrm{diag}(x),\mathrm{diag}(y))$
	where $\mathrm{diag}(x)$ is the diagonal matrix with diagonal entries given by $x$. Then $(x,y,Z)\in \cl\hypo(\tilde{h})$
	if and only if $(\mathrm{diag}(x),\mathrm{diag}(y),Z)\in \cl\hypo(h)$.
	If $(X,Y,Z)\!\mapsto\! F(X,Y,Z)$ were a self-concordant barrier for $\cl\hypo(h)$
	with parameter less than $n_1+n_2+m$ then $(x,y,Z)\mapsto F(\mathrm{diag}(x),\mathrm{diag}(y),Z)$ would be a self-concordant barrier for
	$\cl\hypo(\tilde{h})$ with parameter less than $n_1+n_2+m$, contradicting
	Proposition~\ref{prop:orthant-dom-lb}.
\end{proof}

\subsection{Proofs of the corollaries of Theorems~\ref{thm:main1} and~\ref{thm:main2}}
\label{sec:pfassembly}

We now summarize how to establish the corollaries stated in the introduction
from Theorems~\ref{thm:main1} and~\ref{thm:main2}.

The corollaries of Theorem~\ref{thm:main1} stated in Section~\ref{sec:intro} involve specializing to
particular choices of operator concave function $g$, and particular positive linear maps $\phi$.
Furthermore, they give an explicit description of the closure of the epigraph, based on the
results in Appendix~\ref{sec:domainpersp}.
\begin{proof}[Proof of {Corollary~\ref{cor:DBS}}]
	Applying Theorem~\ref{thm:main1} with the operator concave function $g(x) = \log(x)$ and
	the positive linear map $\phi(X) = \tr(X)$ gives the barrier
		$ -\log(-D_{BS}(X|Y)-z) - \log\det(X)-\log\det(Y)$
		with (optimal) parameter $2n+1$ for
	$\cl \{(X,Y,z)\in \S_{++}^n\times \S_{++}^n\times \mathbb{R}\;:\; -D_{BS}(X|Y) \geq z\}$.
		Since $g(0)=-\infty$, the explicit description of this closure is given by
		item (ii) of Theorem~\ref{thm:maincl1}.
	 Composing with the linear map $z\mapsto -z$ gives the barrier
		$-\log(z-D_{BS}(X|Y)) - \log\det(X)-\log\det(Y)$
		for the set $\epi(D_{BS})$.
\end{proof}

\begin{proof}[Proof of {Corollary~\ref{cor:R}}]
	Observe that
	$\hat{Q}_\alpha(X|Y) = \phi(P_g(X,Y))$
	where $g(x) = x^{1-\alpha}$ and $\phi(X) = \tr(X)$.

	If $\alpha\in [0,1]$ then $g(x) = x^{1-\alpha}$ is operator concave and so $\hat{Q}_{\alpha}$ is
	concave.
	Applying Theorem~\ref{thm:main1} gives the self-concordant barrier
	$-\log(z-\hat{Q}_{\alpha}(X|Y))-\log\det(X)-\log\det(Y)$
	with (optimal) parameter $2n+1$ for
	\begin{multline*}
		\cl \{(X,Y,z)\in \S_{++}^n\times \S_{++}^n\times \mathbb{R}\;:\; \hat{Q}_\alpha(X|Y) \geq z\} = \\
	\{(X,Y,z)\in \S_{+}^n\times \S_{+}^n\times \mathbb{R}\;:\; \hat{Q}_\alpha(X|Y) \geq z\}.\end{multline*}
	Here, the last equality follows from item (i) of Theorem~\ref{thm:maincl1} since $g(0)=0 = \hat{g}(0)$.

	If $\alpha\in [-1,0]\cup (1,2]$ then $x^{1-\alpha}$ is operator convex and so $\hat{Q}_\alpha$ is convex.
	Applying Theorem~\ref{thm:main1} with the operator concave function $g(x) = -x^{1-\alpha}$
	gives the barrier
		$-\log(-\hat{Q}_\alpha(X|Y)-z) - \log\det(X)-\log\det(Y)$
		with (optimal) parameter $2n+1$ for
	$\cl \{(X,Y,z)\in \S_{++}^n\times \S_{++}^n\times \mathbb{R}\;:\; -\hat{Q}_\alpha(X|Y) \geq z\}$.
		If $\alpha\in (1,2]$ then $g(0^+)=-\infty$ and $\hat{g}(0) > -\infty$. Therefore
		the explicit description of this closure is given by
		item (ii) of Theorem~\ref{thm:maincl1}. If $\alpha \in [-1,0)$ then $g(0) > -\infty$ and $\hat{g}(0^+) = -\infty$, and so the explicit description of the closure is given by item (iii) of Theorem~\ref{thm:maincl1}.
		Composing with the linear map $z\mapsto -z$ gives the barrier
		$ -\log(z-\hat{Q}_\alpha(X|Y)) - \log\det(X)-\log\det(Y)$
		for the set $\epi(\hat{Q}_\alpha)$.
\end{proof}

Next we establish the corollaries of Theorem~\ref{thm:main2}, regarding the quantum relative entropy cone and the functions $Q_\alpha$.
\begin{proof}[{Proof of Corollary~\ref{cor:qre}}]
	Consider the operator concave function $g(x) = \log(x)$ and
	the positive linear map $\Psi:\S^{n^2}\rightarrow \mathbb{R}$
	with the property that $\Psi(X\otimes \bar{Y}) = \tr(XY)$.
	Then $Q_g^\phi(X|Y) = -D(X|Y)$. This is the case (see, e.g.,~\cite{effros2009matrix}) because
	\begin{align*}
		P_{\log}(X\otimes I, I\otimes \bar{Y}) & = (X\otimes I)^{1/2}\log((X\otimes I)^{-1/2}(I\otimes \bar{Y})(X\otimes I)^{-1/2})(X\otimes I)^{1/2}\\
		&= (X^{1/2}\otimes I) \log(X^{-1}\otimes \bar{Y}) (X^{1/2}\otimes I)\\
		&= -X\log(X)\otimes I + X \otimes \overline{\log(Y)}.
	\end{align*}
	Here we have used the fact that $(X\otimes I)^{\alpha} = X^{\alpha}\otimes I$ and that for positive definite matrices $A$ and $B$, $\log(A^{-1}\otimes B) = -\log(A)\otimes I + I\otimes \log(B)$. We have
	also used the property that $\log(\bar{Y}) = \overline{\log(Y)}$ for any positive definite $Y$.

	Applying Theorem~\ref{thm:main2} with this choice of $g$ and $\Psi$
	gives the barrier
		\[-\log(-D(X|Y)-z) - \log\det(X)-\log\det(Y)\]
		with (optimal) parameter $2n+1$ for
	$\cl \{(X,Y,z)\in \S_{++}^n\times \S_{++}^n\times \mathbb{R}\;:\; -D(X|Y) \geq z\}$.
		Since $g(0^+)=-\infty$ and $\hat{g}(0) = 0$, the explicit description of this closure is given by
		item (ii) of Theorem~\ref{thm:maincl2}.
		Composing with the linear map $z\mapsto -z$ gives the barrier
		$-\log(z-D(X|Y)) - \log\det(X)-\log\det(Y)$
		for the set $\epi(D)$.
\end{proof}

\begin{proof}[{Proof of Corollary~\ref{cor:Qalpha}}]
	Consider the function $g(x) = x^{1-\alpha}$ and the positive linear map
	$\Psi:\S^{n^2}\rightarrow \mathbb{R}$
	with the property that $\Psi(X\otimes \bar{Y}) = \tr(XY)$.
	Then $Q_g^\phi(X|Y) = Q_\alpha(X|Y)$. This is the case because
	\begin{align*}
		P_{g}(X\otimes I, I\otimes \bar{Y}) & = (X\otimes I)^{1/2}((X\otimes I)^{-1/2}(I\otimes \bar{Y})(X\otimes I)^{-1/2})^{1-\alpha}(X\otimes I)^{1/2}\\
		& = (X^{1/2}\otimes I)(X^{-(1-\alpha)}\otimes \bar{Y}^{1-\alpha})(X^{1/2}\otimes I)
		= X^{\alpha}\otimes \bar{Y}^{1-\alpha}.
	\end{align*}
	Here we have used the fact that $(A\otimes B)^{\alpha} = A^{\alpha}\otimes B^{\alpha}$ for
	$A,B \in\S_{++}^n$.

	If $\alpha\in [0,1]$, $g(x) = x^{1-\alpha}$ is operator concave, so applying Theorem~\ref{thm:main2}
	gives
	$-\log(Q_\alpha(X|Y) - z) - \log\det(X) - \log\det(Y)$
	as a barrier, with (optimal) parameter $2n+1$, for $\cl\{(X,Y,z)\in \S_{++}^n\times \S_{++}^n\times \mathbb{R}\;:\; Q_\alpha(X|Y) \geq z\}$.
	Since $g(0) = \hat{g}(0) = 0$, the explicit description of this closure is given by
	item (i) of Theorem~\ref{thm:maincl2}.

	If $\alpha\in [-1,0]\cup (1,2]$ then $x^{1-\alpha}$ is operator convex and so $Q_\alpha$ is convex.
	Applying Theorem~\ref{thm:main2} with the operator concave function $g(x) = -x^{1-\alpha}$
	gives the barrier
		$-\log(-Q_\alpha(X|Y)-z) - \log\det(X)-\log\det(Y)$
		with (optimal) parameter $2n+1$ for
	$\cl \{(X,Y,z)\in \S_{++}^n\times \S_{++}^n\times \mathbb{R}\;:\; -Q_\alpha(X|Y) \geq z\}$.
		If $\alpha\in (1,2]$ then $g(0^+)=-\infty$ and $\hat{g}(0) > -\infty$. Therefore
		the explicit description of this closure is given by
		item (ii) of Theorem~\ref{thm:maincl2}. If $\alpha \in [-1,0)$ then $g(0) > -\infty$ and $\hat{g}(0^+) = -\infty$, and so the explicit description of the closure is given by item (iii) of Theorem~\ref{thm:maincl2}.
		Composing with the linear map $z\mapsto -z$ gives the barrier
		$-\log(z-Q_\alpha(X|Y)) - \log\det(X)-\log\det(Y)$
		for the set $\epi(Q_\alpha)$.
\end{proof}