Quantifying Quantum Correlations in Fermionic Systems using Witness Operators

We present a method to quantify quantum correlations in arbitrary systems of indistinguishable fermions using witness operators. The method associates the problem of finding the optimal entan- glement witness of a state with a class of problems known as semidefinite programs (SDPs), which can be solved efficiently with arbitrary accuracy. Based on these optimal witnesses, we introduce a measure of quantum correlations which has an interpretation analogous to the Generalized Robust- ness of entanglement. We also extend the notion of quantum discord to the case of indistinguishable fermions, and propose a geometric quantifier, which is compared to our entanglement measure. Our numerical results show a remarkable equivalence between the proposed Generalized Robustness and the Schliemann concurrence, which are equal for pure states. For mixed states, the Schliemann con- currence presents itself as an upper bound for the Generalized Robustness. The quantum discord is also found to be an upper bound for the entanglement.Comment: 7 pages, 6 figures, Accepted for publication in Quantum Information Processin

Strongly interacting polaritons in coupled arrays of cavities

Observing quantum phenomena in strongly correlated many-particle systems is difficult because of the short length- and timescales involved. Exerting control over the state of individual elements within such a system is even more so, and represents a hurdle in the realization of quantum computing devices. Substantial progress has been achieved with arrays of Josephson junctions and cold atoms in optical lattices, where detailed control over collective properties is feasible, but addressing individual sites remains a challenge. Here we show that a system of polaritons held in an array of resonant optical cavities—which could be realized using photonic crystals or toroidal microresonators—can form a strongly interacting many-body system showing quantum phase transitions, where individual particles can be controlled and measured. The system also offers the possibility to generate attractive on-site potentials yielding highly entangled states and a phase with particles much more delocalized than in superfluids

Effective Spin Systems in Coupled Microcavities

We show that atoms trapped in microcavities that interact via the exchange of virtual photons can model an anisotropic Heisenberg spin-1/2 lattice in an external magnetic field. All parameters of the effective Hamiltonian can individually be tuned via external lasers. Since the occupations of excited atomic levels and photonic states are strongly suppressed, the effective model is robust against decoherence mechanisms, has a long lifetime, and its implementation is feasible with current experimental technology. The model provides a feasible way to create cluster states in these devices

Faithful Squashed Entanglement

Squashed entanglement is a measure for the entanglement of bipartite quantum states. In this paper we present a lower bound for squashed entanglement in terms of a distance to the set of separable states. This implies that squashed entanglement is faithful, that is, strictly positive if and only if the state is entangled. We derive the bound on squashed entanglement from a bound on quantum conditional mutual information, which is used to define squashed entanglement and corresponds to the amount by which strong subadditivity of von Neumann entropy fails to be saturated. Our result therefore sheds light on the structure of states that almost satisfy strong subadditivity with equality. The proof is based on two recent results from quantum information theory: the operational interpretation of the quantum mutual information as the optimal rate for state redistribution and the interpretation of the regularised relative entropy of entanglement as an error exponent in hypothesis testing. The distance to the set of separable states is measured by the one-way LOCC norm, an operationally-motivated norm giving the optimal probability of distinguishing two bipartite quantum states, each shared by two parties, using any protocol formed by local quantum operations and one-directional classical communication between the parties. A similar result for the Frobenius or Euclidean norm follows immediately. The result has two applications in complexity theory. The first is a quasipolynomial-time algorithm solving the weak membership problem for the set of separable states in one-way LOCC or Euclidean norm. The second concerns quantum Merlin-Arthur games. Here we show that multiple provers are not more powerful than a single prover when the verifier is restricted to one-way LOCC operations thereby providing a new characterisation of the complexity class QMA.Comment: 24 pages, 1 figure, 1 table. Due to an error in the published version, claims have been weakened from the LOCC norm to the one-way LOCC nor

Entanglement as a quantum order parameter

We show that the quantum order parameters (QOP) associated with the transitions between a normal conductor and a superconductor in the BCS and eta-pairing models and between a Mott-insulator and a superfluid in the Bose-Hubbard model are directly related to the amount of entanglement existent in the ground state of each system. This gives a physical meaningful interpretation to these QOP, which shows the intrinsically quantum nature of the phase transitions considered.Comment: 5 pages. No figures. Revised version. References adde

