Towards an Algebraic Specification of Quantum Networks

Anita Buckley; Pavel Chuprikov; Rodrigo Otoni; Robert Rand; Robert Soulé; Patrick Eugster

doi:10.1145/3610251.3610557

Towards an Algebraic Specification of Quantum Networks

Anita Buckley
, Pavel Chuprikov
, Rodrigo Otoni
, Robert Rand
, Robert Soulé
, Patrick Eugster

University of Lugano
University of Chicago
Yale University

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

Résumé

The main attributes of quantum networks are the utilization of quantum phenomena, security guarantees, and availability of their main quantum resource - entanglement. The fundamental differences between classical and quantum information will require joint efforts in physics, engineering and computer science to make quantum networks functional and scalable. A common language must be established between the hardware and software community. We envision a foundational model for quantum network programming languages. Such a model should contain the essential constructs for programming quantum networks, allow for specification and verification of end-to-end entanglement distribution, and provide guidelines for composing network protocols.

langue originale	Anglais
titre	QuNet 2023 - Proceedings of the 1st Workshop on Quantum Networks and Distributed Quantum Computing
Editeur	Association for Computing Machinery, Inc
Pages	7-12
Nombre de pages	6
ISBN (Electronique)	9798400703065
Les DOIs	https://doi.org/10.1145/3610251.3610557
état	Publié - 10 sept. 2023
Modification externe	Oui
Evénement	1st Workshop on Quantum Networks and Distributed Quantum Computing, QuNet 2023, co-located with SIGCOMM 2023 - New York, États-Unis Durée: 10 sept. 2023 → 10 sept. 2023

Série de publications

Nom	QuNet 2023 - Proceedings of the 1st Workshop on Quantum Networks and Distributed Quantum Computing

Une conférence

Une conférence	1st Workshop on Quantum Networks and Distributed Quantum Computing, QuNet 2023, co-located with SIGCOMM 2023
Pays/Territoire	États-Unis
La ville	New York
période	10/09/23 → 10/09/23

Accès au document

10.1145/3610251.3610557

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

Buckley, A., Chuprikov, P., Otoni, R., Rand, R., Soulé, R., & Eugster, P. (2023). Towards an Algebraic Specification of Quantum Networks. Dans QuNet 2023 - Proceedings of the 1st Workshop on Quantum Networks and Distributed Quantum Computing (p. 7-12). (QuNet 2023 - Proceedings of the 1st Workshop on Quantum Networks and Distributed Quantum Computing). Association for Computing Machinery, Inc. https://doi.org/10.1145/3610251.3610557

Buckley, Anita ; Chuprikov, Pavel ; Otoni, Rodrigo et al. / Towards an Algebraic Specification of Quantum Networks. QuNet 2023 - Proceedings of the 1st Workshop on Quantum Networks and Distributed Quantum Computing. Association for Computing Machinery, Inc, 2023. p. 7-12 (QuNet 2023 - Proceedings of the 1st Workshop on Quantum Networks and Distributed Quantum Computing).

@inproceedings{947291e04c5f4895b8de28dc4ce74f62,

title = "Towards an Algebraic Specification of Quantum Networks",

abstract = "The main attributes of quantum networks are the utilization of quantum phenomena, security guarantees, and availability of their main quantum resource - entanglement. The fundamental differences between classical and quantum information will require joint efforts in physics, engineering and computer science to make quantum networks functional and scalable. A common language must be established between the hardware and software community. We envision a foundational model for quantum network programming languages. Such a model should contain the essential constructs for programming quantum networks, allow for specification and verification of end-to-end entanglement distribution, and provide guidelines for composing network protocols.",

keywords = "entanglement, kleene algebra, quantum networks",

author = "Anita Buckley and Pavel Chuprikov and Rodrigo Otoni and Robert Rand and Robert Soul{\'e} and Patrick Eugster",

note = "Publisher Copyright: {\textcopyright} 2023 ACM.; 1st Workshop on Quantum Networks and Distributed Quantum Computing, QuNet 2023, co-located with SIGCOMM 2023 ; Conference date: 10-09-2023 Through 10-09-2023",

year = "2023",

month = sep,

day = "10",

doi = "10.1145/3610251.3610557",

language = "English",

series = "QuNet 2023 - Proceedings of the 1st Workshop on Quantum Networks and Distributed Quantum Computing",

publisher = "Association for Computing Machinery, Inc",

pages = "7--12",

booktitle = "QuNet 2023 - Proceedings of the 1st Workshop on Quantum Networks and Distributed Quantum Computing",

}

