We reformulate the Rényi entanglement of purification as a constrained minimum output Rényi entropy problem. Equivalently, for
p>1, this formulation can be expressed in terms of a constrained maximal output Schatten
p-norm. More precisely, for a completely positive map
Ω:L(B′)→L(A), we consider the quantity
υp(Ω) defined by optimizing
∥(Ω⊗idE)(σB′E)∥p over all bipartite states
σB′E whose
B′-marginal is maximally mixed. We focus on the case
p=2. First, we compute
υ2 for the transpose-depolarizing channel and prove that it is multiplicative under tensor powers. We then establish a general multiplicativity criterion: whenever a completely positive map
N:L(B′)→L(A) satisfies
N†∘N=aidA+bTr[⋅]Id for some constants
a,b≥0, where
N† denotes the Hilbert-Schmidt adjoint of
N, the quantity
υ2(N) is multiplicative under tensor powers. Examples of channels satisfying this criterion include the transpose-depolarizing channel, the depolarizing channel, and their respective complementary channels. Furthermore, we show that, for every completely positive map
Ω, multiplicativity of
υp(Ω) implies multiplicativity for its complementary map. This yields the corresponding additivity statements for the associated Rényi-2 entanglement of purification.
We prove that the minimal Renyi entropy of order 2 (RE2) output of a positive-partial-transpose (PPT)-inducing channel joint to an arbitrary other channel is equal to the sum of the minimal RE2 output of the individual channels. PPT-inducing channels are channels with a Choi matrix which is bound entangled or separable. The techniques used can be easily recycled to prove additivity for some non-PPT-inducing channels such as the depolarizing and transpose depolarizing channels, though not all known additive channels. We explicitly make the calculations for generalized Werner-Holevo channels as an example of both the scope and limitations of our techniques.