Editing Prepare-and-Send Verifiable Universal Blind Quantum Computation
Jump to navigation
Jump to search
The edit can be undone. Please check the comparison below to verify that this is what you want to do, and then publish the changes below to finish undoing the edit.
Latest revision | Your text | ||
Line 13: | Line 13: | ||
MBQC required a set of the initial state for computation. The [[Glossary#Brickwork States|brickwork states]] used in [[Prepare-and-Send Universal Blind Quantum Computation]] are modified to [[Glossary#Cylinder Brickwork States|cylinder brickwork states]] which enables the client to embed a trap qubit surrounded by multiple dummy qubits without disrupting the computation. This state is universal and maintains the privacy of the client's preparation. The dummy qubits here do not take part in the actual computation as they are disentangled from the rest of the qubits of the graph state. Hence by adding them to the neighboring nodes of the trap qubits, they are blindly isolated and thus do not interfere with the actual computation. The dummy qubits are added next to the trap qubit in a tape format as seen in [[Glossary#Cylinder Brickwork States|cylinder brickwork states]]. | MBQC required a set of the initial state for computation. The [[Glossary#Brickwork States|brickwork states]] used in [[Prepare-and-Send Universal Blind Quantum Computation]] are modified to [[Glossary#Cylinder Brickwork States|cylinder brickwork states]] which enables the client to embed a trap qubit surrounded by multiple dummy qubits without disrupting the computation. This state is universal and maintains the privacy of the client's preparation. The dummy qubits here do not take part in the actual computation as they are disentangled from the rest of the qubits of the graph state. Hence by adding them to the neighboring nodes of the trap qubits, they are blindly isolated and thus do not interfere with the actual computation. The dummy qubits are added next to the trap qubit in a tape format as seen in [[Glossary#Cylinder Brickwork States|cylinder brickwork states]]. | ||
This protocol is | This protocol is dived into four stages: Client's preparation, server's preparation, interaction and measurement, verification. | ||
* '''Client's preparation''': The partially quantum client prepares the quantum states with embedded traps qubits and sends them to the server for creation of the cylinder brickwork state. | * '''Client's preparation''': The partially quantum client prepares the quantum states with embedded traps qubits and sends them to the server for creation of the cylinder brickwork state. | ||
Line 46: | Line 46: | ||
* <math>\theta_i</math>: Random local phase angles for qubit <math>i</math>. | * <math>\theta_i</math>: Random local phase angles for qubit <math>i</math>. | ||
* <math>|+\rangle_{\theta_i}</math>: <math>\frac{1}{\sqrt{2}} (|0\rangle +e^{i\theta_i}|1\rangle)</math> | * <math>|+\rangle_{\theta_i}</math>: <math>\frac{1}{\sqrt{2}} (|0\rangle +e^{i\theta_i}|1\rangle)</math> | ||
* <math>\phi_i</math>: True measurement angle for qubit <math>i</math> | * <math>\phi_i</math>: True measurement angle for qubit <math>i</math>. | ||
* <math>r \in \{ 0, 1\}</math>: randomly chosen parameter for <math>\pi</math> rotation in order to hide classical output. | * <math>r \in \{ 0, 1\}</math>: randomly chosen parameter for <math>\pi</math> rotation in order to hide classical output. | ||
* <math>N_g(k)</math>: Denotes neighborhood of vertex k in graph state | * <math>N_g(k)</math>: Denotes neighborhood of vertex k in graph state | ||
Line 55: | Line 55: | ||
* <math>s</math>: Sequence of length m describing the result of the nonoutput measurements. <math>s_i \in \{0, 1\}</math> | * <math>s</math>: Sequence of length m describing the result of the nonoutput measurements. <math>s_i \in \{0, 1\}</math> | ||
==Requirements== | ==Hardware Requirements== | ||
* Quantum computation resources for the server. | * Quantum computation resources for the server. | ||
* A quantum channel from the client to the server to transfer initial quantum states. | * A quantum channel from the client to the server to transfer initial quantum states. | ||
* Classical channel from the client to the server to transfer measurement angles and outputs. | * Classical channel from the client to the server to transfer measurement angles and outputs. | ||
* Measurement devices for the server. | * Measurement devices for the server. | ||
* Measurement devices for the client in case of quantum outputs. | * Measurement devices for and the client in case of quantum outputs. | ||
<br/> | |||
[[File:Prepare-and-Send Verifiable Universal Blind Quantum Computation.png|center|Prepare-and-Send Verifiable Universal Blind Quantum Computation]] | |||
==Properties== | ==Properties== | ||
Line 78: | Line 78: | ||
* Every qubit of the underlying graph could potentially be an isolated trap qubit. | * Every qubit of the underlying graph could potentially be an isolated trap qubit. | ||
== | ==Pseudo-Code== | ||
'''Protocol for quantum output case''': <br></br> | '''Protocol for quantum output case''': <br></br> | ||
Line 123: | Line 123: | ||
*** If <math>b_t == r_t</math>, then computation is accepted. | *** If <math>b_t == r_t</math>, then computation is accepted. | ||
*** else, computation is rejected. | *** else, computation is rejected. | ||
==Further Information== | ==Further Information== | ||
<div style='text-align: right;'>''*contributed by Rhea Parekh''</div> | <div style='text-align: right;'>''*contributed by Rhea Parekh''</div> |