Ross Duncan
banner
rossquantum.bsky.social
Ross Duncan
@rossquantum.bsky.social
Quantum computing lifer. ZX-calculus co-inventor. Quantum compiler compiler and quantum programmer programmer. String diagrammer. Category theoriser.
Head of Quantum Software @ Quantinuum
(I cannot read DMs on Bluesky)
What can you do with a state of the art quantum computer? For example, you can simulate superconducting materials.
arxiv.org/abs/2511.02125
#quantum #quantumcomputing #quantinuum #helios
Superconducting pairing correlations on a trapped-ion quantum computer
The Fermi-Hubbard model is the starting point for the simulation of many strongly correlated materials, including high-temperature superconductors, whose modelling is a key motivation for the construc...
arxiv.org
November 11, 2025 at 7:27 AM
Reposted by Ross Duncan
Quantinuum Helios is a powerful star!
November 6, 2025 at 9:40 AM
Reposted by Ross Duncan
I was fortunate enough to publish a paper on the same day as Helios launch, showcasing the power of Helios. We report a dynamic approach for certified randomness amplification scirate.com/arxiv/2511.0...
November 6, 2025 at 12:50 PM
Reposted by Ross Duncan
@quantinuum.bsky.social's collaboration with Singapore’s quantum ecosystem is stepping up to be a strategic partnership! An agreement announced on 5 Nov will see Singapore host Quantinuum’s Helios system, and Quantinuum establish a new R&D and Operations Centre in Singapore. buff.ly/kBS6TTn
November 6, 2025 at 12:35 AM
Reposted by Ross Duncan
November 5, 2025 at 9:03 PM
Helios is finally announced! Aside from being a better quantum computer by the usual metrics (more qubits, better gates, faster operation) it's also the first quantum computer that is also a classical computer -- i.e. programs with control flow, function calls, classical logic and arithmetic...
November 10, 2025 at 12:56 AM
Cool new results from my colleagues!
October 30, 2025 at 5:37 PM
Reposted by Ross Duncan
Reminder of the preferred approach when sharing arXiv preprint links
October 18, 2025 at 11:33 AM
"Nothing in fault-tolerance makes sense in except in light of ZX" Thanks Craig :-)

(The rest of the talk is good too!)
#zxcalculus #quantum #qec
Here's the recording of my talk at the Simons institute quantum industry day: www.youtube.com/live/SULOaOQ...

And the slides: docs.google.com/presentation...

I was also on the panel discussion at the end of the day (also in the linked playlist).
Optimizing the Annoying Stuff: Reducing Costs Obscured by the Abstract Circuit Model
YouTube video by Simons Institute for the Theory of Computing
www.youtube.com
October 17, 2025 at 7:41 AM
Reposted by Ross Duncan
The two #GuppyLang papers are also out on arXiv now:

