Related papers: Measurements and confluence in quantum lambda calc…
Particle-style token machines are a way to interpret proofs and programs, when the latter are defined according to the principles of linear logic. In this paper, we show that token machines also make sense when the programs at hand are…
We propose an approach to measuring nonresonant coupled systems, which gives a parametrically smaller error than the conventional fast projective measurements. The approach takes into account that, due to the coupling, excitations are not…
We show why and when entanglement is needed for quantum-enhanced precision measurements, and which type of entanglement is useful. We give a simple, intuitive construction that shows how entanglement transforms parallel estimation…
This paper presents a hybrid classical-quantum program for density estimation and supervised classification. The program is implemented as a quantum circuit in a high-dimensional quantum computer simulator. We show that the proposed quantum…
Quantum measurement of a solid-state qubit by a mesoscopic detector is of fundamental interest in quantum physics and an essential issue in quantum computing. In this work, by employing a unified quantum master equation approach constructed…
Quantum mechanics predicts the joint probability distributions of the outcomes of simultaneous measurements of commuting observables, but the current formulation lacks the operational definition of simultaneous measurements. In order to…
In Quantum Physics it is not always possible to directly perform the measurement of an obsevable; in some of these cases, however, its value can be {\sl detected}, i.e. it can be inferred by measuring {\sl another} observable characterized…
How well can multiple incompatible observables be implemented by a single measurement? This is a fundamental problem in quantum mechanics with wide implications for the performance optimization of numerous tasks in quantum information…
Quantum metrology promises higher precision measurements than classical methods. Entanglement has been identified as one of quantum resources to enhance metrological precision. However, generating entangled states with high fidelity…
Interactive behaviors are ubiquitous in modern cryptography, but are also present in $\lambda$-calculi, in the form of higher-order constructions. Traditionally, however, typed $\lambda$-calculi simply do not fit well into cryptography,…
Coherent superpositions are one of the hallmarks of quantum mechanics and are vital for any quantum mechanical device to outperform the classically achievable. Generically, superpositions are verified in interference experiments, but…
In this paper, we present an extension of $\lambda\mu$-calculus called $\lambda\mu^{++}$-calculus which has the following properties: subject reduction, strong normalization, unicity of the representation of data and thus confluence only on…
Quantum coherence is an essential ingredient in quantum information processing and plays a central role in emergent fields such as nanoscale thermodynamics and quantum biology. However, our understanding and quantitative characterization of…
Symmetries are a key concept to connect mathematical elegance with physical insight. We consider measurement assemblages in quantum mechanics and show how their symmetry can be described by means of the so-called discrete bundles. It turns…
Before the availability of large scale fault-tolerant quantum devices, one has to find ways to make the most of current noisy intermediate-scale quantum devices. One possibility is to seek smaller repetitive hybrid quantum-classical tasks…
We present an exact derivation of a process in which a microscopic measured system interacts with "heat bath" and pointer modes of a measuring device, via a linear coupling involving Hermitian operator $\Lambda$ of the system. In the limit…
In previous articles we presented a derivation of Born's rule and unitary transforms in Quantum Mechanics (QM), from a simple set of axioms built upon a physical phenomenology of quantization. Physically, the structure of QM results of an…
There are two general requirements to harness the computational power of quantum mechanics: the ability to manipulate the evolution of an isolated system and the ability to faithfully extract information from it. Quantum error correction…
This paper introduces a novel abstraction for programming quantum operations, specifically projective Cliffords, as functions over the qudit Pauli group. Generalizing the idea behind Pauli tableaux, we introduce a type system and lambda…
We study measurements on various subsystems of the output of a universal 1 to 2 cloning machine, and establish a correspondence between these measurements at the output and effective measurements on the original input. We show that one can…