1. Introduction
Several works have studied the minimum time for the quantum evolution to an orthogonal state. A first list of works on a lower bound on the orthogonality time based on the energy spread includes the investigations by Mandelstam and Tamm [
1], Fleming [
2], Anandan and Aharonov [
3], and Vaidman [
4]. In a second type of explorations, there are works such as the one by Margolous and Levitin [
5] that express a lower bound on the orthogonalization time based on the average energy of the system. In Ref. [
6], instead, Levitin and Toffoli proposed a lower bound that involves both the energy spread and the average energy of the system. These lower bounds were extended from isolated to non-isolated systems [
7] and moreover, from pure to mixed quantum states in the presence of entanglement [
8,
9] as well. For a recent expository review of the minimum evolution time and quantum speed limit inequalities that includes generalizations to mixed system states and open multiparticle systems, we refer to Ref. [
10] and the references therein.
It is known that the minimum time
T for the Schrödinger evolution to an orthogonal state for a system with a time-independent energy uncertainty
is given by
with
h denoting the Planck constant. This finding was proved, for example, by Vaidman in Ref. [
4] without using any geometric argument, while it was proved by Anandan and Aharonov in Ref. [
3] with the help of more elaborate geometric considerations within the framework of the projective Hilbert space geometry. In both Refs. [
3,
4], the expression for the minimum time was restricted to evolutions to an orthogonal quantum state. More specifically, Anandan and Aharonov derived a rather interesting inequality relating the time interval
of the quantum evolution to the time-averaged uncertainty in energy
(during the time interval
) in Ref. [
3]:
In particular, they stated that the equality sign in Equation (
1) holds if and only if the system moves along a geodesic in the projective Hilbert space. To quantify geodesic motion in the projective Hilbert space, they also introduced a notion of efficiency denoted as
(this symbol
will be replaced with
in this manuscript), with
containing the inequality in Equation (
1) as a special case. However, they stated without proof that
is generally valid even when the system does not pass through orthogonal states.
In this paper, inspired by the results presented in Refs. [
3,
4], we find the expression for the minimum time for the evolution to an arbitrary nonorthogonal quantum state. Moreover, based on this first result, we provide a quantitative justification of the validity of the inequality
even when the system only passes through nonorthogonal states.
The layout of the paper is as follows. In
Section 2, we present a derivation of the expression for the minimum time for the evolution to an arbitrary nonorthogonal quantum state. In
Section 3, exploiting the result obtained in
Section 2, we provide a quantitative justification of the validity of the inequality
even when the system only passes through nonorthogonal states. In
Section 4, we discuss in an explicit manner the concepts of minimum evolution time and quantum geometric efficiency in two physical examples. Finally, our final considerations appear in
Section 5.
2. Minimum Time without Geometric Arguments
In this section, we provide proof that the minimum time
for the quantum evolution between two arbitrary states
and
is equal to
where
denotes the constant energy uncertainty of the system. This proof closely follows the proof presented by Vaidman in Ref. [
4] where, however, the quantum evolution was restricted to an orthogonal quantum state.
We begin with some preliminary remarks. Consider an operator
and a normalized quantum state
. The state
can be decomposed as
where
,
and
. Then, we obtain:
The state
in Equation (
3) is physically equivalent to the state
with
given that global phases have no relevance in quantum mechanics. Therefore, we conclude from Equation (
3) that we can write the state
as
with
and
. If we assume that
is also Hermitian, we have:
that is,
. Moreover, as it remains in the working condition with
being Hermitian, the dispersion
of the operator
becomes:
that is:
Finally, using Equations (
5) and (
7),
in Equation (
4) can be decomposed as
with
. For an alternative derivation of Equation (
8), we refer to
Appendix A. Equation (
8) will play a key role in our derivation of the minimum time expression.
At this point, we state the problem we wish to address. We want to find an explicit expression of the minimum time for the evolution from the normalized state
to the state
with
in the working condition that the dispersion of the Hamiltonian operator
is constant:
Before continuing our proof, we would like to emphasize at this point that our demonstration works equally well for time-dependent Hamiltonians with non-constant energy uncertainty where and is assumed to be normalized to one. However, as we shall see, an expression of the minimum evolution time can only be obtained in an implicit manner when taking into consideration systems specified by this type of Hamiltonian.
Returning to our proof, we point out for the sake of completeness that since stationary states are quantum states with no energy uncertainty (that is,
[
11]), we shall limit our considerations to the quantum evolutions of nonstationary states [
2]. Following the work by Vaidman [
4,
12], the minimum time for the evolution to a nonorthogonal state can be found by evaluating the maximum of the absolute value of the rate of change of the modulus squared of the quantum overlap
with
being an intermediate state between
and
satisfying the time-dependent Schrödinger equation:
Let us consider the quantity
. Observe that:
Therefore, the rate of change in time of the modulus squared of the quantum overlap
becomes:
where
. Using Equation (
8) with
together with Equation (
10), we obtain:
Using Equation (
13), Equation (
12) becomes:
that is:
For a given value of
and
, the absolute value of the RHS of Equation (
15) achieves its maximum number when
is maximum by observing that:
To determine the maximum of
, we proceed as follows. In general, the resolution of the identity for a
n-dimensional Hilbert space
is given by
with
for any
,
. For clarity of exposition and without loss of generality, we assume here a resolution of the identity on the full Hilbert space
that can be recast as
. We note that:
where:
Since
, from Equations (
18) and (
19), we obtain:
Therefore, we obtain from Equation (
20) that:
that is,
is maximum when
. Its maximum value equals:
For completeness, we note that, in the general scenario where one employs Equation (
17),
is maximum when
for any
, …,
n with
and
corresponding to
and
, respectively.
Before continuing our proof, we would like to remark at this point that it is straightforward to see that the subscript “max” in Equation (
22) is not strictly necessary if we employ a different resolution of the identity operator
on the full Hilbert space with the orthogonal decomposition given by
as used in
Appendix A, and not by
as in Equation (
18).
Returning to our proof, we note from Equations (
15) and (
22) that the maximum of the absolute value of the rate of change of the quantum overlap only depends on
and
and is given by
Finally, to obtain the fastest evolution to a nonorthogonal state, we impose:
For the sake of completeness, we point out that this constraint entails imposing a phase relationship between
and
such that
. Letting
, Equation (
24) yields:
that is:
Thus, we obtain from Equation (
26) that:
Integrating Equation (
27), we obtain:
Recalling that
with
since
, after some simple algebra, we finally obtain from Equation (
28):
that is:
The quantity
in Equation (
29) denotes the minimum time interval needed for the evolution (unitary Schrödinger evolution with the assumption of the constant dispersion of the Hamiltonian operator) from
to
with the two states being nonorthogonal. As a side remark, we point out that when
and
are orthogonal, Equation (
29) yields:
Equation (
31) is the result that was originally obtained without use of geometrical reasoning by Vaidman in Ref. [
4]. As a final remark, we point out that Equation (
29) can be recast as
Equation (
32) reduces to the optimal time expression obtained by Bender and collaborators in Ref. [
13] when setting
and
with
a,
.
As pointed out below Equation (
9), our demonstration leading to Equation (
28) works equally well for time-dependent Hamiltonians
. In particular, Equation (
28) remains valid if we replace a constant
with a time-dependent
. In this case, the integration of Equation (
28) yields:
where
is the time-averaged uncertainty during the time interval
defined as
with
. It is clear from Equations (
33) and (
34) that
and, therefore, we expect that a closed form analytical expression of the minimum evolution time
cannot be generally obtained in an explicit manner in such more realistic time-dependent scenarios.
3. Efficiency with Geometric Arguments
Recall that in the geometric formulation of quantum mechanical Schrödinger’s evolution, one can consider a measure of efficiency that quantifies the departure of an effective (non-geodesic evolution, in general,) from an ideal geodesic evolution. Such a geodesic evolution is characterized by paths of shortest length that connect initial and final quantum states
and
, respectively. In particular, under this scheme, one can define an efficiency in geometric quantum mechanics that takes into account a quantum mechanical evolution of a state vector
in an
N-dimensional complex Hilbert space specified by the Schrödinger equation:
with
,
,
h being the Planck constant, and
denoting the Hamiltonian of the system. A geometric measure of efficiency
with
for such a quantum system can be defined as [
3,
14]
where
,
denotes the distance along the (ideal) shortest geodesic path joining the distinct initial
and final
states on the projective Hilbert space
and finally,
is the distance along the (real) actual dynamical trajectory traced by the state vector
with
and finally,
represents the uncertainty in the energy of the system. We emphasize that the numerator in Equation (
36) is the angle between the state vectors
and
and is equal to the Wootters distance
[
15]:
Furthermore, the denominator in Equation (
36) represents the integral of the infinitesimal distance
along the evolution curve in the projective Hilbert space [
3]:
Curiously, Anandan and Aharonov proved that the infinitesimal distance
in is connected to the Fubini-Study infinitesimal distance
by the following condition:
with
denoting an infinitesimal quantity equal or higher than
. Equations (
38) and (
39) imply that
s is proportional to the time integral of the uncertainty in energy
of the system and specifies the distance along the quantum evolution of the system in the projective Hilbert space as measured by the Fubini–Study metric. We point out that when the actual dynamical curve coincides with the shortest geodesic path connecting the initial and final states,
is equal to zero and the efficiency
in Equation (
36) equals one. Obviously,
is the shortest possible distance between two orthogonal states in the projective Hilbert space. In general, however,
for such a pair of orthogonal pure states.
Given the important role played by energy uncertainty in the geometry of quantum evolutions, one may wonder whether or not there is some sort of quantum mechanical uncertainty relation in this geometric framework. We recall that the standard quantum mechanical uncertainty relation is given by [
16]
Equation (
40) mirrors the intrinsic randomness of the outcomes of quantum experiments. Precisely, if one repeats several times the same state preparation scheme and then measures the operators
x or
p, the observations collected for
x and
p are specified by standard deviations
and
whose product
is greater than
. Gaussian wave packets, in particular, are characterized by a minimum position-momentum uncertainty defined by
. In the geometry of quantum evolutions, there is an analogue of Equation (
40) where, for instance, Gaussian wave packets are replaced by geodesic paths in the projective Hilbert space. Indeed, taking into consideration the time-averaged uncertainty in energy
during a time interval
defined as [
3]
The quantity
in Equation (
41) defines the orthogonalization time, that is, the time interval during which the system passes from an initial state
to a final state
where
. Employing Equations (
38) and (
41) and remembering that the shortest possible distance between two orthogonal quantum states in the projective Hilbert space is
, we obtain:
Specifically, the equality in Equation (
42) only holds when the quantum evolution is a geodesic evolution. Therefore, geodesic paths represent minimum time-averaged energy uncertainty trajectories just as Gaussian wave packets specify minimum position-momentum uncertainty wave packets. Summarizing, when a quantum evolution exhibits minimum uncertainty
, unit efficiency
is achieved. This, in turn, only occurs if the physical systems move along a geodesic path in the projective Hilbert space. Interestingly, the Anandan–Aharonov time–energy uncertainty relation in Equation (
42) is related to the statistical speed of the evolution
of the physical system with
being the Fubini–Study infinitesimal line element squared. Precisely, since
is proportional to
, the system moves rapidly wherever the uncertainty in energy assumes large values [
17].
We observe that if
and
are orthogonal, and in addition,
is constant, we have from Equation (
36) that:
Therefore, from Equation (
43), we obtain:
In particular, we obtain:
that is:
We remark that the geodesic constraint in Equation (
46) is not a time–energy uncertainty condition. Instead, it simply states that
. Indeed, using the Anandan–Aharonov relation that states that the (angular) speed
v of a unitary evolution is proportional to the energy uncertainty
[
3,
18],
, the condition
can be recast as
with
. Furthermore, if
and
are nonorthogonal and in addition,
is constant, we have from Equation (
36) that:
Therefore, Equation (
47) yields:
that is:
Equation (
49) generalizes the inequality
in Equation (
44) and is generally valid even when the quantum system does not pass through orthogonal states. Moreover, the inequality in Equation (
49) is in agreement with Equation (
29) derived in the previous Section without any geometrical consideration. The derivation of Equation (
49) provides a simple quantitative justification of the verbal statement made by Anandan and Aharonov in Ref. [
3] concerning the validity of the inequality
extended to a system that does not pass through orthogonal states. In particular, we have from Equation (
49) that:
that is:
We emphasize that the inequality
in Equation (
48) also holds true in the time-dependent Hamiltonian scenario by simply applying our line of reasoning developed for the time-independent scenario and replacing
with
as defined in Equation (
34). Specifically, the time-dependent version of Equation (
51) for non-geodesic motion is specified by the inequality
.
Interestingly, we also point out that the energy dispersion
(as defined in Equation (
9)) of a constant Hamiltonian operator
describing a two-level quantum system with spectral decomposition given by
(where
and
) with respect to the normalized initial state
is given by
once
is decomposed as
with
,
. From Equation (
52), we note that the maximum value of
is obtained for
where
and
, respectively. Moreover, this maximum value equals
. Therefore, the minimum evolution time
from an initial state
to a final state
becomes:
Finally, when the quantum evolution is between the orthogonal initial and final states
and
, Equation (
53) yields
. Clearly, from Equations (
51) and (
53), we observe that the travel time
depends on the Hamiltonian H through the energy uncertainty
. Specifically,
can be made arbitrarily small if
can be made arbitrarily large. However, in typical physical scenarios specified by a finite-dimensional Hilbert space with temporally bounded energy eigenvalues
[
19], the dispersion of the Hamiltonian operator is upper bounded. Specifically, it happens that
if for any
and for any
t, one imposes
for some
. Thus, the minimum time travel is lower bounded with
. In
Table 1, we summarize our results for optimal quantum evolution conditions between both orthogonal and nonorthogonal states. In the next section, we present two explicit examples.
5. Concluding Remarks
In this paper, we presented a simple proof of the fact that the minimum time
for the quantum evolution between two arbitrary states
and
equals
(see Equation (
29)) with
being the constant energy uncertainty of the system. This proof was performed in the absence of any geometrical arguments and closely followed the reasoning employed in Ref. [
4] by Vaidman. Then, within the geometric framework of quantum evolutions based upon the geometry of the projective Hilbert space as developed by Anandan and Aharonov in Ref. [
3], we discussed the roles played by either minimum-time or maximum-energy uncertainty concepts in defining a geometric efficiency measure (see
in Equation (
36)) of quantum evolutions between two arbitrary nonorthogonal quantum states. In particular, we provided a quantitative justification of the validity of the inequality
even when the system passed through nonorthogonal states (see Equation (
49)). A schematic description of our main discussion points appears in
Table 1.
While our investigation was performed in the spirit of the original Vaidman work, we additionally considered here a number of new modifications. Firstly, we extended the reasoning to unitary Schrödinger evolutions between quantum states that are not necessarily orthogonal. Secondly, we provided two explicit and alternative detailed proofs of the clever decomposition of
in Equation (
8) which plays a key role in the main proof itself. Thirdly, we emphasize its generalization to time-dependent Hamiltonian evolutions. Fourthly, and perhaps most importantly, we show the usefulness of the outcomes of the proof in upper bounding the geometric efficiency of quantum evolutions between two arbitrary states, either orthogonal or nonorthogonal. Lastly, we quantitatively present two illustrative examples discussing both time-independent and time-dependent quantum Hamiltonian evolutions in terms of minimum evolution time and geometric efficiency.
As a final remark, we point out that it would be interesting to further deepen our understanding of this geometric efficiency analysis to physical scenarios where the energy uncertainty
is not constant in time. A partial list of scenarios that could be considered includes the
time-dependent Hamiltonian evolutions used to describe distinct types of analog quantum search schemes viewed as driving strategies in Ref. [
24] and, in addition, the time-dependent Hamiltonian describing the resonance phenomenon in a two-state quantum system used to construct quantum search algorithms by Wilczek and collaborators in Ref. [
25] without limiting the analysis to the short-time limit of the near-resonance regime. We hope to address these more applied investigations in future efforts.