Nadish de Silva

I am a Canada Research Chair in the Mathematics of Quantum Computation and an Assistant Professor in the Department of Mathematics at Simon Fraser University.

Broadly, my research interests include quantum information & computation; nonlocality & contextuality; and operator algebras & noncommutative geometry. I am keenly interested in helping to elucidate the structural origins of computational and communicational advantages in both concrete quantum models and abstract postclassical models. These questions sit at the foundations of logic, computer science, and physics, and involve disparate areas of maths: e.g. algorithms & complexity theory, functional analysis, number theory, and category theory.

I previously worked in the Centre for Quantum Information and Foundations in the Department of Applied Mathematics and Theoretical Physics (a part of the Centre for Mathematical Sciences) at the University of Cambridge, in the group of Richard Jozsa FRS. I was a member of King's College, Cambridge.

Prior to this, I worked in the Department of Computer Science, UCL where I was the Researcher Co-Investigator of the EPSRC-funded project Contextuality as a resource in quantum computation: a collaboration between UCL and the University of Oxford headed by Simone Severini and Samson Abramsky FRS. I spent a semester as a Visiting Scientist at the Simons Institute for the Theory of Computing at the University of California, Berkeley.

Previously, I completed my DPhil in Computer Science in the Quantum Group (Logic, Foundations, and Structures), supervised by Samson Abramsky FRS and Bob Coecke, as a Clarendon Scholar at Merton College, University of Oxford. I completed my MSc in Mathematics and my BSc in Mathematics and Physics at the University of Toronto where my supervisor was George Elliott FRSC. In Toronto, I was a Visiting Member of the Fields Institute for Research in Mathematical Sciences, supported by NSERC Undergraduate Student Research Awards.

Publications

Characterising semi-Clifford gates using algebraic sets.
Imin Chen and Nadish de Silva.
Communications in Mathematical Physics.
Presented at the 21^st International Conference on Quantum Physics and Logic (QPL '24).

Fast algorithms for classical specifications of stabiliser states and Clifford gates.
Nadish de Silva, Wilfred Salmon, and Ming Yin.
Quantum.
Presented at the 21^st International Conference on Quantum Physics and Logic (QPL '24).

Matchgate hierarchy: deterministic gate teleportation in matchgate circuits.
Angelos Bampounis, Rui S. Barbosa, Nadish de Silva.

Bases for optimising stabiliser decompositions of quantum states.
Nadish de Silva, Ming Yin, and Sergii Strelchuk.
Quantum Science and Technology.

Efficient quantum gate teleportation in higher dimensions.
Nadish de Silva.
Proceedings of the Royal Society A.
Presented at the 21^st Asian Quantum Information Science Conference (AQIS '21).

Logical paradoxes in quantum computation.
Nadish de Silva.
Proceedings of the 33^rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '18).
Presented at the 17^th Asian Quantum Information Science Conference (AQIS '17).

Contextuality and noncommutative geometry in quantum mechanics.
Nadish de Silva and Rui S. Barbosa.
Communications in Mathematical Physics.
Presented at the 10^th and 11^th International Conference on Quantum Physics and Logic (QPL '13 and QPL '14).

The quantum monad on relational structures.
Samson Abramsky‚ Rui S. Barbosa‚ Nadish de Silva, and Octavio Zapata.
Proceedings of the 42^nd International Symposium on the Mathematical Foundations of Computer Science (MFCS '17).
Presented at the 15^th International Conference on Quantum Physics and Logic (QPL '18).

Minimum quantum resources for strong non−locality.
Samson Abramsky‚ Rui S. Barbosa‚ Giovanni Carù‚ Nadish de Silva‚ Kohei Kishida, and Shane Mansfield.
Proceedings of the 12^th Conference on the Theory of Quantum Computation‚ Communication and Cryptography (TQC '17).
Presented at the 14^th International Conference on Quantum Physics and Logic (QPL '17).

Graph−theoretic strengths of contextuality.
Nadish de Silva.
Physical Review A.

A concise‚ elementary proof of Arzelà's bounded convergence theorem.
Nadish de Silva.
The American Mathematical Monthly.