Catalog footprint

What is connected

72works
25topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

72 published item(s)

preprint2022arXiv

A field equation for induction-transduction of activation-deactivation probability on measurable space

Induction-transduction of activating-deactivating points are fundamental mechanisms of action that underlie innumerable systems and phenomena, mathematical, natural, and anthropogenic, and can exhibit complex behaviors such as self-excitation, phase transitions, hysteresis, polarization, periodicity, chaos, wave behavior, geometry, and energy transfer. We describe a class of primitives for induction-transduction based on dynamics on images of marked random counting measures under graphical random transformations. We derive a field equation for the law of the activation-deactivation (Bernoulli) process on an arbitrary measurable space and describe some mechanisms of action on the unit interval.

preprint2022arXiv

Kernel-based Global Sensitivity Analysis Obtained from a Single Data Set

Results from global sensitivity analysis (GSA) often guide the understanding of complicated input-output systems. Kernel-based GSA methods have recently been proposed for their capability of treating a broad scope of complex systems. In this paper we develop a new set of kernel GSA tools when only a single set of input-output data is available. Three key advances are made: (1) A new numerical estimator is proposed that demonstrates an empirical improvement over previous procedures. (2) A computational method for generating inner statistical functions from a single data set is presented. (3) A theoretical extension is made to define conditional sensitivity indices, which reveal the degree that the inputs carry shared information about the output when inherent input-input correlations are present. Utilizing these conditional sensitivity indices, a decomposition is derived for the output uncertainty based on what is called the optimal learning sequence of the input variables, which remains consistent when correlations exist between the input variables. While these advances cover a range of GSA subjects, a common single data set numerical solution is provided by a technique known as the conditional mean embedding of distributions. The new methodology is implemented on benchmark systems to demonstrate the provided insights.

preprint2022arXiv

Random Graphs by Product Random Measures

A natural representation of random graphs is the random measure. The collection of product random measures, their transformations, and non-negative test functions forms a general representation of the collection of non-negative weighted random graphs, directed or undirected, labeled or unlabeled, where (i) the composition of the test function and transformation is a non-negative edge weight function, (ii) the mean measures encode edge density/weight and vertex degree density/weight, and (iii) the mean edge weight, when square-integrable, encodes generalized spectral and Sobol representations. We develop a number of properties of these random graphs, and we give simple examples of some of their possible applications.

preprint2022arXiv

Robust Quantum Control: Analysis & Synthesis via Averaging

An approach is presented for robustness analysis and quantum (unitary) control synthesis based on the classic method of averaging. The result is a multicriterion optimization competing the nominal (uncertainty-free) fidelity with a well known robustness measure: the size of an interaction (error) Hamiltonian, essentially the first term in the Magnus expansion of an interaction unitary. Combining this with the fact that the topology of the control landscape at high fidelity is determined by the null space of the nominal fidelity Hessian, we arrive at a new two-stage algorithm. Once the nominal fidelity is sufficiently high, we approximate both the nominal fidelity and robustness measure as quadratics in the control increments. An optimal solution is obtained by solving a convex optimization for the control increments at each iteration to keep the nominal fidelity high and reduce the robustness measure. Additionally, by separating fidelity from the robustness measure, more flexibility is available for uncertainty modeling.

preprint2022arXiv

The Optimization Landscape of Hybrid Quantum-Classical Algorithms: from Quantum Control to NISQ Applications

This review investigates the landscapes of prevalent hybrid quantum-classical optimization algorithms in many rapidly developing quantum technologies, where the objective function is either computed by a natural quantum system or a quantum ansatz that is engineered, but the optimizer is classical. In any particular case, the nature of the underlying control landscape is fundamentally important for systematic optimization of the objective. In early studies on the optimal control of few-body dynamics, the optimizer could take full control of the quantum systems to be manipulated whose Hilbert space dimension is relatively small. Stepping into the noisy intermediate-scale quantum (NISQ) era, the experimentally growing computational power of the ansatz expressed as quantum hardware may bring quantum advantage over classical computers, but the classical optimizer is often limited by the available control resources. Across these different scales, we will show that the landscape's geometry experiences morphological changes from favorable trap-free landscapes to easily trapping rugged landscapes, and eventually to barren-plateau landscapes on which the optimizer can hardly move. This unified view provides the basis for understanding classes of systems that may be readily controlled out to those with special consideration, including the difficulties and potential advantages of NISQ technologies, as well as seeking possible ways to escape traps or plateaus, in particular circumstances.

preprint2021arXiv

Assessing three closed-loop learning algorithms by searching for high-quality quantum control pulses

Designing a high-quality control is crucial for reliable quantum computation. Among the existing approaches, closed-loop leaning control is an effective choice. Its efficiency depends on the learning algorithm employed, thus deserving algorithmic comparisons for its practical applications. Here, we assess three representative learning algorithms, including GRadient Ascent Pulse Engineering (GRAPE), improved Nelder-Mead (NMplus) and Differential Evolution (DE), by searching for high-quality control pulses to prepare the Bell state. We first implement each algorithm experimentally in a nuclear magnetic resonance system and then conduct a numerical study considering the impact of some possible significant experimental uncertainties. The experiments report the successful preparation of the high-fidelity target state with different convergence speeds by the three algorithms, and these results coincide with the numerical simulations when potential uncertainties are negligible. However, under certain significant uncertainties, these algorithms possess distinct performance with respect to their resulting precision and efficiency. This study provides insight to aid in the practical application of different closed-loop learning algorithms in realistic physical scenarios.

preprint2020arXiv

Amplification of quadratic Hamiltonians

Speeding up the dynamics of a quantum system is of paramount importance for quantum technologies. However, in finite dimensions and without full knowledge of the details of the system, it is easily shown to be impossible. In contrast we show that continuous variable systems described by a certain class of quadratic Hamiltonians can be sped up without such detailed knowledge. We call the resultant procedure Hamiltonian amplification (HA). The HA method relies on the application of local squeezing operations allowing for amplifying even unknown or noisy couplings and frequencies by acting on individual modes. Furthermore, we show how to combine HA with dynamical decoupling to achieve amplified Hamiltonians that are free from environmental noise. Finally, we illustrate a significant reduction in gate times of cavity resonator qubits as one potential use of HA.

preprint2020arXiv

An upper bound on the time required to implement unitary operations

We derive an upper bound for the time needed to implement a generic unitary transformation in a $d$ dimensional quantum system using $d$ control fields. We show that given the ability to control the diagonal elements of the Hamiltonian, which allows for implementing any unitary transformation under the premise of controllability, the time $T$ needed is upper bounded by $T\leq \frac{πd^{2}(d-1)}{2g_{\text{min}}}$ where $g_{\text{min}}$ is the smallest coupling constant present in the system. We study the tightness of the bound by numerically investigating randomly generated systems, with specific focus on a system consisting of $d$ energy levels that interact in a tight-binding like manner.

preprint2020arXiv

Combining the synergistic control capabilities of modelling and experiments: illustration of finding a minimum time quantum objective

A common way to manipulate a quantum system, for example spins or artificial atoms, is to use properly tailored control pulses. In order to accomplish quantum information tasks before coherence is lost, it is crucial to implement the control in the shortest possible time. Here we report the near time-optimal preparation of a Bell state with fidelity higher than $99\%$ in an NMR experiment, which is feasible by combining the synergistic capabilities of modelling and experiments operating in tandem. The pulses preparing the Bell state are found by experiments that are recursively assisted with a gradient-based optimization algorithm working with a model. Thus, we explore the interplay between model-based numerical optimal design and experimental-based learning control. Utilizing the balanced synergism between the dual approaches should have broad applications for accelerating the search for optimal quantum controls.

preprint2020arXiv

Learning control of quantum systems using frequency-domain optimization algorithms

