Graphical Methods in Device-Independent Quantum Cryptography
We introduce a framework for graphical security proofs in device-independent quantum cryptography using the methods of categorical quantum mechanics. We are optimistic that this approach will make some of the highly complex proofs in quantum cryptography more accessible, facilitate the discovery of...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften
2019-05-01
|
| Series: | Quantum |
| Online Access: | https://quantum-journal.org/papers/q-2019-05-27-146/pdf/ |
| _version_ | 1818836618968039424 |
|---|---|
| author | Spencer Breiner Carl A. Miller Neil J. Ross |
| author_facet | Spencer Breiner Carl A. Miller Neil J. Ross |
| author_sort | Spencer Breiner |
| collection | DOAJ |
| description | We introduce a framework for graphical security proofs in device-independent quantum cryptography using the methods of categorical quantum mechanics. We are optimistic that this approach will make some of the highly complex proofs in quantum cryptography more accessible, facilitate the discovery of new proofs, and enable automated proof verification. As an example of our framework, we reprove a previous result from device-independent quantum cryptography: any linear randomness expansion protocol can be converted into an unbounded randomness expansion protocol. We give a graphical proof of this result, and implement part of it in the Globular proof assistant. |
| first_indexed | 2024-12-19T03:09:29Z |
| format | Article |
| id | doaj.art-3695470555334b05890b24d7b0c9b5f4 |
| institution | Directory Open Access Journal |
| issn | 2521-327X |
| language | English |
| last_indexed | 2024-12-19T03:09:29Z |
| publishDate | 2019-05-01 |
| publisher | Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften |
| record_format | Article |
| series | Quantum |
| spelling | doaj.art-3695470555334b05890b24d7b0c9b5f42022-12-21T20:38:03ZengVerein zur Förderung des Open Access Publizierens in den QuantenwissenschaftenQuantum2521-327X2019-05-01314610.22331/q-2019-05-27-14610.22331/q-2019-05-27-146Graphical Methods in Device-Independent Quantum CryptographySpencer BreinerCarl A. MillerNeil J. RossWe introduce a framework for graphical security proofs in device-independent quantum cryptography using the methods of categorical quantum mechanics. We are optimistic that this approach will make some of the highly complex proofs in quantum cryptography more accessible, facilitate the discovery of new proofs, and enable automated proof verification. As an example of our framework, we reprove a previous result from device-independent quantum cryptography: any linear randomness expansion protocol can be converted into an unbounded randomness expansion protocol. We give a graphical proof of this result, and implement part of it in the Globular proof assistant.https://quantum-journal.org/papers/q-2019-05-27-146/pdf/ |
| spellingShingle | Spencer Breiner Carl A. Miller Neil J. Ross Graphical Methods in Device-Independent Quantum Cryptography Quantum |
| title | Graphical Methods in Device-Independent Quantum Cryptography |
| title_full | Graphical Methods in Device-Independent Quantum Cryptography |
| title_fullStr | Graphical Methods in Device-Independent Quantum Cryptography |
| title_full_unstemmed | Graphical Methods in Device-Independent Quantum Cryptography |
| title_short | Graphical Methods in Device-Independent Quantum Cryptography |
| title_sort | graphical methods in device independent quantum cryptography |
| url | https://quantum-journal.org/papers/q-2019-05-27-146/pdf/ |
| work_keys_str_mv | AT spencerbreiner graphicalmethodsindeviceindependentquantumcryptography AT carlamiller graphicalmethodsindeviceindependentquantumcryptography AT neiljross graphicalmethodsindeviceindependentquantumcryptography |