We have modulated the density of a trapped Bose-Einstein condensate by changing the trap stiffness, thereby modulating the speed of sound. We observe the creation of correlated excitations with equal and opposite momenta, and show that for a well-defined modulation frequency, the frequency of the excitations is half that of the trap modulation frequency.

An all-resonant method is proposed to control the quantum state of superconducting resonators. This approach uses a tunable artificial atom linearly coupled to resonators, and allows for efficient routes to Fock state synthesis, qudit logic operations, and synthesis of NOON states. This resonant approach is theoretically analyzed, and found to perform significantly better than existing proposals using the same technology.

Entanglement monotones, such as the concurrence, are useful tools to characterize quantum correlations in various physical systems. The computation of the concurrence involves, however, difficult optimizations and only for the simplest case of two qubits a closed formula was found by Wootters [Phys. Rev. Lett. 80, 2245 (1998)]. We show how this approach can be generalized, resulting in lower bounds on the concurrence for higher dimensional systems as well as for multipartite systems. We demonstrate that for certain families of states our results constitute the strongest bipartite entanglement criterion so far; moreover, they allow us to recognize novel families of multiparticle bound entangled states.

The study of the free-space distribution of quantum correlations is necessary for any future application of quantum and classical communication aiming to connect two remote locations. Here we study the propagation of a coherent laser beam over 143 km (between Tenerife and La Palma Islands of the Canary archipelagos). By attenuating the beam we also studied the propagation at the single photon level. We investigated the statistic of arrival of the incoming photons and the scintillation of the beam. From the analysis of the data, we propose the exploitation of turbulence to improve the signal to noise ratio of the signal.

We propose a method for quantization of Lagrangians for which the Hamiltonian, as a function of momentum, is a branched function, possibly with cusps. Appropriate boundary conditions, which we identify, ensure unitary time evolution. In special cases a dual (canonical) transformation maps the problem into a problem of quantum mechanics on singular spaces, which we also develop. Several possible applications are indicated.

We propose the implementation of the Holstein model by means of digital methods in a linear chain of trapped ions. We show how the simulation fidelity scales with the generation of phononic excitations. We propose a decomposition and a stepwise trapped-ion implementation of the Holstein Hamiltonian. Via numerical simulations, we study how the protocol is affected by realistic gates. Finally, we show how measurements of the size of the simulated polaron can be performed.

The liquid and crystal phases of a single-component Fermi gas with dipolar interactions are investigated using quantum Monte Carlo methods in two spatial dimensions and at zero temperature. The dipoles are oriented by an external field perpendicular to the plane of motion, resulting in a purely repulsive $1/r^3$ interaction. In the liquid phase we calculate the equation of state as a function of the interaction strength and other relevant properties characterizing the Fermi-liquid behavior: effective mass, discontinuity at the Fermi surface, and pair correlation function. In the high density regime we calculate the equation of state of the Wigner crystal phase and the critical density of the liquid to solid quantum phase transition. Close to the freezing density we also search for the existence of a stripe phase, but such a phase is never found to be energetically favorable.

The minimum achievable statistical uncertainty in the estimation of physical parameters is determined by the quantum Fisher information. Its computation for noisy systems is still a challenging problem. Using a variational approach, we present an equation for obtaining the quantum Fisher information, which has an explicit dependence on the mathematical description of the noise. This method is applied to obtain a useful analytical bound to the quantum precision in the estimation of phase-shifts under phase diffusion, which shows that the estimation uncertainty cannot be smaller than a noise-dependent constant.

We demonstrate that the Rényi-2 entropy provides a natural measure of information for any multimode Gaussian state of quantum harmonic systems, operationally linked to the phase-space Shannon sampling entropy of the Wigner distribution of the state. We prove that, in the Gaussian scenario, such an entropy satisfies the strong subadditivity inequality, a key requirement for quantum information theory. This allows us to define and analyze measures of Gaussian entanglement and more general quantum correlations based on such an entropy, which are shown to satisfy relevant properties such as monogamy.

We introduce a general and systematic theoretical framework for operational dynamic modeling (ODM) by combining a kinematic description of a model with the evolution of the dynamical average values. The kinematics includes the algebra of the observables and their defined averages. The evolution of the average values is drawn in the form of Ehrenfest-like theorems. We show that ODM is capable of encompassing wide-ranging dynamics from classical non-relativistic mechanics to quantum field theory. The generality of ODM should provide a basis for formulating novel theories.

Determining the optimal implementation of a quantum gate is critical for designing a quantum computer. We consider the crucial task of efficiently decomposing a general single-qubit quantum gate into a sequence of fault-tolerant quantum operations. For a given single-qubit circuit, we construct an optimal gate sequence consisting of fault-tolerant Hadamard ($H$) and $\pi /8$ rotations ($T$). Our scheme is based on a novel canonical form for single-qubit quantum circuits and the corresponding rules for exactly reducing a general single-qubit circuit to our canonical form. The result is optimal in the number of $T$ gates. We demonstrate that a precomputed epsilon net of canonical circuits in combination with our scheme lowers the depth of approximation circuits by up to 3 orders of magnitude compared to previously reported results.

