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.
One of the central problems in the study of quantum resource theories is to provide a given resource with an operational meaning, characterizing physical tasks in which the resource can give an explicit advantage over all resourceless states. We show that this can always be accomplished for all convex resource theories. We establish in particular that any resource state enables an advantage in a channel discrimination task, allowing for a strictly greater success probability than any state without the given resource. Furthermore, we find that the generalized robustness measure serves as an exa…
We consider optimal state discrimination in a general convex operational framework, so-called generalized probabilistic theories (GPTs), and present a general method of optimal discrimination by applying the complementarity problem from convex optimization. The method exploits the convex geometry of states but not other detailed conditions or relations of states and effects. We also show that properties in optimal quantum state discrimination are shared in GPTs in general: i) no measurement sometimes gives optimal discrimination, and ii) optimal measurement is not unique.
A collection of quantum channels is called incompatible if they cannot be obtained as marginals from a single channel. No-cloning theorem is the most prominent instance of incompatibility of quantum channels. We show that every collection of incompatible channels can be more useful than compatible ones as preprocessings in a state discrimination task with multiple ensembles of states. This is done by showing that the robustness of channel incompatibility which is a measure for incompatibility of channels exactly quantifies the maximum advantage in the state discrimination. We also show that in…
We investigate a state discrimination problem in operationally the most general framework to use a probability, including both classical, quantum theories, and more. In this wide framework, introducing closely related family of ensembles (which we call a {\it Helstrom family of ensembles}) with the problem, we provide a geometrical method to find an optimal measurement for state discrimination by means of Bayesian strategy. We illustrate our method in 2-level quantum systems and in a probabilistic model with square-state space to reproduce e.g., the optimal success probabilities for binary sta…
We analyze entanglement swapping (ES) of partially entangled pure states with arbitrary Schmidt rank from the perspective of quantum state discrimination. It is shown that the standard deterministic ES protocol is related with an optimal minimum-error strategy. In this case the amount of entanglement of the states resulting from swapping is, in general, lower than the maximum achievable for the quantum channels involved. In this regard, we show that the ES protocol can be probabilistically improved resorting to optimal maximum-confidence (MC) discrimination strategy. Additionally, we show that…
We address perfect discrimination of two separable states. When available states are restricted to separable states, we can theoretically consider a larger class of measurements than the class of measurements allowed in quantum theory. The framework composed of the class of separable states and the above extended class of measurements is a typical example of general probabilistic theories. In this framework, we give a necessary and sufficient condition to discriminate two separable pure states perfectly. In particular, we derive measurements explicitly to discriminate two separable pure states…
A scheme for the detection of low-intensity optical coherent signals was studied which uses a probabilistic amplifier operated in the non-heralded version, as the underlying non-linear operation to improve the detection efficiency. This approach allows us to improve the statistics by keeping track of all possible outcomes of the amplification stage (including failures). When compared with an optimized Kennedy receiver, the resulting discrimination success probability we obtain presents a gain up to ~1.85% and it approaches the Helstrom bound appreciably faster than the Dolinar receiver, when e…
The discrimination of non-orthogonal quantum states with reduced or without errors is a fundamental task in quantum measurement theory. In this work, we investigate a quantum measurement strategy capable of discriminating two coherent states probabilistically with significantly smaller error probabilities than can be obtained using non-probabilistic state discrimination. We find that appropriate postselection of the measurement data of a photon number resolving detector can be used to discriminate two coherent states with small error probability. We compare our new receiver to an optimal inter…
We establish an operational characterization of general convex resource theories -- describing the resource content of not only states, but also measurements and channels, both within quantum mechanics and in general probabilistic theories (GPTs) -- in the context of state and channel discrimination. We find that discrimination tasks provide a unified operational description for quantification and manipulation of resources by showing that the family of robustness measures can be understood as the maximum advantage provided by any physical resource in several different discrimination tasks, as …
The aim of this thesis project is to investigate the bit commitment protocol in the framework of operational probabilistic theories. In particular a careful study is carried on the feasibility of bit commitment in the non-local boxes theory. New aspects of the theory are also presented.
The prevalent modus operandi within the framework of quantum resource theories has been to characterise and harness the resources within single objects, in what we can call \emph{single-object} quantum resource theories. One can wonder however, whether the resources contained within multiple different types of objects, now in a \emph{multi-object} quantum resource theory, can simultaneously be exploited for the benefit of an operational task. In this work, we introduce examples of such multi-object operational tasks in the form of subchannel discrimination and subchannel exclusion games, in wh…
An orthogonal product basis of a composite Hilbert space is genuinely nonlocal if the basis states are locally indistinguishable across every bipartition. From an operational point of view such a basis corresponds to a separable measurement that cannot be implemented by local operations and classical communication (LOCC) unless all the parties come together in a single location. In this work we classify genuinely nonlocal product bases into different categories. Our classification is based on state elimination property of the set via orthogonality-preserving measurements when all the parties a…
As a modern approach for the foundation of quantum theory, existing studies of General Probabilistic Theories gave various models of states and measurements that are quite different from quantum theory. In this paper, to seek a more realistic situation, we investigate models approximately close to quantum theory. We define larger measurement classes that are smoothly connected with the class of POVMs via a parameter, and investigate the performance of perfect discrimination. As a result, we give a sufficient condition of perfect discrimination, which shows a significant improvement beyond the …
The operational meaning of coherence measure lies at very heart of the coherence theory. In this paper, we provide an operational interpretation for geometric coherence, by proving that the geometric coherence of a quantum state is equal to the minimum error probability to discriminate a set of pure states with von Neumann measurement. On the other hand, we also show that a task to ambiguously discriminate a set of linearly independent pure states can be also regards as a problem of calculating geometric coherence. That is, we reveal an equivalence relation between ambiguous quantum state disc…
General Probabilistic Theories provide the most general mathematical framework for the theory of probability in an operationally natural manner, and generalize classical and quantum theories. In this article, we study state-discrimination problems in general probabilistic theories using a Bayesian strategy. After re-formulation of the theories with mathematical rigor, we first prove that an optimal observable to discriminate any (finite) number of states always exists in the most general setting. Next, we revisit our recently proposed geometric approach for the problem and show that, for two-s…
Recently, the nonlocal optimal probabilistic cloning (NLOPC) of two non-orthogonal qubit states has been proposed [Phys. Rev. A 86, 052332 (2012)] by means of an experimental setup based on a pair of twin photons in a maximally entangled state. Here we study the performance of the NLOPC protocol when implemented via a partially entangled state. We show that the errors introduced by the use of partial entanglement can be undone by applying a quantum state discrimination process. Since quantum state discrimination is a probabilistic process the correction succeeds with a certain probability but …
We investigate quantum measurement strategies capable of discriminating two coherent states probabilistically with significantly smaller error probabilities than can be obtained using non- probabilistic state discrimination. We apply a postselection strategy to the measurement data of a homodyne detector as well as a photon number resolving detector in order to lower the error probability. We compare the two different receivers with an optimal intermediate measurement scheme where the error rate is minimized for a fixed rate of inconclusive results. The photon number resolving (PNR) receiver i…
The formalism of general probabilistic theories provides a universal paradigm that is suitable for describing various physical systems including classical and quantum ones as particular cases. Contrary to the usual no-restriction hypothesis, the set of accessible meters within a given theory can be limited for different reasons, and this raises a question of what restrictions on meters are operationally relevant. We argue that all operational restrictions must be closed under simulation, where the simulation scheme involves mixing and classical post-processing of meters. We distinguish three c…
This paper provides a concise summary of the framework of operational-probabilistic theories, aimed at emphasizing the interaction between category-theoretic and probabilistic structures. Within this framework, we review an operational version of the GNS construction, expressed by the so-called purification principle, which under mild hypotheses leads to an operational version of Stinespring's theorem.
We give operational meaning to wave-particle duality in terms of discrimination games. Duality arises as a constraint on the probability of winning these games. The games are played with the aid of an n-port interferometer, and involve 3 parties, Alice and Bob, who cooperate, and the House, who supervises the game. In one game called ways they attempt to determine the path of a particle in the interferometer. In another, called phases, they attempt to determine which set of known phases have been applied to the different paths. The House determines which game is to be played by flipping a coin…
We analyze the optimal unambiguous discrimination of two arbitrary mixed quantum states. We show that the optimal measurement is unique and we present this optimal measurement for the case where the rank of the density operator of one of the states is at most 2 ("solution in 4 dimensions"). The solution is illustrated by some examples. The optimality conditions proved by Eldar et al. [Phys. Rev. A 69, 062318 (2004)] are simplified to an operational form. As an application we present optimality conditions for the measurement, when only one of the two states is detected. The current status of op…
Some quantum measurements can not be performed simultaneously, i.e. they are incompatible. Here we show that every set of incompatible measurements provides an advantage over compatible ones in a suitably chosen quantum state discrimination task. This is proven by showing that the Robustness of Incompatibility, a quantifier of how much noise a set of measurements tolerates before becoming compatible, has an operational interpretation as the advantage in an optimally chosen discrimination task. We also show that if we take a resource-theory perspective of measurement incompatibility, then the g…
We assess the resources needed to identify a reversible quantum gate among a finite set of alternatives, including in our analysis both deterministic and probabilistic strategies. Among the probabilistic strategies we consider unambiguous gate discrimination, where errors are not tolerated but inconclusive outcomes are allowed, and we prove that parallel strategies are sufficient to unambiguously identify the unknown gate with minimum number of queries. This result is used to provide upper and lower bounds on the query complexity and on the minimum ancilla dimension. In addition, we introduce …
Quantum state filtering is a variant of the unambiguous state discrimination problem: the states are grouped in sets and we want to determine to which particular set a given input state belongs.The simplest case, when the N given states are divided into two subsets and the first set consists of one state only while the second consists of all of the remaining states, is termed quantum state filtering. We derived previously the optimal strategy for the case of N non-orthogonal states, {|ψ_{1} >, ..., |ψ_{N} >}, for distinguishing |ψ_1 > from the set {|ψ_2 >, ..., |ψ_N >} and the corresponding op…
We introduce a way of quantifying how informative a quantum measurement is, starting from a resource-theoretic perspective. This quantifier, which we call the robustness of measurement, describes how much `noise' must be added to a measurement before it becomes completely uninformative. We show that this geometric quantifier has operational significance in terms of the advantage the measurement provides over guessing at random in an suitably chosen state discrimination game. We further show that it is the single-shot generalisation of the accessible information of a certain quantum-to-classica…
This thesis deals with General Probabilistic Theories (GPTs) and Entanglement Structures (ESs). An ES is a possible structure of a quantum composite system in GPTs, which is not uniquely determined as the Standard Entanglement Structure (SES). It is an important problem to find reasonable postulates that determine various ESs as the SES. In order to solve this problem, this thesis explores the diversity of ESs. The topics of this thesis are roughly divided into two parts. First, this thesis considers state discrimination in ESs. As a main result, this thesis gives equivalent conditions for a g…
Any measurement is intended to provide information on a system, namely knowledge about its state. However, we learn from quantum theory that it is generally impossible to extract information without disturbing the state of the system or its correlations with other systems. In this paper we address the issue of the interplay between information and disturbance for a general operational probabilistic theory. The traditional notion of disturbance considers the fate of the system state after the measurement. However, the fact that the system state is left untouched ensures that also correlations a…
Finding quantitative aspects of quantum phenomena which cannot be explained by any classical model has foundational importance for understanding the boundary between classical and quantum theory. It also has practical significance for identifying information processing tasks for which those phenomena provide a quantum advantage. Using the framework of generalized noncontextuality as our notion of classicality, we find one such nonclassical feature within the phenomenology of quantum minimum error state discrimination. Namely, we identify quantitative limits on the success probability for minim…
To make precise the sense in which the operational predictions of quantum theory conflict with a classical worldview, it is necessary to articulate a notion of classicality within an operational framework. A widely applicable notion of classicality of this sort is whether or not the predictions of a given operational theory can be explained by a generalized-noncontextual ontological model. We here explore what notion of classicality this implies for the generalized probabilistic theory (GPT) that arises from a given operational theory, focusing on prepare-measure scenarios. We first show that,…
We study the relation of causal influence between input systems of a reversible evolution and its output systems, in the context of operational probabilistic theories. We analyse two different definitions that are borrowed from the literature on quantum theory -- where they are equivalent. One is the notion based on signalling, and the other one is the notion used to define the neighbourhood of a cell in a quantum cellular automaton. The latter definition, that we adopt in the general scenario, turns out to be strictly weaker than the former: it is possible for a system to have causal influenc…
Recently, the projective robustness of quantum states has been introduced in [arXiv:2109.04481(2021)]. It shows that the projective robustness is a useful resource monotone and can comprehensively characterize capabilities and limitations of probabilistic protocols manipulating quantum resources deterministically. In this paper, we will extend the projective robustness to any convex resource theories of quantum channels and measurements. First, We introduce the projective robustness of quantum channels and prove that it satisfies some good properties, especially sub- or supermultiplicativity u…
Coherence measures and their operational interpretations lay the cornerstone of coherence theory. In this paper, we introduce a class of coherence measures with $α$-affinity, say $α$-affinity of coherence for $α\in (0, 1)$. Furthermore, we obtain the analytic formulae for these coherence measures and study their corresponding convex roof extension. We provide an operational interpretation for $1/2$-affinity of coherence by showing that it is equal to the error probability to discrimination a set of pure states with the least square measurement. Employing this relationship we regain the optimal…
In this paper we develop an operational formulation of General Relativity similar in spirit to existing operational formulations of Quantum Theory. To do this we introduce an operational space (or op-space) built out of scalar fields. A point in op-space corresponds to some nominated set of scalar fields taking some given values in coincidence. We assert that op-space is the space in which we observe the world. We introduce also a notion of agency (this corresponds to the ability to set knob settings just like in Operational Quantum Theory). The effects of agents' actions should only be felt t…
Quantum State Discrimination With Stabilizer Circuits
International Institute of Physics, Federal University of Rio Grande do Norte（国际物理研究所，北里奥格兰德联邦大学）；Departamento de Física Teórica e Experimental, Federal University of Rio Grande do Norte（理论与实验物理系，北里奥格兰德联邦大学）
The theory of cellular automata in operational probabilistic theories is developed. We start introducing the composition of infinitely many elementary systems, and then use this notion to define update rules for such infinite composite systems. The notion of causal influence is introduced, and its relation with the usual property of signalling is discussed. We then introduce homogeneity, namely the property of an update rule to evolve every system in the same way, and prove that systems evolving by a homogeneous rule always correspond to vertices of a Cayley graph. Next, we define the notion o…
For any resource theory it is essential to identify tasks for which resource objects offer advantage over free objects. We show that this identification can always be accomplished for resource theories of quantum measurements in which free objects form a convex subset of measurements on a given Hilbert space. To this aim we prove that every resource measurement offers advantage for some quantum state discrimination task. Moreover, we give an operational interpretation of robustness, which quantifies the minimal amount of noise that must be added to a measurement to make it free. Specifically, …
Quantum Mechanics (QM) is a very special probabilistic theory, yet we don't know which operational principles make it so. All axiomatization attempts suffer at least one postulate of a mathematical nature. Here I will analyze the possibility of deriving QM as the mathematical representation of a "fair operational framework", i.e. a set of rules which allows the experimenter to make predictions on future "events" on the basis of suitable "tests", e.g. without interference from uncontrollable sources. Two postulates need to be satisfied by any fair operational framework: NSF: "no-signaling from …
We introduce the concept of boundariness capturing the most efficient way of expressing a given element of a convex set as a probability mixture of its boundary elements. In other words, this number measures (without the need of any explicit topology) how far the given element is from the boundary. It is shown that one of the elements from the boundary can be always chosen to be an extremal element. We focus on evaluation of this quantity for quantum sets of states, channels and observables. We show that boundariness is intimately related to (semi)norms that provide an operational interpretati…
Deterministic discrimination of nonorthogonal states is forbidden by quantum measurement theory. However, if we do not want to succeed all the time, i.e. allow for inconclusive outcomes to occur, then unambiguous discrimination becomes possible with a certain probability of success. A variant of the problem is set discrimination: the states are grouped in sets and we want to determine to which particular set a given pure input state belongs. We consider here the simplest case, termed quantum state filtering, when the $N$ given non-orthogonal states, $\{|ψ_{1} >,..., |ψ_{N} > \}$, are divided i…
We formulate the necessary and sufficient conditions for the existence of a pair of maximally incompatible two-outcome measurements in a finite dimensional General Probabilistic Theory. The conditions are on the geometry of the state space, they require existence of two pairs of parallel exposed faces with additional condition on their intersections. We introduce the notion of discrimination measurement and show that the conditions for a pair of two-outcome measurements to be maximally incompatible are equivalent to requiring that a (potential, yet non-existing) joint measurement of the maxima…
We introduce a new approach to the study of operational theories of physics using category theory. We define a generalisation of the (causal) operational-probabilistic theories of Chiribella et al. and establish their correspondence with our new notion of an operational category. Our work is based on effectus theory, a recently developed area of categorical logic, to which we give an operational interpretation, demonstrating its relevance to the modelling of general probabilistic theories.
We investigate the connection between steering and contextuality in general probabilistic theories. We show that for a class of bipartite states the steerability of the state by given set of measurements is equivalent to non-existence of preparation noncontextual hidden variable model for certain restricted theory constructed from the given state and measurements. The connection between steering and contextuality is provided by the concept of incompatibility in restricted theories, which we also investigate.
Quantum state separation is a probabilistic map that transforms a given set of pure states into another set of more distinguishable ones. Here we investigate such a map acting onto uniparametric families of symmetric linearly dependent or independent quantum states. We obtained analytical solutions for the success probability of the maps--which is shown to be optimal--as well as explicit constructions in terms of positive operator valued measures. Our results can be used for state discrimination strategies interpolating continuously between minimum-error and unambiguous (or maximum-confidence)…
In this chapter a general mathematical framework for probabilistic theories of operationally understood circuits is laid out. Circuits are comprised of operations and wires. An operation is one use of an apparatus and a wire is a diagrammatic device for showing how apertures on the apparatuses are placed next to each other. Mathematical objects are defined in terms of the circuit understood graphically. In particular, we do not think of the circuit as sitting in a background time. Circuits can be foliated by hypersurfaces comprised of sets of wires. Systems are defined to be associated with wi…
Modeling and reasoning about concurrent quantum systems is very important both for distributed quantum computing and for quantum protocol verification. As a consequence, a general framework describing formally the communication and concurrency in complex quantum systems is necessary. For this purpose, we propose a model qCCS which is a natural quantum extension of classical value-passing CCS with the input and output of quantum states, and unitary transformations and measurements on quantum systems. The operational semantics of qCCS is given based on probabilistic labeled transition system. Th…
