One of the main aims in the field of quantum simulation is to achieve a quantum speedup, often referred to as "quantum computational supremacy", referring to the experimental realization of a quantum device that computationally outperforms classical computers. In this work, we show that one can devise versatile and feasible schemes of two-dimensional dynamical quantum simulators showing such a quantum speedup, building on intermediate problems involving non-adaptive measurement-based quantum computation. In each of the schemes, an initial product state is prepared, potentially involving an element of randomness as in disordered models, followed by a short-time evolution under a basic translationally invariant Hamiltonian with simple nearest-neighbor interactions and a mere sampling measurement in a fixed basis. The correctness of the final state preparation in each scheme is fully efficiently certifiable. We discuss experimental necessities and possible physical architectures, inspired by platforms of cold atoms in optical lattices and a number of others, as well as specific assumptions that enter the complexity-theoretic arguments. This work shows that benchmark settings exhibiting a quantum speedup may require little control in contrast to universal quantum computing. Thus, our proposal puts a convincing experimental demonstration of a quantum speedup within reach in the near term.

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.

Tensor network states are for good reasons believed to capture ground states of gapped local Hamiltonians arising in the condensed matter context, states which are in turn expected to satisfy an entanglement area law. However, the computational hardness of contracting projected entangled pair states in two and higher dimensional systems is often seen as a significant obstacle when devising higher-dimensional variants of the density-matrix renormalisation group method. In this work, we show that for those projected entangled pair states that are expected to provide good approximations of such ground states of local Hamiltonians, one can compute local expectation values in quasi-polynomial time. We therefore provide a complexity-theoretic justification of why state-of-the-art numerical tools work so well in practice. We comment on how the transfer operators of such projected entangled pair states have a gap and discuss notions of local topological quantum order. We finally turn to the computation of local expectation values on quantum computers, providing a meaningful application for a small-scale quantum computer.

We present a method to measure the decay rate of the first excited vibrational state of simple polar molecular ions being part of a Coulomb crystal in a cryogenic linear Paul trap. Specifically, we have monitored the decay of the $|\nu$=$1,J$=$1 \rangle_X$ towards the $|\nu$=$0,J$=$0 \rangle_X$ level in MgH$^+$ by saturated laser excitation of the $|\nu$=$0,J$=$2 \rangle_X$-$|\nu$=$1,J$=$1 \rangle_X$ transition followed by state selective resonance enhanced two-photon dissociation out of the $|\nu$=$0,J$=$2 \rangle_X$ level. The technique enables the determination of decay rates, and thus absorption strengths, with an accuracy at the few percent level.

The Proceedings of the 2011 workshop on Fundamental Physics at the Intensity Frontier. Science opportunities at the intensity frontier are identified and described in the areas of heavy quarks, charged leptons, neutrinos, proton decay, new light weakly-coupled particles, and nucleons, nuclei, and atoms.

We present a novel method to mount and align an optical-fiber-based resonator on the flat surface of an atom chip with ultrahigh precision. The structures for mounting a pair of fibers, which constitute the fiber resonator, are produced by a spin-coated SU-8 photoresist technique by use of deep-UV lithography. The design and production of the SU-8 structures are discussed. From the measured finesses we calculate the coupling loss of the SU-8 structures acting as a kind of fiber splice to be smaller than 0.013 dB.

Detecting single atoms (qubits) is a key requirement for implementing quantum information processing on an atom chip. The detector should ideally be integrated on the chip. Here we present and compare different methods capable of detecting neutral atoms on an atom chip. After a short introduction to fluorescence and absorption detection we discuss cavity enhanced detection of single atoms. In particular we concentrate on optical fiber based detectors such as fiber cavities and tapered fiber dipole traps. We discuss the various constraints in building such detectors in detail along with the current implementations on atom chips. Results from experimental tests of fiber integration are also described. In addition we present a pilot experiment for atom detection using a concentric cavity to verify the required scaling.

We use holomorphic disks to describe the formation of singularities in the mean curvature flow of monotone Lagrangian submanifolds in $\mathbb C^{n}$.