Related papers: Reachable sets for two-level open quantum systems …
The article considers a two-level open quantum system, whose evolution is governed by the Gorini--Kossakowski--Lindblad--Sudarshan master equation with Hamiltonian and dissipation superoperator depending, correspondingly, on piecewise…
The article considers a two-level open quantum system whose dynamics is driven by a combination of coherent and incoherent controls. Coherent control enters into the Hamiltonian part of the dynamics whereas incoherent control enters into…
Precisely characterizing and controlling realistic open quantum systems is one of the most challenging and exciting frontiers in quantum sciences and technologies. In this Letter, we present methods of approximately computing reachable sets…
We consider the decidability of state-to-state reachability in linear time-invariant control systems over discrete time. We analyse this problem with respect to the allowable control sets, which in general are assumed to be defined by…
We consider the decidability of state-to-state reachability in linear time-invariant control systems over continuous time. We analyse this problem with respect to the allowable control sets, which are assumed to be the image under a linear…
This article considers some control problems for closed and open two-level quantum systems. The closed system's dynamics is governed by the Schr\"odinger equation with coherent control. The open system's dynamics is governed by the…
In the framework of bilinear control of the Schr\"odinger equation with bounded control operators, it has been proved that the reachable set has a dense complemement in ${\cal S}\cap {\cal H}^{2}$. Hence, in this setting, exact quantum…
This work addresses a fundamental problem of controllability of open quantum systems, meaning the ability to steer arbitrary initial system density matrix into any final density matrix. We show that under certain general conditions open…
We study the controllability of the Bloch equation, for an ensemble of non interacting half-spins, in a static magnetic field, with dispersion in the Larmor frequency. This system may be seen as a prototype for infinite dimensional bilinear…
In the framework of bilinear control systems, we present reachable sets of coherently controllable open quantum systems with switchable coupling to a thermal bath of arbitrary temperature $T geq 0$. The core problem boils down to studying…
In quantum systems theory one of the fundamental problems boils down to: Given an initial state, which final states can be reached by the dynamic system in question? Formulated in the framework of bilinear control systems, the evolution…
Methods of optimal control are applied to a model system of interacting two-level particles (e.g., spin-half atomic nuclei or electrons or two-level atoms) to produce high-fidelity quantum gates while simultaneously negating the detrimental…
Conventional approaches for controlling open quantum systems use coherent control which affects the system's evolution through the Hamiltonian part of the dynamics. Such control, although being extremely efficient for a large variety of…
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…
Quantum information technologies require careful control for generating and preserving a desired target quantum state. The biggest practical obstacle is, of course, decoherence. Therefore, the reachability analysis, which in our scenario…
Sufficient conditions for complete controllability of $N$-level quantum systems subject to a single control pulse that addresses multiple allowed transitions concurrently are established. The results are applied in particular to Morse and…
We study the reachability problem of a quantum system modelled by a quantum automaton. The reachable sets are chosen to be boolean combinations of (closed) subspaces of the state space of the quantum system. Four different reachability…
Neural Networks (NNs) can provide major empirical performance improvements for robotic systems, but they also introduce challenges in formally analyzing those systems' safety properties. In particular, this work focuses on estimating the…
This work studies the feasibility of optimal control of high-fidelity quantum gates in a model of interacting two-level particles. One particle (the qubit) serves as the quantum information processor, whose evolution is controlled by a…
This paper deals with some reachability issues for piecewise linear switched systems with time-dependent coefficients and multiplicative noise. Namely, it aims at characterizing data that are almost reachable at some fixed time T > 0…