This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Bell nonlocality and entanglement in e+eYY¯e^{+}e^{-}\rightarrow Y\bar{Y} at BESIII

Sihao Wu [email protected] Department of Modern Physics and Anhui Center for fundamental sciences in theoretical physics, University of Science and Technology of China, Hefei 230026, China    Chen Qian [email protected] Beijing Academy of Quantum Information Sciences, Beijing 100193, China    Qun Wang [email protected] Department of Modern Physics and Anhui Center for fundamental sciences in theoretical physics, University of Science and Technology of China, Hefei 230026, China School of Mechanics and Physics, Anhui University of Science and Technology, Huainan,Anhui 232001, China    Xiao-Rong Zhou [email protected] Department of Modern Physics, University of Science and Technology of China, Hefei 230026, China
(February 14, 2025)
Abstract

The Bell nonlocality and entanglement are two kinds of quantum correlations in quantum systems. Due to the recent upgrade in Beijing Spectrometer III (BESIII) experiment, it is possible to explore the nonlocality and entanglement in hyperon-antihyperon systems produced in electron-positron annihilation with high precision data. We provide a systematic method for studying quantum correlations in spin-1/2 hyperon-antihyperon systems through the measures for the nonlocality and entanglement. We find that with nonvanishing polarizations of the hyperon and its antihyperon, the kinematic region of nonlocality in the hyperon-antihyperon system is more restricted than the τ+τ\tau^{+}\tau^{-} system in which polarizations of τ\tau leptons are vanishing. We also present an experimental proposal to probe the nonlocality and entanglement in hyperon-antihyperon systems at BSEIII.

I Introduction

Quantum mechanics, as a foundational pillar for modern physics, governs the properties of fundamental particles and their interactions. In this context, quantum information properties of fundamental particles can offer a novel perspective on understanding quantum mechanics. The Bell nonlocality, characterized by the violation of Bell-type inequalities [1, 2, 3], is a distinctive quantum property with significant implications for quantum mechanics. Closely related to the Bell nonlocality, the quantum entanglement is an invisible link between two particles that allows one to instantly affect the other regardless of their distance. The entanglement has practical applications in quantum information processing, including quantum computing [4], quantum metrology [5], and quantum communication [6]. In the research area of quantum information theory, theoretical details of the Bell nonlocality and entanglement have been thoroughly discussed (see, e.g., Refs. [7, 8] for recent reviews). Historically, the Bell nonlocality and entanglement have been widely studied in photonic and atomic systems [9, 10].

High-energy colliders provide an alternative testing ground for the nonlocality and entanglement [11]. The significant improvement in collider and detector technology has led to a large collection of high precision data, thereby enabling the possibility of observing the quantum correlation in high energy processes. Recently quantum correlations in elementary particle systems, e.g., top quark pairs at Large Hadron Collider (LHC) [12, 13, 14, 15, 16], leptons pairs [17, 18], gauge bosons from Higgs decay [19, 20, 21, 22], have been investigated.

In contrast to elementary particles, the use of hadronic final states to test quantum correlations has a relatively long history, dating back to early 1980s [23]. Subsequent studies came up in the past decades aiming at probing quantum correlations in hyperon systems [24, 25, 26, 27, 28, 29, 30]. The hyperon’s weak decay can serve as its own polarimeter and make it possible to extract spin observable in the hyperon-antihyperon system, including polarization and correlation, in experiments. With the recent upgrade of Beijing Spectrometer III (BESIII) at Beijing electron-positron collider, there is considerable potential to explore quantum correlations in hyperon-antihyperon production processes in electron-positron annihilation [31, 32, 33].

In this paper, we investigate the Bell nonlocality and entanglement in e+eγ/ψYY¯e^{+}e^{-}\rightarrow\gamma^{*}/\psi\rightarrow Y\bar{Y} processes at BESIII, where YY and Y¯\bar{Y} denote the spin-1/2 hyperon and its antihyperon respectively. Our study is based on the two-qubit density operator [34, 35] for YY¯Y\bar{Y}. Unlike elementary particle systems such as τ+τ\tau^{+}\tau^{-} at Belle II and tt¯t\bar{t} at LHC, the existence of electromagnetic form factors (EMFFs) in a polarized YY¯Y\bar{Y} state at BESIII [36] makes the YY¯Y\bar{Y} system different from elementary particle systems [18, 15]. Recognizing that the final YY¯Y\bar{Y} state is local unitary equivalent to the two-qubit XX state, we will derive the analytical expressions of nonlocality and entanglement for YY¯Y\bar{Y}. At the end of this paper, we will discuss the effect of EMFFs in quantum correlation and also give a proposal to probe the nonlocality and entanglement at BESIII.

This paper is organized as follows. We will introduce the two-qubit density operator for YY¯Y\bar{Y} produced in electron-positron annihilation in Sec. II. In Sec. III, we will discuss the two-qubit XX state and investigate the Bell nonlocality for YY¯Y\bar{Y}. The quantum entanglement in YY¯Y\bar{Y} will be addressed in Sec. IV. The relation between the Bell nonlocality and entanglement will be discussed in Sec. V. In Sec. VI, we will give a proposal to probe the nonlocality and entanglement at BESIII. The final section, Sec. VII, presents a summary of main results and outlook for future directions of study.

II Preliminaries

Hyperon-antihyperon pairs can be produced in electron-positron annihilation either through the virtual photon exchange e+eγYY¯e^{+}e^{-}\rightarrow\gamma^{*}\rightarrow Y\bar{Y} or through vector charmonium decays, e.g., e+eJ/ψYY¯e^{+}e^{-}\rightarrow J/\psi\rightarrow Y\bar{Y}, where YY denotes a ground-state octet hyperon Λ\Lambda, Σ+\Sigma^{+}, Ξ\Xi^{-} or Ξ0\Xi^{0}. In BESIII experiments, a huge number of events for vector charmonia J/ψJ/\psi and ψ(2S)\psi(2S) have been collected. These vector charmonia can decay into hyperon-antihyperon pairs. A YY¯Y\bar{Y} pair made of two spin-1/2 particles forms a massive two-qubit system. Due to momentum conservation, in the center of mass (CM) frame, the outgoing hyperon and antihyperon are back-to-back in momentum. Their spin states can be characterized by a two-qubit density operator

ρYY¯=\displaystyle\rho_{Y\bar{Y}}= 14(𝟙𝟙+𝐏+𝝈𝟙+𝟙𝐏𝝈\displaystyle\frac{1}{4}\biggl{(}\mathds{1}\otimes\mathds{1}+\mathbf{P}^{+}\cdot\boldsymbol{\sigma}\otimes\mathds{1}+\mathds{1}\otimes\mathbf{P}^{-}\cdot\boldsymbol{\sigma}
+i,jCijσiσj),\displaystyle+\sum_{i,j}C_{ij}\sigma_{i}\otimes\sigma_{j}\biggr{)}, (1)

with 𝝈=(σ1,σ2,σ3)\boldsymbol{\sigma}=(\sigma_{1},\sigma_{2},\sigma_{3}) being Pauli matrices, 𝐏±\mathbf{P}^{\pm} the polarization or Bloch vectors of hyperon/antihyperon, and CijC_{ij} their correlation matrix. The two-qubit density operator Eq. (1) can also be put into a more compact form: ρYY¯=(1/4)Θμνσμσν\rho_{Y\bar{Y}}=(1/4)\Theta_{\mu\nu}\sigma_{\mu}\otimes\sigma_{\nu} with Θ00=1\Theta_{00}=1, Θi0=Pi+\Theta_{i0}=P_{i}^{+}, Θ0j=Pj\Theta_{0j}=P_{j}^{-}, and Θij=Cij\Theta_{ij}=C_{ij}. Here, σ0\sigma_{0} is defined as the 2×22\times 2 identity matrix 𝟙\mathds{1}. In ρYY¯\rho_{Y\bar{Y}} there are 1515 real parameters for the spin configuration of the YY¯Y\bar{Y} pair.

