Categories of Br\`egman operations and epistemic (co)monads
- URL: http://arxiv.org/abs/2103.07810v1
- Date: Sat, 13 Mar 2021 23:10:29 GMT
- Title: Categories of Br\`egman operations and epistemic (co)monads
- Authors: Ryszard Pawe{\l} Kostecki
- Abstract summary: We construct a categorical framework for nonlinear postquantum inference, with embeddings of convex closed sets of suitable reflexive Banach spaces as objects.
It provides a nonlinear convex analytic analogue of Chencov's programme of study of categories of linear positive maps between spaces of states.
We show that the bregmanian approach provides some special cases of this setting.
- Score: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We construct a categorical framework for nonlinear postquantum inference,
with embeddings of convex closed sets of suitable reflexive Banach spaces as
objects and pullbacks of Br\`egman quasi-nonexpansive mappings (in particular,
constrained maximisations of Br\`egman relative entropies) as morphisms. It
provides a nonlinear convex analytic analogue of Chencov's programme of
geometric study of categories of linear positive maps between spaces of states,
a working model of Mielnik's nonlinear transmitters, and a setting for
nonlinear resource theories (with monoids of Br\`egman quasi-nonexpansive maps
as free operations, their asymptotic fixed point sets as free sets, and
Br\`egman relative entropies as resource monotones). We construct a range of
concrete examples for semi-finite JBW-algebras and any W*-algebras. Due to
relative entropy's asymmetry, all constructions have left and right versions,
with Legendre duality inducing categorical equivalence between their
well-defined restrictions. Inner groupoids of these categories implement the
notion of statistical equivalence. The hom-sets of a subcategory of morphisms
given by entropic projections have the structure of partially ordered
commutative monoids (so, they are resource theories in Fritz's sense). Further
restriction of objects to affine sets turns Br\`egman relative entropy into a
functor. Finally, following Lawvere's adjointness paradigm for deductive logic,
but with a semantic twist representing Jaynes' and Chencov's views on
statistical inference, we introduce a category-theoretic multi-(co)agent
setting for inductive inference theories, implemented by families of monads and
comonads. We show that the br\`egmanian approach provides some special cases of
this setting.
Related papers
- Intrinsic Bayesian Cramér-Rao Bound with an Application to Covariance Matrix Estimation [49.67011673289242]
This paper presents a new performance bound for estimation problems where the parameter to estimate lies in a smooth manifold.
It induces a geometry for the parameter manifold, as well as an intrinsic notion of the estimation error measure.
arXiv Detail & Related papers (2023-11-08T15:17:13Z) - Enriching Diagrams with Algebraic Operations [49.1574468325115]
We extend diagrammatic reasoning in monoidal categories with algebraic operations and equations.
We show how this construction can be used for diagrammatic reasoning of noise in quantum systems.
arXiv Detail & Related papers (2023-10-17T14:12:39Z) - Effective Rationality for Local Unitary Invariants of Mixed States of
Two Qubits [0.0]
We calculate the field of rational local unitary invariants for mixed states of two qubits.
We prove that this field is rational (i.e. purely transcendental)
We also prove similar statements for the local unitary invariants of symmetric mixed states of two qubits.
arXiv Detail & Related papers (2023-05-25T15:35:34Z) - Mathematical Foundations for a Compositional Account of the Bayesian
Brain [0.0]
We use the tools of contemporary applied category theory to supply functorial semantics for approximate inference.
We define fibrations of statistical games and classify various problems of statistical inference as corresponding sections.
We construct functors which explain the compositional structure of predictive coding neural circuits under the free energy principle.
arXiv Detail & Related papers (2022-12-23T18:58:17Z) - Non-local order parameters for fermion chains via the partial transpose [0.0]
This paper takes up proposals for non-local order parameters defined through anti-unitary symmetries.
For matrix product states, an interpretation of these invariants is provided.
arXiv Detail & Related papers (2022-06-07T13:13:59Z) - Dualities in one-dimensional quantum lattice models: symmetric
Hamiltonians and matrix product operator intertwiners [0.0]
We present a systematic recipe for generating and classifying duality transformations in one-dimensional quantum lattice systems.
Our construction emphasizes the role of global symmetries, including those described by (non)-abelian groups.
We illustrate this approach for known dualities such as Kramers-Wannier, Jordan-Wigner, Kennedy-Tasaki and the IRF-vertex correspondence.
arXiv Detail & Related papers (2021-12-16T18:22:49Z) - GroupifyVAE: from Group-based Definition to VAE-based Unsupervised
Representation Disentanglement [91.9003001845855]
VAE-based unsupervised disentanglement can not be achieved without introducing other inductive bias.
We address VAE-based unsupervised disentanglement by leveraging the constraints derived from the Group Theory based definition as the non-probabilistic inductive bias.
We train 1800 models covering the most prominent VAE-based models on five datasets to verify the effectiveness of our method.
arXiv Detail & Related papers (2021-02-20T09:49:51Z) - Some Hoeffding- and Bernstein-type Concentration Inequalities [47.24550702683417]
We prove concentration inequalities for functions of independent random variables under sub-gaussian and sub-exponential conditions.
The utility of the inequalities is demonstrated by an extension of the now classical method of Rademacher complexities to Lipschitz function classes and unbounded sub-exponential distribution.
arXiv Detail & Related papers (2021-02-11T23:09:13Z) - Diagonal unitary and orthogonal symmetries in quantum theory [1.5229257192293197]
We show that this class of matrices (and maps) encompasses a wide variety of scenarios, thereby unifying their study.
For linear maps, we provide explicit characterizations of the stated covariance in terms of their Kraus, Stinespring, and Choi representations.
We also describe the invariant subspaces of these maps and use their structure to provide necessary and sufficient conditions for separability of the associated invariant bipartite states.
arXiv Detail & Related papers (2020-10-15T17:25:38Z) - Models of zero-range interaction for the bosonic trimer at unitarity [91.3755431537592]
We present the construction of quantum Hamiltonians for a three-body system consisting of identical bosons mutually coupled by a two-body interaction of zero range.
For a large part of the presentation, infinite scattering length will be considered.
arXiv Detail & Related papers (2020-06-03T17:54:43Z) - Generalized string-nets for unitary fusion categories without
tetrahedral symmetry [77.34726150561087]
We present a general construction of the Levin-Wen model for arbitrary multiplicity-free unitary fusion categories.
We explicitly calculate the matrix elements of the Hamiltonian and, furthermore, show that it has the same properties as the original one.
arXiv Detail & Related papers (2020-04-15T12:21:28Z)
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.