Showing 1–50 of 102 results for author: Schirmer, S

Texture Feature Analysis for Classification of Early-Stage Prostate Cancer in mpMRI

Authors: Asmail Muftah, S M Schirmer, Frank C Langbein

Abstract: Magnetic resonance imaging (MRI) has become a crucial tool in the diagnosis and staging of prostate cancer, owing to its superior tissue contrast. However, it also creates large volumes of data that must be assessed by trained experts, a time-consuming and laborious task. This has prompted the development of machine learning tools for the automation of Prostate cancer (PCa) risk classification bas… ▽ More Magnetic resonance imaging (MRI) has become a crucial tool in the diagnosis and staging of prostate cancer, owing to its superior tissue contrast. However, it also creates large volumes of data that must be assessed by trained experts, a time-consuming and laborious task. This has prompted the development of machine learning tools for the automation of Prostate cancer (PCa) risk classification based on multiple MRI modalities (T2W, ADC, and high-b-value DWI). Understanding and interpreting the predictions made by the models, however, remains a challenge. We analyze Random Forests (RF) and Support Vector Machines (SVM), for two complementary datasets, the public Prostate-X dataset, and an in-house, mostly early-stage PCa dataset to elucidate the contributions made by first-order statistical features, Haralick texture features, and local binary patterns to the classification. Using correlation analysis and Shapley impact scores, we find that many of the features typically used are strongly correlated, and that the majority of features have negligible impact on the classification. We identify a small set of features that determine the classification outcome, which may aid the development of explainable AI approaches. △ Less

Submitted 21 June, 2024; originally announced June 2024.

Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned

Authors: Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Löhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens

Abstract: This paper reports on the integration of runtime monitoring into fully-electric aircraft designed by Volocopter, a German aircraft manufacturer of electric multi-rotor helicopters. The runtime monitor recognizes hazardous situations and system faults. Since the correct operation of the monitor is critical for the safety of the aircraft, the development of the monitor must follow strict aeronautica… ▽ More This paper reports on the integration of runtime monitoring into fully-electric aircraft designed by Volocopter, a German aircraft manufacturer of electric multi-rotor helicopters. The runtime monitor recognizes hazardous situations and system faults. Since the correct operation of the monitor is critical for the safety of the aircraft, the development of the monitor must follow strict aeronautical standards. This includes the integration of the monitor into different development environments, such as log-file analysis, hardware/software-in-the-loop testing, and test flights. We have used the stream-based monitoring framework RTLola to generate monitors for a range of requirements. In this paper, we present representative monitoring specifications and our lessons learned from integrating the generated monitors. Our main finding is that the specification and the integration need to be decoupled, because the specification remains stable throughout the development process, whereas the different development stages require a separate integration of the monitor into each environment. We achieve this decoupling with a novel abstraction layer in the monitoring framework that adapts the monitor to each environment without affecting the core component generated from the specification. The decoupling of the integration has also allowed us to react quickly to the frequent changes in the hardware and software environment of the monitor due to the fast-paced development of the aircraft in a startup company. △ Less

Submitted 18 April, 2024; originally announced April 2024.

ACM Class: F.3.1; J.2

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.

Comments: Previous version was missing a paragraph (highlighted in blue)

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.

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.

Comments: 6 pages, 3 figures

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.

Comments: 11 pages, 5 figures, and 1 table

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.

Comments: 6 pages, 4 figures, 2 tables, comments welcome

Journal ref: in IEEE Control Systems Letters, vol. 7, pp. 1783-1788, 2023

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.

Comments: 12 pages, 10 figures, 1 table. in IEEE Transactions on Automatic Control. Scheduled for publication Feb 2024

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.

Comments: Accepted to IEEE CDC 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.

Comments: Accepted for IEEE CDC 2021

Monte Carlo simulations of spin transport in nanoscale In$_{0.7}$Ga$_{0.3}$As transistors: Temperature and size effects

Authors: B Thorpe, K Kalna, S Schirmer

Abstract: Spin-based metal-oxide-semiconductor field-effect transistors (MOSFET) with a high-mobility III-V channel are studied using self-consistent quantum corrected ensemble Monte Carlo device simulations of charge and spin transport. The simulations including spin-orbit coupling mechanisms (Dresselhaus and Rashba coupling) examine the electron spin transport in the 25 nm gate length In$_{0.7}$Ga… ▽ More Spin-based metal-oxide-semiconductor field-effect transistors (MOSFET) with a high-mobility III-V channel are studied using self-consistent quantum corrected ensemble Monte Carlo device simulations of charge and spin transport. The simulations including spin-orbit coupling mechanisms (Dresselhaus and Rashba coupling) examine the electron spin transport in the 25 nm gate length In$_{0.7}$Ga$_{0.3}$As MOSFET. The transistor lateral dimensions (the gate length, the source-to-gate, and the gate-to-drain spacers) are increased to investigate the spin-dependent drain current modulation induced by the gate from room temperature of 300 K down to 77 K. This modulation increases with increasing temperature due to increased Rashba coupling. Finally, an increase of up to 20 nm in the gate length, source-to-gate, or the gate-to-drain spacers increases the spin polarization and enhances the spin-dependent drain current modulation at the drain due to polarization-refocusing effects. △ Less

