Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Conditional probabilities and density operators in quantum modeling

Myers, J M

Published Jun 8, 2005• 6 citations
OpenAlex

Abstract

Based on a recent proof of free choices in linking equations to the experiments they describe, I clarify relations among some purely mathematical entities featured in quantum mechanics (probabilities, density operators, partial traces, and operator-valued measures), thereby allowing applications of these entities to the modeling of a wider variety of physical situations. Conditional probabilities associated with projection-valued measures are expressed by introducing conditional density operators, identical in some but not all cases to the usual reduced density operators. By lifting density operators to the extended Hilbert space featured in Neumark's theorem, I show an obstacle to extending conditional density operators to arbitrary positive operator-valued measures (POVMs); however, tensor products of POVMs are compatible with conditional density operators. By way of application, conditional density operators together with the free choice of probe particles allow the so-called postulate of state reductions to be replaced by a theorem. A second application demonstrates an equivalence between one form of quantum key distribution and another, allowing a formulation of individual eavesdropping attacks against transmitted-state BB84 to work also for entangled-state BB84.

Related papers

Positive-operator and projection valued measurements in quantum key distribution

Howard E. Brandt

Following a brief review of positive-operator and projection valued measures in quantum mechanics, some applications to quantum key distribution are described. The positive operator valued measure (POVM) can be usefully implemented in a quantum key receiver used in the B92 two-state protocol of quantum key distribution. In this case the measurement is conclusive, at least some of the time. The projection valued (PV) measure is useful in the measurement of a quantum cryptographic entangling probe for tapping quantum key in the BB84 four-state protocol. In the case addressed here, the measurement determines correlations with the measurements made by the legitimate receiver and therewith the maximum information gain by the probe.

Journal of Modern Optics•Nov 10, 2007•1 citation

From density matrix to geometrical phases

Giampiero V. M. Esposito, Giuseppe Marmo, George Sudarshan

The density matrix ρ is defined and its basic properties are derived in detail: ρ is a Hermitian non-negative operator with unit trace, its eigenvalues are non-negative and lie in the closed interval [0, 1]; if ρ is a projector, it projects onto a one-dimensional sub-space, the trace of ρ 2 is ≤ 1, the equality holding only if ρ is a projector. A necessary and sufficient condition for ρ to be a projector is that all vectors in its definition are identical up to a phase. Pure cases are sets that can be described by a state vector, unlike mixtures . The density matrix of a mixture is not a projection operator, and this may be viewed as its distinguishing feature with respect to pure cases. The mean value of an observable can be reexpressed with the help of the density matrix, and a Schrödinger equation for density matrices holds. Last, but not least, pure cases cannot unitarily evolve into mixtures . The applications of the formalism presented in this chapter deal with orientation of spin-½ particles, polarization of pairs of photons, thermal-equilibrium states. In the second part, quantum entanglement is presented, with emphasis on the existence of state vectors for entangled pairs of particles that belong to the tensor product of Hilbert spaces H 1 ⊗ H 2 , but are not of the simple product form ψ 1 ⊗ ψ 2 . The only correct interpretation of such states has a statistical nature, associated to series of repeated measurements performed by two observers on the constituents of the entangled pair. Hidden-variable theories, with the associated Bell inequalities, are introduced, and a way of using entangled quantum states is described which makes it possible to transfer the polarization state of a photon to another photon. This property provides the foundation of the modern investigations of quantum teleportation.

Cambridge University Press eBooks•Mar 11, 2004•0 citations

Introduction to Quantum Theory

Andrei Yu. Khrennikov

