1 Introduction
Quantum communication, such as quantum key distribution (QKD) [
1-
5], quantum secure direct communication (QSDC) [
6-
14], and quantum secret sharing (QSS) [
15-
19], provides an absolutely secure technique that transmits private information between legitimate parties. Bennett and Brassard proposed the first quantum communication protocol [
20], enabling two parties to share private key for encryption. In principle, eavesdroppers attacking on a quantum communication process introduce perturbations that inevitably reveal their interception [
1]. However, practical apparatuses with imperfect functions may have loopholes for side-channel attacks on quantum cryptography [
21-
23]. In principle, the device independent architecture based on the violation of Bell inequality can remove all side-channel attacks on quantum cryptography using non-ideal devices [
24-
26], whereas it requires a loophole-free Bell test [
22]. Measurement-device-independent (MDI) architecture [
27] provides a simplified strategy for removing serious side-channel attacks on practical measurement apparatuses by using postselected entanglement. For instance, two legitimate parties with practical measurement apparatuses can share private key by MDI-QKD [
21,
22] and directly exchange classical messages over quantum channels by MDI-QSDC [
28-
31].
Multiparty quantum communication involves more than two nodes of a network and directly transmits private information among them without any classical relay [
32-
34]. QSS is a typical multiparty quantum communication protocol [
15-
19]. It splits a private message into several parts and sends each part to one party; the message can only be reconstructed through cooperation between all parties. In 1999, Hillery, Bužck and Berthiaume [
15] proposed the first QSS protocol using a maximally entangled three-particle Greenberger–Horne–Zeilinger (GHZ) state; Karlsson
et al. [
35] proposed a QSS protocol using two-particle quantum entanglement. In 2004, Xiao
et al. [
36] proposed a high-efficient QSS protocol, increasing its efficiency to asymptotically
by properly choosing measurement bases [
37,
38]. Subsequently, some interesting QSS protocols were proposed [
39-
46].
In 2015, Fu
et al. [
47] proposed the first MDI-QSS protocol with postselected GHZ states and closed loopholes introduced by practical measurement apparatuses. Recently, Gao
et al. [
48] presented a deterministic MDI-QSS (DMDI-QSS) protocol and removed the requirement of basis reconciliation in the MDI architecture [
21-
23]. In this protocol, the sender Alice produces entangled photon pairs and sends one photon from each pair to David, whereas the receivers (Bob and Charlie) randomly produce single photons in an eigenstate of
or
basis, and also send their photons to David for GHZ-state analysis. The GHZ-state analyzer in David’s node [
49-
51], in principle, performs a teleportation operation and correlates the states of photons kept in Alice’s node to that prepared by the receivers. The receivers check the security of DMDI-QSS before information encoding; and some of receivers can cheat one receiver by a particular strategy [
52-
54]. Therefore, it requires at least two faithful receivers to guarantee the security of DMDI-QSS against the participant attack [
48].
Here we present a sender-controlled MDI-QSS protocol, in which the sender performs as an active controller [
55] and can detect the attack from either outside eavesdropper or unfaithful receiver (i.e., participant attack) by cooperating with receivers. Single photons with random polarization inserted into entangled photon pairs are used for security check [
28-
30]. Once a postselected GHZ state is produced by ancillary David from individual single photons, exclusive correlations are created among photon states prearranged by the sender and receivers. After receiving the photon states published by all receivers, the sender can perform security check based on the postselected multiphoton entanglement rather than the multiphoton quantum teleportation that requires ancillary measurements [
48]. Therefore, the sender acts as an active controller and encodes private information after ascertaining the security of quantum channels and the reliability of each receiver, which enables the receivers to share private messages over quantum channels and makes this protocol convenient for practical secret sharing.
2 Three-party sender-controlled MDI-QSS protocol
A sender-controlled MDI-QSS protocol among three legitimate parties is shown in Fig. 1. The sender Alice prepares a sequence of entangled photon pairs and divides them into two sequences. She sends one photon sequence to ancillary David after she randomly inserts some single photons with random polarization in it. Bob and Charlie prepare single photons with random polarization and send them to David as well. David performs GHZ-state analysis of each three photons with the same order and heralds exclusive correlations among three legitimate parties by either postselected entanglement generation or quantum teleportation. These two cases will be used for security check and secret splitting, respectively. Specifically, the three-party sender-controlled MDI-QSS proposal is carried out in the following steps.
Step (1): Photon-sequence preparation. Alice prepares
k1 entangled photon pairs in the Bell state
, where
(
) represents a horizontally (vertically) polarized photon, and divides them into two sequences
PK and
by choosing one photon from each pair and rearranging them with the same order as in photon pair sequence [
6-
8]. She also prepares a sequence
PS consisting of
k2 single photons which are randomly prepared in either
[i.e.,
] or
[i.e.,
] basis, and randomly inserts them into
to reform a new sequence
PA consisting of
photons. Meanwhile, Bob and Charlie prepare
n-photon sequences
PB and
PC with each photon randomly initialized in either
or
basis, respectively.
Step (2): Photon-sequence transmission. Alice, Bob, and Charlie send their photon sequences PA, PB, and PC to the untrusted ancillary David to perform a GHZ-state analysis of each three photons with the same order. The GHZ-state analyzer can project the incoming photons into one of three-photon GHZ states that can be described as
In practice, a GHZ-state analyzer can only identify two GHZ states
and
when using linear optical elements and single-photon detectors [
49-
51], shown in Fig. 1. PBS1 and PBS2 are two polarizing beam splitters that transmit photons with horizontal polarization
and reflect photons with vertical polarization
; PC is a polarization controller and completes a
rotation of the polarization; D1, D2, and D3 are single-photon detectors and can distinguish between two polarizations
and
, reporting 0 and 1, respectively. Therefore, the state
leads to a coincidence event of three-detector clicks
,
,
, or
, while the state
results in an event
,
,
, or
[
50]. Although the success probability of this analysis is
, it is enough for security check and secret sharing of our three-party sender-controlled MDI-QSS protocol.
When a photon
of sequence
PA entering the GHZ-state analyzer originates from
and entangles with the photon
k of sequence
PK, the GHZ-state analysis can correlate the state of photon
k kept in Alice’s node and the single-photon states
and
prepared by Bob and Charlie with
. In general, the states of photons
k kept in Alice’s node will be projected into an eigenstate of
(
) if Bob and Charlie prepare their photons in basis
or
(
or
) [
48] and David reports successful GHZ-state measurements on photons sent to him, shown in Tables 1 and 2.
α is the number of
basis that Bob and Charlie use for single-photon preparation.
β is the number of states
and
that Bob and Charlie prepared.
is the number of state
of photons that are prepared in the
basis in each
. Here
with
are four state vectors of the
basis, the superposition of which consists the two-photon state
. For instance, David announces a GHZ state
, Bob and Charlie prepare their photons in the state
, this corresponds to the Case 1 in Table 1 (
,
) with
and
, and the corresponding photon in sequence
PK is projected into the state
; David announces a GHZ state
, Bob and Charlie prepare their photons in the state
, this corresponds to the Case 4 in Table 2 (
,
) with
(
) and
(
), and the corresponding photon in sequence
PK is projected into the state
(
). Alice can encode her information by applying local operations on photons kept in her node, and then sends them to receivers for secret sharing.
When a photon s of sequence PA entering the GHZ-state analyzer originates from PS, it is separable from all other photons. The product state of three photons entering GHZ-state analyzer can be described as a superposition of three-photon GHZ states. The GHZ-state analyzer can only report one GHZ state of the superposition each time, referred to as postselected entanglement. In general, when Alice, Bob, and Charlie prepare their photons in the bases with even , such as , , , , any three-photon product state will be a superposition of four GHZ states, whereas it never simultaneously contains states and with relative phase differences 0 and π between two components consisting them, respectively. Here the subscripts of are identical to that of . For instance, when Alice, Bob, and Charlie prepare their single photons in basis, eight three-photon product states can be described in the GHZ-state basis as follows:
When Alice, Bob, and Charlie prepare their photons in the basis , any three-photon product state will be referred to as a superposition of four GHZ states similar to the aforementioned case as follows:
Similarly, when Alice, Bob, and Charlie prepare their photons in the basis or , any three-photon product state will also be referred to as a superposition of four GHZ states. For these two cases, any three-photon product state can be, respectively, described as
or
However, when Alice, Bob, and Charlie prepare their photons in the bases with odd , such as , , , , any three-photon product state will be a superposition of eight GHZ states with an equal probability of . For instance, the three-photon product state prepared in basis can be described in the three-photon GHZ-state basis as follows:
Therefore, for any three-photon product state, it can be described in the GHZ-state basis by a deterministic superposition. Once the three photons are prepared in the bases with even , the GHZ-state analysis of them will report one of four GHZ states, whereas the GHZ-state analyzer will report one of eight GHZ states when they are prepared in the bases with odd . The former case will be used for security check, because any eavesdropper will distort the GHZ-state analysis and can lead to a GHZ state that is not contained in the superposition, shown in Eqs. (2)–(5).
Step (3): Security check. David announces the results of GHZ-state analysis through public channels, together with the corresponding position of the photons. Alice, Bob, and Charlie keep the raw data of successful GHZ-state analysis and discard the rest. To detect eavesdropping, Alice publishes the positions of single photons originating from Ps in sequence PA and asks Bob and Charlie to publish their photon states with the same order in PB and PC. By using the cases in which they have prepared three photons in bases with even , Alice will calculate the error rate of the photon-sequence transmission and judges whether there is an eavesdropper or unfaithful participant intercepting the quantum channel. When the error rate is larger than the threshold, she will stop the communication process and asks Bob and Charlie to restart from step (1); otherwise, she moves to the next procedure for message encoding.
Step (4): Message encoding. After the security check is passed, Alice encodes her secret message on the photons in a modified sequence which is a subsequence of PK and their counterparts have led to a faithful GHZ-state analysis. Specifically, if the bit value is 0, she does not perform any operation on the corresponding photon, if the bit value is 1, she performs a unitary operation on the corresponding photon, which completes the transformation and . Meanwhile, Alice encodes some sampling bits together with the message encoding for integrity check.
Step (5): Message decoding. In practice, there are two methods for Bob and Charlie to decode the message sent by Alice: (i) Alice sends the photons carrying her message to Bob (Charlie) who can read out the message by measuring the photons in the right bases after Charlie (Bob) publishes his photon states; when the measurement result coincides with that determined by Tables 1 and 2, Bob (Charlie) receives a bit value 0, otherwise, he receives a bit value 1. Subsequently, Alice publishes her information about sampling bits and Bob (Charlie) can check the integrity of the second sequence transmission. (ii) Alice measures the photons in the right bases and publishes her results over a classical channel, after she receives the basis information that Bob and Charlie use for their photon preparation; Bob (Charlie) can then read out the message after Charlie (Bob) informs him of his photon states. Although one of the communication parties performs measurement on photons carrying sender’s information, the outcome is published immediately after the measurement, which never leads to any security compromise. Therefore, our protocol is MDI and can be immune to all side-channel attacks on practical measurement apparatuses [
22].
3 Security analysis
So far, we have presented the three-party sender-controlled MDI-QSS protocol. An unfaithful receiver Bob, in principle, can obtain Alice’s private information if he can determine the states of photons in sequence PA and hides himself in security check by introducing no disturbance. For instance, Bob can escape from being detected by Alice if he always announces his single-photon states after he knows the states of single photons produced by Alice, then he can obtain Alice’s private information without Charlie’s help if Alice sends her photon sequence to Bob for message decoding and Bob measures them in proper bases. Therefore, Bob can focus his attack on acquiring Alice’s single-photon states using two different strategies: (i) intercept-resend attacks; (ii) teleportation-based attacks. We will show below that both attacks can not get any useful information for Bob without being detected by the sender Alice.
(i) Intercept-resend attacks. A direct intercept-resend attack performed by the unfaithful participant Bob can be carried out as follows: Bob intercepts each photon of sequence PA and measures it in a randomly chosen basis or . He prepares a photon with the same state as her measurement outcome and sends it to David. Subsequently, Bob can completely obtain private information sent by Alice without Charlie’s help if he can evade Alice’s security check and Alice sends her photon sequence to him. Fortunately, this intercept-resend attack will be detected by Alice during the security check in Step (3); Alice stops her message encoding immediately after she finds the unfaithful participant and leaks none of her private message.
Alice uses single photons of sequence PA originating from PS in combination with single photon states prepared by Bob and Charlie for security check. In principle, David can only report one of four GHZ states, when zero or two of three legitimate parties prepared their single photons in the basis; meanwhile, any two parties can infer the photon state prepared by the third party. Therefore, Bob can know Alice’s photon state and then evades security check if he measures Alice’s single photon in the basis she prepared it. However, Bob will disturb the outcome of David’s GHZ-state analysis, if he measures Alice’s photon with a conjugate basis with respect to Alice’s preparation basis and sends David a photon in the corresponding state. Both cases take place with an equal probability of and half of the later leads to an error outcome of David’s GHZ-state analysis. Therefore, the sender Alice always asks Bob and Charlie to announce their states and determines whether even number of them prepare their photons in basis . Consequently, she can detect the intercept-resend attack by an average probability of for each single sampling process, leading to a deterministic detection of the attack with a larger sampling subset.
(ii) Teleportation-based attacks. In a teleportation-based attack, Bob prepares a sequence of single photons PB and a sequence of maximally entangled photon pairs in state . He divides the photon pairs into two photon sequences and by rearranging two photons of each pair into different photon sequences without changing their orders. One photon sequence replaces photon sequence PA and is sent to David for GHZ-state analysis, whereas the other sequence is kept in his hand for subsequent operations. For instance, Bob can perform a collective measurement of each photon pair , consisting of photons and with the same order i in PA and .
When David’s GHZ-state analysis of , PB, and PC succeeds, each photon in sequence will be projected into an eigenstate of either or , which is identical to that described in Tables 1 and 2. A proper two-photon measurement performed on each photon pair leads to two distinct results: Bob can infer the state of Alice’s photon used for message encoding, if photons and come from the same entangled photon pair and are initialized to ; otherwise, Bob can only get a random result, if comes from single photon sequence PS and has no correlated photon. In the latter case, photons and are both in an eigenstate of either or , although the state of is prepared by Alice and the state of is a collapsed state of an entangled photon pair according to Tables 1 and 2. The most efficient strategy for Bob is measuring each with a random basis or and publishing his photon state involving in GHZ-state analysis accordingly. Therefore, this teleportation-based attack will expose Bob’s attack with the same probability as that of the intercept-resend attack when Alice performs security check.
4 Multiparty sender-controlled MDI-QSS protocol
The sender-controlled three-party MDI-QSS protocol, in principle, can be generalized to implement QSS involving (
) parties. In a sender-controlled multiparty MDI-QSS protocol, the sender Alice can divide her message into
n parts and sends them to
n parties. The procedures of multiparty protocol is similar to that of three-party one, except that
rather than two receivers randomly prepare their photons in state
or
and send them to David for (
)-photon GHZ state analysis. In principle, the (
)-photon GHZ state analysis can be achieved by quantum erasure and postselection that has been used to construct the three-photon GHZ state analysis [
49], shown in Fig. 1. For instance, a six-photon GHZ state analysis using passive linear optics with efficiency
has been used to prepare twelve-photon GHZ states
out of entangled photon pairs [
56]. Furthermore, the (
)-photon GHZ state analysis can be achieved with near-unity efficiency by using nonlinear optics [
57-
59], such as a deterministic interface between single photons and individual electron spins [
60-
63]. Here, we focus on the security check and briefly discuss how to complete the multiparty sender-controlled MDI-QSS protocol by encoding and decoding message.
The sender Alice prepares two photon sequences PA and PK with the same method as described in three-party protocol and sends PA to David. Meanwhile, n receivers (Bob1, , Bobn) prepare n photon sequences with and send them to David for ()-photon GHZ state analysis. Exclusive correlations among () legitimate parties will be established, when David announces a successful result of his GHZ-state analyzer.
For each () photon with the same order in PA and , α parties prepare their single photons in the () basis; β receivers prepare their single photons in either the state or ( or ). A ()-photon product state of these photons can be described as
where ; is a ()-photon product state in the basis with for ; of α photons that are prepared in the basis are in state in each ; of β photons that are prepared in either the state or are in state in each . Meanwhile, can also be described as a superposition of -photon states with as follows:
Therefore, the state can be rewritten as a superposition of and as follows:
The -photon GHZ-state measurement performed by David can collapse the state into one of GHZ states , i.e.,
where , , and .
In practice, David can only identify two of GHZ states, i.e., and , when using a GHZ-state analyzer that is constituted of liner optical elements and single-photon detectors. Clearly, the success of David’s GHZ-state analysis will report different GHZ states for different α when no attack is involved. When α is even, the state will be specified as a superposition of -photon GHZ states, in which one of each GHZ-state pair ( and ) with different phases appears. The outcome of David’s GHZ-state analysis will be either or with a probability of for (). However, when α is odd, the state will be specified as a superposition of -photon GHZ states and and appear with an equal probability of . This is the key for performing security check, since both outside eavesdropping and participant attack will disturb the outcome of David’s GHZ-state analysis and Alice can detect the disturbance after n receivers inform her of their photon states. Likewise, exclusive correlations are established between photons kept in Alice’s node and single photons prepared by n receivers when David reports a successful outcome of his -photon GHZ-state analysis using linear optics: The outcome is either or with an equal probability of . The parties then can complete the multiparty sender-controlled MDI-QSS protocol by using similar message encoding and decoding procedures to that in three-party one, after Alice ascertains the security of photon-sequence transmission.
5 Discussion and summary
In the photon-sequence transmission, we suppose that the quantum channel is ideal without any noise and thus does not change the polarization of photons transmitting over it. In practice, the channel noise will introduce depolarization and dephasing to photons that transmit directly over a quantum channel. This changes the states of photons entering the GHZ-state analyzer, and prevents the communication parties from sharing perfect correlation shown in Tables 1 and 2. Then it increases the bit–error rate of random sampling in the security check. Fortunately, the influence of the channel noise can be suppressed by using photonic logical qubits, which are encoded in decoherence–free subspaces and are robust to channel noise [
64-
67]. The GHZ state analyzer should be modified accordingly. When the bit–error rate is relatively low, forward error correction with redundant encoding can provide a passive method to suppress the influence of quantum channel noise and has been used to perform QSDC [
68-
70]. For instance, a five-repetition-per-bit encoding can decrease a bit-error rate of
to
for the DL04-QSDC protocol [
70-
72].
The GHZ-state analyzer situated in an ancillary node plays an important role in our sender-controlled MDI-QSS protocol and it can be partly implemented by linear optical elements and single photon detectors [
49-
51]. In practice, this type of the GHZ-state analyzer can only distinguish two GHZ states from the other
n-photon GHZ states. This imposes a restriction on the transmission efficiency of the MDI-QSS protocol and decreases the efficiency exponentially with the number of receivers. Fortunately, this restriction can be lifted by using nonlinear optical elements [
60-
62], which leads to a deterministic GHZ-state analyzer [
57-
59] and then multiphoton postselected entanglement generation or teleportation.
For a sender-controlled MDI-QSS protocol involving
n receivers, single photons with random polarization are inserted into entangled photon pairs for security check. Half of cases with desired outputs of the GHZ-state analyzer contribute to security check, in which even number of basis
are used for single photon preparation. A modified sender-controlled
n-receiver MDI-QSS protocol can be obtained from the original DMDI-QSS one [
48], if the sender prepares photon pairs and single photons with the same length and sends two photon sequences in step (2) to ancillary node for the GHZ-state analysis of
photons. This protocol equals to the original DMDI-QSS after moving one receiver of the later to sender’s node and can be inherently robust to any participant attack, because it involves at least two faithful receivers, the combination of which, ascertaining security check, is out of reach of any other receivers. In principle, the modified protocol requires no basis reconciliation, each case with a desired output of the GHZ-state analyzer contributes to either security check or secret sharing. However, the efficiency of the security check in the modified one is identical to that of the sender-controlled MDI-QSS and equals to
when GHZ-state analyzer is implemented by linear optical elements and single photon detectors.
In summary, we have proposed a sender-controlled MDI-QSS protocol. The sender performs security check actively using postselected multiphoton entanglement that is generated by the GHZ-state analysis of single photons. When even number of parties prepare their single photons in basis , an ideal outcome of GHZ-state analysis is in a subspace of dimensions. Attacks from either outside eavesdropper or unfaithful participant will introduce deviation from ideal outputs and can create postselected multiphoton entanglement orthogonal to the desired ones. The states of single photons prepared by the sender is the single variable that determines the ideal outputs after all receivers have published their photon states. Therefore, the sender performs as an active controller and only encodes private messages after the sender checks the security of photon-sequence transmission. This makes our protocol useful for multiparty quantum communication networks.