The 4×44\times 4 matrix Θμν\Theta_{\mu\nu} is frame-dependent. For the hyperon YY, we choose its helicity rest frame as

𝐲^=𝐩^e×𝐩^Y|𝐩^e×𝐩^Y|,𝐳^=𝐩^Y,𝐱^=𝐲^×𝐳^,\hat{\mathbf{y}}=\frac{\hat{\mathbf{p}}_{e}\times\hat{\mathbf{p}}_{Y}}{\left|\hat{\mathbf{p}}_{e}\times\hat{\mathbf{p}}_{Y}\right|},\ \hat{\mathbf{z}}=\hat{\mathbf{p}}_{Y},\ \hat{\mathbf{x}}=\hat{\mathbf{y}}\times\hat{\mathbf{z}}, (2)

which is shown in Fig. 1. While for the antihyperon Y¯\bar{Y}, we also adopt its rest frame, but three axes are chosen to be the same as the hyperon’s: {𝐱^Y¯,𝐲^Y¯,𝐳^Y¯}={𝐱^,𝐲^,𝐳^}\{\hat{\mathbf{x}}_{\bar{Y}},\hat{\mathbf{y}}_{\bar{Y}},\hat{\mathbf{z}}_{\bar{Y}}\}=\{\hat{\mathbf{x}},\hat{\mathbf{y}},\hat{\mathbf{z}}\}. The three axes we choose are different from Refs. [34, 35], resulting in slightly different entries of Θμν\Theta_{\mu\nu}. Adopting this coordinate system is convenient since the rest frames of YY and Y¯\bar{Y} differ only by a pure boost along their momenta without rotation.

Refer to caption
Figure 1: The coordinate system used in the analysis with {𝐱^,𝐲^,𝐳^}\{\hat{\mathbf{x}},\hat{\mathbf{y}},\hat{\mathbf{z}}\} being three directions in the rest frame of YY as well as that of Y¯\bar{Y}.

In the rest frames of YY and Y¯\bar{Y} with three axes in Eq. (2), through virtual photon exchange Θμν\Theta_{\mu\nu} has the form [34, 35]

Θμν=11+αψcos2ϑ[1+αψcos2ϑ0βψsinϑcosϑ00sin2ϑ0γψsinϑcosϑβψsinϑcosϑ0αψsin2ϑ00γψsinϑcosϑ0αψ+cos2ϑ],\Theta_{\mu\nu}=\frac{1}{1+\alpha_{\psi}\cos^{2}\vartheta}\left[\begin{array}[]{c|ccc}1+\alpha_{\psi}\cos^{2}\vartheta&0&\beta_{\psi}\sin\vartheta\cos\vartheta&0\\ \hline\cr 0&\sin^{2}\vartheta&0&\gamma_{\psi}\sin\vartheta\cos\vartheta\\ \beta_{\psi}\sin\vartheta\cos\vartheta&0&-\alpha_{\psi}\sin^{2}\vartheta&0\\ 0&\gamma_{\psi}\sin\vartheta\cos\vartheta&0&\alpha_{\psi}+\cos^{2}\vartheta\end{array}\right], (3)

where ϑ\vartheta is the angle between the incoming electron’s and outgoing hyperon’s momenta with cosϑ=𝐩^e𝐩^Y\cos\vartheta=\hat{\mathbf{p}}_{e}\cdot\hat{\mathbf{p}}_{Y}. Here 𝐩^e\hat{\mathbf{p}}_{e} and 𝐩^Y\hat{\mathbf{p}}_{Y} are momentum directions of the electron and hyperon respectively. In Eq. (3), αψ[1,+1]\alpha_{\psi}\in[-1,+1] is the decay parameter of the vector charmonium ψ(cc¯)\psi(c\bar{c}), and βψ\beta_{\psi} and γψ\gamma_{\psi} are defined as

βψ=1αψ2sin(ΔΦ),γψ=1αψ2cos(ΔΦ),\beta_{\psi}=\sqrt{1-\alpha_{\psi}^{2}}\sin(\Delta\Phi),\ \gamma_{\psi}=\sqrt{1-\alpha_{\psi}^{2}}\cos(\Delta\Phi), (4)

where ΔΦ(π,+π]\Delta\Phi\in(-\pi,+\pi] is the relative form factor phase.

The polarization and correlation can be read out from Θμν\Theta_{\mu\nu} in Eq. (3)

Py+\displaystyle P_{y}^{+} =Py=βψsinϑcosϑ1+αψcos2ϑ,\displaystyle=P_{y}^{-}=\frac{\beta_{\psi}\sin\vartheta\cos\vartheta}{1+\alpha_{\psi}\cos^{2}\vartheta}, (5)

and

Cxx\displaystyle C_{xx} =sin2ϑ1+αψcos2ϑ,Cyy=αψsin2ϑ1+αψcos2ϑ,\displaystyle=\frac{\sin^{2}\vartheta}{1+\alpha_{\psi}\cos^{2}\vartheta},\ C_{yy}=\frac{-\alpha_{\psi}\sin^{2}\vartheta}{1+\alpha_{\psi}\cos^{2}\vartheta},
Czz\displaystyle C_{zz} =αψ+cos2ϑ1+αψcos2ϑ,\displaystyle=\frac{\alpha_{\psi}+\cos^{2}\vartheta}{1+\alpha_{\psi}\cos^{2}\vartheta},
Cxz\displaystyle C_{xz} =Czx=1αψ2cos(ΔΦ)sinϑcosϑ1+αψcos2ϑ.\displaystyle=C_{zx}=\frac{\sqrt{1-\alpha_{\psi}^{2}}\cos(\Delta\Phi)\sin\vartheta\cos\vartheta}{1+\alpha_{\psi}\cos^{2}\vartheta}. (6)

Here Py+P_{y}^{+} and PyP_{y}^{-} are the polarization of Y¯\bar{Y} and Y¯\bar{Y} along the direction 𝐲^\hat{\mathbf{y}} (the normal direction of the production plane), respectively. The symmetry property of the polarization and correlation arises from the invariance under parity transformation and charge conjugation. We do not consider 𝒞𝒫\mathcal{CP} violation in our analysis.

III Bell nonlocality

In this section, we will use the hyperon-antihyperon spin density operator to investigate Bell nonlocality in the YY¯Y\bar{Y} system.

III.1 Local unitary equivalence and XX states

Before our investigation of Bell nonlocality, it is convenient to transform the two-qubit state in Eqs. (1) and (3) to the XX state. First, we swap the 𝐲^\hat{\mathbf{y}} and 𝐳^\hat{\mathbf{z}} axes in YY and Y¯\bar{Y}’s rest frame. Then we diagonalize CijC_{ij} for YY and Y¯\bar{Y}. The transformed spin density operator can be written in terms of Pauli matrices as

ρYY¯X=\displaystyle\rho_{Y\bar{Y}}^{X}= 14(𝟙𝟙+aσz𝟙+𝟙aσz\displaystyle\frac{1}{4}\biggl{(}\mathds{1}\otimes\mathds{1}+a\sigma_{z}\otimes\mathds{1}+\mathds{1}\otimes a\sigma_{z}
+itiσiσi),\displaystyle+\sum_{i}t_{i}\sigma_{i}\otimes\sigma_{i}\biggr{)}, (7)

which is in the standard form of a symmetric two-qubit XX state [37]. Thus we place the superscript “XX” to ρYY¯\rho_{Y\bar{Y}}. The corresponding Θμν\Theta_{\mu\nu} becomes