This chapter contains a brief introduction to mathematical formalism and QM axiomatics. It is oriented to non-physicists. Since QM is a statistical theory it is natural to start with the classical probability model (Kolmogorov [ 191 ], 1933). Then we present the basics of the theory of Hilbert spaces and Hermitian operators and the representation of pure and mixed states by normalized vectors and density operators. This introduction is sufficient to formulate the axiomatics of QM in the form of five postulates. The projection postulate (the most questionable postulate of QM) is presented in a separate section. We sharply distinguish between the cases of quantum observables represented by Hermitian operators with nondegenerate and degenerate spectra, von Neumann’s and Ltiders’s forms of the projection postulate. The axiomatics is completed by a short section on the main interpretations of QM. The projection postulate (LUders’s form) plays a crucial role in the definition of quantum conditional (transition) probability. By operating with the latter we consider interference of probabilities for two incompatible observables as a modification of the formula of total probability by adding the interference term. This viewpoint to interference of probabilities was elaborated in a series of works by Khrennikov. Since classical probability theory is based on the 142 Boolean algebra of events, a violation of the law of total probability can be treated as the probabilistic sign of a violation of the laws of the Boolean logics. From this viewpoint, quantum theory can be considered as representing a new kind of logic, so-called quantum logic. The latter is also briefly presented in a separate section. We continue this review with a new portion of quantum mathematics, namely the notion of the tensor product of Hilbert spaces and the tensor product of operators. After the section on Dirac’s notation with ket and bra vector, we discuss briefly the notion of qubit and entanglement of a few qubits. This chapter concludes with a presentation of the detailed analysis of the probabilistic structure of the two-slit experiment in a bunch of different experimental contexts. This contextual structure leads to a violation of the law of total probability and non-Kolmogorovean probabilistic structure of this experiment.

•Jul 30, 2020•0 citations

Positive-operator-valued measures in the Hamiltonian formulation of quantum mechanics

D. Arsenović, Nikola Burić, Duska B Popovic +2 more

In the Hilbert space formulation of quantum mechanics, ideal measurements of physical variables are discussed using the spectral theory of Hermitian operators and the corresponding projector-valued measures (PVMs). However, more general types of measurements require the treatment in terms of positive-operator-valued measures (POVMs). In the Hamiltonian formulation of quantum mechanics, canonical coordinates are related to PVM. In this paper the results of an analysis of various aspects of applications of POVMs in the Hamiltonian formulation are reported. Several properties of state parameters and quantum observables given by POVMs or represented in an overcomplete basis, including the general Hamiltonian treatment of the Neumark extension, are presented. An analysis of the phase operator, given by the corresponding POVMs, in the Hilbert space and the Hamiltonian frameworks is also given.

Physical Review A•Jun 12, 2015•4 citations

At the Interface of Algebra and Statistics

Tai-Danae Bradley

This thesis takes inspiration from quantum physics to investigate mathematical structure that lies at the interface of algebra and statistics. The starting point is a passage from classical probability theory to quantum probability theory. The quantum version of a probability distribution is a density operator, the quantum version of marginalizing is an operation called the partial trace, and the quantum version of a marginal probability distribution is a reduced density operator. Every joint probability distribution on a finite set can be modeled as a rank one density operator. By applying the partial trace, we obtain reduced density operators whose diagonals recover classical marginal probabilities. In general, these reduced densities will have rank higher than one, and their eigenvalues and eigenvectors will contain extra information that encodes subsystem interactions governed by statistics. We decode this information, and show it is akin to conditional probability, and then investigate the extent to which the eigenvectors capture "concepts" inherent in the original joint distribution. The theory is then illustrated with an experiment that exploits these ideas. Turning to a more theoretical application, we also discuss a preliminary framework for modeling entailment and concept hierarchy in natural language, namely, by representing expressions in the language as densities. Finally, initial inspiration for this thesis comes from formal concept analysis, which finds many striking parallels with the linear algebra. The parallels are not coincidental, and a common blueprint is found in category theory. We close with an exposition on free (co)completions and how the free-forgetful adjunctions in which they arise strongly suggest that in certain categorical contexts, the "fixed points" of a morphism with its adjoint encode interesting information.

arXiv:2004.05631•Apr 12, 2020•7 citations

Realization of positive-operator-valued measures by projective measurements without introducing ancillary dimensions

Guoming Wang, Mingsheng Ying

