Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
\addbibresource

main.bib

SVD Entanglement Entropy of Chiral Dirac Oscillators

Yuvraj Singh ys987@snu.edu.in S.N. Bose National Centre for Basic Sciences, JD Block, Sector III, Salt Lake, Kolkata 700106, India Department of Physics, Shiv Nadar Institution of Eminence, Gautam Buddha Nagar, Uttar Pradesh 201314, India Rabin Banerjee rabin@bose.res.in S.N. Bose National Centre for Basic Sciences, JD Block, Sector III, Salt Lake, Kolkata 700106, India
(July 2024)
Abstract

We discuss the SVD entanglement entropy, which has recently come up as a successor to the pseudo entropy. This paper is a first-of-its-kind application of SVD entanglement entropy to a system of chiral Dirac oscillators which prove to be natural to study the SVD formalism because the two chiral oscillator ground states can be taken as the pre-selected and post-selected states. We argue how this alternative for entanglement entropy is better and more intuitive than the von Neumann one to study quantum phase transition. We also provide as an illustrative example, a new generalized proof of the SVD entanglement entropy being log22\log 2roman_log 2 for a pair of Bell states that differ from each other by relative phases.

INTRODUCTION
Entanglement entropy is a measure of the quantum correlation or entanglement between two subsystems in a quantum system. It has become an important parameter in studying the quantum properties of any emergent quantum system. Entanglement entropy is usually computed by the definition of entropy given by von Neumann [Nielsen_Chuang_2010] and is called the von Neumann entanglement entropy. Here we consider a single state and compute the entanglement entropy which is a measure of quantum correlations among the degrees of freedom for the given state. Recently however a new way has been devised to calculate entanglement entropy using the SVD (Singular Value Decomposition) entanglement entropy proposed in [svd]. In this we take two states and form a density matrix from these states rather than taking the same state, these states are called pre-selection and post-selection states, and then the entanglement entropy gives the measure of quantum correlations among the degrees of freedom for the post-selection and pre-selection states. It is observed that this result of SVD entanglement entropy comes out close to the usual von Neumann entanglement entropy. After the original work [svd] some papers citing SVD entropy have also appeared [he2023pseudo, narayan2024further, shinmyo2024pseudo, guo2024sum, he2024entanglement, kanda2024entanglement, grieninger2024temporal, anegawa2024black, nandy2024probing, guo2024relation, guo2024pseudoentropy] where it has been considered as a further generalization of the pseudo entropy [nakata2021new].

Here we concern ourselves with the entanglement entropy related to the states of the Dirac oscillator which is a relativistic fermionic harmonic oscillator in the presence of a constant magnetic field. These oscillators were first studied in [ito, M] and prove to be a very interesting system to study in quantum optics and condensed matter physics. In recent decades a lot of work has been put into the theoretical [Ivanov_2013, PhysRevA.90.042111] as well as experimental advancement [PhysRevLett.111.170405] of this in terms of its thermal properties [Okon2021], further generalizations [10.1063/1.4905085, PhysRevD.91.045032] and its applications to cosmology and gravitational systems [Oliveira2024, Andrade2014, Bakke2013] have also come up. In work done by Bermudez et al. in [chiral], it was shown that these Dirac oscillators in the presence of a constant magnetic field exhibit a quantum phase transition. This study calculated the analytical expression for order parameter, and canonical quantum fluctuations for the quantum phase transition, furthermore, entanglement properties between the degrees of freedom in the relativistic ground state were also studied. The entanglement entropy turns out to be divergent at the point of phase transition which is seen as a common feature of quantum phase transition [landau2005guide, pethick2008bose, stanley1987introduction, sachdev2011quantum].

In this work, we have shown how SVD entanglement entropy is used to calculate the entanglement entropy for a system exhibiting chiral behavior. Our results show that the behavior of SVD entanglement entropy is similar to [chiral] but the physical interpretation is more intuitive than the von Neumann entanglement entropy. The SVD entanglement entropy is the entanglement across the quantum phase transition of the degrees of freedom of the ground states. In both cases, the value of entanglement entropy is divergent at the critical point indicative of a quantum phase transition [svd, sachdev2011quantum].

As a prelude to the study of chiral Dirac oscillators, we provide as an illustrative example, a new generalized proof of the SVD entanglement entropy being log22\log 2roman_log 2 for a pair of Bell states that differ from each other by relative phases. This is a generalization of a result given in [svd] where they have considered a specific example of a Bell state and the same Bell state but with a relative phase as pre-selection and post-selection states respectively. This work is also a first-of-its-kind example of the application of SVD entanglement entropy in a quantum optical system. All the other studies are based on holographic CFTs as cited above.

The organization of this paper is as follows. In the first section, we introduce the SVD entanglement entropy and its basic properties, brief the work done in [svd] along with the generalized example for Bell states. In the second section, we introduce the formalism related to the chiral Dirac oscillator. Non-relativistic oscillators and chirality have been studied in a fundamental and field-theoretic manner by [banerjee2000canonical, banerjee1998chiral, banerjee2012dual] its connection to material science and topological Chern-Simons gauge theory has been pointed out in [10.1063/5.0214919, PhysRevD.41.661]. In the third section, we introduce our main result and compare it with the old result for entanglement entropy. Conclusions are given in the last section.

1 SVD ENTANGLEMENT ENTROPY

There have been numerous ways that try to incorporate a post-selection and pre-selection state into the calculation of entanglement entropy, as it is a useful formalism for treating problems in quantum gravity, black hole information paradox, condensed matter physics [horowitz2004black, gottesman2004comment, nakata2021new, salek2014negative, fullwood2023dynamical, tu2022renyi, zhu2011quantum, ferrie2014single, combes2014quantum] and quantum information theory [aharov1988spin, ramos2020measurement, arvidsson2020quantum, lupu2022negative]. The aim of this section is to introduce this new definition of entropy as elaborated in [svd]. This definition is the general definition for entanglement entropy which tries to solve the problem of considering pre-selection and post-selection states.

We are already familiar with the von Neumann entropy for a bipartite system. If ρ𝜌\rhoitalic_ρ represents the density operator of the system then, the von Neumann entropy is given by,

S=Tr(ρlogρ)𝑆𝑇𝑟𝜌𝜌S=-Tr(\rho\log\rho)italic_S = - italic_T italic_r ( italic_ρ roman_log italic_ρ )

But this definition of entropy uses only a single state and that state may be entangled or not.

The SVD (single value decomposition) entanglement entropy uses two states a pre-selected state and a post-selected state to calculate the entanglement entropy. It is proposed to be a natural generalization of the von Neumann entanglement entropy.

Consider a Hilbert space that is decomposed into two Hilbert spaces =ABtensor-productsubscript𝐴subscript𝐵\mathcal{H}=\mathcal{H}_{A}\otimes\mathcal{H}_{B}caligraphic_H = caligraphic_H start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ⊗ caligraphic_H start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT if we take |ψ1ketsubscript𝜓1|\psi_{1}\rangle| italic_ψ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ⟩ as the pre-selected state and |ψ2ketsubscript𝜓2|\psi_{2}\rangle| italic_ψ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ⟩ as the post-selected state, then we can define the reduced transition matrix[svd],

τ1|2:=|ψ1ψ2|ψ1|ψ2assignsuperscript𝜏conditional12ketsubscript𝜓1brasubscript𝜓2inner-productsubscript𝜓1subscript𝜓2\tau^{1|2}:=\frac{|\psi_{1}\rangle\langle\psi_{2}|}{\langle\psi_{1}|\psi_{2}\rangle}italic_τ start_POSTSUPERSCRIPT 1 | 2 end_POSTSUPERSCRIPT := divide start_ARG | italic_ψ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ⟩ ⟨ italic_ψ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | end_ARG start_ARG ⟨ italic_ψ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT | italic_ψ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ⟩ end_ARG (1)

whereas the unnormalized version is,

τ1|2=|ψ1ψ2|superscript𝜏conditional12ketsubscript𝜓1brasubscript𝜓2\tau^{1|2}=|\psi_{1}\rangle\langle\psi_{2}|italic_τ start_POSTSUPERSCRIPT 1 | 2 end_POSTSUPERSCRIPT = | italic_ψ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ⟩ ⟨ italic_ψ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT |

Now if we take the partial trace,

τA1|2=TrB[τ1|2]subscriptsuperscript𝜏conditional12𝐴𝑇subscript𝑟𝐵delimited-[]superscript𝜏conditional12\tau^{1|2}_{A}=Tr_{B}[\tau^{1|2}]italic_τ start_POSTSUPERSCRIPT 1 | 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT = italic_T italic_r start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT [ italic_τ start_POSTSUPERSCRIPT 1 | 2 end_POSTSUPERSCRIPT ]

Using this we define,

