A State-of-the-Art Review on Quantum Information Computing

Rabindra Ku. Jena(1*), Prabhat Ku. Mahanti(2)

(1) Assistant professor, Department of information technology, Institute of Management Technology, Nagpur, India
(2) Professor, Computer Science at University of New Brunswick , Saint John, Canada
(*) Corresponding author

DOI's assignment:
the author of the article can submit here a request for assignment of a DOI number to this resource!
Cost of the service: euros 10,00 (for a DOI)


The subject of quantum computing brings ideas from classical information theory, computer science, and quantum physics. Quantum mechanics provide new computational paradigms that had not been imagined prior to the 1980's and whose power was not fully appreciated until the mid 1990's.This review aims to succinctly summarize not just quantum computing, but the whole subject of quantum information theory
Copyright © 2013 Praise Worthy Prize - All rights reserved.


Quantum Computing; Quantum Communication; Quantum Computers; Quantum Network; Quantum Cryptography

Full Text:



Weiss, P. Teleporting Matter’s Traits, SCIENCE NEWS, 165:387

Bernhard Ömer, A Procedural Formalism for Quantum Computing, master thesis, Technical University of Vienna,1996

Dorit Aharonov, Wim van Dam, Julia Kempe, Zeph Landau, Seth Lloyd, Oded Regev, Adiabatic Quantum Computation is Equivalent to Standard Quantum Computation, ,quant-ph/0405098

Deutsch, D., Quantum theory, the Church-Turing principle and the universal quantum computer. Proceedings of the Royal Society of London A 400:97–117,1998.

Benioff, P. The computer as a physical system: A microscopic quantum mechanical Hamiltonian model of computers as represented by Turing machines. Journal of Statistical Physics 22(5):563–591,1980.

Albert, D. Z. On quantum-mechanical automata. Physics Letters A 98(5–6):249–252, 1983.

Yao, A. C., Quantum circuit complexity. In Proceedings of the 34th Annual IEEE Symposium on Foundations of Computer Science, pages 352–361. IEEE Press,1993.

Bernstein, E. and Vazirani, U. , Quantum complexity theory. In Proceedings of the ACM Symposium on Theory of Computing. ACM Press,1993.

Bernstein, E. and Vazirani, U., Quantum complexity theory. SIAM Journal on Computing 26(5):1411–1473,1997.

Iriyama, S., Ohya, M. and Volovich, I. , Generalized quantum Turing machine and its application to the SAT chaos algorithm. arXiv:quant-ph/0405191,2004.

Jorrand, P. and Lalire, M. , Toward a quantum process algebra. In Proceedings of the 1st ACM Conference on Computing Frontiers. ACM Press. Also arXiv:quantph/0312067,2004.

M. Nielsen and I. Chuang, Quantum Computation and Quantum Information, Cambridge University Press, 2000

Robert Raussendorf and Hans J. Briegel, A One-Way Quantum Computer, Phys. Rev. Lett. 86, 5188–5191, 2001. "http:// www.quantiki.org/ wiki/index.php/ One-way_ computation"

Knill, E. , Conventions for quantum pseudocode. Technical Report LAUR-96-2724,Los Alamos National Laboratory, 1996.

Baker, G., Qgol: a system for simulating quantum computations: theory, implementation and insight, Honours thesis, Macquarie University,1996

Omer, B., Structured Quantum Programming, Ph.D. thesis, Technical University of Vienna,2003.

Bettelli, S., Calarco, T. and Serafini, L. , Toward an architecture for quantum programming. The European Physical Journal 25:181–200,2003

Sanders, J. W. and Zuliani, P., Quantum programming. In Mathematics of Program Construction, volume 1837 of Lecture Notes in Computer Science. Springer,2000.

Zuliani, P. ,Quantum Programming,DPhil thesis, University of Oxford.,2000.

Zuliani, P. , Quantum programming with mixed states. In Selinger ,2005.

Tafliovich, A., Quantum Programming, Master’s thesis, University of Toronto,2004.

Maymin, P., Extending the lambda calculus to express randomized and quantumized algorithms,1996.