Buckley, A, Chuprikov, P, Otoni, R, Rand, R, Soulé, R & Eugster, P 2023, Towards an Algebraic Specification of Quantum Networks. Dans QuNet 2023 - Proceedings of the 1st Workshop on Quantum Networks and Distributed Quantum Computing. QuNet 2023 - Proceedings of the 1st Workshop on Quantum Networks and Distributed Quantum Computing, Association for Computing Machinery, Inc, p. 7-12, 1st Workshop on Quantum Networks and Distributed Quantum Computing, QuNet 2023, co-located with SIGCOMM 2023, New York, États-Unis, 10/09/23. https://doi.org/10.1145/3610251.3610557

Towards an Algebraic Specification of Quantum Networks. / Buckley, Anita; Chuprikov, Pavel; Otoni, Rodrigo et al.
QuNet 2023 - Proceedings of the 1st Workshop on Quantum Networks and Distributed Quantum Computing. Association for Computing Machinery, Inc, 2023. p. 7-12 (QuNet 2023 - Proceedings of the 1st Workshop on Quantum Networks and Distributed Quantum Computing).

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

TY - GEN

T1 - Towards an Algebraic Specification of Quantum Networks

AU - Buckley, Anita

AU - Chuprikov, Pavel

AU - Otoni, Rodrigo

AU - Rand, Robert

AU - Soulé, Robert

AU - Eugster, Patrick

PY - 2023/9/10

Y1 - 2023/9/10

N2 - The main attributes of quantum networks are the utilization of quantum phenomena, security guarantees, and availability of their main quantum resource - entanglement. The fundamental differences between classical and quantum information will require joint efforts in physics, engineering and computer science to make quantum networks functional and scalable. A common language must be established between the hardware and software community. We envision a foundational model for quantum network programming languages. Such a model should contain the essential constructs for programming quantum networks, allow for specification and verification of end-to-end entanglement distribution, and provide guidelines for composing network protocols.

AB - The main attributes of quantum networks are the utilization of quantum phenomena, security guarantees, and availability of their main quantum resource - entanglement. The fundamental differences between classical and quantum information will require joint efforts in physics, engineering and computer science to make quantum networks functional and scalable. A common language must be established between the hardware and software community. We envision a foundational model for quantum network programming languages. Such a model should contain the essential constructs for programming quantum networks, allow for specification and verification of end-to-end entanglement distribution, and provide guidelines for composing network protocols.

KW - entanglement

KW - kleene algebra

KW - quantum networks

UR - https://www.scopus.com/pages/publications/85172939328

U2 - 10.1145/3610251.3610557

DO - 10.1145/3610251.3610557

M3 - Conference contribution

AN - SCOPUS:85172939328

T3 - QuNet 2023 - Proceedings of the 1st Workshop on Quantum Networks and Distributed Quantum Computing

SP - 7

EP - 12

BT - QuNet 2023 - Proceedings of the 1st Workshop on Quantum Networks and Distributed Quantum Computing

PB - Association for Computing Machinery, Inc

T2 - 1st Workshop on Quantum Networks and Distributed Quantum Computing, QuNet 2023, co-located with SIGCOMM 2023

Y2 - 10 September 2023 through 10 September 2023

ER -

Buckley A, Chuprikov P, Otoni R, Rand R, Soulé R, Eugster P. Towards an Algebraic Specification of Quantum Networks. Dans QuNet 2023 - Proceedings of the 1st Workshop on Quantum Networks and Distributed Quantum Computing. Association for Computing Machinery, Inc. 2023. p. 7-12. (QuNet 2023 - Proceedings of the 1st Workshop on Quantum Networks and Distributed Quantum Computing). doi: 10.1145/3610251.3610557

Towards an Algebraic Specification of Quantum Networks

Résumé

Série de publications

Une conférence

Accès au document

Autres fichiers et liens

Empreinte digitale

Contient cette citation