SearcharxivSearch

arXiv subjects

Edmond Jonckheere

Publications and source records attributed to Edmond Jonckheere.

At least 19 recordsLinked to original sources

Robustness Analysis for Quantum Systems Controlled by Continuous-Time Pulses

Differential sensitivity techniques originally developed to study the robustness of energy landscape controllers are generalized to the important case of closed quantum systems subject to continuously varying controls. Vanishing sensitivity to parameter variation is shown to coincide with perfect fidelity, as was the case for time-invariant controls. Upper bounds on the magnitude of the differential sensitivity to any parameter variation are derived based simply on knowledge of the system Hamiltonian and the maximum size of the control inputs.

quant-ph

Geometric Interpretation of Sensitivity to Structured Uncertainties in Spintronic Networks

We present a geometric model of the differential sensitivity of the fidelity error for state transfer in a spintronic network based on the relationship between a set of matrix operators. We show an explicit dependence of the differential sensitivity on the fidelity (error), and we further demonstrate that this dependence does not require a trade-off between the fidelity and sensitivity. Rather, we prove that for closed systems, ideal performance in the sense of perfect state transfer is both necessary and sufficient for optimal robustness in terms of vanishing sensitivity. We demonstrate the utility of this geometric interpretation of the sensitivity by applying the model to explain the sensitivity versus fidelity error data in two examples.

quant-ph

Sensitivity Bounds for Quantum Control and Time-Domain Performance Guarantees

Control of quantum systems via time-varying external fields optimized to maximize a fidelity measure at a given time is a mainstay in modern quantum control. However, save for specific systems, current analysis techniques for such quantum controllers provide no analytical robustness guarantees. In this letter we provide analytical bounds on the differential sensitivity of the gate fidelity error to structured uncertainties for a closed quantum system controlled by piecewise-constant, optimal control fields. We additionally determine those uncertainty structures that result in this worst-case maximal sensitivity. We then use these differential sensitivity bounds to provide conditions that guarantee performance, quantified by the fidelity error, in the face of parameter uncertainty.

quant-ph

Topological Discrimination of Steep to Supersteep Gap as Evidence of Tunneling in Adiabatic Quantum Processes

It is shown that the gap that limits the speed of a quantum annealing process can take three salient morphologies: (i) the supersteep gap where both the ground and the first excited eigenenergy level curves have topologically related pairs of nearby inflection points giving both the maximum and the minimum a steep aspect, (ii) the steep gap where only the first excited eigenenergy level curve has a pair of inflection points giving its minimum a steep aspect while the maximum of the ground level does not exhibit inflection points, and (iii) the mild gap that has no related inflection points. Classification of the various singularities betrayed by the inflection points relies on the critical value curves of the quadratic numerical range mapping of the matrix H0+iH1, where H0 is the transverse field Hamiltonian and H1 the problem Hamiltonian. It is shown that the ground level is mapped to the generically smooth boundary of the numerical range, while the first excited level is mapped to an interior non-smooth critical value curve exhibiting swallow tails. The major result is that the position of the swallow tails relative to the boundary allows the supersteep versus steep discrimination, while the absence of swallow tail-boundary interaction characterizes the mild gap. As a corollary of the singularity analysis, the highly structured initial and final Hamiltonians of the Grover search create unstable singularities that break into stable swallow tails under perturbation, with the consequence of invalidating the gap scaling estimates computed around the unstable singularity. Classification of all stable singularities from a global viewpoint requires the Legendrian approach where the energy level curves become Legendrian knots in the contact space. Last but not least, it will be shown that a supersteep swallow tail previews tunneling.

quant-ph

Robustness of Energy Landscape Control to Dephasing

As shown in previous work, in some cases closed quantum systems exhibit a non-conventional trade-off in performance and robustness in the sense that controllers with the highest fidelity can also provide the best robustness to parameter uncertainty. As the dephasing induced by the interaction of the system with the environment guides the evolution to a more classically mixed state, it is worth investigating what effect the introduction of dephasing has on the relationship between performance and robustness. In this paper we analyze the robustness of the fidelity error, as measured by the logarithmic sensitivity function, to dephasing processes. We show that introduction of dephasing as a perturbation to the nominal unitary dynamics requires a modification of the log-sensitivity formulation used to measure robustness about an uncertain parameter with non-zero nominal value used in previous work. We consider controllers optimized for a number of target objectives ranging from fidelity under coherent evolution to fidelity under dephasing dynamics to determine the extent to which optimizing for a specific regime has desirable effects in terms of robustness. Our analysis is based on two independent computations of the log-sensitivity: a statistical Monte Carlo approach and an analytic calculation. We show that despite the different log sensitivity calculations employed in this study, both demonstrate that the log-sensitivity of the fidelity error to dephasing results in a conventional trade-off between performance and robustness.