ρA1|2:=(τA1|2)(τA1|2)Tr[(τA1|2)(τA1|2)]assignsubscriptsuperscript𝜌conditional12𝐴superscriptsubscriptsuperscript𝜏conditional12𝐴subscriptsuperscript𝜏conditional12𝐴𝑇𝑟delimited-[]superscriptsubscriptsuperscript𝜏conditional12𝐴subscriptsuperscript𝜏conditional12𝐴\rho^{1|2}_{A}:=\frac{\sqrt{(\tau^{1|2}_{A})^{\dagger}(\tau^{1|2}_{A})}}{Tr% \left[\sqrt{(\tau^{1|2}_{A})^{\dagger}(\tau^{1|2}_{A})}\right]}italic_ρ start_POSTSUPERSCRIPT 1 | 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT := divide start_ARG square-root start_ARG ( italic_τ start_POSTSUPERSCRIPT 1 | 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( italic_τ start_POSTSUPERSCRIPT 1 | 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ) end_ARG end_ARG start_ARG italic_T italic_r [ square-root start_ARG ( italic_τ start_POSTSUPERSCRIPT 1 | 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( italic_τ start_POSTSUPERSCRIPT 1 | 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ) end_ARG ] end_ARG (2)

This operator is a density operator. Using this we define the SVD entropy as,

SSVD(τA1|2):=Tr[ρA1|2logρA1|2]assignsubscript𝑆𝑆𝑉𝐷subscriptsuperscript𝜏conditional12𝐴𝑇𝑟delimited-[]subscriptsuperscript𝜌conditional12𝐴subscriptsuperscript𝜌conditional12𝐴S_{SVD}(\tau^{1|2}_{A}):=-Tr[\rho^{1|2}_{A}\log\rho^{1|2}_{A}]italic_S start_POSTSUBSCRIPT italic_S italic_V italic_D end_POSTSUBSCRIPT ( italic_τ start_POSTSUPERSCRIPT 1 | 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ) := - italic_T italic_r [ italic_ρ start_POSTSUPERSCRIPT 1 | 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT roman_log italic_ρ start_POSTSUPERSCRIPT 1 | 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ] (3)

Hence, the functional form of SVD and von Neumann entanglement entropy is similar.[svd]
Now, we try to summarise the general definition and physical interpretation (in the context of information theory) as given in [svd].
General Definition: Given a space 𝕄msubscript𝕄𝑚\mathbb{M}_{m}blackboard_M start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT of m×m𝑚𝑚m\times mitalic_m × italic_m matrices. Then SSVDsubscript𝑆𝑆𝑉𝐷S_{SVD}italic_S start_POSTSUBSCRIPT italic_S italic_V italic_D end_POSTSUBSCRIPT is defined by,

SSVD:𝕄m[0,):subscript𝑆𝑆𝑉𝐷subscript𝕄𝑚0S_{SVD}:\mathbb{M}_{m}\longrightarrow\left[0,\infty\right)italic_S start_POSTSUBSCRIPT italic_S italic_V italic_D end_POSTSUBSCRIPT : blackboard_M start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ⟶ [ 0 , ∞ )
SSVD(A)=SvN(|A|A1)=i=1mσiA1log(σiA1)subscript𝑆𝑆𝑉𝐷𝐴subscript𝑆𝑣𝑁𝐴subscriptnorm𝐴1subscriptsuperscript𝑚𝑖1subscript𝜎𝑖subscriptnorm𝐴1subscript𝜎𝑖subscriptnorm𝐴1S_{SVD}(A)=S_{vN}\left(\frac{|A|}{||A||_{1}}\right)=-\sum^{m}_{i=1}\frac{% \sigma_{i}}{||A||_{1}}\log\left(\frac{\sigma_{i}}{||A||_{1}}\right)italic_S start_POSTSUBSCRIPT italic_S italic_V italic_D end_POSTSUBSCRIPT ( italic_A ) = italic_S start_POSTSUBSCRIPT italic_v italic_N end_POSTSUBSCRIPT ( divide start_ARG | italic_A | end_ARG start_ARG | | italic_A | | start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG ) = - ∑ start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT divide start_ARG italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG start_ARG | | italic_A | | start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG roman_log ( divide start_ARG italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG start_ARG | | italic_A | | start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG )

where |A|:=AAassign𝐴superscript𝐴𝐴|A|:=\sqrt{A^{\dagger}A}| italic_A | := square-root start_ARG italic_A start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_A end_ARG and, A1:=Tr|A|=i=1mσiassignsubscriptnorm𝐴1𝑇𝑟𝐴subscriptsuperscript𝑚𝑖1subscript𝜎𝑖||A||_{1}:=Tr|A|=\sum^{m}_{i=1}\sigma_{i}| | italic_A | | start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT := italic_T italic_r | italic_A | = ∑ start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT (σisubscript𝜎𝑖\sigma_{i}italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT are eigenvalues of |A|𝐴|A|| italic_A |). Also note if A=0𝐴0A=0italic_A = 0 then SSVD=0subscript𝑆𝑆𝑉𝐷0S_{SVD}=0italic_S start_POSTSUBSCRIPT italic_S italic_V italic_D end_POSTSUBSCRIPT = 0.[svd]
Physical Interpretation: von Neumann entropy coincides with the average number of Bell pairs that can be distilled from a given bipartite state via local operations and classical communication[PhysRevA.53.2046, Nielsen_Chuang_2010]. This result can also be proved for SVD entropy.[svd]

We can also diagonalize the reduced transition matrix,

τ1|2=UΛVsuperscript𝜏conditional12𝑈Λsuperscript𝑉\tau^{1|2}=U\cdot\Lambda\cdot V^{\dagger}italic_τ start_POSTSUPERSCRIPT 1 | 2 end_POSTSUPERSCRIPT = italic_U ⋅ roman_Λ ⋅ italic_V start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT

where U𝑈Uitalic_U and V𝑉Vitalic_V are unitary matrices, and ΛΛ\Lambdaroman_Λ is the diagonal matrix such that Λ=diag(λ1,,λdA)Λ𝑑𝑖𝑎𝑔subscript𝜆1subscript𝜆subscript𝑑𝐴\Lambda=diag(\lambda_{1},\ldots,\lambda_{d_{A}})roman_Λ = italic_d italic_i italic_a italic_g ( italic_λ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … , italic_λ start_POSTSUBSCRIPT italic_d start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_POSTSUBSCRIPT ) and λi0,i{1,,dA}formulae-sequencesubscript𝜆𝑖0for-all𝑖1subscript𝑑𝐴\lambda_{i}\geq 0,\forall i\in\{1,\ldots,d_{A}\}italic_λ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ≥ 0 , ∀ italic_i ∈ { 1 , … , italic_d start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT }. Then we can define the normalized eigenvalues as:

λ^i=λiλisubscript^𝜆𝑖subscript𝜆𝑖subscript𝜆𝑖\hat{\lambda}_{i}=\frac{\lambda_{i}}{\sum\lambda_{i}}over^ start_ARG italic_λ end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = divide start_ARG italic_λ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG start_ARG ∑ italic_λ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG

Clearly, λ^isubscript^𝜆𝑖\hat{\lambda}_{i}over^ start_ARG italic_λ end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT are eigenvalues of ρA1|2subscriptsuperscript𝜌conditional12𝐴\rho^{1|2}_{A}italic_ρ start_POSTSUPERSCRIPT 1 | 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT, then we have:

SSVD=idAλ^ilogλ^isubscript𝑆𝑆𝑉𝐷subscriptsuperscriptsubscript𝑑𝐴𝑖subscript^𝜆𝑖subscript^𝜆𝑖S_{SVD}=-\sum^{d_{A}}_{i}\hat{\lambda}_{i}\log\hat{\lambda}_{i}italic_S start_POSTSUBSCRIPT italic_S italic_V italic_D end_POSTSUBSCRIPT = - ∑ start_POSTSUPERSCRIPT italic_d start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT over^ start_ARG italic_λ end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT roman_log over^ start_ARG italic_λ end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT

These are all parts of standard results and definitions done in [svd].

1.1 General Result for the Bell States

Now, we make a general statement about the SVD entropy of the Bell states. In [svd] two states belonging to a bipartite system of bell states (ABtensor-productsubscript𝐴subscript𝐵\mathcal{H}_{A}\otimes\mathcal{H}_{B}caligraphic_H start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ⊗ caligraphic_H start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT) have been considered as:

|ψ1=12(|00+|11)|ψ2=12(|00+ϕ|11)ketsubscript𝜓112ket00ket11ketsubscript𝜓212ket00italic-ϕket11\begin{split}|\psi_{1}\rangle&=\frac{1}{\sqrt{2}}(|00\rangle+|11\rangle)\\ |\psi_{2}\rangle&=\frac{1}{\sqrt{2}}(|00\rangle+\phi|11\rangle)\end{split}start_ROW start_CELL | italic_ψ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ⟩ end_CELL start_CELL = divide start_ARG 1 end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG ( | 00 ⟩ + | 11 ⟩ ) end_CELL end_ROW start_ROW start_CELL | italic_ψ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ⟩ end_CELL start_CELL = divide start_ARG 1 end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG ( | 00 ⟩ + italic_ϕ | 11 ⟩ ) end_CELL end_ROW (4)

where ϕ𝐂italic-ϕ𝐂\phi\in\mathbf{C}italic_ϕ ∈ bold_C, |ϕ|=1italic-ϕ1|\phi|=1| italic_ϕ | = 1, and |ψ1ketsubscript𝜓1|\psi_{1}\rangle| italic_ψ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ⟩ and |ψ2ketsubscript𝜓2|\psi_{2}\rangle| italic_ψ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ⟩ are the pre-selected and post-selected states respectively.
Now we consider the following generalized states belonging to a bipartite system of bell states (ABtensor-productsubscript𝐴subscript𝐵\mathcal{H}_{A}\otimes\mathcal{H}_{B}caligraphic_H start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ⊗ caligraphic_H start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT).

|ψ1=a|αβ+b|γδ,|ψ2=c|α~β~+d|γ~δ~formulae-sequenceketsubscript𝜓1𝑎ket𝛼𝛽𝑏ket𝛾𝛿ketsubscript𝜓2𝑐ket~𝛼~𝛽𝑑ket~𝛾~𝛿\begin{split}|\psi_{1}\rangle&=a|\alpha\beta\rangle+b|\gamma\delta\rangle,\\ |\psi_{2}\rangle&=c|\tilde{\alpha}\tilde{\beta}\rangle+d|\tilde{\gamma}\tilde{% \delta}\rangle\end{split}start_ROW start_CELL | italic_ψ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ⟩ end_CELL start_CELL = italic_a | italic_α italic_β ⟩ + italic_b | italic_γ italic_δ ⟩ , end_CELL end_ROW start_ROW start_CELL | italic_ψ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ⟩ end_CELL start_CELL = italic_c | over~ start_ARG italic_α end_ARG over~ start_ARG italic_β end_ARG ⟩ + italic_d | over~ start_ARG italic_γ end_ARG over~ start_ARG italic_δ end_ARG ⟩ end_CELL end_ROW (5)

where α,β,γ,δ,α~,β~,γ~𝛼𝛽𝛾𝛿~𝛼~𝛽~𝛾\alpha,\beta,\gamma,\delta,\tilde{\alpha},\tilde{\beta},\tilde{\gamma}italic_α , italic_β , italic_γ , italic_δ , over~ start_ARG italic_α end_ARG , over~ start_ARG italic_β end_ARG , over~ start_ARG italic_γ end_ARG, and δ~{0,1}~𝛿01\tilde{\delta}\in\{0,1\}over~ start_ARG italic_δ end_ARG ∈ { 0 , 1 } and a,b,c,d𝑎𝑏𝑐𝑑a,b,c,ditalic_a , italic_b , italic_c , italic_d 𝐂absent𝐂\in\mathbf{C}∈ bold_C, |a|,|b|,|c|,|d|=1𝑎𝑏𝑐𝑑1|a|,|b|,|c|,|d|=1| italic_a | , | italic_b | , | italic_c | , | italic_d | = 1. The transition matrix is given by,

τ1|2=|ψ1ψ2|ψ1|ψ2superscript𝜏conditional12ketsubscript𝜓1brasubscript𝜓2inner-productsubscript𝜓1subscript𝜓2\tau^{1|2}=\frac{|\psi_{1}\rangle\langle\psi_{2}|}{\langle\psi_{1}|\psi_{2}\rangle}italic_τ start_POSTSUPERSCRIPT 1 | 2 end_POSTSUPERSCRIPT = divide start_ARG | italic_ψ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ⟩ ⟨ italic_ψ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | end_ARG start_ARG ⟨ italic_ψ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT | italic_ψ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ⟩ end_ARG
τ1|2=ac|αβα~β~|+ad|αβγ~δ~|+ba|γδα~β~|+bd|γδγ~δ~|acαβ|α~β~+adαβ|γ~δ~+bcγδ|α~β~+bdγδ|γ~δ~superscript𝜏conditional12𝑎superscript𝑐ket𝛼𝛽quantum-operator-product~𝛼~𝛽𝑎superscript𝑑𝛼𝛽quantum-operator-product~𝛾~𝛿𝑏superscript𝑎𝛾𝛿quantum-operator-product~𝛼~𝛽𝑏superscript𝑑𝛾𝛿bra~𝛾~𝛿superscript𝑎𝑐inner-product𝛼𝛽~𝛼~𝛽superscript𝑎𝑑inner-product𝛼𝛽~𝛾~𝛿superscript𝑏𝑐inner-product𝛾𝛿~𝛼~𝛽superscript𝑏𝑑inner-product𝛾𝛿~𝛾~𝛿\tau^{1|2}=\frac{ac^{*}|\alpha\beta\rangle\langle\tilde{\alpha}\tilde{\beta}|+% ad^{*}|\alpha\beta\rangle\langle\tilde{\gamma}\tilde{\delta}|+ba^{*}|\gamma% \delta\rangle\langle\tilde{\alpha}\tilde{\beta}|+bd^{*}|\gamma\delta\rangle% \langle\tilde{\gamma}\tilde{\delta}|}{a^{*}c\langle\alpha\beta|\tilde{\alpha}% \tilde{\beta}\rangle+a^{*}d\langle\alpha\beta|\tilde{\gamma}\tilde{\delta}% \rangle+b^{*}c\langle\gamma\delta|\tilde{\alpha}\tilde{\beta}\rangle+b^{*}d% \langle\gamma\delta|\tilde{\gamma}\tilde{\delta}\rangle}italic_τ start_POSTSUPERSCRIPT 1 | 2 end_POSTSUPERSCRIPT = divide start_ARG italic_a italic_c start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT | italic_α italic_β ⟩ ⟨ over~ start_ARG italic_α end_ARG over~ start_ARG italic_β end_ARG | + italic_a italic_d start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT | italic_α italic_β ⟩ ⟨ over~ start_ARG italic_γ end_ARG over~ start_ARG italic_δ end_ARG | + italic_b italic_a start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT | italic_γ italic_δ ⟩ ⟨ over~ start_ARG italic_α end_ARG over~ start_ARG italic_β end_ARG | + italic_b italic_d start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT | italic_γ italic_δ ⟩ ⟨ over~ start_ARG italic_γ end_ARG over~ start_ARG italic_δ end_ARG | end_ARG start_ARG italic_a start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_c ⟨ italic_α italic_β | over~ start_ARG italic_α end_ARG over~ start_ARG italic_β end_ARG ⟩ + italic_a start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_d ⟨ italic_α italic_β | over~ start_ARG italic_γ end_ARG over~ start_ARG italic_δ end_ARG ⟩ + italic_b start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_c ⟨ italic_γ italic_δ | over~ start_ARG italic_α end_ARG over~ start_ARG italic_β end_ARG ⟩ + italic_b start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_d ⟨ italic_γ italic_δ | over~ start_ARG italic_γ end_ARG over~ start_ARG italic_δ end_ARG ⟩ end_ARG

The reduced transition matrix is,

τA1|2=TrB(τ1|2)subscriptsuperscript𝜏conditional12𝐴𝑇subscript𝑟𝐵superscript𝜏conditional12\tau^{1|2}_{A}=Tr_{B}(\tau^{1|2})italic_τ start_POSTSUPERSCRIPT 1 | 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT = italic_T italic_r start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT ( italic_τ start_POSTSUPERSCRIPT 1 | 2 end_POSTSUPERSCRIPT )
τA1|2=ac|αα~|(β|β~)+ad|αγ~|(β|δ~)+bc|γα~|(δ|β~)+bd|γγ~|(δ|δ~)acαβ|α~β~+adαβ|γ~δ~+bcγδ|α~β~+bdγδ|γ~δ~subscriptsuperscript𝜏conditional12𝐴𝑎superscript𝑐ket𝛼quantum-operator-product~𝛼inner-product𝛽~𝛽𝑎superscript𝑑𝛼quantum-operator-product~𝛾inner-product𝛽~𝛿𝑏superscript𝑐𝛾quantum-operator-product~𝛼inner-product𝛿~𝛽𝑏superscript𝑑𝛾bra~𝛾inner-product𝛿~𝛿superscript𝑎𝑐inner-product𝛼𝛽~𝛼~𝛽superscript𝑎𝑑inner-product𝛼𝛽~𝛾~𝛿superscript𝑏𝑐inner-product𝛾𝛿~𝛼~𝛽superscript𝑏𝑑inner-product𝛾𝛿~𝛾~𝛿\tau^{1|2}_{A}=\frac{ac^{*}|\alpha\rangle\langle\tilde{\alpha}|(\langle\beta|% \tilde{\beta}\rangle)+ad^{*}|\alpha\rangle\langle\tilde{\gamma}|(\langle\beta|% \tilde{\delta}\rangle)+bc^{*}|\gamma\rangle\langle\tilde{\alpha}|(\langle% \delta|\tilde{\beta}\rangle)+bd^{*}|\gamma\rangle\langle\tilde{\gamma}|(% \langle\delta|\tilde{\delta}\rangle)}{a^{*}c\langle\alpha\beta|\tilde{\alpha}% \tilde{\beta}\rangle+a^{*}d\langle\alpha\beta|\tilde{\gamma}\tilde{\delta}% \rangle+b^{*}c\langle\gamma\delta|\tilde{\alpha}\tilde{\beta}\rangle+b^{*}d% \langle\gamma\delta|\tilde{\gamma}\tilde{\delta}\rangle}italic_τ start_POSTSUPERSCRIPT 1 | 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT = divide start_ARG italic_a italic_c start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT | italic_α ⟩ ⟨ over~ start_ARG italic_α end_ARG | ( ⟨ italic_β | over~ start_ARG italic_β end_ARG ⟩ ) + italic_a italic_d start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT | italic_α ⟩ ⟨ over~ start_ARG italic_γ end_ARG | ( ⟨ italic_β | over~ start_ARG italic_δ end_ARG ⟩ ) + italic_b italic_c start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT | italic_γ ⟩ ⟨ over~ start_ARG italic_α end_ARG | ( ⟨ italic_δ | over~ start_ARG italic_β end_ARG ⟩ ) + italic_b italic_d start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT | italic_γ ⟩ ⟨ over~ start_ARG italic_γ end_ARG | ( ⟨ italic_δ | over~ start_ARG italic_δ end_ARG ⟩ ) end_ARG start_ARG italic_a start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_c ⟨ italic_α italic_β | over~ start_ARG italic_α end_ARG over~ start_ARG italic_β end_ARG ⟩ + italic_a start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_d ⟨ italic_α italic_β | over~ start_ARG italic_γ end_ARG over~ start_ARG italic_δ end_ARG ⟩ + italic_b start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_c ⟨ italic_γ italic_δ | over~ start_ARG italic_α end_ARG over~ start_ARG italic_β end_ARG ⟩ + italic_b start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_d ⟨ italic_γ italic_δ | over~ start_ARG italic_γ end_ARG over~ start_ARG italic_δ end_ARG ⟩ end_ARG

Since these are Bell states:

  • Case I: If without loss of generality we assume that α=β=0𝛼𝛽0\alpha=\beta=0italic_α = italic_β = 0 \implies γ𝛾\gammaitalic_γ, δ=1𝛿1\delta=1italic_δ = 1 (Bell states).

    τA1|2=ac|0α~|(0|β~)+ad|0γ~|(0|δ~)+bc|1α~|(1|β~)+bd|1γ~|(1|δ~)ac00|α~β~+ad00|γ~δ~+bc11|α~β~+bd11|γ~δ~subscriptsuperscript𝜏conditional12𝐴𝑎superscript𝑐ket0quantum-operator-product~𝛼inner-product0~𝛽𝑎superscript𝑑0quantum-operator-product~𝛾inner-product0~𝛿𝑏superscript𝑐1quantum-operator-product~𝛼inner-product1~𝛽𝑏superscript𝑑1bra~𝛾inner-product1~𝛿superscript𝑎𝑐inner-product00~𝛼~𝛽superscript𝑎𝑑inner-product00~𝛾~𝛿superscript𝑏𝑐inner-product11~𝛼~𝛽superscript𝑏𝑑inner-product11~𝛾~𝛿\tau^{1|2}_{A}=\frac{ac^{*}|0\rangle\langle\tilde{\alpha}|(\langle 0|\tilde{% \beta}\rangle)+ad^{*}|0\rangle\langle\tilde{\gamma}|(\langle 0|\tilde{\delta}% \rangle)+bc^{*}|1\rangle\langle\tilde{\alpha}|(\langle 1|\tilde{\beta}\rangle)% +bd^{*}|1\rangle\langle\tilde{\gamma}|(\langle 1|\tilde{\delta}\rangle)}{a^{*}% c\langle 00|\tilde{\alpha}\tilde{\beta}\rangle+a^{*}d\langle 00|\tilde{\gamma}% \tilde{\delta}\rangle+b^{*}c\langle 11|\tilde{\alpha}\tilde{\beta}\rangle+b^{*% }d\langle 11|\tilde{\gamma}\tilde{\delta}\rangle}italic_τ start_POSTSUPERSCRIPT 1 | 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT = divide start_ARG italic_a italic_c start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT | 0 ⟩ ⟨ over~ start_ARG italic_α end_ARG | ( ⟨ 0 | over~ start_ARG italic_β end_ARG ⟩ ) + italic_a italic_d start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT | 0 ⟩ ⟨ over~ start_ARG italic_γ end_ARG | ( ⟨ 0 | over~ start_ARG italic_δ end_ARG ⟩ ) + italic_b italic_c start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT | 1 ⟩ ⟨ over~ start_ARG italic_α end_ARG | ( ⟨ 1 | over~ start_ARG italic_β end_ARG ⟩ ) + italic_b italic_d start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT | 1 ⟩ ⟨ over~ start_ARG italic_γ end_ARG | ( ⟨ 1 | over~ start_ARG italic_δ end_ARG ⟩ ) end_ARG start_ARG italic_a start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_c ⟨ 00 | over~ start_ARG italic_α end_ARG over~ start_ARG italic_β end_ARG ⟩ + italic_a start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_d ⟨ 00 | over~ start_ARG italic_γ end_ARG over~ start_ARG italic_δ end_ARG ⟩ + italic_b start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_c ⟨ 11 | over~ start_ARG italic_α end_ARG over~ start_ARG italic_β end_ARG ⟩ + italic_b start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_d ⟨ 11 | over~ start_ARG italic_γ end_ARG over~ start_ARG italic_δ end_ARG ⟩ end_ARG

    Also for the denominator to be non-zero α~=β~~𝛼~𝛽\tilde{\alpha}=\tilde{\beta}over~ start_ARG italic_α end_ARG = over~ start_ARG italic_β end_ARG and γ~=δ~~𝛾~𝛿\tilde{\gamma}=\tilde{\delta}over~ start_ARG italic_γ end_ARG = over~ start_ARG italic_δ end_ARG. Since we are working with Bell states \implies α~γ~~𝛼~𝛾\tilde{\alpha}\neq\tilde{\gamma}over~ start_ARG italic_α end_ARG ≠ over~ start_ARG italic_γ end_ARG.
    Again, without loss of generality assume that, γ~=0~𝛾0\tilde{\gamma}=0over~ start_ARG italic_γ end_ARG = 0 and α~=1~𝛼1\tilde{\alpha}=1over~ start_ARG italic_α end_ARG = 1, then,

    τA1|2=[ad|00|+bc|11|](ad+bc)subscriptsuperscript𝜏conditional12𝐴delimited-[]𝑎superscript𝑑ket0quantum-operator-product0𝑏superscript𝑐1bra1superscript𝑎𝑑superscript𝑏𝑐\tau^{1|2}_{A}=\frac{\left[ad^{*}|0\rangle\langle 0|+bc^{*}|1\rangle\langle 1|% \right]}{(a^{*}d+b^{*}c)}italic_τ start_POSTSUPERSCRIPT 1 | 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT = divide start_ARG [ italic_a italic_d start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT | 0 ⟩ ⟨ 0 | + italic_b italic_c start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT | 1 ⟩ ⟨ 1 | ] end_ARG start_ARG ( italic_a start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_d + italic_b start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_c ) end_ARG (6)

    If we had used the complimentary values i.e. γ~=1~𝛾1\tilde{\gamma}=1over~ start_ARG italic_γ end_ARG = 1 and α~=0~𝛼0\tilde{\alpha}=0over~ start_ARG italic_α end_ARG = 0, then,

    τA1|2=[ac|00|+bd|11|](ac+bd)subscriptsuperscript𝜏conditional12𝐴delimited-[]𝑎superscript𝑐ket0quantum-operator-product0𝑏superscript𝑑1bra1superscript𝑎𝑐superscript𝑏𝑑\tau^{1|2}_{A}=\frac{\left[ac^{*}|0\rangle\langle 0|+bd^{*}|1\rangle\langle 1|% \right]}{(a^{*}c+b^{*}d)}italic_τ start_POSTSUPERSCRIPT 1 | 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT = divide start_ARG [ italic_a italic_c start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT | 0 ⟩ ⟨ 0 | + italic_b italic_d start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT | 1 ⟩ ⟨ 1 | ] end_ARG start_ARG ( italic_a start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_c + italic_b start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_d ) end_ARG (7)
  • Case II: If α=δ𝛼𝛿\alpha=\deltaitalic_α = italic_δ then β=γ𝛽𝛾\beta=\gammaitalic_β = italic_γ, αβ𝛼𝛽\alpha\neq\betaitalic_α ≠ italic_β and γδ𝛾𝛿\gamma\neq\deltaitalic_γ ≠ italic_δ, so without loss of generality if we assume that α=0𝛼0\alpha=0italic_α = 0 then β=1𝛽1\beta=1italic_β = 1, γ=1𝛾1\gamma=1italic_γ = 1, and δ=0𝛿0\delta=0italic_δ = 0.

    τA1|2=ac|0α~|(1|β~)+ad|0γ~|(1|δ~)+bc|1α~|(0|β~)+bd|1γ~|(0|δ~)ac01|α~β~+ad01|γ~δ~+bc10|α~β~+bd10|γ~δ~subscriptsuperscript𝜏conditional12𝐴𝑎superscript𝑐ket0quantum-operator-product~𝛼inner-product1~𝛽𝑎superscript𝑑0quantum-operator-product~𝛾inner-product1~𝛿𝑏superscript𝑐1quantum-operator-product~𝛼inner-product0~𝛽𝑏superscript𝑑1bra~𝛾inner-product0~𝛿superscript𝑎𝑐inner-product01~𝛼~𝛽superscript𝑎𝑑inner-product01~𝛾~𝛿superscript𝑏𝑐inner-product10~𝛼~𝛽superscript𝑏𝑑inner-product10~𝛾~𝛿\tau^{1|2}_{A}=\frac{ac^{*}|0\rangle\langle\tilde{\alpha}|(\langle 1|\tilde{% \beta}\rangle)+ad^{*}|0\rangle\langle\tilde{\gamma}|(\langle 1|\tilde{\delta}% \rangle)+bc^{*}|1\rangle\langle\tilde{\alpha}|(\langle 0|\tilde{\beta}\rangle)% +bd^{*}|1\rangle\langle\tilde{\gamma}|(\langle 0|\tilde{\delta}\rangle)}{a^{*}% c\langle 01|\tilde{\alpha}\tilde{\beta}\rangle+a^{*}d\langle 01|\tilde{\gamma}% \tilde{\delta}\rangle+b^{*}c\langle 10|\tilde{\alpha}\tilde{\beta}\rangle+b^{*% }d\langle 10|\tilde{\gamma}\tilde{\delta}\rangle}italic_τ start_POSTSUPERSCRIPT 1 | 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT = divide start_ARG italic_a italic_c start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT | 0 ⟩ ⟨ over~ start_ARG italic_α end_ARG | ( ⟨ 1 | over~ start_ARG italic_β end_ARG ⟩ ) + italic_a italic_d start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT | 0 ⟩ ⟨ over~ start_ARG italic_γ end_ARG | ( ⟨ 1 | over~ start_ARG italic_δ end_ARG ⟩ ) + italic_b italic_c start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT | 1 ⟩ ⟨ over~ start_ARG italic_α end_ARG | ( ⟨ 0 | over~ start_ARG italic_β end_ARG ⟩ ) + italic_b italic_d start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT | 1 ⟩ ⟨ over~ start_ARG italic_γ end_ARG | ( ⟨ 0 | over~ start_ARG italic_δ end_ARG ⟩ ) end_ARG start_ARG italic_a start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_c ⟨ 01 | over~ start_ARG italic_α end_ARG over~ start_ARG italic_β end_ARG ⟩ + italic_a start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_d ⟨ 01 | over~ start_ARG italic_γ end_ARG over~ start_ARG italic_δ end_ARG ⟩ + italic_b start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_c ⟨ 10 | over~ start_ARG italic_α end_ARG over~ start_ARG italic_β end_ARG ⟩ + italic_b start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_d ⟨ 10 | over~ start_ARG italic_γ end_ARG over~ start_ARG italic_δ end_ARG ⟩ end_ARG

    Also for the denominator to be non-zero α~β~~𝛼~𝛽\tilde{\alpha}\neq\tilde{\beta}over~ start_ARG italic_α end_ARG ≠ over~ start_ARG italic_β end_ARG and γ~δ~~𝛾~𝛿\tilde{\gamma}\neq\tilde{\delta}over~ start_ARG italic_γ end_ARG ≠ over~ start_ARG italic_δ end_ARG. Since we are working with Bell states \implies α~=δ~~𝛼~𝛿\tilde{\alpha}=\tilde{\delta}over~ start_ARG italic_α end_ARG = over~ start_ARG italic_δ end_ARG and β~=γ~~𝛽~𝛾\tilde{\beta}=\tilde{\gamma}over~ start_ARG italic_β end_ARG = over~ start_ARG italic_γ end_ARG.
    Again, without loss of generality assume that, α~=1~𝛼1\tilde{\alpha}=1over~ start_ARG italic_α end_ARG = 1 and β~=0~𝛽0\tilde{\beta}=0over~ start_ARG italic_β end_ARG = 0, then,

    τA1|2=[ad|00|+bc|11|](ad+bc)subscriptsuperscript𝜏conditional12𝐴delimited-[]𝑎superscript𝑑ket0quantum-operator-product0𝑏superscript𝑐1bra1superscript𝑎𝑑superscript𝑏𝑐\tau^{1|2}_{A}=\frac{\left[ad^{*}|0\rangle\langle 0|+bc^{*}|1\rangle\langle 1|% \right]}{(a^{*}d+b^{*}c)}italic_τ start_POSTSUPERSCRIPT 1 | 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT = divide start_ARG [ italic_a italic_d start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT | 0 ⟩ ⟨ 0 | + italic_b italic_c start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT | 1 ⟩ ⟨ 1 | ] end_ARG start_ARG ( italic_a start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_d + italic_b start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_c ) end_ARG (8)

    If we had assumed the complimentary values i.e. α~=0~𝛼0\tilde{\alpha}=0over~ start_ARG italic_α end_ARG = 0 and β~=0~𝛽0\tilde{\beta}=0over~ start_ARG italic_β end_ARG = 0, then,

    τA1|2=[ac|00|+bd|11|](ac+bd)subscriptsuperscript𝜏conditional12𝐴delimited-[]𝑎superscript𝑐ket0quantum-operator-product0𝑏superscript𝑑1bra1superscript𝑎𝑐superscript𝑏𝑑\tau^{1|2}_{A}=\frac{\left[ac^{*}|0\rangle\langle 0|+bd^{*}|1\rangle\langle 1|% \right]}{(a^{*}c+b^{*}d)}italic_τ start_POSTSUPERSCRIPT 1 | 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT = divide start_ARG [ italic_a italic_c start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT | 0 ⟩ ⟨ 0 | + italic_b italic_d start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT | 1 ⟩ ⟨ 1 | ] end_ARG start_ARG ( italic_a start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_c + italic_b start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_d ) end_ARG (9)

Now, we evaluate the density matrix from the reduced transition matrix.

ρA1|2=(τA1|2)τA1|2Tr((τA1|2)τA1|2)subscriptsuperscript𝜌conditional12𝐴superscriptsubscriptsuperscript𝜏conditional12𝐴subscriptsuperscript𝜏conditional12𝐴𝑇𝑟superscriptsubscriptsuperscript𝜏conditional12𝐴subscriptsuperscript𝜏conditional12𝐴\rho^{1|2}_{A}=\frac{\sqrt{(\tau^{1|2}_{A})^{\dagger}\tau^{1|2}_{A}}}{Tr\left(% \sqrt{(\tau^{1|2}_{A})^{\dagger}\tau^{1|2}_{A}}\right)}italic_ρ start_POSTSUPERSCRIPT 1 | 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT = divide start_ARG square-root start_ARG ( italic_τ start_POSTSUPERSCRIPT 1 | 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_τ start_POSTSUPERSCRIPT 1 | 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_ARG end_ARG start_ARG italic_T italic_r ( square-root start_ARG ( italic_τ start_POSTSUPERSCRIPT 1 | 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_τ start_POSTSUPERSCRIPT 1 | 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_ARG ) end_ARG
ρA1|2=|ad|2|00|+|bc|2|11|(ad+bc)(ad+bc)Tr(|ad|2|00|+|bc|2|11|(ad+bc)(ad+bc))subscriptsuperscript𝜌conditional12𝐴superscript𝑎𝑑2ket0bra0superscript𝑏𝑐2ket1bra1superscript𝑎𝑑𝑏superscript𝑐𝑎superscript𝑑superscript𝑏𝑐𝑇𝑟superscript𝑎𝑑2ket0bra0superscript𝑏𝑐2ket1bra1superscript𝑎𝑑𝑏superscript𝑐𝑎superscript𝑑superscript𝑏𝑐\rho^{1|2}_{A}=\frac{\sqrt{\frac{|ad|^{2}|0\rangle\langle 0|+|bc|^{2}|1\rangle% \langle 1|}{(a^{*}d+bc^{*})(ad^{*}+b^{*}c)}}}{Tr\left(\sqrt{\frac{|ad|^{2}|0% \rangle\langle 0|+|bc|^{2}|1\rangle\langle 1|}{(a^{*}d+bc^{*})(ad^{*}+b^{*}c)}% }\right)}italic_ρ start_POSTSUPERSCRIPT 1 | 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT = divide start_ARG square-root start_ARG divide start_ARG | italic_a italic_d | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | 0 ⟩ ⟨ 0 | + | italic_b italic_c | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | 1 ⟩ ⟨ 1 | end_ARG start_ARG ( italic_a start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_d + italic_b italic_c start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ) ( italic_a italic_d start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT + italic_b start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_c ) end_ARG end_ARG end_ARG start_ARG italic_T italic_r ( square-root start_ARG divide start_ARG | italic_a italic_d | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | 0 ⟩ ⟨ 0 | + | italic_b italic_c | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | 1 ⟩ ⟨ 1 | end_ARG start_ARG ( italic_a start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_d + italic_b italic_c start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ) ( italic_a italic_d start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT + italic_b start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_c ) end_ARG end_ARG ) end_ARG
ρA1|2=|00|+|11|2subscriptsuperscript𝜌conditional12𝐴ket0bra0ket1bra12\rho^{1|2}_{A}=\frac{|0\rangle\langle 0|+|1\rangle\langle 1|}{2}italic_ρ start_POSTSUPERSCRIPT 1 | 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT = divide start_ARG | 0 ⟩ ⟨ 0 | + | 1 ⟩ ⟨ 1 | end_ARG start_ARG 2 end_ARG
SSVD=Tr(ρA1|2logρA1|2)=log2subscript𝑆𝑆𝑉𝐷𝑇𝑟subscriptsuperscript𝜌conditional12𝐴subscriptsuperscript𝜌conditional12𝐴2S_{SVD}=-Tr\left(\rho^{1|2}_{A}\log\rho^{1|2}_{A}\right)=\log 2italic_S start_POSTSUBSCRIPT italic_S italic_V italic_D end_POSTSUBSCRIPT = - italic_T italic_r ( italic_ρ start_POSTSUPERSCRIPT 1 | 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT roman_log italic_ρ start_POSTSUPERSCRIPT 1 | 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ) = roman_log 2 (10)

Thus the entropy for Bell states is log22\log 2roman_log 2 which is equal to the value of von Neumann entropy for Bell states. This result confirms the validity of SVD entanglement entropy as a generalization of the usual von Neumann entanglement entropy for two different states. In [svd] the log22\log 2roman_log 2 result was obtained for the particular choice (4).

2 CHIRAL DIRAC OSCILLATORS

In the previous example, introducing by hand a phase among the Bell states, the pre-selected and post-selected states were defined. Chiral Dirac oscillators, on the other hand, provide a natural setting for obtaining these states by considering the opposite chiralities. The Dirac equation gives the Dirac oscillator in its usual framework [ito, M]:

i|ψt=[c𝜶(pimβωr+eA)+βmc2]|ψ𝑖Planck-constant-over-2-piket𝜓𝑡delimited-[]𝑐𝜶p𝑖𝑚𝛽𝜔r𝑒A𝛽𝑚superscript𝑐2ket𝜓i\hbar\frac{\partial|\psi\rangle}{\partial t}=[c\boldsymbol{\alpha}(\textbf{p}% -im\beta\omega\textbf{r}+e\textbf{A})+\beta mc^{2}]|\psi\rangleitalic_i roman_ℏ divide start_ARG ∂ | italic_ψ ⟩ end_ARG start_ARG ∂ italic_t end_ARG = [ italic_c bold_italic_α ( p - italic_i italic_m italic_β italic_ω r + italic_e A ) + italic_β italic_m italic_c start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] | italic_ψ ⟩ (11)

where m is the relativistic mass of the fermion, e𝑒-e- italic_e is the electric charge, |ψket𝜓|\psi\rangle| italic_ψ ⟩ stands for the Dirac four-component spinor, r and p represent position and momentum operators, ω𝜔\omegaitalic_ω is the Dirac oscillator frequency, c𝑐citalic_c is the speed of light and β:=diag(𝐈,𝐈)assign𝛽𝑑𝑖𝑎𝑔𝐈𝐈\beta:=diag(\mathbf{I},-\mathbf{I})italic_β := italic_d italic_i italic_a italic_g ( bold_I , - bold_I ), αj:=offdiag(σj,σj)assignsubscript𝛼𝑗𝑜𝑓𝑓𝑑𝑖𝑎𝑔subscript𝜎𝑗subscript𝜎𝑗\alpha_{j}:=off-diag(\sigma_{j},\sigma_{j})italic_α start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT := italic_o italic_f italic_f - italic_d italic_i italic_a italic_g ( italic_σ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , italic_σ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) are the Dirac matrices related to the usual Pauli matrices. This relativistic oscillator involves two phonon modes. Now, if we introduce the magnetic field by minimal coupling pp+eApp𝑒A\textbf{p}\longrightarrow\textbf{p}+e\textbf{A}p ⟶ p + italic_e A where A is the vector potential related to the magnetic field. In the two-dimensional setup, the Dirac matrices become the Pauli matrices [chiral, banerjee2020non], then (11) becomes:

i|ψt=[cj=12σj(pjimβσzxj+eAj)+σzmc2]|ψ𝑖Planck-constant-over-2-piket𝜓𝑡delimited-[]𝑐subscriptsuperscript2𝑗1subscript𝜎𝑗subscript𝑝𝑗𝑖𝑚𝛽subscript𝜎𝑧subscript𝑥𝑗𝑒subscript𝐴𝑗subscript𝜎𝑧𝑚superscript𝑐2ket𝜓i\hbar\frac{\partial|\psi\rangle}{\partial t}=\left[c\sum^{2}_{j=1}\sigma_{j}(% p_{j}-im\beta\sigma_{z}x_{j}+eA_{j})+\sigma_{z}mc^{2}\right]|\psi\rangleitalic_i roman_ℏ divide start_ARG ∂ | italic_ψ ⟩ end_ARG start_ARG ∂ italic_t end_ARG = [ italic_c ∑ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ( italic_p start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_i italic_m italic_β italic_σ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT italic_x start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + italic_e italic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) + italic_σ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT italic_m italic_c start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] | italic_ψ ⟩ (12)

where |ψket𝜓|\psi\rangle| italic_ψ ⟩ is a two-component spinor that mixes spin-up and spin-down with positive and negative energies. The non-minimal coupling of Dirac oscillator (pimβωrp𝑖𝑚𝛽𝜔r\textbf{p}-im\beta\omega\textbf{r}p - italic_i italic_m italic_β italic_ω r) and the minimal coupling of the magnetic field endows the particle with intrinsic left-handed and right-handed chirality respectively [chiral, PhysRevLett.99.123602, PhysRevA.76.041801].

2.1 Mapping onto a Simultaneous JC-AJC Hamiltonian

The above Hamiltonian in (11) can be mapped onto a simultaneous Jaynes Cummings and Anti-Jaynes-Cummings Hamiltonian[JC]. Here we enlist the final results of this mapping and the associated energy spectrum and ground states (next section) obtained in [chiral, PhysRevA.76.041801] to proceed with the discussion of entropy in the third section.

H=δσzHJC(gr)+HAJC(gl)𝐻𝛿subscript𝜎𝑧subscriptsuperscript𝐻𝐽𝐶subscript𝑔𝑟subscriptsuperscript𝐻𝐴𝐽𝐶subscript𝑔𝑙H=\delta\sigma_{z}-H^{\circlearrowright}_{JC}(g_{r})+H^{\circlearrowleft}_{AJC% }(g_{l})italic_H = italic_δ italic_σ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT - italic_H start_POSTSUPERSCRIPT ↻ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_J italic_C end_POSTSUBSCRIPT ( italic_g start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ) + italic_H start_POSTSUPERSCRIPT ↺ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_A italic_J italic_C end_POSTSUBSCRIPT ( italic_g start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) (13)

where δ=mc2𝛿𝑚superscript𝑐2\delta=mc^{2}italic_δ = italic_m italic_c start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT stands for the detuning parameter proportional to the rest mass energy, HJC(gr)subscriptsuperscript𝐻𝐽𝐶subscript𝑔𝑟H^{\circlearrowright}_{JC}(g_{r})italic_H start_POSTSUPERSCRIPT ↻ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_J italic_C end_POSTSUBSCRIPT ( italic_g start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ) represents a right-handed Jaynes-Cummings Hamiltonian

HJC(gr)=grσ+a~r+grσa~rsubscriptsuperscript𝐻𝐽𝐶subscript𝑔𝑟subscript𝑔𝑟superscript𝜎subscript~𝑎𝑟superscriptsubscript𝑔𝑟superscript𝜎superscriptsubscript~𝑎𝑟H^{\circlearrowright}_{JC}(g_{r})=g_{r}\sigma^{+}\tilde{a}_{r}+g_{r}^{*}\sigma% ^{-}\tilde{a}_{r}^{\dagger}italic_H start_POSTSUPERSCRIPT ↻ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_J italic_C end_POSTSUBSCRIPT ( italic_g start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ) = italic_g start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT italic_σ start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT over~ start_ARG italic_a end_ARG start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT + italic_g start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_σ start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT over~ start_ARG italic_a end_ARG start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT

with gr:=imc22ξ~assignsubscript𝑔𝑟𝑖𝑚superscript𝑐22~𝜉g_{r}:=imc^{2}\sqrt{2\tilde{\xi}}italic_g start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT := italic_i italic_m italic_c start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT square-root start_ARG 2 over~ start_ARG italic_ξ end_ARG end_ARG as the interaction coupling strength. Analogously, the term HAJC(gl)subscriptsuperscript𝐻𝐴𝐽𝐶subscript𝑔𝑙H^{\circlearrowleft}_{AJC}(g_{l})italic_H start_POSTSUPERSCRIPT ↺ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_A italic_J italic_C end_POSTSUBSCRIPT ( italic_g start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) stands for a left-handed Anti-Jaynes-Cummings interaction

HAJC(gl)=glσ+al+glσalsubscriptsuperscript𝐻𝐴𝐽𝐶subscript𝑔𝑙subscript𝑔𝑙superscript𝜎superscriptsubscript𝑎𝑙superscriptsubscript𝑔𝑙superscript𝜎subscript𝑎𝑙H^{\circlearrowleft}_{AJC}(g_{l})=g_{l}\sigma^{+}a_{l}^{\dagger}+g_{l}^{*}% \sigma^{-}a_{l}italic_H start_POSTSUPERSCRIPT ↺ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_A italic_J italic_C end_POSTSUBSCRIPT ( italic_g start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) = italic_g start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT italic_σ start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_a start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT + italic_g start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_σ start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT italic_a start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT

with a similar coupling strength gl:=imc22ξassignsubscript𝑔𝑙𝑖𝑚superscript𝑐22𝜉g_{l}:=imc^{2}\sqrt{2{\xi}}italic_g start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT := italic_i italic_m italic_c start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT square-root start_ARG 2 italic_ξ end_ARG
Now we introduce the circular annihilation-creation operators (a~randalsubscript~𝑎𝑟andsubscript𝑎𝑙\tilde{a}_{r}\>\text{and}\>a_{l}over~ start_ARG italic_a end_ARG start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT and italic_a start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT) used in the above equations as defined in [chiral, PhysRevA.76.041801]. Using the axial gauge (A0=0subscript𝐴00A_{0}=0italic_A start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 0) the magnetic field in the Dirac oscillator is defined as 𝐁=B𝐞z𝐁𝐵subscript𝐞𝑧\mathbf{B}=B\mathbf{e}_{z}bold_B = italic_B bold_e start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT with the vector potential 𝐀:=B2[y,x,0]assign𝐀𝐵2𝑦𝑥0\mathbf{A}:=\frac{B}{2}\left[-y,x,0\right]bold_A := divide start_ARG italic_B end_ARG start_ARG 2 end_ARG [ - italic_y , italic_x , 0 ]. We describe the dynamics by two frequencies, the Dirac oscillator frequency ω𝜔\omegaitalic_ω and the cyclotron frequency ωc=eB/msubscript𝜔𝑐𝑒𝐵𝑚\omega_{c}=eB/mitalic_ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = italic_e italic_B / italic_m. Hence, the annihilation-creation operators are:

ai=12(1riipi),a~i=12(1~rii~pi)formulae-sequencesubscript𝑎𝑖121subscript𝑟𝑖𝑖Planck-constant-over-2-pisubscript𝑝𝑖subscript~𝑎𝑖121~subscript𝑟𝑖𝑖~Planck-constant-over-2-pisubscript𝑝𝑖a_{i}=\frac{1}{\sqrt{2}}\left(\frac{1}{\triangle}r_{i}-i\frac{\triangle}{\hbar% }p_{i}\right),\tilde{a}_{i}=\frac{1}{\sqrt{2}}\left(\frac{1}{\tilde{\triangle}% }r_{i}-i\frac{\tilde{\triangle}}{\hbar}p_{i}\right)italic_a start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG ( divide start_ARG 1 end_ARG start_ARG △ end_ARG italic_r start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - italic_i divide start_ARG △ end_ARG start_ARG roman_ℏ end_ARG italic_p start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) , over~ start_ARG italic_a end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG ( divide start_ARG 1 end_ARG start_ARG over~ start_ARG △ end_ARG end_ARG italic_r start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - italic_i divide start_ARG over~ start_ARG △ end_ARG end_ARG start_ARG roman_ℏ end_ARG italic_p start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT )

where :=/mωassignPlanck-constant-over-2-pi𝑚𝜔\triangle:=\sqrt{\hbar/m\omega}△ := square-root start_ARG roman_ℏ / italic_m italic_ω end_ARG, ~:=/mω~assign~Planck-constant-over-2-pi𝑚~𝜔\tilde{\triangle}:=\sqrt{\hbar/m\tilde{\omega}}over~ start_ARG △ end_ARG := square-root start_ARG roman_ℏ / italic_m over~ start_ARG italic_ω end_ARG end_ARG and ω~=wc/2~𝜔subscript𝑤𝑐2\tilde{\omega}=w_{c}/2over~ start_ARG italic_ω end_ARG = italic_w start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT / 2. The basic commutation relations are,

[ai,a~j]=12[~~]δij,[ai,a~j]=12[~+~]δijformulae-sequencesubscript𝑎𝑖subscript~𝑎𝑗12delimited-[]~~subscript𝛿𝑖𝑗subscript𝑎𝑖superscriptsubscript~𝑎𝑗12delimited-[]~~subscript𝛿𝑖𝑗\begin{split}[a_{i},\tilde{a}_{j}]=\frac{1}{2}\left[\frac{\triangle}{\tilde{% \triangle}}-\frac{\tilde{\triangle}}{\triangle}\right]\delta_{ij},\\ [a_{i},\tilde{a}_{j}^{\dagger}]=\frac{1}{2}\left[\frac{\triangle}{\tilde{% \triangle}}+\frac{\tilde{\triangle}}{\triangle}\right]\delta_{ij}\end{split}start_ROW start_CELL [ italic_a start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , over~ start_ARG italic_a end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ] = divide start_ARG 1 end_ARG start_ARG 2 end_ARG [ divide start_ARG △ end_ARG start_ARG over~ start_ARG △ end_ARG end_ARG - divide start_ARG over~ start_ARG △ end_ARG end_ARG start_ARG △ end_ARG ] italic_δ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT , end_CELL end_ROW start_ROW start_CELL [ italic_a start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , over~ start_ARG italic_a end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ] = divide start_ARG 1 end_ARG start_ARG 2 end_ARG [ divide start_ARG △ end_ARG start_ARG over~ start_ARG △ end_ARG end_ARG + divide start_ARG over~ start_ARG △ end_ARG end_ARG start_ARG △ end_ARG ] italic_δ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_CELL end_ROW (14)

We have introduced i=x,y𝑖𝑥𝑦i=x,yitalic_i = italic_x , italic_y to account for two possible directions for equations of motion. Also note that ξ~=ω~/mc2~𝜉Planck-constant-over-2-pi~𝜔𝑚superscript𝑐2\tilde{\xi}=\hbar\tilde{\omega}/mc^{2}over~ start_ARG italic_ξ end_ARG = roman_ℏ over~ start_ARG italic_ω end_ARG / italic_m italic_c start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT and ξ=ω/mc2𝜉Planck-constant-over-2-pi𝜔𝑚superscript𝑐2\xi=\hbar\omega/mc^{2}italic_ξ = roman_ℏ italic_ω / italic_m italic_c start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT.
So the circular annihilation-creation operators for each frequency are:

a~r=12(a~xia~y),a~l=12(a~x+ia~y),ar=12(axiay),al=12(ax+iay)formulae-sequencesubscript~𝑎𝑟12subscript~𝑎𝑥𝑖subscript~𝑎𝑦formulae-sequencesubscript~𝑎𝑙12subscript~𝑎𝑥𝑖subscript~𝑎𝑦formulae-sequencesubscript𝑎𝑟12subscript𝑎𝑥𝑖subscript𝑎𝑦subscript𝑎𝑙12subscript𝑎𝑥𝑖subscript𝑎𝑦\tilde{a}_{r}=\frac{1}{\sqrt{2}}(\tilde{a}_{x}-i\tilde{a}_{y}),\>\>\>\>\tilde{% a}_{l}=\frac{1}{\sqrt{2}}(\tilde{a}_{x}+i\tilde{a}_{y}),\>\>\>\>a_{r}=\frac{1}% {\sqrt{2}}(a_{x}-ia_{y}),\>\>\>\>a_{l}=\frac{1}{\sqrt{2}}(a_{x}+ia_{y})over~ start_ARG italic_a end_ARG start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG ( over~ start_ARG italic_a end_ARG start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT - italic_i over~ start_ARG italic_a end_ARG start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ) , over~ start_ARG italic_a end_ARG start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG ( over~ start_ARG italic_a end_ARG start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT + italic_i over~ start_ARG italic_a end_ARG start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ) , italic_a start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG ( italic_a start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT - italic_i italic_a start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ) , italic_a start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG ( italic_a start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT + italic_i italic_a start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ) (15)

2.2 Exact Solution: Energy Spectrum and Eigenstates

In this section, we summarise the results of a unitary transformation that converts the bi-chromatic Hamiltonian in (13) into a monochromatic JC(AJC) term that includes a bosonic degree of freedom with a certain chirality that depends upon external parameters ξ>ξ~(ξ<ξ~)𝜉~𝜉𝜉~𝜉\xi>\tilde{\xi}(\xi<\tilde{\xi})italic_ξ > over~ start_ARG italic_ξ end_ARG ( italic_ξ < over~ start_ARG italic_ξ end_ARG ) [chiral, PhysRevA.76.041801].

2.2.1 Left-Handed Regime ξ~<ξ~𝜉𝜉\tilde{\xi}<\xiover~ start_ARG italic_ξ end_ARG < italic_ξ

Under the above conditions, the Hamiltonian given in (13) can be mapped onto a single-mode anti-Jaynes-Cummings Hamiltonian by using the unitary transformation:

Uα:=eα(ala~ra~ral)assignsubscript𝑈𝛼superscript𝑒𝛼subscript𝑎𝑙subscript~𝑎𝑟superscriptsubscript~𝑎𝑟superscriptsubscript𝑎𝑙U_{\alpha}:=e^{\alpha(a_{l}\tilde{a}_{r}-\tilde{a}_{r}^{\dagger}a_{l}^{\dagger% })}italic_U start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT := italic_e start_POSTSUPERSCRIPT italic_α ( italic_a start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT over~ start_ARG italic_a end_ARG start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT - over~ start_ARG italic_a end_ARG start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_a start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ) end_POSTSUPERSCRIPT (16)

where the real parameter α𝛼\alphaitalic_α depends on the relative strength of the oscillator and magnetic couplings:

α:=1λarctanh(λω~ωμω~)assign𝛼1𝜆arctanh𝜆~𝜔𝜔𝜇~𝜔\alpha:=\frac{1}{\lambda}\text{arctanh}\left(\frac{\lambda\sqrt{\tilde{\omega}% }}{\sqrt{\omega}-\mu\sqrt{\tilde{\omega}}}\right)italic_α := divide start_ARG 1 end_ARG start_ARG italic_λ end_ARG arctanh ( divide start_ARG italic_λ square-root start_ARG over~ start_ARG italic_ω end_ARG end_ARG end_ARG start_ARG square-root start_ARG italic_ω end_ARG - italic_μ square-root start_ARG over~ start_ARG italic_ω end_ARG end_ARG end_ARG ) (17)

with μ:=(/~~/)/2assign𝜇~~2\mu:=(\triangle/\tilde{\triangle}-\tilde{\triangle}/\triangle)/2italic_μ := ( △ / over~ start_ARG △ end_ARG - over~ start_ARG △ end_ARG / △ ) / 2 and λ:=μ2+1assign𝜆superscript𝜇21\lambda:=\sqrt{\mu^{2}+1}italic_λ := square-root start_ARG italic_μ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 1 end_ARG. Two Hermitian operators related through a unitary operator share a common spectrum, hence in the weak magnetic field regime:

E=±Enl=±mc21+2ζl(ξ,ξ~)(nl+1)𝐸plus-or-minussubscript𝐸subscript𝑛𝑙plus-or-minus𝑚superscript𝑐212subscript𝜁𝑙𝜉~𝜉subscript𝑛𝑙1E=\pm E_{n_{l}}=\pm mc^{2}\sqrt{1+2*\zeta_{l}(\xi,\tilde{\xi})(n_{l}+1)}italic_E = ± italic_E start_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT end_POSTSUBSCRIPT = ± italic_m italic_c start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT square-root start_ARG 1 + 2 ∗ italic_ζ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_ξ , over~ start_ARG italic_ξ end_ARG ) ( italic_n start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT + 1 ) end_ARG (18)

where ζl(ξ,ξ~):=ξξ~2μ(ξξ~)1/2assignsubscript𝜁𝑙𝜉~𝜉𝜉~𝜉2𝜇superscript𝜉~𝜉12\zeta_{l}(\xi,\tilde{\xi}):=\xi-\tilde{\xi}-2\mu(\xi\tilde{\xi})^{1/2}italic_ζ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_ξ , over~ start_ARG italic_ξ end_ARG ) := italic_ξ - over~ start_ARG italic_ξ end_ARG - 2 italic_μ ( italic_ξ over~ start_ARG italic_ξ end_ARG ) start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT is related to the initial relevant parameters and nl=0,1,subscript𝑛𝑙01n_{l}=0,1,...italic_n start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT = 0 , 1 , … represents the number of left-handed quanta. This transformation can be immediately related to a two-mode squeezing operator in the context of quantum optics with squeezing parameter z:=αμ~/2𝐑assign𝑧𝛼~𝜇2𝐑z:=-\alpha\tilde{\mu}/2\in\mathbf{R}italic_z := - italic_α over~ start_ARG italic_μ end_ARG / 2 ∈ bold_R [Barnett:85]. The action of such a squeezing operator (16) over left-handed chiral Fock states gives rise to SU(1,1) coherent states |z,nl:=Uα|nl|vacrassignket𝑧subscript𝑛𝑙subscriptsuperscript𝑈𝛼ketsubscript𝑛𝑙subscriptket𝑣𝑎𝑐𝑟|z,n_{l}\rangle:=U^{\dagger}_{\alpha}|n_{l}\rangle|vac\rangle_{r}| italic_z , italic_n start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ⟩ := italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT | italic_n start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ⟩ | italic_v italic_a italic_c ⟩ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT [chiral, Perelomov1972].

|z,nl=cosh(nl+1)|z|m=0(m+nl)!nl!m!(1)mtanhm|z||m+nl,mket𝑧subscript𝑛𝑙superscriptsubscript𝑛𝑙1𝑧subscriptsuperscript𝑚0𝑚subscript𝑛𝑙subscript𝑛𝑙𝑚superscript1𝑚superscript𝑚𝑧ket𝑚subscript𝑛𝑙𝑚|z,n_{l}\rangle=\cosh^{-(n_{l}+1)}|z|\sum^{\infty}_{m=0}\sqrt{\frac{(m+n_{l})!% }{n_{l}!m!}}(-1)^{m}\tanh^{m}|z||m+n_{l},m\rangle| italic_z , italic_n start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ⟩ = roman_cosh start_POSTSUPERSCRIPT - ( italic_n start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT + 1 ) end_POSTSUPERSCRIPT | italic_z | ∑ start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m = 0 end_POSTSUBSCRIPT square-root start_ARG divide start_ARG ( italic_m + italic_n start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) ! end_ARG start_ARG italic_n start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ! italic_m ! end_ARG end_ARG ( - 1 ) start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT roman_tanh start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT | italic_z | | italic_m + italic_n start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT , italic_m ⟩ (19)

For the fermionic ground state

Eg=mc2subscript𝐸𝑔𝑚superscript𝑐2E_{g}=mc^{2}italic_E start_POSTSUBSCRIPT italic_g end_POSTSUBSCRIPT = italic_m italic_c start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT (20)
|g=|z,0|χ=1cosh|z|m=0(1)mtanhm|z||m,m|χket𝑔ket𝑧0ketsubscript𝜒1𝑧subscriptsuperscript𝑚0superscript1𝑚superscript𝑚𝑧ket𝑚𝑚ketsubscript𝜒|g\rangle=|z,0\rangle|\chi_{\uparrow}\rangle=\frac{1}{\cosh|z|}\sum^{\infty}_{% m=0}(-1)^{m}\tanh^{m}|z||m,m\rangle|\chi_{\uparrow}\rangle| italic_g ⟩ = | italic_z , 0 ⟩ | italic_χ start_POSTSUBSCRIPT ↑ end_POSTSUBSCRIPT ⟩ = divide start_ARG 1 end_ARG start_ARG roman_cosh | italic_z | end_ARG ∑ start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m = 0 end_POSTSUBSCRIPT ( - 1 ) start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT roman_tanh start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT | italic_z | | italic_m , italic_m ⟩ | italic_χ start_POSTSUBSCRIPT ↑ end_POSTSUBSCRIPT ⟩ (21)

and is interpreted as a spin-up squeezed vacuum state, where the squeezing parameter z:=αμ~/2assign𝑧𝛼~𝜇2z:=-\alpha\tilde{\mu}/2italic_z := - italic_α over~ start_ARG italic_μ end_ARG / 2 depends on the relative coupling strengths ξ,ξ~𝜉~𝜉\xi,\tilde{\xi}italic_ξ , over~ start_ARG italic_ξ end_ARG.

2.2.2 Right-Handed Regime ξ~>ξ~𝜉𝜉\tilde{\xi}>\xiover~ start_ARG italic_ξ end_ARG > italic_ξ

In this condition, we transform the Hamiltonian into a Jaynes-Cummings Hamiltonian by the unitary transformation.

Uα~:=eα~(ala~ra~lal)assignsubscript𝑈~𝛼superscript𝑒~𝛼subscript𝑎𝑙subscript~𝑎𝑟superscriptsubscript~𝑎𝑙superscriptsubscript𝑎𝑙U_{\tilde{\alpha}}:=e^{\tilde{\alpha}(a_{l}\tilde{a}_{r}-\tilde{a}_{l}^{% \dagger}a_{l}^{\dagger})}italic_U start_POSTSUBSCRIPT over~ start_ARG italic_α end_ARG end_POSTSUBSCRIPT := italic_e start_POSTSUPERSCRIPT over~ start_ARG italic_α end_ARG ( italic_a start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT over~ start_ARG italic_a end_ARG start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT - over~ start_ARG italic_a end_ARG start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_a start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ) end_POSTSUPERSCRIPT (22)

where the parameter α~~𝛼\tilde{\alpha}over~ start_ARG italic_α end_ARG is,

α~=1λarctanh(λωω~+μω)~𝛼1𝜆arctanh𝜆𝜔~𝜔𝜇𝜔\tilde{\alpha}=\frac{1}{\lambda}\text{arctanh}\left(\frac{\lambda\sqrt{\omega}% }{\sqrt{\tilde{\omega}}+\mu\sqrt{\omega}}\right)over~ start_ARG italic_α end_ARG = divide start_ARG 1 end_ARG start_ARG italic_λ end_ARG arctanh ( divide start_ARG italic_λ square-root start_ARG italic_ω end_ARG end_ARG start_ARG square-root start_ARG over~ start_ARG italic_ω end_ARG end_ARG + italic_μ square-root start_ARG italic_ω end_ARG end_ARG )

The energy spectrum becomes,

E~=±E~nr=±mc21+2ζr(ξ,ξ~)(nr+1)~𝐸plus-or-minussubscript~𝐸subscript𝑛𝑟plus-or-minus𝑚superscript𝑐212subscript𝜁𝑟𝜉~𝜉subscript𝑛𝑟1\tilde{E}=\pm\tilde{E}_{n_{r}}=\pm mc^{2}\sqrt{1+2\zeta_{r}(\xi,\tilde{\xi})(n% _{r}+1)}over~ start_ARG italic_E end_ARG = ± over~ start_ARG italic_E end_ARG start_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT end_POSTSUBSCRIPT = ± italic_m italic_c start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT square-root start_ARG 1 + 2 italic_ζ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ( italic_ξ , over~ start_ARG italic_ξ end_ARG ) ( italic_n start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT + 1 ) end_ARG (23)

where ζr(ξ,ξ~):=ξ~ξ+2μ(ξ~ξ)1/2assignsubscript𝜁𝑟𝜉~𝜉~𝜉𝜉2𝜇superscript~𝜉𝜉12\zeta_{r}(\xi,\tilde{\xi}):=\tilde{\xi}-\xi+2\mu(\tilde{\xi}\xi)^{1/2}italic_ζ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ( italic_ξ , over~ start_ARG italic_ξ end_ARG ) := over~ start_ARG italic_ξ end_ARG - italic_ξ + 2 italic_μ ( over~ start_ARG italic_ξ end_ARG italic_ξ ) start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT and nr=0,1,,subscript𝑛𝑟01n_{r}=0,1,...,italic_n start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT = 0 , 1 , … , represents the number of right-handed quanta. In this case, the squeezing parameter becomes z~:=α~μ~/2assign~𝑧~𝛼~𝜇2\tilde{z}:=-\tilde{\alpha}\tilde{\mu}/2\in\mathcal{R}over~ start_ARG italic_z end_ARG := - over~ start_ARG italic_α end_ARG over~ start_ARG italic_μ end_ARG / 2 ∈ caligraphic_R and the SU(1,1) coherent states |z~,nr:=Uα~|vacl|nrassignket~𝑧subscript𝑛𝑟subscriptsuperscript𝑈~𝛼subscriptket𝑣𝑎𝑐𝑙ketsubscript𝑛𝑟|\tilde{z},n_{r}\rangle:=U^{\dagger}_{\tilde{\alpha}}|vac\rangle_{l}|n_{r}\rangle| over~ start_ARG italic_z end_ARG , italic_n start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ⟩ := italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT over~ start_ARG italic_α end_ARG end_POSTSUBSCRIPT | italic_v italic_a italic_c ⟩ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT | italic_n start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ⟩[chiral].

|z~,nr=cosh(nr+1)|z~|m~=0(m~+nr)!nr!m~!(1)m~tanhm~|z~||m~+nr,m~ket~𝑧subscript𝑛𝑟superscriptsubscript𝑛𝑟1~𝑧subscriptsuperscript~𝑚0~𝑚subscript𝑛𝑟subscript𝑛𝑟~𝑚superscript1~𝑚superscript~𝑚~𝑧ket~𝑚subscript𝑛𝑟~𝑚|\tilde{z},n_{r}\rangle=\cosh^{-(n_{r}+1)}|\tilde{z}|\sum^{\infty}_{\tilde{m}=% 0}\sqrt{\frac{(\tilde{m}+n_{r})!}{n_{r}!\tilde{m}!}}(-1)^{\tilde{m}}\tanh^{% \tilde{m}}|\tilde{z}||\tilde{m}+n_{r},\tilde{m}\rangle| over~ start_ARG italic_z end_ARG , italic_n start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ⟩ = roman_cosh start_POSTSUPERSCRIPT - ( italic_n start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT + 1 ) end_POSTSUPERSCRIPT | over~ start_ARG italic_z end_ARG | ∑ start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT over~ start_ARG italic_m end_ARG = 0 end_POSTSUBSCRIPT square-root start_ARG divide start_ARG ( over~ start_ARG italic_m end_ARG + italic_n start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ) ! end_ARG start_ARG italic_n start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ! over~ start_ARG italic_m end_ARG ! end_ARG end_ARG ( - 1 ) start_POSTSUPERSCRIPT over~ start_ARG italic_m end_ARG end_POSTSUPERSCRIPT roman_tanh start_POSTSUPERSCRIPT over~ start_ARG italic_m end_ARG end_POSTSUPERSCRIPT | over~ start_ARG italic_z end_ARG | | over~ start_ARG italic_m end_ARG + italic_n start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT , over~ start_ARG italic_m end_ARG ⟩ (24)

We also see how the fermionic ground state in this case differs from the left-handed regime one (21) as:

Eg~=mc21+2ζrsubscript𝐸~𝑔𝑚superscript𝑐212subscript𝜁𝑟E_{\tilde{g}}=mc^{2}\sqrt{1+2\zeta_{r}}italic_E start_POSTSUBSCRIPT over~ start_ARG italic_g end_ARG end_POSTSUBSCRIPT = italic_m italic_c start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT square-root start_ARG 1 + 2 italic_ζ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT end_ARG (25)
|g~=C~0+|z~,0|χiC~0|z~,1|χket~𝑔subscript~𝐶limit-from0ket~𝑧0ketsubscript𝜒𝑖subscript~𝐶limit-from0ket~𝑧1ketsubscript𝜒|\tilde{g}\rangle=\tilde{C}_{0+}|\tilde{z},0\rangle|\chi_{\uparrow}\rangle-i% \tilde{C}_{0-}|\tilde{z},1\rangle|\chi_{\downarrow}\rangle| over~ start_ARG italic_g end_ARG ⟩ = over~ start_ARG italic_C end_ARG start_POSTSUBSCRIPT 0 + end_POSTSUBSCRIPT | over~ start_ARG italic_z end_ARG , 0 ⟩ | italic_χ start_POSTSUBSCRIPT ↑ end_POSTSUBSCRIPT ⟩ - italic_i over~ start_ARG italic_C end_ARG start_POSTSUBSCRIPT 0 - end_POSTSUBSCRIPT | over~ start_ARG italic_z end_ARG , 1 ⟩ | italic_χ start_POSTSUBSCRIPT ↓ end_POSTSUBSCRIPT ⟩ (26)

where C~nr±:=[(E~nr±mc2).2E~nr]1/2assignsubscript~𝐶limit-fromsubscript𝑛𝑟plus-or-minussuperscriptdelimited-[]plus-or-minussubscript~𝐸subscript𝑛𝑟𝑚superscript𝑐2.2subscript~𝐸subscript𝑛𝑟12\tilde{C}_{n_{r}\pm}:=[(\tilde{E}_{n_{r}}\pm mc^{2}).2\tilde{E}_{n_{r}}]^{1/2}over~ start_ARG italic_C end_ARG start_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ± end_POSTSUBSCRIPT := [ ( over~ start_ARG italic_E end_ARG start_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT end_POSTSUBSCRIPT ± italic_m italic_c start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) .2 over~ start_ARG italic_E end_ARG start_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT end_POSTSUBSCRIPT ] start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT, and is interpreted as a spin-up squeezed vacuum state, where the squeezing parameter z~:=α~μ~/2assign~𝑧~𝛼~𝜇2\tilde{z}:=-\tilde{\alpha}\tilde{\mu}/2over~ start_ARG italic_z end_ARG := - over~ start_ARG italic_α end_ARG over~ start_ARG italic_μ end_ARG / 2 depends on the relative coupling strengths ξ,ξ~𝜉~𝜉\xi,\tilde{\xi}italic_ξ , over~ start_ARG italic_ξ end_ARG.

2.2.3 Critical Regime ξ~=ξ~𝜉𝜉\tilde{\xi}=\xiover~ start_ARG italic_ξ end_ARG = italic_ξ

In this regime, the magnetic field coupling cancels the effect of the Dirac string couple, hence we get a free relativistic fermionic particle [chiral]. The energy spectrum is given by:

Ec=±Epc=±m2c4+p2c2superscript𝐸𝑐plus-or-minussubscriptsuperscript𝐸𝑐pplus-or-minussuperscript𝑚2superscript𝑐4superscriptp2superscript𝑐2E^{c}=\pm E^{c}_{\textbf{p}}=\pm\sqrt{m^{2}c^{4}+\textbf{p}^{2}c^{2}}italic_E start_POSTSUPERSCRIPT italic_c end_POSTSUPERSCRIPT = ± italic_E start_POSTSUPERSCRIPT italic_c end_POSTSUPERSCRIPT start_POSTSUBSCRIPT p end_POSTSUBSCRIPT = ± square-root start_ARG italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_c start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_c start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG (27)

where p=(px,py)psubscript𝑝𝑥subscript𝑝𝑦\textbf{p}=(p_{x},p_{y})p = ( italic_p start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT , italic_p start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ) stands for two dimensional fermion momentum. We can see that the energy is the usual free particle energy. The eigenstates are described as:

|±Epc=mc2±Epc±2Epc(|χ+c(px+ipy)mc2±Epc|χ)|pketplus-or-minussubscriptsuperscript𝐸𝑐pplus-or-minus𝑚superscript𝑐2subscriptsuperscript𝐸𝑐pplus-or-minus2subscriptsuperscript𝐸𝑐pketsubscript𝜒𝑐subscript𝑝𝑥𝑖subscript𝑝𝑦plus-or-minus𝑚superscript𝑐2subscriptsuperscript𝐸𝑐pketsubscript𝜒ketp|\pm E^{c}_{\textbf{p}}\rangle=\sqrt{\frac{mc^{2}\pm E^{c}_{\textbf{p}}}{\pm 2% E^{c}_{\textbf{p}}}}\left(|\chi_{\uparrow}\rangle+\frac{c(p_{x}+ip_{y})}{mc^{2% }\pm E^{c}_{\textbf{p}}}|\chi_{\downarrow}\rangle\right)|\textbf{p}\rangle| ± italic_E start_POSTSUPERSCRIPT italic_c end_POSTSUPERSCRIPT start_POSTSUBSCRIPT p end_POSTSUBSCRIPT ⟩ = square-root start_ARG divide start_ARG italic_m italic_c start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ± italic_E start_POSTSUPERSCRIPT italic_c end_POSTSUPERSCRIPT start_POSTSUBSCRIPT p end_POSTSUBSCRIPT end_ARG start_ARG ± 2 italic_E start_POSTSUPERSCRIPT italic_c end_POSTSUPERSCRIPT start_POSTSUBSCRIPT p end_POSTSUBSCRIPT end_ARG end_ARG ( | italic_χ start_POSTSUBSCRIPT ↑ end_POSTSUBSCRIPT ⟩ + divide start_ARG italic_c ( italic_p start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT + italic_i italic_p start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ) end_ARG start_ARG italic_m italic_c start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ± italic_E start_POSTSUPERSCRIPT italic_c end_POSTSUPERSCRIPT start_POSTSUBSCRIPT p end_POSTSUBSCRIPT end_ARG | italic_χ start_POSTSUBSCRIPT ↓ end_POSTSUBSCRIPT ⟩ ) | p ⟩ (28)

where p:=|px,pyassignpketsubscript𝑝𝑥subscript𝑝𝑦\textbf{p}:=|p_{x},p_{y}\ranglep := | italic_p start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT , italic_p start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ⟩ are two-dimensional plane wave solutions.

A schematic showing a simplified version of the set-up is shown in Figure 1.
Using these results Bermudez et al. in [chiral] showed how the quantum phase transition occurs by plotting the energy spectrum as a function of relative coupling strength, studied the order parameter, the divergence of quantum fluctuations, and the entanglement entropy. The dependence of the magnetic field provides a control parameter to test the properties of the system such as chirality, squeezing, phonon statistics, and entanglement.

Refer to caption
Figure 1: This cartoon represents the classical trajectory of a particle in a cyclotron. The various arcs represent the energy levels: nl=0,1,subscript𝑛𝑙01n_{l}=0,1,...italic_n start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT = 0 , 1 , … and nr=0,1,subscript𝑛𝑟01n_{r}=0,1,...italic_n start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT = 0 , 1 , … for left-handed regime and right-handed regime. Note that it is obvious that the energy levels do not exist in classical scenario, so the figure is just a concept demonstration not an accurate representation of the set-up.

3 ENTANGLEMENT AT THE CRITICAL POINT

Entanglement is one of the key features of a quantum mechanical system. It is a property that manifests a lot of the non-local phenomena in quantum mechanics. In the current system, [chiral] showed that there exists a quantum phase transition, along with angular momentum as the order parameter. Another feature is that in the given left-hand and right-hand regimes, each regime has different ground states. This section is concerned with providing a measure of the entanglement of these states via the entanglement entropy. In the previous work [chiral] the entanglement entropy of these ground states had been calculated using the von Neumann entropy.
Here, we have tried to use the above-defined SVD entropy to calculate the entanglement entropy. The presence of a left-handed regime ground state and right-handed regime ground state serves as a preselection and postselection state [svd] respectively for the phenomena of quantum phase transition. We argue that SVD entropy here can provide a better understanding of the entanglement between the ground states near the critical limit of the quantum phase transition. The SVD entropy can be interpreted as the entanglement entropy across the ground states near the critical point of the quantum phase transition. Since von Neumann entropy is the entropy of the individual states, it does not take into consideration both the left-handed and right-handed regime ground states simultaneously. It quantifies the entanglement between different relativistic degrees of freedom. von Neumann entropy only shows us the behavior of the individual states near the critical point of phase transition meanwhile, SVD entropy shows how the states are getting entangled with the states post-phase transition as the system nears a phase transition. Hence, SVD entropy quantifies the entanglement between different relative degrees of freedom of the different ground states. We also try to provide some physical insight into the calculated result that has been missing in [chiral] where they focused on the von Neumann definition.
We begin by defining our Hilbert space. The Hilbert space is a tripartite system, consisting of continuous variables associated with chiral degrees of freedom, and the discrete variables are associated with spin degrees of freedom. To calculate the SVD entropy we would require the transition matrix for the ground states. We define the transition matrix from the given ground states of the left-handed regime (|g)ket𝑔(|g\rangle)( | italic_g ⟩ ) and the right-handed regime (|g~)ket~𝑔(|\tilde{g}\rangle)( | over~ start_ARG italic_g end_ARG ⟩ ) [svd].

τg|g~=|gg~|g|g~superscript𝜏conditional𝑔~𝑔ket𝑔bra~𝑔inner-product𝑔~𝑔\tau^{g|\tilde{g}}=\frac{|g\rangle\langle\tilde{g}|}{\langle g|\tilde{g}\rangle}italic_τ start_POSTSUPERSCRIPT italic_g | over~ start_ARG italic_g end_ARG end_POSTSUPERSCRIPT = divide start_ARG | italic_g ⟩ ⟨ over~ start_ARG italic_g end_ARG | end_ARG start_ARG ⟨ italic_g | over~ start_ARG italic_g end_ARG ⟩ end_ARG (29)

where |gket𝑔|g\rangle| italic_g ⟩ is the pre-selected state and |g~ket~𝑔|\tilde{g}\rangle| over~ start_ARG italic_g end_ARG ⟩ is the post-selected state. In order to calculate this matrix. We are considering the ground states.
For the left-handed regime (ξ~<ξ)~𝜉𝜉(\tilde{\xi}<\xi)( over~ start_ARG italic_ξ end_ARG < italic_ξ ) (10,12):

|g=|z,0|χket𝑔ket𝑧0ketsubscript𝜒|g\rangle=|z,0\rangle|\chi_{\uparrow}\rangle| italic_g ⟩ = | italic_z , 0 ⟩ | italic_χ start_POSTSUBSCRIPT ↑ end_POSTSUBSCRIPT ⟩

and,

|z,nl=Uα|nl|vacr.ket𝑧subscript𝑛𝑙subscriptsuperscript𝑈𝛼ketsubscript𝑛𝑙ket𝑣𝑎subscript𝑐𝑟|z,n_{l}\rangle=U^{\dagger}_{\alpha}|n_{l}\rangle|vac_{r}\rangle.| italic_z , italic_n start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ⟩ = italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT | italic_n start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ⟩ | italic_v italic_a italic_c start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ⟩ .

So,

|z,0|χ=1cosh|z|m=0(1)mtanhm|z||m,m|χket𝑧0ketsubscript𝜒1𝑧subscriptsuperscript𝑚0superscript1𝑚superscript𝑚𝑧ket𝑚𝑚ketsubscript𝜒|z,0\rangle|\chi_{\downarrow}\rangle=\frac{1}{\cosh|z|}\sum^{\infty}_{m=0}(-1)% ^{m}\tanh^{m}|z||m,m\rangle|\chi_{\uparrow}\rangle| italic_z , 0 ⟩ | italic_χ start_POSTSUBSCRIPT ↓ end_POSTSUBSCRIPT ⟩ = divide start_ARG 1 end_ARG start_ARG roman_cosh | italic_z | end_ARG ∑ start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m = 0 end_POSTSUBSCRIPT ( - 1 ) start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT roman_tanh start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT | italic_z | | italic_m , italic_m ⟩ | italic_χ start_POSTSUBSCRIPT ↑ end_POSTSUBSCRIPT ⟩

For the right-handed regime (ξ~>ξ)~𝜉𝜉(\tilde{\xi}>\xi)( over~ start_ARG italic_ξ end_ARG > italic_ξ ) (15,17):

|g~=C~0+|z~,0|χiC~0|z~,1|χket~𝑔subscript~𝐶limit-from0ket~𝑧0ketsubscript𝜒𝑖subscript~𝐶limit-from0ket~𝑧1ketsubscript𝜒|\tilde{g}\rangle=\tilde{C}_{0+}|\tilde{z},0\rangle|\chi_{\uparrow}\rangle-i% \tilde{C}_{0-}|\tilde{z},1\rangle|\chi_{\downarrow}\rangle| over~ start_ARG italic_g end_ARG ⟩ = over~ start_ARG italic_C end_ARG start_POSTSUBSCRIPT 0 + end_POSTSUBSCRIPT | over~ start_ARG italic_z end_ARG , 0 ⟩ | italic_χ start_POSTSUBSCRIPT ↑ end_POSTSUBSCRIPT ⟩ - italic_i over~ start_ARG italic_C end_ARG start_POSTSUBSCRIPT 0 - end_POSTSUBSCRIPT | over~ start_ARG italic_z end_ARG , 1 ⟩ | italic_χ start_POSTSUBSCRIPT ↓ end_POSTSUBSCRIPT ⟩

and,

|z~,nr=Uα~|vacl|nrket~𝑧subscript𝑛𝑟subscriptsuperscript𝑈~𝛼ket𝑣𝑎subscript𝑐𝑙ketsubscript𝑛𝑟|\tilde{z},n_{r}\rangle=U^{\dagger}_{\tilde{\alpha}}|vac_{l}\rangle|n_{r}\rangle| over~ start_ARG italic_z end_ARG , italic_n start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ⟩ = italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT over~ start_ARG italic_α end_ARG end_POSTSUBSCRIPT | italic_v italic_a italic_c start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ⟩ | italic_n start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ⟩
|z~,0=1cosh|z~|m~=0(1)m~tanhm|z~||m~,m~ket~𝑧01~𝑧subscriptsuperscript~𝑚0superscript1~𝑚superscript𝑚~𝑧ket~𝑚~𝑚|\tilde{z},0\rangle=\frac{1}{\cosh|\tilde{z}|}\sum^{\infty}_{\tilde{m}=0}(-1)^% {\tilde{m}}\tanh^{m}|\tilde{z}||\tilde{m},\tilde{m}\rangle| over~ start_ARG italic_z end_ARG , 0 ⟩ = divide start_ARG 1 end_ARG start_ARG roman_cosh | over~ start_ARG italic_z end_ARG | end_ARG ∑ start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT over~ start_ARG italic_m end_ARG = 0 end_POSTSUBSCRIPT ( - 1 ) start_POSTSUPERSCRIPT over~ start_ARG italic_m end_ARG end_POSTSUPERSCRIPT roman_tanh start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT | over~ start_ARG italic_z end_ARG | | over~ start_ARG italic_m end_ARG , over~ start_ARG italic_m end_ARG ⟩

Now,

|gg~|=C~0+|z,0z~,0||χχ|+ιC~0|z,0z~,1||χχ|ket𝑔bra~𝑔subscriptsuperscript~𝐶limit-from0ket𝑧0bra~𝑧0ketsubscript𝜒quantum-operator-productsubscript𝜒𝜄subscriptsuperscript~𝐶limit-from0𝑧0bra~𝑧1ketsubscript𝜒brasubscript𝜒|g\rangle\langle\tilde{g}|=\tilde{C}^{*}_{0+}|z,0\rangle\langle\tilde{z},0||% \chi_{\uparrow}\rangle\langle\chi_{\uparrow}|+\iota\tilde{C}^{*}_{0-}|z,0% \rangle\langle\tilde{z},1||\chi_{\uparrow}\rangle\langle\chi_{\downarrow}|| italic_g ⟩ ⟨ over~ start_ARG italic_g end_ARG | = over~ start_ARG italic_C end_ARG start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 + end_POSTSUBSCRIPT | italic_z , 0 ⟩ ⟨ over~ start_ARG italic_z end_ARG , 0 | | italic_χ start_POSTSUBSCRIPT ↑ end_POSTSUBSCRIPT ⟩ ⟨ italic_χ start_POSTSUBSCRIPT ↑ end_POSTSUBSCRIPT | + italic_ι over~ start_ARG italic_C end_ARG start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 - end_POSTSUBSCRIPT | italic_z , 0 ⟩ ⟨ over~ start_ARG italic_z end_ARG , 1 | | italic_χ start_POSTSUBSCRIPT ↑ end_POSTSUBSCRIPT ⟩ ⟨ italic_χ start_POSTSUBSCRIPT ↓ end_POSTSUBSCRIPT | (30)

and,

g|g~=C~0+cosh|z|cosh|z~|m=0tanhm|z|tanhm|z~|.inner-product𝑔~𝑔subscript~𝐶limit-from0𝑧~𝑧subscriptsuperscript𝑚0superscript𝑚𝑧superscript𝑚~𝑧\langle g|\tilde{g}\rangle=\frac{\tilde{C}_{0+}}{\cosh|z|\cosh|\tilde{z}|}\sum% ^{\infty}_{m=0}\tanh^{m}|z|\tanh^{m}|\tilde{z}|.⟨ italic_g | over~ start_ARG italic_g end_ARG ⟩ = divide start_ARG over~ start_ARG italic_C end_ARG start_POSTSUBSCRIPT 0 + end_POSTSUBSCRIPT end_ARG start_ARG roman_cosh | italic_z | roman_cosh | over~ start_ARG italic_z end_ARG | end_ARG ∑ start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m = 0 end_POSTSUBSCRIPT roman_tanh start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT | italic_z | roman_tanh start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT | over~ start_ARG italic_z end_ARG | . (31)

Taking the partial trace of τg|g~superscript𝜏conditional𝑔~𝑔\tau^{g|\tilde{g}}italic_τ start_POSTSUPERSCRIPT italic_g | over~ start_ARG italic_g end_ARG end_POSTSUPERSCRIPT with respect to two out of three indices at a time l,r,s𝑙𝑟𝑠l,r,sitalic_l , italic_r , italic_s to get three reduced transition matrices.

τlg|g~=Trs(Trrτg|g~)τlg|g~=C~0+cosh|z|cosh|z~|nl=0tanhnl|z|tanhnl|z~||nlnl|g|g~subscriptsuperscript𝜏conditional𝑔~𝑔𝑙𝑇subscript𝑟𝑠𝑇subscript𝑟𝑟superscript𝜏conditional𝑔~𝑔subscriptsuperscript𝜏conditional𝑔~𝑔𝑙subscript~𝐶limit-from0𝑧~𝑧subscriptsuperscriptsubscript𝑛𝑙0superscriptsubscript𝑛𝑙𝑧superscriptsubscript𝑛𝑙~𝑧ketsubscript𝑛𝑙brasubscript𝑛𝑙inner-product𝑔~𝑔\begin{split}\tau^{g|\tilde{g}}_{l}&=Tr_{s}(Tr_{r}\tau^{g|\tilde{g}})\\ \tau^{g|\tilde{g}}_{l}&=\frac{\frac{\tilde{C}_{0+}}{\cosh|z|\cosh|\tilde{z}|}% \sum^{\infty}_{n_{l}=0}\tanh^{n_{l}}|z|\tanh^{n_{l}}|\tilde{z}||n_{l}\rangle% \langle n_{l}|}{\langle g|\tilde{g}\rangle}\end{split}start_ROW start_CELL italic_τ start_POSTSUPERSCRIPT italic_g | over~ start_ARG italic_g end_ARG end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT end_CELL start_CELL = italic_T italic_r start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_T italic_r start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT italic_τ start_POSTSUPERSCRIPT italic_g | over~ start_ARG italic_g end_ARG end_POSTSUPERSCRIPT ) end_CELL end_ROW start_ROW start_CELL italic_τ start_POSTSUPERSCRIPT italic_g | over~ start_ARG italic_g end_ARG end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT end_CELL start_CELL = divide start_ARG divide start_ARG over~ start_ARG italic_C end_ARG start_POSTSUBSCRIPT 0 + end_POSTSUBSCRIPT end_ARG start_ARG roman_cosh | italic_z | roman_cosh | over~ start_ARG italic_z end_ARG | end_ARG ∑ start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT = 0 end_POSTSUBSCRIPT roman_tanh start_POSTSUPERSCRIPT italic_n start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT end_POSTSUPERSCRIPT | italic_z | roman_tanh start_POSTSUPERSCRIPT italic_n start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT end_POSTSUPERSCRIPT | over~ start_ARG italic_z end_ARG | | italic_n start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ⟩ ⟨ italic_n start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT | end_ARG start_ARG ⟨ italic_g | over~ start_ARG italic_g end_ARG ⟩ end_ARG end_CELL end_ROW (32)
τrg|g~=Trs(Trrτg|g~)τrg|g~=C~0+cosh|z~|cosh|z~|nr=0tanhnr|z|tanhnr|z~||nrnr|g|g~subscriptsuperscript𝜏conditional𝑔~𝑔𝑟𝑇subscript𝑟𝑠𝑇subscript𝑟𝑟superscript𝜏conditional𝑔~𝑔subscriptsuperscript𝜏conditional𝑔~𝑔𝑟subscript~𝐶limit-from0~𝑧~𝑧subscriptsuperscriptsubscript𝑛𝑟0superscriptsubscript𝑛𝑟𝑧superscriptsubscript𝑛𝑟~𝑧ketsubscript𝑛𝑟brasubscript𝑛𝑟inner-product𝑔~𝑔\begin{split}\tau^{g|\tilde{g}}_{r}&=Tr_{s}(Tr_{r}\tau^{g|\tilde{g}})\\ \tau^{g|\tilde{g}}_{r}&=\frac{\frac{\tilde{C}_{0+}}{\cosh|\tilde{z}|\cosh|% \tilde{z}|}\sum^{\infty}_{n_{r}=0}\tanh^{n_{r}}|z|\tanh^{n_{r}}|\tilde{z}||n_{% r}\rangle\langle n_{r}|}{\langle g|\tilde{g}\rangle}\end{split}start_ROW start_CELL italic_τ start_POSTSUPERSCRIPT italic_g | over~ start_ARG italic_g end_ARG end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT end_CELL start_CELL = italic_T italic_r start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_T italic_r start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT italic_τ start_POSTSUPERSCRIPT italic_g | over~ start_ARG italic_g end_ARG end_POSTSUPERSCRIPT ) end_CELL end_ROW start_ROW start_CELL italic_τ start_POSTSUPERSCRIPT italic_g | over~ start_ARG italic_g end_ARG end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT end_CELL start_CELL = divide start_ARG divide start_ARG over~ start_ARG italic_C end_ARG start_POSTSUBSCRIPT 0 + end_POSTSUBSCRIPT end_ARG start_ARG roman_cosh | over~ start_ARG italic_z end_ARG | roman_cosh | over~ start_ARG italic_z end_ARG | end_ARG ∑ start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT = 0 end_POSTSUBSCRIPT roman_tanh start_POSTSUPERSCRIPT italic_n start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT end_POSTSUPERSCRIPT | italic_z | roman_tanh start_POSTSUPERSCRIPT italic_n start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT end_POSTSUPERSCRIPT | over~ start_ARG italic_z end_ARG | | italic_n start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ⟩ ⟨ italic_n start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT | end_ARG start_ARG ⟨ italic_g | over~ start_ARG italic_g end_ARG ⟩ end_ARG end_CELL end_ROW (33)
τsg|g~=Trl(Trrτg|g~)τsg|g~=|χχ|subscriptsuperscript𝜏conditional𝑔~𝑔𝑠𝑇subscript𝑟𝑙𝑇subscript𝑟𝑟superscript𝜏conditional𝑔~𝑔subscriptsuperscript𝜏conditional𝑔~𝑔𝑠ketsubscript𝜒brasubscript𝜒\begin{split}\tau^{g|\tilde{g}}_{s}&=Tr_{l}(Tr_{r}\tau^{g|\tilde{g}})\\ \tau^{g|\tilde{g}}_{s}&=|\chi_{\uparrow}\rangle\langle\chi_{\uparrow}|\end{split}start_ROW start_CELL italic_τ start_POSTSUPERSCRIPT italic_g | over~ start_ARG italic_g end_ARG end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_CELL start_CELL = italic_T italic_r start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_T italic_r start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT italic_τ start_POSTSUPERSCRIPT italic_g | over~ start_ARG italic_g end_ARG end_POSTSUPERSCRIPT ) end_CELL end_ROW start_ROW start_CELL italic_τ start_POSTSUPERSCRIPT italic_g | over~ start_ARG italic_g end_ARG end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_CELL start_CELL = | italic_χ start_POSTSUBSCRIPT ↑ end_POSTSUBSCRIPT ⟩ ⟨ italic_χ start_POSTSUBSCRIPT ↑ end_POSTSUBSCRIPT | end_CELL end_ROW (34)

