The project has delivered significant progress on each of its objectives, and contributed to a growing body of research into resource theories for non-classicality and the roots of quantum-over-classical computational advantage.
The project has notably led to the identification of a novel form of non-classical behaviour, known as sequential-transformation contextuality or dynamic contextuality. It is a form of non-classical behaviour that can be exhibited in to the evolution of a system under transformations (e.g. by quantum gates).
Dynamic contextuality was found to enable quantum-over-classical advantages relating to the computation of certain privileged classes of boolean functions. A new form of cooperative game known as the CHSH* game was also proposed, in which dynamic contextuality gives rise to quantum-over classical advantage. These relationships were found to be quantifiable: the degree of advantage can be precisely related to the degree of dynamic contextuality.
A mathematically robust formalism for treating and quantifying contextuality in continuous variable quantum systems, which provide some of the most promising candidates for implementing quantum computations and informatic protocols, was also developed. The project has likewise contributed methods for resource-theoretic reasoning about contextuality, as a non-classical behaviour that is known to have computational utility. In particular these allow for reasoning about how contextuality evolves when one performs operations on systems, and also for reasoning about which (contextual) behaviours can simulate others.
Overall the project has led to publications in leading venues in both Computer Science and Physics, including LICS, Physical Review Letters, and Physical Review A.
