Mapping the space of quantum expectation values

• URL: http://arxiv.org/abs/2310.13111v1
• Date: Thu, 19 Oct 2023 19:17:42 GMT
• Title: Mapping the space of quantum expectation values
• Authors: Seraphim Jarov and Mark Van Raamsdonk
• Abstract summary: For a quantum system with Hilbert space $cal H$ of dimension $N$, a basic question is to understand the set $E_S subset mathbbRn$ of points $vece$. A related question is to determine whether a given set of expectation values $vec$ lies in $E_S$.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: 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}(\rho {\cal O}_i)$ for an allowed state $\rho$. 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 $\rho({\vec{\beta}}) = e^{-\sum_i \beta_i {\cal O}_i}/{\rm tr}(e^{-\sum_i \beta_i {\cal O}_i})$ for ${\cal O}_i \in S$. In fact, the map $\vec{\beta} \to \vec{E}(\vec{\beta}) = {\rm tr}(\vec{\cal O} \rho({\vec{\beta}}))$ 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{\beta})$ and thus determine a state $\rho({\vec{\beta}(\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{\beta}$ that is guaranteed to converge to $\vec{\beta}(\vec{e})$ in a precise way, with $|\vec{E}(\vec{\beta}(t)) - \vec{e}| = C e^{-t}$.

Related papers

• LevAttention: Time, Space, and Streaming Efficient Algorithm for Heavy Attentions [54.54897832889028]
  We show that for any $K$, there is a universal set" $U subset [n]$ of size independent of $n$, such that for any $Q$ and any row $i$, the large attention scores $A_i,j$ in row $i$ of $A$ all have $jin U$. We empirically show the benefits of our scheme for vision transformers, showing how to train new models that use our universal set while training as well.
  arXiv  Detail & Related papers  (2024-10-07T19:47:13Z)
• Stationary states of boundary driven quantum systems: some exact results [0.40964539027092906]
  We study finite-dimensional open quantum systems whose density matrix evolves via a Lindbladian, $dotrho=-i[H,rho]+mathcal Drho$. We show that any stationary density matrix $barrho$ on the full system which commutes with $H$ must be of the product form $barrho=hatrho_Aotimesrho_B$.
  arXiv  Detail & Related papers  (2024-08-13T13:33:56Z)
• Perfect state transfer on Cayley graphs over a non-abelian group of order $8n$ [0.0]
  We study the existence of perfect state transfer on Cayley graphs $textCay(V_8n, S)$.
  arXiv  Detail & Related papers  (2024-05-03T14:24:51Z)
• Geodesics for mixed quantum states via their geometric mean operator [0.0]
  We examine the geodesic between two mixed states of arbitrary dimension by means of their mean operator. We show how it can be used to construct the intermediate mixed quantum states $rho(s)$ along the base space geodesic parameterized by affine. We give examples for the geodesic between the maximally mixed state and a pure state in arbitrary dimensions, as well as for the geodesic between Werner states $rho(p) = (1-p) I/N + p,|Psiranglelangle Psi|$ with $|Psir
  arXiv  Detail & Related papers  (2024-04-05T14:36:11Z)
• Enlarging the notion of additivity of resource quantifiers [62.997667081978825]
  Given a quantum state $varrho$ and a quantifier $cal E(varrho), it is a hard task to determine $cal E(varrhootimes N)$. We show that the one shot distillable entanglement of certain spherically symmetric states can be quantitatively approximated by such an augmented additivity.
  arXiv  Detail & Related papers  (2022-07-31T00:23:10Z)
• Low-Rank Approximation with $1/\epsilon^{1/3}$ Matrix-Vector Products [58.05771390012827]
  We study iterative methods based on Krylov subspaces for low-rank approximation under any Schatten-$p$ norm. Our main result is an algorithm that uses only $tildeO(k/sqrtepsilon)$ matrix-vector products.
  arXiv  Detail & Related papers  (2022-02-10T16:10:41Z)
• Spectral properties of sample covariance matrices arising from random matrices with independent non identically distributed columns [50.053491972003656]
  It was previously shown that the functionals $texttr(AR(z))$, for $R(z) = (frac1nXXT- zI_p)-1$ and $Ain mathcal M_p$ deterministic, have a standard deviation of order $O(|A|_* / sqrt n)$. Here, we show that $|mathbb E[R(z)] - tilde R(z)|_F
  arXiv  Detail & Related papers  (2021-09-06T14:21:43Z)
• Simplest non-additive measures of quantum resources [77.34726150561087]
  We study measures that can be described by $cal E(rhootimes N) =E(e;N) ne Ne$.
  arXiv  Detail & Related papers  (2021-06-23T20:27:04Z)
• On the Complexity of Minimizing Convex Finite Sums Without Using the Indices of the Individual Functions [62.01594253618911]
  We exploit the finite noise structure of finite sums to derive a matching $O(n2)$-upper bound under the global oracle model. Following a similar approach, we propose a novel adaptation of SVRG which is both emphcompatible with oracles, and achieves complexity bounds of $tildeO(n2+nsqrtL/mu)log (1/epsilon)$ and $O(nsqrtL/epsilon)$, for $mu>0$ and $mu=0$
  arXiv  Detail & Related papers  (2020-02-09T03:39:46Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.