We note that the reduced transition matrix for right and left degrees of freedom is effectively the same. Also, the reduced transition matrix for spinorial degrees of freedom is a pure state hence, its entanglement entropy would be zero (SSVDs=0superscriptsubscript𝑆𝑆𝑉𝐷𝑠0S_{SVD}^{s}=0italic_S start_POSTSUBSCRIPT italic_S italic_V italic_D end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT = 0), this means that there is no spin-orbit entanglement between the discrete and continuous degrees of freedom of both ground states. This value of zero coincides with the left-handed regime von Neumann entanglement entropy for s𝑠sitalic_s degree of freedom given in [chiral].
The density matrices for the reduced transition matrices according to the scheme given in [svd] will be:

ρrg|g~=(1tanh|z|tanh|z~|)nr=0(tanhnr|z|tanhnr|z~||nrnr|)ρlg|g~=(1tanh|z|tanh|z~|)nl=0(tanhnl|z|tanhnl|z~||nlnl|)subscriptsuperscript𝜌conditional𝑔~𝑔𝑟1𝑧~𝑧subscriptsuperscriptsubscript𝑛𝑟0superscriptsubscript𝑛𝑟𝑧superscriptsubscript𝑛𝑟~𝑧ketsubscript𝑛𝑟brasubscript𝑛𝑟subscriptsuperscript𝜌conditional𝑔~𝑔𝑙1𝑧~𝑧subscriptsuperscriptsubscript𝑛𝑙0superscriptsubscript𝑛𝑙𝑧superscriptsubscript𝑛𝑙~𝑧ketsubscript𝑛𝑙brasubscript𝑛𝑙\begin{split}\rho^{g|\tilde{g}}_{r}&=(1-\tanh|z|\tanh|\tilde{z}|)\sum^{\infty}% _{n_{r}=0}(\tanh^{n_{r}}|z|\tanh^{n_{r}}|\tilde{z}||n_{r}\rangle\langle n_{r}|% )\\ \rho^{g|\tilde{g}}_{l}&=(1-\tanh|z|\tanh|\tilde{z}|)\sum^{\infty}_{n_{l}=0}(% \tanh^{n_{l}}|z|\tanh^{n_{l}}|\tilde{z}||n_{l}\rangle\langle n_{l}|)\end{split}start_ROW start_CELL italic_ρ start_POSTSUPERSCRIPT italic_g | over~ start_ARG italic_g end_ARG end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT end_CELL start_CELL = ( 1 - roman_tanh | italic_z | roman_tanh | over~ start_ARG italic_z end_ARG | ) ∑ start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT = 0 end_POSTSUBSCRIPT ( roman_tanh start_POSTSUPERSCRIPT italic_n start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT end_POSTSUPERSCRIPT | italic_z | roman_tanh start_POSTSUPERSCRIPT italic_n start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT end_POSTSUPERSCRIPT | over~ start_ARG italic_z end_ARG | | italic_n start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ⟩ ⟨ italic_n start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT | ) end_CELL end_ROW start_ROW start_CELL italic_ρ start_POSTSUPERSCRIPT italic_g | over~ start_ARG italic_g end_ARG end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT end_CELL start_CELL = ( 1 - roman_tanh | italic_z | roman_tanh | over~ start_ARG italic_z end_ARG | ) ∑ start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT = 0 end_POSTSUBSCRIPT ( roman_tanh start_POSTSUPERSCRIPT italic_n start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT end_POSTSUPERSCRIPT | italic_z | roman_tanh start_POSTSUPERSCRIPT italic_n start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT end_POSTSUPERSCRIPT | over~ start_ARG italic_z end_ARG | | italic_n start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ⟩ ⟨ italic_n start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT | ) end_CELL end_ROW (35)