ΘμνX=[100a0t10000t20a00t3],\Theta_{\mu\nu}^{X}=\left[\begin{array}[]{c|ccc}1&0&0&a\\ \hline\cr 0&t_{1}&0&0\\ 0&0&t_{2}&0\\ a&0&0&t_{3}\end{array}\right], (8)

where the elements aa and tit_{i} (i=1,2,3i=1,2,3) are given by

a\displaystyle a =βψsinϑcosϑ1+αψcos2ϑ,\displaystyle=\frac{\beta_{\psi}\sin\vartheta\cos\vartheta}{1+\alpha_{\psi}\cos^{2}\vartheta},
t1,2\displaystyle t_{1,2} =1+αψ±(1+αψcos2ϑ)2βψ2sin22ϑ2(1+αψcos2ϑ),\displaystyle=\frac{1+\alpha_{\psi}\pm\sqrt{\left(1+\alpha_{\psi}\cos 2\vartheta\right)^{2}-\beta_{\psi}^{2}\sin^{2}2\vartheta}}{2(1+\alpha_{\psi}\cos^{2}\vartheta)},
t3\displaystyle t_{3} =αψsin2ϑ1+αψcos2ϑ.\displaystyle=\frac{-\alpha_{\psi}\sin^{2}\vartheta}{1+\alpha_{\psi}\cos^{2}\vartheta}. (9)

We note that a=Py±a=P_{y}^{\pm} , t3=Cyyt_{3}=C_{yy}, and t1,2t_{1,2} come from diagonalizing the block matrix of CijC_{ij} with i,j=x,zi,j=x,z in Θμν\Theta_{\mu\nu}.

We note that the swapping of 𝐲^\hat{\mathbf{y}} and 𝐳^\hat{\mathbf{z}} axes and diagonalizing CijC_{ij} can be obtained by a local unitary transformation:

ρYY¯X=(UYUY¯)ρYY¯(UYUY¯),\rho_{Y\bar{Y}}^{X}=(U_{Y}\otimes U_{\bar{Y}})\rho_{Y\bar{Y}}(U_{Y}\otimes U_{\bar{Y}})^{\dagger}, (10)

where UYU_{Y} and UY¯U_{\bar{Y}} are two unitary operators acting independently in YY and Y¯\bar{Y}’s Hilbert space respectively [38]. The states described by ρYY¯\rho_{Y\bar{Y}} and ρYY¯X\rho_{Y\bar{Y}}^{X} are said to be local unitary equivalent in the sense that they have same quantum correlation properties such as Bell nonlocality and entanglement [39]. In the remainder of this paper, all analyses are based on the XX state in Eqs. (8) and (7).

III.2 Bell nonlocality

The nonlocal property in a quantum entangled system can be tested by the violation of Bell inequality [1]. The most widely used Bell-type inequality is the CHSH inequality [40]

|A1B1+A1B2+A2B1A2B2|2,\left|\left\langle A_{1}\otimes B_{1}\right\rangle+\left\langle A_{1}\otimes B_{2}\right\rangle+\left\langle A_{2}\otimes B_{1}\right\rangle-\left\langle A_{2}\otimes B_{2}\right\rangle\right|\leq 2, (11)

where Ai=𝐚i𝝈A_{i}=\mathbf{a}_{i}\cdot\boldsymbol{\sigma}, Bi=𝐛i𝝈B_{i}=\mathbf{b}_{i}\cdot\boldsymbol{\sigma}, and AiBjTr[ρ(𝐚i𝝈𝐛j𝝈)]\langle A_{i}\otimes B_{j}\rangle\equiv\mathrm{Tr}\left[\rho(\mathbf{a}_{i}\cdot\boldsymbol{\sigma}\otimes\mathbf{b}_{j}\cdot\boldsymbol{\sigma})\right] with i,j=1,2i,j=1,2. Here 𝐚1\mathbf{a}_{1}, 𝐚2\mathbf{a}_{2}, 𝐛1\mathbf{b}_{1} and 𝐛2\mathbf{b}_{2} are four directions (unit vectors) along which the spin polarization is measured. Then the inequality can be rewritten in a simpler form

|𝐚1TC(𝐛1+𝐛2)+𝐚2TC(𝐛1𝐛2)|2,\left|\mathbf{a}_{1}^{\mathrm{T}}C\left(\mathbf{b}_{1}+\mathbf{b}_{2}\right)+\mathbf{a}_{2}^{\mathrm{T}}C\left(\mathbf{b}_{1}-\mathbf{b}_{2}\right)\right|\leq 2, (12)

with CC being the correlation matrix CijC_{ij} in Eq. (1). Those quantum states that violate the CHSH inequality are called Bell nonlocal states. The maximum of the left-hand side of Eq. (12) can be obtained by tuning 𝐚1\mathbf{a}_{1}, 𝐚2\mathbf{a}_{2}, 𝐛1\mathbf{b}_{1} and 𝐛2\mathbf{b}_{2} as

[ρ]\displaystyle\mathcal{B}\left[\rho\right] max𝐚1,𝐚2,𝐛1,𝐛2|𝐚1TC(𝐛1+𝐛2)+𝐚2TC(𝐛1𝐛2)|\displaystyle\equiv\max_{\mathbf{a}_{1},\mathbf{a}_{2},\mathbf{b}_{1},\mathbf{b}_{2}}\left|\mathbf{a}_{1}^{\mathrm{T}}C\left(\mathbf{b}_{1}+\mathbf{b}_{2}\right)+\mathbf{a}_{2}^{\mathrm{T}}C\left(\mathbf{b}_{1}-\mathbf{b}_{2}\right)\right|
=2m1+m2,\displaystyle=2\sqrt{m_{1}+m_{2}}, (13)

where m1m_{1} and m2m_{2} are two largest eigenvalues of CTCC^{\mathrm{T}}C [41]. Therefore, the CHSH inequality can be violated iff (if and only if) m1+m2>1m_{1}+m_{2}>1, and the maximum possible violation of the CHSH inequality is the upper bound value 222\sqrt{2}. For convenience, we define a function of two-qubit density operator 𝔪12[ρ]m1+m2[0,2]\mathfrak{m}_{12}[\rho]\equiv m_{1}+m_{2}\in[0,2] to be a measure of the Bell nonlocality [16, 18].

Since we have put the density operator into the XX form in (8), the correlation matrix is diagonal: 𝐭=diag{t1,t2,t3}\mathbf{t}=\mathrm{diag}\{t_{1},t_{2},t_{3}\}. The three eigenvalues of CTCC^{\mathrm{T}}C or 𝐭T𝐭\mathbf{t}^{\mathrm{T}}\mathbf{t} are t12t_{1}^{2}, t22t_{2}^{2} and t32t_{3}^{2}. Then, according to Eq. (13), one needs to select the largest two values among them.

Table 1: Some parameters in e+eJ/ψYY¯e^{+}e^{-}\rightarrow J/\psi\rightarrow Y\bar{Y}, where YY¯Y\bar{Y} is a pair of ground-state octet hyperons.
(×104)\mathscr{B}(\times 10^{-4}) αψ\alpha_{\psi} ΔΦ/rad\Delta\Phi/\mathrm{rad} Ref
ΛΛ¯\Lambda\bar{\Lambda} 19.43(33)19.43(33) 0.475(4)0.475(4) 0.752(8)0.752(8) [31, 42]
Σ+Σ¯\Sigma^{+}\bar{\Sigma}^{-} 15.0(24)15.0(24) 0.508(7)-0.508(7) 0.270(15)-0.270(15) [43, 44]
ΞΞ¯+\Xi^{-}\bar{\Xi}^{+} 9.7(8)9.7(8) 0.586(16)0.586(16) 1.213(49)1.213(49) [32, 45]
Ξ0Ξ¯0\Xi^{0}\bar{\Xi}^{0} 11.65(4)11.65(4) 0.514(16)0.514(16) 1.168(26)1.168(26) [46, 47]