quant-ph

Robustness of Energy Landscape Controllers for Spin Rings under Coherent Excitation Transport

The design and analysis of controllers to regulate excitation transport in quantum spin rings presents challenges in the application of classical feedback control techniques to synthesize effective control, and generates results in contradiction to the expectations of classical control theory. In this paper, we examine the robustness of controllers designed to optimize the fidelity of an excitation transfer to uncertainty in system and control parameters. We use the logarithmic sensitivity of the fidelity error as the measure of robustness, drawing on the classical control analog of the sensitivity of the tracking error. In our analysis we demonstrate that quantum systems optimized for coherent transport demonstrate significantly different correlation between error and the log-sensitivity depending on whether the controller is optimized for readout at an exact time T or over a time-window about T.

quant-ph

Disturbance-agnostic robust performance with structured uncertainties and initial state error in classical versus quantum oscillatory systems

A method to quantify robust performance for situations where structured parameter variations and initial state errors rather than extraneous disturbances are the main performance limiting factors is presented. The approach is based on the error dynamics, the difference between nominal and perturbed dynamics, driven by either the unperturbed or perturbed state, rather than an artificially imposed disturbance. The unperturbed versus perturbed dichotomy can be interpreted as the relative error dynamics scaled by either the unperturbed or perturbed dynamics. The error dynamics driven by unperturbed state has the unique feature of decoupling the effect of physically meaningful uncertainties from an additive disturbance. The perturbed case offers the possibility to side-step Structured Singular Value (SSV) computations. Applications to a lightly damped mechanical system and a slowly dephasing quantum system demonstrate the usefulness of the concepts across a broad range of systems. Finally, a fixed-point algorithm specifically developed for quantum systems with state transitions depending in a nonlinear fashion on uncertainties is proposed as the substitute for classical SSV.

quant-ph

Bode Integral Limitation For Irrational Systems

Bode integrals of sensitivity and sensitivity-like functions along with complementary sensitivity and complementary sensitivity-like functions are conventionally used for describing performance limitations of a feedback control system. In this paper, we investigate the Bode integral and evaluate what happens when a fractional order Proportional-Integral-Derivative (PID) controller is used in a feedback control system. We extend our analysis to when fractal PID controllers are applied to irrational systems. We split this into two cases: when the sequence of infinitely many right half plane open-loop poles doesn't have any limit points and when it does have a limit point. In both cases, we prove that the structure of the Bode Integral is similar to the classical version under certain conditions of convergence. We also provide a sufficient condition for the controller to lower the Bode sensitivity integral.

eess.SY

Robust Control Performance for Open Quantum Systems

Robust performance of control schemes for open quantum systems is investigated under classical uncertainties in the generators of the dynamics and nonclassical uncertainties due to decoherence and initial state preparation errors. A formalism is developed to measure performance based on the transmission of a dynamic perturbation or initial state preparation error to the quantum state error. This makes it possible to apply tools from classical robust control such as structured singular value analysis. A difficulty arising from the singularity of the closed-loop Bloch equations for the quantum state is overcome by introducing the #-inversion lemma, a specialized version of the matrix inversion lemma. Under some conditions, this guarantees continuity of the structured singular value at s = 0. Additional difficulties occur when symmetry gives rise to multiple open-loop poles, which under symmetry-breaking unfold into single eigenvalues. The concepts are applied to systems subject to pure decoherence and a general dissipative system example of two qubits in a leaky cavity under laser driving fields and spontaneous emission. A nonclassical performance index, steady-state entanglement quantified by the concurrence, a nonlinear function of the system state, is introduced. Simulations confirm a conflict between entanglement, its log-sensitivity and stability margin under decoherence.

math.OC

Heat-Diffusion: Pareto Optimal Dynamic Routing for Time-Varying Wireless Networks

A dynamic routing policy, referred to as Heat-Diffusion (HD), is developed for multihop uniclass wireless networks subject to random traffic, time-varying topology and inter-channel interference.The policy uses only current condition of queue occupancies and channel states, with requiring no knowledge of traffic and topology.Besides throughput optimality, HD minimizes an average quadratic routing cost defined by endowing each channel with a time-varying cost factor. Further, HD minimizes average network delay in the class of routing policies that base decisions only on current condition of traffic congestion and channel states. Further, in this class of routing policies, HD provides a Pareto optimal tradeoff between average routing cost and average network delay, meaning that no policy can improve either one without detriment to the other. Finally, HD fluid limit follows graph combinatorial heat equation, which can open a new way to study wireless networks using heat calculus, a very active area of pure mathematics.