Now we calculate the SVD entanglement entropy [svd]

SSVDlorr=Tr(ρlorrg|g~logρlorrg|g~)SSVDlorr=tanh|z|tanh|z~|tanh|z|tanh|z~|1log(tanh|z|tanh|z~|)log(1tanh|z|tanh|z~|)superscriptsubscript𝑆𝑆𝑉𝐷𝑙𝑜𝑟𝑟𝑇𝑟subscriptsuperscript𝜌conditional𝑔~𝑔𝑙𝑜𝑟𝑟subscriptsuperscript𝜌conditional𝑔~𝑔𝑙𝑜𝑟𝑟superscriptsubscript𝑆𝑆𝑉𝐷𝑙𝑜𝑟𝑟𝑧~𝑧𝑧~𝑧1𝑧~𝑧1𝑧~𝑧\begin{split}S_{SVD}^{l\>or\>r}&=-Tr(\rho^{g|\tilde{g}}_{l\>or\>r}\>\log\rho^{% g|\tilde{g}}_{l\>or\>r})\\ S_{SVD}^{l\>or\>r}&=\frac{\tanh|z|\tanh|\tilde{z}|}{\tanh|z|\tanh|\tilde{z}|-1% }\log(\tanh|z|\tanh|\tilde{z}|)-\log(1-\tanh|z|\tanh|\tilde{z}|)\end{split}start_ROW start_CELL italic_S start_POSTSUBSCRIPT italic_S italic_V italic_D end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l italic_o italic_r italic_r end_POSTSUPERSCRIPT end_CELL start_CELL = - italic_T italic_r ( italic_ρ start_POSTSUPERSCRIPT italic_g | over~ start_ARG italic_g end_ARG end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_l italic_o italic_r italic_r end_POSTSUBSCRIPT roman_log italic_ρ start_POSTSUPERSCRIPT italic_g | over~ start_ARG italic_g end_ARG end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_l italic_o italic_r italic_r end_POSTSUBSCRIPT ) end_CELL end_ROW start_ROW start_CELL italic_S start_POSTSUBSCRIPT italic_S italic_V italic_D end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l italic_o italic_r italic_r end_POSTSUPERSCRIPT end_CELL start_CELL = divide start_ARG roman_tanh | italic_z | roman_tanh | over~ start_ARG italic_z end_ARG | end_ARG start_ARG roman_tanh | italic_z | roman_tanh | over~ start_ARG italic_z end_ARG | - 1 end_ARG roman_log ( roman_tanh | italic_z | roman_tanh | over~ start_ARG italic_z end_ARG | ) - roman_log ( 1 - roman_tanh | italic_z | roman_tanh | over~ start_ARG italic_z end_ARG | ) end_CELL end_ROW (36)

