Mapping the space of quantum expectation values

For a quantum system with Hilbert space ${\cal H}$ of dimension $N$ and a set $S$ of $n$ Hermitian operators ${\cal O}_i$, a basic question is to understand the set $E_S \subset \mathbb{R}^n$ of points $\vec{e}$ where $e_i = {\rm tr}(ρ{\cal O}_i)$ for an allowed state $ρ$. A related question is to determine whether a given set of expectation values $\vec{e}$ lies in $E_S$ and in this case to describe the most general state with these expectation values. In this paper, we describe various ways to characterize $E_S$, reviewing basic results that are perhaps not widely known and adding new ones. One important result (originally due to E. Wichmann) is that for a set $S$ of linearly independent traceless operators, every set of expectation values $\vec{e}$ in the interior of $E_S$ is achieved uniquely by a state of the form $ρ({\vecβ}) = e^{-\sum_i β_i {\cal O}_i}/{\rm tr}(e^{-\sum_i β_i {\cal O}_i})$ for ${\cal O}_i \in S$. In fact, the map $\vecβ \to \vec{E}(\vecβ) = {\rm tr}(\vec{\cal O} ρ({\vecβ}))$ is a diffeomorphism from $\mathbb{R}^n$ to the interior of $E_S$ with symmetric, positive Jacobian; using this fact, we provide an algorithm to invert $\vec{E}(\vecβ)$ and thus determine a state $ρ({\vecβ(\vec{e})})$ with specified expectation values $\vec{e}$ provided that these lie in $E_S$. The algorithm is based on defining a first order differential equation in the space of parameters $\vecβ$ that is guaranteed to converge to $\vecβ(\vec{e})$ in a precise way, with $|\vec{E}(\vecβ(t)) - \vec{e}| = C e^{-t}$.

Récupéré en direct depuis OpenAlex et désinversé. Les résumés ne sont pas conservés dans cette base de données : les index inversés représentent 8,6 Go des 9,3 Go de texte de la base, et le serveur dispose de 13 Go libres.