Asymptotic State Transformations of Continuous Variable Resources.

We study asymptotic state transformations in continuous variable quantum resource theories. In particular, we prove that monotones displaying lower semicontinuity and strong superadditivity can be used to bound asymptotic transformation rates in these settings. This removes the need for asymptotic continuity, which cannot be defined in the traditional sense for infinite-dimensional systems. We consider three applications, to the resource theories of (I) optical nonclassicality, (II) entanglement, and (III) quantum thermodynamics. In cases (II) and (III), the employed monotones are the (infinite-dimensional) squashed entanglement and the free energy, respectively. For case (I), we consider the measured relative entropy of nonclassicality and prove it to be lower semicontinuous and strongly superadditive. One of our main technical contributions, and a key tool to establish these results, is a handy variational expression for the measured relative entropy of nonclassicality. Our technique then yields computable upper bounds on asymptotic transformation rates, including those achievable under linear optical elements. We also prove a number of results which guarantee that the measured relative entropy of nonclassicality is bounded on any physically meaningful state and easily computable for some classes of states of interest, e.g., Fock diagonal states. We conclude by applying our findings to the problem of cat state manipulation and noisy Fock state purification.

Coherence as a Resource for Shor's Algorithm.

Shor's factoring algorithm provides a superpolynomial speedup over all known classical factoring algorithms. Here, we address the question of which quantum properties fuel this advantage. We investigate a sequential variant of Shor's algorithm with a fixed overall structure and identify the role of coherence for this algorithm quantitatively. We analyze this protocol in the framework of dynamical resource theories, which capture the resource character of operations that can create and detect coherence. This allows us to derive a lower and an upper bound on the success probability of the protocol, which depend on rigorously defined measures of coherence as a dynamical resource. We compare these bounds with the classical limit of the protocol and conclude that within the fixed structure that we consider, coherence is the quantum resource that determines its performance by bounding the success probability from below and above. Therefore, we shine new light on the fundamental role of coherence in quantum computation.

Quantifying Dynamical Coherence with Dynamical Entanglement.

Coherent superposition and entanglement are two fundamental aspects of nonclassicality. Here we provide a quantitative connection between the two on the level of operations by showing that the dynamical coherence of an operation upper bounds the dynamical entanglement that can be generated from it with the help of additional incoherent operations. In case a particular choice of monotones based on the relative entropy is used for the quantification of these dynamical resources, this bound can be achieved. In addition, we show that an analog to the entanglement potential exists on the level of operations and serves as a valid quantifier for dynamical coherence.

Experimental Quantification of Coherence of a Tunable Quantum Detector.

Quantum coherence is a fundamental resource that quantum technologies exploit to achieve performance beyond that of classical devices. A necessary prerequisite to achieve this advantage is the ability of measurement devices to detect coherence from the measurement statistics. Based on a recently developed resource theory of quantum operations, here we quantify experimentally the ability of a typical quantum-optical detector, the weak-field homodyne detector, to detect coherence. We derive an improved algorithm for quantum detector tomography and apply it to reconstruct the positive-operator-valued measures of the detector in different configurations. The reconstructed positive-operator-valued measures are then employed to evaluate how well the detector can detect coherence using two computable measures. As the first experimental investigation of quantum measurements from a resource theoretical perspective, our work sheds new light on the rigorous evaluation of the performance of a quantum measurement apparatus.

Quantifying Operations with an Application to Coherence.

To describe certain facets of nonclassicality, it is necessary to quantify properties of operations instead of states. This is the case if one wants to quantify how well an operation detects nonclassicality, which is a necessary prerequisite for its use in quantum technologies. To do so rigorously, we build resource theories on the level of operations, exploiting the concept of resource destroying maps. We discuss the two basic ingredients of these resource theories, the free operations and the free superoperations, which are sequential and parallel concatenations with free operations. This leads to defining properties of functionals that are well suited to quantify the resources of operations. We introduce these concepts at the example of coherence. In particular, we present two measures quantifying the ability of an operation to detect, i.e., to use, coherence, one of them with an operational interpretation, and provide methods to evaluate them.