Adversarial hypothesis testing and a quantum Stein’s Lemma for restricted measurements

© 1963-2012 IEEE. Recall the classical hypothesis testing setting with two sets of probability distributions P and Q. One receives either n i.i.d. samples from a distribution p in P or from a distribution q in Q and wants to decide from which set the points were sampled. It is known that the optimal...

Full description

Bibliographic Details
Main Authors: Brandao, Fernando GSL, Harrow, Aram W, Lee, James R, Peres, Yuval
Format: Article
Language:English
Published: Institute of Electrical and Electronics Engineers (IEEE) 2021
Online Access:https://hdl.handle.net/1721.1/132520
_version_ 1826190378891476992
author Brandao, Fernando GSL
Harrow, Aram W
Lee, James R
Peres, Yuval
author_facet Brandao, Fernando GSL
Harrow, Aram W
Lee, James R
Peres, Yuval
author_sort Brandao, Fernando GSL
collection MIT
description © 1963-2012 IEEE. Recall the classical hypothesis testing setting with two sets of probability distributions P and Q. One receives either n i.i.d. samples from a distribution p in P or from a distribution q in Q and wants to decide from which set the points were sampled. It is known that the optimal exponential rate at which errors decrease can be achieved by a simple maximum-likelihood ratio test which does not depend on p or q , but only on the sets P and Q. We consider an adaptive generalization of this model where the choice of p in P and q in Q can change in each sample in some way that depends arbitrarily on the previous samples. In other words, in the k{th} round, an adversary, having observed all the previous samples in rounds 1,ldots,k-1 , chooses p_{k} in P and q_{k} in Q , with the goal of confusing the hypothesis test. We prove that even in this case, the optimal exponential error rate can be achieved by a simple maximum-likelihood test that depends only on P and Q. We then show that the adversarial model has applications in hypothesis testing for quantum states using restricted measurements. For example, it can be used to study the problem of distinguishing entangled states from the set of all separable states using only measurements that can be implemented with local operations and classical communication (LOCC). The basic idea is that in our setup, the deleterious effects of entanglement can be simulated by an adaptive classical adversary. We prove a quantum Stein's Lemma in this setting: In many circumstances, the optimal hypothesis testing rate is equal to an appropriate notion of quantum relative entropy between two states. In particular, our arguments yield an alternate proof of Li and Winter's recent strengthening of strong subadditivity for von Neumann entropy.
first_indexed 2024-09-23T08:39:23Z
format Article
id mit-1721.1/132520
institution Massachusetts Institute of Technology
language English
last_indexed 2024-09-23T08:39:23Z
publishDate 2021
publisher Institute of Electrical and Electronics Engineers (IEEE)
record_format dspace
spelling mit-1721.1/1325202021-09-21T04:04:17Z Adversarial hypothesis testing and a quantum Stein’s Lemma for restricted measurements Brandao, Fernando GSL Harrow, Aram W Lee, James R Peres, Yuval © 1963-2012 IEEE. Recall the classical hypothesis testing setting with two sets of probability distributions P and Q. One receives either n i.i.d. samples from a distribution p in P or from a distribution q in Q and wants to decide from which set the points were sampled. It is known that the optimal exponential rate at which errors decrease can be achieved by a simple maximum-likelihood ratio test which does not depend on p or q , but only on the sets P and Q. We consider an adaptive generalization of this model where the choice of p in P and q in Q can change in each sample in some way that depends arbitrarily on the previous samples. In other words, in the k{th} round, an adversary, having observed all the previous samples in rounds 1,ldots,k-1 , chooses p_{k} in P and q_{k} in Q , with the goal of confusing the hypothesis test. We prove that even in this case, the optimal exponential error rate can be achieved by a simple maximum-likelihood test that depends only on P and Q. We then show that the adversarial model has applications in hypothesis testing for quantum states using restricted measurements. For example, it can be used to study the problem of distinguishing entangled states from the set of all separable states using only measurements that can be implemented with local operations and classical communication (LOCC). The basic idea is that in our setup, the deleterious effects of entanglement can be simulated by an adaptive classical adversary. We prove a quantum Stein's Lemma in this setting: In many circumstances, the optimal hypothesis testing rate is equal to an appropriate notion of quantum relative entropy between two states. In particular, our arguments yield an alternate proof of Li and Winter's recent strengthening of strong subadditivity for von Neumann entropy. 2021-09-20T18:22:49Z 2021-09-20T18:22:49Z 2020-10-27T13:45:45Z Article http://purl.org/eprint/type/JournalArticle https://hdl.handle.net/1721.1/132520 en 10.1109/TIT.2020.2979704 IEEE Transactions on Information Theory Creative Commons Attribution-Noncommercial-Share Alike http://creativecommons.org/licenses/by-nc-sa/4.0/ application/pdf Institute of Electrical and Electronics Engineers (IEEE) arXiv
spellingShingle Brandao, Fernando GSL
Harrow, Aram W
Lee, James R
Peres, Yuval
Adversarial hypothesis testing and a quantum Stein’s Lemma for restricted measurements
title Adversarial hypothesis testing and a quantum Stein’s Lemma for restricted measurements
title_full Adversarial hypothesis testing and a quantum Stein’s Lemma for restricted measurements
title_fullStr Adversarial hypothesis testing and a quantum Stein’s Lemma for restricted measurements
title_full_unstemmed Adversarial hypothesis testing and a quantum Stein’s Lemma for restricted measurements
title_short Adversarial hypothesis testing and a quantum Stein’s Lemma for restricted measurements
title_sort adversarial hypothesis testing and a quantum stein s lemma for restricted measurements
url https://hdl.handle.net/1721.1/132520
work_keys_str_mv AT brandaofernandogsl adversarialhypothesistestingandaquantumsteinslemmaforrestrictedmeasurements
AT harrowaramw adversarialhypothesistestingandaquantumsteinslemmaforrestrictedmeasurements
AT leejamesr adversarialhypothesistestingandaquantumsteinslemmaforrestrictedmeasurements
AT peresyuval adversarialhypothesistestingandaquantumsteinslemmaforrestrictedmeasurements