On the error exponents of binary state discrimination with composite hypotheses

• URL: http://arxiv.org/abs/2011.04645v2
• Date: Wed, 12 May 2021 17:58:17 GMT
• Title: On the error exponents of binary state discrimination with composite hypotheses
• Authors: Mil\'an Mosonyi, Zsombor Szil\'agyi, Mih\'aly Weiner
• Abstract summary: We show that equality may fail for any of the error exponents even in the classical case. We also prove equality for various general classes of state discrimination problems.
• Score: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: The trade-off between the two types of errors in binary state discrimination may be quantified in the asymptotics by various error exponents. In the case of simple i.i.d. hypotheses, each of these exponents is equal to a divergence (pseudo-distance) of the two states. In the case of composite hypotheses, represented by sets of states $R,S$, one always has the inequality $\mathrm{e}(R\|S)\le \mathrm{E}(R\|S)$, where $\mathrm{e}$ is the exponent, $\mathrm{E}$ is the corresponding divergence, and the question is whether equality holds. The relation between the composite exponents and the worst pairwise exponents may be influenced by a number of factors: the type of exponents considered; whether the problem is classical or quantum; the cardinality and the geometric properties of the sets representing the hypotheses; and, on top of the above, possibly whether the underlying Hilbert space is finite- or infinite-dimensional. Our main contribution in this paper is clarifying this landscape considerably: We exhibit explicit examples for hitherto unstudied cases where the above inequality fails to hold with equality, while we also prove equality for various general classes of state discrimination problems. In particular, we show that equality may fail for any of the error exponents even in the classical case, if the system is allowed to be infinite-dimensional, and the alternative hypothesis contains countably infinitely many states. Moreover, we show that in the quantum case strict inequality is the generic behavior in the sense that, starting from any pair of non-commuting density operators of any dimension, and for any of the exponents, it is possible to construct an example with a simple null-hypothesis and an alternative hypothesis consisting of only two states, such that strict inequality holds for the given exponent.

Related papers

• Pure state entanglement and von Neumann algebras [41.94295877935867]
  We develop the theory of local operations and classical communication (LOCC) for bipartite quantum systems represented by commuting von Neumann algebras. Our theorem implies that, in a bipartite system modeled by commuting factors in Haag duality, a) all states have infinite one-shot entanglement if and only if the local factors are not of type I. In the appendix, we provide a self-contained treatment of majorization on semifinite von Neumann algebras and $sigma$-finite measure spaces.
  arXiv  Detail & Related papers  (2024-09-26T11:13:47Z)
• Physical proof of the topological entanglement entropy inequality [0.0]
  Recently it was shown that the topological entanglement entropy (TEE) of a two-dimensional gapped ground state obeys the universal inequality $gamma geq log mathcalD$. Here we present an alternative, more direct proof of this inequality.
  arXiv  Detail & Related papers  (2024-08-08T17:06:23Z)
• Embezzlement of entanglement, quantum fields, and the classification of von Neumann algebras [41.94295877935867]
  We study the quantum information theoretic task of embezzlement of entanglement in the setting of von Neumann algebras. We quantify the performance of a given resource state by the worst-case error. Our findings have implications for relativistic quantum field theory, where type III algebras naturally appear.
  arXiv  Detail & Related papers  (2024-01-14T14:22:54Z)
• Postselected quantum hypothesis testing [9.131273927745731]
  We study a variant of quantum hypothesis testing wherein an additional 'inconclusive measurement outcome' is added. The error probabilities are conditioned on a successful attempt, with inconclusive trials disregarded. We prove that the error exponent of discriminating any two quantum states $rho$ and $sigma$ is given by the Hilbert projective metric $D_max(|sigma) + D_max(sigma | rho)$ in asymmetric hypothesis testing.
  arXiv  Detail & Related papers  (2022-09-21T18:00:00Z)
• Analytical bounds for non-asymptotic asymmetric state discrimination [0.0]
  Asymmetric state discrimination involves minimizing the probability of one type of error, subject to a constraint on the other. We give explicit expressions bounding the set of achievable errors using the trace norm, the fidelity, and the quantum Chernoff bound. Unlike bounds, our bounds give error values instead of exponents, so can give more precise results when applied to finite-copy state discrimination problems.
  arXiv  Detail & Related papers  (2022-07-21T18:21:04Z)
• Super-exponential distinguishability of correlated quantum states [0.0]
  A super-exponential decrease for both types of error probabilities is only possible in the trivial case. We show that a qualitatively different behaviour can occur when there is correlation between the samples.
  arXiv  Detail & Related papers  (2022-03-30T17:49:19Z)
• Stochastic approximate state conversion for entanglement and general quantum resource theories [41.94295877935867]
  An important problem in any quantum resource theory is to determine how quantum states can be converted into each other. Very few results have been presented on the intermediate regime between probabilistic and approximate transformations. We show that these bounds imply an upper bound on the rates for various classes of states under probabilistic transformations. We also show that the deterministic version of the single copy bounds can be applied for drawing limitations on the manipulation of quantum channels.
  arXiv  Detail & Related papers  (2021-11-24T17:29:43Z)
• Scattering data and bound states of a squeezed double-layer structure [77.34726150561087]
  A structure composed of two parallel homogeneous layers is studied in the limit as their widths $l_j$ and $l_j$, and the distance between them $r$ shrinks to zero simultaneously. The existence of non-trivial bound states is proven in the squeezing limit, including the particular example of the squeezed potential in the form of the derivative of Dirac's delta function. The scenario how a single bound state survives in the squeezed system from a finite number of bound states in the finite system is described in detail.
  arXiv  Detail & Related papers  (2020-11-23T14:40:27Z)
• On Localized Discrepancy for Domain Adaptation [146.4580736832752]
  This paper studies the localized discrepancies defined on the hypothesis space after localization. Their values will be different if we exchange the two domains, thus can reveal asymmetric transfer difficulties.
  arXiv  Detail & Related papers  (2020-08-14T08:30:02Z)
• Asymptotic relative submajorization of multiple-state boxes [0.0]
  Pairs of states are the basic objects in the resource theory of asymmetric distinguishability (Wang and Wilde, 2019), where free operations are arbitrary quantum channels that are applied to both states. We consider boxes of a fixed finite number of states and study an extension of the relative submajorization preorder to such objects. This preorder characterizes error probabilities in the case of testing a composite null hypothesis against a simple alternative hypothesis, as well as certain error probabilities in state discrimination.
  arXiv  Detail & Related papers  (2020-07-22T08:29:52Z)
• Statistical and Topological Properties of Sliced Probability Divergences [30.258116496304662]
  We derive various theoretical properties of sliced probability divergences. We show that slicing preserves the metric axioms and the weak continuity of the divergence. We then precise the results in the case where the base divergence belongs to the class of integral probability metrics.
  arXiv  Detail & Related papers  (2020-03-12T13:15:17Z)

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.