Submitted 13 June, 2022; v1 submitted 11 October, 2021; originally announced October 2021.

Journal ref: Semicond. Sci. Technol. 37 075009 (2022)

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.

Comments: 7 pages, 7 figures

Journal ref: IEEE Conference on Decision and Control (CDC), 2021, pp. 4133-4139

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.

Comments: 12 pages, 4 figures, 1 table, in press

Journal ref: IEEE Trans Automatic Control, 67(11):6012-6024, 2022

RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft

Authors: Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger, Christoph Torens

Abstract: The autonomous control of unmanned aircraft is a highly safety-critical domain with great economic potential in a wide range of application areas, including logistics, agriculture, civil engineering, and disaster recovery. We report on the development of a dynamic monitoring framework for the DLR ARTIS (Autonomous Rotorcraft Testbed for Intelligent Systems) family of unmanned aircraft based on the… ▽ More The autonomous control of unmanned aircraft is a highly safety-critical domain with great economic potential in a wide range of application areas, including logistics, agriculture, civil engineering, and disaster recovery. We report on the development of a dynamic monitoring framework for the DLR ARTIS (Autonomous Rotorcraft Testbed for Intelligent Systems) family of unmanned aircraft based on the formal specification language RTLola. RTLola is a stream-based specification language for real-time properties. An RTLola specification of hazardous situations and system failures is statically analyzed in terms of consistency and resource usage and then automatically translated into an FPGA-based monitor. Our approach leads to highly efficient, parallelized monitors with formal guarantees on the noninterference of the monitor with the normal operation of the autonomous system. △ Less

Submitted 29 July, 2020; v1 submitted 27 March, 2020; originally announced April 2020.

MSC Class: 68V06 ACM Class: B.7.1; F.4.3

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.

Comments: 6 pages, 6 figures

Journal ref: Proc. IEEE 57th Annual Conference on Decision and Control (CDC), 2018

Stream Runtime Monitoring on UAS

Authors: Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Christoph Torens

