Multipartite Entanglement Verification

This example protocol implement the task of Multipartite entanglement verification in a multinode quantum network. The protocol uses classical communication and measurements of quantum states to verify whether the parties share a GHZ state. We present here a loss tolerant version of the protocol, which doesn't assume that the source of the state nor the parties (except one) are trusted.

It has various application in a setting where at each timestep a source shares a state. Most of the time this state will be verified using this protocol and once in a while it will be used to perform some computation or communication protocol (e.g. Anonymous transmission)

Tags: Entanglement Verification, Multi Party Protocols, GHZ state

Assumptions

• Network: The network consists of n nodes that are fully identified and completely connected with pairwise authenticated classical channels. Additionally, there is a secure classical broadcast channel.
• Adversarial model: It suffices for one party to be honest. A dishonest party can be in control of the source.

Outline

This protocol is based on the work in W. McCutcheon, A. Pappa et al.. The goal is for a specific party called the Verifier to check whether the source has shared a GHZ-state among the n-nodes network. It goes as follow:

• Sharing phase: The source creates and shares an n-qubits quantum state to all the parties using a state generation resource and quantum channels.
• Verification phase: 1.The verifier sends angles to each party that corresponds to measurement basis, using classical authenticated channels

2. Each party, including the verifier, measures its qubits in the basis indicated by the received angle. 3. It then sends its outcome to the verifier. 4. The verifier checks the parity of the outcomes and broadcast if the shared state was a GHZ state.

Notation

• $n$: Number of parties
• $v$: Identifier of the Verifier
• $\{\pi _{i}\}_{i=1}^{n}$: Protocol of each party, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \pi_V} : Protocol of the verifier, $\pi _{S}$: Protocol of the source
• $SG_{n}$: n-qubit State Generation resource
• $\{\theta _{i}\}_{i=1}^{n}$: Angles sent from the Verifier to each party i (indication for the measurement to perform)
• Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{|+_{\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)\} } : Rotated measurement basis for the parties.
• Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{y_i\}_{i=1}^n} : Classical bits sent from each party i to the Verifier (outcome of the measurement)
• Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle b} : Outcome of the protocol

Requirements

• Network stage: quantum memory network.
• Authenticated classical channel between the parties
• Quantum channel between the source and the parties
• Ability to perform one-qubit rotation operations and one-qubit measurement at each node

Properties

• This protocol is correct meaning that if the source shares a GHZ state and every party behaves honestly, the outcome broadcasted by the verifier is $b=0$.
• The outcome of the protocol directly depends on the trace distance between the shared state $|\psi \rangle$ and the GHZ state. The output $b$ is such that

$b=\left\{{\begin{array}{ll}0&{\mbox{with probability }}1-{\frac {\tau ^{2}}{2}}\\1&{\mbox{with probability }}{\frac {\tau ^{2}}{2}}\end{array}}\right.$ with $\tau =\min _{U}{\mbox{TD}}(|\phi _{0}^{n}\rangle \langle \phi _{0}^{n}|,U|\psi \rangle \langle \psi |U^{\dagger })$ and where TD is the trace distance and $U$ is a quantum operation acting on Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle D} the subspace of dishonest parties involved in the protocol (ie a tensor product of an unitary operator on $D$ and the identity operator on the rest).

• This protocol still works in the presence of photon losses.
• This protocol is composably secure meaning that it can be used as a subroutine in a bigger protocol. A direct application of this protocol is to perform it sequentially many times with a source sending state at each round and to randomly use the shared state at some point if the protocol has output 0 at each round. We then are sure up to a certain threshold that the shared state is a GHZ state.

Pseudo Code

Protocol for the verifier $\pi _{V}$ :

Input: $\{y_{i}\}_{i=1}^{n}$, 1 qubit, v

Output: one Bit in $\{0,1\}$ and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{\theta_i\}_{i=1}^{n}}

• Chose randomly angles $\Theta =\{\theta _{i}\}_{i=1}^{n}$ with Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \theta_{i}\in[0,\pi)} such that :Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{j} \theta_{j}} is a multiple of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \pi}
• Upon the reception of the qubit, for $i=1,...n,i\neq v$ send $\theta _{i}$ it to party Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle i} via a private classical channel resource, keep $\theta _{v}$.
• Measures the qubit in the $\{|+_{\theta _{v}}\rangle ,|-_{\theta _{v}}\rangle \}$ basis and get $y_{v}$
• Wait for the reception of all the other $y_{i}$.
• Upon the reception of all the $y_{i}$, broadcast 0 if and only if

$\oplus _{j}Y_{j}={\frac {1}{\pi }}\sum _{j}\theta _{j}\quad ({\bmod {2}})$

And for each $i=1,...n,i\neq v$

Protocol for the $i$th party $\pi _{i}$ :

Input: 1 angle $\theta _{i}$, 1 qubit and v

Output: Bit Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y_{i}}

• Wait for the reception of both classical and quantum inputs
• Measures the qubit in the $\{|+_{\theta _{i}}\rangle ,|-_{\theta _{i}}\rangle \}$ basis
• Send the outcome $y_{i}$ to the Verifier via the private classical channel resource .

File:ConcreteResourceThetaMEV.jpg

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.

Further Information

This protocol was first introduced in Multipartite Entanglement Verification Resistant against Dishonest Parties, Anna Pappa et al., in which the authors present an XY version of the protocol where $\forall i,\theta _{i}\in \{0,1\}$. It means that each party applies an X or a Z gate on its qubit before measuring in the computational basis. It appeared that when a 50% qubit loss rate is tolerated, there exists a cheating strategy allowing a dishonest party to convince the verifier that the state shared was a GHZ state even when it is not. This is why in Experimental verification of multipartite entanglement in quantum networks, W. McCutcheon, A. Pappa et al., the authors present the current version of the protocol which is loss tolerant. They also present an experimental realization of the verification protocol with $n=4$ parties and photonic GHZ states.

In Anonymity for practical quantum networks, Anupama Unnikrishnan et al., Authors use this verification protocol as a subroutine allowing the parties to be certain to have a GHZ state shared when they perform an anonymous transmission protocol.

References

• Multipartite Entanglement Verification Resistant against Dishonest Parties, Anna Pappa et al., 2012
• Experimental verification of multipartite entanglement in quantum networks, W. McCutcheon, A. Pappa et al., 2016
• Anonymity for practical quantum networks, Anupama Unnikrishnan et al., 2018

contributed by Raja Yehia