Three-observer classical dimension witness violation with weak measurement

Based on weak measurement technology, we propose the first three-observer dimension witness protocol in a prepare-and-measure setup. By applying the dimension witness inequality based on the quantum random access code and the nonlinear determinant value, we demonstrate that double classical dimension witness violation is achievable if we choose appropriate weak measurement parameters. Analysis of the results will shed new light on the interplay between the multi-observer quantum dimension witness and the weak measurement technology, which can also be applied in the generation of semi-device-independent quantum random numbers and quantum key distribution protocols.

Introduction -Dimension is an important resource in quantum information theory, for instance, a high dimensional quantum system can enhance the performance of the quantum computation [1], quantum entanglement [2], quantum communication complexity [3] and others, and it can also reduce the security of certain practical quantum key distribution systems [4]. To estimate the lower bound of the dimensions of a physical system, quantum dimension witness has been proposed, which has important applications in the semi-device-independent quantum key distribution and quantum random number generation [2-5, 7, 10]. Until now, it has been demonstrated that two-observer classical dimension witness violation can be achieved with the Bell inequality test, quantum random access code test, and determinant value test respectively [1,11,12], but whether the multi-observer classical dimension witness violation can be obtained or not is still an open question.
Similar to a quantum dimension witness, quantum nonlocality also plays a fundamental role in quantum information theory, which can be used to guarantee the security of device-independent quantum information protocols [14,15]. In a two-observer system, two observers can perform independent measurements on their subsystem to test the Clauser-Horne-Shimony-Holt (CHSH) inequality [16], the violation of which certifies quantum nonlocality. Recently, it has been demonstrated that nonlocality sharing among three observers can be established by applying weak measurement technology [17][18][19], which demonstrates that subsequent measurements can not be described by using classical probability distributions.
Inspired by the work of sharing nonlocality with weak measurement technology, three-observer classical dimension witness violation will be analyzed in this paper, in which we analyze the dimension witness inequality based on the quantum random access code and the nonlinear determinant value. The analysis result indicate that double classical dimension witness violations can be realized. More interestingly, we demonstrate local and global randomness generation in the three-observer protocol, and the analysis method can also be applied to future multiobserver quantum network studies.
Weak measurement protocol -Weak measurement is a powerful method to extract less information about a system with smaller disturbance [20], which has proven to be useful for signal amplification, state tomography, solving quantum paradoxes and others [21][22][23][24][25]. In this work, we use the weak measurement definition given in Refs. [17][18][19], and the corresponding analysis model is given in Fig. 1. There are three observers Alice, Bob and Charlie in the analysis model, and the purpose of our protocol is to establish double classical dimension witness violations under the two-dimensional Hilbert space restriction. More precisely, Alice prepares the two-dimensional quantum state ρ x ∈ C 2 and sends it through the quantum channel with a different classical input random number x ∈ {00, 01, 10, 11}. Then, Charlie receives the quantum state and applies the following operation with the input random number z ∈ {0, 1} where the above operation illustrates that the rotation maps the initial Hilbert space basis of {|0 , |1 } to a new basis of {|ω z , |ω ⊥ z } depending on the given z value. Charlie also has an two-dimensional ancillary quantum state |+ = 1 √ 2 (|0 + |1 ) in the quantum channel, and then, the following control operation is applied when Charlie receives the quantum state |1 where ǫ is the weak measurement parameter. If Charlie receives the quantum state |0 , he will apply the identity operation I = 1 0 0 1 , thus the total unitary operation in Charlie's side can be given by where we define W +z Note that Charlie will apply the identity operation I if the weak measurement parameter ǫ is 0, which can be simply proved since W +z B ⊗ I + W −z B ⊗ I = I. In this case, Charlie will only obtain the initial ancillary quantum state |+ after the control operation, which demonstrates that Charlie can not gain any information about Alice's state ρ x , and there is no interaction introduced by Charlie correspondingly.
To prove the dimension witness in the three-observer system, we should analyze the density matrix to illustrate Bob and Charlie's system. The initial quantum state can be given by By applying the previous unitary transformation U , the quantum state ρ BCx will be transformed into The quantum state ρ ′ Bx = Tr C ρ ′ BCx will be transmitted to Bob, as follows Similarly, the quantum state ρ ′ Cx = Tr B ρ ′ BCx will be transmitted to Charlie, as follows After receiving the quantum state ρ ′ Bx , Bob will apply the two-dimensional projective measurement depending on the input random number y ∈ {0, 1}. If Bob's input random number is 0, the corresponding measurement basis in Bob's side is given by If Bob's input is 1, Bob's measurement basis is where the measurement outcomes |ν 0 ν 0 | and |ν 1 ν 1 | indicate classical bit 1, and the measurement outcomes After receiving the quantum state ρ ′ Cx , Charlie will apply the two-dimensional projective measurement where the measurement outcomes |t t| and |t ⊥ t ⊥ | respectively indicate the classical bit 1 and −1. Before the state measurement, Charlie randomly chooses rotation {R z , R + z } with respect to the input random number z ∈ {0, 1}.
In the case where the weak measurement parameter ǫ is 0, there is no interaction on Charlie's side, and then, Charlie's density matrix will be transformed into and Bob's density matrix will be transformed into ρ ′ Bx = ρ x . In the following section, we will focus on the situation 0 ≤ ǫ ≤ π, and analyze the interaction introduced by the weak measurement, which can be used to obtain the information gain in Charlie's side.
The general representation of a qubit can be illustrated by using the density matrix formalism , and r = (r x , r y , r z ) is a real three-dimensional vector such that r ≤ 1, thus the conditional probability distribution to illustrate Alice and Bob's system can be given by where B b y is the measurement operator acting on the twodimensional Hilbert space with input parameter y and output parameter b by considering the prepared quantum state ρ ′ Bx (z). The conditional probability distribution to illustrate Alice and Charlie's system is given by where C c is the measurement operator acting on the twodimensional Hilbert space to obtain the measurement outcome c with the state ρ ′ Cx (z). Based on the previous observed statistics p(b|xy) and p(c|xz), we can calculate the dimension witness value between Alice and Bob and between Alice and Charlie respectively.
Quantum dimension witness based on quantum random access code -The first quantum dimension witness inequality based on the quantum random access code in the two-observer system is given by [1][2][3] In the two-dimensional Hilbert space, it has been proved that the upper bound of the classical dimension witness value W 1 is 2, while the upper bound of the quantum dimension witness value W 1 is 2 √ 2. We will apply this dimension witness equation to analyze the dimension witness values between Alice and Bob W 1AB and between Alice and Charlie W 1AC .
Based on the state preparation and measurement model given in the Appendix [26], the dimension witness value between Alice and Bob is given by The dimension witness value between Alice and Charlie is given by Note that ǫ = 0 indicates W 1AB = 2 √ 2 and W 1AC = 0, which demonstrates that Charlie's quantum state has no interaction with Bob's system. In this case, only W 1AB violates the classical upper bound, which is reduced to a two-observer system (Alice-Bob). Similarly, ǫ = π 2 indicates W 1AB = 0 and W 1AC = 2 √ 2, which is reduced to a two-observer system (Alice-Charlie). Thus, our protocol is more general compared with the previous 2-observer protocols, which sheds new light on the dimension witness in the network environment.
The detailed quantum dimension witness values W 1AB and W 1AC with different weak measurement parameter ǫ values are given in Fig. 2. The analysis results indicate that double classical dimension witness violations (min{W 1AB , W 1AC } > 2) can be obtained if the weak 2 ) < ǫ < arccos( √ 2 − 1). Quantum dimension witness based on the determinant value -The second quantum dimension witness inequality based on the nonlinear determinant value test in the two-observer system is given by [4,5] (16) Assuming that the state preparation and measurement devices are independent, it has been proved that this nonlinear dimension witness can tolerate an arbitrarily low detection efficiency. In the two-dimensional Hilbert space, the upper bound of the quantum dimension witness value is 1, while the classical dimension witness value is 0. Similar to the previous subsection, the dimension witness values between Alice and Bob W 2AB and between Alice and Charlie W 2AC can be analyzed.
Based on the state preparation and measurement model given in the Appendix [27], the dimension witness value between Alice and Bob is given by The dimension witness value between Alice and Charlie is given by Note that ǫ = 0 indicates W 2AB = 1 and W 2AC = 0, which demonstrates that Charlie's quantum state has no interaction with Bob's system. In this case, only W 2AB violates the classical upper bound, which is reduced to a two-observer system (Alice-Bob). The detailed quantum dimension witness values W 2AB and W 2AC with different weak measurement parameters ǫ are given in Fig. 3. The analysis result demon- strates that double classical dimension witness violations (W 2AB > 0, W 2AC > 0) can be obtained if 0 < ǫ < π. However, since Bob's system may be influenced by Charlie's system, the classical dimension witness violation W 2AB > 0 can not be directly applied to guarantee the security of the measurement outcome b.
Semi-device-independent random number generator -The classical dimension witness violation can generate semi-device-independent quantum random numbers, for which we can only assume knowledge of the dimension of the underlying physical system, but otherwise nothing about the quantum devices. The generated random numbers in our protocol are the measurement outcomes b and c, and the eavesdropper can not guess the measurement outcomes even if the state preparation and measurement devices are imperfect.
Randomness generation can be divided into global randomness and the local randomness, where global randomness must analyze the global conditional probability distribution p(b, c|x, y, z), while local randomness must analyze the local conditional probability distribution p(b|x, y). With the given conditional probability distributions, the random number generation efficiency can be estimated by following min-entropy functions [28] x,y,z max b,c (p(b, c|x, y, z))], To analyze the global randomness generation efficiency H min1 , the maximal guessing probability 1 16 x,y,z max b,c (p(b, c|x, y, z)) can be estimated by 1 16 x,y,z max b,c p(b, c|x, y, z) x,y,z max b,c p(b|x, y, z)p(c|x, y, z, b) x,y,z max b,c (p(b|x, y, z)p(c|x, z)) where the second line is based on the condition for which Charlie's measurement outcome c can not be effected by Bob, and the corresponding randomness generation efficiency H min1 is given by where the first part is the randomness generation in Charlie's side, and the second part is the randomness generation in Bob's side.
In the two-observer system, with a given random access code based dimension witness value W 1 , the relationship between W 1 and the randomness generation efficiency H ′ min2 (W 1 ) [29] is given by ).
However, the eavesdropper can apply Charlie's input parameter z to guess Bob's measurement outcome b, thus the previous method can not be directly applied in our protocol. To estimate the local randomness generation in Bob's side, we will estimate the dimension witness value between Alice and Bob W 1AB(z) with different input random number z ∈ {0, 1} as follows with the detailed calculation is given in the Appendix [30], and the corresponding local randomness generation efficiency in Bob's side is H ′ min2 (W 1 = √ 2 cos(ǫ) + √ 2). With the given determinate value based on dimension witness W 2 in the two-observer system, the relationship between the quantum dimension witness value W 2 and the randomness generation efficiency H ′′ min2 (W 2 ) [4] is given by Similar to the previous calculation, the dimension witness value between Alice and Bob W 2AB(z) with different input random number z can be given by with the detailed calculation is given in the Appendix [31], and the corresponding local randomness generation efficiency in Bob's side is H ′′ min2 (W 2 = cos(ǫ)). Based on the previous analysis result, the detailed local randomness generation efficiency with different weak measurement parameter ǫ values are given in Fig. 4. Note that the local random number generation in Char- lie's side can be directly estimated by the two-observer protocol. Thus double local randomness generation can be realized if we choose an appropriate weak measurement parameter.
Conclusion and Discussion -In conclusion, we proposed a three-observer dimension witness protocol, where the weak measurement technology was applied to analyze the double classical dimension witness violations. The results of our analysis shed new light on understanding the quantum dimension witness in the network environment. The three-observer dimension witness protocol can be assumed to be a sequential measurement protocol, and it will be interesting to analyze a higher dimensional multi-observer quantum system with sequential measurement [32] technology. We demonstrated the randomness generation in the three-observer protocol, and the analysis results demonstrate that weak measurement may have significant applications in multi-observer semidevice-independent quantum information theory. This study also provides tremendous motivation for further experimental research.
Based on the previous state preparation and measurement operator, we can calculate the corresponding conditional probability distribution p(b = 1|x, y)AB with different classical input random numbers x ∈ {00, 01, 10, 11} and y ∈ {0, 1}.
p(1|000)AB = By applying the previous conditional probability distributions p(b = 1|x, y)AB, the dimension witness value [1][2][3] between Alice and Bob is given by Based on the previous state preparation and measurement operator, we can calculate the corresponding conditional probability distribution p(b = 1|x, z)AC as follows By applying the previous conditional probability distributions p(b = 1|x, y)AC, the dimension witness value between Alice and Charlie is given by To prove local randomness generation in Bob's side, we analyze the dimension witness value W1ABz with different input weak measurement parameters z ∈ {0, 1}.
In the case of z = 0, we can obtain the corresponding conditional probability distributions p(b = 1|x, y)AB,z=0 as follows By applying the previous conditional probability distributions p(b = 1|x, y)AB,z=0, the dimension witness value between Alice and Bob is given by (35) In the case of z = 1, we obtain the corresponding conditional probability distribution p(b = 1|x, y)AB,z=1 as follows By applying the previous conditional probability distributions p(b = 1|x, y)AB,z=1, the dimension witness value between Alice and Bob is given by
Note that the state preparation and measurement operator are the same as the Bennett and Brassard 1984 (BB84) quantum key distribution protocol [6], but the weak measurement model may disturb Alice's quantum state with the different weak measurement parameter ǫ, and this disturbance can be detected by the quantum bit error rate. Based on the previous state preparation and measurement, we can calculate the corresponding conditional probability distribution p(b = 1|x, y)AB as follows By applying the previous conditional probability distributions p(b = 1|x, y)AB, the dimension witness value [4,5] between Alice and Bob is given by W2AB = p(1|000)AB − p(1|010)AB p(1|100)AB − p(1|110)AB p(1|001)AB − p(1|011)AB p(1|101)AB − p(1|111)AB = ( 1 2 cos(ǫ) + 1 2 ) 2 .
(44) By applying the previous conditional probability distributions p(b = 1|x, y)AC, the dimension witness value between Alice and Charlie is given by To prove local randomness generation in Bob's side, we will analyze the dimension witness value W2ABz with different input weak measurement parameters z ∈ {0, 1}.

(46)
Based on the previous conditional probability distributions p(b = 1|x, y)AB,z=0, the dimension witness value between Alice and Bob is given by W2AB,z=0 = cos(ǫ).
By applying the previous conditional probability distributions p(b = 1|x, y)AB,z=1, the dimension witness value between Alice and Bob is given by