Why quantum state verification cannot be both efficient and secure: a categorical approach
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , , , |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866914200876482560 |
|---|---|
| author | Wiesner, Fabian Chaoui, Ziad Kessler, Diana Pappa, Anna Karvonen, Martti |
| author_facet | Wiesner, Fabian Chaoui, Ziad Kessler, Diana Pappa, Anna Karvonen, Martti |
| contents | The advantage of quantum protocols lies in the inherent properties of the shared quantum states. These states are sometimes provided by sources that are not trusted, and therefore need to be verified. Finding secure and efficient quantum state verification protocols remains a big challenge, and recent works illustrate trade-offs between efficiency and security for different groups of states in restricted settings. However, whether a universal trade-off exists for all quantum states and all verification strategies remains unknown. In this work, we instantiate the categorical composable cryptography framework to show a fundamental limit for quantum state verification for all cut-and-choose approaches used to verify arbitrary quantum states. Our findings show that the prevailing cut-and-choose techniques cannot lead to quantum state verification protocols that are both efficient and secure. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2411_04767 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Why quantum state verification cannot be both efficient and secure: a categorical approach Wiesner, Fabian Chaoui, Ziad Kessler, Diana Pappa, Anna Karvonen, Martti Quantum Physics Cryptography and Security Category Theory The advantage of quantum protocols lies in the inherent properties of the shared quantum states. These states are sometimes provided by sources that are not trusted, and therefore need to be verified. Finding secure and efficient quantum state verification protocols remains a big challenge, and recent works illustrate trade-offs between efficiency and security for different groups of states in restricted settings. However, whether a universal trade-off exists for all quantum states and all verification strategies remains unknown. In this work, we instantiate the categorical composable cryptography framework to show a fundamental limit for quantum state verification for all cut-and-choose approaches used to verify arbitrary quantum states. Our findings show that the prevailing cut-and-choose techniques cannot lead to quantum state verification protocols that are both efficient and secure. |
| title | Why quantum state verification cannot be both efficient and secure: a categorical approach |
| topic | Quantum Physics Cryptography and Security Category Theory |
| url | https://arxiv.org/abs/2411.04767 |