We propose a scheme that can realize a class of positive-operator-valued measures (POVMs) by performing a sequence of projective measurements on the original system, in the sense that for an arbitrary input state the probability distribution of the measurement outcomes is faithfully reproduced. A necessary and sufficient condition for a POVM to be realizable in this way is also derived. In contrast to the canonical approach provided by Neumark's theorem, our method has the advantage of requiring no auxiliary system. Moreover, an arbitrary POVM can be realized by utilizing our protocol on an extended space which is formed by adding only a single extra dimension.

arXiv:quant-ph/0608235•Aug 30, 2006•0 citations
Based on a recent proof of free choices in linking equations to the experiments they describe, I clarify relations among some purely mathematical entities featured in quantum mechanics (probabilities, density operators, partial traces, and operator-valued measures), thereby allowing applications of these entities to the modeling of a wider variety of physical situations. Conditional probabilities associated with projection-valued measures are expressed by introducing conditional density operators, identical in some but not all cases to the usual reduced density operators. By lifting density operators to the extended Hilbert space featured in Neumark's theorem, I show an obstacle to extending conditional density operators to arbitrary positive operator-valued measures (POVMs); however, tensor products of POVMs are compatible with conditional density operators. By way of application, conditional density operators together with the free choice of probe particles allow the so-called postulate of state reductions to be replaced by a theorem. A second application demonstrates an equivalence between one form of quantum key distribution and another, allowing a formulation of individual eavesdropping attacks against transmitted-state BB84 to work also for entangled-state BB84.
Following a brief review of positive-operator and projection valued measures in quantum mechanics, some applications to quantum key distribution are described. The positive operator valued measure (POVM) can be usefully implemented in a quantum key receiver used in the B92 two-state protocol of quantum key distribution. In this case the measurement is conclusive, at least some of the time. The projection valued (PV) measure is useful in the measurement of a quantum cryptographic entangling probe for tapping quantum key in the BB84 four-state protocol. In the case addressed here, the measurement determines correlations with the measurements made by the legitimate receiver and therewith the maximum information gain by the probe.
The density matrix ρ is defined and its basic properties are derived in detail: ρ is a Hermitian non-negative operator with unit trace, its eigenvalues are non-negative and lie in the closed interval [0, 1]; if ρ is a projector, it projects onto a one-dimensional sub-space, the trace of ρ 2 is ≤ 1, the equality holding only if ρ is a projector. A necessary and sufficient condition for ρ to be a projector is that all vectors in its definition are identical up to a phase. Pure cases are sets that can be described by a state vector, unlike mixtures . The density matrix of a mixture is not a projection operator, and this may be viewed as its distinguishing feature with respect to pure cases. The mean value of an observable can be reexpressed with the help of the density matrix, and a Schrödinger equation for density matrices holds. Last, but not least, pure cases cannot unitarily evolve into mixtures . The applications of the formalism presented in this chapter deal with orientation of spin-½ particles, polarization of pairs of photons, thermal-equilibrium states. In the second part, quantum entanglement is presented, with emphasis on the existence of state vectors for entangled pairs of particles that belong to the tensor product of Hilbert spaces H 1 ⊗ H 2 , but are not of the simple product form ψ 1 ⊗ ψ 2 . The only correct interpretation of such states has a statistical nature, associated to series of repeated measurements performed by two observers on the constituents of the entangled pair. Hidden-variable theories, with the associated Bell inequalities, are introduced, and a way of using entangled quantum states is described which makes it possible to transfer the polarization state of a photon to another photon. This property provides the foundation of the modern investigations of quantum teleportation.
This chapter contains a brief introduction to mathematical formalism and QM axiomatics. It is oriented to non-physicists. Since QM is a statistical theory it is natural to start with the classical probability model (Kolmogorov [ 191 ], 1933). Then we present the basics of the theory of Hilbert spaces and Hermitian operators and the representation of pure and mixed states by normalized vectors and density operators. This introduction is sufficient to formulate the axiomatics of QM in the form of five postulates. The projection postulate (the most questionable postulate of QM) is presented in a separate section. We sharply distinguish between the cases of quantum observables represented by Hermitian operators with nondegenerate and degenerate spectra, von Neumann’s and Ltiders’s forms of the projection postulate. The axiomatics is completed by a short section on the main interpretations of QM. The projection postulate (LUders’s form) plays a crucial role in the definition of quantum conditional (transition) probability. By operating with the latter we consider interference of probabilities for two incompatible observables as a modification of the formula of total probability by adding the interference term. This viewpoint to interference of probabilities was elaborated in a series of works by Khrennikov. Since classical probability theory is based on the 142 Boolean algebra of events, a violation of the law of total probability can be treated as the probabilistic sign of a violation of the laws of the Boolean logics. From this viewpoint, quantum theory can be considered as representing a new kind of logic, so-called quantum logic. The latter is also briefly presented in a separate section. We continue this review with a new portion of quantum mathematics, namely the notion of the tensor product of Hilbert spaces and the tensor product of operators. After the section on Dirac’s notation with ket and bra vector, we discuss briefly the notion of qubit and entanglement of a few qubits. This chapter concludes with a presentation of the detailed analysis of the probabilistic structure of the two-slit experiment in a bunch of different experimental contexts. This contextual structure leads to a violation of the law of total probability and non-Kolmogorovean probabilistic structure of this experiment.
In the Hilbert space formulation of quantum mechanics, ideal measurements of physical variables are discussed using the spectral theory of Hermitian operators and the corresponding projector-valued measures (PVMs). However, more general types of measurements require the treatment in terms of positive-operator-valued measures (POVMs). In the Hamiltonian formulation of quantum mechanics, canonical coordinates are related to PVM. In this paper the results of an analysis of various aspects of applications of POVMs in the Hamiltonian formulation are reported. Several properties of state parameters and quantum observables given by POVMs or represented in an overcomplete basis, including the general Hamiltonian treatment of the Neumark extension, are presented. An analysis of the phase operator, given by the corresponding POVMs, in the Hilbert space and the Hamiltonian frameworks is also given.
This thesis takes inspiration from quantum physics to investigate mathematical structure that lies at the interface of algebra and statistics. The starting point is a passage from classical probability theory to quantum probability theory. The quantum version of a probability distribution is a density operator, the quantum version of marginalizing is an operation called the partial trace, and the quantum version of a marginal probability distribution is a reduced density operator. Every joint probability distribution on a finite set can be modeled as a rank one density operator. By applying the partial trace, we obtain reduced density operators whose diagonals recover classical marginal probabilities. In general, these reduced densities will have rank higher than one, and their eigenvalues and eigenvectors will contain extra information that encodes subsystem interactions governed by statistics. We decode this information, and show it is akin to conditional probability, and then investigate the extent to which the eigenvectors capture "concepts" inherent in the original joint distribution. The theory is then illustrated with an experiment that exploits these ideas. Turning to a more theoretical application, we also discuss a preliminary framework for modeling entailment and concept hierarchy in natural language, namely, by representing expressions in the language as densities. Finally, initial inspiration for this thesis comes from formal concept analysis, which finds many striking parallels with the linear algebra. The parallels are not coincidental, and a common blueprint is found in category theory. We close with an exposition on free (co)completions and how the free-forgetful adjunctions in which they arise strongly suggest that in certain categorical contexts, the "fixed points" of a morphism with its adjoint encode interesting information.
We propose a scheme that can realize a class of positive-operator-valued measures (POVMs) by performing a sequence of projective measurements on the original system, in the sense that for an arbitrary input state the probability distribution of the measurement outcomes is faithfully reproduced. A necessary and sufficient condition for a POVM to be realizable in this way is also derived. In contrast to the canonical approach provided by Neumark's theorem, our method has the advantage of requiring no auxiliary system. Moreover, an arbitrary POVM can be realized by utilizing our protocol on an extended space which is formed by adding only a single extra dimension.