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.
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.
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.
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.
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.
What is the relation between spin squeezing and entanglement? To clarify this, we derive the full set of generalized-spin-squeezing inequalities for the detection of entanglement. These are inequalities for the mean values and variances of the collective angular-momentum components Jk. They can be used for the experimental detection of entanglement in a system of spin-21 particles in which the spins cannot be individually addressed. We present various sets of inequalities that can detect all entangled states that can be detected based on the knowledge of (i) the mean values and variances of Jk in three orthogonal directions, or (ii) the variances of Jk in three orthogonal directions, or (iii) the mean values of Jk2 in three orthogonal directions, or (iv) the mean values and variances of Jk in arbitrary directions. We compare our inequalities to known spin-squeezing entanglement criteria and discuss to which extent spin squeezing is related to entanglement in the reduced two-qubit states. Finally, we apply our criteria for the detection of entanglement in spin models, showing that they can be used to detect bound entanglement in these systems.
What is the relation between spin squeezing and entanglement? To clarify this, we derive the full set of generalized spin squeezing inequalities for the detection of entanglement. These are inequalities for the mean values and variances of the collective angular momentum components. They can be used for the experimental detection of entanglement in a system of spin‐12 particles in which the spins cannot be individually addressed. We also show how to obtain the complete set of entanglement conditions if the mean spin and the spin correlation matrix are known. Finally, we apply our criteria for entanglement detection in spin models, showing that they can be used to detect bound entanglement in the thermal state of these systems.