when |z||z~|𝑧~𝑧|z|\approx|\tilde{z}|| italic_z | ≈ | over~ start_ARG italic_z end_ARG |,

SSVDlorr=sinh2|z|log(1+cosech2|z|)+log(cosh2|z|)superscriptsubscript𝑆𝑆𝑉𝐷𝑙𝑜𝑟𝑟superscript2𝑧1superscriptcosech2𝑧superscript2𝑧S_{SVD}^{l\>or\>r}=\sinh^{2}|z|\log(1+\mathop{\mathrm{cosech^{2}}}|z|)+\log(% \cosh^{2}|z|)italic_S start_POSTSUBSCRIPT italic_S italic_V italic_D end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l italic_o italic_r italic_r end_POSTSUPERSCRIPT = roman_sinh start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | italic_z | roman_log ( 1 + start_BIGOP roman_cosech start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_BIGOP | italic_z | ) + roman_log ( roman_cosh start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | italic_z | ) (37)

which is exactly equal to the von Neumann entropy of the left-handed regime given in [chiral].

Let us focus on the domain of SVD entropy that is |z|𝑧|z|| italic_z | and |z~|~𝑧|\tilde{z}|| over~ start_ARG italic_z end_ARG |. The values for z𝑧zitalic_z only exist in one half of the domain (the domain is the coupling strength ratio ξ~/ξ~𝜉𝜉\tilde{\xi}/\xiover~ start_ARG italic_ξ end_ARG / italic_ξ) and the values for z~~𝑧\tilde{z}over~ start_ARG italic_z end_ARG only exist in the other half of the domain (Figure 2). This shows that the SVD entropy as a function of both z𝑧zitalic_z and z~~𝑧\tilde{z}over~ start_ARG italic_z end_ARG is only valid for points close to the critical point (where |z||z~|𝑧~𝑧|z|\approx|\tilde{z}|| italic_z | ≈ | over~ start_ARG italic_z end_ARG | and ξ~/ξ1~𝜉𝜉1\tilde{\xi}/\xi\approx 1over~ start_ARG italic_ξ end_ARG / italic_ξ ≈ 1) when it is plotted against the coupling strength ratio.

