Showing 1–18 of 18 results for author: Parzygnat, A J

Towards structure-preserving quantum encodings

Authors: Arthur J. Parzygnat, Tai-Danae Bradley, Andrew Vlasic, Anh Pham

Abstract: Harnessing the potential computational advantage of quantum computers for machine learning tasks relies on the uploading of classical data onto quantum computers through what are commonly referred to as quantum encodings. The choice of such encodings may vary substantially from one task to another, and there exist only a few cases where structure has provided insight into their design and implemen… ▽ More Harnessing the potential computational advantage of quantum computers for machine learning tasks relies on the uploading of classical data onto quantum computers through what are commonly referred to as quantum encodings. The choice of such encodings may vary substantially from one task to another, and there exist only a few cases where structure has provided insight into their design and implementation, such as symmetry in geometric quantum learning. Here, we propose the perspective that category theory offers a natural mathematical framework for analyzing encodings that respect structure inherent in datasets and learning tasks. We illustrate this with pedagogical examples, which include geometric quantum machine learning, quantum metric learning, topological data analysis, and more. Moreover, our perspective provides a language in which to ask meaningful and mathematically precise questions for the design of quantum encodings and circuits for quantum machine learning tasks. △ Less

Submitted 23 December, 2024; originally announced December 2024.

Comments: 17 pages body, 10 pages back matter; Comments welcome!

Reversing information flow: retrodiction in semicartesian categories

Authors: Arthur J. Parzygnat

Abstract: 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. Retrodiction is applicable even when the dynamics is not reversible, and it agrees with the reverse dynamics when it exists, so that retrodiction may be viewed as an extension of inversion, i.e., time-reversal. Recentl… ▽ More 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. Retrodiction is applicable even when the dynamics is not reversible, and it agrees with the reverse dynamics when it exists, so that retrodiction may be viewed as an extension of inversion, i.e., time-reversal. Recently, an axiomatic definition of retrodiction has been made in a way that is applicable to both classical and quantum probability using ideas from category theory. Almost simultaneously, a framework for information flow in in terms of semicartesian categories has been proposed in the setting of categorical probability theory. Here, we formulate a general definition of retrodiction to add to the information flow axioms in semicartesian categories, thus providing an abstract framework for retrodiction beyond classical and quantum probability theory. More precisely, we extend Bayesian inference, and more generally Jeffrey's probability kinematics, to arbitrary semicartesian categories. △ Less

Submitted 30 January, 2024; originally announced January 2024.

Comments: 20.5 pages + references, some diagrams

From time-reversal symmetry to quantum Bayes' rules

Authors: Arthur J. Parzygnat, James Fullwood

Abstract: Bayes' rule $\mathbb{P}(B|A)\mathbb{P}(A)=\mathbb{P}(A|B)\mathbb{P}(B)$ is one of the simplest yet most profound, ubiquitous, and far-reaching results of classical probability theory, with applications in any field utilizing statistical inference. Many attempts have been made to extend this rule to quantum systems, the significance of which we are only beginning to understand. In this work, we dev… ▽ More Bayes' rule $\mathbb{P}(B|A)\mathbb{P}(A)=\mathbb{P}(A|B)\mathbb{P}(B)$ is one of the simplest yet most profound, ubiquitous, and far-reaching results of classical probability theory, with applications in any field utilizing statistical inference. Many attempts have been made to extend this rule to quantum systems, the significance of which we are only beginning to understand. In this work, we develop a systematic framework for defining Bayes' rule in the quantum setting, and we show that a vast majority of the proposed quantum Bayes' rules appearing in the literature are all instances of our definition. Moreover, our Bayes' rule is based upon a simple relationship between the notions of state over time and a time-reversal symmetry map, both of which are introduced here. △ Less

Submitted 9 March, 2023; v1 submitted 15 December, 2022; originally announced December 2022.

Comments: Some adjustments and organizational changes, typos fixed, new tables added; 24 pages total