Maymin, P. , The lambda-q calculus can efficiently simulate quantum computers, arXiv:quant-ph/9702057,1997.

van Tonder, A., A lambda calculus for quantum computation. SIAM Journal on Computing, 33(5):1109–1135,2004.

Valiron, B., A functional programming language for quantum computation with classical control , Master’s thesis, University of Ottawa,2004.

Selinger, P. and Valiron, B., A lambda calculus for quantum computation with classical control, Mathematical Structures in Computer Science,2006

Perdrix, S. , Quantum patterns and types for entanglement and separability. In Selinger ,2005.

Arrighi, P. and Dowek, G. Linear-algebraic λ-calculus, arXiv:quant-ph/0501150,2005

Altenkirch, T. and Grattage, J., QML: Quantum data and control. Manuscript,2005.

Vizzotto, J. K., Altenkirch, T. and Sabry, A.,Structuring quantum effects: Superoperators as arrows. Mathematical Structures in Computer Science ?(?):?–? Also arXiv:quant-ph/0501151,2006.

Danos, V., Kashefi, E. and Panangaden, P., The measurement calculus.arXiv:quant-ph/0412135,2004.

Danos, V. and Kashefi, E. , Determinism in the one-way model. arXiv:quantph/ 0506062,2005.

Danos, V., Kashefi, E. and Panangaden, P., 1-qubit versus 2-qubit measurementbased quantum computation, Manuscript,2005.

Selinger, P., Towards a quantum programming language, Mathematical Structures in Computer Science 14(4):527–586,2004.

Mu, S.-C. and Bird, R., Functional quantum programming. In Proceedings of the 2nd Asian Workshop on Programming Languages and Systems,2001.

Sabry, A., Modelling quantum computing in Haskell. In Proceedings of the ACM SIGPLAN Workshop on Haskell , ACM Press,2003.

Vizzotto, J. K. and da Rocha Costa, A. C., Concurrent quantum programming in Haskell. In VII Congresso Brasileiro de Redes Neurais, Sess˜ao de Computa¸c˜ao Quˆantica,2005.

Gay, S. J. and Nagarajan, R., Typechecking communicating quantum processes. Mathematical Structures in Computer Science,2006.

Jorrand, P. and Lalire, Toward a quantum process algebra. In Proceedings of the 1st ACM Conference on Computing Frontiers, ACM Press. Also arXiv:quantph/ 0312067,2004.

Lalire, M. , Relations among quantum processes: Bisimilarity and congruence, Mathematical Structures in Computer Science,2006

Papanikolaou, N. K. , Techniques for Design and Validation of Quantum Protocols, Master’s thesis, University of Warwick,2004

Mauerer, W. , Semantics and Simulation of Communication in Quantum Computing, Master’s thesis, University Erlangen-Nuremberg,2005.

Di Pierro, A. and Wiklicky, H., Quantum constraint programming. In Proceedings of the APPSIA-GULP-PRODE Joint Conference on Declarative Programming,2004

Udrescu, M., Prodan, L. and Vl˘adut¸iu, M. , Using HDLs for describing quantum circuits: a framework for efficient quantum algorithm simulation. In Proceedings of the 1st ACM Conference on Computing Frontiers. ACM Press.

R. Rüdiger., Quantum Programming Languages: An Introductory Overview, The Computer Journal,50(2),134-150,2007.

P. Shor, ``Algorithms for quantum computation: discrete logarithms and factoring,'' in Proc. 35th Annual Symp. on Foundations of Computer Science, Santa Fe., NM, November 20­22, 1994, IEEE Computer Society Press, pp. 124­134.

L. K. Grover, .Quantum mechanics helps in searching for a needle in a haystack, Phys. Rev. Lett. 78, pp. 325.328 ,1997.

Quantum Computing with Molecules, http://www.media.mit.edu /physics/publications/papers/98.06.sciam/0698gershenfeld.html

http://modular.fas.harvard.edu / edu/Fall2001/ 124 /misc/ arjen_ lenstra_ factoring. pdf

DiVincenzo, David P., "The Physical Implementation of Quantum Computation". Experimental Proposals for Quantum Computation,2000.

