Investigating Infinite Dimensional Models of Quantum Computation

As in the classical case, quantum computers are modeled by circuits: that is, basic components connected by wires. Circuit models of computation are used for optimization, minimizing the cost of implementing quantum computers. There are various circuit models for quantum computing with different features. Models of quantum computation generally do not allow for information to be copied or deleted. Similarly, models of quantum computation are typically time-reversible: meaning that circuits can be run both forward and backward. When a model of computation supports quantum teleportation, the wires of the circuits may be bent. Quantum teleportation and time-reversibility allow quantum channels to be modeled. These represent the combined transmission of quantum and classical information between systems. However, wires between infinite dimensional systems do not behave in quite the same manner, in particular, they cannot be bent. Circuit models which allow wire-bending are very useful and well-explored. I will investigate infinite dimensional models of quantum computation in which a more general variant of wire-bending can be performed. This, it is believed, allows the transport of ideas from the conventional circuits to the infinite dimensional case.

Faculty Supervisor:

Robin Cockett

Student:

Partner:

University of Oxford;University of Edinburgh

Discipline:

Computer science

Sector:

Information and Communications Technology; Technology; Quantum Science

University:

University of Calgary

Program: