Write, autoreview, editor, reviewer
3,125
edits
Verifiable Quantum Anonymous Transmission: Difference between revisions
Jump to navigation
Jump to search
m
→Properties
m (→Outline) |
m (→Properties) |
||
| Line 39: | Line 39: | ||
==Properties== | ==Properties== | ||
The pseudocode given below implements anonymous transmission of a quantum message, incorporating a verification stage. Further, the following analysis considers anonymous transmission with a reduced fidelity state rather than a perfect GHZ state. | |||
Let <math>C_\epsilon<math> be the event that the protocol does not abort and the state used for anonymous transmission is such that, no matter what operation the adversarial players do to their part, the fidelity of the state with the GHZ state is at most <math>\sqrt{1-\epsilon^2}<math>. Then, | Let <math>C_\epsilon</math> be the event that the protocol does not abort and the state used for anonymous transmission is such that, no matter what operation the adversarial players do to their part, the fidelity of the state with the GHZ state is at most <math>\sqrt{1-\epsilon^2}</math>. Then, | ||
\begin{align*} | \begin{align*} | ||
P[C_\epsilon] \leq 2^{-q} \frac{4n}{1 - \sqrt{1-\epsilon^2}}. | P[C_\epsilon] \leq 2^{-q} \frac{4n}{1 - \sqrt{1-\epsilon^2}}. | ||
| Line 47: | Line 47: | ||
By doing many repetitions of the protocol, the honest players can ensure that this probability is negligible. | By doing many repetitions of the protocol, the honest players can ensure that this probability is negligible. | ||
If the state used for anonymous transmission is of fidelity at least <math>\sqrt{1-\epsilon^2}<math> with the GHZ state, | If the state used for anonymous transmission is of fidelity at least <math>\sqrt{1-\epsilon^2}</math> with the GHZ state, | ||
\begin{align*} | \begin{align*} | ||
P_{\text{guess | P_{\text{guess}} [\mathcal{S} | C, \mathcal{S} \notin \mathcal{A} ] \leq \frac{1}{n-t} + \epsilon, \\ | ||
P_{\text{guess | P_{\text{guess}} [\mathcal{R} | C, \mathcal{S} \notin \mathcal{A} ] \leq \frac{1}{n-t} + \epsilon, | ||
\end{align*} | \end{align*} | ||
where <math>\mathcal{A}<math> is the subset of <math>t<math> adversaries among <math>n<math> nodes and <math>C<math> is the register that contains all classical and quantum side information accessible to the adversaries. | where <math>\mathcal{A}</math> is the subset of <math>t</math> adversaries among <math>n</math> nodes and <math>C</math> is the register that contains all classical and quantum side information accessible to the adversaries. | ||
==Pseudocode== | ==Pseudocode== | ||