A convergent inflation hierarchy for quantum causal structures
- URL: http://arxiv.org/abs/2110.14659v3
- Date: Wed, 7 Dec 2022 13:33:06 GMT
- Title: A convergent inflation hierarchy for quantum causal structures
- Authors: Laurens T. Ligthart, Mariami Gachechiladze, David Gross
- Abstract summary: A causal structure is a description of the functional dependencies between random variables.
Inflation techniques associate causal structures to a hierarchy of increasingly strict compatibility tests.
In this paper, we construct a first version of the quantum inflation hierarchy that is provably convergent.
- Score: 1.6758573326215689
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: A causal structure is a description of the functional dependencies between
random variables. A distribution is compatible with a given causal structure if
it can be realized by a process respecting these dependencies. Deciding whether
a distribution is compatible with a structure is a practically and
fundamentally relevant, yet very difficult problem. Only recently has a general
class of algorithms been proposed: These so-called inflation techniques
associate to any causal structure a hierarchy of increasingly strict
compatibility tests, where each test can be formulated as a computationally
efficient convex optimization problem. Remarkably, it has been shown that in
the classical case, this hierarchy is complete in the sense that each
non-compatible distribution will be detected at some level of the hierarchy. An
inflation hierarchy has also been formulated for causal structures that allow
for the observed classical random variables to arise from measurements on
quantum states - however, no proof of completeness of this quantum inflation
hierarchy has been supplied. In this paper, we construct a first version of the
quantum inflation hierarchy that is provably convergent. From a technical point
of view, convergence proofs are built on de Finetti Theorems, which show that
certain symmetries (which can be imposed in convex optimization problems) imply
independence of random variables (which is not directly a convex constraint). A
main technical ingredient to our proof is a Quantum de Finetti Theorem that
holds for general tensor products of $C^*$-algebras, generalizing previous work
that was restricted to minimal tensor products.
Related papers
- A de Finetti theorem for quantum causal structures [0.0]
Similar questions for classical probabilities, quantum states, and quantum channels are beautifully answered by so-called "de Finetti theorems"
We extend the result to processes with arbitrary causal structure, including indefinite causal order and multi-time, non-Markovian processes applicable to noisy quantum devices.
arXiv Detail & Related papers (2024-03-15T14:00:59Z) - 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) - The inflation hierarchy and the polarization hierarchy are complete for
the quantum bilocal scenario [1.9798034349981157]
We show that the quantum inflation hierarchy is complete for the bilocal scenario in the commuting observables model of locality.
We also give a bilocal version of an observation by Tsirelson, namely that in finite dimensions, the commuting observables model and the tensor product model of locality coincide.
arXiv Detail & Related papers (2022-12-21T19:00:09Z) - Inflation: a Python library for classical and quantum causal
compatibility [68.8204255655161]
Inflation is a Python library for assessing whether an observed probability distribution is compatible with a causal explanation.
The library is designed to be modular and with the ability of being ready-to-use, while keeping an easy access to low-level objects for custom modifications.
arXiv Detail & Related papers (2022-11-08T19:00:01Z) - Admissible Causal Structures and Correlations [0.0]
We study limitations on causal structures and correlations imposed by local quantum theory.
For one, we find a necessary graph theoretic criterion--the "siblings-on-cycles" property--for a causal structure to be admissible.
We show that these causal models, in a restricted setting, are indeed consistent.
arXiv Detail & Related papers (2022-10-23T17:33:47Z) - Quantum de Finetti Theorems as Categorical Limits, and Limits of State
Spaces of C*-algebras [0.0]
We show that quantum de Finetti construction has a universal property as a categorical limit.
This allows us to pass canonically between categorical treatments of finite dimensional quantum theory and the infinite dimensional.
We also show that the same categorical analysis also justifies a continuous de Finetti theorem for classical probability.
arXiv Detail & Related papers (2022-07-12T20:51:23Z) - Finite-Function-Encoding Quantum States [52.77024349608834]
We introduce finite-function-encoding (FFE) states which encode arbitrary $d$-valued logic functions.
We investigate some of their structural properties.
arXiv Detail & Related papers (2020-12-01T13:53:23Z) - Causal Expectation-Maximisation [70.45873402967297]
We show that causal inference is NP-hard even in models characterised by polytree-shaped graphs.
We introduce the causal EM algorithm to reconstruct the uncertainty about the latent variables from data about categorical manifest variables.
We argue that there appears to be an unnoticed limitation to the trending idea that counterfactual bounds can often be computed without knowledge of the structural equations.
arXiv Detail & Related papers (2020-11-04T10:25:13Z) - 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) - Provable Online CP/PARAFAC Decomposition of a Structured Tensor via
Dictionary Learning [18.464203215845373]
We consider the problem of factorizing a structured 3-mutation tensor into its constituent Polyadic (CP) factors.
We develop a provable algorithm for structured tensor factorization.
arXiv Detail & Related papers (2020-06-30T00:31:06Z) - Emergence of classical behavior in the early universe [68.8204255655161]
Three notions are often assumed to be essentially equivalent, representing different facets of the same phenomenon.
We analyze them in general Friedmann-Lemaitre- Robertson-Walker space-times through the lens of geometric structures on the classical phase space.
The analysis shows that: (i) inflation does not play an essential role; classical behavior can emerge much more generally; (ii) the three notions are conceptually distinct; classicality can emerge in one sense but not in another.
arXiv Detail & Related papers (2020-04-22T16:38:25Z)
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.