Chris Heunen
@chrisheunen
Followers
482
Following
360
Media
13
Statuses
225
computer scientist, mathematician, father, karateka, pianist
Edinburgh, Scotland
Joined January 2013
Categories for Quantum Theory. Your friendly but rigorous introduction. Not challenge enough? Also available in Japanese!
3
23
170
Research Associate position available at the University of Edinburgh Quantum Software Lab to work on a joint project on orchestration of heterogeneous quantum computers with Fujitsu. Apply here:
elxw.fa.em3.oraclecloud.com
The School of Informatics, University of Edinburgh invites applications for a Research Associate.The post holder will work on the project “Optimal orchestration of heterogeneous quantum computers”.
0
0
0
A sound and complete finite system of equations to manipulate Toffoli+Hadamard quantum circuits you say, so you can automate circuit optimisation, you say? Why of course, here you go: https://t.co/cZSdfG6cOs, with Wang Fang and @Manchegobaby.
arxiv.org
Quantum computing offers advantages over classical computation, yet the precise features that set the two apart remain unclear. In the standard quantum circuit model, adding a 1-qubit...
0
0
2
🚨 New preprint alert 🚨 Always wanted to know the connection between analytic limits and categorical limits? Tired of establishing directed colimits of contractions when directed colimits of isometries suffice? You're in luck! See https://t.co/vUY9KGw2N2. With Matt Di Meglio.
0
1
7
Two more days to get your application in! Apply at https://t.co/DwKB2CER0j.
Excited to announce the EPSRC Centre for Doctoral Training in Quantum Informatics! Run by Edinburgh, Oxford, UCL, Strathclyde, and Heriot-Watt; 16 fully funded PhD studentships for 2025 start. Deadline 15 Jan. Pass it on, and get in touch if you have Qs. https://t.co/KSy0UcSwcw
0
0
0
Excited to announce the EPSRC Centre for Doctoral Training in Quantum Informatics! Run by Edinburgh, Oxford, UCL, Strathclyde, and Heriot-Watt; 16 fully funded PhD studentships for 2025 start. Deadline 15 Jan. Pass it on, and get in touch if you have Qs. https://t.co/KSy0UcSwcw
0
17
66
Interested in a fully-funded PhD in Quantum Informatics, and wondering what the programme is like? Join us for a Postgraduate Virtual Open Day on Tuesday 12 November, 14:00-15:00 (GMT)!
0
3
1
The Centre for Doctoral Training in Quantum Informatics is hiring a Centre Manager. If this exciting post is for you or someone you know, look here!
elxw.fa.em3.oraclecloud.com
The University of Edinburgh is looking to appoint a Manager for the newly established EPSRC Centre for Doctoral Training in Quantum Informatics.
0
3
5
At least seven fully funded PhD positions are available at the University of Edinburgh in Quantum Computing! More information: https://t.co/bosrhycAzQ Deadline: 31 March 2024
0
34
70
For a look behind the scenes, have a look at this wonderful making-of post Matt wrote. https://t.co/LGsTauKs9N It captures nicely what it's like to do math in a way you don't often see in the finished product.
0
1
6
This paper circumvents Soler's theorem beautifully. It directly links limits (well, suprema) of positive real numbers to limits in a category. Finite dimension is then modelled as follows:
0
0
0
The main problem is that a cornerstone to building up complex numbers from categorical axioms is Soler's theorem. But that relies on the existence of an infinite-dimensional space, so cannot be used here!
1
0
0
After axiomatising Hilbert spaces and bounded linear maps, and Hilbert spaces and linear contractions, you may think this is getting boring. But it's not easy, and there is beautiful math here!
1
0
0
The saga continues! Axioms for the category of finite-dimensional Hilbert spaces and linear contractions, with Matt Di Meglio, now on https://t.co/vpKRTE541f.
arxiv.org
We unravel a deep connection between limits of real numbers and limits in category theory. Using a new variant of the classical characterisation of the real numbers, we characterise the category...
2
4
23
The Quantum Software Lab's brand new website has officially launched! Explore the Lab's team and activities: https://t.co/GwEKadoHYB
0
7
12
Finally, the interpretation of the map V is a square root of NOT is fascinating. In some sense, these results say that quantum computing is nothing but classical computing, except that you're allowed to stop (some) operations halfway.
0
0
1
It is also sound and complete for various gate sets: two programs in this language are equal if and only if their interpretations as matrices are equal. Thus you can reason about quantum programs using equations only, which can be automated!
1
0
1
Voila, you have all of quantum computing! This language is computationally universal: you can approximate any (unitary) quantum computation up to arbitrary accuracy.
1
0
1
Second, formally add a square root V of the map NOT:2->2, and an eight root q of the map 1:1->1. Third, impose the single further equation VSV=qSVS. Everything has obvious interpretations as matrices, but they are just formal entities.
2
0
2