Inverses, disintegrations, and Bayesian inversion in quantum Markov
categories
- URL: http://arxiv.org/abs/2001.08375v3
- Date: Mon, 28 Dec 2020 01:07:39 GMT
- Title: Inverses, disintegrations, and Bayesian inversion in quantum Markov
categories
- Authors: Arthur J. Parzygnat
- Abstract summary: We introduce quantum Markov categories as a structure that refines and extends a synthetic approach to probability theory and information theory.
We analyze three successively more general notions of reversibility and statistical inference.
- Score: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We introduce quantum Markov categories as a structure that refines and
extends a synthetic approach to probability theory and information theory so
that it includes quantum probability and quantum information theory. In this
broader context, we analyze three successively more general notions of
reversibility and statistical inference: ordinary inverses, disintegrations,
and Bayesian inverses. We prove that each one is a strictly special instance of
the latter for certain subcategories, providing a categorical foundation for
Bayesian inversion as a generalization of reversing a process. We unify the
categorical and $C^*$-algebraic notions of almost everywhere (a.e.)
equivalence. As a consequence, we prove many results including a universal
no-broadcasting theorem for S-positive categories, a generalized Fisher--Neyman
factorization theorem for a.e. modular categories, a relationship between error
correcting codes and disintegrations, and the relationship between Bayesian
inversion and Umegaki's non-commutative sufficiency.
Related papers
- Reversing information flow: retrodiction in semicartesian categories [0.0]
In statistical inference, retrodiction is the act of inferring potential causes in the past based on knowledge of the effects in the present and the dynamics leading to the present.
Recently, an axiomatic definition of retrodiction has been made in a way that is applicable to both classical and quantum probability.
Almost simultaneously, a framework for information flow in in terms of semicartesian categories has been proposed.
arXiv Detail & Related papers (2024-01-30T21:20:26Z) - 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) - A Robustness Analysis of Blind Source Separation [91.3755431537592]
Blind source separation (BSS) aims to recover an unobserved signal from its mixture $X=f(S)$ under the condition that the transformation $f$ is invertible but unknown.
We present a general framework for analysing such violations and quantifying their impact on the blind recovery of $S$ from $X$.
We show that a generic BSS-solution in response to general deviations from its defining structural assumptions can be profitably analysed in the form of explicit continuity guarantees.
arXiv Detail & Related papers (2023-03-17T16:30:51Z) - The principle of majorization: application to random quantum circuits [68.8204255655161]
Three classes of circuits were considered: (i) universal, (ii) classically simulatable, and (iii) neither universal nor classically simulatable.
We verified that all the families of circuits satisfy on average the principle of majorization.
Clear differences appear in the fluctuations of the Lorenz curves associated to states.
arXiv Detail & Related papers (2021-02-19T16:07:09Z) - Fluctuation theorems from Bayesian retrodiction [2.28438857884398]
We show that the reverse channel very naturally arises from Bayesian retrodiction, both in classical and quantum theories.
More generally, with the reverse process constructed on consistent logical inference, fluctuation relations acquire a much broader form and scope.
arXiv Detail & Related papers (2020-09-07T01:42:05Z) - The quasi-particle picture and its breakdown after local quenches:
mutual information, negativity, and reflected entropy [0.0]
We study the dynamics of (R'enyi) mutual information, logarithmic negativity, and (R'enyi) reflected entropy after exciting the ground state by a local operator.
We are able to conjecture a close-knit structure between the three quantities that emerges in states excited above the vacuum.
arXiv Detail & Related papers (2020-08-25T20:47:05Z) - Coupling-based Invertible Neural Networks Are Universal Diffeomorphism
Approximators [72.62940905965267]
Invertible neural networks based on coupling flows (CF-INNs) have various machine learning applications such as image synthesis and representation learning.
Are CF-INNs universal approximators for invertible functions?
We prove a general theorem to show the equivalence of the universality for certain diffeomorphism classes.
arXiv Detail & Related papers (2020-06-20T02:07:37Z) - A non-commutative Bayes' theorem [0.0]
We prove an analogue of Bayes' theorem in the joint classical and quantum context.
We further develop non-commutative almost everywhere equivalence.
We illustrate how the procedure works for several examples relevant to quantum information theory.
arXiv Detail & Related papers (2020-05-08T07:51:01Z) - 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) - The semiring of dichotomies and asymptotic relative submajorization [0.0]
We study quantum dichotomies and the resource theory of asymmetric distinguishability using a generalization of Strassen's theorem on preordered semirings.
We find that an variant of relative submajorization, defined on unnormalized dichotomies, is characterized by real-valued monotones that are multiplicative under the tensor product and additive under the direct sum.
arXiv Detail & Related papers (2020-04-22T14:13:26Z) - Joint measurability meets Birkhoff-von Neumann's theorem [77.34726150561087]
We prove that joint measurability arises as a mathematical feature of DNTs in this context, needed to establish a characterisation similar to Birkhoff-von Neumann's.
We also show that DNTs emerge naturally from a particular instance of a joint measurability problem, remarking its relevance in general operator theory.
arXiv Detail & Related papers (2018-09-19T18:57:45Z)
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.