International Journal of Theoretical Physics

, Volume 56, Issue 12, pp 3991–4003 | Cite as

A Logical Analysis of Quantum Voting Protocols

  • Soroush Rafiee RadEmail author
  • Elahe Shirinkalam
  • Sonja Smets


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.


Dynamic quantum logic Quantum voting protocol Protocol verification 


  1. 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)Google Scholar
  2. 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)CrossRefzbMATHMathSciNetGoogle Scholar
  3. 3.
    Baltag, A., Smets, S.: Complete axiomatizations for quantum actions. Int. J. Theor. Phys. 44(12), 2267–2282 (2005)CrossRefzbMATHMathSciNetGoogle Scholar
  4. 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)Google Scholar
  5. 5.
    Baltag, A., Smets, S.: Quantum Logic as a Dynamic Logic, Synthese. In: Kuipers, T., van Benthem, J., Visser, H. (eds.) Special issue (2011)Google Scholar
  6. 6.
    Baltag, A., Smets, S: The Dynamic Turn in Quantum Logic. Synthese 186(3) (2012)Google Scholar
  7. 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)CrossRefzbMATHMathSciNetGoogle Scholar
  8. 8.
    Baltag, A., Smets, S.: Correlated knowledge, an Epistemic-Logic view on quantum entanglement. Int. J. Theor. Phys. 49 (2010)Google Scholar
  9. 9.
    Baltag, A., Smets, S.: Modeling correlated information change: from conditional beliefs to quantum conditionals. Soft. Comput. 21, 1523–1535 (2017)CrossRefGoogle Scholar
  10. 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)zbMATHMathSciNetGoogle Scholar
  11. 11.
    Beltrametti, E., Dalla Chiara, M.L., Giuntini, R., Sergioli, G.: Quantum teleportation and quantum epistemic semantics. Math Slovacca 62(6), 1–24 (2012)ADSzbMATHMathSciNetGoogle Scholar
  12. 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)CrossRefzbMATHMathSciNetGoogle Scholar
  13. 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)CrossRefGoogle Scholar
  14. 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)CrossRefzbMATHMathSciNetGoogle Scholar
  15. 15.
    Dolev, S h, Pitowsky, B.: A quantum secret ballot, coRR abs/quant-ph/0602087 (2006)Google Scholar
  16. 16.
    Horoshko, D., Kilin, S.: Quantum anonymous voting with anonymity check. Phys. Lett. A 375, 1172–1175 (2011)ADSCrossRefzbMATHMathSciNetGoogle Scholar
  17. 17.
    Inamon, H., Lutkenhaus, N., Mayers, D.: Unconditional security of practical quantum key disribution. Eur. Phys. J. D 41(3), 599–627 (2007)ADSCrossRefGoogle Scholar
  18. 18.
    Sergioli, G., Leporini, R.: Quantum approach to epistemic semantics. Soft. Comput. 21 (2017)Google Scholar

Copyright information

© Springer Science+Business Media New York 2017

Authors and Affiliations

  1. 1.Institute for Logic, Language and ComputationUniversity of AmsterdamAmsterdamNetherlands
  2. 2.Department of MathematicsShahid Beheshti UniversityTehranIran

Personalised recommendations