Showing 1–4 of 4 results for author: Fullwood, J

On dynamical measures of quantum information

Authors: James Fullwood, Arthur J. Parzygnat

Abstract: In this work, we use the theory of quantum states over time to define an entropy $S(ρ,\mathcal{E})$ associated with quantum processes $(ρ,\mathcal{E})$, where $ρ$ is a state and $\mathcal{E}$ is a quantum channel responsible for the dynamical evolution of $ρ$. The entropy $S(ρ,\mathcal{E})$ is a generalization of the von Neumann entropy in the sense that $S(ρ,\mathrm{id})=S(ρ)$ (where… ▽ More In this work, we use the theory of quantum states over time to define an entropy $S(ρ,\mathcal{E})$ associated with quantum processes $(ρ,\mathcal{E})$, where $ρ$ is a state and $\mathcal{E}$ is a quantum channel responsible for the dynamical evolution of $ρ$. The entropy $S(ρ,\mathcal{E})$ is a generalization of the von Neumann entropy in the sense that $S(ρ,\mathrm{id})=S(ρ)$ (where $\mathrm{id}$ denotes the identity channel), and is a dynamical analogue of the quantum joint entropy for bipartite states. Such an entropy is then used to define dynamical formulations of the quantum conditional entropy and quantum mutual information, and we show such information measures satisfy many desirable properties, such as a quantum entropic Bayes' rule. We also use our entropy function to quantify the information loss/gain associated with the dynamical evolution of quantum systems, which enables us to formulate a precise notion of information conservation for quantum processes. △ Less

Submitted 21 July, 2023; v1 submitted 2 June, 2023; originally announced June 2023.

Comments: Comments welcome!

On a 2-relative entropy

Authors: James Fullwood

Abstract: We construct a 2-categorical extension of the relative entropy functor of Baez and Fritz, and show that our construction is functorial with respect to vertical morphisms. Moreover, we show such a `2-relative entropy' satisfies natural 2-categorial analogues of convex linearity, vanishing under optimal hypotheses, and lower semicontinuity. While relative entropy is a relative measure of information… ▽ More We construct a 2-categorical extension of the relative entropy functor of Baez and Fritz, and show that our construction is functorial with respect to vertical morphisms. Moreover, we show such a `2-relative entropy' satisfies natural 2-categorial analogues of convex linearity, vanishing under optimal hypotheses, and lower semicontinuity. While relative entropy is a relative measure of information between probability distributions, we view our construction as a relative measure of information between channels. △ Less

Submitted 7 December, 2021; originally announced December 2021.

Comments: No figures (only diagrams)

An axiomatic characterization of mutual information

Authors: James Fullwood

Abstract: We characterize mutual information as the unique map on ordered pairs of random variables satisfying a set of axioms similar to those of Faddeev's characterization of the Shannon entropy. There is a new axiom in our characterization however which has no analogue for Shannon entropy, based on the notion of a Markov triangle, which may be thought of as a composition of communication channels for whi… ▽ More We characterize mutual information as the unique map on ordered pairs of random variables satisfying a set of axioms similar to those of Faddeev's characterization of the Shannon entropy. There is a new axiom in our characterization however which has no analogue for Shannon entropy, based on the notion of a Markov triangle, which may be thought of as a composition of communication channels for which conditional entropy acts functorially. Our proofs are coordinate-free in the sense that no logarithms appear in our calculations. △ Less

Submitted 29 November, 2022; v1 submitted 28 August, 2021; originally announced August 2021.

Comments: No figures, no logarithms

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