Our scheme can be described as follows. Suppose there are three legitimate parties, say, Alice, Charlie and Bob. Alice is the sender of quantum information. Charlie and Bob are two agents. Suppose the sender Alice has an arbitrary two-qubit state, which is given by
$$ \left|\psi\right\rangle_{AB} =\alpha \left| 00\right\rangle_{AB} +\beta \left|10 \right\rangle_{AB} +\gamma \left| 01\right\rangle_{AB} +\theta \left|11 \right\rangle_{AB} , $$
(1)
where |α|2 + |β|2 + |γ|2 + |𝜃|2 = 1. Now Alice wants to send the state to Bob who is assigned to reconstruct the original state with the help of Charlie. Hence, she prepares a seven-qubit maximally entangled state, which is in the form of [10]
$$\begin{array}{@{}rcl@{}} \left|\psi \right\rangle_{1234567} &=&\frac{1}{4\sqrt 2} \left\{ {\left( {\left|000 \right\rangle {\vphantom{\left. {+\left( {\left|001 \right\rangle +\left|110 \right\rangle} \right)_{127} \left[ {\left|0 \right\rangle_{3} \left( {\left|001 \right\rangle +\left|110 \right\rangle} \right)_{456} +\left|1 \right\rangle_{3} \left( {\left|000 \right\rangle -\left|111 \right\rangle} \right)_{456}} \right]} \right\}}} +\left|111 \right\rangle} \right)_{127}} \right.\left[ {\left|0 \right\rangle_{3} \left( {\left|000 \right\rangle +\left|111 \right\rangle} \right)_{456} +\left|1 \right\rangle_{3} \left( {\left|110 \right\rangle -\left|001 \right\rangle} \right)_{456}} \right] \\&& {\kern2pc}+\left( {\left|010 \right\rangle -\left|101 \right\rangle} \right)_{127} \left[ {\left|0 \right\rangle_{3} \left( {\left|100 \right\rangle +\left|011 \right\rangle} \right)_{456} +\left|1 \right\rangle_{3} \left( {\left|010 \right\rangle -\left|101 \right\rangle} \right)_{456}} \right] \\&& {\kern2pc}+\left( {\left|100 \right\rangle -\left|011 \right\rangle} \right)_{127} \left[ {\left|0 \right\rangle_{3} \left( {\left|101 \right\rangle -\left|010 \right\rangle} \right)_{456} -\left|1 \right\rangle_{3} \left( {\left|011 \right\rangle +\left|100 \right\rangle} \right)_{456}} \right] \\&& {\kern2pc}\left. {+\left( {\left|001 \right\rangle +\left|110 \right\rangle} \right)_{127} \left[ {\left|0 \right\rangle_{3} \left( {\left|001 \right\rangle +\left|110 \right\rangle} \right)_{456} +\left|1 \right\rangle_{3} \left( {\left|000 \right\rangle -\left|111 \right\rangle} \right)_{456}} \right]} \right\},\\ \end{array} $$
(2)
in which the qubits 1, 2, 7 sent to Charlie, and 5 and 6 to Bob. The combined state of the nine-qubit system is given by,
$$\begin{array}{@{}rcl@{}} |{\Psi}\rangle_{AB1234567} &=&|\psi\rangle_{AB} \otimes |\psi\rangle_{1234567} \\ &=&\frac{1}{4}\left[|{\Phi}^{+}\rangle_{A3}|{\Phi}^{+}\rangle_{B4} \left(\alpha|\xi_{1}\rangle + \beta|\xi_{3}\rangle + \gamma|\xi_{2}\rangle + \theta|\xi_{4}\rangle\right)_{12567}\right.\\ &&{\kern1pc}+\left.|{\Phi}^{+}\rangle_{A3}|{\Phi}^{-}\rangle_{B4} \left(\alpha|\xi_{1}\rangle + \beta|\xi_{3}\rangle - \gamma|\xi_{2}\rangle - \theta|\xi_{4}\rangle\right)_{12567}\right.\\ &&{\kern1pc}+\left.|{\Phi}^{-}\rangle_{A3}|{\Phi}^{+}\rangle_{B4} \left(\alpha|\xi_{1}\rangle - \beta|\xi_{3}\rangle + \gamma|\xi_{2}\rangle - \theta|\xi_{4}\rangle\right)_{12567}\right.\\ &&{\kern1pc}+\left.|{\Phi}^{-}\rangle_{A3}|{\Phi}^{-}\rangle_{B4} \left(\alpha|\xi_{1}\rangle - \beta|\xi_{3}\rangle - \gamma|\xi_{2}\rangle + \theta|\xi_{4}\rangle\right)_{12567}\right.\\ &&{\kern1pc}+\left.|{\Phi}^{+}\rangle_{A3}|{\Phi}^{+}\rangle_{B4} \left(\alpha|\xi_{1}\rangle + \beta|\xi_{3}\rangle + \gamma|\xi_{2}\rangle + \theta|\xi_{4}\rangle\right)_{12567}\right.\\ &&{\kern1pc}+\left.|{\Phi}^{+}\rangle_{A3}|{\Phi}^{-}\rangle_{B4} \left(\alpha|\xi_{1}\rangle + \beta|\xi_{3}\rangle - \gamma|\xi_{2}\rangle - \theta|\xi_{4}\rangle\right)_{12567}\right.\\ &&{\kern1pc}+\left.|{\Phi}^{-}\rangle_{A3}|{\Phi}^{+}\rangle_{B4} \left(\alpha|\xi_{1}\rangle - \beta|\xi_{3}\rangle + \gamma|\xi_{2}\rangle - \theta|\xi_{4}\rangle\right)_{12567}\right.\\ &&{\kern1pc}+\left.|{\Phi}^{-}\rangle_{A3}|{\Phi}^{-}\rangle_{B4} \left(\alpha|\xi_{1}\rangle - \beta|\xi_{3}\rangle - \gamma|\xi_{2}\rangle + \theta|\xi_{4}\rangle\right)_{12567}\right.\\ &&{\kern1pc}+\left.|{\Psi}^{+}\rangle_{A3}|{\Phi}^{+}\rangle_{B4} \left(\alpha|\xi_{1}\rangle + \beta|\xi_{3}\rangle + \gamma|\xi_{2}\rangle + \theta|\xi_{4}\rangle\right)_{12567}\right.\\ &&{\kern1pc}+\left.|{\Psi}^{+}\rangle_{A3}|{\Phi}^{-}\rangle_{B4} \left(\alpha|\xi_{1}\rangle + \beta|\xi_{3}\rangle - \gamma|\xi_{2}\rangle - \theta|\xi_{4}\rangle\right)_{12567}\right.\\ &&{\kern1pc}+\left.|{\Psi}^{-}\rangle_{A3}|{\Phi}^{+}\rangle_{B4} \left(\alpha|\xi_{1}\rangle - \beta|\xi_{3}\rangle + \gamma|\xi_{2}\rangle - \theta|\xi_{4}\rangle\right)_{12567}\right.\\ &&{\kern1pc}+\left.|{\Psi}^{-}\rangle_{A3}|{\Phi}^{-}\rangle_{B4} \left(\alpha|\xi_{1}\rangle - \beta|\xi_{3}\rangle - \gamma|\xi_{2}\rangle + \theta|\xi_{4}\rangle\right)_{12567}\right.\\ &&{\kern1pc}+\left.|{\Psi}^{+}\rangle_{A3}|{\Phi}^{+}\rangle_{B4} \left(\alpha|\xi_{1}\rangle + \beta|\xi_{3}\rangle + \gamma|\xi_{2}\rangle + \theta|\xi_{4}\rangle\right)_{12567}\right.\\ &&{\kern1pc}+\left.|{\Psi}^{+}\rangle_{A3}|{\Phi}^{-}\rangle_{B4} \left(\alpha|\xi_{1}\rangle + \beta|\xi_{3}\rangle - \gamma|\xi_{2}\rangle - \theta|\xi_{4}\rangle\right)_{12567}\right.\\ &&{\kern1pc}+\left.|{\Psi}^{-}\rangle_{A3}|{\Phi}^{+}\rangle_{B4} \left(\alpha|\xi_{1}\rangle - \beta|\xi_{3}\rangle + \gamma|\xi_{2}\rangle - \theta|\xi_{4}\rangle\right)_{12567}\right.\\ &&{\kern1pc}+\left.|{\Psi}^{-}\rangle_{A3}|{\Phi}^{-}\rangle_{B4} \left(\alpha|\xi_{1}\rangle - \beta|\xi_{3}\rangle - \gamma|\xi_{2}\rangle + \theta|\xi_{4}\rangle\right)_{12567}\right], \end{array} $$
(3)
where
$$\begin{array}{@{}rcl@{}} \left|\xi_{1}\right\rangle_{12567} &=&\frac{1}{2\sqrt 2} \left[\left(|000\rangle +\left|111 \right\rangle \right)_{127} \left|00 \right\rangle_{56} \right.+\left( \left|010 \right\rangle-\left|101 \right\rangle \right)_{127} \left|11 \right\rangle_{56}\\ &&+\left(\left|100 \right\rangle -\left|011 \right\rangle \right)_{127} \left|10 \right\rangle_{56} \left.+\left(\left|001 \right\rangle +\left|110 \right\rangle \right)_{127} \left|01 \right\rangle_{56} \right\},\\ \left|\xi_{2} \right\rangle_{12567} &=&\frac{1}{2\sqrt 2}\left[\left(|000 \rangle +\left|111 \right\rangle \right)_{127} \left|11 \right\rangle_{56} \right.+\left( \left|010 \right\rangle -\left| \right\rangle \right)_{127} \left|101 \right\rangle_{56} \\ &&+\left(\left|100\right\rangle -\left|011 \right\rangle \right)_{127} \left|01 \right\rangle_{56} \left.+\left(\left|001 \right\rangle +\left|110 \right\rangle \right)_{127} \left|10 \right\rangle_{56} \right\}, \\ \left|\xi_{3} \right\rangle_{12567} &=&\frac{1}{2\sqrt 2} \left[\left(\left|000 \right\rangle +\left|111 \right\rangle \right)_{127} \left|01 \right\rangle_{56} \right.+\left( \left|010 \right\rangle -\left|101 \right\rangle \right)_{127} \left|10 \right\rangle_{56} \\ &&+\left(\left|011 \right\rangle -\left|100 \right\rangle \right)_{127} \left|11 \right\rangle_{56} \left. +\left(\left|001 \right\rangle +\left|110 \right\rangle \right)_{127} \left|00 \right\rangle_{56} \right\},\\ \left|\xi_{4} \right\rangle_{12567} &=&\frac{1}{2\sqrt 2} \left[\left(\left|000 \right\rangle +\left|111 \right\rangle \right)_{127} \left|10 \right\rangle_{56} \right.+\left( \left|101 \right\rangle -\left|010 \right\rangle \right)_{127} \left|01 \right\rangle_{56} \\ &&+\left(\left|011 \right\rangle -\left|100 \right\rangle \right)_{127} \left|00 \right\rangle_{56} \left. -\left(\left|001\right\rangle +\left|110 \right\rangle \right)_{127} \left| 11\right\rangle_{56} \right\}, \end{array} $$
with \({\left |{\Phi }^{\pm } \right \rangle =\left (\left |00 \right \rangle \pm \left |11\right \rangle \right )/{\sqrt 2}~\text {and}~\left |{\Psi }^{\pm }\right \rangle =\left (\left |01 \right \rangle \pm \left |10 \right \rangle \right )/{\sqrt 2}}\).
To achieve the purpose of QIS, Alice first performs BSMs on her qubit pairs (A, 3) and (B, 4), respectively. It is known that Alice may obtain one of the 16 kinds of possible measured results with equal probability, and the remaining qubits may collapse into one of the 16 states after the measurement. Then Alice tells the BSMs result to Bob and Charlie. If Charlie allows Bob to reconstruct the initial state, he needs to carry out a single qubit measurement on his qubits 1, 2, 7 under the basis of {|0〉,|1〉}. By combining information from Alice and Charlie, Bob can reconstruct the original state |ψ〉
A
B
with an appropriate unitary transformation on the qubits at hand.
Now, let us take an example to demonstrate the principle of this QIS protocol. Suppose Alice’s BSMs outcome is |Φ+〉
A3|Φ+〉
B4, then the state of the remaining qubits collapse into the state
$$\begin{array}{@{}rcl@{}} \left| \varphi\right\rangle_{12567} &=&\frac{\sqrt 2} {4}\left[ {\left|000 \right\rangle_{127} \left( {\alpha \left|00 \right\rangle +\beta \left|01 \right\rangle +\gamma \left|11 \right\rangle +\theta \left|10 \right\rangle} \right)_{56}} \right. \\ &&{\kern2pc}+\left|111 \right\rangle_{127} \left( {\alpha \left|00\right\rangle +\beta \left|01 \right\rangle +\gamma \left|11 \right\rangle +\theta \left|10 \right\rangle} \right)_{56} \\ &&{\kern2pc}+\left|001 \right\rangle_{127} \left( {\alpha \left|01 \right\rangle +\beta \left|00 \right\rangle +\gamma \left|10 \right\rangle -\theta \left|11 \right\rangle} \right)_{56} \\ &&{\kern2pc}+\left| 110\right\rangle_{127} \left( {\alpha \left|01 \right\rangle +\beta \left|00 \right\rangle +\gamma \left|10 \right\rangle -\theta \left|11 \right\rangle} \right)_{56} \\ &&{\kern2pc}+\left|010 \right\rangle_{127} \left( {\alpha \left|11 \right\rangle +\beta \left|10 \right\rangle +\gamma \left|00 \right\rangle -\theta \left|01 \right\rangle} \right)_{56} \\ &&{\kern2pc}-\left|101 \right\rangle_{127} \left( {\alpha \left|11 \right\rangle +\beta \left|10 \right\rangle +\gamma \left|00 \right\rangle -\theta \left|01 \right\rangle} \right)_{56} \\ &&{\kern2pc}+\left|100 \right\rangle_{127} \left( {\alpha \left|10 \right\rangle -\beta \left|11 \right\rangle +\gamma \left|01 \right\rangle -\theta \left|00 \right\rangle} \right)_{56}\\ &&{\kern2pc}\left. {-\left|011 \right\rangle_{127} \left( {\alpha \left|10 \right\rangle -\beta \left|11 \right\rangle +\gamma \left|01 \right\rangle -\theta \left|00 \right\rangle} \right)_{56}} \right]. \end{array} $$
(4)
Charlie can now make a single qubit measurement on qubits 1, 2, 7 under the basis of {|0〉,|1〉}, and then he sends the result of his measurement to Bob. If the measured result is |000〉127,|111〉127,|001〉127,|110〉127,|010〉127,|101〉127,|100〉127 or |011〉127, Bob needs to apply the local unitary operation U
1, U
2, U
3, U
4, U
5, U
6, U
7 or U
8 on his own qubits 5 and 6. And these unitary transformations are given by
$$U_{1} =\left|00 \right\rangle \left\langle {00} \right|+\left|10 \right\rangle \left\langle {01} \right|+\left|01 \right\rangle \left\langle {11} \right|+\left| 11\right\rangle \left\langle {10} \right|, $$
$$U_{2} =\left|00 \right\rangle \left\langle {00} \right|+\left|10 \right\rangle \left\langle {01} \right|+\left|01 \right\rangle \left\langle {11} \right|+\left|11 \right\rangle \left\langle {10} \right|, $$
$$U_{3} =\left|00 \right\rangle \left\langle {01} \right|+\left|10 \right\rangle \left\langle {00} \right|+\left|01 \right\rangle \left\langle {10} \right|-\left|11 \right\rangle \left\langle {11} \right|, $$
$$U_{4} =\left| 00\right\rangle \left\langle {01} \right|+\left|10 \right\rangle \left\langle {00} \right|+\left|01 \right\rangle \left\langle {10} \right|-\left|11 \right\rangle \left\langle {11} \right|, $$
$$U_{5} =\left|00 \right\rangle \left\langle {11} \right|+\left|10 \right\rangle \left\langle {10} \right|+\left|01 \right\rangle \left\langle {00} \right|-\left|11 \right\rangle \left\langle {01} \right|, $$
$$U_{6} =\left|00 \right\rangle \left\langle {11} \right|+\left|10 \right\rangle \left\langle {10} \right|+\left|01 \right\rangle \left\langle {00} \right|-\left|11 \right\rangle \left\langle {01} \right|, $$
$$U_{7} =\left|00 \right\rangle \left\langle {10} \right|-\left|10 \right\rangle \left\langle {11} \right|+\left|01 \right\rangle \left\langle {01} \right|-\left|11 \right\rangle \left\langle {00} \right|, $$
$$U_{8} =\left|00 \right\rangle \left\langle {10} \right|-\left|10 \right\rangle \left\langle {11} \right|+\left|01 \right\rangle \left\langle {01} \right|-\left|11 \right\rangle \left\langle {00} \right|. $$
After doing those operations, Bob can successfully reconstruct the original unknown two-qubit state |ψ〉
A
B
.