As we can see from Eq. (9) that t1,2,3t_{1,2,3} are functions of three parameters αψ\alpha_{\psi}, ΔΦ\Delta\Phi and ϑ\vartheta. Since t12t22t_{1}^{2}\geq t_{2}^{2} always holds for any values of αψ\alpha_{\psi}, ΔΦ\Delta\Phi and ϑ\vartheta, t12t_{1}^{2} should note be the smallest one. Then, one needs to compare t22t_{2}^{2} and t32t_{3}^{2}. If αψ0\alpha_{\psi}\geq 0, we aways have t22t32t_{2}^{2}\geq t_{3}^{2}. Therefore, the measure of nonlocality becomes 𝔪12[ρYY¯X]=t12+t22\mathfrak{m}_{12}[\rho_{Y\bar{Y}}^{X}]=t_{1}^{2}+t_{2}^{2}. However, for αψ<0\alpha_{\psi}<0, one can not judge which is larger t22t_{2}^{2} or t32t_{3}^{2}, since it depends on the specific values of three parameters. In this case the measure of nonlocality can be expressed as 𝔪12[ρYY¯X]=max{t12+t22,t12+t32}\mathfrak{m}_{12}[\rho_{Y\bar{Y}}^{X}]=\max\left\{t_{1}^{2}+t_{2}^{2},t_{1}^{2}+t_{3}^{2}\right\}. In summary, the measure of the Bell nonlocality reads

