Aleks Kissinger

Attn open-source devs interested in getting into quantum: #unitaryHACK2025 is an annual online hackathon, put on by @unitaryfdn May 28-June 11. PyZX and QuiZX (the python and rust #ZXcalculus quantum compiling tools) will both be in the mix! #quantum, #opensource

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. quantuminformatics-cdt.ac.uk

@richie_yeung Coco the Crow :)

@AleksKissinger Does this cool bird have a name?

Picturing Quantum Software is a brand new book covering state of the art methods in quantum compiling, circuit optimisation, classical simulation, and fault-tolerant quantum computing using the language of the ZX-calculus. Get the preprint for free: github.com/zxcalc/book

Just a periodic reminder: for events, announcements, and job ads in any area of quantum computing, make sure you are on the quantum-computing mailing list! jiscmail.ac.uk/quantum-comput…

4-year postdoc (2 years + possible 2 yr extn) in Quantum Software at @CompSciOxford . cs.ox.ac.uk/news/2344-full… We'll use @ZXCalculus and friends (e.g. stabilisers, tensor nets) to attack important problems in quantum compiling, classical simulation, & FTQC. Deadline 19 Jul. 🕷️😎

cool stuff!

Our work on Quantum Picturalism, presented earlier this year at QSEEC, is now on the arXiv! 🥳 arxiv.org/abs/2312.03653 We describe how diagrammatic methods can be used to democratise learning of quantum theory—including quantum information, computation and communication—by lowering the barrier to entry to a point where the topic becomes easily tractable at high school level. See the paper for details about our foundations and methodology, as well as a number of colorful pictures 🤩. If you have questions, or want to learn more about our approach, ask away! 🚀 Work in collaboration with Selma Dündar-Coecke, Lia Yeh, Caterina Puca, Sieglinde Pfaendler, @quantum_physics, Thomas Cervoni, @AleksKissinger, @coecke, @QuantinuumQC, @IBM, and @UniofOxford.

@vinnylarouge Congratulations!

Super excited about this. Thanks @ERC_Research #ERCCoG . If anybody out there is interested in doing lots of cool, practical stuff for quantum computing with #ZXCalculus , look out for postdoc ads in the coming year!

Childish excitement at seeing our string diagrams book in an actual physical bookshop for the first time.

I tried to prove whether one could do quantum computing by surgery with good qLDPC codes while keeping the good asymptotics. So far I have failed, but along the way I learned some things: arxiv.org/abs/2309.16406.

Coming soon!

quantum-computing is a brand new, old-fashioned email list for announcements related to quantum computing. Clearly this is What The People Want, as it's getting about 1 subscriber per second. :) jiscmail.ac.uk/quantum-comput…

@damast93 @certifiablyrand's group has done some work in that direction (arxiv.org/pdf/2205.05781…), but it is essentially syntactic, leaving formalising a proper combinatoric representation of string diagrams for future work.

@damast93 I used Quantomatic to help find the proof of the hardest lemma in the original ZH completeness paper, which in the process led to finding the then-missing "ortho" rule. But AFAIK, no one has fully formalised any of these proofs.

@StefanoGogioso reminds me a lot of the X11 logo. only the latter is a bit cooler and came out 40 years ago :)

My eyes hurt from the blurring and pixelation.

@coecke Saw this talk at QPL. Super cool stuff!

More ZX-use for quantum error correction.

@twistor @CompSciOxford We take new PhD (aka DPhil) students every year. Have a look at our group: cs.ox.ac.uk/activities/qua…, and how to apply: ox.ac.uk/admissions/gra…

@AleksKissinger @CompSciOxford Are there any PhD positions?

We're advertising two postdoc positions in the Quantum Group at @CompSciOxford: ...in quantum foundations: cs.ox.ac.uk/news/2163-full… (deadline soon! 29 June) ...in quantum software and compiling: cs.ox.ac.uk/news/2169-full… (deadline 10 July) Pass this on to anyone interested!

With Mark Koch and @richie_yeung, we got a new paper on stabiliser decomposition using ZX. Our method is also competitive with tensor network approaches. This work has been accepted as a talk to be presented at IWQC 2023. arxiv.org/abs/2307.01803