Journal ref: PRX Quantum 4, 020334 (2023)

Axioms for retrodiction: achieving time-reversal symmetry with a prior

Authors: Arthur J. Parzygnat, Francesco Buscemi

Abstract: We propose a category-theoretic definition of retrodiction and use it to exhibit a time-reversal symmetry for all quantum channels. We do this by introducing retrodiction families and functors, which capture many intuitive properties that retrodiction should satisfy and are general enough to encompass both classical and quantum theories alike. Classical Bayesian inversion and all rotated and avera… ▽ More We propose a category-theoretic definition of retrodiction and use it to exhibit a time-reversal symmetry for all quantum channels. We do this by introducing retrodiction families and functors, which capture many intuitive properties that retrodiction should satisfy and are general enough to encompass both classical and quantum theories alike. Classical Bayesian inversion and all rotated and averaged Petz recovery maps define retrodiction families in our sense. However, averaged rotated Petz recovery maps, including the universal recovery map of Junge-Renner-Sutter-Wilde-Winter, do not define retrodiction functors, since they fail to satisfy some compositionality properties. Among all the examples we found of retrodiction families, the original Petz recovery map is the only one that defines a retrodiction functor. In addition, retrodiction functors exhibit an inferential time-reversal symmetry consistent with the standard formulation of quantum theory. The existence of such a retrodiction functor seems to be in stark contrast to the many no-go results on time-reversal symmetry for quantum channels. One of the main reasons is because such works defined time-reversal symmetry on the category of quantum channels alone, whereas we define it on the category of quantum channels and quantum states. This fact further illustrates the importance of a prior in time-reversal symmetry. △ Less

Submitted 12 May, 2023; v1 submitted 24 October, 2022; originally announced October 2022.

Journal ref: Quantum 7, 1013 (2023)

On quantum states over time

Authors: James Fullwood, Arthur J. Parzygnat

Abstract: In 2017, D. Horsman, C. Heunen, M. Pusey, J. Barrett, and R. Spekkens proved that there is no physically reasonable assignment that takes a quantum channel and an initial state and produces a joint state on the tensor product of the input and output spaces. The interpretation was that there is a clear distinction between space and time in the quantum setting that is not visible classically, where… ▽ More In 2017, D. Horsman, C. Heunen, M. Pusey, J. Barrett, and R. Spekkens proved that there is no physically reasonable assignment that takes a quantum channel and an initial state and produces a joint state on the tensor product of the input and output spaces. The interpretation was that there is a clear distinction between space and time in the quantum setting that is not visible classically, where in the latter, one can freely use Bayes' theorem to go between joint states and marginals with noisy channels. In this paper, we prove that there actually is such a physically reasonable assignment, bypassing the no-go result of Horsman et al., and we illustrate that this is achievable by restricting the domain of their assignment to a domain which represents the given data more faithfully. △ Less

Submitted 5 July, 2022; v1 submitted 7 February, 2022; originally announced February 2022.

Comments: v3: minor clarifications added

Journal ref: Proc. R. Soc. A. 478: 20220104 (2022)

Bayesian inversion and the Tomita-Takesaki modular group

Authors: Luca Giorgetti, Arthur J. Parzygnat, Alessio Ranallo, Benjamin P. Russo

Abstract: We show that conditional expectations, optimal hypotheses, disintegrations, and adjoints of unital completely positive maps, are all instances of Bayesian inverses. We study the existence of the latter by means of the Tomita-Takesaki modular group and we provide extensions of a theorem of Takesaki as well as a theorem of Accardi and Cecchini to the setting of not necessarily faithful states on fin… ▽ More We show that conditional expectations, optimal hypotheses, disintegrations, and adjoints of unital completely positive maps, are all instances of Bayesian inverses. We study the existence of the latter by means of the Tomita-Takesaki modular group and we provide extensions of a theorem of Takesaki as well as a theorem of Accardi and Cecchini to the setting of not necessarily faithful states on finite-dimensional $C^*$-algebras. △ Less