Refer to caption
Figure 2: z𝑧zitalic_z and z~~𝑧\tilde{z}over~ start_ARG italic_z end_ARG are plotted as a function of the coupling strength ratio. Note that their value diverges at the critical region and the graphs are not mirror images of each other, there is an asymmetry.
Refer to caption
Figure 3: SVD entropy for l𝑙litalic_l and r𝑟ritalic_r chiral degrees of freedom is plotted as a function of the coupling strength ratio. The entanglement entropy of the chiral degrees of freedom with the rest of the system diverges at the critical region.
Refer to caption
Figure 4: This figure shows more closely the graph for SVD entropy. Near the critical point, the values for SVD entropy become more valid. The point where the graph cuts off is where the value is diverging. Note that the asymmetry present in Figure 1 is also manifest here
Refer to caption
Figure 5: This is a rough sketch of Figure 4. The pie charts under the graph represent the degrees of freedom of the ground states (l,r,s𝑙𝑟𝑠l,r,sitalic_l , italic_r , italic_s). The dotted arrow line indicates entanglement for those degrees of freedom across the critical point. Since the SVD entanglement entropy for spinorial d.o.f. is 0, there is no arrow connecting those across the critical point.
Refer to caption
Figure 6: Comparison between SVD entropy and von Neumann entropy for different chiral degrees of freedom. For the left-handed regime, the von Neumann entropy for l𝑙litalic_l and r𝑟ritalic_r degrees of freedom is equal [chiral]. Note how the values of left-regime von Neumann and the SVD entropy have the same behavior near the critical point.
Refer to caption
Figure 7: This figure shows more closely the comparison of behaviors between both the definitions of entropies.

