Mathematics of Information Technology and Complex Systems





Homepage

 
Project Highlights

 
Milestones

 
Research

 
Team Members

 
Partner Organizations

 
Students

 
Publications

 
Presentations

 
Events

 
MITACS Home

 


Milestones (for the period 2005-2007)

Quantum algorithms and complexity theory

  • Discover new quantum algorithms.
  • Establish new query complexity lower bounds.
  • Develop new communication complexity bounds in the context of quantum information.
  • Investigate the power of multi-prover interactive proof systems, as well as zero-knowledge proof systems in the setting of quantum information.
Quantum communication and information security
  • Investigate new applications to general two-party computations in a two-prover setting.
  • Investigate further cryptographic applications of the "decoy state" approach quantum key distribution, as well as to study the security and practical feasibility of other quantum cryptographic and quantum communication protocols.
  • General framework for investigating two-party quantum protocols.

 Theory of quantum information implementations
  • Further investigate and develop the mathematical tools for new error protecting methods with focus on their application to specific quantum information processing devices.

Quantum information theory and entanglement theory
  • Investigate properties of multi-party cryptographic protocols for various tasks, such as entanglement distillation.
  • Investigate various notions of "pseudo-random" in the context of generating unitary operations and quantum states.