On the probability amplitude of quantum entanglement and the Pauli matrices

The probability amplitudes for quantum entanglement, also known as Bell sates, are utilized to arrive explicitly at the identity matrix I and the σx\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma_{x}$$\end{document}, σy\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma_{y}$$\end{document}, and σz\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma_{z}$$\end{document} Pauli matrices, via a straight-forward 2×2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$2 \times 2$$\end{document} matrix representation that utilizes the vector direct product. It is also indicated that this approach is completely equivalent to the utilization of the Kronecker product ⊗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\otimes$$\end{document} to multiply the relevant ket vectors. Furthermore, it is shown that the polarization rotation matrix R, operating on the various versions of the probability amplitude for quantum entanglement, yields four identities elegantly interconnecting these probability amplitudes.


Introduction
The x , y , and z Pauli matrices play an important role in quantum mechanics (Feynman 1965;Landau and Lifshitz 1958) and more recently they have taken central stage in the field of quantum computing where these matrices are associated with the corresponding Pauli-X, Pauli-Y, and Pauli-Z gates (Childs 2001;Moore and Nilsson 2001). Furthermore, the mathematical function of another important gate in quantum computing, the Hadamard gate (Ekert et al. 2001), can be constructed adding two of the Pauli matrices. In addition to the matrices already mentioned, other 2 × 2 matrices that interact, in optical configurations, with the probability amplitudes of quantum entanglement are the matrices corresponding to beam splitters, Mach-Zehnder interferometers, mirrors, and polarization rotators. Thus, for experimental and quantitative convenience it is important and useful to express these probability amplitudes, or Bell states, in a 2 × 2 matrix format.

3
106 Page 2 of 8 Already in the literature the correspondence between Bell states and the Pauli matrices has been highlighted (Dehaene et al. 2003;Sych and Leuchs 2009), albeit without explanation or derivation. Given the ubiquitous nature of beam splitters, mirrors, prisms, and polarization rotators in laboratories focused on quantum cryptography and quantum computing there is a practical need for a clear and transparent matrix-based methodology that provides a transparent explanation on the correspondence of the various Bell states and the Pauli matrices. Such straight forward mathematical development is provided here.
In addition, two sets of identities elegantly depicting the interaction of the four entangled states, � ⟩ + , � ⟩ − , � ⟩ + , and � ⟩ − with polarization rotators and the Hadamard matrix, are given.

From probability amplitudes to Pauli matrices
The Pauli matrices are often introduced via the discussion of operators relevant to spin-1/2 particles (Landau and Lifshitz 1958;Robson 1974;Mandel and Wolf 1995) while Feynman introduces them, more specifically, via the Hamiltonian associated with two-state systems of such particles (Feynman 1965). An alternative avenue of introduction is via coherence matrix theory (Fano 1954;Wolf 1954;Collett 1993).
In addition to the original quantum entanglement equation (Pryce and Ward 1947;Ward 1949) for many applications, including teleportation and quantum computing, it is convenient to express the probability amplitudes for quantum entanglement in ket vector notation as (Bennett et al. 1993) where the �0⟩ and �1⟩ vectors can be defined as (Fowles 1968) The vector direct product �x⟩�y⟩ = �x⟩ ⋅ �y⟩ T is defined as (Ayres 1965) (1) (2), we have which using the vector direct product, can be expressed in matrix notation as so that Using the same methodology, the probability amplitude � ⟩ − can be expressed as Next, the � ⟩ + , described in Eq. (4), can be written as so that leading to Finally, using the same methodology and Eq. (5) as the starting point, � ⟩ − can be expressed as By inspection, the matrices given in Eqs. (11), (12), (15), and (16) can be readily identified as These are the identity matrix I and the corresponding x , y , and z Pauli matrices (Feynman et al. 1965). This observation allow us to elegantly re-express the four Bell states as Reflection on a perfect non-polarizing mirror, represented by the identity matrix I, the various Bell states are preserved. If the entangled photons are made to be incident on a ∕2 polarization rotator, such as a half-wave plate, a Fresnel rhomb, or a broadband prism polarization rotator, all of which are represented by the matrix (Duarte 2014) then, using the matrix methodology described here, it can readily be shown that Once the Bell states are expressed in 2 × 2 matrix form, the Hadamard matrix can be expressed as the sum of two quantum entanglement probability amplitudes Page 5 of 8 106 which immediately yields its known equivalent format as the sum of two Pauli matrices Furthermore, using the methodology described in this paper, it can be shown that and An important note here is that since the introduction of quantum teleportation by Bennett et al. (1993) unitary matrices have been applied to recover the original quantum state to be teleported, however, this is different to the explicit derivation of the Pauli matrices directly from the probability amplitudes describing quantum entanglement.
If the definitions for the vectors, given in Eqs. (6) and (7), are interchanged, and Eqs.
(2)-(5) modified accordingly, so that the corresponding state vectors become then, the identities given in Eqs.

From Pauli matrices to quantum entanglement
The vector-matrix process described in the previous section is completely reversible so that 44) I = 2 1∕2 � ⟩ + thus demonstrating an additional avenue to derive the probability amplitudes applicable to a pair of quanta, propagating in opposite directions, with entangled polarizations. Assuming that the Pauli matrices are derived independently and from first principles, this simple approach adds to the heuristic derivation of Pryce and Ward (Pryce and Ward 1947;Ward 1949) and to the interferometric derivation (Duarte 2013a(Duarte , b, 2014.

Conclusion
Here, it has been shown explicitly, using a straight forward matrix methodology, how the probability amplitudes for quantum entanglement can be used to give origin to the Pauli matrices and to the Hadamard matrix all of which are considered to be of fundamental importance in quantum computing. These results reinforce the inherent synergy between quantum entanglement physics and quantum computing. This observation might have implications on the vulnerability of cryptographic methods based quantum entanglement from the perspective of quantum computing.
The connection between the probability amplitudes for quantum entanglement, or Bell sates, and the I, x , y , z matrices has been demonstrated in a straight forward fashion via the vector direct product thus adding to the tool armamentarium available to experimental physicists and engineers working on the design of quantum cryptography and quantum computing configurations. Representation of the Bell states in a transparent 2 × 2 matrix form is particularly useful since polarization rotators, mirrors, and beam splitters, can all be represented in this matrix format. In this regard, examples characterizing the interaction of the four Bell states with polarization rotators, and the Hadamard matrix, are given in two corresponding sets of elegant mathematical identities.
Certainly, the method is applicable to other optical components represented by 2 × 2 matrices.
Finally, since the mathematical path described here is completely reversible, the Pauli matrices themselves can be applied to arrive at the probability amplitude of quantum entanglement thus providing a third avenue of derivation to the two previously known approaches (Pryce and Ward 1947;Ward 1949;Duarte 2013a, b).
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creat iveco mmons .org/licen ses/by/4.0/.
immediately to the use of �x⟩�y⟩ = �x⟩ ⋅ �y⟩ T to multiply the ket vectors. If, instead, the Kronecker product ⊗ is applied we need to use the vec function (Neudecker 1969;Magnus and Neudecker 1979) in reverse to convert the column 4 × 1 vectors into 2 × 2 matrices, so that which again lead directly to the results already expressed in Eqs. (21)-(24) thus showing the complete equivalence of the two methods. In this regard, however, it is our opinion that the matrix representation utilized in the main body of this work is more compact, and direct, than the alternative tensor representation.