-
A characterization of von Neumann entropy using functors
Authors:
K. Nakahira
Abstract:
Baez, Fritz, and Leinster derived a method for characterizing Shannon entropy in classical systems. In this method, they considered a functor from a certain category to the monoid of non-negative real numbers with addition as a map from measure-preserving functions to non-negative real numbers, and derived Shannon entropy by imposing several simple conditions. We propose a method for characterizin…
▽ More
Baez, Fritz, and Leinster derived a method for characterizing Shannon entropy in classical systems. In this method, they considered a functor from a certain category to the monoid of non-negative real numbers with addition as a map from measure-preserving functions to non-negative real numbers, and derived Shannon entropy by imposing several simple conditions. We propose a method for characterizing von Neumann entropy by extending their results to quantum systems.
△ Less
Submitted 19 September, 2023;
originally announced September 2023.
-
Identifying quantum change points for Hamiltonians
Authors:
Kenji Nakahira
Abstract:
The identification of environmental changes is crucial in many fields. The present research is aimed at investigating the optimal performance for detecting change points in a quantum system when its Hamiltonian suddenly changes at a specific time. Assume that the Hamiltonians before and after the change are known and that the prior probability of each prospective change point is identical. These H…
▽ More
The identification of environmental changes is crucial in many fields. The present research is aimed at investigating the optimal performance for detecting change points in a quantum system when its Hamiltonian suddenly changes at a specific time. Assume that the Hamiltonians before and after the change are known and that the prior probability of each prospective change point is identical. These Hamiltonians can be time-dependent. The problem considered in this study is an extension of the problem of discriminating multiple quantum processes that consist of sequences of quantum channels. Although it is often extremely difficult to find an analytical solution to such a problem, we demonstrate that the maximum success probability for the Hamiltonian change point problem can be determined analytically and has a simple form.
△ Less
Submitted 30 May, 2023;
originally announced May 2023.
-
Generalized quantum process discrimination problems
Authors:
Kenji Nakahira,
Kentaro Kato
Abstract:
We study a broad class of quantum process discrimination problems that can handle many optimization strategies such as the Bayes, Neyman-Pearson, and unambiguous strategies, where each process can consist of multiple time steps and can have an internal memory. Given a collection of candidate processes, our task is to find a discrimination strategy, which may be adaptive and/or entanglement-assiste…
▽ More
We study a broad class of quantum process discrimination problems that can handle many optimization strategies such as the Bayes, Neyman-Pearson, and unambiguous strategies, where each process can consist of multiple time steps and can have an internal memory. Given a collection of candidate processes, our task is to find a discrimination strategy, which may be adaptive and/or entanglement-assisted, that maximizes a given objective function subject to given constraints. Our problem can be formulated as a convex problem. Its Lagrange dual problem with no duality gap and necessary and sufficient conditions for an optimal solution are derived. We also show that if a problem has a certain symmetry and at least one optimal solution exists, then there also exists an optimal solution with the same type of symmetry. A minimax strategy for a process discrimination problem is also discussed. As applications of our results, we provide some problems in which an adaptive strategy is not necessary for optimal discrimination. We also present an example of single-shot channel discrimination for which an analytical solution can be obtained.
△ Less
Submitted 19 February, 2022; v1 submitted 20 April, 2021;
originally announced April 2021.
-
Quantum process discrimination with restricted strategies
Authors:
Kenji Nakahira
Abstract:
The discrimination of quantum processes, including quantum states, channels, and superchannels, is a fundamental topic in quantum information theory. It is often of interest to analyze the optimal performance that can be achieved when discrimination strategies are restricted to a given subset of all strategies allowed by quantum mechanics. In this paper, we present a general formulation of the tas…
▽ More
The discrimination of quantum processes, including quantum states, channels, and superchannels, is a fundamental topic in quantum information theory. It is often of interest to analyze the optimal performance that can be achieved when discrimination strategies are restricted to a given subset of all strategies allowed by quantum mechanics. In this paper, we present a general formulation of the task of finding the maximum success probability for discriminating quantum processes as a convex optimization problem whose Lagrange dual problem exhibits zero duality gap. The proposed formulation can be applied to any restricted strategy. We also derive necessary and sufficient conditions for an optimal restricted strategy to be optimal within the set of all strategies. We provide a simple example in which the dual problem given by our formulation can be much easier to solve than the original problem. We also show that the optimal performance of each restricted process discrimination problem can be written in terms of a certain robustness measure. This finding has the potential to provide a deeper insight into the discrimination performance of various restricted strategies.
△ Less
Submitted 13 December, 2021; v1 submitted 19 April, 2021;
originally announced April 2021.
-
Discrimination of symmetric states in operational probabilistic theory
Authors:
Kenji Nakahira
Abstract:
A state discrimination problem in an operational probabilistic theory (OPT) is investigated in diagrammatic terms. It is well-known that, in the case of quantum theory, if a state set has a certain symmetry, then there exists a minimum-error measurement having the same type of symmetry. However, to our knowledge, it is not yet clear whether this property also holds in a more general OPT. We show t…
▽ More
A state discrimination problem in an operational probabilistic theory (OPT) is investigated in diagrammatic terms. It is well-known that, in the case of quantum theory, if a state set has a certain symmetry, then there exists a minimum-error measurement having the same type of symmetry. However, to our knowledge, it is not yet clear whether this property also holds in a more general OPT. We show that it also holds in OPTs, i.e., for a symmetric state set, there exists a minimum-error measurement that has the same type of symmetry. It is also shown that this result can be utilized to optimize over a restricted class of measurements, such as sequential or separable measurements.
△ Less
Submitted 26 December, 2020;
originally announced December 2020.
-
Simple upper and lower bounds on the ultimate success probability for discriminating arbitrary finite-dimensional quantum processes
Authors:
Kenji Nakahira,
Kentaro Kato
Abstract:
We consider the problem of discriminating finite-dimensional quantum processes, also called quantum supermaps, that can consist of multiple time steps. Obtaining the ultimate performance for discriminating quantum processes is of fundamental importance, but is challenging mainly due to the necessity of considering all discrimination strategies allowed by quantum mechanics, including entanglement-a…
▽ More
We consider the problem of discriminating finite-dimensional quantum processes, also called quantum supermaps, that can consist of multiple time steps. Obtaining the ultimate performance for discriminating quantum processes is of fundamental importance, but is challenging mainly due to the necessity of considering all discrimination strategies allowed by quantum mechanics, including entanglement-assisted strategies and adaptive strategies. In the case in which the processes to be discriminated have internal memories, the ultimate performance would generally be more difficult to analyze. In this paper, we present a simple upper bound on the ultimate success probability for discriminating arbitrary quantum processes. In the special case of multi-shot channel discrimination, it can be shown that the ultimate success probability increases by at most a constant factor determined by the given channels if the number of channel evaluations increases by one. We also present a lower bound based on Bayesian updating, which has a low computational cost. Our numerical experiments demonstrate that the proposed bounds are reasonably tight. The proposed bounds do not explicitly depend on any quantum phenomena, and can be readily extended to a general operational probabilistic theory.
△ Less
Submitted 19 February, 2022; v1 submitted 26 December, 2020;
originally announced December 2020.
-
Derivation of quantum theory with superselection rules
Authors:
Kenji Nakahira
Abstract:
We reconstruct finite-dimensional quantum theory with superselection rules, which can describe hybrid quantum-classical systems, from four purely operational postulates: symmetric sharpness, complete mixing, filtering, and local equality. It has been shown that each of the classical and fully quantum theories is singled out by an additional postulate.
We reconstruct finite-dimensional quantum theory with superselection rules, which can describe hybrid quantum-classical systems, from four purely operational postulates: symmetric sharpness, complete mixing, filtering, and local equality. It has been shown that each of the classical and fully quantum theories is singled out by an additional postulate.
△ Less
Submitted 19 February, 2022; v1 submitted 7 October, 2019;
originally announced October 2019.
-
Local unambiguous discrimination of symmetric ternary states
Authors:
Kenji Nakahira,
Kentaro Kato,
Tsuyoshi Sasaki Usuda
Abstract:
We investigate unambiguous discrimination between given quantum states with a sequential measurement, which is restricted to local measurements and one-way classical communication. If the given states are binary or those each of whose individual systems is two-dimensional, then it is in some cases known whether a sequential measurement achieves a globally optimal unambiguous measurement. In contra…
▽ More
We investigate unambiguous discrimination between given quantum states with a sequential measurement, which is restricted to local measurements and one-way classical communication. If the given states are binary or those each of whose individual systems is two-dimensional, then it is in some cases known whether a sequential measurement achieves a globally optimal unambiguous measurement. In contrast, for more than two states each of whose individual systems is more than two-dimensional, the problem becomes extremely complicated. This paper focuses on symmetric ternary pure states each of whose individual systems is three-dimensional, which include phase shift keyed (PSK) optical coherent states and a lifted version of "double trine" states. We provide a necessary and sufficient condition for an optimal sequential measurement to be globally optimal for the bipartite case. A sufficient condition of global optimality for multipartite states is also presented. One can easily judge whether these conditions hold for given states. Some examples are given, which demonstrate that, despite the restriction to local measurements and one-way classical communication, a sequential measurement can be globally optimal in quite a few cases.
△ Less
Submitted 15 February, 2019; v1 submitted 20 June, 2018;
originally announced June 2018.
-
Generalized bipartite quantum state discrimination problems with sequential measurements
Authors:
Kenji Nakahira,
Kentaro Kato,
Tsuyoshi Sasaki Usuda
Abstract:
We investigate an optimization problem of finding quantum sequential measurements, which forms a wide class of state discrimination problems with the restriction that only sequential measurements are allowed. Sequential measurements from Alice to Bob on a bipartite system are considered. Using the fact that the optimization problem can be formulated as a problem with only Alice's measurement and i…
▽ More
We investigate an optimization problem of finding quantum sequential measurements, which forms a wide class of state discrimination problems with the restriction that only sequential measurements are allowed. Sequential measurements from Alice to Bob on a bipartite system are considered. Using the fact that the optimization problem can be formulated as a problem with only Alice's measurement and is convex programming, we derive its dual problem and necessary and sufficient conditions for an optimal solution. In the problem we address, the output of Alice's measurement can be infinite or continuous, while sequential measurements with a finite number of outcomes are considered. It is shown that there exists an optimal sequential measurement in which Alice's measurement with a finite number of outcomes as long as a solution exists. We also show that if the problem has a certain symmetry, then there exists an optimal solution with the same type of symmetry. A minimax version of the problem is considered, and necessary and sufficient conditions for a minimax solution are derived. An example in which our results can be used to obtain an analytical expression for an optimal sequential measurement is finally provided.
△ Less
Submitted 15 July, 2017;
originally announced July 2017.
-
Optimal discrimination of optical coherent states cannot always be realized by interfering with coherent light, photon counting, and feedback
Authors:
Kenji Nakahira,
Kentaro Kato,
Tsuyoshi Sasaki Usuda
Abstract:
It is well known that a minimum error quantum measurement for arbitrary binary optical coherent states can be realized by a receiver that comprises interfering with a coherent reference light, photon counting, and feedback control. We show that, for ternary optical coherent states, a minimum error measurement cannot always be realized by such a receiver. The problem of finding an upper bound on th…
▽ More
It is well known that a minimum error quantum measurement for arbitrary binary optical coherent states can be realized by a receiver that comprises interfering with a coherent reference light, photon counting, and feedback control. We show that, for ternary optical coherent states, a minimum error measurement cannot always be realized by such a receiver. The problem of finding an upper bound on the maximum success probability of such a receiver can be formulated as a convex programming. We derive its dual problem and numerically find the upper bound. At least for ternary phase-shift keyed coherent states, this bound does not reach that of a minimum error measurement.
△ Less
Submitted 17 July, 2017; v1 submitted 7 June, 2017;
originally announced June 2017.
-
Upper and Lower Bounds on Optimal Success Probability of Quantum State Discrimination with and without Inconclusive Results
Authors:
Kenji Nakahira,
Tsuyoshi Sasaki Usuda,
Kentaro Kato
Abstract:
We propose upper and lower bounds on the maximum success probability for discriminating given quantum states. The proposed upper bound is obtained from a suboptimal solution to the dual problem of the corresponding optimal state discrimination problem. We also give a necessary and sufficient condition for the upper bound to achieve the maximum success probability; the proposed lower bound can be o…
▽ More
We propose upper and lower bounds on the maximum success probability for discriminating given quantum states. The proposed upper bound is obtained from a suboptimal solution to the dual problem of the corresponding optimal state discrimination problem. We also give a necessary and sufficient condition for the upper bound to achieve the maximum success probability; the proposed lower bound can be obtained from this condition. It is derived that a slightly modified version of the proposed upper bound is tighter than that proposed by Qiu et al. [Phys. Rev. A 81, 042329 (2010)]. Moreover, we propose upper and lower bounds on the maximum success probability with a fixed rate of inconclusive results. The performance of the proposed bounds are evaluated through numerical experiments.
△ Less
Submitted 16 July, 2017; v1 submitted 22 January, 2016;
originally announced January 2016.
-
Finding optimal solutions for generalized quantum state discrimination problems
Authors:
Kenji Nakahira,
Tsuyoshi Sasaki Usuda,
Kentaro Kato
Abstract:
We try to find an optimal quantum measurement for generalized quantum state discrimination problems, which include the problem of finding an optimal measurement maximizing the average correct probability with and without a fixed rate of inconclusive results and the problem of finding an optimal measurement in the Neyman-Pearson strategy. We propose an approach in which the optimal measurement is o…
▽ More
We try to find an optimal quantum measurement for generalized quantum state discrimination problems, which include the problem of finding an optimal measurement maximizing the average correct probability with and without a fixed rate of inconclusive results and the problem of finding an optimal measurement in the Neyman-Pearson strategy. We propose an approach in which the optimal measurement is obtained by solving a modified version of the original problem. In particular, the modified problem can be reduced to one of finding a minimum error measurement for a certain state set, which is relatively easy to solve. We clarify the relationship between optimal solutions to the original and modified problems, with which one can obtain an optimal solution to the original problem in some cases. Moreover, as an example of application of our approach, we present an algorithm for numerically obtaining optimal solutions to generalized quantum state discrimination problems.
△ Less
Submitted 18 October, 2015;
originally announced October 2015.
-
Optimal quantum state discrimination with confidentiality
Authors:
Kenji Nakahira,
Tsuyoshi Sasaki Usuda,
Kentaro Kato
Abstract:
We investigate quantum state discrimination with confidentiality. $N$ observers share a given quantum state belonging to a finite set of known states. The observers want to determine the state as accurately as possible and send a discrimination result to a receiver. However, the observers are not allowed to get any information about which state was given. $N-1$ or fewer observers might try to stea…
▽ More
We investigate quantum state discrimination with confidentiality. $N$ observers share a given quantum state belonging to a finite set of known states. The observers want to determine the state as accurately as possible and send a discrimination result to a receiver. However, the observers are not allowed to get any information about which state was given. $N-1$ or fewer observers might try to steal the information, but if $N$ observers coexist, the honest ones will keep the dishonest ones from doing anything wrong. Assume that the state set has a certain symmetry, or more precisely, is Abelian geometrically uniform; this letter describes the case of three linearly independent cyclic pure states as a special case.
We propose a protocol that realizes any optimal inconclusive measurement, which is a generalized version of a minimum-error measurement and an optimal unambiguous measurement, for such a state set and ensures that any combined state of $N-1$ or fewer observers has absolutely no information about the given state. Our protocol provides a method of performing a quantum measurement securely, which could be useful in quantum information applications.
△ Less
Submitted 27 June, 2015; v1 submitted 18 March, 2015;
originally announced March 2015.
-
Optimal discrimination of quantum states on a two-dimensional Hilbert space by local operations and classical communication
Authors:
Kenji Nakahira,
Tsuyoshi Sasaki Usuda
Abstract:
We study the discrimination of multipartite quantum states by local operations and classical communication. We derive that any optimal discrimination of quantum states spanning a two-dimensional Hilbert space in which each party's space is finite dimensional is possible by local operations and one-way classical communication, regardless of the optimality criterion used and how entangled the states…
▽ More
We study the discrimination of multipartite quantum states by local operations and classical communication. We derive that any optimal discrimination of quantum states spanning a two-dimensional Hilbert space in which each party's space is finite dimensional is possible by local operations and one-way classical communication, regardless of the optimality criterion used and how entangled the states are.
△ Less
Submitted 25 January, 2015;
originally announced January 2015.
-
Generalized quantum state discrimination problems
Authors:
Kenji Nakahira,
Kentaro Kato,
Tsuyoshi Sasaki Usuda
Abstract:
We address a broad class of optimization problems of finding quantum measurements, which includes the problems of finding an optimal measurement in the Bayes criterion and a measurement maximizing the average success probability with a fixed rate of inconclusive results. Our approach can deal with any problem in which each of the objective and constraint functions is formulated by the sum of the t…
▽ More
We address a broad class of optimization problems of finding quantum measurements, which includes the problems of finding an optimal measurement in the Bayes criterion and a measurement maximizing the average success probability with a fixed rate of inconclusive results. Our approach can deal with any problem in which each of the objective and constraint functions is formulated by the sum of the traces of the multiplication of a Hermitian operator and a detection operator. We first derive dual problems and necessary and sufficient conditions for an optimal measurement. We also consider the minimax version of these problems and provide necessary and sufficient conditions for a minimax solution. Finally, for optimization problem having a certain symmetry, there exists an optimal solution with the same symmetry. Examples are shown to illustrate how our results can be used.
△ Less
Submitted 20 June, 2015; v1 submitted 23 January, 2015;
originally announced January 2015.