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

arXiv:1805.04357 · Open Systems & Information Dynamics

Directed-Completeness of Quantum Statistical Experiments in the Randomization Order

Yui Kuramochi

Published Mar 1, 2020• 3 citations
arXivHTMLPDF

Abstract

A parametrized family of normal states on a von Neumann algebra is called a statistical experiment, which generalizes the corresponding concepts in classical statistics and finite-dimensional quantum systems. We introduce randomization preorder and equivalence relations for statistical experiments with a fixed parameter set and for normal channels with a fixed input space by post-processing completely positive channels. In this paper, we prove that the set of equivalence classes of statistical experiments or those of normal channels is an upper and lower directed-complete partially ordered set with respect to the randomization order, i.e. any increasing or decreasing net of statistical experiments or channels has its supremum or infimum in the randomization order. We also show that if the outcome space of each statistical experiment or channel of a randomization-monotone net is commutative, the outcome space of the supremum or infimum can also be taken to be commutative. We consider two examples of homogeneous Markov processes of channels on infinite-dimensional separable Hilbert spaces, namely block-diagonalization with irrational translation and ideal quantum linear amplifier channels, and explicitly derive their infima. Throughout the paper, the concept of channel conjugation is used to obtain results for decreasing channels from those for increasing channels.

DOI
10.1142/s1230161220500031

Related papers

Minimal sufficient statistical experiments on von Neumann algebras

Yui Kuramochi

A statistical experiment on a von Neumann algebra is a parametrized family of normal states on the algebra. This paper introduces the concept of minimal sufficiency for statistical experiments in such operator algebraic situations. We define equivalence relations of statistical experiments indexed by a common parameter set by completely positive or Schwarz coarse-graining and show that any statistical experiment is equivalent to a minimal sufficient statistical experiment unique up to normal isomorphism of outcome algebras. We also establish the relationship between the minimal sufficiency condition for a statistical experiment in this paper and those for subalgebra. These concepts and results are applied to the concatenation relation for completely positive channels with general input and outcome von Neumann algebras. In the case of the quantum-classical channel corresponding to the positive-operator valued measure (POVM), we prove the equivalence of the minimal sufficient condition previously proposed by the author and that in this paper. We also give a characterization of the discreteness of a POVM up to postprocessing equivalence in terms of the corresponding quantum-classical channel.

arXiv:1701.03394•Journal of Mathematical Physics•Jun 1, 2017•7 citations

Entanglement-breaking channels with general outcome operator algebras

Yui Kuramochi

A unit-preserving and completely positive linear map, or a channel, Λ:A→Ain between C*-algebras A and Ain is called entanglement-breaking (EB) if ω◦(Λ⊗idB) is a separable state for any C*-algebra B and any state ω on the injective C*-tensor product Ain⊗B. In this paper, we establish the equivalence of the following conditions for a channel Λ with a quantum input space and with a general outcome C*-algebra, generalizing the known results in finite dimensions: (i) Λ is EB; (ii) Λ has a measurement-prepare form (Holevo form); (iii) n copies of Λ are compatible for all 2 ≤ n < ∞; (iv) countably infinite copies of Λ are compatible. By using this equivalence, we also show that the set of randomization-equivalence classes of normal EB channels with a fixed input von Neumann algebra is upper and lower Dedekind-closed, i.e., the supremum or infimum of any randomization-increasing or decreasing net of EB channels is also EB. As an example, we construct an injective normal EB channel with an arbitrary outcome operator algebra M acting on an infinite-dimensional separable Hilbert space by using the coherent states and the Bargmann measure.

arXiv:1806.05854•Journal of Mathematical Physics•Oct 1, 2018•2 citations

Quantum incompatibility of channels with general outcome operator algebras

Yui Kuramochi