We investigate two classes of quantum control problems by using frequency-domain optimization algorithms in the context of ultrafast laser control of quantum systems. In the first class, the system model is known and a frequency-domain gradient-based optimization algorithm is applied to searching for an optimal control field to selectively and robustly manipulate the population transfer in atomic Rubidium. The other class of quantum control problems involves an experimental system with an unknown model. In the case, we introduce a differential evolution algorithm with a mixed strategy to search for optimal control fields and demonstrate the capability in an ultrafast laser control experiment for the fragmentation of Pr(hfac)$_3$ molecules.

preprint2020arXiv

Learning-based Quantum Robust Control: Algorithm, Applications and Experiments

Robust control design for quantum systems has been recognized as a key task in quantum information technology, molecular chemistry and atomic physics. In this paper, an improved differential evolution algorithm, referred to as \emph{msMS}\_DE, is proposed to search robust fields for various quantum control problems. In \emph{msMS}\_DE, multiple samples are used for fitness evaluation and a mixed strategy is employed for the mutation operation. In particular, the \emph{msMS}\_DE algorithm is applied to the control problems of (i) open inhomogeneous quantum ensembles and (ii) the consensus goal of a quantum network with uncertainties. Numerical results are presented to demonstrate the excellent performance of the improved machine learning algorithm for these two classes of quantum robust control problems. Furthermore, \emph{msMS}\_DE is experimentally implemented on femtosecond laser control applications to optimize two-photon absorption and control fragmentation of the molecule $\text{CH}_2\text{BrI}$. Experimental results demonstrate excellent performance of \emph{msMS}\_DE in searching for effective femtosecond laser pulses for various tasks.

preprint2020arXiv

Quantum System Compression: A Hamiltonian Guided Walk Through Hilbert Space

We present a systematic study of quantum system compression for the evolution of generic many-body problems. The necessary numerical simulations of such systems are seriously hindered by the exponential growth of the Hilbert space dimension with the number of particles. For a \emph{constant} Hamiltonian system of Hilbert space dimension $n$ whose frequencies range from $f_{\min}$ to $f_{\max}$, we show via a proper orthogonal decomposition, that for a run-time $T$, the dominant dynamics are compressed in the neighborhood of a subspace whose dimension is the smallest integer larger than the time-bandwidth product $\delf=(f_{\max}-f_{\min})T$. We also show how the distribution of initial states can further compress the system dimension. Under the stated conditions, the time-bandwidth estimate reveals the \emph{existence} of an effective compressed model whose dimension is derived solely from system properties and not dependent on the particular implementation of a variational simulator, such as a machine learning system, or quantum device. However, finding an efficient solution procedure \emph{is} dependent on the simulator implementation{\color{black}, which is not discussed in this paper}. In addition, we show that the compression rendered by the proper orthogonal decomposition encoding method can be further strengthened via a multi-layer autoencoder. Finally, we present numerical illustrations to affirm the compression behavior in time-varying Hamiltonian dynamics in the presence of external fields. We also discuss the potential implications of the findings for machine learning tools to efficiently solve the many-body or other high dimensional Schr{ö}dinger equations.

preprint2020arXiv

Uncertainty Quantification by Random Measures and Fields

We present a general framework for uncertainty quantification that is a mosaic of interconnected models. We define global first and second order structural and correlative sensitivity analyses for random counting measures acting on risk functionals of input-output maps. These are the ANOVA decomposition of the intensity measure and the decomposition of the random measure variance, each into subspaces. Orthogonal random measures furnish sensitivity distributions. We show that the random counting measure may be used to construct positive random fields, which admit decompositions of covariance and sensitivity indices and may be used to represent interacting particle systems. The first and second order global sensitivity analyses conveyed through random counting measures elucidate and integrate different notions of uncertainty quantification, and the global sensitivity analysis of random fields conveys the proportionate functional contributions to covariance. This framework complements others when used in conjunction with for instance algorithmic uncertainty and model selection uncertainty frameworks.

preprint2019arXiv

Robust Quantum Control in Games: an Adversarial Learning Approach

High-precision operation of quantum computing systems must be robust to uncertainties and noises in the quantum hardware. In this paper, we show that through a game played between the uncertainties (or noises) and the controls, adversarial uncertainty samples can be generated to find highly robust controls through the search for Nash equilibria (NE). We propose a broad family of adversarial learning algorithms, namely a-GRAPE algorithms, which include two effective learning schemes referred to as the best-response approach and the better-response approach within the game-theoretic terminology, providing options for rapidly learning robust controls. Numerical experiments demonstrate that the balance between fidelity and robustness depends on the details of the chosen adversarial learning algorithm, which can effectively lead to a significant enhancement of control robustness while attaining high fidelity.

preprint2018arXiv

Optimal control of interacting quantum systems based on the first-order Magnus approximation: Application to multiple dipole-dipole coupled molecular rotors

We develop a methodology for performing approximate optimal control simulations for quantum systems with multiple interacting degrees of freedom. The quantum dynamics are modeled using the first-order Magnus approximation in the interaction picture, where the interactions between different degrees of freedom are treated as the perturbation. We present a numerical procedure for implementing this approximation, which leverages the separability of the zeroth-order time evolution operator and the pairwise nature of common interactions for a reduced computational cost. This formulation of the first-order Magnus approximation is suitable to be combined with gradient-free methods for control field optimization; to this end, we adopt a Stochastic Hill Climbing algorithm. The associated computational costs are analyzed and compared with those of the exact simulation in the large N limit. For numerical illustrations, we perform approximate optimal control simulations for systems of two and three dipole-dipole coupled molecular rotors under the influence of a global control field. For the two rotor system, we optimize fields for both orientation and entanglement control objectives. For the three rotor system, we optimize fields for orienting rotors in the same direction as well as in opposite directions.

preprint2016arXiv

Decoherence of a single spin coupled to an interacting spin bath

Decoherence of a central spin coupled to an interacting spin bath via inhomogeneous Heisenberg coupling is studied by two different approaches, namely an exact equations of motion (EOMs) method and a Chebyshev expansion technique (CET). By assuming a wheel topology of the bath spins with uniform nearest-neighbor $XX$-type intrabath coupling, we examine the central spin dynamics with the bath prepared in two different types of bath initial conditions. For fully polarized baths in strong magnetic fields, the polarization dynamics of the central spin exhibits a collapse-revival behavior in the intermediate-time regime. Under an antiferromagnetic bath initial condition, the two methods give excellently consistent central spin decoherence dynamics for finite-size baths of $N\leq14$ bath spins. The decoherence factor is found to drop off abruptly on a short time scale and approach a finite plateau value which depends on the intrabath coupling strength non-monotonically. In the ultrastrong intrabath coupling regime, the plateau values show an oscillatory behavior depending on whether $N/2$ is even or odd. The observed results are interpreted qualitatively within the framework of the EOM and perturbation analysis. The effects of anisotropic spin-bath coupling and inhomogeneous intrabath bath couplings are briefly discussed. Possible experimental realization of the model in a modified quantum corral setup is suggested.

preprint2016arXiv

Fast Quantum Communication in Linear Networks

Here we consider the speed at which quantum information can be transferred between the nodes of a linear network. Because such nodes are linear oscillators, this speed is also important in the cooling and state preparation of mechanical oscillators, as well as frequency conversion. We show that if there is no restriction on the size of the linear coupling between two oscillators, then there exist control protocols that will swap their respective states with high fidelity within a time much less than a single oscillation period. Standard gradient search methods fail to find these fast protocols. We were able to do so by augmenting standard search methods with a path-tracing technique, demonstrating that this technique has remarkable power to solve time-optimal control problems, as well as confirming the highly challenging nature of these problems. As a further demonstration of the power of path-tracing, first introduced by Moore-Tibbets et al. [Phys. Rev. A 86, 062309 (2012)], we apply it to the generation of entanglement in a linear network.

preprint2016arXiv

Inherently trap-free convex landscapes for full quantum optimal control

