Research
Is the state that arrived still fit for continued computation?
Every link between quantum machines raises that question.
Today there is no shared way to answer it.
The problem
Every leading route to large-scale quantum computing is modular, and a modular machine is only as good as its links. The hardware that makes those links is built one-off, for one kind of machine at a time.
The ambition
We are building the acceptance layer for quantum interconnects. It starts with a standard that decides whether a state that crossed a link is still fit for use. The standard has to hold for every kind of machine: neutral atoms, trapped ions, superconducting circuits. We work with hardware specialists on what sits beneath it.
The posture
The standard is open and vendor-neutral.
Reading: objectivity
- Quantum Darwinism Zurek. Nature Physics 5, 181 (2009).
- Consensus About Classical Reality in a Quantum Universe Touil, Yan and Zurek. arXiv (2025).
- Observation of Quantum Darwinism and the Origin of Classicality with Superconducting Circuits Zhu et al. Science Advances (2025).
- Demystifying Objectivity with Operator Algebra Quantum Error Correction Girard, Cheng and Cao. arXiv (2026).
Reading: contextuality and games
- The Sheaf-Theoretic Structure Of Non-Locality and Contextuality Abramsky and Brandenburger. New Journal of Physics 13, 113036 (2011).
- Contextuality: At the Borders of Paradox Abramsky. In Categories for the Working Philosopher, Oxford University Press (2017).
- An invitation to game comonads Abramsky and Reggio. ACM SIGLOG News (2024).