GUPPY: Pythonic Quantum-Classical Programming Guppy (PLanQC '24): scirate.com/arxiv/2510.1...

Imperative Quantum Programming with Ownership and Borrowing in Guppy Guppy (PLanQC '25): scirate.com/arxiv/2510.1...

Guppy docs at guppylang.org
October 16, 2025 at 4:06 PM
Reposted by Ross Duncan
Interesting bit of sociology: They are really studiously avoiding any mention of quantum computing. First and only mention came in the last few words of the presentation by Johansson.
October 7, 2025 at 10:03 AM
Reposted by Ross Duncan
The workshop Quantum Resources is back! The next edition will take place in Tokyo in March.

2026.quantumresources.science

Submission deadline: 31 October 2025
Workshop: 16–20 March 2026
Quantum Resources workshop 2026
The workshop "Quantum Resources 2026" will take place in Tokyo, Japan in March. Submissions welcome!
2026.quantumresources.science
September 23, 2025 at 10:08 AM
Reposted by Ross Duncan
This story is now big news all over the world... except in the UK.
October 3, 2025 at 5:47 PM
Reposted by Ross Duncan
"If the thing you call a 'policy' creates responsibility and accountability for something, without granting resources and authority to achieve that something, then it fails to qualify functionally as a 'policy' and is merely BULLYING."
-- me, far too often in this academic life
October 5, 2025 at 10:00 PM
Reposted by Ross Duncan
We provide evidence of an exponential gap between adaptive & nonadaptive strategies for a quantum recompilation task

Key takeaways:

- Entanglement isn’t always a roadblock: its degree can aid training

- Discrete optimization may be key to finding sweet spots between concentration & surrogation
October 2, 2025 at 1:23 PM
Reposted by Ross Duncan
When you realize the whole yearly budget for Quantum journal is equal to 8 Nature APCs - and they don't even wreck your paper in proof stage because...there is none
September 24, 2025 at 2:10 PM
Lazy people in quantum computing use the term "fault-tolerant" to mean "I don't want to think about errors". Unfortunately for these magical thinkers, QEC will not make error rates zero. Logical operations on logical qubits will have errors, and you'd better understand them. #quantum #quantinuumm
We're focused on de-risking the path to large-scale fault-tolerant quantum computing, and we are doing the work to get there. This work is platform-agnostic — relevant to anyone working on quantum hardware, QEC theory, or benchmarking tools.

🔬: arxiv.org/abs/2508.08188
Characterization of syndrome-dependent logical noise in detector regions
Characterizing how quantum error correction circuits behave under realistic hardware noise is essential for testing the premises that enable scalable fault tolerance. Logical error rates conditioned o...
arxiv.org
September 24, 2025 at 10:52 PM
Reposted by Ross Duncan
I am happy to announce that my colleague Paul Blain Levy has won the Alonzo Church Award.

https://siglog.org/winner-of-the-2025-alonzo-church-award/
Winner of the 2025 Alonzo Church Award
The 2025 Alonzo Church Award for Outstanding Contributions to Logic and Computation is presented to **Paul Blain Levy** for his fundamental study of effectful λ-calculi through the Call-by-Push-Value calculus. The awardee book and paper are: > Paul Blain Levy. Call-By-Push-Value: A Functional/Imperative Synthesis. Semantics Structures in Computation 2, Springer 2004, ISBN 1-4020-1730-8 > > Paul Blain Levy. Call-by-Push-Value: Decomposing call-by-value and call-by-name. High.-Order Symb. Comput. 19(4): 377-414 (2006) ## The Contribution Initiated by Alonzo Church, the research programme into the λ-calculus as an abstract model of computation has spurred volumes of fundamental research in logic and computation. By the end of the 20th century, the studies of the λ-calculus in its purely logical form and its applied effectful form bifurcated. In an outstanding contribution, Levy has reunited the many existing research streams into the study of one subsuming calculus: Call-by-Push-Value (CBPV). Levy developed and presented an extraordinarily large body of evidence spanning a cross-section of the semantic theory of the λ-calculus and its application to programming language modelling, including: algebraic datatypes, operational semantics, denotational semantics, and equational theories. To date, CBPV remains a unifying starting point in the study of computational and logical phenomena, including: effects, polarisation, term normalisation, type-isomorphisms, and program transformations. In addition to its scientific contribution, the nominated monograph is a unique access-point into the culmination of decades of logic and programming language semantics.
siglog.org
June 20, 2025 at 10:26 AM
Reposted by Ross Duncan
Not only at the athletics world cup in Tokyo are new world records set. This is for our H2 quantum computer.
September 18, 2025 at 12:29 PM
Not my usual beat, but if you want to nerd out about early medieval law then this blog might be for you.
#history #law
ingridfiv.github.io/ingridsblog/
Anglo-Saxon Law Stuff
ingridfiv.github.io
September 17, 2025 at 9:45 AM
Some of my colleagues in Tokyo talking about our collaboration with RIKEN. @johnchildren.bsky.social and I spend a lot of time on the software integration between the supercomputer Fugaku and Reimei. #quantinuum #quantum #quantumcomputing #quantinuum #riken
www.youtube.com/watch?v=5SII...
Hybrid Quantum Supercomputing: REIMEI at RIKEN in Japan
YouTube video by Quantinuum
www.youtube.com
September 12, 2025 at 1:41 AM