We investigate the efficiency of systems of molecular motors operating at maximum power. We consider two models of kinesin motors on a microtubule: for both the simplified and the detailed model, we find that the many-body exclusion effect enhances the efficiency at maximum power of the many-motor system, with respect to the single motor case. Remarkably, we find that this effect occurs in a limited region of the system parameters, compatible with the biologically relevant range.

Interaction potentials used in particle simulations are typically written as a sum of terms which depend on just a few relative particle positions. Traditional simulation methods move all particles at each time step, and may thus spend a lot of time updating interparticle forces. In this Letter we introduce adaptively restrained particle simulations (ARPS) to speed up particle simulations by adaptively switching on and off positional degrees of freedom, while letting momenta evolve. We illustrate ARPS on several numerical experiments, including (a) a collision cascade example that demonstrates how ARPS make it possible to smoothly trade between precision and speed and (b) a polymer-in-solvent study that shows how one may efficiently determine static equilibrium properties with ARPS.

We use the classical correlation between a quantum system being measured and its measurement apparatus to analyze the amount of information being retrieved in a quantum measurement process. Accounting for decoherence of the apparatus, we show that these correlations may have a sudden transition from a decay regime to a constant level. This transition characterizes a nonasymptotic emergence of the pointer basis, while the system apparatus can still be quantum correlated. We provide a formalization of the concept of emergence of a pointer basis in an apparatus subject to decoherence. This contrast of the pointer basis emergence to the quantum to classical transition is demonstrated in an experiment with polarization entangled photon pairs.

Numerical simulations show that, at the onset of Anderson localization, the momentum distribution of a coherent wave packet launched inside a random potential exhibits, in the forward direction, a novel interference peak that complements the coherent backscattering peak. An explanation of this phenomenon in terms of maximally crossed diagrams predicts that the signal emerges around the localization time and grows on the scale of the Heisenberg time associated with the localization volume. Together, coherent back and forward scattering provide evidence for the occurrence of Anderson localization.

In this Letter we show that quantum nonlocality can be superactivated. That is, one can obtain violations of Bell inequalities by tensorizing a local state with itself. In the second part of this work we study how large these violations can be. In particular, we show the existence of quantum states with very low Bell violation but such that five copies of them give very large violations. In fact, this gap can be made arbitrarily large by increasing the dimension of the states.

We address the experimental estimation of Gaussian quantum discord for a two-mode squeezed thermal state, and demonstrate a measurement scheme based on a pair of homodyne detectors assisted by Bayesian analysis, which provides nearly optimal estimation for small value of discord. In addition, though homodyne detection is not optimal for Gaussian discord, the noise ratio to the ultimate quantum limit, as dictated by the quantum Cramer-Rao bound, is limited to about 10 dB.

An important task for quantum-information processing is optimal discrimination between two nonorthogonal quantum states, which until now has been realized only optically. Here, we present and compare experimental realizations of optimal quantum measurements for distinguishing between two nonorthogonal quantum states encoded in a single ${}^{14}\mathrm{N}$ nuclear spin at a nitrogen-vacancy defect in diamond. Implemented measurement schemes are the minimum-error measurement (known as Helstrom measurement), unambiguous state discrimination using a standard projective measurement, and optimal unambiguous state discrimination [known as Ivanovic-Dieks-Peres (IDP) measurement], which utilizes a three-dimensional Hilbert space. This allows us to benchmark the IDP measurement against the standard projective measurements. Measurement efficiencies are found to be above 80% for all schemes and reach a value of 90% for the IDP measurement.

The field of quantum computation currently lacks a formal proof of experimental feasibility. Qubits are fragile and sophisticated quantum error correction is required to achieve reliable quantum computation. The surface code is a promising quantum error correction code, requiring only a physically reasonable 2D lattice of qubits with nearest neighbor interactions. However, existing proofs that reliable quantum computation is possible using this code assume the ability to measure four-body operators and, despite making this difficult to realize assumption, require that the error rate of these operator measurements is less than ${10}^{-9}$, an unphysically low target. High error rates have been proved tolerable only when assuming tunable interactions of strength and error rate independent of distance, which is also unphysical. In this work, given a 2D lattice of qubits with only nearest neighbor two-qubit gates, and single-qubit measurement, initialization, and unitary gates, all of which have error rate $p$, we prove that arbitrarily reliable quantum computation is possible provided $p<7.4\times {10}^{-4}$, a target that many experiments have already achieved. This closes a long-standing open problem, formally proving the experimental feasibility of quantum computation under physically reasonable assumptions.

We propose a protocol for conditional suppression of losses in direct quantum state transmission over a lossy quantum channel. The method works by noiselessly attenuating the input state prior to transmission through a lossy channel followed by noiseless amplification of the output state. The procedure does not add any noise; hence, it keeps quantum coherence. We experimentally demonstrate it in the subspace spanned by vacuum and single-photon states, and consider its general applicability.