Multi-Observables and Multi-Instruments
- URL: http://arxiv.org/abs/2307.11223v1
- Date: Thu, 20 Jul 2023 20:35:17 GMT
- Title: Multi-Observables and Multi-Instruments
- Authors: Stan Gudder
- Abstract summary: This article introduces the concepts of multi-observables and multi-instruments in quantum mechanics.
Two observables (instruments) have been defined to coexist or be compatible if they possess a joint bi-observable (bi-instrument)
- Score: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: This article introduces the concepts of multi-observables and
multi-instruments in quantum mechanics. A multi-observable $A$
(multi-instrument $\mathcal{I}$) has an outcome space of the form $\Omega
=\Omega _1\times\cdots\times\Omega _n$ and is denoted by $A_{x_1\cdots x_n}$
($\mathcal{I}_{x_1\cdots x_n}$) where $(x_1,\ldots ,x_n)\in\Omega$. We also
call $A$ ($\mathcal{I}$) an $n$-observable ($n$-instrument) and when $n=2$ we
call $A$ ($\mathcal{I}$) a bi-observable (bi-instrument). We point out that
bi-observables $A$ ($\mathcal{I}$) and bi-instruments have been considered in
past literature, but the more general case appears to be new. In particular,
two observables (instruments) have been defined to coexist or be compatible if
they possess a joint bi-observable (bi-instrument). We extend this definition
to $n$ observables and $n$ instruments by considering joint marginals of
$n$-observables and joint reduced marginals of $n$-instruments. We show that a
$n$-instrument measures a unique $n$-observable and if a finite umber of
instruments coexist, then their measured observables coexist. We prove that
there is a close relationship between a nontrivial $n$-observable and its
parts. Moreover, a similar result holds for instruments. We next show that a
natural definition for the tensor product of a finite number of instruments
exist and possess reasonable properties. We then discuss sequential products of
a finite number of observables and instruments. We present various examples
such as Kraus, Holevo and L\"uders instruments.
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) - A Unified Framework for Uniform Signal Recovery in Nonlinear Generative
Compressed Sensing [68.80803866919123]
Under nonlinear measurements, most prior results are non-uniform, i.e., they hold with high probability for a fixed $mathbfx*$ rather than for all $mathbfx*$ simultaneously.
Our framework accommodates GCS with 1-bit/uniformly quantized observations and single index models as canonical examples.
We also develop a concentration inequality that produces tighter bounds for product processes whose index sets have low metric entropy.
arXiv Detail & Related papers (2023-09-25T17:54:19Z) - Conditional Effects, Observables and Instruments [0.0]
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)$.
arXiv Detail & Related papers (2023-03-27T23:44:19Z) - Dual Quantum Instruments and Sub-observables [0.0]
We show that although a dual instruments measures a unique observable, it determines many sub-observables.
Sub-observable effect algebras are characterized and studied.
The sequential product of instruments is discussed.
arXiv Detail & Related papers (2023-02-23T18:58:29Z) - Quantum and classical low-degree learning via a dimension-free Remez
inequality [52.12931955662553]
We show a new way to relate functions on the hypergrid to their harmonic extensions over the polytorus.
We show the supremum of a function $f$ over products of the cyclic group $exp(2pi i k/K)_k=1K$.
We extend to new spaces a recent line of work citeEI22, CHP, VZ22 that gave similarly efficient methods for learning low-degrees on hypercubes and observables on qubits.
arXiv Detail & Related papers (2023-01-04T04:15:40Z) - Dual Instruments and Sequential Products of Observables [0.0]
We show that every operation possesses a unique dual operation and measures an unique effect.
We extend this work to the theory of instruments and observables.
arXiv Detail & Related papers (2022-08-16T19:44:45Z) - Algebraic Aspects of Boundaries in the Kitaev Quantum Double Model [77.34726150561087]
We provide a systematic treatment of boundaries based on subgroups $Ksubseteq G$ with the Kitaev quantum double $D(G)$ model in the bulk.
The boundary sites are representations of a $*$-subalgebra $Xisubseteq D(G)$ and we explicate its structure as a strong $*$-quasi-Hopf algebra.
As an application of our treatment, we study patches with boundaries based on $K=G$ horizontally and $K=e$ vertically and show how these could be used in a quantum computer
arXiv Detail & Related papers (2022-08-12T15:05:07Z) - 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) - Quantum double aspects of surface code models [77.34726150561087]
We revisit the Kitaev model for fault tolerant quantum computing on a square lattice with underlying quantum double $D(G)$ symmetry.
We show how our constructions generalise to $D(H)$ models based on a finite-dimensional Hopf algebra $H$.
arXiv Detail & Related papers (2021-06-25T17:03:38Z) - Finite Quantum Instruments [0.0]
This article considers quantum systems described by a finite-dimensional complex Hilbert space $H$.
We first define the concept of a finite observable on $H$.
We then discuss ways of combining observables in terms of convex combinations, post-processing and sequential products.
arXiv Detail & Related papers (2020-05-27T20:43:07Z)
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.