Skip to main content
SpringerLink
Log in

A Logical Analysis of Quantum Voting Protocols

  • Published:
International Journal of Theoretical Physics Aims and scope Submit manuscript

Abstract

In this paper we provide a logical analysis of the Quantum Voting Protocol for Anonymous Surveying as developed by Horoshko and Kilin in (Phys. Lett. A 375, 1172–1175 2011). In particular we make use of the probabilistic logic of quantum programs as developed in (Int. J. Theor. Phys. 53, 3628–3647 2014) to provide a formal specification of the protocol and to derive its correctness. Our analysis is part of a wider program on the application of quantum logics to the formal verification of protocols in quantum communication and quantum computation.

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

Similar content being viewed by others

References

  1. Baltag, A., Smets, S.: The Logic of Quantum Programs The proceedings of the 2nd International Workshop on Quantum Programming Languages (QPL), TUCS General Publication, vol. 33 (2004)

  2. Baltag, A., Smets, S.: LQP: The Dynamic logic of quantum information. Mathematical Structures in Computer Science, Special Issue on Quantum Programming Languages 16(3), 491–525 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  3. Baltag, A., Smets, S.: Complete axiomatizations for quantum actions. Int. J. Theor. Phys. 44(12), 2267–2282 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  4. Baltag, A, Smets, S.: A Dynamic - Logical Perspective on Quantum Behavior, Studia Logica. In: Douven, I., Horsten, L. (eds.) Special issue on Applied Logic in the Philosophy of Science, vol. 89, pp. 185–209 (2008)

  5. Baltag, A., Smets, S.: Quantum Logic as a Dynamic Logic, Synthese. In: Kuipers, T., van Benthem, J., Visser, H. (eds.) Special issue (2011)

  6. Baltag, A., Smets, S: The Dynamic Turn in Quantum Logic. Synthese 186(3) (2012)

  7. Baltag, A., Bergfeld, J., Kishida, K., Smets, S., Sack, J., Zhong, S.: PLQP & Company: Decidable Logics for Quantum Algorithms. Int. J. Theor. Phys. 53 (10), 3628–3647 (2014)

    Article  MATH  MathSciNet  Google Scholar 

  8. Baltag, A., Smets, S.: Correlated knowledge, an Epistemic-Logic view on quantum entanglement. Int. J. Theor. Phys. 49 (2010)

  9. Baltag, A., Smets, S.: Modeling correlated information change: from conditional beliefs to quantum conditionals. Soft. Comput. 21, 1523–1535 (2017)

    Article  Google Scholar 

  10. Beltrametti, E., Dalla Chiara, M.L., Giuntini, R, Leporini, R., Sergioli, G.: Epistemic quantum computational structures in a Hilbert-space environment. Fundam Inf 115, 1–14 (2012)

    MATH  MathSciNet  Google Scholar 

  11. Beltrametti, E., Dalla Chiara, M.L., Giuntini, R., Sergioli, G.: Quantum teleportation and quantum epistemic semantics. Math Slovacca 62(6), 1–24 (2012)

    ADS  MATH  MathSciNet  Google Scholar 

  12. Beltrametti, E., Dalla Chiara, M.L., Giuntini, R., Leporini, R., Sergioli, G.: A quantum computational semantics for epistemic logical operators. Part I: epistemic structures. Int. J. Theor. Phys. 53(10), 3279–3292 (2014)

    Article  MATH  MathSciNet  Google Scholar 

  13. Bergfeld, J.M., Sack, J.: Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs. Soft. Comput. 21(6), 1421–1441 (2017)

    Article  Google Scholar 

  14. Birkhoff, G., von Neumann, J.: The Logic of Quantum Mechanics. Ann. Math. 37, 823–843 (1936). reprinted in Hooker, C.A. (ed.), The Logico-algebraic Approach to Quantum Mechanics, vol 1: p.1–26, (1975)

    Article  MATH  MathSciNet  Google Scholar 

  15. Dolev, S h, Pitowsky, B.: A quantum secret ballot, coRR abs/quant-ph/0602087 (2006)

  16. Horoshko, D., Kilin, S.: Quantum anonymous voting with anonymity check. Phys. Lett. A 375, 1172–1175 (2011)

    Article  ADS  MATH  MathSciNet  Google Scholar 

  17. Inamon, H., Lutkenhaus, N., Mayers, D.: Unconditional security of practical quantum key disribution. Eur. Phys. J. D 41(3), 599–627 (2007)

    Article  ADS  Google Scholar 

  18. Sergioli, G., Leporini, R.: Quantum approach to epistemic semantics. Soft. Comput. 21 (2017)

Download references

Author information

Authors and Affiliations

  1. Institute for Logic, Language and Computation, University of Amsterdam, Science Park 107, 1098, XG, Amsterdam, Netherlands

    Soroush Rafiee Rad & Sonja Smets

  2. Department of Mathematics, Shahid Beheshti University, Tehran, Iran

    Elahe Shirinkalam

Authors
  1. Soroush Rafiee Rad
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Elahe Shirinkalam
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Sonja Smets
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Soroush Rafiee Rad.

Additional information

The contributions by S. Smets and S. Rafiee Rad are supported by FP7/2007-2013/ERC Grant agreement no.283963.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Rad, S.R., Shirinkalam, E. & Smets, S. A Logical Analysis of Quantum Voting Protocols. Int J Theor Phys 56, 3991–4003 (2017). https://doi.org/10.1007/s10773-017-3409-4

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10773-017-3409-4

Keywords

Search

Navigation