In the simple quantum hypothesis testing problem, upper bound with asymmetric setting is shown by using a quite useful inequality by Audenaert et al, quant-ph/0610027, which was originally invented for symmetric setting. Using this upper bound, we obtain the Hoeffding bound, which are identical with the classical counter part if the hypotheses, composed of two density operators, are mutually commutative. Our upper bound improves the bound by Ogawa-Hayashi, and also provides a simpler proof of the direct part of the quantum Stein's lemma. Further, using this bound, we obtain a better exponential upper bound of the average error probability of classical-quantum channel coding.
A new proof of the direct part of the quantum channel coding theorem is shown based on a standpoint of quantum hypothesis testing. A packing procedure of mutually noncommutative operators is carried out to derive an upper bound on the error probability, which is similar to Feinstein's lemma in classical channel coding. The upper bound is used to show the proof of the direct part along with a variant of Hiai-Petz's theorem in quantum hypothesis testing.
In this study, we consider a quantum version of multicast network coding as a multicast protocol for sending universal quantum clones (UQCs) from a source node to the target nodes on a quantum network. By extending Owari et al.'s previous results for symmetric UQCs, we derive a protocol for multicasting $1\rightarrow 2$ ($1\rightarrow 3$) {\it asymmetric} UQCs of a $q^r$-dimensional state to two (three) target nodes.Our protocol works under the condition that each edge on a quantum network represented by an undirected graph $G$ transmits a $q$-dimensional state. There exists a classical solvab…
We explicate an example of the so called Task oriented Maximally Entangled states (TMES) in the context of teleportation and superdense coding. In physical situation, this state can emerge from decoherence of more entangled state or may be prepared for the purpose at hand, with less entanglement resource. We find that a variant of the Brown state can be utilized for perfect teleportation of single and two qubit states. In case of superdense coding, it is observed that five cbits can be transmitted by sending only three qubits.
We consider the asymmetric formulation of quantum hypothesis testing, where two quantum hypotheses have different associated costs. In this problem, the aim is to minimize the probability of false negatives and the optimal performance is provided by the quantum Hoeffding bound. After a brief review of these notions, we show how this bound can be simplified for pure states. We then provide a general recipe for its computation in the case of multimode Gaussian states, also showing its connection with other easier-to-compute lower bounds. In particular, we provide analytical formulas and numerica…
Due to the difficulties of implementing joint measurements, quantum illumination schemes that are based on signal-idler entanglement are difficult to implement in practice. For this reason, one may consider quantum-inspired designs of quantum lidar/radar where the input sources are semiclassical (coherent states) while retaining the quantum aspects of the detection. The performance of these designs could be studied in the context of asymmetric hypothesis testing by resorting to the quantum Stein's lemma. However, here we discuss that, for typical finite-size regimes, the second- and third-orde…
The task of binary quantum hypothesis testing is to determine the state of a quantum system via measurements on it, given the side information that it is in one of two possible states, say $ρ$ and $σ$. This task is generally studied in either the symmetric setting, in which the two possible errors incurred in the task (the so-called type I and type II errors) are treated on an equal footing, or the asymmetric setting in which one minimizes the type II error probability under the constraint that the corresponding type I error probability is below a given threshold. Here we define a one-paramete…
Alternative exact expressions are derived for the minimum error probability of a hypothesis test discriminating among $M$ quantum states. The first expression corresponds to the error probability of a binary hypothesis test with certain parameters; the second involves the optimization of a given information-spectrum measure. Particularized in the classical-quantum channel coding setting, this characterization implies the tightness of two existing converse bounds; one derived by Matthews and Wehner using hypothesis-testing, and one obtained by Hayashi and Nagaoka via an information-spectrum app…
The information-spectrum analysis made by Han for classical hypothesis testing for simple hypotheses is extended to a unifying framework including both classical and quantum hypothesis testing as well as fixed-length source coding, whereby general formulas for several quantities concerning the asymptotic optimality of tests/codes are established in terms of classical and quantum information spectrum. Generality of theorems and simplicity of proofs are fully pursued, and as byproducts some improvements on the original classical results are also obtained.
We consider a task in which classical information is encoded into a quantum system by an operation restricted by symmetry. The maximum amount of classical information that can be encoded under this restriction, namely the symmetry-restricted classical information capacity, depends on the initial state of the system. Our focus is on whether the capacity of an asymmetric state can be strictly larger than that of any symmetric states, whereas the latter is a strictly positive constant. That is, we ask whether an analog of superdense coding is implementable in the resource theory of asymmetry. We …
We consider a distributed quantum hypothesis testing problem with communication constraints, in which the two hypotheses correspond to two different states of a bipartite quantum system, multiple identical copies of which are shared between Alice and Bob. They are allowed to perform local operations on their respective systems and send quantum information to Charlie at limited rates. By doing measurements on the systems that he receives, Charlie needs to infer which of the two different states the original bipartite state was in, that is, which of the two hypotheses is true. We prove that the …
In this paper, we treat a local discrimination problem in the framework of asymmetric hypothesis testing. We choose a known bipartite pure state $\ketΨ$ as an alternative hypothesis, and the completely mixed state as a null hypothesis. As a result, we analytically derive an optimal type 2 error and an optimal POVM for one-way LOCC POVM and Separable POVM. For two-way LOCC POVM, we study a family of simple three-step LOCC protocols, and show that the best protocol in this family has strictly better performance than any one-way LOCC protocol in all the cases where there may exist difference betw…
What is the quantum state of the universe? Although there have been several interesting suggestions, the question remains open. In this paper, I consider a natural choice for the universal quantum state arising from the Past Hypothesis, a boundary condition that accounts for the time-asymmetry of the universe. The natural choice is given not by a wave function (representing a pure state) but by a density matrix (representing a mixed state). I begin by classifying quantum theories into two types: theories with a fundamental wave function and theories with a fundamental density matrix. The Past …
Recently, a new notion of quantum Rényi divergences has been introduced by Müller-Lennert, Dupuis, Szehr, Fehr and Tomamichel, J.Math.Phys. 54:122203, (2013), and Wilde, Winter, Yang, Commun.Math.Phys. 331:593--622, (2014), that has found a number of applications in strong converse theorems. Here we show that these new Rényi divergences are also useful tools to obtain coding theorems in the direct domain of various problems. We demonstrate this by giving new and considerably simplified proofs for the achievability parts of Stein's lemma with composite null hypothesis, universal state compressi…
In a quantum universe with a strong arrow of time, we postulate a low-entropy boundary condition (the Past Hypothesis) to account for the temporal asymmetry. In this paper, I show that the Past Hypothesis also contains enough information to simplify the quantum ontology and define a natural initial condition. First, I introduce Density Matrix Realism, the thesis that the quantum state of the universe is objective and impure. This stands in sharp contrast to Wave Function Realism, the thesis that the quantum state of the universe is objective and pure. Second, I suggest that the Past Hypothesis…
Some of the asymmetric three qubit $W$ states are used for perfect teleportation, superdense coding and quantum information splitting. We present the protocols for the optimal distillation of the asymmetric as well as the symmetric $W$ states from a single copy of any three qubit $W$ class pure state.
Recently, a coding technique called position-based coding has been used to establish achievability statements for various kinds of classical communication protocols that use quantum channels. In the present paper, we apply this technique in the entanglement-assisted setting in order to establish lower bounds for error exponents, lower bounds on the second-order coding rate, and one-shot lower bounds. We also demonstrate that position-based coding can be a powerful tool for analyzing other communication settings. In particular, we reduce the quantum simultaneous decoding conjecture for entangle…
In this work, we study the tradeoffs between the error probabilities of classical-quantum channels and the blocklength $n$ when the transmission rates approach the channel capacity at a rate slower than $1/\sqrt{n}$, a research topic known as moderate deviation analysis. We show that the optimal error probability vanishes under this rate convergence. Our main technical contributions are a tight quantum sphere-packing bound, obtained via Chaganty and Sethuraman's concentration inequality in strong large deviation theory, and asymptotic expansions of error-exponent functions. Moderate deviation …
In this MSc thesis I consider the asymptotic behaviour of the symmetric error in composite hypothesis testing. In the classical case, when the null and alternative hypothesis are finite sets of states, the best achievable symmetric error exponent is simply the the best achievable symmetric error exponent corresponding to the "worst case pair". The conjecture -- raised several years ago -- is that this remains true in the quantum case, too. This is known to be true in some special case. However, all of the known special cases are in some sense "too nice", e.g., have certain symmetries. Hoping t…
Quantum Advantage in Locally Differentially Private Hypothesis Testing
Information & Electronics Research Institute, Korea Advanced Institute of Science and Technology (KAIST)（韩国科学技术院信息与电子研究所）；School of Electrical Engineering, KAIST（韩国科学技术院电气工程学院）
We revisit the problem of asymmetric binary hypothesis testing against a composite alternative hypothesis. We introduce a general framework to treat such problems when the alternative hypothesis adheres to certain axioms. In this case we find the threshold rate, the optimal error and strong converse exponents (at large deviations from the threshold) and the second order asymptotics (at small deviations from the threshold). We apply our results to find operational interpretations of various Renyi information measures. In case the alternative hypothesis is comprised of bipartite product distribu…
Relativistic resonances and decaying states are described by representations of Poincaré transformations, similar to Wigner's definition of stable particles. To associate decaying state vectors to resonance poles of the $S$-matrix, the conventional Hilbert space assumption (or asymptotic completeness) is replaced by a new hypothesis that associates different dense Hardy subspaces to the in- and out-scattering states. Then one can separate the scattering amplitude into a background amplitude and one or several ``relativistic Breit-Wigner'' amplitudes, which represent the resonances per se. Thes…
A variety of new measures of quantum Renyi mutual information and quantum Renyi conditional entropy have recently been proposed, and some of their mathematical properties explored. Here, we show that the Renyi mutual information attains operational meaning in the context of composite hypothesis testing, when the null hypothesis is a fixed bipartite state and the alternate hypothesis consists of all product states that share one marginal with the null hypothesis. This hypothesis testing problem occurs naturally in channel coding, where it corresponds to testing whether a state is the output of …