A pair of quantum channels is said to be incompatible if they cannot be realized as marginals of a single channel. This paper addresses the general structure of the incompatibility of completely positive channels with a fixed quantum input space and with general outcome operator algebras. We define a compatibility relation for such channels by identifying the composite outcome space as the maximal (projective) C*-tensor product of outcome algebras. We show theorems that characterize this compatibility relation in terms of the concatenation and conjugation of channels, generalizing the recent result for channels with quantum outcome spaces. These results are applied to the positive operator valued measures (POVMs) by identifying each of them with the corresponding quantum-classical (QC) channel. We also give a characterization of the maximality of a POVM with respect to the post-processing preorder in terms of the conjugate channel of the QC channel. We consider another definition of compatibility of normal channels by identifying the composite outcome space with the normal tensor product of the outcome von Neumann algebras. We prove that for a given normal channel, the class of normally compatible channels is upper bounded by a special class of channels called tensor conjugate channels. We show the inequivalence of the C*- and normal compatibility relations for QC channels, which originates from the possibility and impossibility of copying operations for commutative von Neumann algebras in C*- and normal compatibility relations, respectively.

arXiv:1708.00150•Journal of Mathematical Physics•Apr 1, 2018•15 citations

Infinite dimensionality of the post-processing order of measurements on a general state space

Yui Kuramochi

Abstract For a partially ordered set ( S , ⪯), the order (monotone) dimension is the minimum cardinality of total orders (respectively, real-valued order monotone functions) on S that characterize the order ⪯. In this paper we consider an arbitrary generalized probabilistic theory and the set of finite-outcome measurements on it, which can be described by effect-valued measures, equipped with the classical post-processing orders. We prove that the order and order monotone dimensions of the post-processing order are (countably) infinite if the state space is not a singleton (and is separable in the norm topology). This result gives a negative answer to the open question for quantum measurements posed in (Guff et al 2021 J. Phys. A: Math. Theor. 54 225301). We also consider the quantum post-processing relation of channels with a fixed input quantum system described by a separable Hilbert space H and show that the order (monotone) dimension is countably infinite when dim H ⩾ 2 .

arXiv:2111.14129•Journal of Physics A Mathematical and Theoretical•Oct 12, 2022•0 citations

Randomization theorems for quantum channels

Anna Jenčová

The classical randomization criterion is an important result of statistical decision theory. Recently, a quantum analogue has been proposed, giving equivalent conditions for two sets of quantum states, ensuring existence of a quantum channel mapping one set close to the other, in $L_1$-distance. In the present paper, we extend these concepts in several ways. First, sets of states are replaced by channels and randomization is performed by either post- or pre-composition with another channel. The $L_1$-distance is replaced by the diamond norm. Secondly, the maps are not required to be completely positive, but positivity is given by an admissible family of convex cones. It is shown that the randomization theorems, generalizing both quantum and classical randomization criteria, can be proved in the framework of base section norms, including the diamond norm and its dual. The theory of such norms is developed in the Appendix.

arXiv:1404.3900•Apr 15, 2014•7 citations

Quantum Channel Conditioning and Measurement Models

Stanley Gudder

If $H_1$ and $H_2$ are finite-dimensional Hilbert spaces, a channel from $H_1$ to $H_2$ is a completely positive, linear map $\mathcal{I}$ that takes the set of states $\mathcal{S}(H_1)$ for $H_1$ to the set of states $\mathcal{S}(H_2)$ for $H_2$. Corresponding to $\mathcal{I}$ there is a unique dual map $\mathcal{I}^*$ from the set of effects $\mathcal{E}(H_2)$ for $H_2$ to the set of effects $\mathcal{E}(H_1)$ for $H_1$. We call $\mathcal{I}^*(b)$ the effect $b$ conditioned by $\mathcal{I}$ and the set $\mathcal{I}^c = \mathcal{I}^*(\mathcal{E}(H_2))$ the conditioned set of $\mathcal{I}$. We point out that $\mathcal{I}^c$ is a convex subeffect algebra of the effect algebra $\mathcal{E}(H_1)$. We extend this definition to the conditioning $\mathcal{I}^*(B)$ for an observable $B$ on $H_2$ and say that an observable $A$ is in $\mathcal{I}^c$ if $A=\mathcal{I}^*(B)$ for some observable $B$. We show that $\mathcal{I}^c$ is closed under post-processing and taking parts. We also define the conditioning of instruments by channels. These concepts are illustrated using examples of Holevo instruments and channels. We next discuss measurement models and their corresponding observables and instruments. We show that calculations can be simplified by employing Kraus and Holevo separable channels. Such channels allow one to separate the components of a tensor product.

