
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 twodimensional dynamical quantum
simulators showing such a quantum speedup, building on intermediate problems
involving nonadaptive measurementbased 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 shorttime evolution under
a basic translationally invariant Hamiltonian with simple nearestneighbor
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 complexitytheoretic 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 weakmembership formulations
of the certification of ground state preparations. We provide a noninteractive
protocol for certifying ground states of frustrationfree 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 FeynmanKitaev 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 higherdimensional variants of the densitymatrix 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
quasipolynomial time. We therefore provide a complexitytheoretic
justification of why stateoftheart 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 smallscale 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 twophoton 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 weaklycoupled particles, and nucleons, nuclei, and atoms.

We present a novel method to mount and align an opticalfiberbased 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 spincoated SU8 photoresist technique by use of deepUV
lithography. The design and production of the SU8 structures are discussed.
From the measured finesses we calculate the coupling loss of the SU8
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}$.