L\"uders' and quantum Jeffrey's rules as entropic projections

We prove that the standard quantum mechanical description of a quantum state change due to measurement, given by Lueders' rules, is a special case of the constrained maximisation of a quantum relative entropy functional. This result is a quantum analogue of the derivation of the Bayes--Laplace rule as a special case of the constrained maximisation of relative entropy. The proof is provided for the Umegaki relative entropy of density operators over a Hilbert space as well as for the Araki relative entropy of normal states over a W*-algebra. We also introduce a quantum analogue of Jeffrey's rule, derive it in the same way as above, and discuss the meaning of these results for quantum bayesianism

Beyond the Shannon-Khinchin Formulation: The Composability Axiom and the Universal Group Entropy

The notion of entropy is ubiquitous both in natural and social sciences. In the last two decades, a considerable effort has been devoted to the study of new entropic forms, which generalize the standard Boltzmann-Gibbs (BG) entropy and are widely applicable in thermodynamics, quantum mechanics and information theory. In [23], by extending previous ideas of Shannon [38], [39], Khinchin proposed an axiomatic definition of the BG entropy, based on four requirements, nowadays known as the Shannon-Khinchin (SK) axioms. The purpose of this paper is twofold. First, we show that there exists an intrinsic group-theoretical structure behind the notion of entropy. It comes from the requirement of composability of an entropy with respect to the union of two statistically independent subsystems, that we propose in an axiomatic formulation. Second, we show that there exists a simple universal class of admissible entropies. This class contains many well known examples of entropies and infinitely many new ones, a priori multi-parametric. Due to its specific relation with the universal formal group, the new family of entropies introduced in this work will be called the universal-group entropy. A new example of multi-parametric entropy is explicitly constructed.Comment: Extended version; 25 page

On the Galoisian Structure of Heisenberg Indeterminacy Principle

We revisit Heisenberg indeterminacy principle in the light of the Galois-Grothendieck theory for the case of finite abelian Galois extensions. In this restricted framework, the Galois-Grothendieck duality between finite K-algebras split by a Galois extension L and finite Gal(L:K)-sets can be reformulated as a Pontryagin-like duality between two abelian groups. We then define a Galoisian quantum theory in which the Heisenberg indeterminacy principle between conjugate canonical variables can be understood as a form of Galoisian duality: the larger the group of automorphisms H (a subgroup of G) of the states in a G-set O = G/H, the smaller the ``conjugate'' observable algebra that can be consistently valuated on such states. We then argue that this Galois indeterminacy principle can be understood as a particular case of the Heisenberg indeterminacy principle formulated in terms of the notion of entropic indeterminacy. Finally, we argue that states endowed with a group of automorphisms H can be interpreted as squeezed coherent states, i.e. as states that minimize the Heisenberg indeterminacy relations

Approximate tensorization of the relative entropy for noncommuting conditional expectations

In this paper, we derive a new generalisation of the strong subadditivity of the entropy to the setting of general conditional expectations onto arbitrary finite-dimensional von Neumann algebras. The latter inequality, which we call approximate tensorization of the relative entropy, can be expressed as a lower bound for the sum of relative entropies between a given density and its respective projections onto two intersecting von Neumann algebras in terms of the relative entropy between the same density and its projection onto an algebra in the intersection, up to multiplicative and additive constants. In particular, our inequality reduces to the so-called quasi-factorization of the entropy for commuting algebras, which is a key step in modern proofs of the logarithmic Sobolev inequality for classical lattice spin systems. We also provide estimates on the constants in terms of conditions of clustering of correlations in the setting of quantum lattice spin systems. Along the way, we show the equivalence between conditional expectations arising from Petz recovery maps and those of general Davies semigroups.Comment: 31 page