cs.NI

Empirical Evaluation of the Heat-Diffusion Collection Protocol for Wireless Sensor Networks

Heat-Diffusion (HD) routing is our recently-developed queue-aware routing policy for multi-hop wireless networks inspired by Thermodynamics. In the prior theoretical studies, we have shown that HD routing guarantees throughput optimality, minimizes a quadratic routing cost, minimizes queue congestion on the network, and provides a trade-off between routing cost and queueing delay that is Pareto-Optimal. While striking, these guarantees are based on idealized assumptions (including global synchronization, centralized control, and infinite buffers) and heretofore have only been evaluated through simplified numerical simulations. We present here the first practical decentralized version of HD algorithm, which we refer to as Heat-Diffusion Collection Protocol (HDCP), for wireless sensor networks. We present a thorough evaluation of HDCP based on real testbed experiments, including a comparative analysis of its performance with respect to the state of the art Collection Tree Protocol (CTP) and Backpressure Collection Protocol (BCP) for wireless sensor networks. We find that HDCP has a significantly higher throughput region and greater resilience to interference compared to CTP. However, we also find that the best performance of HDCP is comparable to the best performance of BCP, due to the similarity in their neighbor rankings, which we verify through a Kendall's-Tau test.

cs.NI

Jonckheere-Terpstra test for nonclassical error versus log-sensitivity relationship of quantum spin network controllers

Selective information transfer in spin ring networks by energy landscape shaping control has the property that the error 1-prob, where prob is the transfer success probability, and the sensitivity of the error to spin coupling uncertainties are statistically increasing across a family of controllers of increasing error. The need for a statistical Hypothesis Testing of a concordant trend is made necessary by the noisy behavior of the sensitivity versus the error as a consequence of the optimization of the controllers in a challenging error landscape. Here, we examine the concordant trend between the error and another measure of performance - the logarithmic sensitivity - used in robust control to formulate a well known fundamental limitation. Contrary to error versus sensitivity, the error versus logarithmic sensitivity trend is less obvious, because of the amplification of the noise due to the logarithmic normalization. This results in the Kendall τ test for rank correlation between the error and the log sensitivity to be somewhat pessimistic with marginal significance level. Here it is shown that the Jonckheere-Terpstra test, because it tests the Alternative Hypothesis of an ordering of the medians of some groups of log sensitivity data, alleviates this statistical problem. This identifies cases of concordant trend between the error and the logarithmic sensitivity, a highly anti-classical features that goes against the well know sensitivity versus complementary sensitivity limitation.

math.OC

Design of Feedback Control Laws for Information Transfer in Spintronics Networks

Information encoded in networks of stationary, interacting spin-1/2 particles is central for many applications ranging from quantum spintronics to quantum information processing. Without control, however, information transfer through such networks is generally inefficient. Currently available control methods to maximize the transfer fidelities and speeds mainly rely on dynamic control using time-varying fields and often assume instantaneous readout. We present an alternative approach to achieving efficient, high-fidelity transfer of excitations by shaping the energy landscape via the design of time-invariant feedback control laws without recourse to dynamic control. Both instantaneous readout and the more realistic case of finite readout windows are considered. The technique can also be used to freeze information by designing energy landscapes that achieve Anderson localization. Perfect state or super-optimal transfer and localization are enabled by conditions on the eigenstructure of the system and signature properties for the eigenvectors. Given the eigenstructure enabled by super-optimality, it is shown that feedback controllers that achieve perfect state transfer are, surprisingly, also the most robust with regard to uncertainties in the system and control parameters.

quant-ph

Sensitivity and Robustness of Quantum Spin-1/2 Rings to Parameter Uncertainty

Selective transfer of information between spin-1/2 particles arranged in a ring is achieved by optimizing the transfer fidelity over a readout time window via shaping, externally applied, static bias fields. Such static control fields have properties that clash with the expectations of classical control theory. Previous work has shown that there are cases in which the logarithmic differential sensitivity of the transfer fidelity to uncertainty in coupling strength or spillage of the bias field to adjacent spins is minimized by controllers that produce the best fidelity. Here we expand upon these examples and examine cases of both classical and non-classical behavior of logarithmic sensitivity to parameter uncertainty and robustness as measured by the $μ$ function for quantum systems. In particular we examine these properties in an 11-spin ring with a single uncertainty in coupling strength or a single bias spillage.

quant-ph

Multi-fractal Geometry of Finite Networks of Spins