We present a comprehensive analysis of the landscape for full quantum-quantum control associated with the expectation value of an arbitrary observable of one quantum system controlled by another quantum system. It is shown that such full quantum-quantum control landscapes are convex, and hence devoid of local suboptima and saddle points that may exist in landscapes for quantum systems controlled by time-dependent classical fields. There is no controllability requirement for the full quantum-quantum landscape to be trap-free, although the forms of Hamiltonians, the flexibility in choosing initial state of the controller, as well as the control duration, can infulence the reachable optimal value on the landscape. All level sets of the full quantum-quantum landscape are connected convex sets. Finally, we show that the optimal solution of the full quantum-quantum control landscape can be readily determined numerically, which is demonstrated using the Jaynes-Cummings model depicting a two-level atom interacting with a quantized radiation field.

preprint2016arXiv

Optimal nonlinear coherent mode transitions in Bose-Einstein Condensates utilizing spatio-temporal controls

Bose-Einstein condensates (BECs) offer the potential to examine quantum behavior at large length and time scales, as well as forming promising candidates for quantum technology applications. Thus, the manipulation of BECs using control fields is a topic of prime interest. We consider BECs in the mean field model of the Gross-Pitaevskii equation (GPE), which contains linear and nonlinear features, both of which are subject to control. In this work we report successful optimal control simulations of a one dimensional GPE by modulating the linear and nonlinear terms to stimulate transitions into excited coherent modes. The linear and nonlinear controls are allowed to freely vary over space and time to seek their optimal forms. The determination of the excited coherent modes targeted for optimization is numerically performed through an adaptive imaginary time propagation method. Numerical simulations are performed for optimal control of mode-to-mode transitions between the ground coherent mode and excited modes of a BEC trapped in a harmonic well. The results show greater than 99% success for nearly all trials utilizing reasonable initial guesses for the controls, and analysis of the optimal controls reveals primarily direct transitions between initial and target modes. The success of using solely the nonlinearity term as a control opens up further research toward exploring novel control mechanisms inaccessible to linear Schrödinger-type systems.

preprint2016arXiv

Quantum Control Landscapes Are Almost Always Trap Free

A proof that almost all quantum systems have trap free (that is, free from local optima) landscapes is presented for a large and physically general class of quantum system. This result offers an explanation for why gradient methods succeed so frequently in quantum control in both theory and practice. The role of singular controls is analyzed using geometric tools in the case of the control of the propagator of closed finite dimension systems. This type of control field has been implicated as a source of landscape traps. The conditions under which singular controls can introduce traps, and thus interrupt the progress of a control optimization, are discussed and a geometrical characterization of the issue is presented. It is shown that a control being singular is not sufficient to cause a control optimization progress to halt and sufficient conditions for a trap free landscape are presented. It is further shown that the local surjectivity axiom of landscape analysis can be refined to the condition that the end-point map is transverse to each of the level sets of the fidelity function. This novel condition is shown to be sufficient for a quantum system's landscape to be trap free. The control landscape for a quantum system is shown to be trap free for all but a null set of Hamiltonians using a novel geometric technique based on the parametric transversality theorem. Numerical evidence confirming this is also presented. This result is the analogue of the work of Altifini, wherein it is shown that controllability holds for all but a null set of quantum systems in the dipole approximation. The presented results indicate that by-and-large limited control resources are the most physically relevant source of landscape traps.

preprint2016arXiv

Quantum Control Landscapes Beyond the Dipole Approximation

We investigate the control landscapes of closed, finite level quantum systems beyond the dipole approximation by including a polarizability term in the Hamiltonian. Theoretical analysis is presented for the $n$ level case and formulas for singular controls, which are candidates for landscape traps, are compared to their analogues in the dipole approximation. A numerical analysis of the existence of traps in control landscapes beyond the dipole approximation is made in the four level case. A numerical exploration of these control landscapes is achieved by generating many random Hamiltonians which include a term quadratic in a single control field. The landscapes of such systems are found numerically to be trap free in general. This extends a great body of recent work on typical landscapes of quantum systems where the dipole approximation is made. We further investigate the relationship between the magnitude of the polarizability and the magnitude of the controls resulting from optimization. It is shown numerically that including a polarizability term in an otherwise uncontrollable system removes traps from the landscapes of a specific family of systems by restoring controllability. We numerically assess the effect of a random polarizability term on the know example of a three level system with a second order trap in its control landscape. It is found that the addition of polarizability removes the trap from the landscape. The implications for laboratory control are discussed.

preprint2015arXiv

Excess of positrons in cosmic rays: A Lindbladian model of quantum electrodynamics

The fraction of positrons and electrons in cosmic rays recently observed on the International Space Station unveiled an unexpected excess of the positrons, undermining the current foundations of cosmic rays sources. We provide a quantum electrodynamics phenomenological model explaining the observed data. This model incorporates electroproduction, in which cosmic ray electrons decelerating in the interstellar medium emit photons that turn into electron-positron pairs. These findings not only advance our knowledge of cosmic ray physics, but also pave the way for computationally efficient formulations of quantum electrodynamics, critically needed in physics and chemistry.

preprint2015arXiv

Experimental exploration over a quantum control landscape through nuclear magnetic resonance

The growing successes in performing quantum control experiments motivated the development of control landscape analysis as a basis to explain these findings.When a quantum system is controlled by an electromagnetic field, the observable as a functional of the control field forms a landscape. Theoretical analyses have revealed many properties of control landscapes, especially regarding their slopes, curvatures, and topologies. A full experimental assessment of the landscape predictions is important for future consideration of controlling quantum phenomena. Nuclear magnetic resonance (NMR) is exploited here as an ideal laboratory setting for quantitative testing of the landscape principles. The experiments are performed on a simple two-level proton system in a H$_2$O-D$_2$O sample. We report a variety of NMR experiments roving over the control landscape based on estimation of the gradient and Hessian, including ascent or descent of the landscape, level set exploration, and an assessment of the theoretical predictions on the structure of the Hessian. The experimental results are fully consistent with the theoretical predictions. The procedures employed in this study provide the basis for future multispin control landscape exploration where additional features are predicted to exist.

preprint2015arXiv

Invariance in multi-objective quantum control

Simultaneous optimization of multiple quantum objectives is often considered a demanding task. However, a special circumstance arises when a primary objective is pitted against a set of secondary objectives, which we show leads to invariant behavior of the secondary objectives upon the primary one approaching its optimal value. Still, practical relationships among the objectives will generally lead to a threshold, beyond which system re-engineering is required to further increase the primary objective. This finding is of broad significance for reaching high performance in quantum technologies

preprint2015arXiv

Limits of optimal control yields achievable with quantum controllers

In quantum optimal control theory, kinematic bounds are the minimum and maximum values of the control objective achievable for any physically realizable system dynamics. For a given initial state of the system, these bounds depend on the nature and state of the controller. We consider a general situation where the controlled quantum system is coupled to both an external classical field (referred to as a classical controller) and an auxiliary quantum system (referred to as a quantum controller). In this general situation, the kinematic bound is between the classical kinematic bound (CKB), corresponding to the case when only the classical controller is available, and the quantum kinematic bound (QKB), corresponding to the ultimate physical limit of the objective's value. Specifically, when the control objective is the expectation value of a quantum observable (a Hermitian operator on the system's Hilbert space), the QKBs are the minimum and maximum eigenvalues of this operator. We present, both qualitatively and quantitatively, the necessary and sufficient conditions for surpassing the CKB and reaching the QKB, through the use of a quantum controller. The general conditions are illustrated by examples in which the system and controller are initially in thermal states. The obtained results provide a basis for the design of quantum controllers capable of maximizing the control yield and reaching the ultimate physical limit.

preprint2015arXiv

Sampling-based Learning Control for Quantum Systems with Uncertainties

Robust control design for quantum systems has been recognized as a key task in the development of practical quantum technology. In this paper, we present a systematic numerical methodology of sampling-based learning control (SLC) for control design of quantum systems with uncertainties. The SLC method includes two steps of "training" and "testing". In the training step, an augmented system is constructed using artificial samples generated by sampling uncertainty parameters according to a given distribution. A gradient flow based learning algorithm is developed to find the control for the augmented system. In the process of testing, a number of additional samples are tested to evaluate the control performance where these samples are obtained through sampling the uncertainty parameters according to a possible distribution. The SLC method is applied to three significant examples of quantum robust control including state preparation in a three-level quantum system, robust entanglement generation in a two-qubit superconducting circuit and quantum entanglement control in a two-atom system interacting with a quantized field in a cavity. Numerical results demonstrate the effectiveness of the SLC approach even when uncertainties are quite large, and show its potential for robust control design of quantum systems.

