Complexity in Tame Quantum Theories
- URL: http://arxiv.org/abs/2310.01484v2
- Date: Fri, 3 May 2024 13:41:13 GMT
- Title: Complexity in Tame Quantum Theories
- Authors: Thomas W. Grimm, Lorenz Schlechter, Mick van Vliet,
- Abstract summary: We introduce a framework that allows for quantifying the amount of logical information needed to specify a function or set.
We derive the complexity of parameter-dependent physical observables and coupling functions appearing in effective Lagrangians.
- Score: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Inspired by the notion that physical systems can contain only a finite amount of information or complexity, we introduce a framework that allows for quantifying the amount of logical information needed to specify a function or set. We then apply this methodology to a variety of physical systems and derive the complexity of parameter-dependent physical observables and coupling functions appearing in effective Lagrangians. In order to implement these ideas, it is essential to consider physical theories that can be defined in an o-minimal structure. O-minimality, a concept from mathematical logic, encapsulates a tameness principle. It was recently argued that this property is inherent to many known quantum field theories and is linked to the UV completion of the theory. To assign a complexity to each statement in these theories one has to further constrain the allowed o-minimal structures. To exemplify this, we show that many physical systems can be formulated using Pfaffian o-minimal structures, which have a well-established notion of complexity. More generally, we propose adopting sharply o-minimal structures, recently introduced by Binyamini and Novikov, as an overarching framework to measure complexity in quantum theories.
Related papers
- On the Complexity of Quantum Field Theory [0.0]
We show that from minimal assertions, one is naturally led to measure complexity by two integers, called format and degree.
We discuss the physical interpretation of our approach in the context of perturbation theory, symmetries, and the renormalization group.
arXiv Detail & Related papers (2024-10-30T18:00:00Z) - Quantum algorithms: A survey of applications and end-to-end complexities [90.05272647148196]
The anticipated applications of quantum computers span across science and industry.
We present a survey of several potential application areas of quantum algorithms.
We outline the challenges and opportunities in each area in an "end-to-end" fashion.
arXiv Detail & Related papers (2023-10-04T17:53:55Z) - From Goldilocks to Twin Peaks: multiple optimal regimes for quantum
transport in disordered networks [68.8204255655161]
Open quantum systems theory has been successfully applied to predict the existence of environmental noise-assisted quantum transport.
This paper shows that a consistent subset of physically modelled transport networks can have at least two ENAQT peaks in their steady state transport efficiency.
arXiv Detail & Related papers (2022-10-21T10:57:16Z) - Non-standard entanglement structure of local unitary self-dual models as
a saturated situation of repeatability in general probabilistic theories [61.12008553173672]
We show the existence of infinite structures of quantum composite system such that it is self-dual with local unitary symmetry.
We also show the existence of a structure of quantum composite system such that non-orthogonal states in the structure are perfectly distinguishable.
arXiv Detail & Related papers (2021-11-29T23:37:58Z) - Resource theory of quantum uncomplexity [0.5872014229110214]
We prove Brown and Susskind's conjecture that a resource theory of uncomplexity can be defined.
This work unleashes on many-body complexity the resource-theory toolkit from quantum information theory.
arXiv Detail & Related papers (2021-10-21T18:00:01Z) - Quantum realism: axiomatization and quantification [77.34726150561087]
We build an axiomatization for quantum realism -- a notion of realism compatible with quantum theory.
We explicitly construct some classes of entropic quantifiers that are shown to satisfy almost all of the proposed axioms.
arXiv Detail & Related papers (2021-10-10T18:08:42Z) - LQP: The Dynamic Logic of Quantum Information [77.34726150561087]
This paper introduces a dynamic logic formalism for reasoning about information flow in composite quantum systems.
We present a finitary syntax, a relational semantics and a sound proof system for this logic.
As applications, we use our system to give formal correctness for the Teleportation protocol and for a standard Quantum Secret Sharing protocol.
arXiv Detail & Related papers (2021-10-04T12:20:23Z) - A computer scientist's reconstruction of quantum theory [1.52292571922932]
We present a compositional reconstruction of quantum theory that includes infinite-dimensional systems.
This reconstruction is noteworthy for three reasons: it includes no restrictions on the dimension of a system; it allows for both classical, quantum, and mixed systems; and it makes no a priori reference to the structure of the real (or complex) numbers.
arXiv Detail & Related papers (2021-09-22T12:58:20Z) - Causality in Higher Order Process Theories [0.7614628596146599]
We provide an equivalent construction of the HOPT framework from four simple axioms of process-theoretic nature.
We then use the HOPT framework to establish connections between foundational features such as causality, determinism and signalling.
arXiv Detail & Related papers (2021-07-30T12:36:12Z) - Quantum communication complexity beyond Bell nonlocality [87.70068711362255]
Efficient distributed computing offers a scalable strategy for solving resource-demanding tasks.
Quantum resources are well-suited to this task, offering clear strategies that can outperform classical counterparts.
We prove that a new class of communication complexity tasks can be associated to Bell-like inequalities.
arXiv Detail & Related papers (2021-06-11T18:00:09Z) - The complexity of a quantum system and the accuracy of its description [0.0]
The complexity of the quantum state of a multiparticle system is connected by a relation similar to the coordinate-momentum uncertainty relation.
The coefficient in this relation is equal to the maximum number of qubits whose dynamics can be adequately described by quantum theory.
arXiv Detail & Related papers (2021-05-06T09:16:40Z)
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.