Submitted 23 January, 2023; v1 submitted 6 December, 2021; originally announced December 2021.

MSC Class: 47A05; 47D03; 81P47

Journal ref: Quart. J. Math. 74 (2023) 975-1014

The information loss of a stochastic map

Authors: James Fullwood, Arthur J. Parzygnat

Abstract: We provide a stochastic extension of the Baez-Fritz-Leinster characterization of the Shannon information loss associated with a measure-preserving function. This recovers the conditional entropy and a closely related information-theoretic measure that we call conditional information loss. Although not functorial, these information measures are semi-functorial, a concept we introduce that is defina… ▽ More We provide a stochastic extension of the Baez-Fritz-Leinster characterization of the Shannon information loss associated with a measure-preserving function. This recovers the conditional entropy and a closely related information-theoretic measure that we call conditional information loss. Although not functorial, these information measures are semi-functorial, a concept we introduce that is definable in any Markov category. We also introduce the notion of an entropic Bayes' rule for information measures, and we provide a characterization of conditional entropy in terms of this rule. △ Less

Submitted 22 December, 2021; v1 submitted 5 July, 2021; originally announced July 2021.

Comments: 31 pages; Typos fixed in Defn 2.12 and the proofs of Prop 4.2 iii) and Prop 6.8 (numbering scheme differs from published version)

MSC Class: 94A17 (Primary); 18A05; 62F15 (Secondary)

Journal ref: Entropy 2021, 23(8), 1021

Noncommutative Differential K-theory

Authors: Byungdo Park, Arthur J. Parzygnat, Corbett Redden, Augusto Stoffel

Abstract: We introduce a differential extension of algebraic K-theory of an algebra using Karoubi's Chern character. In doing so, we develop a necessary theory of secondary transgression forms as well as a differential refinement of the smooth Serre--Swan correspondence. Our construction subsumes the differential K-theory of a smooth manifold when the algebra is complex-valued smooth functions. Furthermore,… ▽ More We introduce a differential extension of algebraic K-theory of an algebra using Karoubi's Chern character. In doing so, we develop a necessary theory of secondary transgression forms as well as a differential refinement of the smooth Serre--Swan correspondence. Our construction subsumes the differential K-theory of a smooth manifold when the algebra is complex-valued smooth functions. Furthermore, our construction fits into a noncommutative differential cohomology hexagon diagram. △ Less

Submitted 22 June, 2021; originally announced June 2021.

Comments: 65 pages

MSC Class: Primary 19L50; Secondary 19D55; 58B34; 58J28

Towards a functorial description of quantum relative entropy

Authors: Arthur J. Parzygnat

Abstract: A Bayesian functorial characterization of the classical relative entropy (KL divergence) of finite probabilities was recently obtained by Baez and Fritz. This was then generalized to standard Borel spaces by Gagné and Panangaden. Here, we provide preliminary calculations suggesting that the finite-dimensional quantum (Umegaki) relative entropy might be characterized in a similar way. Namely, we ex… ▽ More A Bayesian functorial characterization of the classical relative entropy (KL divergence) of finite probabilities was recently obtained by Baez and Fritz. This was then generalized to standard Borel spaces by Gagné and Panangaden. Here, we provide preliminary calculations suggesting that the finite-dimensional quantum (Umegaki) relative entropy might be characterized in a similar way. Namely, we explicitly prove that it defines an affine functor in the special case where the relative entropy is finite. A recent non-commutative disintegration theorem provides a key ingredient in this proof. △ Less

Submitted 9 May, 2021; originally announced May 2021.

Comments: 8 pages, submission to GSI'21 (post-print)

Journal ref: In: Nielsen F., Barbaresco F. (eds) Geometric Science of Information. GSI 2021. Lecture Notes in Computer Science, vol 12829. Springer, Cham., pp 557-564 (2021)

