Related papers: A Quantum-Control Lambda-Calculus with Multiple Me…
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…
This paper explains some fundamental ideas of {\em feedback} control of quantum systems through the study of a relatively simple two-level system coupled to optical field channels. The model for this system includes both continuous and…
We introduce the Scalable ZX-calculus (SZX-calculus for short), a formal and compact graphical language for the design and verification of quantum computations. The SZX-calculus is an extension of the ZX-calculus, a powerful framework that…
The extensive deployment of probabilistic algorithms has radically changed our perspective on several well-established computational notions. Correctness is probably the most basic one. While a typical probabilistic program cannot be said…
Multi-stage programming is a proven technique that provides predictable performance characteristics by controlling code generation. We propose a core semantics for Typed Template Haskell, an extension of Haskell that supports multi staged…
Quantum computing comes with the potential to push computational boundaries in various domains including, e.g., cryptography, simulation, optimization, and machine learning. Exploiting the principles of quantum mechanics, new algorithms can…
Entanglement of qudit pairs, with single particle Hilbert space dimension $d$, has important potential for quantum information processing, with applications in cryptography, algorithms, and error correction. For a pair of qudits of…
This paper proposes a new robust control method for quantum systems with uncertainties involving sliding mode control (SMC). Sliding mode control is a widely used approach in classical control theory and industrial applications. We show…
A quantum system subject to external fields is said to be controllable if these fields can be adjusted to guide the state vector to a desired destination in the state space of the system. Fundamental results on controllability are reviewed…
We introduce a framework for simulating quantum measurements based on classical processing of a set of accessible measurements. Well-known concepts such as joint measurability and projective simulability naturally emerge as particular cases…
One of the central features of quantum theory is that there are pairs of quantum observables that cannot be measured simultaneously. This incompatibility of quantum observables is a necessary ingredient in several quantum phenomena, such as…
The simultaneous estimation of multiple unknown parameters is the most general scenario in quantum sensing. Quantum multi-parameter estimation theory provides fundamental bounds on the achievable precision of simultaneous estimation.…
The integration of tabular data from diverse sources is often hindered by inconsistencies in formatting and representation, posing significant challenges for data analysts and personal digital assistants. Existing methods for automating…
We give an overview of different paradigms for control of quantum systems and their applications, illustrated with specific examples. We further discuss the implications of fault-tolerance requirements for quantum process engineering using…
A new method for doing feedback control of single quantum systems was proposed. Instead of feeding back precisely the process output, a cloning machine served to obtain the feedback signal and the output. A simple example was given to…
Quantum Monte Carlo (QMC) methods are essential for the numerical study of large-scale quantum many-body systems, yet their utility has been significantly hampered by the difficulty in computing key quantities such as off-diagonal operators…
Calculi with control operators have been studied as extensions of simple type theory. Real programming languages contain datatypes, so to really understand control operators, one should also include these in the calculus. As a first step in…
Quantum Machine Learning has the potential to improve traditional machine learning methods and overcome some of the main limitations imposed by the classical computing paradigm. However, the practical advantages of using quantum resources…
Entangled quantum many-body systems can be used as sensors that enable the estimation of parameters with a precision larger than that achievable with ensembles of individual quantum detectors. Typically, the parameter estimation strategy…
The past few years have seen a revived interest in quantum geometrical characterizations of band structures due to the rapid development of topological insulators and semi-metals. Although the metric tensor has been connected to many…