The SVD entanglement entropy is plotted (Figure 3) by considering the values of z𝑧zitalic_z and z~~𝑧\tilde{z}over~ start_ARG italic_z end_ARG outside their domain as we have assumed |z||z~|𝑧~𝑧|z|\approx|\tilde{z}|| italic_z | ≈ | over~ start_ARG italic_z end_ARG |. The most accurate representation of SVD entanglement entropy is near the critical point (Figure 4). The schematic in Figure 5 explains the plot in Figure 4, it shows how the entanglement is across the states at the critical point in the quantum phase transition. Since at the critical point, we can assume that for some value of the coupling strength ratio near the critical point we have approximately equal values of |z|𝑧|z|| italic_z | and |z~|~𝑧|\tilde{z}|| over~ start_ARG italic_z end_ARG |. Numerically, we have taken the values of z~~𝑧\tilde{z}over~ start_ARG italic_z end_ARG starting from the critical point and used those together with the values of z𝑧zitalic_z(starting from near the origin) to plot the graph for the left-hand side of Figure 3 and similarly, we have taken values from near the origin for z𝑧zitalic_z along with values for z~~𝑧\tilde{z}over~ start_ARG italic_z end_ARG (starting from the critical point) to plot the right-hand side of Figure 3.
As shown above for the |z||z~|𝑧~𝑧|z|\approx|\tilde{z}|| italic_z | ≈ | over~ start_ARG italic_z end_ARG | case we see that the value for the SVD entanglement entropy matches the von Neumann entropy given in [chiral]. This becomes apparent near the critical point of the plot Figure 7. Figure 6 and Figure 7 is the plot for comparison between von Neumann and SVD entanglement entropy. Note that the value for SVD entanglement entropy is different in the right-handed regime, as compared to the results for von Neumann one. This is an important point of distinction between both the entropies. We also see that SVD entanglement entropy gives us one value for entropy for both l𝑙litalic_l and r𝑟ritalic_r degrees of freedom and also for the left-handed and right-handed regime, which arguably makes it a better parameter to study quantum phase transition.

