dorsal/arxiv
View SchemaA dataflow programming framework for linear optical distributed quantum computing
| Authors | Giovanni de Felice, Boldizsár Poór, Cole Comfort, Lia Yeh, Mateusz Kupper, William Cashman, Bob Coecke |
|---|---|
| Categories | |
| ArXiv ID | 2601.08389vv1 |
| URL | https://arxiv.org/abs/2601.08389 |
| License | http://creativecommons.org/licenses/by/4.0/ |
Abstract
Photonic systems offer a promising platform for interconnecting quantum processors and enabling scalable, networked architectures. Designing and verifying such architectures requires a unified formalism that integrates linear algebraic reasoning with probabilistic and control-flow structures. In this work, we introduce a graphical framework for distributed quantum computing that brings together linear optics, the ZX-calculus, and dataflow programming. Our language supports the formal analysis and optimization of distributed protocols involving both qubits and photonic modes, with explicit interfaces for classical control and feedforward, all expressed within a synchronous dataflow model with discrete-time dynamics. Within this setting, we classify entangling photonic fusion measurements, show how their induced Pauli errors can be corrected via a novel flow structure for fusion networks, and establish correctness proofs for new repeat-until-success protocols enabling arbitrary fusions. Layer by layer, we construct qubit architectures incorporating practical optical components such as beam splitters, switches, and photon sources, with graphical proofs that they are deterministic and support universal quantum computation. Together, these results establish a foundation for verifiable compilation and automated optimization in networked quantum computing.
{
"annotation_id": "dae894ba-2200-4c12-a7c3-ca2e7a434f8e",
"date_created": "2026-02-17T05:53:16.174000Z",
"date_modified": "2026-02-17T05:53:16.174000Z",
"file_hash": "89557eb0d92b53616bb7efa125b715aa5696689a0759d7f567c68e8538a7fb31",
"private": false,
"record": {
"abstract": "Photonic systems offer a promising platform for interconnecting quantum processors and enabling scalable, networked architectures. Designing and verifying such architectures requires a unified formalism that integrates linear algebraic reasoning with probabilistic and control-flow structures. In this work, we introduce a graphical framework for distributed quantum computing that brings together linear optics, the ZX-calculus, and dataflow programming. Our language supports the formal analysis and optimization of distributed protocols involving both qubits and photonic modes, with explicit interfaces for classical control and feedforward, all expressed within a synchronous dataflow model with discrete-time dynamics. Within this setting, we classify entangling photonic fusion measurements, show how their induced Pauli errors can be corrected via a novel flow structure for fusion networks, and establish correctness proofs for new repeat-until-success protocols enabling arbitrary fusions. Layer by layer, we construct qubit architectures incorporating practical optical components such as beam splitters, switches, and photon sources, with graphical proofs that they are deterministic and support universal quantum computation. Together, these results establish a foundation for verifiable compilation and automated optimization in networked quantum computing.",
"arxiv_id": "2601.08389",
"authors": [
"Giovanni de Felice",
"Boldizs\u00e1r Po\u00f3r",
"Cole Comfort",
"Lia Yeh",
"Mateusz Kupper",
"William Cashman",
"Bob Coecke"
],
"categories": [
"quant-ph"
],
"license": "http://creativecommons.org/licenses/by/4.0/",
"title": "A dataflow programming framework for linear optical distributed quantum computing",
"url": "https://arxiv.org/abs/2601.08389",
"version": "v1"
},
"schema_id": "dorsal/arxiv",
"source": {
"execution_id": "264ca366-8eb3-469d-ae62-e8cc82164787",
"id": "arXiv Dataset",
"type": "Model",
"variant": "snapshot-2026-01-17",
"version": "0.1.0"
},
"user_id": 1000002
}