Quantum spin networks overcome the challenges of traditional charge-based electronics by encoding the information into spin degrees of freedom. Although beneficial for transmitting information with minimal losses when compared to their charge-based counterparts, the mathematical formalization of the information propagation in a spin(tronic) network is challenging due to its complicated scaling properties. In this paper, we propose a geometric approach---specific to finite networks---for unraveling the information-theoretic phenomena of spin chains and rings by abstracting them as weighted graphs, where the vertices correspond to the spin excitation states and the edges represent the information theoretic distance between pair of nodes. The weighted graph representation of the quantum spin network dynamics exhibits a complex self-similar structure (where subgraphs repeat to some extent over various space scales). To quantify this complex behavior, we develop a new box counting inspired algorithm which assesses the mono-fractal versus multi-fractal properties of quantum spin networks. Besides specific to finite networks, multi-fractality is further compounded by "engineering" or "biasing" the network for selective transfer, as selectivity makes the network more heterogeneous. To demonstrate criticality in finite size systems, we define a thermodynamics inspired framework for describing information propagation and show evidence that some spin chains and rings exhibit an informational phase transition phenomenon, akin to the metal-to-insulator phase transition in Anderson localization in finite media.}

quant-ph

Information Transfer Fidelity in Spin Networks and Ring-based Quantum Routers

Spin networks are endowed with an Information Transfer Fidelity (ITF), which defines an absolute upper bound on the probability of transmission of an excitation from one spin to another. The ITF is easily computable but the bound can be reached asymptotically in time only under certain conditions. General conditions for attainability of the bound are established and the process of achiev-ing the maximum transfer probability is given a dynamical model, the translation on the torus. The time to reach the maximum probability is estimated using the simultaneous Diophantine approximation, implemented using a variant of the Lenstra-Lenstra-Lovasz (LLL) algorithm. For a ring with uniform couplings, the network can be made a metric space by defining a distance (satisfying the triangle inequality) that quantifies the lack of transmission fidelity between two nodes. It is shown that transfer fidelities and transfer times can be improved significantly by means of simple controls taking the form of non-dynamic, spatially localized bias fields, opening up the possibility for intelligent design of spin networks and dynamic routing of information encoded in them, while being more flexible than engineering fixed couplings to favor some transfers, and less demanding than control schemes requiring fast dynamic controls.

quant-ph

Time optimal information transfer in spintronics networks

Propagation of information encoded in spin degrees of freedom through networks of coupled spins enables important applications in spintronics and quantum information processing. We study control of information propagation in networks of spin-$\tfrac{1}{2}$ particles with uniform nearest neighbour couplings forming a ring with a single excitation in the network as simple prototype of a router for spin-based information. Specifically optimising spatially distributed potentials, which remain constant during information transfer, simplifies the implementation of the routing scheme. However, the limited degrees of freedom makes finding a control that maximises the transfer probability in a short time difficult. We show that the structure of the eigenvalues and eigenvectors must fulfill a specific condition to be able to maximise the transfer fidelity, and demonstrate that a specific choice among the many potential structures that fulfill this condition significantly improves the solutions found by optimal control.

quant-ph

Multi-Step Stochastic ADMM in High Dimensions: Applications to Sparse Optimization and Noisy Matrix Decomposition

We propose an efficient ADMM method with guarantees for high-dimensional problems. We provide explicit bounds for the sparse optimization problem and the noisy matrix decomposition problem. For sparse optimization, we establish that the modified ADMM method has an optimal convergence rate of $\mathcal{O}(s\log d/T)$, where $s$ is the sparsity level, $d$ is the data dimension and $T$ is the number of steps. This matches with the minimax lower bounds for sparse estimation. For matrix decomposition into sparse and low rank components, we provide the first guarantees for any online method, and prove a convergence rate of $\tilde{\mathcal{O}}((s+r)β^2(p) /T) + \mathcal{O}(1/p)$ for a $p\times p$ matrix, where $s$ is the sparsity level, $r$ is the rank and $Θ(\sqrt{p})\leq β(p)\leq Θ(p)$. Our guarantees match the minimax lower bound with respect to $s,r$ and $T$. In addition, we match the minimax lower bound with respect to the matrix dimension $p$, i.e. $β(p)=Θ(\sqrt{p})$, for many important statistical models including the independent noise model, the linear Bayesian network and the latent Gaussian graphical model under some conditions. Our ADMM method is based on epoch-based annealing and consists of inexpensive steps which involve projections on to simple norm balls. Experiments show that for both sparse optimization and matrix decomposition problems, our algorithm outperforms the state-of-the-art methods. In particular, we reach higher accuracy with same time complexity.

cs.LG