4 CONCLUSION AND DISCUSSION

We examined a relativistic spin-1/2 Dirac oscillator in a constant magnetic field. The relativistic Hamiltonian can be mapped to Jaynes-Cummings and anti–Jaynes-Cummings terms [chiral], describing interactions between the spinor and chirally intrinsic bosons. These models are crucial in several areas of theoretical and experimental research, and reveal the interplay between opposite chiralities. A. Bermudez et al. in [chiral] showed us two distinct phases under weak and strong magnetic fields, each with opposite chirality. In the intermediate regime, a complex interaction between chiralities leads to a quantum phase transition. In this work we discuss the entanglement entropy of the hybrid ground states obtained from this system across the phase transition in more detail using the SVD entanglement entropy.

The SVD entanglement entropy is a generalization of the von Neumann entropy. It uses a preselection and a post-selection state to calculate the entanglement entropy of the system. Arthur J. Parzygnat et al. in [svd] extended the von Neumann entropy concept from density matrices to general square matrices, defining it as SVD entropy. They showed that SVD entropy possesses similar properties to von Neumann entropy, including additivity, invariance under two-sided independent unitary transformations, and a modified form of concavity. In addition to the examples provided in [svd] we provided a general example (or proof) for SVD entanglement entropy of Bell states which turns out to be log22\log 2roman_log 2 similar to the von Neumann case.

The entanglement properties that were brought forth from the SVD definition, turned out to show reasonably similar behavior as the von Neumann case, the values diverge at the critical point which is indicative of the signature of a quantum phase transition. Hence, both definitions are qualitatively similar at times but quantitative differences occur. Further applications of SVD entanglement entropy can be seen in quantum information and quantum computation theory. A relation between entropy and computational complexity can be sought out through the SVD entanglement entropy between a quantum algorithm’s initial and final states. Further applications of SVD entanglement entropy as an indicator of phase transition can be done in a geometrical spacetime context, wherein the phase transition of a particular quantum field is triggered by geometric changes in the background spacetime.

Entanglement is seen as a measure of complexity from an information theory point of view [Nielsen_Chuang_2010], for the entanglement entropy to diverge at the critical point, it means that the complexity and the quantum correlations of the degrees of freedom are divergent due to entanglement between the degrees of freedom of left-handed and right-handed regime ground state. This sort of behavior intuitively makes sense in a classical system exhibiting phase transition, as at the critical point the system undergoes a transition hence the information at the critical point of the system is in-deterministic because of its transitory nature [landau2005guide, pethick2008bose, stanley1987introduction, sachdev2011quantum]. For a quantum system, it is explicitly shown by our work and [chiral] how the phase transition happens using entropic calculations, through first principle rather than statistical arguments.

5 ACKNOWLEDGEMENT

One of the authors (YS) has been supported by the Summer Research Program-2024 by S.N. Bose National Centre for Basic Sciences, JD Block, Sector III, Salt Lake, Kolkata 7000106, India.

\printbibliography