
We solve the open question of the existence of fourqubit entangled symmetric
states with positive partial transpositions (PPT states). We reach this goal
with two different approaches. First, we propose a
halfanalyticalhalfnumerical method that allows to construct multipartite PPT
entangled symmetric states (PPTESS) from the qubitqudit PPT entangled states.
Second, we adapt the algorithm allowing to search for extremal elements in the
convex set of bipartite PPT states [J. M. Leinaas, J. Myrheim, and E. Ovrum,
Phys. Rev. A 76, 034304 (2007)] to the multipartite scenario. With its aid we
search for extremal fourqubit PPTESS and show that generically they have ranks
(5,7,8). Finally, we provide an exhaustive characterization of these states
with respect to their separability properties.

The concepts of separability, entanglement, spinsqueezing and Heisenberg
limit are central in the theory of quantum enhanced metrology. In the current
literature, these are well established only in the case of linear
interferometers operating with input quantum states of a known fixed number of
particles. This manuscript generalizes these concepts and extends the quantum
phase estimation theory by taking into account classical and quantum
fluctuations of the particle number. Our analysis concerns most of the current
experiments on precision measurements where the number of particles is known
only in average.

We investigate the lower bound obtained from experimental data of a quantum
state $\rho$, as proposed independently by G\"uhne et al. and Eisert et al. for
mixed states of three qubits. The measure we consider is the convexroof
extended threetangle. Our findings highlight an intimate relation to lower
bounds obtained recently from socalled characteristic curves of a given
entanglement measure. We apply the bounds to estimate the threetangle present
in recently performed experiments aimed at producing a threequbit GHZ state. A
nonvanishing lower bound is obtained if the GHZfidelity of the produced
states is larger than 3/4.

We analyze the spinor dynamics of a Rb87 F=2 condensate initially prepared
in the m_F=0 Zeeman sublevel. We show that this dynamics, characterized by the
creation of correlated atomic pairs in m_F=+/1, presents an intriguing
multiresonant magnetic field dependence induced by the trap inhomogeneity.
This dependence is directly linked to the most unstable Bogoliubov spin
excitations of the initial m_F = 0 condensate, showing that, in general, even a
qualitative understanding of the pair creation efficiency in a spinor
condensate requires a careful consideration of the confinement.

Parametric amplification of vacuum fluctuations is crucial in modern quantum
optics, enabling the creation of squeezing and entanglement. We demonstrate the
parametric amplification of vacuum fluctuations for matter waves using a spinor
F=2 Rb87 condensate. Interatomic interactions lead to correlated pair creation
in the m_F= +/ 1 states from an initial unstable m_F=0 condensate, which acts
as a vacuum for m_F unequal 0. Although this pair creation from a pure m_F=0
condensate is ideally triggered by vacuum fluctuations, unavoidable spurious
initial m_F= +/ 1 atoms induce a classical seed which may become the dominant
triggering mechanism. We show that pair creation is insensitive to a classical
seed for sufficiently large magnetic fields, demonstrating the dominant role of
vacuum fluctuations. The presented system thus provides a direct path towards
the generation of nonclassical states of matter on the basis of spinor
condensates.

Spinchanging collisions in trapped Fermi gases may acquire a resonant
character due to the compensation of quadratic Zeeman effect and trap energy.
These resonances are absent in spinor condensates and pseudospin1/2 Fermi
gases, being a characteristic feature of highspin Fermi gases that allows
spinor physics at large magnetic fields. We analyze these resonances in detail
for the case of lattice spinor fermions, showing that they permit to
selectively target a spinchanging channel while suppressing all others. These
resonances allow for the controlled creation of nontrivial quantum
superpositions of manyparticle states with entangled spin and trap degrees of
freedom, which remarkably are magneticfield insensitive. Finally, we show that
the intersite tunneling may lead to a quantum phase transition described by an
effective quantum Ising model.

We propose a unifying approach to the separability problem using covariance
matrices of locally measurable observables. From a practical point of view, our
approach leads to strong entanglement criteria that allow to detect the
entanglement of many bound entangled states in higher dimensions and which are
at the same time necessary and sufficient for two qubits. From a fundamental
perspective, our approach leads to insights into the relations between several
known entanglement criteria  such as the computable cross norm and local
uncertainty criteria  as well as their limitations.

