Probability-based approach to hybrid classical-quantum systems of any size: Generalized Gleason and Kraus theorems

TL;DR

This paper develops a comprehensive probability-based framework for hybrid classical-quantum systems, generalizing foundational theorems like Gleason and Kraus to systems of any size and classical-quantum configuration.

Contribution

It introduces a set of axioms for hybrid probability measures, derives a generalized Gleason theorem, and proves a Kraus theorem for hybrid system transformations, extending quantum theory to classical-quantum hybrids.

Findings

Generalized Gleason theorem for hybrid states

Explicit forms of transformations for non-interacting subsystems

Framework applicable to infinite-dimensional quantum systems

Abstract

Hybrid classical-quantum systems are of interest in numerous fields, from quantum chemistry to quantum information science. A fully quantum effective description of them is straightforward to formulate when the classical subsystem is discrete. But it is not obvious how to describe them in the general case. We propose a probability-based approach starting with four axioms for hybrid classical-quantum probability measures that readily generalize the usual ones for classical and quantum probability measures. They apply to discrete and non-discrete classical subsystems and to finite and infinite dimensional quantum subsystems. A generalized Gleason theorem that gives the mathematical form of the corresponding hybrid states is shown. This form simplifies when the classical subsystem probabilities are described by a probability density function with respect to a natural reference measure, for example the familiar Lebesgue measure. We formulate a requirement for the transformations, that is, the finite-time evolutions, of hybrid probability measures analogous to the complete positive assumption for quantum operations. For hybrid systems with reference measure, we prove a generalized Kraus theorem that fully determines the considered transformations provided they are continuous with respect to an appropriate metric. Explicit expressions for these transformations are derived when the classical and quantum subsystems are non-interacting, the classical subsystem is discrete, or the Hilbert space of the quantum subsystem is finite-dimensional. We also discuss the quantification of the correlations between the classical and quantum subsystems and a generalization of the quantum operations usually considered in the study of quantum entanglement.