Conditional Effects, Observables and Instruments

• URL: http://arxiv.org/abs/2303.15640v1
• Date: Mon, 27 Mar 2023 23:44:19 GMT
• Title: Conditional Effects, Observables and Instruments
• Authors: Stanley Gudder
• Abstract summary: We define the probability that an effect occurs when the system is in a state $rho$ by $P_rho (a)= tr(rho a)$. We then consider L"uders and Holevo operations. We show that two observables $B$ and $C$ are jointly commuting if and only if there exists an atomic observable $A$ such that $B=(Bmid A)$ and $C=(Cmid A)$.
• Score: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: We begin with a study of operations and the effects they measure. We define the probability that an effect $a$ occurs when the system is in a state $\rho$ by $P_\rho (a)= tr(\rho a)$. If $P_\rho (a)\ne 0$ and $\mathcal{I}$ is an operation that measures $a$, we define the conditional probability of an effect $b$ given $a$ relative to $\mathcal{I}$ by \begin{equation*} P_\rho (b\mid a) = tr[\mathcal{I} (\rho )b] /P_\rho (a) \end{equation*} We characterize when Bayes' quantum second rule \begin{equation*} P_\rho (b\mid a)=\frac{P_\rho (b)}{P_\rho (a)}\,P_\rho (a\mid b) \end{equation*} holds. We then consider L\"uders and Holevo operations. We next discuss instruments and the observables they measure. If $A$ and $B$ are observables and an instrument $\mathcal{I}$ measures $A$, we define the observable $B$ conditioned on $A$ relative to $\mathcal{I}$ and denote it by $(B\mid A)$. Using these concepts, we introduce Bayes' quantum first rule. We observe that this is the same as the classical Bayes' first rule, except it depends on the instrument used to measure $A$. We then extend this to Bayes' quantum first rule for expectations. We show that two observables $B$ and $C$ are jointly commuting if and only if there exists an atomic observable $A$ such that $B=(B\mid A)$ and $C=(C\mid A)$. We next obtain a general uncertainty principle for conditioned observables. Finally, we discuss observable conditioned quantum entropies. The theory is illustrated with many examples.

Related papers

• Quantum Channel Conditioning and Measurement Models [0.0]
  We show that $mathcalIc$ is closed under post-processing and taking parts. We also define the conditioning of instruments by channels.
  arXiv  Detail & Related papers  (2024-03-12T23:31:06Z)
• Dimension Independent Disentanglers from Unentanglement and Applications [55.86191108738564]
  We construct a dimension-independent k-partite disentangler (like) channel from bipartite unentangled input. We show that to capture NEXP, it suffices to have unentangled proofs of the form $| psi rangle = sqrta | sqrt1-a | psi_+ rangle where $| psi_+ rangle has non-negative amplitudes.
  arXiv  Detail & Related papers  (2024-02-23T12:22:03Z)
• Mapping the space of quantum expectation values [0.0]
  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$.
  arXiv  Detail & Related papers  (2023-10-19T19:17:42Z)
• Properties of Sequential Products [0.0]
  We define the sequential product $a[mathcalI]b$ of $a$ then $b$. It is observed that $bmapsto a[mathcalI]b$ is an additive, convex morphism. We consider repeatable effects and conditions on $a[mathcalI]b$ that imply commutativity.
  arXiv  Detail & Related papers  (2023-07-30T21:48:07Z)
• Entropy of Quantum Measurements [0.0]
  In Section2, we provide bounds on $S_a(rho )$ and show that if $a+b$ is an effect, then $S_a+b(rho )ge S_a(rho )+S_b(rho )$. In Section3, we employ $S_a(rho )$ to define the $rho$-entropy $S_A(rho )$ for an observable $A$.
  arXiv  Detail & Related papers  (2022-10-27T19:39: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)
• Monogamy of entanglement between cones [68.8204255655161]
  We show that monogamy is not only a feature of quantum theory, but that it characterizes the minimal tensor product of general pairs of convex cones. Our proof makes use of a new characterization of products of simplices up to affine equivalence.
  arXiv  Detail & Related papers  (2022-06-23T16:23:59Z)
• Uncertainties in Quantum Measurements: A Quantum Tomography [52.77024349608834]
  The observables associated with a quantum system $S$ form a non-commutative algebra $mathcal A_S$. It is assumed that a density matrix $rho$ can be determined from the expectation values of observables. Abelian algebras do not have inner automorphisms, so the measurement apparatus can determine mean values of observables.
  arXiv  Detail & Related papers  (2021-12-14T16:29:53Z)
• On the Self-Penalization Phenomenon in Feature Selection [69.16452769334367]
  We describe an implicit sparsity-inducing mechanism based on over a family of kernels. As an application, we use this sparsity-inducing mechanism to build algorithms consistent for feature selection.
  arXiv  Detail & Related papers  (2021-10-12T09:36:41Z)
• 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)

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.