Conditional Distributions for Quantum Systems

Authors: Arthur J. Parzygnat

Abstract: Conditional distributions, as defined by the Markov category framework, are studied in the setting of matrix algebras (quantum systems). Their construction as linear unital maps are obtained via a categorical Bayesian inversion procedure. Simple criteria establishing when such linear maps are positive are obtained. Several examples are provided, including the standard EPR scenario, where the EPR c… ▽ More Conditional distributions, as defined by the Markov category framework, are studied in the setting of matrix algebras (quantum systems). Their construction as linear unital maps are obtained via a categorical Bayesian inversion procedure. Simple criteria establishing when such linear maps are positive are obtained. Several examples are provided, including the standard EPR scenario, where the EPR correlations are reproduced in a purely compositional (categorical) manner. A comparison between the Bayes map, the Petz recovery map, and the Leifer-Spekkens acausal belief propagation is provided, illustrating some similarities and key differences. △ Less

Submitted 12 September, 2021; v1 submitted 2 February, 2021; originally announced February 2021.

Comments: In Proceedings QPL 2021, arXiv:2109.04886

Journal ref: EPTCS 343, 2021, pp. 1-13

A functorial characterization of von Neumann entropy

Authors: Arthur J. Parzygnat

Abstract: Using convex Grothendieck fibrations, we characterize the von Neumann entropy as a functor from finite-dimensional non-commutative probability spaces and state-preserving *-homomorphisms to real numbers. Our axioms reproduce those of Baez, Fritz, and Leinster characterizing the Shannon entropy difference. The existence of disintegrations for classical probability spaces plays a crucial role in our… ▽ More Using convex Grothendieck fibrations, we characterize the von Neumann entropy as a functor from finite-dimensional non-commutative probability spaces and state-preserving *-homomorphisms to real numbers. Our axioms reproduce those of Baez, Fritz, and Leinster characterizing the Shannon entropy difference. The existence of disintegrations for classical probability spaces plays a crucial role in our characterization. △ Less

Submitted 12 May, 2021; v1 submitted 15 September, 2020; originally announced September 2020.

Comments: 30 pages; slightly reorganized and more concise

MSC Class: 18D30; 81P17 (Primary); 18C40; 46L53; 81R15; 94A17 (Secondary)

Journal ref: Cah. Topol. Géom. Différ. Catég. LXIII, 1 (2022), 89-128

A non-commutative Bayes' theorem

Authors: Arthur J. Parzygnat, Benjamin P. Russo

Abstract: Using a diagrammatic reformulation of Bayes' theorem, we provide a necessary and sufficient condition for the existence of Bayesian inference in the setting of finite-dimensional $C^*$-algebras. In other words, we prove an analogue of Bayes' theorem in the joint classical and quantum context. Our analogue is justified by recent advances in categorical probability theory, which have provided an abs… ▽ More Using a diagrammatic reformulation of Bayes' theorem, we provide a necessary and sufficient condition for the existence of Bayesian inference in the setting of finite-dimensional $C^*$-algebras. In other words, we prove an analogue of Bayes' theorem in the joint classical and quantum context. Our analogue is justified by recent advances in categorical probability theory, which have provided an abstract formulation of the classical Bayes' theorem. In the process, we further develop non-commutative almost everywhere equivalence and illustrate its important role in non-commutative Bayesian inversion. The construction of such Bayesian inverses, when they exist, involves solving a positive semidefinite matrix completion problem for the Choi matrix. This gives a solution to the open problem of constructing Bayesian inversion for completely positive unital maps acting on density matrices that do not have full support. We illustrate how the procedure works for several examples relevant to quantum information theory. △ Less

Submitted 8 May, 2020; originally announced May 2020.

Comments: Comments welcome!

MSC Class: 46L53; 81P45 (Primary); 15A83; 46M99; 47B65; 81R15 (Secondary)

Journal ref: Linear Algebra Appl. 644 (2022), pp 28-94