David P.DiVincenzo, Quantum Computation, http: //www.sciencemag.org /cgi/content/ abstract/270/5234/255, 2006

M. I. Dyakonov, Université Montpellier, Is Fault-Tolerant Quantum Computation Really Possible?, http://arxiv.org/abs/quant-ph/0610117,2006.

Freedman, Michael; Alexei Kitaev, Michael Larsen, Zhenghan Wang , Topological Quantum Computation, Bulletin of the American Mathematical Society 40 (1): 31—38, 2006.

Ann Arbor, U-M develops scalable and mass-producible quantum computer chip, http://www.umich.edu/ news/ index.html?Releases/2005/Dec05/r121205b, 2005

David Deutsch, Comment on D-Wave, http://www.wired.com /science /discoveries/news/2007/02/72734.

Jason Pontin, A Giant Leap Forward in Computing ? Maybe Not. The New York Times Company,2007.

P A Hiskett, D Rosenberg, C G Peterson, R J Hughes, S Nam, A E Lita, A J Miller and J E Nordholt, Long-distance quantum key distribution in optical fibre, New J. Phys. 8 , 193,2006.

R. Ursin, F. Tiefenbacher ,T. Schmitt-Manderbach, H. Weier, T. Scheidl, M. Lindenthal, B. Blauensteiner, T. Jennewein, J. Perdigues, P. Trojek, B. Oemer, M. Fuerst, M. Meyenburg, J. Rarity, Z. Sodnik, C. Barbieri, H. Weinfurter, A. Zeilinger. Free-Space distribution of entanglement and single photons over 144 km, Quantum Physics(V2),2007.

http://www.sciencemag.org/cgi/ reprint/ sci;314/ 5798/ 436.pdf.

Antonio Acín, J. Ignacio Cirac, Maciej Lewenstein, Entanglement Percolation in Quantum Networks Nature Physics online, 25. Februar 2007

DiVincenzo, D., The Physical Implementation of Quantum Computation, quantph/ 0002077

M. Buric, T. Grammatikopoulos, J. Madore, G. Zoupanos, Gravity and the Structure of Noncommutative Algebras, Journal of High Energy Physics, 0604, 054,2006.

I. Raptis, R. R. Zapatrin, Quantization of discretized spacetimes and the correspondence principle, International Journal of Theoretical Physics, 39, 1 ,2000.

C. Altman, J. Pykacz, R. R. Zapatrin, Superpositional Quantum Network Topologies, International Journal of Theoretical Physics, 43, 2029,2004.

I. Raptis, R. R. Zapatrin, Algebraic description of spacetime foam, Classical and Quantum Gravity,18, 4187 ,2001.

J. I. Cirac, P. Zoller, H. J. Kimble, and H. Mabuchi, Phys. Rev. Lett. 78, 3221 ,1997.

H.-J. Briegel, S. van Enk, J. I. Cirac, P. Zoller, in The Physics of Quantum Information, D. Bouwmeester, A. Ekert, A. Zeilinger, Eds. Springer, Berlin, 192,2000.

L.-M. Duan, M. Lukin, J. I. Cirac, and P. Zoller, Nature 414, 413 ,2001.

L.-M. Duan and H. J. Kimble, Phys. Rev. Lett. 92, 127902,2004.

V. Giovannetti, S. Lloyd, L. Maccone, Science 306, 1330 ,2004.

P. Treutlein, T. Steinmetz, Y. Colombe, P. Hommelho, J. Reichel, M. Greiner, O. Mandel, A. Widera, T. Rom, I. Bloch, T. W. HÄansch, quant-ph/0605163.

Takao Aoki, B. Dayan, E. Wilcut, W. P. Bowen, A. S. Parkins, T. J. Kippenberg, K. J. Vahala, and H. J. Kimble,Nature 443, 671 ,2006.

R. Miller, T. E. Northup, K. M. Birnbaum, A. Boca, A. D. Boozer, and H. J. Kimble, J. Phys. B: At. Mol. Opt.Phys. 38, S551 ,2005.


  • There are currently no refbacks.

Please send any question about this web site to info@praiseworthyprize.com
Copyright © 2005-2022 Praise Worthy Prize