Geodesics for mixed quantum states via their geometric mean operator

• URL: http://arxiv.org/abs/2404.04136v1
• Date: Fri, 5 Apr 2024 14:36:11 GMT
• Title: Geodesics for mixed quantum states via their geometric mean operator
• Authors: Paul M. Alsing, Carlo Cafaro, Shannon Ray,
• Abstract summary: We examine the geodesic between two mixed states of arbitrary dimension by means of their mean operator. We show how it can be used to construct the intermediate mixed quantum states $rho(s)$ along the base space geodesic parameterized by affine. We give examples for the geodesic between the maximally mixed state and a pure state in arbitrary dimensions, as well as for the geodesic between Werner states $rho(p) = (1-p) I/N + p,|Psiranglelangle Psi|$ with $|Psir
• Score: 0.0
• License: http://creativecommons.org/licenses/by-nc-sa/4.0/
• Abstract: We examine the geodesic between two mixed states of arbitrary dimension by means of their geometric mean operator. We utilize the fiber bundle approach by which the distance between two mixed state density operators $\rho_1$ and $\rho_2$ in the base space $M$ is given by the shortest distance in the (Hilbert Schmidt) bundle space $E$ of their purifications. The latter is well-known to be given by the Bures distance along the horizontal lift in $E$ of the geodesic between the $\rho_1$ and $\rho_2$ in $M$. The horizontal lift is that unique curve in $E$ that orthogonally traverses the fibers $F\subset E$ above the curve in $M$, and projects down onto it. We briefly review this formalism and show how it can be used to construct the intermediate mixed quantum states $\rho(s)$ along the base space geodesic parameterized by affine parameter $s$ between the initial $\rho_1$ and final $\rho_2$ states. We emphasize the role played by geometric mean operator $M(s) = \rho_1^{-1/2}\, \sqrt{\rho_1^{1/2}\rho(s)\rho_1^{1/2}}\,\rho_1^{-1/2}$, where the Uhlmann root fidelity between $\rho_1$ and $\rho(s)$ is given by $\sqrt{F}(\rho_1,\rho(s)) = Tr[M(s)\,\rho_1] = Tr[\sqrt{\rho_1^{1/2}\rho(s)\rho_1^{1/2}}]$, and $\rho(s) = M(s)\,\rho_1\,M(s)$. We give examples for the geodesic between the maximally mixed state and a pure state in arbitrary dimensions, as well as for the geodesic between Werner states $\rho(p) = (1-p) I/N + p\,|\Psi\rangle\langle \Psi|$ with $|\Psi\rangle = \{|GHZ\rangle, |W\rangle\}$ in dimension $N=2^3$. For the latter, we compare expressions in the limit $p\to1$ to the infinite number of possible geodesics between the orthogonal pure states $|GHZ\rangle$ and $|W\rangle$. Lastly, we compute the analytic form for the density matrices along the geodesic that connects two arbitrary endpoint qubit density matrices within the Bloch ball for dimension $N=2$.

Related papers

• Stationary states of boundary driven quantum systems: some exact results [0.40964539027092906]
  We study finite-dimensional open quantum systems whose density matrix evolves via a Lindbladian, $dotrho=-i[H,rho]+mathcal Drho$. We show that any stationary density matrix $barrho$ on the full system which commutes with $H$ must be of the product form $barrho=hatrho_Aotimesrho_B$.
  arXiv  Detail & Related papers  (2024-08-13T13:33:56Z)
• On the $O(\frac{\sqrt{d}}{T^{1/4}})$ Convergence Rate of RMSProp and Its Momentum Extension Measured by $\ell_1$ Norm [59.65871549878937]
  This paper considers the RMSProp and its momentum extension and establishes the convergence rate of $frac1Tsum_k=1T. Our convergence rate matches the lower bound with respect to all the coefficients except the dimension $d$. Our convergence rate can be considered to be analogous to the $frac1Tsum_k=1T.
  arXiv  Detail & Related papers  (2024-02-01T07:21:32Z)
