These two accompanying papers treat two mode entanglement for systems of identical massive bosons and the relationship to spin squeezing and other quantum correlation effects. Entanglement is a key quantum feature of composite systems where the probabilities for joint measurements on the composite sub-systems are no longer determined from measurement probabilities on the separate sub-systems. We focus on the meaning of entanglement, the quantum paradoxes associated with entangled states, and important tests that allow an experimentalist to determine whether a quantum state - in particular, one for massive bosons is entangled. Our tests for entanglement fully utilise the symmetrisation principle and super-selection rules for bosonic massive particles. These papers provides detailed arguments necessary for the conclusions of a recent paper which presented results for rigorously demonstrating the entanglement of a two-mode Bose-Einstein condensate (BEC). In the first paper (I), we discuss the meaning of entanglement for systems of identical particles. For such systems, the relevant quantum density operators must satisfy the symmetrisation principle and global and local super-selection rules prohibiting states in which there are coherences between differing particle numbers. We fully justify these requirements. In the second quantisation approach, both the system and sub-systems are modes (or sets of modes) rather than particles, particles being associated with different mode occupancies. In the accompanying review paper (II), we consider spin squeezing and other tests for entanglement for two-mode bosonic systems. Starting from paper (I) we determine which tests are useful for detecting entanglement in massive bosonic (BEC), as opposed to photonic, systems. Several new inequalities are derived, and recent key experiments are analysed.
These two accompanying papers treat two mode entanglement for systems of identical massive bosons and the relationship to spin squeezing and other quantum correlation effects. Entanglement is a key quantum feature of composite systems where the probabilities for joint measurements on the composite sub-systems are no longer determined from measurement probabilities on the separate sub-systems. We focus on the meaning of entanglement, the quantum paradoxes associated with entangled states, and important tests that allow an experimentalist to determine whether a quantum state - in particular, one for massive bosons is entangled. Our tests for entanglement fully utilise the symmetrisation principle and super-selection rules for bosonic massive particles. These papers provides detailed arguments necessary for the conclusions of a recent paper which presented results for rigorously demonstrating the entanglement of a two-mode Bose-Einstein condensate (BEC). In the first paper (I), we discuss the meaning of entanglement for systems of identical particles. For such systems, the relevant quantum density operators must satisfy the symmetrisation principle and global and local super-selection rules prohibiting states in which there are coherences between differing particle numbers. We fully justify these requirements. In the second quantisation approach, both the system and sub-systems are modes (or sets of modes) rather than particles, particles being associated with different mode occupancies. In the accompanying review paper (II), we consider spin squeezing and other tests for entanglement for two-mode bosonic systems. Starting from paper (I) we determine which tests are useful for detecting entanglement in massive bosonic (BEC), as opposed to photonic, systems. Several new inequalities are derived, and recent key experiments are analysed.
Abstract These two accompanying papers are concerned with two mode entanglement for systems of identical massive bosons and the relationship to spin squeezing and other quantum correlation effects. Entanglement is a key quantum feature of composite systems in which the probabilities for joint measurements on the composite sub-systems are no longer determined from measurement probabilities on the separate sub-systems. There are many aspects of entanglement that can be studied. This two-part review focuses on the meaning of entanglement, the quantum paradoxes associated with entangled states, and the important tests that allow an experimentalist to determine whether a quantum state—in particular, one for massive bosons is entangled. An overall outcome of the review is to distinguish criteria (and hence experiments) for entanglement that fully utilize the symmetrization principle and the super-selection rules that can be applied to bosonic massive particles. In the first paper (I), the background is given for the meaning of entanglement in the context of systems of identical particles. For such systems, the requirement is that the relevant quantum density operators must satisfy the symmetrization principle and that global and local super-selection rules prohibit states in which there are coherences between differing particle numbers. The justification for these requirements is fully discussed. In the second quantization approach that is used, both the system and the sub-systems are modes (or sets of modes) rather than particles, particles being associated with different occupancies of the modes. The definition of entangled states is based on first defining the non-entangled states—after specifying which modes constitute the sub-systems. This work mainly focuses on the two mode entanglement for massive bosons, but is put in the context of tests of local hidden variable theories, where one may not be able to make the above restrictions. The review provides the detailed arguments necessary for the conclusions of a recent paper, where the question of how to rigorously demonstrate the entanglement of a two-mode Bose–Einstein condensate (BEC) has been examined. In the accompanying review paper (II), we consider spin squeezing and other tests for entanglement that have been proposed for two-mode bosonic systems. We apply the approach of review (I) to determine which tests, and which modifications of the tests, are useful for detecting entanglement in massive bosonic (BEC), as opposed to photonic, systems. Several new inequalities are derived, a theory for the required two-mode interferometry is presented, and key experiments to date are analyzed.
The concept of entangled quantum states is considered in the context of systems of identical particles, based on the requirement that in order to represent physical states both for the overall system and the sub-systems which may be entangled, the density operators must satisfy the symmetrisation principle and global and local super-selection rules that prohibit states in which there are coherences between differing particle numbers. These requirements and their justification are fully discussed. In the second quantisation approach used, both the system and the sub-systems are modes (or sets of modes) rather than particles, particles being associated with different occupancies of the modes. The definition of entangled states is based on first defining the non-entangled states - after specifying which modes constitute the sub-systems. This paper mainly focuses on two mode entanglement for massive bosons. Several inequalities involving variances and mean values of operators involving mode annihilation, creation operators have been proposed as tests for two mode entangled states, including the inequalities that define spin squeezing. Spin squeezing criteria in two mode systems are examined, and spin squeezing is best considered for principle spin operator components where the covariance matrix is diagonal. It is shown that the presence of spin squeezing in at least one of the spin components requires entanglement of the relevant pair of modes. Several of the other proposed tests for entanglement, including ones based on the sum of the variances for two spin components are considered. All of the tests are still valid when the present concept of entanglement based on the symmetrisation and super-selection rule criteria is applied, but further tests have been obtained here. Sometimes the new tests are satisfied whilst than those obtained in other papers are not.
Abstract These two accompanying papers are concerned with entanglement for systems of identical massive bosons and the relationship to spin squeezing and other quantum correlation effects. The main focus is on two mode entanglement, but multi-mode entanglement is also considered. The bosons may be atoms or molecules as in cold quantum gases. The previous paper I dealt with the general features of quantum entanglement and its specific definition in the case of systems of identical bosons. Entanglement is a property shared between two (or more) quantum sub-systems. In defining entanglement for systems of identical massive particles, it was concluded that the single particle states or modes are the most appropriate choice for sub-systems that are distinguishable, that the general quantum states must comply both with the symmetrization principle and the super-selection rules (SSR) that forbid quantum superpositions of states with differing total particle number (global SSR compliance). Further, it was concluded that (in the separable states) quantum superpositions of sub-system states with differing sub-system particle number (local SSR compliance) also do not occur. The present paper II determines possible tests for entanglement based on the treatment of entanglement set out in paper I. Several inequalities involving variances and mean values of operators have been previously proposed as tests for entanglement between two sub-systems. These inequalities generally involve mode annihilation and creation operators and include the inequalities that define spin squeezing. In this paper, spin squeezing criteria for two mode systems are examined, and spin squeezing is also considered for principle spin operator components where the covariance matrix is diagonal. The proof, which is based on our SSR compliant approach shows that the presence of spin squeezing in any one of the spin components requires entanglement of the relevant pair of modes. A simple Bloch vector test for entanglement is also derived. Thus we show that spin squeezing becomes a rigorous test for entanglement in a system of massive bosons, when viewed as a test for entanglement between two modes. In addition, other previously proposed tests for entanglement involving spin operators are considered, including those based on the sum of the variances for two spin components. All of the tests are still valid when the present concept of entanglement based on the symmetrization and SSR criteria is applied. These tests also apply in cases of multi-mode entanglement, though with restrictions in the case of sub-systems each consisting of pairs of modes. Tests involving quantum correlation functions are also considered and for global SSR compliant states these are shown to be equivalent to tests involving spin operators. A new weak correlation test is derived for entanglement based on local SSR compliance for separable states, complementing the stronger correlation test obtained previously when this is ignored. The Bloch vector test is equivalent to one case of this weak correlation test. Quadrature squeezing for single modes is also examined but not found to yield a useful entanglement test, whereas two mode quadrature squeezing proves to be a valid entanglement test, though not as useful as the Bloch vector test. The various entanglement tests are considered for well-known entangled states, such as binomial states, relative phase eigenstates and NOON states—sometimes the new tests are satisfied while than those obtained in other papers are not. The present paper II then outlines the theory for a simple two mode interferometer showing that such an interferometer can be used to measure the mean values and covariance matrix for the spin operators involved in entanglement tests for the two mode bosonic system. The treatment is also generalized to cover multi-mode interferometry. The interferometer involves a pulsed classical field characterized by a phase variable and an area variable defined by the time integral of the field amplitude, and leads to a coupling between the two modes. For simplicity the center frequency was chosen to be resonant with the inter-mode transition frequency. Measuring the mean and variance of the population difference between the two modes for the output state of the interferometer for various choices of interferometer variables is shown to enable the mean values and covariance matrix for the spin operators for the input quantum state of the two mode system to be determined. The paper concludes with a discussion of several key experimental papers on spin squeezing.
For any quantum state representing a physical system of identical particles, the density operator must satisfy the symmetrization principle (SP) and conform to super-selection rules (SSR) that prohibit coherences between differing total particle numbers. Here we consider bi-partitite states for massive bosons, where both the system and sub-systems are modes (or sets of modes) and particle numbers for quantum states are determined from the mode occupancies. Defining non-entangled or separable states as those prepared via local operations (on the sub-systems) and classical communication processes, the sub-system density operators are also required to satisfy the SP and conform to the SSR, in contrast to some other approaches. Whilst in the presence of this additional constraint the previously obtained sufficiency criteria for entanglement, such as the sum of the and variances for the Schwinger spin components being less than half the mean boson number, and the strong correlation test of being greater than are still valid, new tests are obtained in our work. We show that the presence of spin squeezing in at least one of the spin components , and is a sufficient criterion for the presence of entanglement and a simple correlation test can be constructed of merely being greater than zero. We show that for the case of relative phase eigenstates, the new spin squeezing test for entanglement is satisfied (for the principle spin operators), whilst the test involving the sum of the and variances is not. However, another spin squeezing entanglement test for Bose–Einstein condensates involving the variance in being less than the sum of the squared mean values for and divided by the boson number was based on a concept of entanglement inconsistent with the SP, and here we present a revised treatment which again leads to spin squeezing as an entanglement test.
This paper contributes to the proceedings of the Latin-American School of Physics (ELAF-2017) on Quantum Correlations, and is a brief review of quantum entanglement and nonlocality. In such a brief review, only some topics can be covered. The emphasis is on those topics relevant that may be relevant to detecting multi-particle quantum correlations arising in atomic and Bose-Einstein condensate (BEC) experiments. The paper is divided into five sections. In the first section, the historical papers of Einstein-Podolsky-Rosen (EPR), Bell, Schrodinger and Greenberger-Zeilinger-Horne (GHZ) are described in a tutorial fashion. This is followed by an introduction to entanglement and density operators. A discussion of the classes of nonlocality is given in the third section, including the modern interpretation of the correlations of the EPR paradox experiments, known as EPR steering correlations. The fourth section covers the detection and generation of so-called continuous variable entanglement and EPR steering. Various known criteria are derived with the details of the proofs given for tutorial purposes. The final section focuses on the criteria and methods that have been useful to detect quantum correlation in BEC or atomic systems. Recent results relating spin squeezing with quantum correlations, including entanglement and EPR steering, are summarised.
The categorization of quantum states for composite systems as either separable or entangled, or alternatively as Bell local or Bell non-local states based on local hidden variable theory is outlined, focusing on simple bipartite systems. The significance of states demonstrating Bell non-locality for settling the long standing controversy between the Copenhagen interpretation of the quantum measurement process involving “collapse of the wave-function” and the alternative interpretation based on pre-existing hidden variables is emphasized. Although experiments demonstrating violations of Bell locality in microscopic systems have now been carried out, there is current interest in finding Bell non-locality in quantum systems on a macroscopic scale, since this is a regime where a classical hidden variable theory might still apply. Progress towards finding macroscopic quantum states that violate Bell inequalities is reviewed. A new test for Bell non-locality that applies when the sub-system measured quantities are spin components with large outcomes is described, and applied to four mode systems of identical massive bosons in Bose-Einstein condensates.