Skip to main content
SpringerLink
Log in

Correctness checking of a quantum protocol for reliable communications via feedback

  • Published:
Afrika Matematika Aims and scope Submit manuscript

Abstract

In this paper, a quantum version of classical alternating bit protocol is proposed. Thisprotocol provides a reliable method to transmit the secret quantum data via a noisyquantum channel while the entanglement between particles is not broken. Our protocol is based on quantum teleportation and superdense coding. By assuming that the participantscan distinguish the alternating qubit from other messages and also the assumption that data canbe resent unlimited times, an abstraction of this protocol can be derived. Using the quantum process algebra fullqACP, we show that the proposed protocol is correct, so the desired external behaviour of the protocol is guaranteed.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1

Similar content being viewed by others

References

  1. de Bakker, J.W., Zucker, J.I.: Processes and the denotational semantics of concurrency. Inf. Control 54, 70–120 (1982)

    Article  MathSciNet  MATH  Google Scholar 

  2. Feng, Y., Deng, Y., Ying, M.: Symbolic bisimulation for quantum processes. ACM Trans. Comput. Logic 15(2), Article No 14 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  3. Fokkink, W.: Introduction to Process Algebra. Springer, Berlin (2007)

    MATH  Google Scholar 

  4. Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, New York (2010)

    Book  MATH  Google Scholar 

  5. Wang, Y.: An Axiomatization for Quantum Processes to Unifying Quantum and Classical Computing, Manuscript. arXiv: 1311.2960 (2013)

  6. Wang, Y.: Entanglement in Quantum Process Algebra, Manuscript. arxiv: 1404.0665 (2015)

  7. Wilde, M.M.: Quantum Information Theory. Cambridge University Press, New York (2013)

    Book  MATH  Google Scholar 

Download references

Acknowledgements

Thanks in advance to respectful referees.

Author information

Authors and Affiliations

  1. Department of Computer Science, Faculty of Mathematical Sciences, Shahid Beheshti University, G.C, Evin, Tehran, Iran

    Hadi Farahani & Hossein Mahan

Authors
  1. Hadi Farahani
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hossein Mahan
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Hadi Farahani.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Farahani, H., Mahan, H. Correctness checking of a quantum protocol for reliable communications via feedback. Afr. Mat. 30, 681–690 (2019). https://doi.org/10.1007/s13370-019-00675-2

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s13370-019-00675-2

Keywords

Search

Navigation