-
Robustness of Dynamic Quantum Control: Differential Sensitivity Bound
Authors:
S. P. O'Neil,
C. A. Weidner,
E. A. Jonckheere,
F. C. Langbein,
S. G. Schirmer
Abstract:
Dynamic control via optimized, piecewise-constant pulses is a common paradigm for open-loop control to implement quantum gates. While numerous methods exist for the synthesis of such controls, there are many open questions regarding the robustness of the resulting control schemes in the presence of model uncertainty; unlike in classical control, there are generally no analytical guarantees on the…
▽ More
Dynamic control via optimized, piecewise-constant pulses is a common paradigm for open-loop control to implement quantum gates. While numerous methods exist for the synthesis of such controls, there are many open questions regarding the robustness of the resulting control schemes in the presence of model uncertainty; unlike in classical control, there are generally no analytical guarantees on the control performance with respect to inexact modeling of the system. In this paper a new robustness measure based on the differential sensitivity of the gate fidelity error to parametric (structured) uncertainties is introduced, and bounds on the differential sensitivity to parametric uncertainties are used to establish performance guarantees for optimal controllers for a variety of quantum gate types, system sizes, and control implementations. Specifically, it is shown how a maximum allowable perturbation over a set of Hamiltonian uncertainties that guarantees a given fidelity error, can be reliably computed. This measure of robustness is inversely proportional to the upper bound on the differential sensitivity of the fidelity error evaluated under nominal operating conditions. Finally, the results show that the nominal fidelity error and differential sensitivity upper bound are positively correlated across a wide range of problems and control implementations, suggesting that in the high-fidelity control regime, rather than there being a trade-off between fidelity and robustness, higher nominal gate fidelities are positively correlated with increased robustness of the controls in the presence of parametric uncertainties.
△ Less
Submitted 21 June, 2024; v1 submitted 30 December, 2023;
originally announced January 2024.
-
Robust Quantum Control in Closed and Open Systems: Theory and Practice
Authors:
C. A. Weidner,
E. A. Reed,
J. Monroe,
B. Sheller,
S. O'Neil,
E. Maas,
E. A. Jonckheere,
F. C. Langbein,
S. G. Schirmer
Abstract:
Robust control of quantum systems is an increasingly relevant field of study amidst the second quantum revolution, but there remains a gap between taming quantum physics and robust control in its modern analytical form that culminated in fundamental performance bounds. In general, quantum systems are not amenable to linear, time-invariant, measurement-based robust control techniques, and thus nove…
▽ More
Robust control of quantum systems is an increasingly relevant field of study amidst the second quantum revolution, but there remains a gap between taming quantum physics and robust control in its modern analytical form that culminated in fundamental performance bounds. In general, quantum systems are not amenable to linear, time-invariant, measurement-based robust control techniques, and thus novel gap-bridging techniques must be developed. This survey is written for control theorists to highlight parallels between the current state of quantum control and classical robust control. We present issues that arise when applying classical robust control theory to quantum systems, typical methods used by quantum physicists to explore such systems and their robustness, as well as a discussion of open problems to be addressed in the field. We focus on general, practical applications and recent work to enable control researchers to contribute to advancing this burgeoning field.
△ Less
Submitted 30 December, 2023;
originally announced January 2024.
-
Topological Discrimination of Steep to Supersteep Gap to Emergence of Tunneling in Adiabatic Quantum Processes
Authors:
Edmond Jonckheere
Abstract:
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…
▽ More
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 map** 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.
△ Less
Submitted 2 July, 2024; v1 submitted 17 November, 2023;
originally announced November 2023.
-
Sensitivity Bounds for Quantum Control and Time-Domain Performance Guarantees
Authors:
Sean Patrick O'Neil,
Edmond Jonckheere,
Sophie Schirmer
Abstract:
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 t…
▽ More
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.
△ Less
Submitted 8 January, 2024; v1 submitted 25 October, 2023;
originally announced October 2023.
-
Disturbance-agnostic robust performance with structured uncertainties and initial state error in classical versus quantum oscillatory systems
Authors:
Edmond Jonckheere,
Sophie G. Schirmer,
Frank C. Langbein,
Carrie A. Weidner,
Sean O'Neil
Abstract:
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 d…
▽ More
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.
△ Less
Submitted 5 May, 2023;
originally announced May 2023.
-
Sample-efficient Model-based Reinforcement Learning for Quantum Control
Authors:
Irtaza Khalid,
Carrie A. Weidner,
Edmond A. Jonckheere,
Sophie G. Shermer,
Frank C. Langbein
Abstract:
We propose a model-based reinforcement learning (RL) approach for noisy time-dependent gate optimization with improved sample complexity over model-free RL. Sample complexity is the number of controller interactions with the physical system. Leveraging an inductive bias, inspired by recent advances in neural ordinary differential equations (ODEs), we use an auto-differentiable ODE parametrised by…
▽ More
We propose a model-based reinforcement learning (RL) approach for noisy time-dependent gate optimization with improved sample complexity over model-free RL. Sample complexity is the number of controller interactions with the physical system. Leveraging an inductive bias, inspired by recent advances in neural ordinary differential equations (ODEs), we use an auto-differentiable ODE parametrised by a learnable Hamiltonian ansatz to represent the model approximating the environment whose time-dependent part, including the control, is fully known. Control alongside Hamiltonian learning of continuous time-independent parameters is addressed through interactions with the system. We demonstrate an order of magnitude advantage in the sample complexity of our method over standard model-free RL in preparing some standard unitary gates with closed and open system dynamics, in realistic numerical experiments incorporating single shot measurements, arbitrary Hilbert space truncations and uncertainty in Hamiltonian parameters. Also, the learned Hamiltonian can be leveraged by existing control methods like GRAPE for further gradient-based optimization with the controllers found by RL as initializations. Our algorithm that we apply on nitrogen vacancy (NV) centers and transmons in this paper is well suited for controlling partially characterised one and two qubit systems.
△ Less
Submitted 2 October, 2023; v1 submitted 19 April, 2023;
originally announced April 2023.
-
Analyzing and Unifying Robustness Measures for Excitation Transfer Control in Spin Networks
Authors:
S. P. O'Neil,
I. Khalid,
A. A. Rompokos,
C. A. Weidner,
F. C. Langbein,
S. G. Schirmer,
E. A. Jonckheere
Abstract:
Recent achievements in quantum control have resulted in advanced techniques for designing controllers for applications in quantum communication, computing, and sensing. However, the susceptibility of such systems to noise and uncertainties necessitates robust controllers that perform effectively under these conditions to realize the full potential of quantum devices. The time-domain log-sensitivit…
▽ More
Recent achievements in quantum control have resulted in advanced techniques for designing controllers for applications in quantum communication, computing, and sensing. However, the susceptibility of such systems to noise and uncertainties necessitates robust controllers that perform effectively under these conditions to realize the full potential of quantum devices. The time-domain log-sensitivity and a recently introduced robustness infidelity measure (RIM) are two means to quantify controller robustness in quantum systems. The former can be found analytically, while the latter requires Monte-Carlo sampling. In this work, the correlation between the log-sensitivity and the RIM for evaluating the robustness of single excitation transfer fidelity in spin chains and rings in the presence of dephasing is investigated. We show that the expected differential sensitivity of the error agrees with the differential sensitivity of the RIM, where the expectation is over the error probability distribution. Statistical analysis also demonstrates that the log-sensitivity and the RIM are linked via the differential sensitivity, and that the differential sensitivity and RIM are highly concordant. This unification of two means (one analytic and one via sampling) to assess controller robustness in a variety of realistic scenarios provides a first step in unifying various tools to model and assess robustness of quantum controllers.
△ Less
Submitted 14 June, 2023; v1 submitted 16 March, 2023;
originally announced March 2023.
-
Robustness of Energy Landscape Control to Dephasing
Authors:
Sean Patrick O'Neil,
Frank C. Langbein,
Edmond Jonckheere,
Sophie Shermer
Abstract:
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 inv…
▽ More
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.
△ Less
Submitted 16 October, 2023; v1 submitted 9 March, 2023;
originally announced March 2023.
-
Robustness of Energy Landscape Controllers for Spin Rings under Coherent Excitation Transport
Authors:
Sean O'Neil,
Frank Langbein,
Edmond Jonckheere,
S Shermer
Abstract:
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 excitatio…
▽ More
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.
△ Less
Submitted 20 August, 2023; v1 submitted 28 February, 2023;
originally announced March 2023.
-
Bode Integral Limitation For Irrational Systems
Authors:
William Chang,
Fariba Ariaei,
Edmond Jonckheere
Abstract:
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 fee…
▽ More
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.
△ Less
Submitted 20 November, 2022;
originally announced November 2022.
-
Time Domain Sensitivity of the Tracking Error
Authors:
S. O'Neil,
S. G. Schirmer,
F. C. Langbein,
C. A. Weidner,
E. Jonckheere
Abstract:
A strictly time-domain formulation of the log-sensitivity of the error signal to structured plant uncertainty is presented and analyzed through simple but representative classical and quantum systems. Results demonstrate that across a wide range of physical systems, maximization of performance (minimization of the error signal) asymptotically or at a specific time comes at the cost of increased lo…
▽ More
A strictly time-domain formulation of the log-sensitivity of the error signal to structured plant uncertainty is presented and analyzed through simple but representative classical and quantum systems. Results demonstrate that across a wide range of physical systems, maximization of performance (minimization of the error signal) asymptotically or at a specific time comes at the cost of increased log-sensitivity, implying a time-domain constraint analogous to the frequency-domain identity $\mathbf{S(s) + T(s) = I}$. While of limited value in classical problems based on asymptotic stabilization or tracking, such a time-domain formulation is valuable in assessing the reduced robustness cost concomitant with high-fidelity quantum control schemes predicated on time-based performance measures.
△ Less
Submitted 12 November, 2023; v1 submitted 27 October, 2022;
originally announced October 2022.
-
Applying classical control techniques to quantum systems: entanglement versus stability margin and other limitations
Authors:
C. A. Weidner,
S. G. Schirmer,
F. C. Langbein,
E. A. Jonckheere
Abstract:
Development of robust quantum control has been challenging and there are numerous obstacles to applying classical robust control to quantum system including bilinearity, marginal stability, state preparation errors, nonlinear figures of merit. The requirement of marginal stability, while not satisfied for closed quantum systems, can be satisfied for open quantum systems where Lindbladian behavior…
▽ More
Development of robust quantum control has been challenging and there are numerous obstacles to applying classical robust control to quantum system including bilinearity, marginal stability, state preparation errors, nonlinear figures of merit. The requirement of marginal stability, while not satisfied for closed quantum systems, can be satisfied for open quantum systems where Lindbladian behavior leads to non-unitary evolution, and allows for nonzero classical stability margins, but it remains difficult to extract physical insight when classical robust control tools are applied to these systems. We consider a straightforward example of the entanglement between two qubits dissipatively coupled to a lossy cavity and analyze it using the classical stability margin and structured perturbations. We attempt, where possible, to extract physical insight from these analyses. Our aim is to highlight where classical robust control can assist in the analysis of quantum systems and identify areas where more work needs to be done to develop specific methods for quantum robust control.
△ Less
Submitted 25 July, 2022;
originally announced July 2022.
-
Statistically Characterising Robustness and Fidelity of Quantum Controls and Quantum Control Algorithms
Authors:
Irtaza Khalid,
Carrie A. Weidner,
Edmond A. Jonckheere,
Sophie G. Shermer,
Frank C. Langbein
Abstract:
Robustness of quantum operations or controls is important to build reliable quantum devices. The robustness-infidelity measure (RIM$_p$) is introduced to statistically quantify the robustness and fidelity of a controller as the p-order Wasserstein distance between the fidelity distribution of the controller under any uncertainty and an ideal fidelity distribution. The RIM$_p$ is the p-th root of t…
▽ More
Robustness of quantum operations or controls is important to build reliable quantum devices. The robustness-infidelity measure (RIM$_p$) is introduced to statistically quantify the robustness and fidelity of a controller as the p-order Wasserstein distance between the fidelity distribution of the controller under any uncertainty and an ideal fidelity distribution. The RIM$_p$ is the p-th root of the p-th raw moment of the infidelity distribution. Using a metrization argument, we justify why RIM$_1$ (the average infidelity) suffices as a practical robustness measure. Based on the RIM$_p$, an algorithmic robustness-infidelity measure (ARIM) is developed to quantify the expected robustness and fidelity of controllers found by a control algorithm. The utility of the RIM and ARIM is demonstrated by considering the problem of robust control of spin-$\tfrac{1}{2}$ networks using energy landscape sha** subject to Hamiltonian uncertainty. The robustness and fidelity of individual control solutions as well as the expected robustness and fidelity of controllers found by different popular quantum control algorithms are characterized. For algorithm comparisons, stochastic and non-stochastic optimization objectives are considered, with the goal of effective RIM optimization in the latter. Although high fidelity and robustness are often conflicting objectives, some high fidelity, robust controllers can usually be found, irrespective of the choice of the quantum control algorithm. However, for noisy optimization objectives, adaptive sequential decision making approaches such as reinforcement learning have a cost advantage compared to standard control algorithms and, in contrast, the infidelities obtained are more consistent with higher RIM values for low noise levels.
△ Less
Submitted 1 March, 2023; v1 submitted 15 July, 2022;
originally announced July 2022.
-
Robustness of Quantum Systems Subject to Decoherence: Structured Singular Value Analysis?
Authors:
S G Schirmer,
F C Langbein,
C A Weidner,
E A Jonckheere
Abstract:
We study the problem of robust performance of quantum systems under structured uncertainties. A specific feature of closed (Hamiltonian) quantum systems is that their poles lie on the imaginary axis and that neither a coherent controller nor physically relevant structured uncertainties can alter this situation. This changes for open systems where decoherence ensures asymptotic stability and create…
▽ More
We study the problem of robust performance of quantum systems under structured uncertainties. A specific feature of closed (Hamiltonian) quantum systems is that their poles lie on the imaginary axis and that neither a coherent controller nor physically relevant structured uncertainties can alter this situation. This changes for open systems where decoherence ensures asymptotic stability and creates a unique landscape of pure performance robustness, with the distinctive feature that closed-loop stability is secured by the underlying physics and needs not be enforced. This stability, however, is often detrimental to quantum-enhanced performance, and additive perturbations of the Hamiltonian give rise to dynamic generators that are nonlinear in the perturbed parameters, invalidating classical paradigms to assess robustness to structured perturbations such as singular value analysis. This problem is addressed using a fixed-point iteration approach to determine a maximum perturbation strength $δ_{\max}$ that ensures that the transfer function remains bounded, $||T_δ||<δ^{-1}$ for $δ<δ_{\max}$.
△ Less
Submitted 11 October, 2021;
originally announced October 2021.
-
Reinforcement Learning vs. Gradient-Based Optimisation for Robust Energy Landscape Control of Spin-1/2 Quantum Networks
Authors:
I. Khalid,
C. A. Weidner,
E. A. Jonckheere,
S. G. Schirmer,
F. C. Langbein
Abstract:
We explore the use of policy gradient methods in reinforcement learning for quantum control via energy landscape sha** of XX-Heisenberg spin chains in a model agnostic fashion. Their performance is compared to finding controllers using gradient-based L-BFGS optimisation with restarts, with full access to an analytical model. Hamiltonian noise and coarse-graining of fidelity measurements are cons…
▽ More
We explore the use of policy gradient methods in reinforcement learning for quantum control via energy landscape sha** of XX-Heisenberg spin chains in a model agnostic fashion. Their performance is compared to finding controllers using gradient-based L-BFGS optimisation with restarts, with full access to an analytical model. Hamiltonian noise and coarse-graining of fidelity measurements are considered. Reinforcement learning is able to tackle challenging, noisy quantum control problems where L-BFGS optimization algorithms struggle to perform well. Robustness analysis under different levels of Hamiltonian noise indicates that controllers found by reinforcement learning appear to be less affected by noise than those found with L-BFGS.
△ Less
Submitted 15 September, 2021;
originally announced September 2021.
-
Robust Control Performance for Open Quantum Systems
Authors:
Sophie G. Schirmer,
Frank C. Langbein,
Carrie A. Weidner,
Edmond Jonckheere
Abstract:
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 m…
▽ More
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.
△ Less
Submitted 16 June, 2022; v1 submitted 31 August, 2020;
originally announced August 2020.
-
Heat-Diffusion: Pareto Optimal Dynamic Routing for Time-Varying Wireless Networks
Authors:
Reza Banirazi,
Edmond Jonckheere,
Bhaskar Krishnamachari
Abstract:
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…
▽ More
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.
△ Less
Submitted 14 February, 2019;
originally announced February 2019.
-
Robustness of energy landscape control for spin networks under decoherence
Authors:
S. Schirmer,
E. Jonckheere,
S. O'Neil,
F. C. Langbein
Abstract:
Quantum spin networks form a generic system to describe a range of quantum devices for quantum information processing and sensing applications. Understanding how to control them is essential to achieve devices with practical functionalities. Energy landscape sha** is a novel control paradigm to achieve selective transfer of excitations in a spin network with surprisingly strong robustness toward…
▽ More
Quantum spin networks form a generic system to describe a range of quantum devices for quantum information processing and sensing applications. Understanding how to control them is essential to achieve devices with practical functionalities. Energy landscape sha** is a novel control paradigm to achieve selective transfer of excitations in a spin network with surprisingly strong robustness towards uncertainties in the Hamiltonians. Here we study the effect of decoherence, specifically generic pure dephasing, on the robustness of these controllers. Results indicate that while the effectiveness of the controllers is reduced by decoherence, certain controllers remain sufficiently effective, indicating potential to find highly effective controllers without exact knowledge of the decoherence processes.
△ Less
Submitted 3 August, 2018;
originally announced August 2018.
-
Sensitivity and Robustness of Quantum Spin-1/2 Rings to Parameter Uncertainty
Authors:
Sean O'Neil,
Edmond Jonckheere,
Sophie Schirmer,
Frank Langbein
Abstract:
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 sha**, 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 sens…
▽ More
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 sha**, 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.
△ Less
Submitted 31 August, 2017;
originally announced August 2017.
-
Structured singular value analysis for spintronics network information transfer control
Authors:
Edmond A. Jonckheere,
Sophie G. Schirmer,
Frank C. Langbein
Abstract:
Control laws for selective transfer of information encoded in excitations of a quantum network, based on sha** the energy landscape using time-invariant, spatially-varying bias fields, can be successfully designed using numerical optimization. Such control laws, already departing from classicality by replacing closed-loop asymptotic stability with alternative notions of localization, have the in…
▽ More
Control laws for selective transfer of information encoded in excitations of a quantum network, based on sha** the energy landscape using time-invariant, spatially-varying bias fields, can be successfully designed using numerical optimization. Such control laws, already departing from classicality by replacing closed-loop asymptotic stability with alternative notions of localization, have the intriguing property that for all practical purposes they achieve the upper bound on the fidelity, yet the (logarithmic) sensitivity of the fidelity to such structured perturbation as spin coupling errors and bias field leakages is nearly vanishing. Here, these differential sensitivity results are extended to large structured variations using $μ$-design tools to reveal a crossover region in the space of controllers where objectives usually thought to be conflicting are actually concordant.
△ Less
Submitted 10 June, 2017;
originally announced June 2017.
-
Jonckheere-Terpstra test for nonclassical error versus log-sensitivity relationship of quantum spin network controllers
Authors:
Edmond Jonckheere,
Sophie G. Schirmer,
Frank C. Langbein
Abstract:
Selective information transfer in spin ring networks by energy landscape sha** 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 ne…
▽ More
Selective information transfer in spin ring networks by energy landscape sha** 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.
△ Less
Submitted 24 November, 2017; v1 submitted 8 December, 2016;
originally announced December 2016.
-
Empirical Evaluation of the Heat-Diffusion Collection Protocol for Wireless Sensor Networks
Authors:
Pradipta Ghosh,
He Ren,
Reza Banirazi,
Bhaskar Krishnamachari,
Edmond Jonckheere
Abstract:
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-Op…
▽ More
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.
△ Less
Submitted 2 September, 2018; v1 submitted 12 September, 2016;
originally announced September 2016.
-
Multi-fractal Geometry of Finite Networks of Spins
Authors:
Paul Bogdan,
Edmond Jonckheere,
Sophie Schirmer
Abstract:
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 pro…
▽ More
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.}
△ Less
Submitted 29 August, 2016;
originally announced August 2016.
-
Design of Feedback Control Laws for Information Transfer in Spintronics Networks
Authors:
Sophie G Schirmer,
Edmond Jonckheere,
Frank C Langbein
Abstract:
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-v…
▽ More
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 sha** 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.
△ Less
Submitted 19 November, 2017; v1 submitted 18 July, 2016;
originally announced July 2016.
-
Time optimal information transfer in spintronics networks
Authors:
Frank Langbein,
Sophie Schirmer,
Edmond Jonckheere
Abstract:
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 s…
▽ More
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.
△ Less
Submitted 4 August, 2015;
originally announced August 2015.
-
Information Transfer Fidelity in Spin Networks and Ring-based Quantum Routers
Authors:
Edmond Jonckheere,
Frank Langbein,
Sophie Schirmer
Abstract:
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 m…
▽ More
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.
△ Less
Submitted 9 October, 2015; v1 submitted 16 August, 2014;
originally announced August 2014.
-
Statistical Structure Learning, Towards a Robust Smart Grid
Authors:
Hanie Sedghi,
Edmond Jonckheere
Abstract:
Robust control and maintenance of the grid relies on accurate data. Both PMUs and state estimators are prone to false data injection attacks. Thus, it is crucial to have a mechanism for fast and accurate detection of an agent maliciously tampering with the data---for both preventing attacks that may lead to blackouts, and for routine monitoring and control tasks of current and future grids. We pro…
▽ More
Robust control and maintenance of the grid relies on accurate data. Both PMUs and state estimators are prone to false data injection attacks. Thus, it is crucial to have a mechanism for fast and accurate detection of an agent maliciously tampering with the data---for both preventing attacks that may lead to blackouts, and for routine monitoring and control tasks of current and future grids. We propose a decentralized false data injection detection scheme based on Markov graph of the bus phase angles. We utilize the Conditional Covariance Test (CCT) to learn the structure of the grid. Using the DC power flow model, we show that under normal circumstances, and because of walk-summability of the grid graph, the Markov graph of the voltage angles can be determined by the power grid graph. Therefore, a discrepancy between calculated Markov graph and learned structure should trigger the alarm. Local grid topology is available online from the protection system and we exploit it to check for mismatch. Should a mismatch be detected, we use correlation anomaly score to detect the set of attacked nodes. Our method can detect the most recent stealthy deception attack on the power grid that assumes knowledge of bus-branch model of the system and is capable of deceiving the state estimator, damaging power network observatory, control, monitoring, demand response and pricing schemes. Specifically, under the stealthy deception attack, the Markov graph of phase angles changes. In addition to detect a state of attack, our method can detect the set of attacked nodes. To the best of our knowledge, our remedy is the first to comprehensively detect this sophisticated attack and it does not need additional hardware. Moreover, our detection scheme is successful no matter the size of the attacked subset. Simulation of various power networks confirms our claims.
△ Less
Submitted 7 March, 2014;
originally announced March 2014.
-
Quantum networks: Anti-core of spin chains
Authors:
E. Jonckheere,
F. C. Langbein,
S. Schirmer
Abstract:
The purpose of this paper is to exhibit a quantum network phenomenon - the anti-core---that goes against the classical network concept of congestion core. Classical networks idealized as infinite, Gromov hyperbolic spaces with least-cost path routing (and subject to a technical condition on the Gromov boundary) have a congestion core, defined as a subnetwork that routing paths have a high probabil…
▽ More
The purpose of this paper is to exhibit a quantum network phenomenon - the anti-core---that goes against the classical network concept of congestion core. Classical networks idealized as infinite, Gromov hyperbolic spaces with least-cost path routing (and subject to a technical condition on the Gromov boundary) have a congestion core, defined as a subnetwork that routing paths have a high probability of visiting. Here, we consider quantum networks, more specifically spin chains, define the so-called maximum excitation transfer probability $p_{\max}(i,j)$ between spin $i$ and spin $j$, and show that the central spin has among all other spins the lowest probability of being excited or transmitting its excitation. The anti-core is singled out by analytical formulas for $p_{\mathrm{max}}(i,j)$, revealing the number theoretic properties of quantum chains. By engineering the chain, we further show that this probability can be made vanishingly small.
△ Less
Submitted 1 March, 2014;
originally announced March 2014.
-
Multi-Step Stochastic ADMM in High Dimensions: Applications to Sparse Optimization and Noisy Matrix Decomposition
Authors:
Hanie Sedghi,
Anima Anandkumar,
Edmond Jonckheere
Abstract:
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…
▽ More
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.
△ Less
Submitted 6 July, 2015; v1 submitted 20 February, 2014;
originally announced February 2014.
-
Curvature of quantum rings
Authors:
Edmond Jonckheere,
Frank Langbein,
Sophie Schirmer
Abstract:
We develop a geometric approach to spin networks with Heisenberg or XX coupling. Geometry is acquired by defining a distance on the discrete set of spins. The key feature of the geometry of such networks is their Gauss curvature $κ$, viewed here as the ability to isometrically embed the chain in the standard Riemannian manifold of curvature $κ$. Here we focus on spin rings. Even though their visua…
▽ More
We develop a geometric approach to spin networks with Heisenberg or XX coupling. Geometry is acquired by defining a distance on the discrete set of spins. The key feature of the geometry of such networks is their Gauss curvature $κ$, viewed here as the ability to isometrically embed the chain in the standard Riemannian manifold of curvature $κ$. Here we focus on spin rings. Even though their visual geometry is trivial, it turns out that the geometry they acquire from the quantum mechanical distance is far from trivial.
△ Less
Submitted 1 March, 2014; v1 submitted 12 February, 2012;
originally announced February 2012.
-
Geometry and Curvature of Spin Networks
Authors:
E Jonckheere,
S G Schirmer,
F C Langbein
Abstract:
A measure for the maximum quantum information transfer capacity (ITC) between nodes of a spin network is defined, and shown to induce a metric on a space of equivalence classes of nodes for homogeneous chains with XX and Heisenberg couplings. The geometry and curvature of spin chains with respect of this metric are studied and compared to the physical network geometry. For general networks hierarc…
▽ More
A measure for the maximum quantum information transfer capacity (ITC) between nodes of a spin network is defined, and shown to induce a metric on a space of equivalence classes of nodes for homogeneous chains with XX and Heisenberg couplings. The geometry and curvature of spin chains with respect of this metric are studied and compared to the physical network geometry. For general networks hierarchical clustering is used to elucidate the proximity of nodes with regard to the maximum ITC. Finally, it is shown how minimal control can be used to overcome intrinsic limitations and speed up information transfer.
△ Less
Submitted 15 February, 2011;
originally announced February 2011.
-
Control-Induced Decoherence-Free Manifolds
Authors:
E. Jonckheere,
A. Shabani,
A. T. Rezakhani
Abstract:
Quantum coherence of open quantum systems is usually compromised because of the interaction with the ambient environment. A "decoherence-free subspace" (DFS) of the system Hilbert space is defined where the evolution remains unitary. In the absence of a priori existence of such subspaces, it seems natural that utilizing quantum control may help generate and/or retain a DFS. Here, we introduce a…
▽ More
Quantum coherence of open quantum systems is usually compromised because of the interaction with the ambient environment. A "decoherence-free subspace" (DFS) of the system Hilbert space is defined where the evolution remains unitary. In the absence of a priori existence of such subspaces, it seems natural that utilizing quantum control may help generate and/or retain a DFS. Here, we introduce a time-varying DFS wherein the system's density matrix has a unitarily evolving sub-density corresponding to some given set of its eigenvalues (which we aim to preserve). This subspace is characterized from both topological and algebraic perspectives. In particular, we show that this DFS admits a complex vector bundle structure over a real-analytic manifold (the decoherence-free manifold).
△ Less
Submitted 11 February, 2010; v1 submitted 7 February, 2010;
originally announced February 2010.
-
Euclidean versus hyperbolic congestion in idealized versus experimental networks
Authors:
Edmond Jonckheere,
Mingji Lou,
Francis Bonahon,
Yuliy Baryshnikov
Abstract:
This paper proposes a mathematical justification of the phenomenon of extreme congestion at a very limited number of nodes in very large networks. It is argued that this phenomenon occurs as a combination of the negative curvature property of the network together with minimum length routing. More specifically, it is shown that, in a large n-dimensional hyperbolic ball B of radius R viewed as a r…
▽ More
This paper proposes a mathematical justification of the phenomenon of extreme congestion at a very limited number of nodes in very large networks. It is argued that this phenomenon occurs as a combination of the negative curvature property of the network together with minimum length routing. More specifically, it is shown that, in a large n-dimensional hyperbolic ball B of radius R viewed as a roughly similar model of a Gromov hyperbolic network, the proportion of traffic paths transiting through a small ball near the center is independent of the radius R whereas, in a Euclidean ball, the same proportion scales as 1/R^{n-1}. This discrepancy persists for the traffic load, which at the center of the hyperbolic ball scales as the square of the volume, whereas the same traffic load scales as the volume to the power (n+1)/n in the Euclidean ball. This provides a theoretical justification of the experimental exponent discrepancy observed by Narayan and Saniee between traffic loads in Gromov-hyperbolic networks from the Rocketfuel data base and synthetic Euclidean lattice networks. It is further conjectured that for networks that do not enjoy the obvious symmetry of hyperbolic and Euclidean balls, the point of maximum traffic is near the center of mass of the network.
△ Less
Submitted 13 November, 2009;
originally announced November 2009.