Inverses, disintegrations, and Bayesian inversion in quantum Markov categories

Authors: Arthur J. Parzygnat

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 p… ▽ More 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. △ Less

Submitted 27 December, 2020; v1 submitted 21 January, 2020; originally announced January 2020.

Comments: substantial changes, 91 pages, comments welcome!

Report number: IHES Prepublication no: M/20/01 MSC Class: 62F15; 46L53 (Primary); 81R15; 18D10; 81P45 (Secondary)

Non-commutative disintegrations: existence and uniqueness in finite dimensions

Authors: Arthur J. Parzygnat, Benjamin P. Russo

Abstract: Motivated by advances in categorical probability, we introduce non-commutative almost everywhere (a.e.) equivalence and disintegrations in the setting of C*-algebras. We show that C*-algebras (resp. W*-algebras) and a.e. equivalence classes of 2-positive (resp. positive) unital maps form a category. We prove non-commutative disintegrations are a.e. unique whenever they exist. We provide an explici… ▽ More Motivated by advances in categorical probability, we introduce non-commutative almost everywhere (a.e.) equivalence and disintegrations in the setting of C*-algebras. We show that C*-algebras (resp. W*-algebras) and a.e. equivalence classes of 2-positive (resp. positive) unital maps form a category. We prove non-commutative disintegrations are a.e. unique whenever they exist. We provide an explicit characterization for when disintegrations exist in the setting of finite-dimensional C*-algebras, and we give formulas for the associated disintegrations. △ Less

Submitted 8 May, 2021; v1 submitted 22 July, 2019; originally announced July 2019.

Comments: slight reorganization, 51 pages, comments welcome!

MSC Class: 46L53 (Primary); 47B65; 81R15; 46M15 (Secondary)

Journal ref: J. Noncommut. Geom. 17 (2023), no. 3, pp. 899-955

Stinespring's construction as an adjunction

Authors: Arthur J. Parzygnat

Abstract: Given a representation of a unital $C^*$-algebra $\mathcal{A}$ on a Hilbert space $\mathcal{H}$, together with a bounded linear map $V:\mathcal{K}\to\mathcal{H}$ from some other Hilbert space, one obtains a completely positive map on $\mathcal{A}$ via restriction using the adjoint action associated to $V$. We show this restriction forms a natural transformation from a functor of $C^*$-algebra repr… ▽ More Given a representation of a unital $C^*$-algebra $\mathcal{A}$ on a Hilbert space $\mathcal{H}$, together with a bounded linear map $V:\mathcal{K}\to\mathcal{H}$ from some other Hilbert space, one obtains a completely positive map on $\mathcal{A}$ via restriction using the adjoint action associated to $V$. We show this restriction forms a natural transformation from a functor of $C^*$-algebra representations to a functor of completely positive maps. We exhibit Stinespring's construction as a left adjoint of this restriction. Our Stinespring adjunction provides a universal property associated to minimal Stinespring dilations and morphisms of Stinespring dilations. We use these results to prove the purification postulate for all finite-dimensional $C^*$-algebras. △ Less

Submitted 19 December, 2019; v1 submitted 6 July, 2018; originally announced July 2018.

Comments: 33 pages + appendices

MSC Class: 47A20 (Primary); 18D05; 46L05; 47A67; 81R15 (Secondary)

Journal ref: Compositionality, Volume 1 (2019) (December 20, 2019) compositionality:13505

Discrete probabilistic and algebraic dynamics: a stochastic commutative Gelfand-Naimark Theorem

Authors: Arthur J. Parzygnat

