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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Citations (Scopus)

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.

Original language	English
Title of host publication	QuNet 2023 - Proceedings of the 1st Workshop on Quantum Networks and Distributed Quantum Computing
Publisher	Association for Computing Machinery, Inc
Pages	7-12
Number of pages	6
ISBN (Electronic)	9798400703065
DOIs	https://doi.org/10.1145/3610251.3610557
Publication status	Published - 10 Sept 2023
Externally published	Yes
Event	1st Workshop on Quantum Networks and Distributed Quantum Computing, QuNet 2023, co-located with SIGCOMM 2023 - New York, United States Duration: 10 Sept 2023 → 10 Sept 2023

Publication series

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

Conference

Conference	1st Workshop on Quantum Networks and Distributed Quantum Computing, QuNet 2023, co-located with SIGCOMM 2023
Country/Territory	United States
City	New York
Period	10/09/23 → 10/09/23

Keywords

entanglement
kleene algebra
quantum networks

Access to Document

10.1145/3610251.3610557

Cite this

Buckley, A., Chuprikov, P., Otoni, R., Rand, R., Soulé, R., & Eugster, P. (2023). Towards an Algebraic Specification of Quantum Networks. In QuNet 2023 - Proceedings of the 1st Workshop on Quantum Networks and Distributed Quantum Computing (pp. 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. pp. 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. in 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, pp. 7-12, 1st Workshop on Quantum Networks and Distributed Quantum Computing, QuNet 2023, co-located with SIGCOMM 2023, New York, United States, 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).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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. In 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

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this