Why is it called the Petz 'transpose' map?

Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers. Stack Overflow for Teams is now called Stack Internal. Bring the best of human thought and AI automation together at your work. Bring the best of human thought and AI automation together at your work. Learn more Stack InternalKnowledge at workBring the best of human thought and AI automation together at your work.The Petz transpose map (also called Petz recovery map) is defined for a Channel $\Phi : \mathrm{L}(\mathcal X) \to \mathrm{L}(\mathcal Y) $ and an input reference state $\rho \in \mathrm{D}(\mathcal X )$ as $$ \mathcal R_{\Phi, \rho} (Y) := \rho ^{\frac12} \left[\Phi^* (\Phi(\rho)^{-\frac12} Y \Phi(\rho)^{-\frac12} ) \right] \rho ^{\frac12}, $$ for any $Y \in \mathrm{L}(\mathcal Y)$. Here $\Phi^* : \mathrm{L}(\mathcal Y) \to \mathrm{L}(\mathcal X) $ is the adjoint map of $\Phi$.I was wondering why the map is called the 'Transpose' map, as a direct inspection does not reveal any tranpose operations involved.It's usually called Petz recovery map as it reverses the effect of the quantum channel $\Psi$ on a state $\rho$. I guess it's sometimes called the "tranpose" map because it involves the adjoint of the channel, which in functional analysis can be viewed as a generalization of the matrix transpose operation.The Petz recovery map does not only involve an adjoint, but it is in fact essentially (in the Heisenberg picture) the adjoint of $\Phi$ for a specific choice of inner products. Let us assume for simplicity that $\rho$ and $\Phi(\rho)$ have full rank. One can define inner products on $\mathrm{L}(\mathcal X)$ and $\mathrm{L}(\mathcal Y)$ by \begin{align*} \langle X_1,X_2\rangle_\rho&=\mathrm{tr}(X_1^\dagger \rho^{1/2}X_2\rho^{1/2}),\quad X_1,X_2\in\mathrm{L}(\mathcal X)\\ \langle Y_1,Y_2\rangle_{\Phi(\rho)}&=\mathrm{tr}(Y_1^\dagger \Phi(\rho)^{1/2}Y_2\Phi(\rho)^{1/2}),\quad Y_1,Y_2\in\mathrm{L}(\mathcal Y). \end{align*} These inner products are called KMS inner products. Now if you compute the adjoint $\Psi$ of $\Phi^\ast$ with respect to these inner products, you get $$ \Psi(X)=\Phi(\rho)^{-1/2}\Phi(\rho^{1/2}X\rho^{1/2})\Phi(\rho)^{-1/2}. $$ This is still in the Heisenberg picture. If we transform it back to the Schrödinger picture, we obtain $\Psi^\ast=\mathcal R_{\Phi,\rho}$.Thanks for contributing an answer to Quantum Computing Stack Exchange!But avoid …Use MathJax to format equations. MathJax reference.To learn more, see our tips on writing great answers.Required, but never shown By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy. Start asking to get answersFind the answer to your question by asking.Explore related questionsSee similar questions with these tags.To subscribe to this RSS feed, copy and paste this URL into your RSS reader. Site design / logo © 2025 Stack Exchange Inc; user contributions licensed under CC BY-SA . rev 2025.11.24.37235