Abstract: We introduce a category of stochastic maps (certain Markov kernels) on compact Hausdorff spaces, construct a stochastic analogue of the Gelfand spectrum functor, and prove a stochastic version of the commutative Gelfand-Naimark Theorem. This relates concepts from algebra and operator theory to concepts from topology and probability theory. For completeness, we review stochastic matrices, their rel… ▽ More We introduce a category of stochastic maps (certain Markov kernels) on compact Hausdorff spaces, construct a stochastic analogue of the Gelfand spectrum functor, and prove a stochastic version of the commutative Gelfand-Naimark Theorem. This relates concepts from algebra and operator theory to concepts from topology and probability theory. For completeness, we review stochastic matrices, their relationship to positive maps on commutative $C^*$-algebras, and the Gelfand-Naimark Theorem. No knowledge of probability theory nor $C^*$-algebras is assumed and several examples are drawn from physics. △ Less

Submitted 4 October, 2017; v1 submitted 31 July, 2017; originally announced August 2017.

Comments: 74 pages, 5 figures, minor edits and clarifications added since v1, comments welcome

MSC Class: 60B05 (Primary) 47B65; 18A40 (Secondary)

From observables and states to Hilbert space and back: a 2-categorical adjunction

Authors: Arthur J. Parzygnat

Abstract: Given a representation of a C*-algebra, thought of as an abstract collection of physical observables, together with a unit vector, one obtains a state on the algebra via restriction. We show that the Gelfand-Naimark-Segal (GNS) construction furnishes a left adjoint of this restriction. To properly formulate this adjoint, it must be viewed as a weak natural transformation, a 1-morphism in a suitabl… ▽ More Given a representation of a C*-algebra, thought of as an abstract collection of physical observables, together with a unit vector, one obtains a state on the algebra via restriction. We show that the Gelfand-Naimark-Segal (GNS) construction furnishes a left adjoint of this restriction. To properly formulate this adjoint, it must be viewed as a weak natural transformation, a 1-morphism in a suitable 2-category, rather than as a functor between categories. Weak naturality encodes the functoriality and the universal property of adjunctions encodes the characterizing features of the GNS construction. Mathematical definitions and results are accompanied by physical interpretations. △ Less

Submitted 23 March, 2018; v1 submitted 28 September, 2016; originally announced September 2016.

Comments: 30 pages + appendix; post-peer-review, pre-copyedit version of an article published in Applied Categorical Structures

MSC Class: 81R15 (Primary) 18D05; 46L30 (Secondary)

Gauge invariant surface holonomy and monopoles

Authors: Arthur J. Parzygnat

Abstract: There are few known computable examples of non-abelian surface holonomy. In this paper, we give several examples whose structure 2-groups are covering 2-groups and show that the surface holonomies can be computed via a simple formula in terms of paths of 1-dimensional holonomies inspired by earlier work of Chan Hong-Mo and Tsou Sheung Tsun on magnetic monopoles. As a consequence of our work and th… ▽ More There are few known computable examples of non-abelian surface holonomy. In this paper, we give several examples whose structure 2-groups are covering 2-groups and show that the surface holonomies can be computed via a simple formula in terms of paths of 1-dimensional holonomies inspired by earlier work of Chan Hong-Mo and Tsou Sheung Tsun on magnetic monopoles. As a consequence of our work and that of Schreiber and Waldorf, this formula gives a rigorous meaning to non-abelian magnetic flux for magnetic monopoles. In the process, we discuss gauge covariance of surface holonomies for spheres for any 2-group, therefore generalizing the notion of the reduced group introduced by Schreiber and Waldorf. Using these ideas, we also prove that magnetic monopoles have an abelian group structure. △ Less

Submitted 27 October, 2015; v1 submitted 25 October, 2014; originally announced October 2014.

Comments: 99 pages, 31 figures (2 are new), v2 is published version, updates include: several points clarified, added Defn 2.33 and 3.37 for markings, statement of smoothness removed from Thm 2.39 and 3.41, proof of Thm 4.13 corrected, proof of Lem 3.46 has been enhanced, appendix on 2-categories removed, index of notation added

MSC Class: Primary 53C29; Secondary 70S15

Journal ref: Theory Appl. Categ., Vol. 30, 2015, No. 42, pp 1319-1428