Lucien Hardy received his PhD at Durham University in 1992 under the supervision of Professor Euan J Squires. He has held research and lecturing positions in various cities across Europe. While in Rome Lucien collaborated on an experiment to demonstrate quantum teleportation. In 1992 he found a very simple proof of non-locality in quantum theory which has become known as Hardys theorem.
University of Waterloo
PhD students who wish to be supervised by Perimeter Institute faculty normally apply through the PSI program. To apply directly to a PhD program, students should submit an application to the Physics and Astronomy Department at the University of Waterloo.
Students interested in pursuing an MSc degree should apply to Perimeter Institute's PSI program.
I am working on operational approaches to Quantum Theory, General Relativity, and Quantum Gravity. Specifically I have developed an operational framework in which Quantum Theory and General Relativity can be formulated. Ultimately, I hope to formulate Quantum Gravity in this framework.
In 2001 I developed an operational probabilistic approach that provided the basis for a set of "reasonable axioms" from which the usual rules of Quantum Theory can be derived. In 2010 I further developed this framework as a diagrammatic calculus, the duotensor formalism, for general circuits. In 2011 I used this framework to provide a reformulation of Quantum Theory - the operator tensor formulation and, also, provided a new set of reasonable axioms from which Quantum Theory can be reconstructed.
The operator tensor reformulation motivated taking a look at the issue of composition in physics. Typically, when we study a physical object, we regard it as being built out of small objects joined together in a particular way. In 2013 I wrote a paper providing a more general theory for the use of composition in physics. Such ideas of composition may play a role across different fields in physics.
Most recently (2016), I have shown how to use ideas of composition to provide an operational reformulation of General Relativity. This requires, first of all, making an assertion as to what the directly observable quantities are. For this I nominate a set of scalar fields and consider point coincidences in their values. This provides an operational space (or op-space). We can consider regions of op-space and how to glue together solutions corresponding to such regions. This leads to a diagrammatic calculus of the same nature as that used in the operator tensor formulation of Quantum Theory. This operational reformulation of General Relativity naturally suggests approaches to solving the problem of Quantum Gravity.