Undecidability in resource theory: can you tell theories apart?

• URL: http://arxiv.org/abs/2105.09341v4
• Date: Tue, 18 Jul 2023 14:24:12 GMT
• Title: Undecidability in resource theory: can you tell theories apart?
• Authors: Matteo Scandi and Jacopo Surace
• Abstract summary: 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.
• Score: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: 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.

Related papers

• Choi-Defined Resource Theories [0.0]
  We refer to resource theories exhibiting this property as Choi-defined resource theories. We prove that when such a construction is possible, the free operations are all and only the completely resource non-generating operations.
  arXiv  Detail & Related papers  (2024-02-19T21:51:01Z)
• A new foundation of quantum decision theory [0.0]
  It is assumed that each accessible variable can be seen as a function of a specific inaccessible variable. Two basic assumptions behind the Born rule are 1) the likelihood principle, 2) the actor in question has motivations that can be modeled by a hypothetical perfectly rational higher being.
  arXiv  Detail & Related papers  (2023-10-19T14:08:02Z)
• Connecting classical finite exchangeability to quantum theory [69.62715388742298]
  Exchangeability is a fundamental concept in probability theory and statistics. We show how a de Finetti-like representation theorem for finitely exchangeable sequences requires a mathematical representation which is formally equivalent to quantum theory.
  arXiv  Detail & Related papers  (2023-06-06T17:15:19Z)
• Is there a finite complete set of monotones in any quantum resource theory? [39.58317527488534]
  We show that there does not exist a finite set of resource monotones which completely determines all state transformations. We show that totally ordered theories allow for free transformations between all pure states.
  arXiv  Detail & Related papers  (2022-12-05T18:28:36Z)
• Unifying different notions of quantum incompatibility into a strict hierarchy of resource theories of communication [60.18814584837969]
  We introduce the notion of q-compatibility, which unifies different notions of POVMs, channels, and instruments incompatibility. We are able to pinpoint exactly what each notion of incompatibility consists of, in terms of information-theoretic resources.
  arXiv  Detail & Related papers  (2022-11-16T21:33:31Z)
• Generalized possibilistic Theories: the multipartite experiments problem [0.0]
  The complete axiomatic of Generalized possibilistic Theories is generalized and clarified in the present paper. The problem of bipartite experiments is then addressed as the main skill of this paper.
  arXiv  Detail & Related papers  (2022-07-19T06:34:40Z)
• On a gap in the proof of the generalised quantum Stein's lemma and its consequences for the reversibility of quantum resources [51.243733928201024]
  We show that the proof of the generalised quantum Stein's lemma is not correct due to a gap in the argument leading to Lemma III.9. This puts into question a number of established results in the literature, in particular the reversibility of quantum entanglement.
  arXiv  Detail & Related papers  (2022-05-05T17:46:05Z)
• Resource dependent undecidability: computability landscape of distinct Turing theories [0.0]
  We come up with a novel logical structure to formulate infinitely many problems for any pair of distinct Turing theories. Importantly, a class of other decision problems, such as the Halting one, remains unsolvable in all those theories.
  arXiv  Detail & Related papers  (2021-12-26T09:59:37Z)
• Topological Quantum Gravity of the Ricci Flow [62.997667081978825]
  We present a family of topological quantum gravity theories associated with the geometric theory of the Ricci flow. First, we use BRST quantization to construct a "primitive" topological Lifshitz-type theory for only the spatial metric. We extend the primitive theory by gauging foliation-preserving spacetime symmetries.
  arXiv  Detail & Related papers  (2020-10-29T06:15:30Z)
• A Weaker Faithfulness Assumption based on Triple Interactions [89.59955143854556]
  We propose a weaker assumption that we call $2$-adjacency faithfulness. We propose a sound orientation rule for causal discovery that applies under weaker assumptions.
  arXiv  Detail & Related papers  (2020-10-27T13:04:08Z)
• Sub-bosonic (deformed) ladder operators [62.997667081978825]
  We present a class of deformed creation and annihilation operators that originates from a rigorous notion of fuzziness. This leads to deformed, sub-bosonic commutation relations inducing a simple algebraic structure with modified eigenenergies and Fock states. In addition, we investigate possible consequences of the introduced formalism in quantum field theories, as for instance, deviations from linearity in the dispersion relation for free quasibosons.
  arXiv  Detail & Related papers  (2020-09-10T20:53:58Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.