preprint2015arXiv

Searching for quantum optimal controls under severe constraints

The success of quantum optimal control for both experimental and theoretical objectives is connected to the topology of the corresponding control landscapes, which are free from local traps if three conditions are met: (1) the quantum system is controllable, (2) the Jacobian of the map from the control field to the evolution operator is of full rank, and (3) there are no constraints on the control field. This paper investigates how the violation of assumption (3) affects gradient searches for globally optimal control fields. The satisfaction of assumptions (1) and (2) ensures that the control landscape lacks fundamental traps, but certain control constraints can still introduce artificial traps. Proper management of these constraints is an issue of great practical importance for numerical simulations as well as optimization in the laboratory. Using optimal control simulations, we show that constraints on quantities such as the number of control variables, the control duration, and the field strength are potentially severe enough to prevent successful optimization of the objective. For each such constraint, we show that exceeding quantifiable limits can prevent gradient searches from reaching a globally optimal solution. These results demonstrate that careful choice of relevant control parameters helps to eliminate artificial traps and facilitate successful optimization.

preprint2014arXiv

Characterization of control noise effects in optimal quantum unitary dynamics

This work develops measures for quantifying the effects of field noise upon targeted unitary transformations. Robustness to noise is assessed in the framework of the quantum control landscape, which is the mapping from the control to the unitary transformation performance measure (quantum gate fidelity). Within that framework, a new geometric interpretation of stochastic noise effects naturally arises, where more robust optimal controls are associated with regions of small overlap between landscape curvature and the noise correlation function. Numerical simulations of this overlap in the context of quantum information processing reveal distinct noise spectral regimes that better support robust control solutions. This perspective shows the dual importance of both noise statistics and the control form for robustness, thereby opening up new avenues of investigation on how to mitigate noise effects in quantum systems.

preprint2014arXiv

Electron transport through a single-molecule junction with multiple pathways under time-periodic fields: A Floquet-scattering formalism

We develop a new general formulation to explore light-driven electron transport through a single-molecule device with multiple pathways. Three individual systems are proposed including (i) a two-terminal molecular junction based on phenyl-acetylene macrocycle (PAM), (ii) PAM with three terminals, and (iii) a parallel molecular circuit. The computations show that PAM-based optoelectronic switches have robust large on-off ratios and weak-field operating conditions, which are not sensitive to asymmetric molecule-lead couplings. In addition, field-amplitude power laws for one- and two-photon assisted tunneling are evident in the computational results, and the laws can be proven by using perturbation analysis. For PAM-based optoelectronic routers, we show that it is possible to manipulate the direction of electric current through the PAM molecule by using a weak linearly polarized laser field. For parallel circuits made of molecular quantum dots, the condition of coherent destruction of tunneling is derived by using the rotating wave approximation and the high-frequency approximation.

preprint2014arXiv

Exploring the complexity of quantum control optimization trajectories

The control of quantum system dynamics is generally performed by seeking a suitable applied field. The physical objective as a functional of the field forms the quantum control landscape, whose topology, under certain conditions, has been shown to contain no critical point suboptimal traps, thereby enabling effective searches for fields that give the global maximum of the objective. This paper addresses the structure of the landscape as a complement to topological critical point features. Recent work showed that landscape structure is highly favorable for optimization of state-to-state transition probabilities, in that gradient-based control trajectories to the global maximum value are nearly straight paths. The landscape structure is codified in the metric $R\geq 1.0$, defined as the ratio of the length of the control trajectory to the Euclidean distance between the initial and optimal controls. A value of $R=1$ would indicate an exactly straight trajectory to the optimal observable value. This paper extends the state-to-state transition probability results to the quantum ensemble and unitary transformation control landscapes. Again, nearly straight trajectories predominate, and we demonstrate that $R$ can take values approaching 1.0 with high precision. However, the interplay of optimization trajectories with critical saddle submanifolds is found to influence landscape structure. A fundamental relationship necessary for perfectly straight gradient-based control trajectories is derived wherein the gradient on the quantum control landscape must be an eigenfunction of the Hessian. This relation is an indicator of landscape structure and may provide a means to identify physical conditions when control trajectories can achieve perfect linearity. The collective favorable landscape topology and structure provide a foundation to understand why optimal quantum control can be readily achieved.

preprint2014arXiv

Non-classicality of positive relativistic Wigner function

In nonrelativistic quantum mechanics, Hudsons theorem states that a Gaussian wavefunction is the only pure state corresponding to a positive Wigner function (WF). We explicitly construct non Gaussian Dirac spinors with positive relativistic WF. These pure states are coherent superpositions of particles and antiparticles, while the existence of positive WF exclusive composed of particles is conjectured. These observations challenge a common belief that states with positive WF are classical or have classical analogues, and may open new venues in relativistic quantum information.

preprint2014arXiv

Optimal suppression of defect generation during a passage across a quantum critical point

The dynamics of quantum phase transitions are inevitably accompanied by the formation of defects when crossing a quantum critical point. For a generic class of quantum critical systems, we solve the problem of minimizing the production of defects through the use of a gradient-based deterministic optimal control algorithm. By considering a finite size quantum Ising model with a tunable global transverse field, we show that an optimal power law quench of the transverse field across the Ising critical point works well at minimizing the number of defects, in spite of being drawn from a subset of quench profiles. These power law quenches are shown to be inherently robust against noise. The optimized defect density exhibits a transition at a critical ratio of the quench duration to the system size, which we argue coincides with the intrinsic speed limit for quantum evolution.

preprint2014arXiv

Rabi oscillations, decoherence, and disentanglement in a qubit-spin-bath system: exact dynamics

We examine the influence of environmental interactions on simple quantum systems by obtaining the exact reduced dynamics of a qubit coupled to a one-dimensional spin bath. In contrast to previous studies, both the qubit-bath coupling and the nearest neighbor intrabath couplings are taken as the spin-flip XX-type. We first study the Rabi oscillations of a single qubit with the spin bath prepared in a spin coherent state, finding that nonresonance and finite intrabath interactions have significant effects on the qubit dynamics. Next, we discuss the bath-induced decoherence of the qubit when the bath is initially in the ground state, and show that the decoherence properties depend on the internal phases of the spin bath. By considering two independent copies of the qubit-bath system, we finally probe the disentanglement dynamics of two noninteracting entangled qubits. We find that entanglement sudden death appears when the spin bath is in its critical phase. We show that the single-qubit decoherence factor is an upper bound for the two-qubit concurrence.

preprint2014arXiv

Searching for quantum optimal controls in the presence of singular critical points

Quantum optimal control has enjoyed wide success for a variety of theoretical and experimental objectives. These favorable results have been attributed to advantageous properties of the corresponding control landscapes, which are free from local optima if three conditions are met: (1) the quantum system is controllable, (2) the Jacobian of the map from the control field to the evolution operator is full rank, and (3) the control field is not constrained. This paper explores how gradient searches for globally optimal control fields are affected by deviations from assumption (2). In some quantum control problems, so-called singular critical points, at which the Jacobian is rank-deficient, may exist on the landscape. Using optimal control simulations, we show that search failure is only observed when a singular critical point is also a second-order trap, which occurs if the control problem meets additional conditions involving the system Hamiltonian and/or the control objective. All known second-order traps occur at constant control fields, and we also show that they only affect searches that originate very close to them. As a result, even when such traps exist on the control landscape, they are unlikely to affect well-designed gradient optimizations under realistic searching conditions.

preprint2013arXiv

Characterization of the Critical Sets of Quantum Unitary Control Landscapes

