Related papers: Quantum Control and General Recursion beyond the U…
The control of individual quantum systems is now a reality in a variety of physical settings. Feedback control is an important class of control methods because of its ability to reduce the effects of noise. In this review we give an…
We develop and analyze a new method for manipulation of energy in a quantum harmonic oscillator using coherent, e.g., electromagnetic, field and incoherent control. Coherent control is typically implemented by shaped laser pulse or tailored…
Precise rules are developed in order to formalize the reasoning processes involved in standard non-relativistic quantum mechanics, with the help of analogies from classical physics. A classical or quantum description of a mechanical system…
Quantum feedback is assuming increasingly important role in quantum control and quantum information processing. In this work we analyze the application of such feedback techniques in eliminating decoherence in open quantum systems. In order…
Quantum programs today are written at a low level of abstraction - quantum circuits akin to assembly languages - and the unitary parts of even advanced quantum programming languages essentially function as circuit description languages.…
The true dynamical randomness is obtained as a natural fundamental property of deterministic quantum systems. It provides quantum chaos passing to the classical dynamical chaos under the ordinary semiclassical transition, which extends the…
A pivotal task in quantum metrology, and quantum parameter estimation in general, is to de- sign schemes that achieve the highest precision with given resources. Standard models of quantum metrology usually assume the dynamics is fixed, the…
Most modern (classical) programming languages support recursion. Recursion has also been successfully applied to the design of several quantum algorithms and introduced in a couple of quantum programming languages. So, it can be expected…
We discuss control of the quantum-transport properties of a mesoscopic device by connecting it in a coherent feedback loop with a quantum-mechanical controller. We work in a scattering approach and derive results for the combined scattering…
Quantum coherence is the most fundamental feature of quantum mechanics. The usual understanding of it depends on the choice of the basis, that is, the coherence of the same quantum state is different within different reference framework. To…
Measurement feedback is a versatile and powerful tool, although its performance is limited by several practical imperfections resulting from classical components. This paper shows that, for some typical quantum feedback control problems for…
This paper is one of a series of papers on coherent spaces and their applications, defined in the recent book 'Coherent Quantum Mechanics' by the first author. The paper studies coherent quantization -- the way operators in the quantum…
One of the essential building blocks of classical computer programs is the "if" clause, which executes a subroutine depending on the value of a control variable. Similarly, several quantum algorithms rely on applying a unitary operation…
Reversible computation requires that intermediate data be explicitly undone rather than discarded. In quantum programming, this principle appears as uncomputation, usually treated as a technical cleanup mechanism. We instead present…
We study several examples from quantum control theory in the framework of Wigner functions and measures for infinite dimensional open quantum systems. An axiomatic definition of coherent quantum feedback is proposed within this setting.
The logic which describes quantum robots is not orthodox quantum logic, but a deductive calculus which reproduces the quantum tasks (computational processes, and actions) taking into account quantum superposition and quantum entanglement. A…
Toward scalable quantum computing, the control of quantum systems needs to be robust against both coherent errors induced by parametric uncertainties and incoherent errors induced by environmental decoherence. This poses significant…
Control of open quantum systems is an essential ingredient to the realization of contemporary quantum science and technology. We demonstrate such control by employing a thermodynamically consistent framework, taking into account the fact…
Quantum control is traditionally expressed through bilinear models and their associated Lie algebra controllability criteria. But, the first order approximation are not always sufficient and higher order developpements are used in recent…
Finding a denotational semantics for higher order quantum computation is a long-standing problem in the semantics of quantum programming languages. Most past approaches to this problem fell short in one way or another, either limiting the…