Graphical calculus for quantum key distribution (Extended Abstract)

Bob Coecke; Quanlong Wang; Baoshan Wang; Yongjun Wang; Qiye Zhang

doi:10.1016/j.entcs.2011.01.034

Graphical calculus for quantum key distribution (Extended Abstract)

Bob Coecke^*
, Quanlong Wang
, Baoshan Wang
, Yongjun Wang
, Qiye Zhang

^*Corresponding author for this work

School of Mathematical Sciences

Research output: Contribution to journal › Article › peer-review

12 Scopus citations

Abstract

Controlled complementary measurements are key to quantum key distribution protocols, among many other things. We axiomatize controlled complementary measurements within symmetric monoidal categories, which provides them with a corresponding graphical calculus. We study the BB84 and Ekert91 protocols within this calculus, including the case where there is an intercept-resend attack.

Original language	English
Pages (from-to)	231-249
Number of pages	19
Journal	Electronic Notes in Theoretical Computer Science
Volume	270
Issue number	2
DOIs	https://doi.org/10.1016/j.entcs.2011.01.034
State	Published - 14 Feb 2011

Keywords

categorical semantics
complementary observables
graphical calculus
quantum key distribution

Access to Document

10.1016/j.entcs.2011.01.034

Cite this

@article{3e4c9c7beab94e73b4e89aba341b0500,

title = "Graphical calculus for quantum key distribution (Extended Abstract)",

abstract = "Controlled complementary measurements are key to quantum key distribution protocols, among many other things. We axiomatize controlled complementary measurements within symmetric monoidal categories, which provides them with a corresponding graphical calculus. We study the BB84 and Ekert91 protocols within this calculus, including the case where there is an intercept-resend attack.",

keywords = "categorical semantics, complementary observables, graphical calculus, quantum key distribution",

author = "Bob Coecke and Quanlong Wang and Baoshan Wang and Yongjun Wang and Qiye Zhang",

year = "2011",

month = feb,

day = "14",

doi = "10.1016/j.entcs.2011.01.034",

language = "英语",

volume = "270",

pages = "231--249",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier B.V.",

number = "2",

}

TY - JOUR

T1 - Graphical calculus for quantum key distribution (Extended Abstract)

AU - Coecke, Bob

AU - Wang, Quanlong

AU - Wang, Baoshan

AU - Wang, Yongjun

AU - Zhang, Qiye

PY - 2011/2/14

Y1 - 2011/2/14

N2 - Controlled complementary measurements are key to quantum key distribution protocols, among many other things. We axiomatize controlled complementary measurements within symmetric monoidal categories, which provides them with a corresponding graphical calculus. We study the BB84 and Ekert91 protocols within this calculus, including the case where there is an intercept-resend attack.

AB - Controlled complementary measurements are key to quantum key distribution protocols, among many other things. We axiomatize controlled complementary measurements within symmetric monoidal categories, which provides them with a corresponding graphical calculus. We study the BB84 and Ekert91 protocols within this calculus, including the case where there is an intercept-resend attack.

KW - categorical semantics

KW - complementary observables

KW - graphical calculus

KW - quantum key distribution

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

U2 - 10.1016/j.entcs.2011.01.034

DO - 10.1016/j.entcs.2011.01.034

M3 - 文章

AN - SCOPUS:79751474370

SN - 1571-0661

VL - 270

SP - 231

EP - 249

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 2

ER -

Graphical calculus for quantum key distribution (Extended Abstract)

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this