This work considers various families of quantum control landscapes (i.e. objective functions for optimal control) for obtaining target unitary transformations as the general solution of the controlled Schrödinger equation. We examine the critical point structure of the kinematic landscapes J_F (U) = ||(U-W)A||^2 and J_P (U) = ||A||^4 - |Tr(AA'W'U)|^2 defined on the unitary group U(H) of a finite-dimensional Hilbert space H. The parameter operator A in B(H) is allowed to be completely arbitrary, yielding an objective function that measures the difference in the actions of U and the target W on a subspace of state space, namely the column space of A. The analysis of this function includes a description of the structure of the critical sets of these kinematic landscapes and characterization of the critical points as maxima, minima, and saddles. In addition, we consider the question of whether these landscapes are Morse-Bott functions on U(H). Landscapes based on the intrinsic (geodesic) distance on U(H) and the projective unitary group PU(H) are also considered. These results are then used to deduce properties of the critical set of the corresponding dynamical landscapes.

preprint2013arXiv

Exploring Quantum Control Landscape Structure

A common goal of quantum control is to maximize a physical observable through the application of a tailored field. The observable value as a function of the field constitutes a quantum control landscape. Previous works have shown, under specified conditions, that the quantum control landscape should be free of suboptimal critical points. This favorable landscape topology is one factor contributing to the efficiency of climbing the landscape. An additional, complementary factor is the landscape \textit{structure}, which constitutes all non-topological features. If the landscape's structure is too complex, then climbs may be forced to take inefficient convoluted routes to finding optimal controls. This paper provides a foundation for understanding control landscape structure by examining the linearity of gradient-based optimization trajectories through the space of control fields. For this assessment, a metric $R\geq 1$ is defined as the ratio of the path length of the optimization trajectory to the Euclidean distance between the initial control field and the resultant optimal control field that takes an observable from the bottom to the top of the landscape. Computational analyses for simple model quantum systems are performed to ascertain the relative abundance of nearly straight control trajectories encountered when optimizing a state-to-state transition probability. The collected results indicate that quantum control landscapes have very simple structural features. The favorable topology and the complementary simple structure of the control landscape provide a basis for understanding the generally observed ease of optimizing a state-to-state transition probability.

preprint2013arXiv

Laboratory Transferability of Optimally Shaped Laser Pulses for Quantum Control

Optimal control experiments can readily identify effective shaped laser pulses, or "photonic reagents", that achieve a wide variety of objectives. For many practical applications, an important criterion is that a particular photonic reagent prescription still produce a good, if not optimal, target objective yield when transferred to a different system or laboratory, {even if the same shaped pulse profile cannot be reproduced exactly. As a specific example, we assess the potential for transferring optimal photonic reagents for the objective of optimizing a ratio of photoproduct ions from a family of halomethanes through three related experiments.} First, applying the same set of photonic reagents with systematically varying second- and third-order chirp on both laser systems generated similar shapes of the associated control landscape (i.e., relation between the objective yield and the variables describing the photonic reagents). Second, optimal photonic reagents obtained from the first laser system were found to still produce near optimal yields on the second laser system. Third, transferring a collection of photonic reagents optimized on the first laser system to the second laser system reproduced systematic trends in photoproduct yields upon interaction with the homologous chemical family. Despite inherent differences between the two systems, successful and robust transfer of photonic reagents is demonstrated in the above three circumstances. The ability to transfer photonic reagents from one laser system to another is analogous to well-established utilitarian operating procedures with traditional chemical reagents. The practical implications of the present results for experimental quantum control are discussed.

preprint2013arXiv

Sampled-data design for robust control of a single qubit

This paper presents a sampled-data approach for the robust control of a single qubit (quantum bit). The required robustness is defined using a sliding mode domain and the control law is designed offline and then utilized online with a single qubit having bounded uncertainties. Two classes of uncertainties are considered involving the system Hamiltonian and the coupling strength of the system-environment interaction. Four cases are analyzed in detail including without decoherence, with amplitude damping decoherence, phase damping decoherence and depolarizing decoherence. Sampling periods are specifically designed for these cases to guarantee the required robustness. Two sufficient conditions are presented for guiding the design of unitary control for the cases without decoherence and with amplitude damping decoherence. The proposed approach has potential applications in quantum error-correction and in constructing robust quantum gates.

preprint2013arXiv

Topology of Classical Molecular Optimal Control Landscapes in Phase Space

Optimal control of molecular dynamics is commonly expressed from a quantum mechanical perspective. However, in most contexts the preponderance of molecular dynamics studies utilize classical mechanical models. This paper treats laser-driven optimal control of molecular dynamics in a classical framework. We consider the objective of steering a molecular system from an initial point in phase space to a target point, subject to the dynamic constraint of Hamilton's equations. The classical control landscape corresponding to this objective is a functional of the control field, and the topology of the landscape is analyzed through its gradient and Hessian with respect to the control. Under specific assumptions on the regularity of the control fields, the classical control landscape is found to be free of traps that could hinder reaching the objective. The Hessian associated with an optimal control field is shown to have finite rank, indicating the presence of an inherent degree of robustness to control noise. Extensive numerical simulations are performed to illustrate the theoretical principles on a) a model diatomic molecule, b) two coupled Morse oscillators, and c) a chaotic system with a coupled quartic oscillator, confirming the absence of traps in the classical control landscape. We compare the classical formulation with the mathematically analogous state-to-state transition probability control landscape of N-level quantum systems. The absence of traps in both circumstances provides a broader basis to understand the growing number of successful control experiments with complex molecules, which can have dynamics that transcend the classical and quantum regimes.

preprint2012arXiv

Comment on "Are There Traps in Quantum Control Landscapes?"

Many quantum control problems are formulated as a search for an optimal field that maximizes a physical objective. This search is performed over a landscape defined as the objective as a function of the control field. A recent Letter [A. N. Pechen and D. J. Tannor, Phys. Rev. Lett. 106, 120402 (2011)] asserts that the existence of special landscape critical points (CPs) with trapping characteristics is "contrary to recent claims in the literature" and "can have profound implications for both theoretical and experimental quantum control studies." We show here that these assertions are inaccurate and misleading.

preprint2012arXiv

Control through operators for quantum chemistry

We consider the problem of operator identification in quantum control. The free Hamiltonian and the dipole moment are searched such that a given target state is reached at a given time. A local existence result is obtained. As a by-product, our works reveals necessary conditions on the laser field to make the identification feasible. In the last part of this work, some algorithms are proposed to compute effectively these operators.

preprint2012arXiv

Critical points of the optimal quantum control landscape: a propagator approach

Numerical and experimental realizations of quantum control are closely connected to the properties of the mapping from the control to the unitary propagator. For bilinear quantum control problems, no general results are available to fully determine when this mapping is singular or not. In this paper we give suffcient conditions, in terms of elements of the evolution semigroup, for a trajectory to be non-singular. We identify two lists of "way-points" that, when reached, ensure the non-singularity of the control trajectory. It is found that under appropriate hypotheses one of those lists does not depend on the values of the coupling operator matrix.

preprint2012arXiv

Dynamic Homotopy and Landscape Dynamical Set Topology in Quantum Control

We examine the topology of the subset of controls taking a given initial state to a given final state in quantum control, where "state" may mean a pure state |ψ>, an ensemble density matrix ρ, or a unitary propagator U(0,T). The analysis consists in showing that the endpoint map acting on control space is a Hurewicz fibration for a large class of affine control systems with vector controls. Exploiting the resulting fibration sequence and the long exact sequence of basepoint-preserving homotopy classes of maps, we show that the indicated subset of controls is homotopy equivalent to the loopspace of the state manifold. This not only allows us to understand the connectedness of "dynamical sets" realized as preimages of subsets of the state space through this endpoint map, but also provides a wealth of additional topological information about such subsets of control space.

preprint2012arXiv

Efficient estimation of energy transfer efficiency in light-harvesting complexes