Abstract: Unmanned Aircraft Systems (UAS) with autonomous decision-making capabilities are of increasing interest for a wide area of applications such as logistics and disaster recovery. In order to ensure the correct behavior of the system and to recognize hazardous situations or system faults, we applied stream runtime monitoring techniques within the DLR ARTIS (Autonomous Research Testbed for Intelligent… ▽ More Unmanned Aircraft Systems (UAS) with autonomous decision-making capabilities are of increasing interest for a wide area of applications such as logistics and disaster recovery. In order to ensure the correct behavior of the system and to recognize hazardous situations or system faults, we applied stream runtime monitoring techniques within the DLR ARTIS (Autonomous Research Testbed for Intelligent System) family of unmanned aircraft. We present our experience from specification elicitation, instrumentation, offline log-file analysis, and online monitoring on the flight computer on a test rig. The debugging and health management support through stream runtime monitoring techniques have proven highly beneficial for system design and development. At the same time, the project has identified usability improvements to the specification language, and has influenced the design of the language. △ Less

Submitted 29 March, 2018; originally announced April 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.

Comments: 6 pages, 8 figures, 4 tables, accepted for 56th IEEE Conference on Decision and Control (CDC) 2017

Journal ref: Proc IEEE 56th Annual Conference on Decision and Control (CDC), 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.

Comments: 7 pages, 6 figures

Journal ref: IEEE Trans Automatic Control, 62(12):6568-6574, 2017

Comparison of CPMG and Uhrig Dynamic Decoupling (UDD) for tissue refocusing in MRI

Authors: Sophie Schirmer, Jonathan Phillips

Abstract: Two different dynamic decoupling strategies, the classic CPMG and the more recently proposed UDD protocol are compared in the context of magnetic resonance imaging (MRI). Both sequences were implemented on a 3T human MRI system and relaxometry was performed for a variety of tissue-mimicking agar and agarose gels. We find that CPMG provides moderately better decoupling than \UDD. The results are co… ▽ More Two different dynamic decoupling strategies, the classic CPMG and the more recently proposed UDD protocol are compared in the context of magnetic resonance imaging (MRI). Both sequences were implemented on a 3T human MRI system and relaxometry was performed for a variety of tissue-mimicking agar and agarose gels. We find that CPMG provides moderately better decoupling than \UDD. The results are consistent with experimental noise spectra obtained from \textit{in vivo} spectroscopy results, which suggest that the type of noise spectra obtained would favor \CPMG. Theoretical coherence pathway analysis further suggests that \UDD\ is more susceptible to systematic errors due to static magnetic and radio-frequency field inhomogeneity or imperfect excitation and refocusing pulse profiles. △ Less

Submitted 9 May, 2017; originally announced May 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.

Comments: 29 pages, 11 figures; accepted for Int J Robust and Nonlinear Control

Journal ref: Int J Robust and Nonlinear Control, 28(6):2383-2403, 2018

Monte Carlo Simulations of Spin Transport in a Strained Nanoscale InGaAs Field Effect Transistor

Authors: B. Thorpe, K. Kalna, F. C. Langbein, S Schirmer

Abstract: Spin-based logic devices could operate at very high speed with very low energy consumption and hold significant promise for quantum information processing and metrology. Here, an in-house developed, experimentally verified, ensemble self-consistent Monte Carlo device simulator with a Bloch equation model using a spin-orbit interaction Hamiltonian accounting for Dresselhaus and Rashba couplings is… ▽ More Spin-based logic devices could operate at very high speed with very low energy consumption and hold significant promise for quantum information processing and metrology. Here, an in-house developed, experimentally verified, ensemble self-consistent Monte Carlo device simulator with a Bloch equation model using a spin-orbit interaction Hamiltonian accounting for Dresselhaus and Rashba couplings is developed and applied to a spin field effect transistor (spinFET) operating under externally applied voltages on a gate and a drain. In particular, we simulate electron spin transport in a \SI{25}{nm} gate length \chem{In_{0.7}Ga_{0.3}As} metal-oxide-semiconductor field-effect transistor (MOSFET) with a CMOS compatible architecture. We observe non-uniform decay of the net magnetization between the source and gate and a magnetization recovery effect due to spin refocusing induced by a high electric field between the gate and drain. We demonstrate coherent control of the polarization vector of the drain current via the source-drain and gate voltages, and show that the magnetization of the drain current is strain-sensitive and can be increased twofold by strain induced into the channel. △ Less

Submitted 1 January, 2018; v1 submitted 13 October, 2016; originally announced October 2016.

Comments: 16 pages, 18 figures

Journal ref: J Applied Physics, 122, 223903, 2017

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.

Journal ref: Chaos, Solitons and Fractals, 103, 622-31 (2017)

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.

Comments: 13 pages, 14 figures, accepted for IEEE TAC

Journal ref: IEEE Trans Automatic Control, 63(8):2523-2536, 2018

A High-Level LTL Synthesis Format: TLSF v1.1

Authors: Swen Jacobs, Felix Klein, Sebastian Schirmer

Abstract: We present the Temporal Logic Synthesis Format (TLSF), a high-level format to describe synthesis problems via Linear Temporal Logic (LTL). The format builds upon standard LTL, but additionally allows to use high-level constructs, such as sets and functions, to provide a compact and human-readable representation. Furthermore, the format allows to identify parameters of a specification such that a s… ▽ More We present the Temporal Logic Synthesis Format (TLSF), a high-level format to describe synthesis problems via Linear Temporal Logic (LTL). The format builds upon standard LTL, but additionally allows to use high-level constructs, such as sets and functions, to provide a compact and human-readable representation. Furthermore, the format allows to identify parameters of a specification such that a single description can be used to define a family of problems. Additionally, we present a tool to automatically translate the format into plain LTL, which then can be used for synthesis by a solver. The tool also allows to adjust parameters of the specification and to apply standard transformations on the resulting formula. △ Less

Submitted 22 November, 2016; v1 submitted 8 April, 2016; originally announced April 2016.

Comments: In Proceedings SYNT 2016, arXiv:1611.07178. arXiv admin note: substantial text overlap with arXiv:1601.05228

Journal ref: EPTCS 229, 2016, pp. 112-132

Backaction driven, robust, steady-state long-distance qubit entanglement over lossy channels

Authors: Felix Motzoi, Eli Halperin, Xiaoting Wang, K. Birgitta Whaley, Sophie Schirmer

Abstract: We present a scheme for generating robust and persistent entanglement between qubits that do not interact and that are separated by a long and lossy transmission channel, using Markovian reservoir engineering. The proposal uses only the correlated decay into the common channel of remotely separated, driven single-photon qubit transitions. This simple scheme is generic and applicable to various exp… ▽ More We present a scheme for generating robust and persistent entanglement between qubits that do not interact and that are separated by a long and lossy transmission channel, using Markovian reservoir engineering. The proposal uses only the correlated decay into the common channel of remotely separated, driven single-photon qubit transitions. This simple scheme is generic and applicable to various experimental implementations, including circuit and cavity QED, with little experimental overhead compared with methods requiring dynamic control, initialization, measurement, or feedback. In addition to avoiding these inefficiencies, the simple protocol is highly robust against noise, miscalibration, and loss in the channel. We find high quality solutions over a wide range of parameters and show that the optimal strategy reflects a transition from ballistic to diffusive photon transmission, going from symmetrically and coherently driving a common steady state to asymmetrically absorbing photons that are emitted from one qubit by the second. Detailed analysis of the role of the transmission channel shows that allowing bi-directional decay drastically increases indistinguishability and thereby quadratically suppresses infidelity. △ Less

Submitted 18 August, 2016; v1 submitted 10 December, 2015; originally announced December 2015.

Comments: 11 pages, 6 figures

Journal ref: Phys. Rev. A 94, 032313 (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.

Comments: accepted for CDC 2015

Journal ref: Proc. IEEE 54th Annual Conference on Decision and Control (CDC), pp. 6454-6459, 2015

Training Schrödinger's cat: quantum optimal control

Authors: Stefffen J. Glaser, Ugo Boscain, Tommaso Calarco, Christiane P. Koch, Walter Köckenberger, Ronnie Kosloff, Ilya Kuprov, Burkard Luy, Sophie Schirmer, Thomas Schulte-Herbrüggen, D. Sugny, Frank K. Wilhelm

Abstract: It is control that turns scientific knowledge into useful technology: in physics and engineering it provides a systematic way for driving a system from a given initial state into a desired target state with minimized expenditure of energy and resources -- as famously applied in the Apollo programme. As one of the cornerstones for enabling quantum technologies, optimal quantum control keeps evolvin… ▽ More It is control that turns scientific knowledge into useful technology: in physics and engineering it provides a systematic way for driving a system from a given initial state into a desired target state with minimized expenditure of energy and resources -- as famously applied in the Apollo programme. As one of the cornerstones for enabling quantum technologies, optimal quantum control keeps evolving and expanding into areas as diverse as quantum-enhanced sensing, manipulation of single spins, photons, or atoms, optical spectroscopy, photochemistry, magnetic resonance (spectroscopy as well as medical imaging), quantum information processing and quantum simulation. --- Here state-of-the-art quantum control techniques are reviewed and put into perspective by a consortium uniting expertise in optimal control theory and applications to spectroscopy, imaging, quantum dynamics of closed and open systems. We address key challenges and sketch a roadmap to future developments. △ Less

Submitted 3 August, 2015; originally announced August 2015.

Comments: 31 pages; this is the starting point for a living document - we welcome feedback and discussion

Journal ref: Eur. Phys. J. D 69, 279 (2015)

Model discrimination for dephasing two-level systems

Authors: Erling Gong, Weiwei Zhou, Sophie Schirmer

Abstract: The problem of model discriminability and parameter identifiability for dephasing two-level systems subject to Hamiltonian control is studied. Analytic solutions of the Bloch equations are used to derive explicit expressions for observables as functions of time for different models. This information is used to give criteria for model discrimination and parameter estimation based on simple experime… ▽ More The problem of model discriminability and parameter identifiability for dephasing two-level systems subject to Hamiltonian control is studied. Analytic solutions of the Bloch equations are used to derive explicit expressions for observables as functions of time for different models. This information is used to give criteria for model discrimination and parameter estimation based on simple experimental paradigms. △ Less

Submitted 13 December, 2014; originally announced December 2014.

Comments: Phys. Lett. A, 2014. arXiv admin note: text overlap with arXiv:1012.4593

The ubiquitous problem of learning system parameters for dissipative two-level quantum systems: Fourier analysis versus Bayesian estimation

Authors: Sophie Schirmer, Frank Langbein

Abstract: We compare the accuracy, precision and reliability of different methods for estimating key system parameters for two-level systems subject to Hamiltonian evolution and decoherence. It is demonstrated that the use of Bayesian modelling and maximum likelihood estimation is superior to common techniques based on Fourier analysis. Even for simple two-parameter estimation problems, the Bayesian approac… ▽ More We compare the accuracy, precision and reliability of different methods for estimating key system parameters for two-level systems subject to Hamiltonian evolution and decoherence. It is demonstrated that the use of Bayesian modelling and maximum likelihood estimation is superior to common techniques based on Fourier analysis. Even for simple two-parameter estimation problems, the Bayesian approach yields higher accuracy and precision for the parameter estimates obtained. It requires less data, is more flexible in dealing with different model systems, can deal better with uncertainty in initial conditions and measurements, and enables adaptive refinement of the estimates. The comparison results shows that this holds for measurements of large ensembles of spins and atoms limited by Gaussian noise as well as projection noise limited data from repeated single-shot measurements of a single quantum device. △ Less

Submitted 13 December, 2014; originally announced December 2014.

Journal ref: Phys Rev A, 91:022125, 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.

Comments: Completely revised and significantly expanded version, accepted for QINP

Evolutionary Algorithms for Hard Quantum Control

Authors: Ehsan Zahedinejad, Sophie Schirmer, Barry C. Sanders

Abstract: Although quantum control typically relies on greedy (local) optimization, traps (irregular critical points) in the control landscape can make optimization hard by foiling local search strategies. We demonstrate the failure of greedy algorithms to realize two fast quantum computing gates: a qutrit phase gate and a controlled-not gate. Then we show that our evolutionary algorithm circumvents the tra… ▽ More Although quantum control typically relies on greedy (local) optimization, traps (irregular critical points) in the control landscape can make optimization hard by foiling local search strategies. We demonstrate the failure of greedy algorithms to realize two fast quantum computing gates: a qutrit phase gate and a controlled-not gate. Then we show that our evolutionary algorithm circumvents the trap to deliver effective quantum control in both instances. Even when greedy algorithms succeed, our evolutionary algorithm delivers a superior control procedure because less time resolution is required for the control sequence. △ Less

Submitted 15 September, 2014; v1 submitted 4 March, 2014; originally announced March 2014.

Journal ref: Phys. Rev. A 90, 032310 (2014)

Characterization and Control of Quantum Spin Chains and Rings

Authors: Sophie Schirmer, Frank Langbein

Abstract: Information flow in quantum spin networks is considered. Two types of control -- temporal bang-bang switching control and control by varying spatial degrees of freedom -- are explored and shown to be effective in speeding up information transfer and increasing transfer fidelities. The control is model-based and therefore relies on accurate knowledge of the system parameters. An efficient protocol… ▽ More Information flow in quantum spin networks is considered. Two types of control -- temporal bang-bang switching control and control by varying spatial degrees of freedom -- are explored and shown to be effective in speeding up information transfer and increasing transfer fidelities. The control is model-based and therefore relies on accurate knowledge of the system parameters. An efficient protocol for simultaneous identification of the coupling strength and the exact number of spins in a chain is presented. △ Less

Submitted 2 March, 2014; originally announced March 2014.

Comments: to appear in ISCCSP 2014

Journal ref: Proc. 6th Int Symp Communications, Control and Signal Processing (ISCCSP), pp. 615 - 619, May 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.

Comments: to appear in QIP

Journal ref: Quantum Information Processing. 13(7):1607-1637, 2014

Open quantum system identification

Authors: Sophie G. Schirmer, Daniel K. L. Oi, Weiwei Zhou, Erling Gong, Ming Zhang

Abstract: Engineering quantum systems offers great opportunities both technologically and scientifically for communication, computation, and simulation. The construction and operation of large scale quantum information devices presents a grand challenge and a major issue is the effective control of coherent dynamics. This is often in the presence of decoherence which further complicates the task of determin… ▽ More Engineering quantum systems offers great opportunities both technologically and scientifically for communication, computation, and simulation. The construction and operation of large scale quantum information devices presents a grand challenge and a major issue is the effective control of coherent dynamics. This is often in the presence of decoherence which further complicates the task of determining the behaviour of the system. Here, we show how to determine open system Markovian dynamics of a quantum system with restricted initialisation and partial output state information. △ Less

Submitted 28 May, 2012; originally announced May 2012.

Comments: 19 pages, 5 figures, IoP LaTeX

Quantum system characterization with limited resources

Authors: Daniel Oi, Sophie Schirmer

Abstract: The construction and operation of large scale quantum information devices presents a grand challenge. A major issue is the effective control of coherent evolution, which requires accurate knowledge of the system dynamics that may vary from device to device. We review strategies for obtaining such knowledge from minimal initial resources and in an efficient manner, and apply these to the problem of… ▽ More The construction and operation of large scale quantum information devices presents a grand challenge. A major issue is the effective control of coherent evolution, which requires accurate knowledge of the system dynamics that may vary from device to device. We review strategies for obtaining such knowledge from minimal initial resources and in an efficient manner, and apply these to the problem of characterization of a qubit embedded into a larger state manifold, made tractable by exploiting prior structural knowledge. We also investigate adaptive sampling for estimation of multiple parameters. △ Less

Submitted 26 February, 2012; originally announced February 2012.

Journal ref: Phil. Trans. R. Soc. A 370, 5386-5395 (2012)

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.

Comments: Communications, Control and Signal Processing (ISCCSP), 2012, 5th International Conference of (Rome, 2012)

Journal ref: Proc. 5th Int Symp Communications Control and Signal Processing (ISCCSP), pp. 1-6, 2012

Symmetries on Spin Chains: Limited Controllability and Minimal Controls for Full Controllability

Authors: Xiaoting Wang, Daniel Burgarth, Sophie Schirmer

Abstract: Symmetry is a fundamentally important concept in many branches of physics. In this work, we discuss two types of symmetries, external symmetry and internal symmetry, which appear frequently in controlled quantum spin chains and apply them to study various controllability problems. For spin chains under single local end control when external symmetries exists, we can rigorously prove that the syste… ▽ More Symmetry is a fundamentally important concept in many branches of physics. In this work, we discuss two types of symmetries, external symmetry and internal symmetry, which appear frequently in controlled quantum spin chains and apply them to study various controllability problems. For spin chains under single local end control when external symmetries exists, we can rigorously prove that the system is controllable in each of the invariant subspaces for both XXZ and XYZ chains, but not for XX or Ising chains. Such results have direct applications in controlling antiferromagnetic Heisenberg chains when the dynamics is naturally confined in the largest excitation subspace. We also address the theoretically important question of minimal control resources to achieve full controllability over the entire spin chain space. In the process we establish a systematic way of evaluating the dynamical Lie algebras and using known symmetries to help identify the dynamical Lie algebra. △ Less

Submitted 5 February, 2012; originally announced February 2012.

Comments: 13 pages, 2 figures

Journal ref: Phys. Rev. A 94, 052319(2016)

Quantum Control of Two-Qubit Entanglement Dissipation

Authors: Sophie G. Schirmer, Allan I. Solomon

Abstract: We investigate quantum control of the dissipation of entanglement under environmental decoherence. We show by means of a simple two-qubit model that standard control methods - coherent or open-loop control - will not in general prevent entanglement loss. However, we propose a control method utilising a Wiseman-Milburn feedback/measurement control scheme which will effectively negate environmental… ▽ More We investigate quantum control of the dissipation of entanglement under environmental decoherence. We show by means of a simple two-qubit model that standard control methods - coherent or open-loop control - will not in general prevent entanglement loss. However, we propose a control method utilising a Wiseman-Milburn feedback/measurement control scheme which will effectively negate environmental entanglement dissipation. △ Less

Submitted 1 March, 2014; v1 submitted 6 September, 2011; originally announced September 2011.

Comments: 11 pages,4 figures, minor correction

Journal ref: Journal of Russian Laser Research 32(5), 502-510 (2011)

Fundamental Speed Limits on Quantum Coherence and Correlation Decay

Authors: Daniel Oi, Sophie Schirmer

Abstract: The study and control of coherence in quantum systems is one of the most exciting recent developments in physics. Quantum coherence plays a crucial role in emerging quantum technologies as well as fundamental experiments. A major obstacle to the utilization of quantum effects is decoherence, primarily in the form of dephasing that destroys quantum coherence, and leads to effective classical behavi… ▽ More The study and control of coherence in quantum systems is one of the most exciting recent developments in physics. Quantum coherence plays a crucial role in emerging quantum technologies as well as fundamental experiments. A major obstacle to the utilization of quantum effects is decoherence, primarily in the form of dephasing that destroys quantum coherence, and leads to effective classical behaviour. We show that there are universal relationships governing dephasing, which constrain the relative rates at which quantum correlations can disappear. These effectively lead to speed limits which become especially important in multi-partite systems. △ Less

Submitted 5 September, 2011; originally announced September 2011.

Journal ref: Phys. Rev. A 86(1), 012121 (2012)

Robust quantum gates for systems subject to decoherence via optimal control: Markovian vs non-Markovian dynamics

Authors: Frederik Floether, Pierre de Fouquieres, Sophie Schirmer

Abstract: We study the implementation of one-, two-, and three-qubit quantum gates for interacting qubits using optimal control. Different Markovian and non-Markovian environments are compared and efficient optimisation algorithms utilising analytic gradient expressions and quasi-Newton updates are given for both cases. The performance of the algorithms is analysed for a large set of problems in terms of th… ▽ More We study the implementation of one-, two-, and three-qubit quantum gates for interacting qubits using optimal control. Different Markovian and non-Markovian environments are compared and efficient optimisation algorithms utilising analytic gradient expressions and quasi-Newton updates are given for both cases. The performance of the algorithms is analysed for a large set of problems in terms of the fidelities attained and the observed convergence behaviour. New notions of success rate and success speed are introduced and density plots are utilised to study the effect of key parameters, such as gate operation times, and random variables, such as the initial fields required to start the iterative algorithm. Core characteristics of the optimal fields are statistically analysed. Substantial differences between Markovian and non-Markovian environments in terms of the possibilities for control and the control mechanisms are uncovered. In particular, in the Markovian case it is found that the optimal fields obtained without considering the environment cannot be improved substantially by taking the environment into account and the fidelities attained are determined mostly by the gate operation time as well as the overall strength of the environmental effects. Computation time is saved if the fields are pre-optimised neglecting decoherence. In the non-Markovian case, on the other hand, substantial improvements in the fidelities are observed when the details of the system-bath coupling are taken into account. In that case, field leakage is shown to be a significant issue which can make high gate fidelities impossible to obtain unless both the system and noise qubits are fully controlled. △ Less

Submitted 28 May, 2012; v1 submitted 21 July, 2011; originally announced July 2011.

Comments: Complete revised, more concise version with new material added, to appear in NJP

Journal ref: New Journal of Physics 14, 073023 (2012)

On the role of a priori knowledge in the optimization of quantum information processing

Authors: Ming Zhang, Min Lin, S. G. Schirmer, Hong-Yi Dai, Zongtan Zhou, Dewen Hu

Abstract: This paper explores the role of a priori knowledge in the optimization of quantum information processing by investigating optimum unambiguous discrimination problems for both the qubit and qutrit states. In general, a priori knowledge in optimum unambiguous discrimination problems can be classed into two types: a priori knowledge of discriminated states themselves and a priori probabilities of pre… ▽ More This paper explores the role of a priori knowledge in the optimization of quantum information processing by investigating optimum unambiguous discrimination problems for both the qubit and qutrit states. In general, a priori knowledge in optimum unambiguous discrimination problems can be classed into two types: a priori knowledge of discriminated states themselves and a priori probabilities of preparing the states. It is clarified that whether a priori probabilities of preparing discriminated states are available or not, what type of discriminators one should design just depends on what kind of the classical knowledge of discriminated states. This is in contrast to the observation that choosing the parameters of discriminators not only relies on the a priori knowledge of discriminated states, but also depends on a priori probabilities of preparing the states. Two types of a priori knowledge can be utilized to improve optimum performance but play the different roles in the optimization from the view point of decision theory. △ Less

Submitted 25 June, 2011; originally announced June 2011.

Efficient Algorithms for Optimal Control of Quantum Dynamics: The "Krotov'' Method unencumbered

Authors: Sophie G Schirmer, Pierre de Fouquieres

Abstract: Efficient algorithms for the discovery of optimal control designs for coherent control of quantum processes are of fundamental importance. One important class of algorithms are sequential update algorithms generally attributed to Krotov. Although widely and often successfully used, the associated theory is often involved and leaves many crucial questions unanswered, from the monotonicity and conve… ▽ More Efficient algorithms for the discovery of optimal control designs for coherent control of quantum processes are of fundamental importance. One important class of algorithms are sequential update algorithms generally attributed to Krotov. Although widely and often successfully used, the associated theory is often involved and leaves many crucial questions unanswered, from the monotonicity and convergence of the algorithm to discretization effects, leading to the introduction of ad-hoc penalty terms and suboptimal update schemes detrimental to the performance of the algorithm. We present a general framework for sequential update algorithms including specific prescriptions for efficient update rules with inexpensive dynamic search length control, taking into account discretization effects and eliminating the need for ad-hoc penalty terms. The latter, while necessary to regularize the problem in the limit of infinite time resolution, i.e., the continuum limit, are shown to be undesirable and unnecessary in the practically relevant case of finite time resolution. Numerical examples show that the ideas underlying many of these results extend even beyond what can be rigorously proved. △ Less

Submitted 28 March, 2011; originally announced March 2011.

Comments: 19 pages, many figures

Journal ref: New Journal of Physics 13 (7), 073029 (2011)

Second order gradient ascent pulse engineering

Authors: P. de Fouquieres, S. G. Schirmer, S. J. Glaser, Ilya Kuprov

Abstract: We report some improvements to the gradient ascent pulse engineering (GRAPE) algorithm for optimal control of quantum systems. These include more accurate gradients, convergence acceleration using the BFGS quasi-Newton algorithm as well as faster control derivative calculation algorithms. In all test systems, the wall clock time and the convergence rates show a considerable improvement over the ap… ▽ More We report some improvements to the gradient ascent pulse engineering (GRAPE) algorithm for optimal control of quantum systems. These include more accurate gradients, convergence acceleration using the BFGS quasi-Newton algorithm as well as faster control derivative calculation algorithms. In all test systems, the wall clock time and the convergence rates show a considerable improvement over the approximate gradient ascent. △ Less

Submitted 23 June, 2011; v1 submitted 20 February, 2011; originally announced February 2011.

Comments: Submitted for publication

Journal ref: Journal of Magnetic Resonance, 212 (2011) 412-417

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.

Comments: 6 pages, several figures and tables, IEEE tex

Journal ref: Control Applications (CCA), 2011 IEEE International Conference on, 786-791

Effective Strategies for Identifying Model Parameters for Open Quantum Systems

Authors: Er-ling Gong, Weiwei Zhou, S. G. Schirmer, Zhi-Qiang Sun, Ming Zhang

Abstract: The problem of identifiability of model parameters for open quantum systems is considered by investigating two-level dephasing systems. We discuss under which conditions full information about the Hamiltonian and dephasing parameters can be obtained. Using simulated experiments several different strategies for extracting model parameters from limited and noisy data are compared. The problem of identifiability of model parameters for open quantum systems is considered by investigating two-level dephasing systems. We discuss under which conditions full information about the Hamiltonian and dephasing parameters can be obtained. Using simulated experiments several different strategies for extracting model parameters from limited and noisy data are compared. △ Less

Submitted 21 December, 2010; originally announced December 2010.

Symmetry & Controllability for Spin Networks with a Single-Node Control

Authors: Xiaoting Wang, Peter Pemberton-Ross, Sophie G Schirmer

Abstract: We consider the relation of symmetries and subspace controllability for spin networks with XXZ coupling subject to control of a single node by a local potential (Z-control). Such networks decompose into excitation subspaces. Focusing on the single excitation subspace it is shown that for single-node Z-controls external symmetries are characterized by eigenstates of the system Hamiltonian that have… ▽ More We consider the relation of symmetries and subspace controllability for spin networks with XXZ coupling subject to control of a single node by a local potential (Z-control). Such networks decompose into excitation subspaces. Focusing on the single excitation subspace it is shown that for single-node Z-controls external symmetries are characterized by eigenstates of the system Hamiltonian that have zero overlap with the control node, and there are no internal symmetries. It is further shown that there are symmetries that persist even in the presence of random perturbations. For uniformly coupled XXZ chains a characterization of all possible symmetries is given, which shows a strong dependence on the position of the node we control. Finally, it is shown rigorously for uniform Heisenberg and XX chains subject to single-node Z-control that the lack of symmetry is not only necessary but sufficient for subspace controllability. The latter approach is then generalized to establish controllability results for simple branched networks. △ Less

Submitted 17 February, 2011; v1 submitted 16 December, 2010; originally announced December 2010.

Comments: 11 pages, some figures. 3 tables, minor revision

Journal ref: Regular paper, IEEE Transactions on Automatic Control, 57(8), 1945-1956 (2012)

Comparing, Optimising and Benchmarking Quantum Control Algorithms in a Unifying Programming Framework

Authors: S. Machnes, U. Sander, S. J. Glaser, P. de Fouquieres, A. Gruslys, S. Schirmer, T. Schulte-Herbrueggen

Abstract: For paving the way to novel applications in quantum simulation, computation, and technology, increasingly large quantum systems have to be steered with high precision. It is a typical task amenable to numerical optimal control to turn the time course of pulses, i.e. piecewise constant control amplitudes, iteratively into an optimised shape. Here, we present the first comparative study of optimal c… ▽ More For paving the way to novel applications in quantum simulation, computation, and technology, increasingly large quantum systems have to be steered with high precision. It is a typical task amenable to numerical optimal control to turn the time course of pulses, i.e. piecewise constant control amplitudes, iteratively into an optimised shape. Here, we present the first comparative study of optimal control algorithms for a wide range of finite-dimensional applications. We focus on the most commonly used algorithms: GRAPE methods which update all controls concurrently, and KROTOV-type methods which do so sequentially. Guidelines for their use are given and open research questions are pointed out. --- Moreover we introduce a novel unifying algorithmic framework, DYNAMO (dynamic optimisation platform) designed to provide the quantum-technology community with a convenient MATLAB-based toolset for optimal control. In addition, it gives researchers in optimal-control techniques a framework for benchmarking and comparing new proposed algorithms to the state-of-the-art. It allows for a mix-and-match approach with various types of gradients, update and step-size methods as well as subspace choices. Open-source code including examples is made available at http://qlib.info. △ Less

Submitted 13 May, 2011; v1 submitted 22 November, 2010; originally announced November 2010.

Comments: update incl. 3 new figures, comments welcome

Journal ref: Phys. Rev. A 84 (2011) 022305

Trajectory-constrained optimal local time-continuous waveform controls for state transitions in $N$-level quantum systems

Authors: Ming Zhang, Jia-Hua Wei, Weiwei Zhou, Hong-Yi Dai, Zairong Xi, S. G. Schirmer

Abstract: Based on a parametrization of pure quantum states we explicitly construct a sequence of (at most) $4N-5$ local time-continuous waveform controls to achieve a specified state transition for $N$-level quantum systems when sufficient controls of the Hamiltonian are available. The control magnitudes are further optimized in terms of a time-energy performance, which is a generalization of the time perf… ▽ More Based on a parametrization of pure quantum states we explicitly construct a sequence of (at most) $4N-5$ local time-continuous waveform controls to achieve a specified state transition for $N$-level quantum systems when sufficient controls of the Hamiltonian are available. The control magnitudes are further optimized in terms of a time-energy performance, which is a generalization of the time performance index. Trajectory-constrained optimal local time-continuous waveform controls, including both local sine-waveforms and $n^{\rm th}$-order-polynomial waveform controls are obtained in terms of time-energy performance. It is demonstrated that constrained optimal local $n^{\rm th}$-order-polynomial waveform controls approach constrained optimal bang-bang controls when $n\rightarrow\infty$. △ Less

Submitted 16 February, 2012; v1 submitted 13 October, 2010; originally announced October 2010.

Comments: 4 pages, 1 figures

Bang-Bang Control Design for Quantum State Transfer based on Hyperspherical Coordinates and Optimal Time-energy Control

Authors: Weiwei Zhou, Sophie Schirmer, Ming Zhang, Hong-Yi Dai

Abstract: We present a constructive control scheme for solving quantum state engineering problems based on a parametrization of the state vector in terms of complex hyperspherical coordinates. Unlike many control schemes based on factorization of unitary operators the scheme gives explicit expressions for all the Euler angles in terms of the hyperspherical coordinates of the initial and final state. The fac… ▽ More We present a constructive control scheme for solving quantum state engineering problems based on a parametrization of the state vector in terms of complex hyperspherical coordinates. Unlike many control schemes based on factorization of unitary operators the scheme gives explicit expressions for all the Euler angles in terms of the hyperspherical coordinates of the initial and final state. The factorization, when applicable, has added benefits that phase rotations can be combined and performed concurrently. The control procedure can be realized using a simple bang-bang or square-wave-function controls. Optimal time-energy control is considered to find the optimal control amplitudes. The extension of the scheme to implement unitary operators is also discussed. △ Less

Submitted 15 February, 2011; v1 submitted 24 September, 2010; originally announced September 2010.

Comments: 17 pages, 1 figure, expanded version -- expanded introduction and references, added generalization of the scheme to implement unitary operators and examples, to appear in J Phys A

Journal ref: J. Phys. A: Math. Theor. 44 105303 (2011)

Generating maximal entanglement between non-interacting atoms by collective decay and symmetry breaking

Authors: Xiaoting Wang, Sophie G. Schirmer

Abstract: A simple scheme is presented for achieving effectively maximal pure-state entanglement between non-interacting atoms through purely collective decay and controlled symmetry breaking. The scheme requires no measurements or feedback or even knowledge of the initial states of the atoms. It relies on breaking the symmetry of the system Hamiltonian to ensure the existence of a unique attractive steady… ▽ More A simple scheme is presented for achieving effectively maximal pure-state entanglement between non-interacting atoms through purely collective decay and controlled symmetry breaking. The scheme requires no measurements or feedback or even knowledge of the initial states of the atoms. It relies on breaking the symmetry of the system Hamiltonian to ensure the existence of a unique attractive steady state and minimal control to achieve almost perfect overlap of this steady state with the maximally entangled singlet state. We demonstrate how our scheme can be implemented for two qubits encoded in hyperfine levels of atoms such as Rubidium in a lossy microwave cavity using only small magnetic field gradient. Error analysis suggests considerable robustness with regard to many imperfections including atomic decay, asymmetric atom-cavity coupling and frequency offsets. △ Less

Submitted 24 September, 2010; v1 submitted 12 May, 2010; originally announced May 2010.

Comments: just over 4 pages, 6 figures, revtex4