arXiv:2403.08126•Mar 12, 2024•0 citations
A parametrized family of normal states on a von Neumann algebra is called a statistical experiment, which generalizes the corresponding concepts in classical statistics and finite-dimensional quantum systems. We introduce randomization preorder and equivalence relations for statistical experiments with a fixed parameter set and for normal channels with a fixed input space by post-processing completely positive channels. In this paper, we prove that the set of equivalence classes of statistical experiments or those of normal channels is an upper and lower directed-complete partially ordered set with respect to the randomization order, i.e. any increasing or decreasing net of statistical experiments or channels has its supremum or infimum in the randomization order. We also show that if the outcome space of each statistical experiment or channel of a randomization-monotone net is commutative, the outcome space of the supremum or infimum can also be taken to be commutative. We consider two examples of homogeneous Markov processes of channels on infinite-dimensional separable Hilbert spaces, namely block-diagonalization with irrational translation and ideal quantum linear amplifier channels, and explicitly derive their infima. Throughout the paper, the concept of channel conjugation is used to obtain results for decreasing channels from those for increasing channels.
A statistical experiment on a von Neumann algebra is a parametrized family of normal states on the algebra. This paper introduces the concept of minimal sufficiency for statistical experiments in such operator algebraic situations. We define equivalence relations of statistical experiments indexed by a common parameter set by completely positive or Schwarz coarse-graining and show that any statistical experiment is equivalent to a minimal sufficient statistical experiment unique up to normal isomorphism of outcome algebras. We also establish the relationship between the minimal sufficiency condition for a statistical experiment in this paper and those for subalgebra. These concepts and results are applied to the concatenation relation for completely positive channels with general input and outcome von Neumann algebras. In the case of the quantum-classical channel corresponding to the positive-operator valued measure (POVM), we prove the equivalence of the minimal sufficient condition previously proposed by the author and that in this paper. We also give a characterization of the discreteness of a POVM up to postprocessing equivalence in terms of the corresponding quantum-classical channel.
A unit-preserving and completely positive linear map, or a channel, Λ:A→Ain between C*-algebras A and Ain is called entanglement-breaking (EB) if ω◦(Λ⊗idB) is a separable state for any C*-algebra B and any state ω on the injective C*-tensor product Ain⊗B. In this paper, we establish the equivalence of the following conditions for a channel Λ with a quantum input space and with a general outcome C*-algebra, generalizing the known results in finite dimensions: (i) Λ is EB; (ii) Λ has a measurement-prepare form (Holevo form); (iii) n copies of Λ are compatible for all 2 ≤ n < ∞; (iv) countably infinite copies of Λ are compatible. By using this equivalence, we also show that the set of randomization-equivalence classes of normal EB channels with a fixed input von Neumann algebra is upper and lower Dedekind-closed, i.e., the supremum or infimum of any randomization-increasing or decreasing net of EB channels is also EB. As an example, we construct an injective normal EB channel with an arbitrary outcome operator algebra M acting on an infinite-dimensional separable Hilbert space by using the coherent states and the Bargmann measure.
A pair of quantum channels is said to be incompatible if they cannot be realized as marginals of a single channel. This paper addresses the general structure of the incompatibility of completely positive channels with a fixed quantum input space and with general outcome operator algebras. We define a compatibility relation for such channels by identifying the composite outcome space as the maximal (projective) C*-tensor product of outcome algebras. We show theorems that characterize this compatibility relation in terms of the concatenation and conjugation of channels, generalizing the recent result for channels with quantum outcome spaces. These results are applied to the positive operator valued measures (POVMs) by identifying each of them with the corresponding quantum-classical (QC) channel. We also give a characterization of the maximality of a POVM with respect to the post-processing preorder in terms of the conjugate channel of the QC channel. We consider another definition of compatibility of normal channels by identifying the composite outcome space with the normal tensor product of the outcome von Neumann algebras. We prove that for a given normal channel, the class of normally compatible channels is upper bounded by a special class of channels called tensor conjugate channels. We show the inequivalence of the C*- and normal compatibility relations for QC channels, which originates from the possibility and impossibility of copying operations for commutative von Neumann algebras in C*- and normal compatibility relations, respectively.
Abstract For a partially ordered set ( S , ⪯), the order (monotone) dimension is the minimum cardinality of total orders (respectively, real-valued order monotone functions) on S that characterize the order ⪯. In this paper we consider an arbitrary generalized probabilistic theory and the set of finite-outcome measurements on it, which can be described by effect-valued measures, equipped with the classical post-processing orders. We prove that the order and order monotone dimensions of the post-processing order are (countably) infinite if the state space is not a singleton (and is separable in the norm topology). This result gives a negative answer to the open question for quantum measurements posed in (Guff et al 2021 J. Phys. A: Math. Theor. 54 225301). We also consider the quantum post-processing relation of channels with a fixed input quantum system described by a separable Hilbert space H and show that the order (monotone) dimension is countably infinite when dim H ⩾ 2 .
The classical randomization criterion is an important result of statistical decision theory. Recently, a quantum analogue has been proposed, giving equivalent conditions for two sets of quantum states, ensuring existence of a quantum channel mapping one set close to the other, in L1L_1L1​-distance. In the present paper, we extend these concepts in several ways. First, sets of states are replaced by channels and randomization is performed by either post- or pre-composition with another channel. The L1L_1L1​-distance is replaced by the diamond norm. Secondly, the maps are not required to be completely positive, but positivity is given by an admissible family of convex cones. It is shown that the randomization theorems, generalizing both quantum and classical randomization criteria, can be proved in the framework of base section norms, including the diamond norm and its dual. The theory of such norms is developed in the Appendix.
If H1H_1H1​ and H2H_2H2​ are finite-dimensional Hilbert spaces, a channel from H1H_1H1​ to H2H_2H2​ is a completely positive, linear map I\mathcal{I}I that takes the set of states S(H1)\mathcal{S}(H_1)S(H1​) for H1H_1H1​ to the set of states S(H2)\mathcal{S}(H_2)S(H2​) for H2H_2H2​. Corresponding to I\mathcal{I}I there is a unique dual map I∗\mathcal{I}^*I∗ from the set of effects E(H2)\mathcal{E}(H_2)E(H2​) for H2H_2H2​ to the set of effects E(H1)\mathcal{E}(H_1)E(H1​) for H1H_1H1​. We call I∗(b)\mathcal{I}^*(b)I∗(b) the effect bbb conditioned by I\mathcal{I}I and the set Ic=I∗(E(H2))\mathcal{I}^c = \mathcal{I}^*(\mathcal{E}(H_2))Ic=I∗(E(H2​)) the conditioned set of I\mathcal{I}I. We point out that Ic\mathcal{I}^cIc is a convex subeffect algebra of the effect algebra E(H1)\mathcal{E}(H_1)E(H1​). We extend this definition to the conditioning I∗(B)\mathcal{I}^*(B)I∗(B) for an observable BBB on H2H_2H2​ and say that an observable AAA is in Ic\mathcal{I}^cIc if A=I∗(B)A=\mathcal{I}^*(B)A=I∗(B) for some observable BBB. We show that Ic\mathcal{I}^cIc is closed under post-processing and taking parts. We also define the conditioning of instruments by channels. These concepts are illustrated using examples of Holevo instruments and channels. We next discuss measurement models and their corresponding observables and instruments. We show that calculations can be simplified by employing Kraus and Holevo separable channels. Such channels allow one to separate the components of a tensor product.