The fundamental physical mechanisms of energy transfer in photosynthetic complexes is not yet fully understood. In particular, the degree of efficiency or sensitivity of these systems for energy transfer is not known given their non-perturbative and non-Markovian interactions with proteins backbone and surrounding photonic and phononic environments. One major problem in studying light-harvesting complexes has been the lack of an efficient method for simulation of their dynamics in biological environments. To this end, here we revisit the second-order time-convolution (TC2) master equation and examine its reliability beyond extreme Markovian and perturbative limits. In particular, we present a derivation of TC2 without making the usual weak system-bath coupling assumption. Using this equation, we explore the long time behaviour of exciton dynamics of Fenna-Matthews-Olson (FMO) protein complex. Moreover, we introduce a constructive error analysis to estimate the accuracy of TC2 equation in calculating energy transfer efficiency, exhibiting reliable performance for environments with weak and intermediate memory and strength. Furthermore, we numerically show that energy transfer efficiency is optimal and robust for the FMO protein complex of green sulphur bacteria with respect to variations in reorganization energy and bath correlation time-scales.

preprint2012arXiv

Energy-scales convergence for optimal and robust quantum transport in photosynthetic complexes

Underlying physical principles for the high efficiency of excitation energy transfer in light-harvesting complexes are not fully understood. Notably, the degree of robustness of these systems for transporting energy is not known considering their realistic interactions with vibrational and radiative environments within the surrounding solvent and scaffold proteins. In this work, we employ an efficient technique to estimate energy transfer efficiency of such complex excitonic systems. We observe that the dynamics of the Fenna-Matthews-Olson (FMO) complex leads to optimal and robust energy transport due to a convergence of energy scales among all important internal and external parameters. In particular, we show that the FMO energy transfer efficiency is optimum and stable with respect to the relevant parameters of environmental interactions and Frenkel-exciton Hamiltonian including reorganization energy $λ$, bath frequency cutoff $γ$, temperature $T$, bath spatial correlations, initial excitations, dissipation rate, trapping rate, disorders, and dipole moments orientations. We identify the ratio of $λT/γ\*g$ as a single key parameter governing quantum transport efficiency, where g is the average excitonic energy gap.

preprint2012arXiv

Exploring constrained quantum control landscapes

The broad success of optimally controlling quantum systems with external fields has been attributed to the favorable topology of the underlying control landscape, where the landscape is the physical observable as a function of the controls. The control landscape can be shown to contain no suboptimal trapping extrema upon satisfaction of reasonable physical assumptions, but this topological analysis does not hold when significant constraints are placed on the control resources. This work employs simulations to explore the topology and features of the control landscape for pure-state population transfer with a constrained class of control fields. The fields are parameterized in terms of a set of uniformly spaced spectral frequencies, with the associated phases acting as the controls. Optimization results reveal that the minimum number of phase controls necessary to assure a high yield in the target state has a special dependence on the number of accessible energy levels in the quantum system, revealed from an analysis of the first- and second-order variation of the yield with respect to the controls. When an insufficient number of controls and/or a weak control fluence are employed, trapping extrema and saddle points are observed on the landscape. When the control resources are sufficiently flexible, solutions producing the globally maximal yield are found to form connected `level sets' of continuously variable control fields that preserve the yield. These optimal yield level sets are found to shrink to isolated points on the top of the landscape as the control field fluence is decreased, and further reduction of the fluence turns these points into suboptimal trapping extrema on the landscape. Although constrained control fields can come in many forms beyond the cases explored here, the behavior found in this paper is illustrative of the impacts that constraints can introduce.

preprint2012arXiv

Exploring the trade-off between fidelity- and time-optimal control of quantum unitary transformations

Generating a unitary transformation in the shortest possible time is of practical importance to quantum information processing because it helps to reduce decoherence effects and improve robustness to additive control field noise. Many analytical and numerical studies have identified the minimum time necessary to implement a variety of quantum gates on coupled-spin qubit systems. This work focuses on exploring the Pareto front that quantifies the trade-off between the competitive objectives of maximizing the gate fidelity $\mathcal{F}$ and minimizing the control time $T$. In order to identify the critical time $T^{\ast}$, below which the target transformation is not reachable, as well as to determine the associated Pareto front, we introduce a numerical method of Pareto front tracking (PFT). We consider closed two- and multi-qubit systems with constant inter-qubit coupling strengths and each individual qubit controlled by a separate time-dependent external field. Our analysis demonstrates that unit fidelity (to a desired numerical accuracy) can be achieved at any $T \geq T^{\ast}$ in most cases. However, the optimization search effort rises superexponentially as $T$ decreases and approaches $T^{\ast}$. Furthermore, a small decrease in control time incurs a significant penalty in fidelity for $T < T^{\ast}$, indicating that it is generally undesirable to operate below the critical time. We investigate the dependence of the critical time $T^{\ast}$ on the coupling strength between qubits and the target gate transformation. Practical consequences of these findings for laboratory implementation of quantum gates are discussed.

preprint2012arXiv

Optimal coherent control of CARS: signal enhancement and background elimination

The ability to enhance resonant signals and eliminate the non-resonant background is analyzed for Coherent Anti-Stokes Raman Scattering (CARS). The analysis is done at a specific frequency as well as for broadband excitation using femtosecond pulse-shaping techniques. An appropriate objective functional is employed to balance resonant signal enhancement against non-resonant background suppression. Optimal enhancement of the signal and minimization of the background can be achieved by shaping the probe pulse alone while keeping the pump and Stokes pulses in transform-limited-form (TLF). In some cases analytical forms for the probe pulse can be found, and numerical simulations are carried out for other circumstances. It is found that a good approximate solution for the optimal pulse in the two-pulse CARS is a superposition of linear and arctangent type phases for the pump. The well-known probe delay method is shown to be a quasi-optimal scheme for background suppression. The results should provide a basis to improve the performance of CARS spectroscopy and microscopy.

preprint2011arXiv

All Possible Coupling Schemes in XY Spin Chains for Perfect State Transfer

We investigate quantum state transfer in XY spin chains and propose a recursive procedure to construct the nonuniform couplings of these chains with arbitrary length to achieve perfect state transfer(PST). We show that this method is capable of finding all possible coupling schemes for PST. These schemes, without external control fields, only involve preengineered couplings but not dynamical control of them, so they can be simply realized experimentally. The analytical solutions provide all information for coupling design.

preprint2011arXiv

Evolutionary Hessian Learning: Forced Optimal Covariance Adaptive Learning (FOCAL)

The Covariance Matrix Adaptation Evolution Strategy (CMA-ES) has been the most successful Evolution Strategy at exploiting covariance information; it uses a form of Principle Component Analysis which, under certain conditions, is suggested to converge to the correct covariance matrix, formulated as the inverse of the mathematically well-defined Hessian matrix. However, in practice, there exist conditions where CMA-ES converges to the global optimum (accomplishing its primary goal) while it does not learn the true covariance matrix (missing an auxiliary objective), likely due to step-size deficiency. These circumstances can involve high-dimensional landscapes with large condition numbers. This paper introduces a novel technique entitled Forced Optimal Covariance Adaptive Learning (FOCAL), with the explicit goal of determining the Hessian at the global basin of attraction. It begins by introducing theoretical foundations to the inverse relationship between the learned covariance and the Hessian matrices. FOCAL is then introduced and demonstrated to retrieve the Hessian matrix with high fidelity on both model landscapes and experimental Quantum Control systems, which are observed to possess a non-separable, non-quadratic search landscape. The recovered Hessian forms are corroborated by physical knowledge of the systems. This study constitutes an example for Natural Computing successfully serving other branches of natural sciences, and introducing at the same time a powerful generic method for any high-dimensional continuous search seeking landscape information.

preprint2011arXiv

Exploring Quantum Control Landscapes: Topology, Features, and Optimization Scaling

Quantum optimal control experiments and simulations have successfully manipulated the dynamics of systems ranging from atoms to biomolecules. Surprisingly, these collective works indicate that the effort (i.e., the number of algorithmic iterations) required to find an optimal control field appears to be essentially invariant to the complexity of the system. The present work explores this matter in a series of systematic optimizations of the state-to-state transition probability on model quantum systems with the number of states $N$ ranging from 5 through 100. The optimizations occur over a landscape defined by the transition probability as a function of the control field. Previous theoretical studies on the topology of quantum control landscapes established that they should be free of sub-optimal traps under reasonable physical conditions. The simulations in this work include nearly 5000 individual optimization test cases, all of which confirm this prediction by fully achieving optimal population transfer of at least 99.9% upon careful attention to numerical procedures to ensure that the controls are free of constraints. Collectively, the simulation results additionally show invariance of required search effort to system dimension $N$. This behavior is rationalized in terms of the structural features of the underlying control landscape. The very attractive observed scaling with system complexity may be understood by considering the distance traveled on the control landscape during a search and the magnitude of the control landscape slope. Exceptions to this favorable scaling behavior can arise when the initial control field fluence is too large or when the target final state recedes from the initial state as $N$ increases.

preprint2011arXiv

Exploring the top and bottom of the quantum control landscape

A controlled quantum system possesses a search landscape defined by the target physical objective as a function of the controls. This paper focuses on the landscape for the transition probability Pif between the states of a finite level quantum system. Traditionally, the controls are applied fields; here we extend the notion of control to also include the Hamiltonian structure, in the form of time independent matrix elements. Level sets of controls that produce the same transition probability value are shown to exist at the bottom Pif = 0.0 and top Pif = 1.0 of the landscape with the field and/or Hamiltonian structure as controls. We present an algorithm to continuously explore these level sets starting from an initial point residing at either extreme value of Pif . The technique can also identify control solutions that exhibit the desirable properties of (a) robustness at the top and (b) the ability to rapidly rise towards an optimal control from the bottom. Numerical simulations are presented to illustrate the varied control behavior at the top and bottom of the landscape for several simple model systems.

preprint2011arXiv

Fidelity Between Unitary Operators and the Generation of Gates Robust Against Off-Resonance Perturbations

We perform a functional expansion of the fidelity between two unitary matrices in order to find the necessary conditions for the robust implementation of a target gate. Comparison of these conditions with those obtained from the Magnus expansion and Dyson series shows that they are equivalent in first order. By exploiting techniques from robust design optimization, we account for issues of experimental feasibility by introducing an additional criterion to the search for control pulses. This search is accomplished by exploring the competition between the multiple objectives in the implementation of the NOT gate by means of evolutionary multi-objective optimization.

preprint2011arXiv

Gradient flow for controlling quantum ensemble

We propose in this paper a gradient-type dynamical system to solve the problem of maximizing quantum observables for finite dimensional closed quantum ensembles governed by the controlled Liouville-von Neumann equation. The asymptotic behavior is analyzed: we show that under the regularity assumption on the controls the dynamical system almost always converges to a solution of the maximization problem; we also detail the difficulties related to the occurrence of singular controls.

preprint2011arXiv

Hamiltonian identification through enhanced observability utilizing quantum control

This paper considers Hamiltonian identification for a controllable quantum system with non-degenerate transitions and a known initial state. We assume to have at our disposal a single scalar control input and the population measure of only one state at an (arbitrarily large) final time T. We prove that the quantum dipole moment matrix is locally observable in the following sense: for any two close but distinct dipole moment matrices, we construct discriminating controls giving two different measurements. Such discriminating controls are constructed to have three well defined temporal components, as inspired by Ramsey interferometry. This result suggests that what may appear at first to be very restrictive measurements are actually rich for identification, when combined with well designed discriminating controls, to uniquely identify the complete dipole moment of such systems. The assessment supports the employment of quantum control as a promising means to achieve high quality identification of a Hamiltonian.

preprint2011arXiv

Quantum Control Experiments as a Testbed for Evolutionary Multi-Objective Algorithms

Experimental multi-objective Quantum Control is an emerging topic within the broad physics and chemistry applications domain of controlling quantum phenomena. This realm offers cutting edge ultrafast laser laboratory applications, which pose multiple objectives, noise, and possibly constraints on the high-dimensional search. In this study we introduce the topic of Multi-Observable Quantum Control (MOQC), and consider specific systems to be Pareto optimized subject to uncertainty, either experimentally or by means of simulated systems. The latter include a family of mathematical test-functions with a practical link to MOQC experiments, which are introduced here for the first time. We investigate the behavior of the multi-objective version of the Covariance Matrix Adaptation Evolution Strategy (MO-CMA-ES) and assess its performance on computer simulations as well as on laboratory closed-loop experiments. Overall, we propose a comprehensive study on experimental evolutionary Pareto optimization in high-dimensional continuous domains, draw some practical conclusions concerning the impact of fitness disturbance on algorithmic behavior, and raise several theoretical issues in the broad evolutionary multi-objective context.

preprint2011arXiv

The quantum Goldilocks effect: on the convergence of timescales in quantum transport

Excitonic transport in photosynthesis exhibits a wide range of time scales. Absorption and initial relaxation takes place over tens of femtoseconds. Excitonic lifetimes are on the order of a nanosecond. Hopping rates, energy differences between chromophores, reorganization energies, and decoherence rates correspond to time scales on the order of picoseconds. The functional nature of the divergence of time scales is easily understood: strong coupling to the electromagnetic field over a broad band of frequencies yields rapid absorption, while long excitonic lifetimes increase the amount of energy that makes its way to the reaction center to be converted to chemical energy. The convergence of the remaining time scales to the centerpoint of the overall temporal range is harder to understand. In this paper we argue that the convergence of timescales in photosynthesis can be understood as an example of the `quantum Goldilocks effect': natural selection tends to drive quantum systems to the degree of quantum coherence that is `just right' for attaining maximum efficiency. We provide a general theory of optimal and robust, efficient transport in quantum systems, and show that it is governed by a single parameter.

