Direct certification of a class of quantum simulations

One of the main challenges in the field of quantum simulation and computation is to identify ways to certify the correct functioning of a device when a classical efficient simulation is not available. Important cases are situations in which one cannot classically calculate local expectation values of state preparations efficiently. In this work, we develop weak-membership formulations of the certification of ground state preparations. We provide a non-interactive protocol for certifying ground states of frustration-free Hamiltonians based on simple energy measurements of local Hamiltonian terms. This certification protocol can be applied to classically intractable analog quantum simulations: For example, using Feynman-Kitaev Hamiltonians, one can encode universal quantum computation in such ground states. Moreover, our certification protocol is applicable to ground states encodings of IQP circuits demonstration of quantum supremacy. These can be certified efficiently when the error is polynomially bounded.Comment: 10 pages, corrected a small error in Eqs. (2) and (5

Anticoncentration theorems for schemes showing a quantum speedup

One of the main milestones in quantum information science is to realise quantum devices that exhibit an exponential computational advantage over classical ones without being universal quantum computers, a state of affairs dubbed quantum speedup, or sometimes "quantum computational supremacy". The known schemes heavily rely on mathematical assumptions that are plausible but unproven, prominently results on anticoncentration of random prescriptions. In this work, we aim at closing the gap by proving two anticoncentration theorems and accompanying hardness results, one for circuit-based schemes, the other for quantum quench-type schemes for quantum simulations. Compared to the few other known such results, these results give rise to a number of comparably simple, physically meaningful and resource-economical schemes showing a quantum speedup in one and two spatial dimensions. At the heart of the analysis are tools of unitary designs and random circuits that allow us to conclude that universal random circuits anticoncentrate as well as an embedding of known circuit-based schemes in a 2D translation-invariant architecture.Comment: 12+2 pages, added applications sectio

Analogue Quantum Simulation: A Philosophical Prospectus

This paper provides the first systematic philosophical analysis of an increasingly important part of modern scientific practice: analogue quantum simulation. We introduce the distinction between `simulation' and `emulation' as applied in the context of two case studies. Based upon this distinction, and building upon ideas from the recent philosophical literature on scientific understanding, we provide a normative framework to isolate and support the goals of scientists undertaking analogue quantum simulation and emulation. We expect our framework to be useful to both working scientists and philosophers of science interested in cutting-edge scientific practice

A study of the inclusion of prelayers in InGaN/GaN single- and multiple-quantum-well structures

We report on the effects on the optical properties of blue-light emitting InGaN/GaN single- and multiple-quantum-well structures including a variety of prelayers. For each single-quantum-well structure containing a Si-doped prelayer, we measured a large blue shift of the photoluminescence peak energy and a significant increase in radiative recombination rate at 10 K. Calculations of the conduction and valence band energies show a strong reduction in the built-in electric field across the quantum well (QW) occurs when including Si-doped prelayers, due to enhancement of the surface polarization field which opposes the built-in field. The reduction in built-in field across the QW results in an increase in the electron–hole wavefunction overlap, increasing the radiative recombination rate, and a reduction in the strength of the quantum confined Stark effect, leading to the observed blue shift of the emission peak. The largest reduction of the built-in field occurred for an InGaN:Si prelayer, in which the additional InGaN/GaN interface of the prelayer, in close proximity to the QW, was shown to further reduce the built-in field. Study of multiple QW structures with and without an InGaN:Si prelayer showed the same mechanisms identified in the equivalent single-quantum-well structure.This work was carried out with the financial support of the United Kingdom Engineering and Physical Sciences Research Council under Grant Numbers EP/I012591/1 and EP/H011676/1.This is the accepted manuscript. The final version's available from Wiley at http://dx.doi.org/10.1002/pssb.20145153

Nondestructive selective probing of phononic excitations in a cold Bose gas using impurities

We introduce a detector that selectively probes the phononic excitations of a cold Bose gas. The detector is composed of a single impurity atom confined by a double-well potential, where the two lowest eigenstates of the impurity form an effective probe qubit that is coupled to the phonons via density-density interactions with the bosons. The system is analogous to a two-level atom coupled to photons of the radiation field. We demonstrate that tracking the evolution of the qubit populations allows probing both thermal and coherent excitations in targeted phonon modes. The targeted modes are selected in both energy and momentum by adjusting the impurity's potential. We show how to use the detector to observe coherent density waves and to measure temperatures of the Bose gas down to the nano-Kelvin regime. We analyze how our scheme could be realized experimentally, including the possibility of using an array of multiple impurities to achieve greater precision from a single experimental run.Comment: 11+4 pages, 7 figure

Assessing, testing, and challenging the computational power of quantum devices

Randomness is an intrinsic feature of quantum theory. The outcome of any measurement will be random, sampled from a probability distribution that is defined by the measured quantum state. The task of sampling from a prescribed probability distribution therefore seems to be a natural technological application of quantum devices. And indeed, certain random sampling tasks have been proposed to experimentally demonstrate the speedup of quantum over classical computation, so-called “quantum computational supremacy”. In the research presented in this thesis, I investigate the complexity-theoretic and physical foundations of quantum sampling algorithms. Using the theory of computational complexity, I assess the computational power of natural quantum simulators and close loopholes in the complexity-theoretic argument for the classical intractability of quantum samplers (Part I). In particular, I prove anticoncentration for quantum circuit families that give rise to a 2-design and review methods for proving average-case hardness. I present quantum random sampling schemes that are tailored to large-scale quantum simulation hardware but at the same time rise up to the highest standard in terms of their complexity-theoretic underpinning. Using methods from property testing and quantum system identification, I shed light on the question, how and under which conditions quantum sampling devices can be tested or verified in regimes that are not simulable on classical computers (Part II). I present a no-go result that prevents efficient verification of quantum random sampling schemes as well as approaches using which this no-go result can be circumvented. In particular, I develop fully efficient verification protocols in what I call the measurement-device-dependent scenario in which single-qubit measurements are assumed to function with high accuracy. Finally, I try to understand the physical mechanisms governing the computational boundary between classical and quantum computing devices by challenging their computational power using tools from computational physics and the theory of computational complexity (Part III). I develop efficiently computable measures of the infamous Monte Carlo sign problem and assess those measures both in terms of their practicability as a tool for alleviating or easing the sign problem and the computational complexity of this task. An overarching theme of the thesis is the quantum sign problem which arises due to destructive interference between paths – an intrinsically quantum effect. The (non-)existence of a sign problem takes on the role as a criterion which delineates the boundary between classical and quantum computing devices. I begin the thesis by identifying the quantum sign problem as a root of the computational intractability of quantum output probabilities. It turns out that the intricate structure of the probability distributions the sign problem gives rise to, prohibits their verification from few samples. In an ironic twist, I show that assessing the intrinsic sign problem of a quantum system is again an intractable problem

Correlated terahertz acoustic and electromagnetic emission in dynamically screened InGaN/GaN quantum wells

We investigate acoustic and electromagnetic emission from optically excited strained piezoelectric In0.2Ga0.8N/GaN multiple quantum wells (MQWs), using optical pump-probe spectroscopy, time-resolved Brillouin scattering, and THz emission spectroscopy. A direct comparison of detected acoustic signals and THz electromagnetic radiation signals demonstrates that transient strain generation in InGaN/GaN MQWs is correlated with electromagnetic THz generation, and both types of emission find their origin in ultrafast dynamical screening of the built-in piezoelectric field in the MQWs. The measured spectral intensity of the detected Brillouin signal corresponds to a maximum strain amplitude of generated acoustic pulses of 2%. This value coincides with the static lattice-mismatch-induced strain in In0.2Ga0.8N/GaN, demonstrating the total release of static strain in MQWs via impulsive THz acoustic emission. This confirms the ultrafast dynamical screening mechanism in MQWs as a highly efficient method for impulsive strain generatio