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


(*) Corresponding author


Authors' affiliations


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)

Abstract


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.

Keywords


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

Full Text:

PDF


References


Weiss, P. Teleporting Matter’s Traits, SCIENCE NEWS, 165:387
http://dx.doi.org/10.2307/4015126

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
http://dx.doi.org/10.1137/s0097539705447323

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.
http://dx.doi.org/10.1098/rspa.1985.0070

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.
http://dx.doi.org/10.1007/bf01011339

Albert, D. Z. On quantum-mechanical automata. Physics Letters A 98(5–6):249–252, 1983.
http://dx.doi.org/10.1016/0375-9601(83)90863-0

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.
http://dx.doi.org/10.1109/sfcs.1993.366852

Bernstein, E. and Vazirani, U. , Quantum complexity theory. In Proceedings of the ACM Symposium on Theory of Computing. ACM Press,1993.
http://dx.doi.org/10.1145/167088.167097

Bernstein, E. and Vazirani, U., Quantum complexity theory. SIAM Journal on Computing 26(5):1411–1473,1997.
http://dx.doi.org/10.1137/s0097539796300921

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

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
http://dx.doi.org/10.1017/cbo9780511976667

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"
http://dx.doi.org/10.1103/physrevlett.86.5188

Knill, E. , Conventions for quantum pseudocode. Technical Report LAUR-96-2724,Los Alamos National Laboratory, 1996.
http://dx.doi.org/10.2172/366453

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
http://dx.doi.org/10.1140/epjd/e2003-00242-2

Sanders, J. W. and Zuliani, P., Quantum programming. In Mathematics of Program Construction, volume 1837 of Lecture Notes in Computer Science. Springer,2000.
http://dx.doi.org/10.1007/10722010_6

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.
http://dx.doi.org/10.1137/s0097539703432165

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
http://dx.doi.org/10.1017/s0960129506005238

Perdrix, S. , Quantum patterns and types for entanglement and separability. In Selinger ,2005.
http://dx.doi.org/10.1016/j.entcs.2006.12.015

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.
http://dx.doi.org/10.1017/s0960129506005287

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.
http://dx.doi.org/10.1017/s0960129504004256

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.
http://dx.doi.org/10.1145/871895.871900

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.
http://dx.doi.org/10.1017/s0960129506005263

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
http://dx.doi.org/10.1017/s096012950600524x

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.
http://dx.doi.org/10.1145/977091.977107

R. Rüdiger., Quantum Programming Languages: An Introductory Overview, The Computer Journal,50(2),134-150,2007.
http://dx.doi.org/10.1093/comjnl/bxl057

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.
http://dx.doi.org/10.1109/sfcs.1994.365700

L. K. Grover, .Quantum mechanics helps in searching for a needle in a haystack, Phys. Rev. Lett. 78, pp. 325.328 ,1997.
http://dx.doi.org/10.1103/physrevlett.79.325

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.
http://dx.doi.org/10.1002/3527603182.ch1

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.
http://dx.doi.org/10.1090/s0273-0979-02-00964-3

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.
http://dx.doi.org/10.1088/1367-2630/8/9/193

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://dx.doi.org/10.1038/nphys629

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
http://dx.doi.org/10.1038/nphys549

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.
http://dx.doi.org/10.1088/1126-6708/2006/04/054

I. Raptis, R. R. Zapatrin, Quantization of discretized spacetimes and the correspondence principle, International Journal of Theoretical Physics, 39, 1 ,2000.
http://dx.doi.org/10.1023/a:1003694830614

C. Altman, J. Pykacz, R. R. Zapatrin, Superpositional Quantum Network Topologies, International Journal of Theoretical Physics, 43, 2029,2004.
http://dx.doi.org/10.1023/b:ijtp.0000049008.51567.ec

I. Raptis, R. R. Zapatrin, Algebraic description of spacetime foam, Classical and Quantum Gravity,18, 4187 ,2001.
http://dx.doi.org/10.1088/0264-9381/18/20/303

J. I. Cirac, P. Zoller, H. J. Kimble, and H. Mabuchi, Phys. Rev. Lett. 78, 3221 ,1997.
http://dx.doi.org/10.1103/physrevlett.78.3221

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.
http://dx.doi.org/10.1038/35106500

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

V. Giovannetti, S. Lloyd, L. Maccone, Science 306, 1330 ,2004.
http://dx.doi.org/10.1103/physreva.70.012307

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.
http://dx.doi.org/10.1038/nature05147

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.
http://dx.doi.org/10.1088/0953-4075/38/9/007


Refbacks

  • There are currently no refbacks.


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