Abstract
We present an information geometric analysis of off-resonance effects on classes of exactly solvable generalized semi-classical Rabi systems. Specifically, we consider population transfer performed by four distinct off-resonant driving schemes specified by time-dependent Hamiltonian models. For each scheme, we study the consequences of a departure from the on-resonance condition in terms of both geodesic paths and geodesic speeds on the corresponding manifold of transition probability vectors. In particular, we analyze the robustness of each driving scheme against off-resonance effects. Moreover, we report on a possible tradeoff between speed and robustness in the driving schemes being investigated. Finally, we discuss the emergence of a different relative ranking in terms of performance among the various driving schemes when transitioning from on-resonant to off-resonant scenarios.
1. Introduction
It is well-known that the resonance phenomenon concerns the amplification that occurs when the frequency of an externally applied field (for instance, a magnetic field) is equal to a natural characteristic frequency of the system on which it acts. When a field is applied at the resonant frequency of another system, the system oscillates at a higher amplitude than when the field is applied at a non-resonant frequency. In an actual experimental laboratory, off-resonance effects can occur for a number of reasons. For instance, a common source of off-resonance effects is the presence of unforeseen magnetic field gradients that are not part of the externally applied magnetic field. These gradients can cause signal loss and, as a consequence, signals at the “wrong” resonant frequency (that is, off-resonance). Furthermore, when the intensity of an applied magnetic field gradient is changed in a laboratory, decaying eddy currents can produce time-varying off-resonant effects [1]. Additionally, the presence of concomitant gradients can create off-resonance effects in the form of -spatial variations in the Larmor frequency when a magnetic field gradient in the z-direction is applied [2]. For the interested reader, we discuss two illustrative examples concerning the departure from the on-resonance condition in the context of classical and quantum mechanics in Appendix A.
The resonance phenomenon happens to play a key role in problems where one seeks to drive an initial source state towards a final target state. For instance, typical problems of this kind can be found when controlling population transfer in quantum systems [3,4,5] or when searching for a target state [6,7]. In the framework of quantum control theory, it is commonly believed that an off-resonant driving scheme cannot help achieving population transfer with high fidelity between two quantum states. However, there do exist theoretical investigations relying on the phenomenon of superoscillations [8] where population transfer occurs by using only off-resonant driving fields [9]. In particular, during resonant superoscillations, the quantum system is temporarily excited and behaves as if truly driven at resonance [9]. Furthermore, the existence of suboptimal transfer efficiencies, caused by the sequential use of two lasers in order to physically realize a transition from highly excited Rydberg states to ground states [10,11], leads to question the possibility of transition from a ground state to the Rydberg state by means of lasers far-off-resonant with respect to the transition frequency. Indeed, motivated by such possibility, driving schemes specified by periodic square-wells and Gaussian pulses in order to implement coherent transfer with far-off-resonant driving fields have been proposed in reference [12].
It is also well-known that on-resonance driving is not a good control strategy for a quantum system if, from an experimental standpoint, one allows the Rabi frequency (that is, the frequency that describes the coupling between the driving field and the two-level system) to be higher than the Larmor frequency (that is, the characteristic transition frequency of the two-level system in the absence of the external driving field) [13]. This is called the strong driving regime. In such a scenario, the so-called rotating wave approximation (RWA, [14]) is not applicable and the system is driven with an external field whose amplitude is greater than or equal to the energy splitting between the system’s states. For an analysis on the deviation from sinusoidal Rabi oscillations by studying the time-evolution dynamics of a strongly driven dressed electron spin in silicon, we refer to reference [15]. Furthermore, for an explicit manifestation of strong sensitivity to the initial phase of the driving field in the dynamics of a general semi-classical Rabi model in regimes of arbitrary strong driving, we refer to reference [16].
Based upon our considerations, it is clear that off-resonance phenomena exhibit both experimental (for instance, limited control of spurious electromagnetic signals and strong driving regimes) and theoretical (for instance, sensitivity to initial conditions and emergence of more complex dynamical scenarios) interest. In the framework of analog quantum searching, we have recently presented a detailed investigation concerning the physical connection between quantum search Hamiltonians and exactly solvable time-dependent two-level quantum systems in reference [7]. In references [17,18], instead, we analyzed the possibility of modifying the original Farhi-Gutmann Hamiltonian quantum search algorithm [19] in order to speed up the procedure for producing a suitably distributed unknown normalized quantum mechanical state provided only a nearly optimal fidelity is sought. In reference [20], we presented an information geometric characterization of the oscillatory or monotonic behavior of statistically parametrized squared probability amplitudes originating from special functional forms of the Fisher information function: constant, exponential decay, and power-law decay. Furthermore, for each case, we computed both the computational speed and the availability loss of the corresponding physical processes by exploiting a convenient Riemannian geometrization of useful thermodynamical concepts. Finally, building upon our works presented in references [7,17,18,20], we presented in reference [21] an information geometric analysis of geodesic speeds and entropy production rates in geodesic motion on manifolds of parametrized quantum states. These pure states emerged as outputs of suitable time-dependent Hamiltonian evolutions used to describe distinct types of analog quantum search schemes viewed as driving strategies. In particular, by evaluating the geodesic speed and the total entropy production along the optimum transfer paths in a number of physical scenarios of interest in analog quantum search problems (for instance, constant, oscillatory, power-law decay, and exponential decay of the driving magnetic fields), we showed in an explicit quantitative manner that to a faster transfer there corresponds necessarily a higher entropy production rate. Thus, we concluded that lower entropic efficiency values do appear to accompany higher entropic geodesic speed values in quantum transfer processes. Our information geometric analysis in reference [21] was limited to the case in which the on-resonance driving condition was satisfied for all quantum driving strategies. However, based upon our previous considerations, it would be of theoretical interest to investigate from an information geometric perspective the effects of off-resonance effects on these driving strategies. In particular, we would like to address the following questions:
- (i)
- What are the main effects of deviations from the on-resonance condition in these time-dependent Hamiltonian evolutions?
- (ii)
- Do off-resonance effects modify (with respect to the on-resonance scenario) the relative ranking in terms of performance (quantified in terms of geodesic speed and/or minimum transfer time) among the driving schemes being considered?
- (iii)
- Are there driving schemes that are especially robust against deviations from the on-resonance condition and that, in addition, are capable of reaching sufficiently high fidelity values?
The rest of the paper is organized as follows. In Section 2, we present our driving strategies in terms of classes of exactly solvable generalized semi-classical Rabi systems. Specifically, we consider the population transfer performed by four distinct off-resonant driving schemes specified by time-dependent Hamiltonian models. In Section 3, we propose our information geometric analysis of off-resonance effects on such classes of systems. For each scheme, we study the consequences of a departure from the on-resonance condition in terms of both geodesic paths and geodesic speeds on the corresponding manifold of transition probability vectors. In particular, we analyze the robustness of each driving scheme against off-resonance effects. Moreover, we report on a possible tradeoff between speed and robustness in the driving schemes being investigated. Finally, we discuss the emergence of a different relative ranking in terms of performance among the various driving schemes when transitioning from the on-resonant to the off-resonant scenarios. Our conclusive remarks appear in Section 4. Auxiliary illustrative examples together with some technical details are placed in Appendices Appendix A and Appendix B.
2. The su; Quantum Driving
In this section, we introduce our driving strategies in terms of classes of exactly solvable generalized semi-classical Rabi systems [22,23].
The quantum evolution we take into consideration is specified by means of an Hamiltonian operator written as the most general linear superposition of the three traceless and anti-Hermitian generators of , the Lie algebra of the special unitary group ,
In Equation (1), , , and are time-dependent complex coefficients while denotes the Pauli vector operator. In particular, by putting , , and , Equation (1) yields
In the framework of Hamiltonian models, and are the so-called complex transverse field and real longitudinal field, respectively. Obviously, denotes the modulus of . In what follows, we assume that longitudinal fields are oriented along the z-axis while transverse fields lie in the -plane. Taking into consideration the quantum evolution of an electron (or, more generally, a spin- particle) in an external time-dependent magnetic field , the Hamiltonian in Equation (2) can be rewritten as
where denotes the magnetic moment of the electron with being the so-called Bohr magneton. The quantity is the mass of an electron while denotes the absolute value of the electric charge of an electron. Moreover, and are the speed of light and the reduced Planck constant, respectively. The magnetic field in Equation (1) can be recast as
with and . Equating the Hamiltonians in Equations (2) and (3) and making use of the magnetic field decomposition in Equation (4), the connection between the set of field intensities and the set of magnetic field intensities becomes clear. More specifically, we observe that and . The exact connection between the components and is expressed by
Moreover, in terms of field intensities, we get
Studying the quantum evolution of an electron governed by the Hamiltonian in Equation (3) by means of exact analytical expressions of complex probability amplitudes and/or real transition probabilities from an initial source state to a final target state can be quite challenging. In particular, the canonical matrix representations of in Equation (2) and , the unitary evolution operator arising from , with and , are given by
respectively. The unitarity of the quantum evolution demands that the complex probability amplitudes and fulfill the normalization condition, . Once the unitary evolution operator in Equation (7) is given, the temporal evolution of a quantum source state ,
can be characterized by the following transformation law,
with denoting the quantum overlap. The set of orthonormal state vectors generate the two-dimensional search space of the -dimensional complex Hilbert space . Therefore, using Equations (7), (8), and (9), the probability that the source state transitions into the target state under becomes
It is evident from Equation (10) that in order to calculate the exact analytical expression of transition probabilities, one must have the exact analytical formula of the evolution operator expressed in terms of the complex probability amplitudes and . Ideally, having specified the fields and by means of physical arguments, one would solve the coupled system of first order ordinary differential equations with time-dependent coefficients emerging from the relation with ,
where and . However, it is often the case that this general approach does not yield exact analytical solutions. It is recognized that it is rather difficult to find exact analytical solutions in time-dependent two-level quantum systems specified by equations as the ones in Equation (11). A very powerful technique for investigating these types of quantum evolutions is the so-called rotating coordinates technique. This method, originally proposed by Rabi, Ramsey, and Schwinger in magnetic resonance problems, can be presented as a three-step technique: First, recast the original problem from a stationary to a rotating frame of reference by performing a suitable change of coordinates; second, find the solution to the simplified problem viewed in a rotating frame of reference by means of rotating coordinates; third, solve the original problem by an inverse transformation from the rotating to the stationary frame. Usually, the rotating frame of reference rotates about the axis specified by the magnetic field with the angular frequency characterized by the magnetic field . In quantum terms, assume that in a static frame of reference the quantum evolution of the qubit is ruled by the Schrödinger equation,
Then, considering a unitary transformation T between two distinct vector bases and , the Schrödinger equation in the new frame of reference can be written as
with and . More specifically, assuming that the unitary transformation is a rotation by an angle about the z-axis, the Hamiltonians in Equations (2) and (3) can be recast as
and,
respectively, where . In the so-called original Rabi scenario, with the angular frequency being a negative real constant while the magnetic field intensities and are constant. In particular, assuming the so-called static resonance condition,
the Hamiltonian in Equation (15) specifies a time-independent quantum mechanical problem. Unlike the original Rabi scenario, in the so-called generalized Rabi scenario proposed by Messina and collaborators in references [22,23], , , and are arbitrary time-dependent dynamical variables. In particular, assuming the so-called generalized Rabi condition,
the Hamiltonians in Equations (14) and (15) do not yield a time-independent quantum mechanical problem. Inspired by our research reported in reference [7] and exploiting the findings in references [22,23], we take into consideration here four quantum mechanical scenarios where the transition probability from an initial state to a final state , with , , and , can be analytically described. In all four cases, we assume to be in a physical scenario in which,
with being a negative real constant. We point out that, from a pure mathematical viewpoint, more general temporal behaviors of and in Equation (18) could have been selected provided Equation (17) is fulfilled. However, the choice adopted in Equation (18) seems to be more suitable from an experimental standpoint. The four scenarios can be formally distinguished by means of the temporal behavior of the intensity of the complex transverse field . In the first case, we assume a constant field intensity ,
This first case specifies the original Rabi scenario where is given by,
In the remaining three cases, we take into consideration three generalized Rabi scenarios where the field intensity manifests oscillatory, power law decay, and exponential law decay behaviors,
respectively. Note that in Equation (21) is a positive quantity on a temporal scale with . In all three cases, it can be proven that the transition probability is given by [23],
for any . Interestingly, being on resonance, the transition probabilities In Equations (20) and (22) for all four cases depend only on the integral of the transverse field intensity .
Before beginning our information geometric analysis, we formally introduce here an adimensional parameter that quantifies the departure from the on-resonance condition,
When assumes a nonzero constant value, the generalized expression of the transition probability in Equation (22) is given by [23],
We emphasize that in Equation (23) is generally a time-dependent quantity. However, in what follows, we shall limit our information geometric analysis to the case in which is a constant parameter with transition probabilities given in Equation (24). For further details on the link between in Equation (23) and its analogue counterpart in the framework of Rabi’s original static off-resonance condition, we refer to Appendix A.
3. Information Geometric Analysis
In this section, we present our information geometric analysis of off-resonance effects on the chosen quantum driving strategies. For each scheme, we analyze the consequences of a departure from the on-resonance condition in terms of both geodesic paths and geodesic speeds on the corresponding manifold of transition probability vectors.
3.1. Preliminaries
In order to provide some conceptual background for our forthcoming information geometric analysis that emerges from quantum driving strategies, we begin by introducing some preliminary remarks.
Assume to consider an -dimensional complex Hilbert space together with two neighboring normalized pure states and where,
respectively. In Equation (25), with denotes an orthonormal basis of while and are real functions of a continuous real parameter . The distinguishability metric on this manifold of Hilbert space rays is specified by the Fubini–Study metric [24],
where the Fubini–Study metric tensor components are related to the Fisher–Rao metric tensor components by the condition,
The quantities and in Equation (27) are given by,
and,
respectively. In what follows, we assume that the non-negative term in Equation (29) (which denotes the variance of the phase changes) is equal to zero. This working assumption can be justified by rephasing in a suitable fashion the basis vectors used to write the state . Specifically, the rephasing procedure demands that , for any . The state denotes the projection of orthogonal to where while and are given in Equation (25). In summary, for a convenient choice of the basis vectors used for the decomposition in Equation (25), becomes proportional to as evident from Equation (27). We refer to reference [24] for further details. For the sake of completeness, we emphasize that if the basis satisfies the above mentioned conditions, the basis vectors can always be rephased so that both and are real. These latter conditions, in turn, are reminiscent of the so-called parallel transport conditions that occur in the context of Berry’s description of a geometric effect in the shape of an additional phase factor emerging after an adiabatic and cyclic transport of a quantum system [25]. Specifically, in the framework of Berry’s phase analysis generalized by Aharonov and Anandan by removing the adiabaticity constraint in the cyclic quantum evolution [26], it is possible to show that there exists one distinct curve in the Hilbert space fulfilling the parallel transport conditions. Namely, two neighboring states and in have the same phase, that is to say, is real and positive. For such a curve, the dynamical phase vanishes. In summary, for special Hamiltonians that satisfy a special gauge choice (that is, the parallel transport conditions), the dynamical phase vanishes [27].
In our paper, the parameter is the statistical version of the elapsed time t. That is, we assume is a parameter that can be experimentally specified by measurement of a suitable observable that changes with time (for instance, the transverse magnetic field intensity ). For further details on the concept of statistical elapsed time, we refer to reference [28]. In particular, we suppose that the output of a quantum driving Hamiltonian acting on the input defined by the normalized source state can be described as,
In general, the normalized output state is an element of the two-dimensional subspace of the n-qubit complex Hilbert space accommodating the source state and generated by the set of orthonormal state vectors . The modulus squared of the probability amplitudes and stand for the success and failure probabilities of the given driving strategy, respectively. Furthermore, and denote the real quantum phases of the states and , respectively. We note that the quantum state in Equation (30) is parameterized by means of a single continuous real parameter that emerges from the elapsed time of the driving strategy. As previously mentioned, this parameter mimics a statistical macrovariable used to distinguish neighboring quantum states and along a path through the space of pure quantum states. In summary, we focus on the space of probability distributions ,
where the natural Riemannian distinguishability metric between two neighboring probability distributions and is given by the Fisher–Rao information metric in Equation (28). For an overview of the use of information geometric techniques to analog quantum search problems, we refer to references [20,29,30,31].
In any quantum driving scheme considered in this paper, following references [22,23], we assume the success probability and the failure probability can be recast as
respectively. In Equation (32), the quantity denotes the temporal parameter while the quantity is defined as
with being the (assumed) constant parameter that quantifies the deviation from the on-resonance condition. The quantity , instead, specifies the type of driving being considered. The Fisher information corresponding to the probability vector is given by [32,33],
with . Substituting Equation (32) into Equation (34), the Fisher information becomes
Note that when we are on-resonance, , , and reduces to
In particular, when is linear in , as reported in reference [20]. Finally, once the expression of the Fisher information is given, the geodesic equation to integrate becomes
For more details on how to derive Equation (37) and how to express the quantum mechanical infinitesimal Fubini–Study line element in terms of the Fisher information and/or the Fisher–Rao information metric, we refer to reference [20]. For the sake of completeness, we observe that Equation (37) can be recast as,
where and . Defining and after some straightforward algebraic manipulations, Equation (38) reduces to
Integration of Equation (39) yields a closed-form implicit relation between the dependent variable and the independent variable ,
with being a real constant of integration. Equation (40) is an implicit constraint equation between the variables and . Despite the closed-form implicit relation in Equation (40), in what follows we shall numerically find the geodesic paths satisfying Equation (37) for the four driving strategies defined in Equations (19) and (21).
3.2. Geodesic Paths
In what follows, after specifying in Equation (32) and in Equation (35), we shall focus on numerically finding from Equation (37) the geodesic paths that correspond to the various off-resonant driving schemes.
3.2.1. Constant Behavior
In the first case, we assume is defined as
Therefore, from Equations (32) and (41), the probabilities and are given by
respectively. In Equation (42), the quantity is defined in Equation (33) while is given by
respectively. In Figure 1, we plot the success probability versus the temporal parameter in the case of constant driving with the assumption that . From Figure 1, we note that the maximum value of the success probability decreases with respect to increasing values of the parameter . Furthermore, the periodic oscillatory behavior of the success probability is also affected by nonzero values of . In particular, to higher values of there correspond smaller (higher) values of the period (frequency) of oscillation. In this first case, putting Equation (42) into Equation (35), the Fisher information becomes
Figure 1.
Plot of the success probability p versus the temporal parameter in the case of constant driving for (dotted), (dashed), (thin solid), and (thick solid).
For the sake of completeness, note that when , , and in Equation (44) reduces to
Figure 2.
Numerical plots of the geodesic paths versus the affine parameter for the four driving strategies: Power-law (dotted line), exponential (dashed line), oscillatory (thin solid line), and constant (thick solid line). In the LHS (left-hand-side), we consider the on-resonance scenario with . In the RHS (right-hand-side), we consider the off-resonance scenario with . In both sides, we set , , , and .
3.2.2. Oscillatory Behavior
In this second scenario, we assume is given by
Therefore, from Equations (32) and (47), the probabilities and become
respectively. In this case, employing Equation (47), the Fisher information in Equation (35) becomes
that is, after some straightforward but tedious algebra,
Observe that when , , and, recalling that , in Equation (50) reduces to
Finally, employing Equations (37) and (50), the geodesic equation to integrate in this second scenario can be formally written as
with as in Equation (50). Using a symbolic mathematical software (Mathematica, for instance) together with the analytical knowledge of what happens in the limiting case of [21], Equation (52) can be finally recast as
3.2.3. Power Law Decay
In this third scenario, we assume is defined as
Therefore, the probabilities and in Equation (32) can be rewritten as
respectively. In this case, the Fisher information in Equation (35) can be formally recast as
that is, after some tedious algebra,
Once again, for the sake of completeness, we point out that when , , and in Equation (57) reduces to
Finally, making use of Equations (37) and (57), the geodesic equation to integrate in this third scenario can be formally written as
with as in Equation (57). Employing a symbolic mathematical software (Mathematica, for instance) together with the analytical knowledge of what occurs in the on-resonance case where [21], Equation (59) can be finally recast as
3.2.4. Exponential Decay
In this last scenario, we assume
Therefore, the success and failure probabilities probabilities and are given by
respectively. In this case, the Fisher information in Equation (35) is formally given by
that is,
Observe that when , , in Equation (64) reduces to
Lastly, using Equations (37) and (64), the geodesic equation to integrate in this third scenario can be formally written as
with as in Equation (64). Making use of a symbolic mathematical software (Mathematica, for instance) together with the analytical knowledge of what happens in the limiting case of [21], Equation (66) can be finally recast as
In Figure 2, we report the numerical plots of the geodesic paths versus the affine parameter for the four driving strategies with geodesic equations in Equations (46), (53), (60) and (67). In the LHS of Figure 2, we consider the on-resonance scenario with . In the RHS of Figure 2, instead, we consider the off-resonance scenario with . In both sides, we set , , , and . The most noticeable feature in Figure 2 is the deviation from the straight line behavior of the geodesic path that emerges from the constant driving scheme when the on-resonance condition is satisfied. In particular, a first visual comparison of the corresponding plots in the two cases (on-resonance v.s. off-resonance) seems to suggest that the constant driving scheme might be the least robust to departures from the on-resonance condition. Indeed, this preliminary remark will be quantitatively confirmed in our forthcoming information geometric analysis.
3.3. Geodesic Speeds
In what follows, after specifying in Equation (32) and in Equation (35), we shall focus on finding the geodesic speeds v,
corresponding to the various off-resonant driving schemes. For some technical details on the proof of the fact that geodesic paths have constant speed, we refer to Appendix B.
3.3.1. Constant Case
In this first case, using Equations (33), (43) and (44), the on-resonance geodesic speed v from Equation (68) is given by
Furthermore, setting , , and , and in Equations (69) and (70) become
and,
respectively. From Equations (71) and (72), we note that the geodesic speed becomes sensitive to the initial condition when departing from the on-resonance scenario in the case of a driving strategy with constant complex transverse field intensity. Finally, employing Equations (72) and (71), we define the robustness coefficient as the ratio
that is,
In Figure 3, we plot the analytical (thin solid) and numerical (filled circle) values of the geodesic speed in Equation (70) versus the initial condition in the case of constant driving. In the plot, we set , , and . The plot in Figure 3 clearly illustrates the emergence of the sensitivity on the initial condition of the geodesic speed for the constant driving scheme when the on-resonance condition is violated. For the sake of completeness, we point out that despite the fact that this sensitivity is present in the remaining three driving strategies even when the on-resonance condition is fulfilled, off-resonance effects substantially enhance this sensitivity as evident from our information geometric analysis of geodesic speeds presented here.
Figure 3.
Plot of the analytical (thin solid) and numerical (filled circle) values of the geodesic speed versus the initial condition in the case of constant driving. In the plot, we set , , and .
3.3.2. Oscillatory Behavior
In this second case, making use of Equations (33), (43) and (50), the on-resonance geodesic speed v from Equation (68) becomes
In the off-resonance regime, instead, the geodesic speed is given by
3.3.3. Power Law Decay
In this third case, Equations (33), (43) and (57) lead to an expression of the on-resonance geodesic speed v from Equation (68) given by
In the off-resonance regime where , instead, the geodesic speed from Equation (68) becomes
3.3.4. Exponential Decay
In this fourth and last case, making use of Equations (33), (43) and (64), the on-resonance geodesic speed v from Equation (68) becomes
In the off-resonance regime, instead, the geodesic speed is given by
Assuming , , , and , and in Equations (87) and (88) become
and,
respectively. Finally, by means of Equations (89) and (90), we define the robustness coefficient as the ratio
that is,
In Figure 4, going from left to right, we plot: (L) Plot of the geodesic speeds in Equations (69), (75), (81) and (87) versus the initial condition with ; (C) Plot of the geodesic speeds in Equations (70), (76), (82) and (88) versus the initial condition with ; (R) Plot of the robustness coefficients r in Equations (73), (79), (85) and (91) versus the affine parameter . Plots that correspond to the constant, oscillatory, exponential decay, and power law decay driving strategies appear in dotted, dashed, thin solid, and thick solid lines, respectively. In all plots, we set , , and . The plots in Figure 4 help exhibiting the effects of the off-resonance condition on the speed of geodesic paths that correspond to the variety of driving strategies being considered in this paper. In particular, we observe that to faster (slower) driving strategies, there seem to correspond smaller (larger) robustness coefficients. In other words, slower driving strategies appear to be more robust against departures from the on-resonance condition. The ranking of the various driving strategies is quite straightforward in the on-resonance condition. However, when departing from this condition, off-resonance effects lead to a richer set of dynamical scenarios. This, in turn, makes the comparison of the performance of our chosen driving schemes more delicate. For example, despite our illustrative depiction in Figure 4, it is possible to uncover two-dimensional parametric regions specified by the parameters and where the constant driving scheme is not only the least robust but also the slowest one. Indeed, we plot in Figure 5 a two-dimensional parametric region ,
with and where the oscillatory (light grey), the exponential decay (grey), and the power law decay (black) driving strategies outperform the constant driving scheme in terms of both geodesic speed and robustness. More specifically, in Figure 5 we have
and, in addition,
Figure 4.
From left to right: (L) Plot of the geodesic speed versus the initial condition with ; (C) Plot of the geodesic speed versus the initial condition with ; (R) Plot of the robustness coefficient r versus the affine parameter . Plots that correspond to the constant, oscillatory, exponential decay, and power law decay strategies appear in dotted, dashed, thin solid, and thick solid lines, respectively. In all plots, we set , , and .
Figure 5.
Plot of the two-dimensional parametric regions where the oscillatory (light grey), the exponential decay (grey), and the power law decay (black) driving strategies outperform the constant driving scheme in terms of both geodesic speed and robustness. Note that the light grey region contains the grey region while the grey region contains the black region. Furthermore, the black region specifies a driving strategy more robust than that specified by the grey region while the grey region specifies a driving strategy more robust than that specified by the light grey region. In all region plots, we set , , and . Finally, the maximum success probability of each driving scheme is assumed to be greater than , that is, .
In all region plots, we set , , and . In addition, the maximum success probability of each driving scheme is assumed to be greater than , that is, in Figure 5. The main take-home message from Figure 5 is that in the off-resonance scenario it is possible to uncover two-dimensional parametric regions where the best on-resonance driving scheme (that is, the constant one) can be outperformed both in terms of speed and robustness.
4. Conclusions
In this paper, we presented an information geometric analysis of off-resonance effects on classes of exactly solvable generalized semi-classical Rabi systems. Specifically, we considered population transfer performed by four distinct off-resonant driving schemes specified by time-dependent Hamiltonian models. For each scheme, we studied the consequences of a departure from the on-resonance condition in terms of both geodesic paths and geodesic speeds on the corresponding manifold of transition probability vectors. In particular, we analyzed the robustness of each driving scheme against off-resonance effects. Moreover, we reported on a possible tradeoff between speed and robustness in the driving schemes being investigated. Finally, we discussed the emergence of a different relative ranking in terms of performance among the various driving schemes when transitioning from the on-resonant to the off-resonant scenarios.
Our main findings can be outlined as follows.
- (1)
- In the presence of off-resonance effects, the success probability of the various quantum strategies is affected both in terms of amplitude and periodicity. In particular, focusing on the constant driving case, the success probability in Equation (42) is dampened by the Lorentzian-like factor . Moreover, the periodicity of the oscillations of this probability changes from to . In summary, oscillations become smaller in amplitude but higher in frequency. These facts are clearly visible in Figure 1.
- (2)
- Departing from the on-resonance condition (that is, ), we observe a change in the geodesic paths on the underlying manifolds. The presence of off-resonance effects (that is, ) generates geodesic paths with a more complex structure. In particular, unlike what happens when the on-resonance condition is satisfied, numerical integration of the geodesic equations is required. In particular, the numerical plots of the geodesic paths versus the affine parameter for the four driving strategies with geodesic equations in Equations (46), (53), (60) and (67) appear in Figure 2.
- (3)
- Each and every numerical value of the geodesic speeds corresponding to the various quantum driving strategies considered in this paper becomes smaller when departing from the on-resonance condition (see Figure 3, for instance). In general, quantum driving strategies characterized by a high geodesic speed appear to be very sensitive to off-resonance effects. Instead, strategies yielding geodesic paths with smaller geodesic speed values seem to be more robust against departures from the on-resonance condition. These observations can be understood from Figure 4.
- (4)
- In the off-resonance regime, there emerges a sensitive dependence of the geodesic speeds on the initial conditions. This, in turn, can cause a change in the ranking of the various quantum driving strategies. In particular, the strategy specified by a constant Fisher information is no longer the absolute best strategy in terms of speed. Indeed, it is possible to find two-dimensional (2D) parametric regions where this strategy is being outperformed by all the remaining strategies both in terms of speed and robustness. In general, these 2D regions are more extended for the less robust strategies (see Equations (94) and (95)). For instance, we can identify 2D regions where the speed-based ranking becomes: (1) Oscillatory strategy; (2) exponential-law decay strategy; (3) power-law decay strategy. Instead, considering the very same 2D regions, the robustness-based ranking is given by: (1) Power-law decay strategy; (2) exponential-law decay strategy; (3) oscillatory strategy. In these 2D regions, the constant strategy is the worst, both in terms of speed and robustness. These findings are illustrated in Figure 5.
In conclusion, our information geometric analysis suggests that speed and robustness appear to be competing features when departing from the on-resonance condition. Ideally, a quantum driving strategy should be fast, robust, and thermodynamically efficient [34,35,36]. Since speed and thermodynamic efficiency quantified in terms of minimum entropy production paths seem to be conflicting properties as well [20,21], it appears reasonable to think there might be a connection between robustness and thermodynamic efficiency. We leave the exploration of this conjectured link to future scientific efforts.
Author Contributions
Conceptualization, C.C.; Numeri- cal computations, S.G. and C.C.; Writing-original draft, C.C.; Writing-review and editing, C.C., S.G., and P.M.A.; Supervision, P.M.A. All authors have read and agreed to the published version of the manuscript.
Funding
C.C. acknowledges support under AFRL Visiting Faculty Fellowship Program, AFRL Contract No. FA8750-15-3-6003.
Acknowledgments
C.C. is grateful to the United States Air Force Research Laboratory (AFRL) Summer Faculty Fellowship Program for providing support for this work. Any opinions, findings and conclusions or recommendations expressed in this manuscript are those of the authors and do not necessarily reflect the views of AFRL.
Conflicts of Interest
The authors declare no conflict of interest.
Appendix A. Violating a Resonance Condition
In this Appendix, we provide two illustrative examples concerning the violation of a resonance condition.
Appendix A.1. A Classical Scenario
In the framework of classical mechanics, one can imagine violating a resonance condition in a number of manners. For instance, consider a mass-spring system in the presence of damping and sinusoidal forcing term,
In Equation (A1), . Furthermore, m, , k, and denote the mass, the damping coefficient, the spring constant, and the amplitude of the forcing term, respectively. The classical resonance curve ,
for this specific physical system is proportional to the amplitude of the steady-state solution to Equation (A1). Moreover, the resonance condition with
is specified by imposing the maximum of the resonance curve in Equation (A2). Therefore, we clearly note from Equation (A3) that departures from the resonance condition can happen by varying the stiffness (k), the mass (m), and/or the damping ().
Appendix A.2. A Quantum Scenario
In the framework of quantum mechanics, one can imagine violating a resonance condition in a number of manners. For instance, consider a two-level quantum system described by a time-dependent Hamiltonian,
where is the part of the Hamiltonian that does not contain time explicitly while is the time-dependent sinusoidal oscillatory potential. The quantities and are defined as,
respectively, where and belong to . Furthermore, and are two eigenstates of with corresponding eigenvalues and , respectively, with . The quantum resonance curve ,
for this specific physical system described by the Hamiltonian in Equation (A4) is the amplitude squared that characterizes the transition probability (assuming that at only the level is populated) between the two quantum states and with being the characteristic frequency of the system. Moreover, the resonance condition with
is specified by imposing the maximum of the resonance curve in Equation (A6). Therefore, we clearly note from Equation (A7) that departures from the resonance condition can happen by varying the larger () and the smaller () energy levels. We point out that considering the following correspondences
it can be shown that the Hamiltonian in Equation (A4) describes a two-level quantum mechanical system represented by a spin- particle immersed in an external magnetic field given by,
The resonance condition is satisfied whenever the positively assumed frequency of the rotating magnetic field in the -plane equals Larmor’s precessional frequency specified by the intensity of the uniform magnetic field [2],
Finally, we emphasize that the analogue of the adimensional parameter used throughout our paper becomes in this quantum mechanical framework the quantity defined as
Appendix B. Speed of Geodesics
In the Appendix, we briefly show that geodesics have constant speed. For further details, we refer to reference [37].
Recall that if is a curve in a n-dimensional Riemannian manifold , the speed of at any time is the length of its velocity vector ,
where denotes a Riemannian metric on the manifold while are the component functions of the curve . We say is constant speed if in Equation (A12) does not depend on , and unit speed if the speed is identically equal to one.
It is well-known that all Riemannian geodesics are constant speed curves. Indeed, let be a manifold with a linear connection ∇, and let be a curve on . The acceleration of is the vector field along (that is, the covariant derivative of along ). A curve is called a geodesic with respect to ∇ if its acceleration equals zero (that is, the velocity vector field is parallel along the curve ). Therefore, for any geodesic , we have
that is,
From Equation (A14), we conclude that geodesics have constant speed .
References
- Jackson, J.D. Classical Electrodynamics; John Wiley & Sons, Inc.: New York, NY, USA, 1999. [Google Scholar]
- Sakurai, J.J. Modern Quantum Mechanics; Addison-Wesley Publishing Company, Inc.: Boston, MA, USA, 1994. [Google Scholar]
- D’Alessandro, D.; Dahleh, M. Optimal control of two-level quantum systems. IEEE Trans. Autom. Control 2001, 46, 866. [Google Scholar] [CrossRef]
- Boscain, U.; Charlot, G.; Gauthier, J.-P.; Guerin, S.; Jauslin, H.-R. Optimal control in laser-induced population transfer for two- and three-level quantum systems. J. Math. Phys. 2002, 43, 2107. [Google Scholar] [CrossRef]
- Romano, R. Geometric analysis of minimum-time trajectories for a two-level quantum system. Phys. Rev. A 2014, 90, 062302. [Google Scholar] [CrossRef]
- Byrnes, T.; Forster, G.; Tessler, L. Generalized Grover’s algorithm for multiple phase inversion states. Phys. Rev. Lett. 2018, 120, 060501. [Google Scholar] [CrossRef]
- Cafaro, C.; Alsing, P.M. Continuous-time quantum search and time-dependent two-level quantum systems. Int. J. Quantum Inf. 2019, 17, 1950025. [Google Scholar] [CrossRef]
- Aharonov, Y.; Anandan, J.; Popescu, S.; Vaidman, L. Superpositions of time evolutions of a quantum system and a quantum time-translation machine. Phys. Rev. Lett. 1990, 64, 2965. [Google Scholar] [CrossRef]
- Kempf, A.; Prain, A. Driving quantum systems with Superoscillations. J. Math. Phys. 2017, 58, 082101. [Google Scholar] [CrossRef]
- Barredo, D.; Labuhn, H.; Ravets, S.; Lahaye, T.; Browaeys, A. Coherent excitation transfer in a spin chain of three Rydberg atoms. Phys. Rev. Lett. 2015, 114, 113002. [Google Scholar] [CrossRef]
- Schempp, H.; Gunter, G.; Wuster, S.; Weidemuller, M.; Whitlock, S. Correlated exciton transport in Rydberg-dressed-atom spin chains. Phys. Rev. Lett. 2015, 115, 093002. [Google Scholar] [CrossRef]
- Shi, Z.C.; Wang, W.; Yi, X.X. Population transfer driven by off-resonant fields. Opt. Express 2016, 24, 21971. [Google Scholar] [CrossRef]
- Hirose, M.; Cappellaro, P. Time-optimal control with finite bandwidth. Quantum Inf. Process. 2018, 17, 88. [Google Scholar] [CrossRef]
- Allen, L.; Eberly, J.H. Optical Resonance and Two-Level Atoms; Dover Publications: New York, NY, USA, 1987. [Google Scholar]
- Laucht, A.; Simmons, S.; Kalra, R.; Tosi, G.; Dehollain, J.P.; Muhonen, J.T.; Freer, S.; Hudson, F.E.; Itoh, K.M.; Jamieson, D.N.; et al. Breaking the rotating wave approximation for a strongly driven dressed single-electron spin. Phys. Rev. B 2016, 94, 161302. [Google Scholar] [CrossRef]
- Dai, K.; Wu, H.; Zhao, P.; Li, M.; Liu, Q.; Xue, G.; Tan, X.; Yu, H.; Yu, Y. Quantum simulation of the general semi-classical Rabi model in regimes of arbitrarily strong driving. Appl. Phys. Lett. 2017, 111, 242601. [Google Scholar] [CrossRef]
- Cafaro, C.; Alsing, P.M. Theoretical analysis of a nearly optimal analog quantum search. Phys. Scr. 2019, 94, 085103. [Google Scholar] [CrossRef]
- Gassner, S.; Cafaro, C.; Capozziello, S. Transition probabilities in generalized quantum search Hamiltonian evolutions. Int. J. Geom. Methods Mod. Phys. 2020. accepted. [Google Scholar] [CrossRef]
- Farhi, E.; Gutmann, S. Analog analogue of a digital quantum computation. Phys. Rev. A 1998, 57, 2403. [Google Scholar] [CrossRef]
- Cafaro, C.; Alsing, P.M. Decrease of Fisher information and the information geometry of evolution equations for quantum mechanical probability amplitudes. Phys. Rev. E 2018, 97, 042110. [Google Scholar] [CrossRef] [PubMed]
- Cafaro, C.; Alsing, P.M. Information geometry aspects of minimum entropy production paths from quantum mechanical evolutions. Phys. Rev. E 2019, in press. [Google Scholar]
- Messina, A.; Nakazato, H. Analytically solvable Hamiltonians for quantum two-level systems and their dynamics. J. Phys. A Math. Theor. 2014, 47, 445302. [Google Scholar] [CrossRef]
- Grimaudo, R.; de Castro, A.S.M.; Nakazato, H.; Messina, A. Classes of exactly solvable generalized semi-classical Rabi systems. Ann. Phys. 2018, 2018, 1800198. [Google Scholar] [CrossRef]
- Braunstein, S.L.; Caves, C.M. Statistical distance and geometry of quantum states. Phys. Rev. Lett. 1994, 72, 3439. [Google Scholar] [CrossRef] [PubMed]
- Berry, M.V. Quantal phase factors accompanying adiabatic changes. Proc. R. Soc. Lond. A 1984, 392, 45. [Google Scholar]
- Aharonov, Y.; Anandan, J. Phase change during a cyclic quantum evolution. Phys. Rev. Lett. 1987, 58, 1593. [Google Scholar] [CrossRef] [PubMed]
- Resta, R. Manifestations of Berry’s phase in molecules and condensed matter. J. Phys. Condens. Matter 2000, 12, R107. [Google Scholar] [CrossRef]
- Braunstein, S.L.; Caves, C.M.; Milburn, G.J. Generalized uncertainty relations: Theory, examples, and Lorenz Invariance. Ann. Phys. 1996, 247, 135. [Google Scholar] [CrossRef]
- Cafaro, C.; Mancini, S. An information geometric viewpoint of algorithms in quantum computing. AIP Conf. Proc. 2012, 1443, 374. [Google Scholar]
- Cafaro, C.; Mancini, S. On Grover’s search algorithm from a quantum information geometry viewpoint. Physica A 2012, 391, 1610. [Google Scholar] [CrossRef]
- Cafaro, C. Geometric algebra and information geometry for quantum computational software. Physica A 2017, 470, 154. [Google Scholar] [CrossRef]
- Amari, S.; Nagaoka, H. Methods of Information Geometry; Oxford University Press: Providence, RI, USA, 2000. [Google Scholar]
- Felice, D.; Cafaro, C.; Mancini, S. Information geometric methods for complexity. Chaos 2018, 28, 032101. [Google Scholar] [CrossRef]
- Castelvecchi, D. Clash of the physical laws. Nature 2017, 543, 597. [Google Scholar] [CrossRef]
- Faist, P.; Renner, R. Fundamental work cost of quantum processes. Phys. Rev. X 2018, 8, 021011. [Google Scholar] [CrossRef]
- Campbell, S.; Deffner, S. Trade-off between speed and cost in shortcuts to adiabaticity. Phys. Rev. Lett. 2017, 118, 100601. [Google Scholar] [CrossRef] [PubMed]
- Lee, J.M. Riemannian Manifolds: An Introduction to Curvature; Springer: New York, NY, USA, 1997. [Google Scholar]
© 2020 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).