Generalized probabilistic theories (GPTs) provide a unified framework for describing probabilistic physical theories, encompassing classical and quantum theories as well as hypothetical theories beyond quantum mechanics. Since most GPTs are highly unrealistic and far removed from known physical theories, it is important to constrain them by physically reasonable principles. One of the most important such principles is consistency with thermodynamics, which has been extensively studied through toy models involving semipermeable membranes (SPMs) implementing measurements. On the other hand, information thermodynamics, which plays a central role in understanding the relationship between measurement and thermodynamics in classical and quantum theory, has remained largely undeveloped in GPTs. In this work, we construct information thermodynamics in GPTs and provide a unified framework for analyzing the relationship between measurement, feedback, information erasure, and the second law of thermodynamics. We also formulate a general framework for SPM models and analyze the thermodynamic cost of measurements implemented by SPMs. As a result, we show that no work can be extracted in contradiction with the second law as long as the measurement processes are consistent with entropy nondecrease, and derive sufficient conditions for this property for several entropy definitions proposed in GPTs. Moreover, by considering measurement processes violating these conditions, we construct explicit GPT systems realizing isothermal SPM cycles from which positive work can be extracted. These results demonstrate that violations of the second law can arise from the lack of fundamental entropy properties or discrepancies between entropy definitions, and provide a unified and model-independent foundation for understanding the relationship between thermodynamics and measurement in GPTs.
Conventional statistical mechanics describes large systems and averages over many particles or over many trials. But work, heat, and entropy impact the small scales that experimentalists can increasingly control, e.g., in single-molecule experiments. The statistical mechanics of small scales has been quantified with two toolkits developed in quantum information theory: resource theories and one-shot information theory. The field has boomed recently, but the theorems amassed have hardly impacted experiments. Can thermodynamic resource theories be realized experimentally? Via what steps can we s…
Thermodynamics, which describes vast systems, has been reconciled with small scales, relevant to single-molecule experiments, in resource theories. Resource theories have been used to model exchanges of energy and information. Recently, particle exchanges were modeled; and an umbrella family of thermodynamic resource theories was proposed to model diverse baths, interactions, and free energies. This paper motivates and details the family's structure and prospective applications. How to model electrochemical, gravitational, magnetic, and other thermodynamic systems is explained. Szilard's engin…
Thermodynamics has recently been extended to small scales with resource theories that model heat exchanges. Real physical systems exchange diverse quantities: heat, particles, angular momentum, etc. We generalize thermodynamic resource theories to exchanges of observables other than heat, to baths other than heat baths, and to free energies other than the Helmholtz free energy. These generalizations are illustrated with "grand-potential" theories that model movements of heat and particles. Free operations include unitaries that conserve energy and particle number. From this conservation law an…
Quantum discord quantifies non-classical correlations in quantum states. We introduce discord for states in causal probabilistic theories, inspired by the original definition proposed in Ref. [17]. We show that the only probabilistic theory in which all states have null discord is classical probability theory. Non-null discord is then not just a quantum feature, but a generic signature of non-classicality.
As a part of the construction of an information theory based on general probabilistic theories, we propose and investigate the several distinguishability measures and "entropies" in general probabilistic theories. As their applications, no-cloning theorems, information-disturbance theorems are reformulated, and a bound of the accessible informations is discussed in any general probabilistic theories, not resorting to quantum theory.
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.
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 introduce a new way of quantifying the degrees of incompatibility of two ob- servables in a probabilistic physical theory and, based on this, a global measure of the degree of incompatibility inherent in such theories, across all observable pairs. This opens up a novel and flexible way of comparing probabilistic theories with respect to the nonclassical feature of incompatibility, raising many interesting questions, some of which will be answered here. We show that quantum theory contains observables that are as incompatible as any probabilistic physical theory can have if arbitrary pairs o…
The holographic transformation, belief propagation and loop calculus are generalized to problems in generalized probabilistic theories including quantum mechanics. In this work, the partition function of classical factor graph is represented by an inner product of two high-dimensional vectors both of which can be decomposed to tensor products of low-dimensional vectors. On the representation, the holographic transformation is clearly understood by using adjoint linear maps. Furthermore, on the formulation using inner product, the belief propagation is naturally defined from the derivation of t…
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.
Fluctuations of thermodynamic observables, such as heat and work, contain relevant information on the underlying physical process. These fluctuations are however not taken into account in the traditional laws of thermodynamics. While the second law is extended to fluctuating systems by the celebrated fluctuation theorems, the first law is generally believed to hold even in the presence of fluctuations. Here we show that in the presence of quantum fluctuations, also the first law of thermodynamics may break down. This happens because quantum mechanics imposes constraints on the knowledge of hea…
General probabilistic theories are designed to provide operationally the most general probabilistic models including both classical and quantum theories. In this letter, we introduce a systematic method to construct a series of entropies, all of which generalize Shannon entropy in classical system and von Neumann entropy in quantum system. Using these entropies, the Holevo bound, an upper bound of the accessible information from a quantum system, is generalized to hold in any general probabilistic theory.
In this article we provide, from a novel perspective, arguments that support the idea that, in the wake of Cox' approach to probability theory, von Neumann's entropy should be the natural one in Quantum Mechanics. We also generalize the pertinent reasoning to more general orthomodular lattices, which reveals the structure of a general non-Boolean information theory.
Gleason-type theorems for quantum theory allow one to recover the quantum state space by assuming that (i) states consistently assign probabilities to measurement outcomes and that (ii) there is a unique state for every such assignment. We identify the class of general probabilistic theories which also admit Gleason-type theorems. It contains theories satisfying the no-restriction hypothesis as well as others which can simulate such an unrestricted theory arbitrarily well when allowing for post-selection on measurement outcomes. Our result also implies that the standard no-restriction hypothes…
According to the second law of thermodynamics, for every transformation performed on a system which is in contact with an environment of fixed temperature, the extracted work is bounded by the decrease of the free energy of the system. However, in a single realization of a generic process, the extracted work is subject to statistical fluctuations which may allow for probabilistic violations of the previous bound. We are interested in enhancing this effect, i.e. we look for thermodynamic processes that maximize the probability of extracting work above a given arbitrary threshold. For any proces…
Entropic uncertainty relations play an important role in both fundamentals and applications of quantum theory. Although they have been well-investigated in quantum theory, little is known about entropic uncertainty in generalized probabilistic theories (GPTs). The current study explores two types of entropic uncertainty relations, preparation and measurement uncertainty relations, in a class of GPTs which can be considered generalizations of quantum theory. Not only a method for obtaining entropic preparation uncertainty relations but also an entropic measurement uncertainty relation similar t…
This thesis investigates the connection between quantum theory, thermodynamics and information theory. Theories with structure similar to that of quantum theory are considered, mathematically described by the framework of "Generalized Probabilistic Theories". For these theories, a thought experiment by von Neumann is adapted to obtain a natural thermodynamic entropy definition, following a proposal by J. Barrett. Mathematical properties of this entropy are compared to physical consequences of the thought experiment. The validity of the second law of thermodynamics is investigated. In that cont…
In quantum theory, the no-information-without-disturbance and no-free-information theorems express that those observables that do not disturb the measurement of another observable and those that can be measured jointly with any other observable must be trivial, i.e., coin tossing observables. We show that in the framework of general probabilistic theories these statements do not hold in general and continue to completely specify these two classes of observables. In this way, we obtain characterizations of the probabilistic theories where these statements hold. As a particular class of state sp…
We discuss some features of thermodynamics in the presence of multiple conserved quantities. We prove a generalisation of Landauer principle illustrating tradeoffs between the erasure costs paid in different "currencies". We then show how the maximum entropy and complete passivity approaches give different answers in the presence of multiple observables. We discuss how this seems to prevent current resource theories from fully capturing thermodynamic aspects of non-commutativity.
We call a probabilistic theory "complete" if it cannot be further refined by no-signaling hidden-variable models, and name a theory "spooky" if every equivalent hidden-variable model violates Shimony's Outcome Independence. We prove that a complete theory is spooky if and only if it admits a pure steering state in the sense of Schrödinger. Finally we show that steering of complementary states leads to a Schrödinger's cat-like paradox.
Coin-flipping is a fundamental cryptographic task where a spatially separated Alice and Bob wish to generate a fair coin-flip over a communication channel. It is known that ideal coin-flipping is impossible in both classical and quantum theory. In this work, we give a short proof that it is also impossible in generalized probabilistic theories under the Generalized No-Restriction Hypothesis. Our proof relies crucially on a formulation of cheating strategies as semi-infinite programs, i.e., cone programs with infinitely many constraints. This introduces a new formalism which may be of independe…
We quantify the intrinsic noise content of an observable in a general probabilistic theory and derive a noise content inequality for incompatible observables. We apply the derived inequality to standard quantum theory, the quantum theory of processes, and polytope state spaces. The noise content for positive operator-valued measures takes a particularly simple form and equals the sum of minimal eigenvalues of all the effects. We illustrate our findings with a number of examples including the introduced notion of reverse observables.
We present a simple categorical framework for the treatment of probabilistic theories, with the aim of reconciling the fields of Categorical Quantum Mechanics (CQM) and Operational Probabilistic Theories (OPTs). In recent years, both CQM and OPTs have found successful application to a number of areas in quantum foundations and information theory: they present many similarities, both in spirit and in formalism, but they remain separated by a number of subtle yet important differences. We attempt to bridge this gap, by adopting a minimal number of operationally motivated axioms which provide cle…
It is well-known that pure quantum states are typically almost maximally entangled, and thus have close to maximally mixed subsystems. We consider whether this is true for probabilistic theories more generally, and not just for quantum theory. We derive a formula for the expected purity of a subsystem in any probabilistic theory for which this quantity is well-defined. It applies to typical entanglement in pure quantum states, coin tossing in classical probability theory, and randomization in post-quantum theories; a simple generalization yields the typical entanglement in (anti)symmetric quan…
What singles out quantum mechanics as the fundamental theory of Nature? Here we study local measurements in generalised probabilistic theories (GPTs) and investigate how observational limitations affect the production of correlations. We find that if only a subset of typical local measurements can be made then all the bipartite correlations produced in a GPT can be simulated to a high degree of accuracy by quantum mechanics. Our result makes use of a generalisation of Dvoretzky's theorem for GPTs. The tripartite correlations can go beyond those exhibited by quantum mechanics, however.
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…
We introduce a general framework for analysing general probabilistic theories, which emphasises the distinction between the dynamical and probabilistic structures of a system. The dynamical structure is the set of pure states together with the action of the reversible dynamics, whilst the probabilistic structure determines the measurements and the outcome probabilities. For transitive dynamical structures whose dynamical group and stabiliser subgroup form a Gelfand pair we show that all probabilistic structures are rigid (cannot be infinitesimally deformed) and are in one-to-one correspondence…
We discuss the possibility of creating money that is physically impossible to counterfeit. Of course, "physically impossible" is dependent on the theory that is a faithful description of nature. Currently there are several proposals for quantum money which have their security based on the validity of quantum mechanics. In this work, we examine Wiesner's money scheme in the framework of generalised probabilistic theories. This framework is broad enough to allow for essentially any potential theory of nature, provided that it admits an operational description. We prove that under a quantifiable …
Bit-commitment is a fundamental cryptographic task, in which Alice commits a bit to Bob such that she cannot later change the value of the bit, while, simultaneously, the bit is hidden from Bob. It is known that ideal bit-commitment is impossible within quantum theory. In this work, we show that it is also impossible in generalised probabilistic theories (under a small set of assumptions) by presenting a quantitative trade-off between Alice's and Bob's cheating probabilities. Our proof relies crucially on a formulation of cheating strategies as cone programs, a natural generalisation of semide…
The framework of generalized probabilistic theories (GPTs) is a popular approach for studying the physical foundations of quantum theory. The standard framework assumes the no-restriction hypothesis, in which the state space of a physical theory determines the set of measurements. However, this assumption is not physically motivated. We generalize the framework to account for systems that do not obey the no-restriction hypothesis. We then show how our framework can be used to describe new classes of probabilistic theories, for example those which include intrinsic noise. Relaxing the restricti…
We study incompatibility of measurements and its relation to steering and nonlocality in a class of finite dimensional general probabilistic theories (GPT).The basic idea is to represent finite collections of measurements as affine maps of a state space into a polysimplex and show that incompatibility is characterized by properties of these maps. We introduce the notion of an incompatibility witness and show its relation to incompatibility degree. We find the maximum incompatibility degree attainable by pairs of two-outcome quantum measurements and characterize state spaces for which incompati…
The thermodynamical entropy of a system which consists of different kinds of ideal gases is known to be defined successfully in the case when the differences are described by classical or quantum theory. Since these theories are special examples in the framework of generalized probabilistic theories (GPTs), it is natural to generalize the notion of thermodynamical entropy to systems where the internal degrees of particles are described by other possible theories. In this paper, we consider thermodynamical entropy of mixing in a specific series of theories of GPTs called the regular polygon the…
Information transfer in generalized probabilistic theories (GPT) is an important problem. We have dealt with the problem based on repeatability postulate, which generalizes Zurek's result to the GPT framework [Phys. Lett. A \textbf{379} (2015) 2694]. A natural question arises: can we deduce the information transfer result under weaker assumptions? In this paper, we generalize Zurek's result to the framework of GPT using weak repeatability postulate. We show that if distinguishable information can be transferred from a physical system to a series of apparatuses under the weak repeatability post…
Entanglement is one of the most striking features of quantum mechanics, and yet it is not specifically quantum. More specific to quantum mechanics is the connection between entanglement and thermodynamics, which leads to an identification between entropies and measures of pure state entanglement. Here we search for the roots of this connection, investigating the relation between entanglement and thermodynamics in the framework of general probabilistic theories. We first address the question whether an entangled state can be transformed into another by means of local operations and classical co…
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 …
In quantum theory, it is known for a pair of noncommutative observables that there is no state on which they take simultaneously definite values, and that there is no joint measurement of them. They are called preparation uncertainty and measurement uncertainty respectively, and research has unveiled that they are not independent from but related with each other in a quantitative way. This study aims to reveal whether similar relations to quantum ones hold also in generalized probabilistic theories (GPTs). In particular, a certain class of GPTs is considered which can be characterized by trans…
We study the informational underpinnings of thermodynamics and statistical mechanics, using an abstract framework, general probabilistic theories, capable of describing arbitrary physical theories. This allows one to abstract the informational content of a theory from the concrete details of its formalism. In this framework, we extend the treatment of microcanonical thermodynamics, namely the thermodynamics of systems with a well-defined energy, beyond the known cases of classical and quantum theory, formulating two necessary requirements for a well-defined thermodynamics. We adopt the recent …
We define an index of compatibility for a probabilistic theory (PT). Quantum mechanics with index 0 and classical probability theory with index 1 are at the two extremes. In this way, quantum mechanics is at least as incompatible as any PT. We consider a PT called a concrete quantum logic that may have compatibility index strictly between 0 and 1, but we have not been able to show this yet. Finally, we show that observables in a PT can be represented by positive, vector-valued measures.
In this note we lay some groundwork for the resource theory of thermodynamics in general probabilistic theories (GPTs). We consider theories satisfying a purely convex abstraction of the spectral decomposition of density matrices: that every state has a decomposition, with unique probabilities, into perfectly distinguishable pure states. The spectral entropy, and analogues using other Schur-concave functions, can be defined as the entropy of these probabilities. We describe additional conditions under which the outcome probabilities of a fine-grained measurement are majorized by those for a sp…
In this paper, we investigate a characterization of Quantum Mechanics by two physical principles based on general probabilistic theories. We first give the operationally motivated definition of the physical equivalence of states and consider the principle of the physical equivalence of pure states, which turns out to be equivalent to the symmetric structure of the state space. We further consider another principle of the decomposability with distinguishable pure states. We give classification theorems of the state spaces for each principle, and derive the Bloch ball in 2 and 3 dimensional syst…
Analysing causal structures in generalised probabilistic theories
Institute for Quantum Optics and Quantum Information (IQOQI) Vienna, Austrian Academy of Sciences（奥地利科学院量子光学与量子信息研究所维也纳）；Department of Mathematics, University of York（约克大学数学系）
We investigate the connection between interference and computational power within the operationally defined framework of generalised probabilistic theories. To compare the computational abilities of different theories within this framework we show that any theory satisfying three natural physical principles possess a well-defined oracle model. Indeed, we prove a subroutine theorem for oracles in such theories which is a necessary condition for the oracle to be well-defined. The three principles are: causality (roughly, no signalling from the future), purification (each mixed state arises as th…
A class of fermionic quantum field theories with interactions is shown to be equivalent to probabilistic cellular automata, namely cellular automata with a probability distribution for the initial states. Probabilistic cellular automata on a one-dimensional lattice are equivalent to two - dimensional quantum field theories for fermions. They can be viewed as generalized Ising models on a square lattice and therefore as classical statistical systems. As quantum field theories they are quantum systems. Thus quantum mechanics emerges from classical statistics. As an explicit example for an intera…
