Related papers: Confluence Results for a Quantum Lambda Calculus w…
A foundational result in the theory of quantum computation known as the "principle of safe storage" shows that it is always possible to take a quantum circuit and produce an equivalent circuit that makes all measurements at the end of the…
Quantum theory is formulated as the only consistent way to manipulate probability amplitudes. The crucial ingredient is a consistency constraint: if there are two different ways to compute an amplitude the two answers must agree. This…
The concept of measurement is discussed. It is argued that counting process in mathematics is also measurement which requires a basic unit. The idea of scale is put forward. The basic unit itself, which are composed of the infinitesimal of…
A quantum trajectory describes the evolution of a quantum system undergoing indirect measurement. In the discrete-time setting, the state of the system is updated by applying Kraus operators according to the measurement results. From an…
Since its discovery, quantum theory has proven to be one of the most precise theories ever made. Measurement processes, however, do not seem to be governed by the unitary law of quantum mechanics, and one can ask if the theory is complete.…
Traditional refrigeration is driven either by external force or an information-feedback mechanism. Surprisingly, the quantum measurement and collapse, which are generally detrimental, can also be used to power a cooling engine even without…
For theoretical approach of quantum measurements it is proposed a set of reconsidered conjectures. The proposed approach implies linear functional transformations for probability density and current but preserves the expressions for…
We show that, for any n, there are m-outcome quantum correlations, with m>n, which are stronger than any nonsignaling correlation produced from selecting among n-outcome measurements. As a consequence, for any n, there are m-outcome quantum…
We initiate the systematic study of experimental quantum physics from the perspective of computational complexity. To this end, we define the framework of quantum algorithmic measurements (QUALMs), a hybrid of black box quantum algorithms…
A new model of quantum computing has recently been proposed which, in analogy with a classical lambda-calculus, exploits quantum processes which operate on other quantum processes. One such quantum meta-operator takes N unitary…
Particle-style token machines are a way to interpret proofs and programs, when the latter are written following the principles of linear logic. In this paper, we show that token machines also make sense when the programs at hand are those…
Three recent arguments seek to show that the universal applicability of unitary quantum theory is inconsistent with the assumption that a well-conducted measurement always has a definite physical outcome. In this paper I restate and analyze…
In this short overview, we start with the basics of quantum computing, explaining the difference between the quantum and the classical control paradigms. We give an overview of the quantum control line of research within the lambda…
In this Chapter, we give a brief review of the state of the art of theoretical and experimental studies of quantum fluids of light. Such systems consist of ensembles of photons that acquire a finite mass from spatial confinement or…
By quantum calibration we name an experimental procedure apt to completely characterize an unknown measurement apparatus by comparing it with other calibrated apparatuses. Here we show how to achieve the calibration of an arbitrary…
We show that universal quantum computation can be achieved in the standard pure-state circuit model while, at any time, the entanglement entropy of all bipartitions is small---even tending to zero with growing system size. The result is…
Insofar as quantum computation is faster than classical, it appears to be irreversible. In all quantum algorithms found so far the speed-up depends on the extra-dynamical irreversible projection representing quantum measurement. Quantum…
It is first pointed out that there is a common mathematical model for the universe and the quantum computer. The former is called the histories approach to quantum mechanics and the latter is called measurement based quantum computation.…
This is a limited overview of quantum non-demolition (QND) measurements, with brief discussions of illustrative examples meant to clarify the essential features. In a QND measurement, the predictability of a subsequent value of a precisely…
The confluence of untyped lambda-calculus with unconditional rewriting has already been studied in various directions. In this paper, we investigate the confluence of lambda-calculus with conditional rewriting and provide general results in…