Computer Science Group

Quantum mechanics and computer science are two of the biggest developments in the last century in science and technology: quantum mechanics gave us the opportunity to understand nature at the nanoscale, where the laws of physics are fundamentally different from the conventional (classical) physics; information technologies have revolutionized our everyday lives.

Quantum computing and quantum information science bring these fields together, applying quantum mechanics to problems in computing and communication. After Shor’s 1994 discovery of a quantum algorithm for factoring integers, which threatened the security of a widely-used encryption method, interest in quantum information science thrived. Other achievements of quantum information science include efficient and secure protocols for communication and cryptography. Those protocols have already resulted in quantum cryptography devices that are commercially available.

The computer science group’s activity covers a wide range of areas in quantum computing and information theory, often in close connection with related research areas in classical theoretical computer science. We mostly investigate quantum algorithms, complexity and quantum-safe cryptography. Quantum algorithms provide a recipe for efficiently solving practical problems on a quantum computer, of particular interest are problems which are difficult to solve on a classically. The study of quantum computational complexity is about understanding the fundamental limitations of information processing tasks in nature. By understanding such limits, it can offer a guide to crafting new algorithms and communication protocols. Quantum-safe cryptography is concerned with the design and the evaluation of cryptographic systems which are resistant even to quantum attacks.

More information at our homepage:

Group Members

Recent papers

  • Leonard Wossnig, Zhikuan Zhao, A.Prakash. (2018). A quantum linear system algorithm for dense matrices. Phys. Rev. Lett. 120 050502
  • A. Anshu, R. Jain, N.A Warsi, NA Warsi. (2018). A generalized quantum Slepian-Wolf. IEEE Transactions on Information Theory
  • A. Anshu, R. Jain, N.A Warsi, NA Warsi. (2018). A one-shot achievability result for quantum state redistribution. IEEE Transactions on Information Theory
  • Mika Göös, R. Jain, Thomas Watson. (2018). Extension Complexity of Independent Set Polytopes. SIAM Journal of Computing
  • M. Grassl, L. Kong, Z.H. Wei, Z. Yin, B. Zeng. (2018). Quantum Error-Correcting Codes for Qudit Amplitude Damping. IEEE Transactions on Information Theory
  • H. Klauck. (2017). The Complexity of Quantum Disjointness. International Symposium MFCS 83 15:1-15:13
  • A.Prakash, Jamie William Jonathon Sikora, A.Varvitsiotis, Zhaohui Wei. (2017). Completely positive semidefinite rank. Mathematical Programming
  • Rajat Mittal, Nitin Saxena, Vishwas Bhargava, Gábor Ivanyos. (2017). Irreducibility and r-th root finding over finite fields. ISSAC 37-44
  • G. Ivanyos, Youming Qiao, K. V. Subrahmanyam. (2017). On generating the ring of matrix semi-invariants. Computational Complexity 26 717-763
  • T. Kazana, D. Aggarwal. (2017). Inception makes non-malleable codes stronger. Theory of Cryptography 319-343
  • D. Gavinsky, R. Jain, H. Klauck, S.Kundu, T. Lee, M. Santha, S. Sanyal, Jevgenijs Vihrovs. (2017). Quadratically Tight Relations for Randomized Query Complexity. Electronic Colloquium on Computational Complexity 123
  • A. Anshu, R. Jain, N.A Warsi, NA Warsi. (2017). A hypothesis testing approach for communication over entanglement assisted compound quantum channel. CoRR abs/1706.0
  • A. Anshu, V. Krishna, R. Jain. (2017). Quantum Communication Using Coherent Rejection Sampling. Phys. Rev. Lett. 119 120506
  • A. Anshu. (2017). An upper bound on quantum capacity of unital channels. Proc. IEEE ITW
  • A. Anshu, Dave Touchette, P. Yao, Nengkun Yu. (2017). Exponential Separation of Quantum Communication and Classical Information. ACM STOC 277-288
more publications >