Multipartite Entanglement Verification: Difference between revisions

Line 20: Line 20:
==Notation==
==Notation==
* <math>n</math>: Number of parties
* <math>n</math>: Number of parties
* <math>v</math>: identifier of the Verifier
* <math>v</math>: Identifier of the Verifier
* <math>\{\pi_i\}_{i=1}^n</math>: protocol of each party, <math>\pi_V</math>: Protocol of the verifier, <math>\pi_S</math>: Protocol of the source
* <math>\{\pi_i\}_{i=1}^n</math>: Protocol of each party, <math>\pi_V</math>: Protocol of the verifier, <math>\pi_S</math>: Protocol of the source
* <math>SG_n</math>: n-qubit State Generation resource
* <math>SG_n</math>: n-qubit State Generation resource
* <math>\{\theta_i\}_{i=1}^n</math>: Angles sent from the Verifier to each party i (indication for the measurement to perform)
* <math>\{\theta_i\}_{i=1}^n</math>: Angles sent from the Verifier to each party i (indication for the measurement to perform)
* <math> \{|+_{\theta_{i}}\rangle,|-_{\theta_{i}}\rangle\} = \{\frac{1}{\sqrt{2}}(|0\rangle + e^{i\theta_{i}}|1\rangle), \frac{1}{\sqrt{2}}(|0\rangle - e^{i\theta_{i}}|1\rangle)\} </math>: Rotated measurement basis for the parties.
* <math> \{|+_{\theta_{i}}\rangle,|-_{\theta_{i}}\rangle\} = \{\frac{1}{\sqrt{2}}(|0\rangle + e^{i\theta_{i}}|1\rangle), \frac{1}{\sqrt{2}}(|0\rangle - e^{i\theta_{i}}|1\rangle)\} </math>: Rotated measurement basis for the parties.
* <math>\{y_i\}_{i=1}^n</math>: classical bits sent from each party i to the Verifier (outcome of the measurement)
* <math>\{y_i\}_{i=1}^n</math>: Classical bits sent from each party i to the Verifier (outcome of the measurement)
* <math>b</math>: outcome of the protocol
* <math>b</math>: Outcome of the protocol


==Requirements==
==Requirements==
Write
14

edits