preprint2011arXiv

The role of controllability in optimizing quantum dynamics

This paper discusses the important role of controllability played on the complexity of optimizing quantum mechanical control systems. The study is based on a topology analysis of the corresponding quantum control landscape, which is referred to as the optimization objective as a functional of control fields. We find that the degree of controllability is closely relevant with the ruggedness of the landscape, which determines the search efficiency for global optima. This effect is demonstrated via the gate fidelity control landscape of a system whose controllability is restricted on a SU(2) dynamic symmetry group. We show that multiple local false traps (i.e., non-global suboptima) exist even if the target gate is realizable and that the number of these traps is increased by the loss of controllability, while the controllable systems are always devoid of false traps.

preprint2011arXiv

Volume Fractions of the Kinematic "Near-Critical" Sets of the Quantum Ensemble Control Landscape

An estimate is derived for the volume fraction of a subset $C_ε^{P} = \{U : ||grad J(U)|\leq ε\}\subset\mathrm{U}(N)$ in the neighborhood of the critical set $C^{P}\simeq\mathrm{U}(\mathbf{n})P\mathrm{U}(\mathbf{m})$ of the kinematic quantum ensemble control landscape J(U) = Tr(UρU' O), where $U$ represents the unitary time evolution operator, ρ is the initial density matrix of the ensemble, and O is an observable operator. This estimate is based on the Hilbert-Schmidt geometry for the unitary group and a first-order approximation of $||grad J(U)||^2$. An upper bound on these near-critical volumes is conjectured and supported by numerical simulation, leading to an asymptotic analysis as the dimension $N$ of the quantum system rises in which the volume fractions of these "near-critical" sets decrease to zero as $N$ increases. This result helps explain the apparent lack of influence exerted by the many saddles of $J$ over the gradient flow.

preprint2010arXiv

Control of quantum phenomena: Past, present, and future

Quantum control is concerned with active manipulation of physical and chemical processes on the atomic and molecular scale. This work presents a perspective of progress in the field of control over quantum phenomena, tracing the evolution of theoretical concepts and experimental methods from early developments to the most recent advances. The current experimental successes would be impossible without the development of intense femtosecond laser sources and pulse shapers. The two most critical theoretical insights were (1) realizing that ultrafast atomic and molecular dynamics can be controlled via manipulation of quantum interferences and (2) understanding that optimally shaped ultrafast laser pulses are the most effective means for producing the desired quantum interference patterns in the controlled system. Finally, these theoretical and experimental advances were brought together by the crucial concept of adaptive feedback control, which is a laboratory procedure employing measurement-driven, closed-loop optimization to identify the best shapes of femtosecond laser control pulses for steering quantum dynamics towards the desired objective. Optimization in adaptive feedback control experiments is guided by a learning algorithm, with stochastic methods proving to be especially effective. Adaptive feedback control of quantum phenomena has found numerous applications in many areas of the physical and chemical sciences, and this paper reviews the extensive experiments. Other subjects discussed include quantum optimal control theory, quantum control landscapes, the role of theoretical control designs in experimental realizations, and real-time quantum feedback control. The paper concludes with a prospective of open research directions that are likely to attract significant attention in the future.

preprint2010arXiv

General unifying features of controlled quantum phenomena

Many proposals have been put forth for controlling quantum phenomena, including open-loop, adaptive feedback, and real-time feedback control. Each of these approaches has been viewed as operationally, and even physically, distinct from the others. This work shows that all such scenarios inherently share the same fundamental control features residing in the topology of the landscape relating the target physical observable to the applied controls. This unified foundation may provide a basis for development of hybrid control schemes that would combine the advantages of the existing approaches to achieve the best overall performance.

preprint2010arXiv

Search complexity and resource scaling for the quantum optimal control of unitary transformations

The optimal control of unitary transformations is a fundamental problem in quantum control theory and quantum information processing. The feasibility of performing such optimizations is determined by the computational and control resources required, particularly for systems with large Hilbert spaces. Prior work on unitary transformation control indicates that (i) for controllable systems, local extrema in the search landscape for optimal control of quantum gates have null measure, facilitating the convergence of local search algorithms; but (ii) the required time for convergence to optimal controls can scale exponentially with Hilbert space dimension. Depending on the control system Hamiltonian, the landscape structure and scaling may vary. This work introduces methods for quantifying Hamiltonian-dependent and kinematic effects on control optimization dynamics in order to classify quantum systems according to the search effort and control resources required to implement arbitrary unitary transformations.

preprint2010arXiv

Unified analysis of terminal-time control in classical and quantum systems

Many phenomena in physics, chemistry, and biology involve seeking an optimal control to maximize an objective for a classical or quantum system which is open and interacting with its environment. The complexity of finding an optimal control for maximizing an objective is strongly affected by the possible existence of sub-optimal maxima. Within a unified framework under specified conditions, control objectives for maximizing at a terminal time physical observables of open classical and quantum systems are shown to be inherently free of sub-optimal maxima. This attractive feature is of central importance for enabling the discovery of controls in a seamless fashion in a wide range of phenomena transcending the quantum and classical regimes.

preprint2009arXiv

Environment-invariant measure of distance between evolutions of an open quantum system

The problem of quantifying the difference between evolutions of an open quantum system (in particular, between the actual evolution of an open system and the ideal target operation on the corresponding closed system) is important in quantum control, especially in control of quantum information processing. Motivated by this problem, we develop a measure for evaluating the distance between unitary evolution operators of a composite quantum system that consists of a sub-system of interest (e.g., a quantum information processor) and environment. The main characteristic of this measure is the invariance with respect to the effect of the evolution operator on the environment, which follows from an equivalence relation that exists between unitary operators acting on the composite system, when the effect on only the sub-system of interest is considered. The invariance to the environment's transformation makes it possible to quantitatively compare the evolution of an open quantum system and its closed counterpart. The distance measure also determines the fidelity bounds of a general quantum channel (a completely positive and trace-preserving map acting on the sub-system of interest) with respect to a unitary target transformation. This measure is also independent of the initial state of the system and straightforward to numerically calculate. As an example, the measure is used in numerical simulations to evaluate fidelities of optimally controlled quantum gate operations (for one- and two-qubit systems), in the presence of a decohering environment. This example illustrates the utility of this measure for optimal control of quantum operations in the realistic case of open-system dynamics.

preprint2009arXiv

Optimal control of the local electromagnetic response of nanostructured materials: optimal detectors and quantum disguises

We consider the problem of optimization of an effective trapping potential in a nanostructure with a quasi-one-dimensional geometry. The optimization is performed to achieve certain target optical properties of the system. We formulate and solve the optimization problem for a nanostructure that serves either as a single molecule detector or as a "quantum disguise" for a single molecule.

preprint2009arXiv

Singularities of Quantum Control Landscapes

A quantum control landscape is defined as the objective to be optimized as a function of the control variables. Existing empirical and theoretical studies reveal that most realistic quantum control landscapes are generally devoid of false traps. However, the impact of singular controls has yet to be investigated, which can arise due to a singularity on the mapping from the control to the final quantum state. We provide an explicit characterization of such controls that are strongly Hamiltonian-dependent and investigate their associated landscape geometry. Although in principle the singularities may correspond to local traps, we did not find any in numerical simulations. Also, as they occupy a small portion of the entire set of possible critical controls, their influence is expected to be much smaller than controls corresponding to the commonly located regular extremals. This observation supports the established ease of optimal searches to find high-quality controls in simulations and experiments.

preprint2009arXiv

Strategies for optimal design for electrostatic energy storage in quantum multiwell heterostructures

The physical principles are studied for the optimal design of a quantum multiwell heterostructure working as an electrostatic energy storage device. We performed the search for an optimal multiwell trapping potential for electrons that results in the maximum static palarizability of the system. The response of the heterostructure is modeled quantum mechanically using nonlocal linear response theory. Three main design strategies are identified, which lead to the maximization of the stored energy. We found that the efficiency of each strategy crucially depends on the temperature and the broadening of electron levels. The energy density for optimized heterostructures can exceed the nonoptimized value by a factor more than $400$. These findings provide a basis for the development of new nanoscale capacitors with high energy density storage capabilities.

preprint2009arXiv

The Optimal Control Landscape for the Generation of Unitary Transformations with Constrained Dynamics

The reliable and precise generation of quantum unitary transformations is essential to the realization of a number of fundamental objectives, such as quantum control and quantum information processing. Prior work has explored the optimal control problem of generating such unitary transformations as a surface optimization problem over the quantum control landscape, defined as a metric for realizing a desired unitary transformation as a function of the control variables. It was found that under the assumption of non-dissipative and controllable dynamics, the landscape topology is trap-free, implying that any reasonable optimization heuristic should be able to identify globally optimal solutions. The present work is a control landscape analysis incorporating specific constraints in the Hamiltonian corresponding to certain dynamical symmetries in the underlying physical system. It is found that the presence of such symmetries does not destroy the trap-free topology. These findings expand the class of quantum dynamical systems on which control problems are intrinsically amenable to solution by optimal control.

preprint2008arXiv

Characterization of the Critical Submanifolds in Quantum Ensemble Control Landscapes

A quantum control landscape is defined as the physical objective as a function of the control variables to be optimized. Analyzing the topology of these landscapes is important for understanding the origins of the increasing number of laboratory successes in the optimal control of quantum processes. This paper proposes a simple scheme to compute the characteristics of the critical topology of the quantum ensemble control landscapes for observables, showing that the set of disjoint critical submanifolds one-to-one corresponds to a finite number of contingency tables that solely depend on the degeneracy structure of the eigenvalues of the initial system density matrix and the observable to be controlled. The landscape characteristics can be calculated as functions of the table entries, including the dimensions and the numbers of positive and negative eigenvalues of the Hessian quadratic form of each of the connected components of the critical submanifolds. Typical examples are given to illustrate the effectiveness of this method.

preprint2007arXiv

Quantum Control Landscapes

Numerous lines of experimental, numerical and analytical evidence indicate that it is surprisingly easy to locate optimal controls steering quantum dynamical systems to desired objectives. This has enabled the control of complex quantum systems despite the expense of solving the Schrodinger equation in simulations and the complicating effects of environmental decoherence in the laboratory. Recent work indicates that this simplicity originates in universal properties of the solution sets to quantum control problems that are fundamentally different from their classical counterparts. Here, we review studies that aim to systematically characterize these properties, enabling the classification of quantum control mechanisms and the design of globally efficient quantum control algorithms.