• Mapping the space of quantum expectation values [0.0]
  For a quantum system with Hilbert space $cal H$ of dimension $N$, a basic question is to understand the set $E_S subset mathbbRn$ of points $vece$. A related question is to determine whether a given set of expectation values $vec$ lies in $E_S$.
  arXiv  Detail & Related papers  (2023-10-19T19:17:42Z)
• $\ell_p$-Regression in the Arbitrary Partition Model of Communication [59.89387020011663]
  We consider the randomized communication complexity of the distributed $ell_p$-regression problem in the coordinator model. For $p = 2$, i.e., least squares regression, we give the first optimal bound of $tildeTheta(sd2 + sd/epsilon)$ bits. For $p in (1,2)$,we obtain an $tildeO(sd2/epsilon + sd/mathrmpoly(epsilon)$ upper bound.
  arXiv  Detail & Related papers  (2023-07-11T08:51:53Z)
• Dynamic Ranking and Translation Synchronization [3.946250592943285]
  We study an extension of the emphtranslation synchronization problem, to the dynamic setting. We propose two estimators -- one based on a smoothness-penalized least squares approach and the other based on projection onto the low frequency eigenspace of a suitable smoothness operator.
  arXiv  Detail & Related papers  (2022-07-04T14:45:12Z)
• Beyond the Berry Phase: Extrinsic Geometry of Quantum States [77.34726150561087]
  We show how all properties of a quantum manifold of states are fully described by a gauge-invariant Bargmann. We show how our results have immediate applications to the modern theory of polarization.
  arXiv  Detail & Related papers  (2022-05-30T18:01:34Z)
• Low-Rank Approximation with $1/\epsilon^{1/3}$ Matrix-Vector Products [58.05771390012827]
  We study iterative methods based on Krylov subspaces for low-rank approximation under any Schatten-$p$ norm. Our main result is an algorithm that uses only $tildeO(k/sqrtepsilon)$ matrix-vector products.
  arXiv  Detail & Related papers  (2022-02-10T16:10:41Z)
• Uncertainties in Quantum Measurements: A Quantum Tomography [52.77024349608834]
  The observables associated with a quantum system $S$ form a non-commutative algebra $mathcal A_S$. It is assumed that a density matrix $rho$ can be determined from the expectation values of observables. Abelian algebras do not have inner automorphisms, so the measurement apparatus can determine mean values of observables.
  arXiv  Detail & Related papers  (2021-12-14T16:29:53Z)
• Refining the general comparison theorem for Klein-Gordon equation [2.4366811507669124]
  We recast the Klein-Gordon-Gordon equation as an eigen-equation in the coupling parameter $v > 0,$ the basic Klein-Gordon comparison theorem. We weaken the sufficient condition for the groundstate spectral ordering by proving. that if $intxbig[f_2(t)big]varphi_i(t)dtgeq 0$, the couplings remain ordered.
  arXiv  Detail & Related papers  (2020-12-23T22:36:48Z)
• Optimal Coreset for Gaussian Kernel Density Estimation [0.8376091455761259]
  Given a point set $Psubset mathbbRd$, the kernel density estimate of $P$ is defined as [ overlinemathcalG_P(x) = frac1left|Pright|sum_pin Pe-leftlVert x-p rightrVert2 ] for any $xinmathbbRd$. We study how to construct a small subset $Q$ of $P
  arXiv  Detail & Related papers  (2020-07-15T22:58:50Z)
• On the Complexity of Minimizing Convex Finite Sums Without Using the Indices of the Individual Functions [62.01594253618911]
  We exploit the finite noise structure of finite sums to derive a matching $O(n2)$-upper bound under the global oracle model. Following a similar approach, we propose a novel adaptation of SVRG which is both emphcompatible with oracles, and achieves complexity bounds of $tildeO(n2+nsqrtL/mu)log (1/epsilon)$ and $O(nsqrtL/epsilon)$, for $mu>0$ and $mu=0$
  arXiv  Detail & Related papers  (2020-02-09T03:39:46Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.