Giovanni Carù
Interests
My research interests involve the application of general, abstract mathematical methods to the theory of quantum computation, with a specific orientation towards algebraic topology and category theory. In particular, I am currently studying non-locality and contextuality by adopting the sheaf-theoretic framework developed by Abramsky and Brandenburger, with the intention of fully characterise the topological properties of these key features of quantum mechanics. I have recently been working on methods to detect contextuality in no-signaling empirical models based on sheaf cohomology and All vs Nothing arguments.
Biography
September 2011 - July 2014
BSc in Mathematics, Department of Mathematics, École Polytechnique Fédérale de Lausanne (EPFL).
My Bachelor dissertation, entitled A Categorical Viewpoint on Pointless Topology, was completed under the supervision of Kathryn Hess-Bellwald. I worked as a teaching assistant of Kathryn Hess-Bellwald and Justin Young for the courses Topology I-II.
October 2014 - September 2015
MSc in Mathematics and Foundations of Computer Science (MFoCS), Mathematical Institute and Department of Computer Science, University of Oxford.
I wrote my Masters dissertation Detecting Contextuality: Sheaf Cohomology and All vs Nothing Arguments under the supervision of Samson Abramsky. I obtained a distinction and I was awarded the MFoCs certificate of excellence for the best overall performance in the MFoCS.
October 2016 - December 2016
Participant of the Logical Structures and Computation research program at the Simons Institute for the Theory of Computing, UC Berkeley (see my personal page).
October 2015 -
DPhil in Computer Science, Department of Computer Science, University of Oxford.
Quantum group, supervised by Samson Abramsky and funded by EPSRC and the Oxford-Google DeepMind Graduate Scholarship.
Selected Publications
-
A complete characterization of all−versus−nothing arguments for stabilizer states
Samson Abramsky‚ Rui Soares Barbosa‚ Giovanni Carù and Simon Perdrix
In Philosophical Transactions of the Royal Society of London A: Mathematical‚ Physical and Engineering Sciences. Vol. 375. No. 2106. 2017.
Details about A complete characterization of all−versus−nothing arguments for stabilizer states | BibTeX data for A complete characterization of all−versus−nothing arguments for stabilizer states | DOI (10.1098/rsta.2016.0385) | Link to A complete characterization of all−versus−nothing arguments for stabilizer states
-
Minimum Quantum Resources for Strong Non−Locality
Samson Abramsky‚ Rui Soares Barbosa‚ Giovanni Carù‚ Nadish de Silva‚ Kohei Kishida and Shane Mansfield
In Mark M. Wilde, editor, 12th Conference on the Theory of Quantum Computation‚ Communication and Cryptography (TQC 2017). Vol. 73 of Leibniz International Proceedings in Informatics (LIPIcs). Pages 9:1–9:20. Dagstuhl‚ Germany. 2018. Schloss Dagstuhl–Leibniz−Zentrum fuer Informatik.
To appear
Details about Minimum Quantum Resources for Strong Non−Locality | BibTeX data for Minimum Quantum Resources for Strong Non−Locality | DOI (10.4230/LIPIcs.TQC.2017.9) | Link to Minimum Quantum Resources for Strong Non−Locality
-
On the Cohomology of Contextuality
Giovanni Carù
In Electronic Proceedings in Theoretical Computer Science. Vol. 236. 2017.
Details about On the Cohomology of Contextuality | BibTeX data for On the Cohomology of Contextuality | Download (pdf) of On the Cohomology of Contextuality | DOI (10.4204/EPTCS.236.2)