Fusion and flow: formal protocols to reliably build photonic graph states

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autori principali: de Felice, Giovanni, Poór, Boldizsár, Yeh, Lia, Cashman, William
Natura: Preprint
Pubblicazione: 2024
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866910615142924288
author de Felice, Giovanni
Poór, Boldizsár
Yeh, Lia
Cashman, William
author_facet de Felice, Giovanni
Poór, Boldizsár
Yeh, Lia
Cashman, William
contents Photonics offers a promising platform for implementations of measurement-based quantum computing. Recently proposed fusion-based architectures aim to achieve universality and fault-tolerance. In these approaches, computation is carried out by performing fusion and single-qubit measurements on a resource graph state. The verification of these architectures requires linear algebraic, probabilistic, and control flow structures to be combined in a unified formal language. This paper develops a framework for photonic quantum computing by bringing together linear optics, ZX calculus, and dataflow programming. We characterize fusion measurements that induce Pauli errors and show that they are correctable using a novel flow structure for fusion networks. We prove the correctness of new repeat-until-success protocols for the realization of arbitrary fusions and provide a graph-theoretic proof of universality for linear optics with entangled photon sources. The proposed framework paves the way for the development of compilation algorithms for photonic quantum computing.
format Preprint
id arxiv_https___arxiv_org_abs_2409_13541
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Fusion and flow: formal protocols to reliably build photonic graph states
de Felice, Giovanni
Poór, Boldizsár
Yeh, Lia
Cashman, William
Quantum Physics
Photonics offers a promising platform for implementations of measurement-based quantum computing. Recently proposed fusion-based architectures aim to achieve universality and fault-tolerance. In these approaches, computation is carried out by performing fusion and single-qubit measurements on a resource graph state. The verification of these architectures requires linear algebraic, probabilistic, and control flow structures to be combined in a unified formal language. This paper develops a framework for photonic quantum computing by bringing together linear optics, ZX calculus, and dataflow programming. We characterize fusion measurements that induce Pauli errors and show that they are correctable using a novel flow structure for fusion networks. We prove the correctness of new repeat-until-success protocols for the realization of arbitrary fusions and provide a graph-theoretic proof of universality for linear optics with entangled photon sources. The proposed framework paves the way for the development of compilation algorithms for photonic quantum computing.
title Fusion and flow: formal protocols to reliably build photonic graph states
topic Quantum Physics
url https://arxiv.org/abs/2409.13541