Multipartite Entanglement Verification: Difference between revisions

Line 57: Line 57:
'''Protocol for the verifier <math>\pi_{V}</math> : '''
'''Protocol for the verifier <math>\pi_{V}</math> : '''


'''Input''':  <math>\{y_{i}\}_{i=1}^{n}</math>, 1 qubit, v  
:'''Input''':  <math>\{y_{i}\}_{i=1}^{n}</math>, 1 qubit, v  


'''Output''':  one Bit in <math>\{0,1\}</math> and <math>\{\theta_i\}_{i=1}^{n}</math>
:'''Output''':  one Bit in <math>\{0,1\}</math> and <math>\{\theta_i\}_{i=1}^{n}</math>
* Chose randomly angles <math>\Theta=\{\theta_{i}\}_{i=1}^{n}</math> with <math>\theta_{i}\in[0,\pi)</math> such that <math>\sum_{j} \theta_{j}</math> is a multiple of <math>\pi</math>
:* Chose randomly angles <math>\Theta=\{\theta_{i}\}_{i=1}^{n}</math> with <math>\theta_{i}\in[0,\pi)</math> such that :<math>\sum_{j} \theta_{j}</math> is a multiple of <math>\pi</math>
* Upon the reception of the qubit, for <math>i=1,...n, i \neq v</math> send  <math>\theta_{i}</math> it to party <math>i</math> via a private classical channel resource, keep <math>\theta_{v}</math>.
:* Upon the reception of the qubit, for <math>i=1,...n, i \neq v</math> send  <math>\theta_{i}</math> it to party <math>i</math> via a private classical channel resource, keep <math>\theta_{v}</math>.
* Measures the qubit in the <math>\{|+_{\theta_{v}}\rangle,|-_{\theta_{v}}\rangle\}</math> basis and get <math>y_{v}</math>
:* Measures the qubit in the <math>\{|+_{\theta_{v}}\rangle,|-_{\theta_{v}}\rangle\}</math> basis and get <math>y_{v}</math>
* Wait for the reception of all the other <math>y_{i}</math>.
:* Wait for the reception of all the other <math>y_{i}</math>.
* Upon the reception of all the <math>y_{i}</math>, broadcast 0 if and only if  
:* Upon the reception of all the <math>y_{i}</math>, broadcast 0 if and only if  
<math>
:<math>
     \oplus_{j} Y_{j}=\frac{1}{\pi} \sum_{j} \theta_{j} \quad(\bmod 2)
     \oplus_{j} Y_{j}=\frac{1}{\pi} \sum_{j} \theta_{j} \quad(\bmod 2)
</math>
</math>
Line 71: Line 71:
And for each <math>i=1,...n, i \neq v</math>
And for each <math>i=1,...n, i \neq v</math>


'''Protocol for the <math>i</math>th party <math>\pi_{i}^\theta</math> : '''
'''Protocol for the <math>i</math>th party <math>\pi_{i}</math> : '''


'''Input:'''  1 angle <math>\theta_{i}</math>, 1 qubit and v
:'''Input:'''  1 angle <math>\theta_{i}</math>, 1 qubit and v


'''Output:''' Bit <math>y_{i}</math>
:'''Output:''' Bit <math>y_{i}</math>
* Wait for the reception of both classical and quantum inputs
:* Wait for the reception of both classical and quantum inputs
* Measures in the Measures the qubit in the <math>\{|+_{\theta_{i}}\rangle,|-_{\theta_{i}}\rangle\}</math>  basis  
:* Measures the qubit in the <math>\{|+_{\theta_{i}}\rangle,|-_{\theta_{i}}\rangle\}</math>  basis  
* Send the outcome <math>y_{i}</math> to the Verifier via the private classical channel resource .
:* Send the outcome <math>y_{i}</math> to the Verifier via the private classical channel resource .


<li style="display: inline-block;"> [[File:ConcreteResourceThetaMEV.jpg|frame|300px|1(a)Figure for the MEV protocol]]</li>
<li style="display: inline-block;"> [[File:ConcreteResourceThetaMEV.jpg|frame|400px|Abstract Cryptography figure for the MEV protocol. Each blue box is a converter representing a protocol a party is following and red boxes are the resources used.]]</li>


==Further Information==
==Further Information==
Write
14

edits