End-to-end resource analysis for quantum interior point methods and portfolio optimization

We study quantum interior point methods (QIPMs) for second-order cone programming (SOCP), guided by the example use case of portfolio optimization (PO). We provide a complete quantum circuit-level description of the algorithm from problem input to problem output, making several improvements to the implementation of the QIPM. We report the number of logical qubits and the quantity/depth of non-Clifford T-gates needed to run the algorithm, including constant factors. The resource counts we find depend on instance-specific parameters, such as the condition number of certain linear systems within the problem. To determine the size of these parameters, we perform numerical simulations of small PO instances, which lead to concrete resource estimates for the PO use case. Our numerical results do not probe large enough instance sizes to make conclusive statements about the asymptotic scaling of the algorithm. However, already at small instance sizes, our analysis suggests that, due primarily to large constant pre-factors, poorly conditioned linear systems, and a fundamental reliance on costly quantum state tomography, fundamental improvements to the QIPM are required for it to lead to practical quantum advantage.Comment: 38 pages, 15 figure

Exponential Decay of Correlations Implies Area Law

We prove that a finite correlation length, i.e. exponential decay of correlations, implies an area law for the entanglement entropy of quantum states defined on a line. The entropy bound is exponential in the correlation length of the state, thus reproducing as a particular case Hastings proof of an area law for groundstates of 1D gapped Hamiltonians. As a consequence, we show that 1D quantum states with exponential decay of correlations have an efficient classical approximate description as a matrix product state of polynomial bond dimension, thus giving an equivalence between injective matrix product states and states with a finite correlation length. The result can be seen as a rigorous justification, in one dimension, of the intuition that states with exponential decay of correlations, usually associated with non-critical phases of matter, are simple to describe. It also has implications for quantum computing: It shows that unless a pure state quantum computation involves states with long-range correlations, decaying at most algebraically with the distance, it can be efficiently simulated classically. The proof relies on several previous tools from quantum information theory - including entanglement distillation protocols achieving the hashing bound, properties of single-shot smooth entropies, and the quantum substate theorem - and also on some newly developed ones. In particular we derive a new bound on correlations established by local random measurements, and we give a generalization to the max-entropy of a result of Hastings concerning the saturation of mutual information in multiparticle systems. The proof can also be interpreted as providing a limitation on the phenomenon of data hiding in quantum states.Comment: 35 pages, 6 figures; v2 minor corrections; v3 published versio

An area law for entanglement from exponential decay of correlations

Area laws for entanglement in quantum many-body systems give useful information about their low-temperature behaviour and are tightly connected to the possibility of good numerical simulations. An intuition from quantum many-body physics suggests that an area law should hold whenever there is exponential decay of correlations in the system, a property found, for instance, in non-critical phases of matter. However, the existence of quantum data-hiding state--that is, states having very small correlations, yet a volume scaling of entanglement--was believed to be a serious obstruction to such an implication. Here we prove that notwithstanding the phenomenon of data hiding, one-dimensional quantum many-body states satisfying exponential decay of correlations always fulfil an area law. To obtain this result we combine several recent advances in quantum information theory, thus showing the usefulness of the field for addressing problems in other areas of physics.Comment: 8 pages, 3 figures. Short version of arXiv:1206.2947 Nature Physics (2013

Strongly interacting polaritons in coupled arrays of cavities

Observing quantum phenomena in strongly correlated many-particle systems is difficult because of the short length- and timescales involved. Exerting control over the state of individual elements within such a system is even more so, and represents a hurdle in the realization of quantum computing devices. Substantial progress has been achieved with arrays of Josephson junctions and cold atoms in optical lattices, where detailed control over collective properties is feasible, but addressing individual sites remains a challenge. Here we show that a system of polaritons held in an array of resonant optical cavities—which could be realized using photonic crystals or toroidal microresonators—can form a strongly interacting many-body system showing quantum phase transitions, where individual particles can be controlled and measured. The system also offers the possibility to generate attractive on-site potentials yielding highly entangled states and a phase with particles much more delocalized than in superfluids