This paper is concerned with all tests for continuousvariable entanglement
that arise from linear combinations of second moments or variances of canonical
coordinates, as they are commonly used in experiments to detect entanglement.
All such tests for bipartite and multipartite entanglement correspond to
hyperplanes in the set of second moments. It is shown that all optimal tests,
those that are most robust against imperfections with respect to some figure of
merit for a given state, can be constructed from solutions to semidefinite
optimization problems. Moreover, we show that for each such test, referred to
as entanglement witness based on second moments, there is a onetoone
correspondence between the witness and a stronger product criterion, which
amounts to a nonlinear witness, based on the same measurements. This
generalizes the known product criteria. The presented tests are all applicable
also to nonGaussian states. To provide a service to the community, we present
the documentation of two numerical routines, FULLYWIT and MULTIWIT, which have
been made publicly available.

We analyze methods to go beyond the standard quantum limit for a class of
atomic interferometers, where the quantity of interest is the difference of
phase shifts obtained by two independent atomic ensembles. An example is given
by an atomic Sagnac interferometer, where for two ensembles propagating in
opposite directions in the interferometer this phase difference encodes the
angular velocity of the experimental setup. We discuss methods of squeezing
separately or jointly observables of the two atomic ensembles, and compare in
detail advantages and drawbacks of such schemes. In particular we show that the
method of joint squeezing may improve the variance by up to a factor of 2. We
take into account fluctuations of the number of atoms in both the preparation
and the measurement stage, and obtain bounds on the difference of the numbers
of atoms in the two ensembles, as well as on the detection efficiency, which
have to be fulfilled in order to surpass the standard quantum limit. Under
realistic conditions, the performance of both schemes can be improved
significantly by reading out the phase difference via a quantum nondemolition
(QND) measurement. Finally, we discuss a scheme using macroscopically entangled
ensembles.

Bell inequalities, considered within quantum mechanics, can be regarded as
nonoptimal witness operators. We discuss the relationship between such Bell
witnesses and general entanglement witnesses in detail for the Bell inequality
derived by Clauser, Horne, Shimony, and Holt (CHSH). We derive bounds on how
much an optimal witness has to be shifted by adding the identity operator to
make it positive on all states admitting a local hidden variable model. In the
opposite direction, we obtain tight bounds for the maximal proportion of the
identity operator that can be subtracted from such a CHSH witness, while
preserving the witness properties. Finally, we investigate the structure of
CHSH witnesses directly by relating their diagonalized form to optimal
witnesses of two different classes.

We investigate several problems in entanglement theory from the perspective
of convex optimization. This list of problems comprises (A) the decision
whether a state is multiparty entangled, (B) the minimization of expectation
values of entanglement witnesses with respect to pure product states, (C) the
closely related evaluation of the geometric measure of entanglement to quantify
pure multiparty entanglement, (D) the test whether states are multiparty
entangled on the basis of witnesses based on second moments and on the basis of
linear entropic criteria, and (E) the evaluation of instances of maximal output
purities of quantum channels. We show that these problems can be formulated as
certain optimization problems: as polynomially constrained problems employing
polynomials of degree three or less. We then apply very recently established
known methods from the theory of semidefinite relaxations to the formulated
optimization problems. By this construction we arrive at a hierarchy of
efficiently solvable approximations to the solution, approximating the exact
solution as closely as desired, in a way that is asymptotically complete. For
example, this results in a hierarchy of novel, efficiently decidable sufficient
criteria for multiparticle entanglement, such that every entangled state will
necessarily be detected in some step of the hierarchy. Finally, we present
numerical examples to demonstrate the practical accessibility of this approach.

In this paper we address the problem of detection of entanglement using only
few local measurements when some knowledge about the state is given. The idea
is based on an optimized decomposition of witness operators into local
operators. We discuss two possible ways of optimizing this local decomposition.
We present several analytical results and estimates for optimized detection
strategies for NPT states of 2x2 and NxM systems, entangled states in 3 qubit
systems, and bound entangled states in 3x3 and 2x4 systems.

We present here an overview of our work concerning entanglement properties of
composite quantum systems. The characterization of entanglement, i.e. the
possibility to assert if a given quantum state is entangled with others and how
much entangled it is, remains one of the most fundamental open questions in
quantum information theory. We discuss our recent results related to the
problem of separability and distillability for distinguishable particles,
employing the tool of witness operators. Finally, we also state our results
concerning quantum correlations for indistinguishable particles.

We introduce a general method for the experimental detection of entanglement
by performing only few local measurements, assuming some prior knowledge of the
density matrix. The idea is based on the minimal decomposition of witness
operators into a pseudomixture of local operators. We discuss an
experimentally relevant case of two qubits, and show an example how bound
entanglement can be detected with few local measurements.