Generalized geometric speed limits for quantum observables
Jacob Bringewatt, Zach Steffen, Martin A. Ritter, Adam Ehrenberg, Haozhi Wang, B. S. Palmer, Alicia J. Kollár, Alexey V. Gorshkov, Luis Pedro García-Pintos
利用量子信息几何，我们推导了关于可观测量期望值变化率的广义量子速度极限。这些界包含了现有界，并且在 Hilbert 空间维数大于或等于 3 时收紧了现有界——在某些情况下收紧的乘性常数可以任意大。广义界可用于设计“快速” Hamilton 量，从而快速驱动可观测量的期望值，并在量子退火、最优控制、变分量子算法和量子传感等方面具有潜在应用。我们的理论结果得到了说明性示例以及使用超导 qutrit 的实验演示的支持。或许本身就值得关注的是，在推导其中一个界的过程中，我们针对酉动力学，以相关 Hamilton 量的方差和密度矩阵的条件数表示，得到了关于时间的广义量子 Fisher 信息的一个新上界，其中包括标准的对称对数导数量子 Fisher 信息。
英文摘要：
Leveraging quantum information geometry, we derive generalized quantum speed limits on the rate of change of the expectation values of observables. These bounds subsume and, for Hilbert space dimension $\geq 3$, tighten existing bounds -- in some cases by an arbitrarily large multiplicative constant. The generalized bounds can be used to design "fast" Hamiltonians that enable the rapid driving of the expectation values of observables with potential applications e.g.~to quantum annealing, optimal control, variational quantum algorithms, and quantum sensing. Our theoretical results are supported by illustrative examples and an experimental demonstration using a superconducting qutrit. Possibly of independent interest, along the way to one of our bounds we derive a novel upper bound on the generalized quantum Fisher information with respect to time (including the standard symmetric logarithmic derivative quantum Fisher information) for unitary dynamics in terms of the variance of the associated Hamiltonian and the condition number of the density matrix.
This paper presents an alternative approach to geometric phases from the observable point of view. Precisely, we introduce the notion of observable-geometric phases, which is defined as a sequence of phases associated with a complete set of eigenstates of the observable. The observable-geometric phases are shown to be connected with the quantum geometry of the observable space evolving according to the Heisenberg equation. They are indeed distinct from Berry's phase \cite{Berry1984, Simon1983} as the system evolves adiabatically. It is shown that the observable-geometric phases can be used to …
In the Schr{ö}dinger picture, the state of a quantum system evolves in time and the quantum speed limit describes how fast the state of a quantum system evolves from an initial state to a final state. However, in the Heisenberg picture the observable evolves in time instead of the state vector. Therefore, it is natural to ask how fast an observable evolves in time. This can impose a fundamental bound on the evolution time of the expectation value of quantum mechanical observables. We obtain the quantum speed limit time-bound for observable for closed systems, open quantum systems and arbitrary…
Quantum speed limit for observables from quantum asymmetry
Research Center for Quantum Physics, National Research and Innovation Agency（量子物理研究中心，国家研究与创新署）；Department of Physics, University of Maryland, Baltimore County（马里兰大学巴尔的摩分校物理系）；Quantum Science Institute, University of Maryland, Baltimore County（马里兰大学巴尔的摩分校量子科学研究所）；National Quantum Laboratory（国家量子实验室）
The presence of noise or the interaction with an environment can radically change the dynamics of observables of an otherwise isolated quantum system. We derive a bound on the speed with which observables of open quantum systems evolve. This speed limit divides into Mandalestam and Tamm's original time-energy uncertainty relation and a time-information uncertainty relation recently derived for classical systems, generalizing both to open quantum systems. By isolating the coherent and incoherent contributions to the system dynamics, we derive both lower and upper bounds to the speed of evolutio…
Using the approach offered by quantum speed limit, we show that geometric measure of multipartite entanglement for pure states [Phys. Rev. A 68, 042307(2003)] can be interpreted as the minimal time necessary to unitarily evolve a given quantum state to a separable one.
In a prevous paper (Phys. Rev. Lett. 96, 150403 (2006)) we have proposed a new way to generate an observable geometric phase on a quantum system by means of a completely incoherent phenomenon. The basic idea was to force the ground state of the system to evolve ciclically by "adiabatically" manipulating the environment with which it interacts. The specific scheme we have previously analyzed, consisting of a multilevel atom interacting with a broad-band squeezed vacuum bosonic bath whose squeezing parameters are smoothly changed in time along a closed loop, is here solved in a more direct way. …
Observations in quantum weak measurements are determined by complex numbers called weak values. We present a geometrical interpretation of the argument of weak values of general Hermitian observables in $N$-dimensional quantum systems in terms of geometric phases. We formulate an arbitrary weak value in function of three real vectors on the unit sphere in $N^2-1$ dimensions, $S^{N^2-2}$. These vectors are linked to the initial and final states, and to the weakly measured observable, respectively. We express pure states in the complex projective space of $N-1$ dimensions, $\mathbb{C}\textrm{P}^…
We derive a family of quantum speed limit results in time independent systems with pure states and a finite dimensional state space, by using a geometric method based on right invariant action functionals on SU(N). The method relates speed limits for implementing quantum gates to bounds on orthogonality times. We reproduce the known result of the Margolus-Levitin theorem, and a known generalisation of the Margolis-Levitin theorem, as special cases of our method, which produces a rich family of other similar speed limit formulas corresponding to positive homogeneous functions on su(n). We discu…
Universal speeded-up adiabatic geometric quantum computation~(SAGQC) is studied in $Λ$-type three-level system with different coupling cases, i.e., time-dependent detuning, large detuning and one-photon resonance couplings, respectively. In these cases, the counterdiabatic driving method is used to speed up the universal quantum computation. These schemes in $Λ$-type three-level system are feasible in experiment because additional unaccessible ground-state-coupling is not needed. Only the shapes and phases of the initial adiabatic classical-field pulse are modified with the aid of effective tw…
In this article, we define a faithful quantifiers of bipartite quantum correlation, namely geometric version of quantum discord using affinity based metric. It is shown that the newly-minted measure resolves the local ancilla problem of Hilbert-Schmidt measures. Exploiting the notion of affinity-based discord, we derive Margolus-Levitin (ML) and Mandelstamm-Tamm (MT) bounds for the quantum speed limit time for the creation and decay of quantum correlation. The dynamical study suggests that the affinity measure is a better resource compared to entanglement. Finally, we study the role of quantum…
The Mandelstam-Tamm and Margolus-Levitin inequalities play an important role in the study of quantum mechanical processes in Nature, since they provide general limits on the speed of dynamical evolution. However, to date there has been only one derivation of the Margolus-Levitin inequality. In this paper, alternative geometric derivations for both inequalities are obtained from the statistical distance between quantum states. The inequalities are shown to hold for unitary evolution of pure and mixed states, and a counterexample to the inequalities is given for evolution described by completely…
Quantum mechanics imposes fundamental constraints known as quantum speed limits (QSLs) on the information processing speed of all quantum systems. Every QSL known to date comes from the restriction imposed on the evolution time between two quantum states through the value of a single system observable such as the mean energy relative to its ground state. So far these restrictions only place upper bounds on the information processing speed of a quantum system. Here I report QSLs each with permissible information processing speeds separated by forbidden speed intervals. They are found by a syste…
The quantum speed limit is a fundamental upper bound on the speed of quantum evolution. However, the actual mathematical expression of this fundamental limit depends on the choice of a measure of distinguishability of quantum states. We show that quantum speed limits are universally characterized by the Schatten-$p$-norm of the generator of quantum dynamics. Since computing Schatten-$p$-norms can be mathematically involved, we then develop an alternative approach in Wigner phase space. We find that the quantum speed limit in Wigner space is fully equivalent to expressions in density operator s…
We show that the joint behaviour of an arbitrary pair of quantum observables can be described by quasi-probabilities, which are extensions of the standard probabilities used for describing the behaviour of a single observable. The physical situations that require these quasi-probabilities arise when one considers quantum measurement of an observable conditioned by some other variable, with the notable example being the weak measurement employed to obtain Aharonov's weak value. Specifically, we present a general prescription for the construction of quasi-joint-probability (QJP) distributions as…
Recently, Jones and Kok [P. J. Jones and P. Kok, Phys. Rev. A 82, 022107 (2010)] presented alternative geometric derivations of the Mandelstam-Tamm [L. Mandelstam and I. Tamm, J. Phys. (USSR) 9, 249 (1945)] and Margolus-Levitin [N. Margolus and L. B. Levitin, Phys. D 120, 188 (1998)] inequalities for the quantum speed of dynamical evolution. The Margolus-Levitin inequality followed from an upper bound on the rate of change of the statistical distance between two arbitrary pure quantum states. We show that the derivation of this bound is incorrect. Subsequently, we provide two upper bounds on t…
We set up a general density-operator approach to geometric steady-state pumping through slowly driven open quantum systems. This approach applies to strongly interacting systems that are weakly coupled to multiple reservoirs at high temperature, illustrated by an Anderson quantum dot, but shows potential for generalization. Pumping gives rise to a nonadiabatic geometric phase that can be described by a framework originally developed for classical dissipative systems by Landsberg. This geometric phase is accumulated by the transported observable (charge, spin, energy) and not by the quantum sta…
The attempt to gain a theoretical understanding of the concept of time in quantum mechanics has triggered significant progress towards the search for faster and more efficient quantum technologies. One of such advances consists in the interpretation of the time-energy uncertainty relations as lower bounds for the minimal evolution time between two distinguishable states of a quantum system, also known as quantum speed limits. We investigate how the non uniqueness of a bona fide measure of distinguishability defined on the quantum state space affects the quantum speed limits and can be exploite…
The notion of quantum speed limit (QSL) refers to the fundamental fact that two quantum states become completely distinguishable upon dynamical evolution only after a finite amount time, called the QSL time. A different, but related concept is that of minimum control time (MCT), which is the minimum evolution time needed for a state to be driven (by suitable, generally time-dependent, control fields) to a given target state. While the QSL can give information about the MCT, it usually imposes little restrictions to it, and is thus unpractical for control purposes. In this work we revisit this …
We revisit the representation of generalized quantum observables by establishing a geometric picture in terms of their positive operator-valued measures (POVMs). This leads to a clear geometric interpretation of Born's rule by introducing the concept of contravariant operator-valued measures. Our approach is applied to the theory of array detectors, which is a challenging task as the finite dimensionality of the POVM substantially restricts the available information about quantum states. Our geometric technique allows for a direct estimation of expectation values of different observables, whic…
Information-theoretic derivation of energy, speed bounds, and quantum theory
The University of Hong Kong（香港大学）；QICI Quantum Information and Computation Initiative, Department of Computer Science, The University of Hong Kong（香港大学计算机科学与量子信息计算倡议）；HKU-Oxford Joint Laboratory for Quantum Information and Computation（港大-牛津量子信息计算联合实验室）；University of Oxford（牛津大学）；Perimeter Institute for Theoretical Physics（理论物理前沿研究所）
In this paper, we derive sharp lower bounds, also known as quantum speed limits, for the time it takes to transform a quantum system into a state such that an observable assumes its lowest average value. We assume that the system is initially in an incoherent state relative to the observable and that the state evolves according to a von Neumann equation with a Hamiltonian whose bandwidth is uniformly bounded. The transformation time depends intricately on the observable's and the initial state's eigenvalue spectrum and the relative constellation of the associated eigenspaces. The problem of fi…
With approaching quantum/noncommutative models for the deep microscopic spacetime in mind, and inspired by our recent picture of the (projective) Hilbert space as the model of physical space behind basic quantum mechanics, we reformulate here the WWGM formalism starting from the canonical coherent states and taking wavefunctions as expansion coefficients in terms of this basis. This provides us with a transparent and coherent story of simple quantum dynamics where both the wavefunctions for the pure states and operators acting on them arise from the single space/algebra, which exactly includes…
We study the maximum speed of quantum computation and how it is affected by limitations on physical resources. We show how the resulting concepts generalize to a broader class of physical models of computation within dynamical systems and introduce a specific algebraic structure representing these speed limits. We derive a family of quantum speed limit results in resource-constrained quantum systems with pure states and a finite dimensional state space, by using a geometric method based on right invariant action functionals on $SU(N)$. We show that when the action functional is bi-invariant, t…
I present a schema for a superluminal telecommunication system based on polarization entangled photon pairs. Binary signals can be transmitted at superluminal speed in this system, if entangled photon pairs can really be produced. The existence of the polarization entangled photon pairs is in direct contradiction to the relativistic causality in this telecommunication system. This contradiction implies the impossibility of generating entangled photon pairs.
The geometric entanglement entropy of a quantum field in the vacuum state is known to be divergent and, when regularized, to scale as the area of the boundary of the region. Here we introduce an operational definition of the entropy of the vacuum restricted to a region: we consider a subalgebra of observables that has support in the region and a finite resolution. We then define the entropy of a state restricted to this subalgebra. For Gaussian states, such as the vacuum of a free scalar field, we discuss how this entropy can be computed. In particular we show that for a spherical region we re…
When is the quantum speed limit (QSL) really quantum? While vanishing QSL times often indicate emergent classical behavior, it is still not entirely understood what precise aspects of classicality are at the origin of this dynamical feature. Here, we show that vanishing QSL times (or, equivalently, diverging quantum speeds) can be traced back to reduced uncertainty in quantum observables and thus can be understood as a consequence of emerging classicality for these particular observables. We illustrate this mechanism by developing a QSL formalism for continuous variable quantum systems undergo…
Geometric speed limit of state preparation and curved control spaces
Freie Universität Berlin（柏林自由大学）；Nordita, Stockholm University and KTH Royal Institute of Technology（诺迪塔，斯德哥尔摩大学和瑞典皇家理工学院）；Department of Materials Science and Applied Mathematics, Malmö University（马尔默大学材料科学与应用数学系）
We present a mathematical formalism of non-Hermitian quantum mechanics, following the Dirac-von Neumann formalism of quantum mechanics. In this formalism, the state postulate is the same as in the Dirac-von Neumann formalism, but the observable postulate should be changed to include para-Hermitian operators (spectral operators of scalar type with real spectrum) representing observable, as such both the measurement postulate and the evolution postulate must be modified accordingly. This is based on a Stone type theorem as proved here that the dynamics of non-Hermitian quantum systems is governe…
A geometric approach to formulate the uncertainty principle between quantum observables acting on an $N$-dimensional Hilbert space is proposed. We consider the fidelity between a density operator associated with a quantum system and a projector associated with an observable, and interpret it as the probability of obtaining the outcome corresponding to that projector. We make use of fidelity-based metrics such as angle, Bures and root-infidelity ones, to propose a measure of uncertainty. The triangle inequality allows us to derive a family of uncertainty relations. In the case of the angle metr…
Recently Waegell and Aravind [J. Phys. A: Math. Theor. 45 (2012), 405301, 13 pages] have given a number of distinct sets of three-qubit observables, each furnishing a proof of the Kochen-Specker theorem. Here it is demonstrated that two of these sets/configurations, namely the $18_{2} - 12_{3}$ and $2_{4}14_{2} - 4_{3}6_{4}$ ones, can uniquely be extended into geometric hyperplanes of the split Cayley hexagon of order two, namely into those of types ${\cal V}_{22}(37; 0, 12, 15, 10)$ and ${\cal V}_{4}(49; 0, 0, 21, 28)$ in the classification of Frohardt and Johnson [Comm. Algebra 22 (1994), 77…
Considering the simultaneous measurement of non-commuting observables, we define a geometric measure for the degree of non-commuting behavior of quantum measurements coming from the initial and final states of the measurements. The rationality of our geometric measure is demonstrated and the application of it is presented. The connection between our measure and Heisenberg's uncertainty principle is discussed as well. Our work deepens the understanding of quantum non-commuting measurement.
Quantum observables can be identified with vector fields on the sphere of normalized states. Consequently, the uncertainty relations for quantum observables become geometric statements. In the Letter the familiar uncertainty relation follows from the following stronger statement: Of all parallelograms with given sides the rectangle has the largest area.
Constructive techniques to establish state-independent uncertainty relations for the sum of variances of arbitrary two observables are presented. We investigate the range of simultaneously attainable pairs of variances, which can be applied to a wide variety of problems including finding exact bound for the sum of variances of two components of angular momentum operator for any total angular momentum quantum number $j$ and detection of quantum entanglement. Resulting uncertainty relations are state-independent, semianalytical, bounded-error and can be made arbitrarily tight. The advocated appr…
A non-Hermitian operator may serve as the Hamiltonian for a unitary quantum system, if we can modify the Hilbert space of state vectors of the system so that it turns into a Hermitian operator. If this operator is time-dependent, the modified Hilbert space is generally time-dependent. This in turn leads to a generic conflict between the condition that the Hamiltonian is an observable of the system and that it generates a unitary time-evolution via the standard Schrödinger equation. We propose a geometric framework for addressing this problem. In particular we show that the Hamiltonian operator…
Geometric mechanisms enabling spin- and enantio-sensitive observables in one photon ionization of chiral molecules
Max-Born-Institut（马克斯·玻恩研究所）；Insitute of Physics, Humboldt University zu Berlin（柏林洪堡大学物理研究所）；Technion - Israel Institute of Technology（以色列理工学院）；Department of Physics, Imperial College London（帝国理工学院物理系）；Department of Physics, Freie Universität Berlin（柏林自由大学物理系）；Technische Universität Berlin（柏林工业大学）
For adiabatic controls of quantum systems, the non-adiabatic transitions are reduced by increasing the operation time of processes. Perfect quantum adiabaticity usually requires the infinitely slow variation of control parameters. In this paper, we propose the dynamical quantum geometric tensor, as a metric in the control parameter space, to speed up quantum adiabatic processes and reach quantum adiabaticity in relatively short time. The optimal protocol to reach quantum adiabaticity is to vary the control parameter with a constant velocity along the geodesic path according to the metric. For …
Speed of state transitions in macroscopic systems is a crucial concept for foundations of nonequilibrium statistical mechanics as well as various applications in quantum technology represented by optimal quantum control. While extensive studies have made efforts to obtain rigorous constraints on dynamical processes since Mandelstam and Tamm, speed limits that provide tight bounds for macroscopic transitions have remained elusive. Here, by employing the local conservation law of probability, the fundamental principle in physics, we develop a general framework for deriving qualitatively tighter …
