Error bounds for composite quantum hypothesis testing and a new characterization of the weighted Kubo-Ando geometric means

• URL: http://arxiv.org/abs/2503.13379v3
• Date: Thu, 17 Apr 2025 13:32:39 GMT
• Title: Error bounds for composite quantum hypothesis testing and a new characterization of the weighted Kubo-Ando geometric means
• Authors: Péter E. Frenkel, Milán Mosonyi, Péter Vrana, Mihály Weiner,
• Abstract summary: We show that in the commutative case, considering weighted geometric means of the states, and in the case of two states per hypothesis, are optimal for this approach.<n>We also extend our results to composite quantum channel discrimination, and show an analogous optimality property of the weighted Kubo-Ando geometric means of two quantum channels.
• Score: 14.374467687356281
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: The optimal error exponents of binary composite i.i.d. state discrimination are trivially bounded by the worst-case pairwise exponents of discriminating individual elements of the sets representing the two hypotheses, and in the finite-dimensional classical case, these bounds in fact give exact single-copy expressions for the error exponents. In contrast, in the non-commutative case, the optimal exponents are only known to be expressible in terms of regularized divergences, resulting in formulas that, while conceptually relevant, practically not very useful. In this paper, we develop further an approach initiated in [Mosonyi, Szil\'agyi, Weiner, IEEE Trans. Inf. Th. 68(2):1032--1067, 2022] to give improved single-copy bounds on the error exponents by comparing not only individual states from the two hypotheses, but also various unnormalized positive semi-definite operators associated to them. Here, we show a number of equivalent characterizations of such operators giving valid bounds, and show that in the commutative case, considering weighted geometric means of the states, and in the case of two states per hypothesis, considering weighted Kubo-Ando geometric means, are optimal for this approach. As a result, we give a new characterization of the weighted Kubo-Ando geometric means as the only $2$-variable operator geometric means that are block additive, tensor multiplicative, and satisfy the arithmetic-geometric mean inequality. We also extend our results to composite quantum channel discrimination, and show an analogous optimality property of the weighted Kubo-Ando geometric means of two quantum channels, a notion that seems to be new. We extend this concept to defining the notion of superoperator perspective function and establish some of its basic properties, which may be of independent interest.

Related papers

• Topological nature of edge states for one-dimensional systems without symmetry protection [46.87902365052209]
  We numerically verify and analytically prove a winding number invariant that correctly predicts the number of edge states in one-dimensional, nearest-neighbour (between unit cells) Our invariant is invariant under unitary and similarity transforms.
  arXiv  Detail & Related papers  (2024-12-13T19:44:54Z)
• Eigenvalues asymptotics of unbounded operators. Two-photon quantum Rabi model [0.0]
  We consider different cases of compact, relatively compact, selfadjoint or nonselfadjoint perturbations. We give an original proof of the Perelomov factorization theorem for operator of quantum optics.
  arXiv  Detail & Related papers  (2023-12-09T19:27:20Z)
• Intrinsic Bayesian Cramér-Rao Bound with an Application to Covariance Matrix Estimation [49.67011673289242]
  This paper presents a new performance bound for estimation problems where the parameter to estimate lies in a smooth manifold. It induces a geometry for the parameter manifold, as well as an intrinsic notion of the estimation error measure.
  arXiv  Detail & Related papers  (2023-11-08T15:17:13Z)
• Comparison of Single- and Multi- Objective Optimization Quality for Evolutionary Equation Discovery [77.34726150561087]
  Evolutionary differential equation discovery proved to be a tool to obtain equations with less a priori assumptions. The proposed comparison approach is shown on classical model examples -- Burgers equation, wave equation, and Korteweg - de Vries equation.
  arXiv  Detail & Related papers  (2023-06-29T15:37:19Z)
• The tilted CHSH games: an operator algebraic classification [77.34726150561087]
  This article introduces a general systematic procedure for solving any binary-input binary-output game. We then illustrate on the prominent class of tilted CHSH games. We derive for those an entire characterisation on the region exhibiting some quantum advantage.
  arXiv  Detail & Related papers  (2023-02-16T18:33:59Z)
• Quantum Bayesian Inference in Quasiprobability Representations [0.0]
  Bayes' rule plays a crucial piece of logical inference in information and physical sciences alike. quantum versions of Bayes' rule have been expressed in the language of Hilbert spaces.
  arXiv  Detail & Related papers  (2023-01-05T08:16:50Z)
• 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)
• Lifting the Convex Conjugate in Lagrangian Relaxations: A Tractable Approach for Continuous Markov Random Fields [53.31927549039624]
  We show that a piecewise discretization preserves better contrast from existing discretization problems. We apply this theory to the problem of matching two images.
  arXiv  Detail & Related papers  (2021-07-13T12:31:06Z)
• On the error exponents of binary state discrimination with composite hypotheses [0.0]
  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.
  arXiv  Detail & Related papers  (2020-11-09T18:57:56Z)
• 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)
• The semiring of dichotomies and asymptotic relative submajorization [0.0]
  We study quantum dichotomies and the resource theory of asymmetric distinguishability using a generalization of Strassen's theorem on preordered semirings. We find that an variant of relative submajorization, defined on unnormalized dichotomies, is characterized by real-valued monotones that are multiplicative under the tensor product and additive under the direct sum.
  arXiv  Detail & Related papers  (2020-04-22T14:13:26Z)
• A refinement of Reznick's Positivstellensatz with applications to quantum information theory [72.8349503901712]
  In Hilbert's 17th problem Artin showed that any positive definite in several variables can be written as the quotient of two sums of squares. Reznick showed that the denominator in Artin's result can always be chosen as an $N$-th power of the squared norm of the variables.
  arXiv  Detail & Related papers  (2019-09-04T11:46:26Z)

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.