𝔪12[ρYY¯X]={t12+t22,αψ0max{t12+t22,t12+t32},αψ<0\mathfrak{m}_{12}\left[\rho_{Y\bar{Y}}^{X}\right]=\begin{cases}t_{1}^{2}+t_{2}^{2},&\alpha_{\psi}\geq 0\\ \max\left\{t_{1}^{2}+t_{2}^{2},t_{1}^{2}+t_{3}^{2}\right\},&\alpha_{\psi}<0\end{cases} (14)

where t12+t22t_{1}^{2}+t_{2}^{2} and t12+t32t_{1}^{2}+t_{3}^{2} are given by

t12+t22=1+(αψsin2ϑ1+αψcos2ϑ)22(βψsinϑcosϑ1+αψcos2ϑ)2,t_{1}^{2}+t_{2}^{2}=1+\left(\frac{\alpha_{\psi}\sin^{2}\vartheta}{1+\alpha_{\psi}\cos^{2}\vartheta}\right)^{2}-2\left(\frac{\beta_{\psi}\sin\vartheta\cos\vartheta}{1+\alpha_{\psi}\cos^{2}\vartheta}\right)^{2}, (15)
t12+t32=\displaystyle t_{1}^{2}+t_{3}^{2}= (1+αψ+(1+αψcos2ϑ)2βψ2sin22ϑ2(1+αψcos2ϑ))2\displaystyle\left(\frac{1+\alpha_{\psi}+\sqrt{(1+\alpha_{\psi}\cos 2\vartheta)^{2}-\beta_{\psi}^{2}\sin^{2}2\vartheta}}{2(1+\alpha_{\psi}\cos^{2}\vartheta)}\right)^{2}
+αψ2(1cos2ϑ)24(1+αψcos2ϑ)2.\displaystyle+\frac{\alpha_{\psi}^{2}(1-\cos 2\vartheta)^{2}}{4(1+\alpha_{\psi}\cos^{2}\vartheta)^{2}}. (16)
Refer to caption
Figure 2: The measure of the Bell nonlocality 𝔪12[ρYY¯X]\mathfrak{m}_{12}[\rho_{Y\bar{Y}}^{X}] as functions of cosϑ\cos\vartheta (ϑ\vartheta is the scattering angle) in e+eJ/ψYY¯e^{+}e^{-}\rightarrow J/\psi\rightarrow Y\bar{Y} with Y=ΛY=\Lambda, Σ+\Sigma^{+}, Ξ\Xi^{-} and Ξ0\Xi^{0} corresponding to curves in black solid, blue dash-dotted, green dashed, and red dotted lines respectively. The black horizontal line is the nonlocality bound 𝔪12=1\mathfrak{m}_{12}=1. The CHSH inequality is violated iff 𝔪12>1\mathfrak{m}_{12}>1.

In Table 1 are listed the values of αψ\alpha_{\psi} and ΔΦ\Delta\Phi for J/ψJ/\psi’s decays into a pair of octet hyperons in electron-positron annihilation. According to these parameters, we plot 𝔪12\mathfrak{m}_{12} as a function of the scattering angle ϑ\vartheta in Fig. 2 for different decay channels. From Fig. 2, we find that 𝔪12\mathfrak{m}_{12} is a symmetric function of ϑ\vartheta relative to ϑ=π/2\vartheta=\pi/2 in the range ϑ[0,π]\vartheta\in[0,\pi], and it reaches the maximum value 1+αψ21+\alpha_{\psi}^{2} at ϑ=π/2\vartheta=\pi/2. Thus we obtain

maxϑ[ρYY¯X]=21+αψ2.\max_{\vartheta}\,\mathcal{B}\left[\rho_{Y\bar{Y}}^{X}\right]=2\sqrt{1+\alpha_{\psi}^{2}}. (17)

By solving 𝔪12>1\mathfrak{m}_{12}>1 in Eq. (14) with fixed αψ\alpha_{\psi} and ΔΦ\Delta\Phi, we obtain the nonlocality range of the scattering angle as (ϑ,πϑ)\left(\vartheta^{*},\pi-\vartheta^{*}\right). For αψ0\alpha_{\psi}\geq 0, we can have an analytical expression for the critical angle ϑ\vartheta^{*}

ϑ=arctan|22αψ2sinΔΦαψ|,forαψ0.\vartheta^{*}=\arctan\left|\sqrt{2-2\alpha_{\psi}^{2}}\frac{\sin\Delta\Phi}{\alpha_{\psi}}\right|,\ \ \mathrm{for}\ \alpha_{\psi}\geq 0. (18)

The maximum violation in Eq. (17) and critical angles in different decay channels are listed in Table 2.

Table 2: The maximum violation max\mathcal{B}_{\mathrm{max}} in Eq. (17) and critical angles ϑ\vartheta^{*} for the CHSH inequality in e+eJ/ψYY¯e^{+}e^{-}\rightarrow J/\psi\rightarrow Y\bar{Y}.
ΛΛ¯\Lambda\bar{\Lambda} Σ+Σ¯\Sigma^{+}\bar{\Sigma}^{-} ΞΞ¯+\Xi^{-}\bar{\Xi}^{+} Ξ0Ξ¯0\Xi^{0}\bar{\Xi}^{0}
max\mathcal{B}_{\mathrm{max}} 2.214 2.243 2.318 2.249
ϑ\vartheta^{*} 60.81° 30.29° 61.37° 65.27°

IV Quantum entanglement

In this section we will discuss the quantum entanglement in the YY¯Y\bar{Y} system and its relation to the Bell nonlocality.

IV.1 Entanglement measure and concurrence

For a bipartite quantum system living in the combined Hilbert space ρABAB\rho_{AB}\in\mathscr{H}_{A}\otimes\mathscr{H}_{B}, the state is said to be separable iff the following decomposition holds

ρAB=kpkρAkρBk,\rho_{AB}=\sum_{k}p_{k}\rho_{A}^{k}\otimes\rho_{B}^{k}, (19)

where pk0p_{k}\geq 0 and kpk=1\sum_{k}p_{k}=1, and ρAk\rho_{A}^{k} and ρBk\rho_{B}^{k} are the density operator of the corresponding subsystem AA and BB, respectively. Moreover, the state cannot be decomposed into the above form is called non-separable or entangled.

For two-qubit and qubit-qutrit systems (2×22\times 2 and 2×32\times 3 respectively), the Peres-Horodecki criterion provides a sufficient and necessary condition for separability [48, 49]: a state ρAB\rho_{AB} is separable iff its partial transpose ρABTB\rho_{AB}^{\mathrm{T}_{B}} with respect to the second subsystem is positive semi-definite. The Peres-Horodecki criterion is also called Positive Partial Transpose (PPT) criterion.

The concurrence is an entanglement monotone, and it has a direct relationship with entanglement of formation [50]. In this work, we utilize the concurrence as a measure of the entanglement. In Ref. [51], Wootters derived the two-qubit concurrence as

𝒞[ρ]max{0,μ1μ2μ3μ4},\mathcal{C}[\rho]\equiv\max\left\{0,\mu_{1}-\mu_{2}-\mu_{3}-\mu_{4}\right\}, (20)

where μi\mu_{i} with i=1,2,3,4i=1,2,3,4 are the eigenvalues of the Hermitain matrix ρρ~ρ\sqrt{\sqrt{\rho}\tilde{\rho}\sqrt{\rho}} with ρ~=(σyσy)ρ(σyσy)\tilde{\rho}=(\sigma_{y}\otimes\sigma_{y})\rho^{*}(\sigma_{y}\otimes\sigma_{y}) in the decreasing order, and ρ\rho^{*} denotes the complex conjugate of ρ\rho in the spin basis of σz\sigma_{z}. Wootters’ concurrence is a function in the range [0,1][0,1]. A state is separable for 𝒞[ρ]=0\mathcal{C}[\rho]=0 and is entangled for 𝒞[ρ]>0\mathcal{C}[\rho]>0. When 𝒞[ρ]=1\mathcal{C}[\rho]=1, the state is said to be maximally entangled.

We rewrite the spin density operator for the hyperon-antihyperon system in the σz\sigma_{z} basis

ρYY¯X=14[1+2a+t300t1t201t3t1+t200t1+t21t30t1t20012a+t3],\rho_{Y\bar{Y}}^{X}=\frac{1}{4}\begin{bmatrix}1+2a+t_{3}&0&0&t_{1}-t_{2}\\ 0&1-t_{3}&t_{1}+t_{2}&0\\ 0&t_{1}+t_{2}&1-t_{3}&0\\ t_{1}-t_{2}&0&0&1-2a+t_{3}\end{bmatrix}, (21)

where aa and t1,2,3t_{1,2,3} are defined in Eq. (9). The above expression can be directly obtained by expanding Pauli operators in Eq. (7) into a 2×22\times 2 matrix form. The name XX state comes from its resemblance to the letter XX.

The Peres-Horodecki criterion for a general XX state claims that the state is entangled iff either ρ22Xρ33X<|ρ14X|2\rho_{22}^{X}\rho_{33}^{X}<|\rho_{14}^{X}|^{2} or ρ11Xρ44X<|ρ23X|2\rho_{11}^{X}\rho_{44}^{X}<|\rho_{23}^{X}|^{2} holds [52], but both conditions cannot be satisfied simultaneously [53]. The Wootters’ concurrence for the XX state is given by [37]

𝒞[ρX]=2max{0,|ρ14X|ρ22Xρ33X,|ρ23X|ρ11Xρ44X},\mathcal{C}\left[\rho^{X}\right]=2\max\left\{0,|\rho_{14}^{X}|-\sqrt{\rho_{22}^{X}\rho_{33}^{X}},|\rho_{23}^{X}|-\sqrt{\rho_{11}^{X}\rho_{44}^{X}}\right\}, (22)

with ρijX\rho_{ij}^{X} being given in (21). We see that the Peres-Horodecki criterion for the XX state is compatible with the concurrence.

Refer to caption
Figure 3: Wootters’ concurrence 𝒞[ρYY¯X]\mathcal{C}[\rho_{Y\bar{Y}}^{X}] as functions of cosϑ\cos\vartheta (ϑ\vartheta is the scattering angle), where Y=ΛY=\Lambda, Σ+\Sigma^{+}, Ξ\Xi^{-} and Ξ0\Xi^{0} corresponding to curves in black solid, blue dash-dotted, green dashed, and red dotted lines, respectively. The black horizontal line is the entanglement bound. The YY¯Y\bar{Y} system is entangled iff 𝒞>0\mathcal{C}>0.

With Eqs. (21) and (22), we derive the concurrence for the hyperon-antihyperon system as

𝒞[ρYY¯X]=|t2|\displaystyle\mathcal{C}\left[\rho_{Y\bar{Y}}^{X}\right]=\left|t_{2}\right|
=|1+αψ(1+αψcos2ϑ)2βψ2sin22ϑ|2(1+αψcos2ϑ).\displaystyle=\frac{\left|1+\alpha_{\psi}-\sqrt{\left(1+\alpha_{\psi}\cos 2\vartheta\right)^{2}-\beta_{\psi}^{2}\sin^{2}2\vartheta}\right|}{2(1+\alpha_{\psi}\cos^{2}\vartheta)}. (23)

The results for the concurrence as functions of ϑ\vartheta for octet hyperons listed in Table 1 are shown in Fig. 3. We see that the entanglement of YY¯Y\bar{Y} pairs exists in the whole range of the scattering angle ϑ\vartheta except at two collinear limits ϑ=0\vartheta=0 or π\pi. However, unlike the Bell nonlocality, the maximum value of the concurrence (or maximum entanglement) does not necessarily take place at ϑ=π/2\vartheta=\pi/2. Instead, it can occur at other angles such as the ones for ΞΞ¯+\Xi^{-}\bar{\Xi}^{+} and Ξ0Ξ¯0\Xi^{0}\bar{\Xi}^{0} shown in Table 3.

Table 3: The maximum concurrence 𝒞max\mathcal{C}_{\max} in Eq. (23) and their corresponding angles ϑmax\vartheta_{\max} in e+eJ/ψYY¯e^{+}e^{-}\rightarrow J/\psi\rightarrow Y\bar{Y}.
ΛΛ¯\Lambda\bar{\Lambda} Σ+Σ¯\Sigma^{+}\bar{\Sigma}^{-} ΞΞ¯+\Xi^{-}\bar{\Xi}^{+} Ξ0Ξ¯0\Xi^{0}\bar{\Xi}^{0}
𝒞max\mathcal{C}_{\max} 0.475 0.508 0.623 0.562
ϑmax\vartheta_{\max} 90° 90° 68.60°, 111.40° 66.26°, 113.74°

In summary, the outgoing hyperon-antihyperon pairs are entangled in the full range of the scattering angle except at two boundaries.

V Discussions on Bell nonlocality and entanglement

In this section, we will discuss the relation between Bell nonlocality and entanglement, the eigenvalue decomposition of the spin density matrix, the role of electromagnetic form factors in quantum correlation of the hyperon-antihyperon system.

V.1 Bell nonlocality versus entanglement

Given that both Bell nonlocality and quantum entanglement characterize quantum properties of a system, we try to look for the relationship between them.

For a two-qubit density operator ρ\rho with Wootters’ concurrence 𝒞[ρ]\mathcal{C}[\rho], the maximum violation of the CHSH inequality [ρ]\mathcal{B}[\rho] has an upper bound [54]

[ρ]21+𝒞2[ρ],\mathcal{B}[\rho]\leq 2\sqrt{1+\mathcal{C}^{2}[\rho]}, (24)

with [ρ]2𝔪12\mathcal{B}[\rho]\equiv 2\sqrt{\mathfrak{m}_{12}} defined in Eq. (13). In Fig. 4 we plot \mathcal{B} and 21+𝒞22\sqrt{1+\mathcal{C}^{2}} as functions of cosϑ\cos\vartheta. We see in Fig. 4 that the inequality (24) is always satisfied and the equality =21+𝒞2\mathcal{B}=2\sqrt{1+\mathcal{C}^{2}} (or equivalently 𝔪12=1+𝒞2\mathfrak{m}_{12}=1+\mathcal{C}^{2}) holds at ϑ=π/2\vartheta=\pi/2. At this transverse scattering angle, YY’s and Y¯\bar{Y}’s polarizations vanish from Eq. (5), then the spin density operator ρYY¯X\rho_{Y\bar{Y}}^{X} reduces to a very special subclass of the XX state: TT state or Bell Diagonal State (BDS). The upper bound of \mathcal{B} in (24) is attained for rank-2 BDSs [54].

Refer to caption
Figure 4: The measures =2𝔪12\mathcal{B}=2\sqrt{\mathfrak{m}_{12}} and 21+𝒞22\sqrt{1+\mathcal{C}^{2}} for the Bell nonlocality and quantum entanglement as functions of cosϑ\cos\vartheta (ϑ\vartheta is the scattering angle). The four panels (a)-(d) correspond to four decay channels of J/ψJ/\psi to YY¯Y\bar{Y} with Y=ΛY=\Lambda, Σ+\Sigma^{+}, Ξ\Xi^{-} and Ξ0\Xi^{0}, respectively. Solid blue lines are curves of 21+𝒞22\sqrt{1+\mathcal{C}^{2}} for the entanglement, while orange dot-dashed lines are curves of \mathcal{B}. The black solid horizontal line is the value 2. The YY¯Y\bar{Y} system is nonlocal or entangled iff >2\mathcal{B}>2 or 21+𝒞2>22\sqrt{1+\mathcal{C}^{2}}>2.

From Fig. 4, both measures for the Bell nonlocality and entanglement are symmetric with respect to ϑ=π/2\vartheta=\pi/2. However, even if hyperon-antihyperon pairs are entangled in the full range of scattering angle except at ϑ=0\vartheta=0 or π\pi, the Bell nonlocality only appears in the range ϑ(ϑ,πϑ)\vartheta\in(\vartheta^{*},\pi-\vartheta^{*}). This corresponds to the range where orange dot-dashed lines lie above the black line in Fig. 4. This indicates the relation between the Bell nonlocality and entanglement in the hierarchy of quantumness

Bell nonlocalityentanglement.\textrm{Bell nonlocality}\subset\textrm{entanglement}. (25)

Any nonlocal state must be entangled, but not all entangled states can have nonlocal correlation [55].

Another interesting behavior of the entanglement and nonlocality appears in the panels (c) and (d) in Fig. 4 for ΞΞ¯+\Xi^{-}\bar{\Xi}^{+} and Ξ0Ξ¯0\Xi^{0}\bar{\Xi}^{0}: the entanglement in the range from the maximum concurrence angle ϑmax\vartheta_{\max} (see Table 3) to π/2\pi/2 shows a decreasing trend while the Bell nonlocality is still increasing. This phenomenon, where less entanglement corresponds to more nonlocality, sometimes referred to as an anomaly of nonlocality [56]. It can be explained by the quantum resource theory that the entanglement and nonlocality may be inequivalent resources [57]. The subtle relationship between the entanglement and nonlocality is still an active topic in this field [58].

V.2 Eigenvalue decomposition

Any two-qubit density operator can be decomposed as ρ=i=14λi|λiλi|\rho=\sum_{i=1}^{4}\lambda_{i}|\lambda_{i}\rangle\langle\lambda_{i}|, with λi\lambda_{i} being the eigenvalue and |λi|\lambda_{i}\rangle the corresponding eigenstate. According to Eq. (21), the spin density operator has only two non-zero eigenvalues

λ1,2=12(1αψsin2ϑ1+αψcos2ϑ),\lambda_{1,2}=\frac{1}{2}\left(1\mp\frac{\alpha_{\psi}\sin^{2}\vartheta}{1+\alpha_{\psi}\cos^{2}\vartheta}\right), (26)

for the corresponding eigenstates

|λ1\displaystyle\left|\lambda_{1}\right\rangle =1+αψcos2ϑ+βψsin2ϑ2(1+αψcos2ϑ)|00\displaystyle=\sqrt{\frac{1+\alpha_{\psi}\cos 2\vartheta+\beta_{\psi}\sin 2\vartheta}{2(1+\alpha_{\psi}\cos 2\vartheta)}}\left|00\right\rangle
+1+αψcos2ϑβψsin2ϑ2(1+αψcos2ϑ)|11,\displaystyle\ +\sqrt{\frac{1+\alpha_{\psi}\cos 2\vartheta-\beta_{\psi}\sin 2\vartheta}{2(1+\alpha_{\psi}\cos 2\vartheta)}}\left|11\right\rangle,
|λ2\displaystyle\left|\lambda_{2}\right\rangle =12(|01+|10),\displaystyle=\frac{1}{\sqrt{2}}\left(\left|01\right\rangle+\left|10\right\rangle\right), (27)

where we adopt the notation for spin states: |0|z|0\rangle\equiv|\uparrow_{z}\rangle, |1|z|1\rangle\equiv|\downarrow_{z}\rangle. Through the eigenvalue decomposition, the spin configuration can be clearly shown in Eqs. (26) and (27) that ρYY¯X\rho_{Y\bar{Y}}^{X} can be treated as an ensemble of two pure states {|λ1,|λ2}\{|\lambda_{1}\rangle,|\lambda_{2}\rangle\} with probabilities {λ1,λ2}\{\lambda_{1},\lambda_{2}\}.

The eigenstate |λ1|\lambda_{1}\rangle is a superposition of two spin triplet states: |00=|S=1,Sz=1|00\rangle=|S=1,S_{z}=1\rangle and |11=|S=1,Sz=1|11\rangle=|S=1,S_{z}=-1\rangle, and |λ2|\lambda_{2}\rangle is another spin triplet state: |S=1,Sz=0|S=1,S_{z}=0\rangle. We see that there is no spin singlet component in the YY¯Y\bar{Y} system. This is the result of the angular momentum conversation in J/ψJ/\psi’s decay, and it coincides with the partial wave analysis that the outgoing YY¯Y\bar{Y} only has contributions from S13{}^{3}S_{1} and D13{}^{3}D_{1} waves [59].

The lack of spin singlet component can also be seen by imposing the spin projection operator FS=(1𝝈𝝈)/4F_{S}=(1-\boldsymbol{\sigma}\cdot\boldsymbol{\sigma})/4 on the spin density matrix [60] as

Tr{ρYY¯XFS}=Tr𝐭=TrC=0,\mathrm{Tr}\left\{\rho_{Y\bar{Y}}^{X}F_{S}\right\}=\mathrm{Tr}\,\mathbf{t}=\mathrm{Tr}\,C=0, (28)

with 𝐭\mathbf{t} and CC being the correlation matrix in Eqs. (7) and (3) respectively.

V.3 Electromagnetic form factors

In this subsection, we will look into the time-like electromagnetic form factors (EMFFs) in e+eYY¯e^{+}e^{-}\rightarrow Y\bar{Y} and investigate their effects on nonlocality and entanglement.

The electromagnetic current of the spin-1/2 hyperon can be expressed in terms of the Dirac form factor F1F_{1} and Pauli form factor F2F_{2} as [36]

Γμ=γμF1(q2)+iσμνqν2MF2(q2),\Gamma^{\mu}=\gamma^{\mu}F_{1}(q^{2})+i\frac{\sigma^{\mu\nu}q_{\nu}}{2M}F_{2}(q^{2}), (29)

where q=p1+p2q=p_{1}+p_{2} with p1p_{1} and p2p_{2} being the four-momentum of the hyperon and antihyperon respectively, and MM is the hyperon mass. With s=q2s=q^{2}, the electric and magnetic form factors GEG_{E} and GMG_{M} are related to F1F_{1} and F2F_{2} by

GE(s)=F1+s4M2F2,GM(s)=F1+F2.G_{E}(s)=F_{1}+\frac{s}{4M^{2}}F_{2},\ \ G_{M}(s)=F_{1}+F_{2}. (30)

Two parameters αψ\alpha_{\psi} and ΔΦ\Delta\Phi in the process e+eYY¯e^{+}e^{-}\rightarrow Y\bar{Y} are related to GEG_{E} and GMG_{M} by

αψ\displaystyle\alpha_{\psi} =\displaystyle= s4M2|GE/GM|2s+4M2|GE/GM|2[1,1],\displaystyle\frac{s-4M^{2}\left|G_{E}/G_{M}\right|^{2}}{s+4M^{2}\left|G_{E}/G_{M}\right|^{2}}\in[-1,1],
ΔΦ\displaystyle\Delta\Phi =\displaystyle= arg{GE/GM}(π,π].\displaystyle\arg\left\{G_{E}/G_{M}\right\}\in(-\pi,\pi]. (31)

From Eq. (5), nonvanishing polarizations of YY and Y¯\bar{Y} produced in annihilation of unpolarized electron and positron require ΔΦ0\Delta\Phi\neq 0 and π\pi. At the limit ΔΦ=0\Delta\Phi=0 or π\pi, however, there is only the spin correlation part in ρYY¯X\rho_{Y\bar{Y}}^{X} and without polarizations part from Eq. (7). This indicates that ρYY¯\rho_{Y\bar{Y}} is reduced to a BDS form as

ρYY¯BDS=14(𝟙𝟙+itiσiσi),\rho_{Y\bar{Y}}^{\mathrm{BDS}}=\frac{1}{4}\biggl{(}\mathds{1}\otimes\mathds{1}+\sum_{i}t_{i}\sigma_{i}\otimes\sigma_{i}\biggr{)}, (32)

where t22=t32t_{2}^{2}=t_{3}^{2}. We note that a BDS is also a XX state but without polarization.

Following Eqs. (14) and (15), the measure of the Bell nonlocality becomes

𝔪12[ρYY¯BDS]=1+(αψsin2ϑ1+αψcos2ϑ)21.\mathfrak{m}_{12}\left[\rho_{Y\bar{Y}}^{\mathrm{BDS}}\right]=1+\left(\frac{\alpha_{\psi}\sin^{2}\vartheta}{1+\alpha_{\psi}\cos^{2}\vartheta}\right)^{2}\geq 1. (33)

We see in this circumstance the violation of the CHSH inequality occurs in the full range of the scattering angle ϑ(0,π)\vartheta\in(0,\pi) for any αψ0\alpha_{\psi}\neq 0. This result is different from what we discussed in Sec. III, where the Bell nonlocality is violated in a restricted angle range (ϑ,πϑ)(\vartheta^{*},\pi-\vartheta^{*}). However, the maximal violation of the CHSH inequality also takes place at ϑ=π/2\vartheta=\pi/2 with the value in (17).

The concurrence in Eq. (23) for a BDS is reduced to

𝒞[ρYY¯BDS]=|αψ|sin2ϑ1+αψcos2ϑ.\mathcal{C}\left[\rho_{Y\bar{Y}}^{\mathrm{BDS}}\right]=\frac{|\alpha_{\psi}|\sin^{2}\vartheta}{1+\alpha_{\psi}\cos^{2}\vartheta}. (34)

Comparing Eq. (33) and (34), one can see that the inequality in Eq. (24) becomes an equality =21+𝒞2\mathcal{B}=2\sqrt{1+\mathcal{C}^{2}} (or equivalently 𝔪12=1+𝒞2\mathfrak{m}_{12}=1+\mathcal{C}^{2}) in the whole range of the scattering angle (not only at ϑ=π/2\vartheta=\pi/2). It is not a surprise since the property =21+𝒞2\mathcal{B}=2\sqrt{1+\mathcal{C}^{2}} (or equivalently 𝔪12=1+𝒞2\mathfrak{m}_{12}=1+\mathcal{C}^{2}) is valid for any rank-22 BDS [54] with the fact that both |λ1|\lambda_{1}\rangle and |λ2|\lambda_{2}\rangle become two Bell states (|00+|11)/2(|00\rangle+|11\rangle)/\sqrt{2} and (|01+|10)/2(|01\rangle+|10\rangle)/\sqrt{2} with βψ=0\beta_{\psi}=0.

From Eq. (31) we see that ΔΦ\Delta\Phi is the relative phase between GEG_{E} and GMG_{M}. Let us take an example for the limit case ΔΦ=0,π\Delta\Phi=0,\pi by assuming GE=±GMG_{E}=\pm G_{M}. As a consequence, the measures for the nonlocality and Wootters’ concurrence are given by

𝔪12\displaystyle\mathfrak{m}_{12} =\displaystyle= 1+[(s4M2)sin2ϑ4M2sin2ϑ+s(cos2ϑ+1)]2,\displaystyle 1+\left[\frac{\left(s-4M^{2}\right)\sin^{2}\vartheta}{4M^{2}\sin^{2}\vartheta+s\left(\cos^{2}\vartheta+1\right)}\right]^{2},
𝒞\displaystyle\mathcal{C} =\displaystyle= (s4M2)sin2ϑ4M2sin2ϑ+s(cos2ϑ+1).\displaystyle\frac{\left(s-4M^{2}\right)\sin^{2}\vartheta}{4M^{2}\sin^{2}\vartheta+s\left(\cos^{2}\vartheta+1\right)}. (35)

The above expressions coincide with Eqs. (3.4) and (3.7) in Ref. [18] for e+eτ+τe^{+}e^{-}\rightarrow\tau^{+}\tau^{-}. This is reasonable since the vertex Eq. (29) in e+eτ+τe^{+}e^{-}\rightarrow\tau^{+}\tau^{-} is simply γμ\gamma^{\mu} indicating GE=GMG_{E}=G_{M}.

In the process e+eYY¯e^{+}e^{-}\rightarrow Y\bar{Y}, the existence of EMFFs manifests in a polarized final state, even if the colliding beams are unpolarized [61]. And this polarization effect leads to the YY¯Y\bar{Y} spin correlation different from that in processes e+eτ+τe^{+}e^{-}\rightarrow\tau^{+}\tau^{-} and pptt¯pp\rightarrow t\bar{t} pairs [18, 13, 15].

VI Quantum tomography in experiments

The spin polarization of the hyperon and antihyperon can be measured through their weak decays [62, 63, 32] YBMY\rightarrow BM and Y¯B¯M¯\bar{Y}\rightarrow\bar{B}\bar{M}. The spin correlation in YY¯Y\bar{Y} can also be extracted from the joint decay YY¯BB¯(MM¯)Y\bar{Y}\rightarrow B\bar{B}(M\bar{M}) through the joint angular distribution of BB¯B\bar{B} [64]

I(ϑ;θ,θ¯)=\displaystyle I(\vartheta;\theta,\bar{\theta})= 1(4π)2[1+αYiPi+(ϑ)cosθi\displaystyle\frac{1}{(4\pi)^{2}}\biggl{[}1+\alpha_{Y}\sum_{i}P_{i}^{+}(\vartheta)\cos\theta_{i}
+αY¯jPj(ϑ)cosθ¯j\displaystyle+\alpha_{\bar{Y}}\sum_{j}P_{j}^{-}(\vartheta)\cos\bar{\theta}_{j}
+αYαY¯i,jCij(ϑ)cosθicosθ¯j],\displaystyle+\alpha_{Y}\alpha_{\bar{Y}}\sum_{i,j}C_{ij}(\vartheta)\cos\theta_{i}\cos\bar{\theta}_{j}\biggr{]}, (36)

where i,j=1,2,3i,j=1,2,3 or x,y,zx,y,z denote three directions in the rest frame of YY and Y¯\bar{Y} respectively, cosθi\cos\theta_{i} and cosθ¯j\cos\bar{\theta}_{j} are projections of BB and B¯\bar{B}’s momentum directions onto the axis ii and jj respectively, and αY\alpha_{Y} and αY¯\alpha_{\bar{Y}} are the decay parameters in YBMY\rightarrow BM and Y¯B¯M¯\bar{Y}\rightarrow\bar{B}\bar{M} respectively.

Table 4: Decay parameters for ground-state octet hyperons. In our analysis, we neglect the 𝒞𝒫\mathcal{CP} violation effect so we have αY¯=αY\alpha_{\bar{Y}}=-\alpha_{Y}.
YY (%)\mathscr{B}(\%) αY\alpha_{Y} Ref
Λpπ\Lambda\rightarrow p\pi^{-} 064064 0.755(3)0.755(3) [32, 65]
Σ+pπ0\Sigma^{+}\rightarrow p\pi^{0} 052052 0.994(4)-0.994(4) [44]
ΞΛπ\Xi^{-}\rightarrow\Lambda\pi^{-} 100100 0.379(4)-0.379(4) [32, 45]
Ξ0Λπ0\Xi^{0}\rightarrow\Lambda\pi^{0} 9696 0.375(3)-0.375(3) [45, 47]

By adopting the idea of the quantum tomography [13, 66] and the method of moments, the spin polarization and correlation in the hyperon-antihyperon system can be extracted from the joint distribution (36) as

Pi+(ϑ)\displaystyle P_{i}^{+}(\vartheta) =3αYcosθi,Pj=3αY¯cosθ¯j,\displaystyle=\frac{3}{\alpha_{Y}}\left\langle\cos\theta_{i}\right\rangle,\ P_{j}^{-}=\frac{3}{\alpha_{\bar{Y}}}\left\langle\cos\bar{\theta}_{j}\right\rangle,
Cij(ϑ)\displaystyle C_{ij}(\vartheta) =9αYαY¯cosθicosθ¯j.\displaystyle=\frac{9}{\alpha_{Y}\alpha_{\bar{Y}}}\left\langle\cos\theta_{i}\cos\bar{\theta}_{j}\right\rangle. (37)

In this way, 1515 real parameters 𝐏±\mathbf{P}^{\pm} and CijC_{ij} in ρYY¯\rho_{Y\bar{Y}} in Eq. (1) can be constructed from experiment data.

Furthermore, due to parity and charge conjugation invariance, these 15 parameters are not all independent: the only non-zero polarization is perpendicular to the production plane (i.e. in 𝐲^\hat{\mathbf{y}} direction) and Py+=PyP_{y}^{+}=P_{y}^{-}. The correlation is a symmetric matrix Cij=CjiC_{ij}=C_{ji} with Cxy=Cyz=0C_{xy}=C_{yz}=0. Then the 4×44\times 4 matrix Θμν\Theta_{\mu\nu} reads

Θμν(ϑ)=[10Py00Cxx0CxzPy0Cyy00Cxz0Czz],\Theta_{\mu\nu}(\vartheta)=\left[\begin{array}[]{c|ccc}1&0&P_{y}&0\\ \hline\cr 0&C_{xx}&0&C_{xz}\\ P_{y}&0&C_{yy}&0\\ 0&C_{xz}&0&C_{zz}\end{array}\right], (38)

where all elements are functions of the scattering angle ϑ\vartheta. Obviously, Eq. (38) is local unitary equivalent to the standard XX state.

The Bell nonlocality measure 𝔪12\mathfrak{m}_{12} is given by the sum of two largest eigenvalues CTCC^{\mathrm{T}}C whose three eigenvalues of CTCC^{\mathrm{T}}C are

Cyy2,14[Cxx+Czz±4Cxz2+(CxxCzz)2]2.C_{yy}^{2},\ \ \frac{1}{4}\left[C_{xx}+C_{zz}\pm\sqrt{4C_{xz}^{2}+\left(C_{xx}-C_{zz}\right)^{2}}\right]^{2}. (39)

The concurrence 𝒞\mathcal{C} is given by

𝒞=12max{\displaystyle\mathcal{C}=\frac{1}{2}\max\biggl{\{} 0,4Cxz2+(CxxCzz)2|1Cyy|,\displaystyle 0,\sqrt{4C_{xz}^{2}+\left(C_{xx}-C_{zz}\right)^{2}}-\left|1-C_{yy}\right|,
|Cxx+Czz|(1+Cyy)24Py2}.\displaystyle\left|C_{xx}+C_{zz}\right|-\sqrt{\left(1+C_{yy}\right)^{2}-4P_{y}^{2}}\biggr{\}}. (40)

Since PyP_{y} and CxxC_{xx}, CyyC_{yy}, CzzC_{zz} and CxzC_{xz} can all be constructed from data, the Bell nonlocality and entanglement can be tested in experiments.

The above probe to quantum correlation in e+ee^{+}e^{-} annihilation at BESIII can also be extended to pp¯YY¯p\bar{p}\rightarrow Y\bar{Y} at PANDA [67], in which the spin-parity of the intermediate resonance is not necessarily 11^{-}.

VII Summary and outlook

In this work, we present the study of the Bell nonlocality and entanglement in e+eYY¯e^{+}e^{-}\rightarrow Y\bar{Y}, with YY being the spin-1/2 octet hyperon. We begin with the spin density operator for YY¯Y\bar{Y} and convert it into that for the standard two-qubit XX state. Using properties of XX states, we derive analytical formulas for the Bell nonlocality and entanglement in various YY¯Y\bar{Y} systems, based on two intrinsic parameters, αψ\alpha_{\psi} and ΔΦ\Delta\Phi, along with a kinematic variable, the scattering angle ϑ\vartheta. We explore the relation between the Bell nonlocality and entanglement and present the experimental proposal to test the nonlocality and entanglement at BESIII.

In e+eYY¯e^{+}e^{-}\rightarrow Y\bar{Y}, the relative phase between the electric and magnetic form factors of hyperons lead to their polarizations in the spin density operator. With nonvanishing polarizations of YY and Y¯\bar{Y}, the kinematic region of nonlocality in the YY¯Y\bar{Y} system is more restricted than τ+τ\tau^{+}\tau^{-} [18, 17] and and tt¯t\bar{t} systems [16, 13, 14, 15] where polarizations of tau leptons and top quarks are vanishing. The entanglement in the YY¯Y\bar{Y} system can also influenced by the polarization effect in comparison with τ+τ\tau^{+}\tau^{-} and and tt¯t\bar{t} systems. This is the main result of our work.

Our work offers a theoretical framework for probing the nonlocality and entanglement in hyperon-antihyperon systems at BESIII. Our method can also be applied to other collision processes with XX-form final states such as pp¯YY¯p\bar{p}\rightarrow Y\bar{Y} at PANDA [67]. A modified CHSH inequality and related entanglement measures were proposed to quantify the quantum entanglement and spin correlation of ΛΛ¯\Lambda\bar{\Lambda} in string fragmentation [29]. Our method can also be generalized to describe the nonlocality and entanglement of such hyperon-antihyperon systems in many-body states.

Note added in the second version of this paper: we notice that a new paper appeared in the arxiv addressing similar problems but in a different angle [68].

Acknowledgements.
This work is supported by the National Natural Science Foundation of China (NSFC) under Grant Nos. 12135011 and 12305010.

References