Undecidability in resource theory: can you tell theories apart?
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2021
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866918085475172352 |
|---|---|
| author | Scandi, Matteo Surace, Jacopo |
| author_facet | Scandi, Matteo Surace, Jacopo |
| contents | A central question in resource theory is whether one can construct a set of monotones that completely characterise the allowed transitions dictated by a set of free operations. A similar question is whether two distinct sets of free operations generate the same class of transitions. These questions are part of the more general problem of whether it is possible to pass from one characterisation of a resource theory to another. In the present letter we prove that in the context of quantum resource theories this class of problems is undecidable in general. This is done by proving the undecidability of the membership problem for CPTP maps, which subsumes all the other results. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2105_09341 |
| institution | arXiv |
| publishDate | 2021 |
| record_format | arxiv |
| spellingShingle | Undecidability in resource theory: can you tell theories apart? Scandi, Matteo Surace, Jacopo Quantum Physics Mathematical Physics A central question in resource theory is whether one can construct a set of monotones that completely characterise the allowed transitions dictated by a set of free operations. A similar question is whether two distinct sets of free operations generate the same class of transitions. These questions are part of the more general problem of whether it is possible to pass from one characterisation of a resource theory to another. In the present letter we prove that in the context of quantum resource theories this class of problems is undecidable in general. This is done by proving the undecidability of the membership problem for CPTP maps, which subsumes all the other results. |
| title | Undecidability in resource theory: can you tell theories apart? |
| topic | Quantum Physics Mathematical Physics |
| url | https://arxiv.org/abs/2105.09341 |