Next Article in Journal
Entropy “2”-Soft Classification of Objects
Next Article in Special Issue
Ruling out Higher-Order Interference from Purity Principles
Previous Article in Journal
Multi-Scale Permutation Entropy Based on Improved LMD and HMM for Rolling Bearing Diagnosis
Previous Article in Special Issue
The Many Classical Faces of Quantum Structures
Article Menu
Issue 4 (April) cover image

Export Article

Entropy 2017, 19(4), 174; https://doi.org/10.3390/e19040174

Article
Leaks: Quantum, Classical, Intermediate and More
1
Department of Physics, Imperial College London, Kensington, London SW7 2AZ, UK
2
Department of Computer Science, University of Oxford, Oxford OX1 3PA, UK
*
Author to whom correspondence should be addressed.
Academic Editors: Giacomo Mauro D’Ariano and Paolo Perinotti
Received: 26 January 2017 / Accepted: 12 April 2017 / Published: 19 April 2017

Abstract

:
We introduce the notion of a leak for general process theories and identify quantum theory as a theory with minimal leakage, while classical theory has maximal leakage. We provide a construction that adjoins leaks to theories, an instance of which describes the emergence of classical theory by adjoining decoherence leaks to quantum theory. Finally, we show that defining a notion of purity for processes in general process theories has to make reference to the leaks of that theory, a feature missing in standard definitions; hence, we propose a refined definition and study the resulting notion of purity for quantum, classical and intermediate theories.
Keywords:
process theory; classical limit; purity

1. Introduction

Can we explain why the world is quantum by finding some sense in which quantum theory is an optimal theory? Broadcasting distinguishes quantum theory from classical theory in that quantum states cannot be broadcast [1], but neither can the states of many other theories [2,3]. Non-locality is a measure of non-classicality, and quantum theory is non-local, but not maximally so [4]. Therefore, is there some manner in which we can uniquely single out quantum theory? In this paper, we show that quantum theory is a leak-free theory, whilst classical theory is maximally leaking. We formalise the notion of a leak, which can roughly be thought of as a ‘one-sided broadcasting map’, within the process-theoretic framework [3,5,6] as a particular type of process, which, as the name suggests, accounts for leaking state-data into the environment.
Moreover, there is a natural way to introduce leaks to any theory, and by doing so, we obtain new theories. We call this the leak construction. In particular, classical theory can be obtained from quantum theory in this manner, where, in this example, the leaking is then nothing but decoherence [7,8]. Hence, the concept of a leak allows us to generalise decoherence to arbitrary process theories. Besides classical theory, any theory characterised by some finite-dimensional C*-algebra can be obtained in this manner from quantum theory. In fact, as we show in a follow-up paper [9], only C*-algebras can be obtained in this manner. Leaks therefore capture the operational content of finite-dimensional C*-algebras on-the-nose, in a manner that does not involve any additive structure, nor a ∗-operation.
Finally, we observe that defining purity of processes in process theories with leaks is problematic; in particular, this is the case for classical theory. Making explicit use of the concept of a leak, we therefore propose a new definition that makes sense for arbitrary processes in arbitrary process theories.

Related Work

As explained in detail in the follow-up paper [9], the leak construction is related to the “constructions of classical system types” in [10,11,12]. More specifically, in the case of quantum theory, we exactly obtain the same result, but in a much simpler way, with much less use of structure and guided by a clear operational meaning. The notion of a leak is closely related to the decomposability of a state-space [13] in the generalised probabilistic theory framework as, at least under some standard assumptions, such as the “no-restriction hypothesis”, each is equivalent to the existence of a non-disturbing measurement as discussed in [14].

2. Process Theories with Discarding...

A process theory [3,6] is a collection of systems that are represented by wires and processes that are represented by boxes with wires as inputs (at the bottom) and outputs (at the top). Moreover, when we plug these boxes together:
Entropy 19 00174 i001
the resulting diagram should also be a process. To be mathematically more precise, the data that make up a diagram are:
  • the boxes that appear in the diagram and
  • how these boxes are wired together, including the overall ordering of inputs/outputs.
Hence, two diagrams are equal when these data match up.
By a circuit [3,6], we mean a diagram that can be constructed by means of the obvious operations of parallel composition ⊗ and sequential composition ∘ of boxes. For example, the following diagrams is a circuit:
Entropy 19 00174 i002
Composite systems, denoted A B , then simply arise by pairing wires:
Entropy 19 00174 i003
Remark 1.
A process theory with circuits as diagrams can also be defined as a strict symmetric monoidal category. Strictness means that associativities and unit laws hold on-the-nose, unlike the symmetric monoidal categories of concrete mathematical models where non-trivial associativity and unit natural isomorphisms are required. Fortunately, by Mac Lane’s strictification theorem [15], every such category is categorically equivalent (although not isomorphic) to a strict one, which means that for all practical purposes, it can be thought of as a strict one.
A state is a process without inputs; an effect is a process without outputs; and a number is a process with neither inputs nor outputs. One special number is the empty diagram:
Entropy 19 00174 i004
which in most theories coincides with the number one.
Throughout this paper, for each system in a process theory, we postulate the existence of a discarding effect, which is interpreted just as its name indicates and which is denoted as:
Entropy 19 00174 i005
We also make the natural assumption that discarding effects compose:
Entropy 19 00174 i006
A process f is causal if we have:
Entropy 19 00174 i007
and a theory is causal if all of the processes of the theory are causal. Therefore, except for the fact that it composes, discarding is not subject to any defining constraints. In a sense, its behaviour is entirely implicit within its role within the defining equation of causality. In particular, by Equation (2) where f is taken to be an effect, it immediately follows that the only effects in a causal theory are the discarding effects. In this form, the axiom of causality traces back to [16]. When restricting to causal processes, a process theory is non-signalling [17]; hence, the causality of a theory is vital to guarantee compatibility with relativity.
Example 1
(Classical probability theory). When viewing probability theory as a process theory, systems are n-state classical systems and boxes are n × m stochastic matrices, and so, in particular, states are probability distributions. Discarding is given by marginalisation, and so, causality boils down to the fact that the entries of a probability distribution add up to one and that the entries in each column of a stochastic matrix add up to one.
Example 2
(Quantum theory). Quantum theory as a process theory has finite dimensional Hilbert spaces H as its systems and completely positive trace preserving (CPTP) maps:
ξ : B ( H ) B ( H )
as its processes. Causality for density operators means having trace one and for completely positive maps means being trace-preserving. One can also include classical data as additional systems, and then measurements and controlled operations are also processes. If this is the case, we will often denote the classical systems as dotted wires to distinguish them from quantum wires. Specifically, measurements are processes from quantum to classical systems where the probabilities of obtaining the different outcomes are encoded in the classical system. Causality then implies that, for projective measurements, the projectors form a resolution of the identity and, for general measurements that the POVM elements sum to discarding. A full description and a pedagogical introduction to this theory is in [3,6,18].
Typically, as will be the case in the examples below, we will want to describe both causal and non-causal processes. We therefore will still, for each system, have a discarding map, which specifies the causal processes, but there will also be other processes that will not satisfy Equation (2). There are two main reasons for this. The first is to allow us to discuss events, i.e., processes that we cannot make happen deterministically, but that can occur as a particular outcome in some experiment; therefore, allowing us to obtain the probability of obtaining a specific outcome, which, in particular, allows us, via suitable renormalisation, to describe post-selection. The second reason is mathematical simplicity: it is often much easier to define the process theory, or various structures within it, in the non-causal setting and then to restrict to the causal sub-theory when necessary.
Example 3
(Non-causal extension of quantum theory). To describe non-causal processes in quantum theory, rather than taking processes as completely positive trace-preserving maps, we instead just require that they are completely positive. It is very standard within quantum theory to consider such processes, for example Dirac bras are non-causal or, more generally, individual POVM elements are non-causal.
An important tool is the Choi–Jamiolkowski isomorphism between transformations and bipartite states. One direction of this isomorphism can be realised causally, using the Bell state, which we represent, up to a normalisation factor, with a cup-shaped wire:
Entropy 19 00174 i008
which allows us to “bend wires up”:
Entropy 19 00174 i009
This associates with each (causal) process a (causal) bipartite state. The other direction is however not realisable causally, as it relies on the Bell effect, which we represent with a cap-shaped wire:
Entropy 19 00174 i010
The fact that this is an isomorphism provides us with the following intuitive diagrammatic rule (justifying the representation of these as a cup and cap):
Entropy 19 00174 i011
It is then clear that the cap cannot be causal (even up to a rescaling) as, if it were, then the identity transformation would be separable, i.e.:
Entropy 19 00174 i012
where in the second step we relied on the fact that by causality, all effects must be discarding, so in particular, the cap, as well as Equation (1).
Example 4
(Non-causal extension of classical theory). We can similarly extend classical theory, taking processes as n × m matrices with positive real elements as opposed to stochastic matrices. This again allows us to discuss particular outcomes of measurements, which may not happen with certainty, and moreover, gives us a classical equivalent of the Choi–Jamiolkowski isomorphism where rather than using the Bell state and effect, we use the perfectly correlated state and effect, again denoted by a cup and a cap. These can be defined in terms of the orthonormal basis states and effects as:
Entropy 19 00174 i013
respectively. It is simple to check that these also satisfy Equation (3) as we would expect from the choice of the diagrammatic representation.
This forms the basic structures needed to describe the physical content of process theories; however, we will need some further tools for the proofs. These are all defined in the standard way for categorical quantum mechanics and surveyed in Appendix A for those unfamiliar with the field.

3. ... and Leaks

Definition 1.
A leak is a process:
Entropy 19 00174 i014
which has discarding as a right counit, that is:
Entropy 19 00174 i015
Proposition 1.
All leaks are causal.
Proof. 
Causality of a leak means:
Entropy 19 00174 i119
and this equation is obtained by discarding the outputs in (5).  ☐
When we have multiple leaks around, we may often represent them with different colours to distinguish them.
Proposition 2.
Leaks compose to give leaks.
Proof. 
Sequential composition of leaks is again a leak:
Entropy 19 00174 i016
since we have:
Entropy 19 00174 i017
and the same goes for parallel composition:
Entropy 19 00174 i018
since we have:
Entropy 19 00174 i019
For classical probability theory, copying of support elements provides a leak:
Entropy 19 00174 i020
since if we discard a copy, we are back with what we started off with. In fact, strictly speaking, what we are dealing with here is not a copying operation since while it copies pure classical states, it does not do that for impure ones. What it is instead is broadcasting, that is besides Equation (5), discarding is also a left counit for the leaking process:
Entropy 19 00174 i021
Note that this requires L : = A in Equation (4). This is the maximal possible leak for any system, as all of the information about the ingoing state is leaked out.
On the other hand, quantum theory does not allow for broadcasting [1]. In fact, the only kind of leak quantum theory admits is constant leaking. This immediately follows from the following fact about quantum processes, which states that any dilation of a pure process, i.e., representation as a process with an extra output that is discarded, must separate:
Proposition 3.
For pure quantum processes f, we have:
Entropy 19 00174 i022
with ρ causal. That is, if a reduced process f is pure, then the process g we started from must separate.
Proof. 
See, e.g., [3,6].  ☐
Hence, since the identity is pure, by Proposition 3, it follows from the defining equation of a leak (5) that any leak for quantum theory must be constant, that is of the form:
Entropy 19 00174 i023
where we need to take the state to be causal:
Entropy 19 00174 i024
Remark 2.
In quantum theory, Proposition 3 can actually be taken as a definition of the purity of processes, that is a quantum process f is pure if and only if all dilations of f separate. However, in theories with non-constant leaks, this definition must be revised as we discuss in detail in Section 7.
Of course, (8) is also a leak for classical probability theory, and another example arises by combining broadcasting and a constant:
Entropy 19 00174 i025
At least qualitatively, quantum theory can therefore be described as a minimally-leaking theory, as all leaks are constant leaks, whilst classical theory is maximally leaking, as for each system, there is a maximal leak. We will now provide qualitative substance to this claim.

4. Quality of a Leak

For the sake of simplicity of the argument, we will restrict ourselves to a special kind of process theories that admit the notion of a feedback wire. Explicitly spelling out the process-theoretic characterisation of a feedback wire as in [19] goes beyond the scope of this paper. It suffices to know that they exist in both quantum and classical theory, where they can be constructed in the obvious way using the cups and caps of Examples 3 and 4. The behaviour of such a feedback wire is that of a wire of the shape:
Entropy 19 00174 i026
for which we have the obvious equations, such as:
Entropy 19 00174 i027
In particular, by means of such a wire, we can feed an output of a process back into it as an input:
Entropy 19 00174 i028
i.e., we create a feedback-loop.
Feedback-loops allow us to ask questions, such as how closely will some outgoing data match an ingoing data. In particular, for the case of leaks where L = A , we can measure how closely the leaked data matches the original (while ignoring the output) via the following diagram:
Entropy 19 00174 i029
However, what tends to be more useful, particularly in the case where L A , is not asking precisely how well does the outgoing data match the ingoing, but how well does the outgoing data encode the ingoing data. For example, all of the information could be there just scrambled up or encoded in some other system type. We therefore want to consider maximising over potential restoration maps r : L A , where r is taken to be causal. We call this notion the quality of a leak:
Entropy 19 00174 i030
If the structure of the numbers in a process theory is sufficiently rich, e.g., they are the real numbers or probabilities, one can moreover renormalise this quantity as follows:
Entropy 19 00174 i031
where the circle indicates the feedback-loop applied to the identity. As a leak, the quality of broadcasting is one, since we have:
Entropy 19 00174 i032
while for constant leaks, it is zero, since we have:
Entropy 19 00174 i033
We therefore see that quantum theory is a minimally leaking theory as the renormalised quality for any leak is zero, whilst classical theory is maximal as every system has a leak with renormalised quality of one. In the next section, we consider how to increase the amount of leaking for a theory, providing a process-theoretic perspective on the quantum to classical transition.
Example 5.
If a process theory admits sums (cf. [6] or Appendix A), then set:
Entropy 19 00174 i034
with c + q = 1 . Now, quality in the form Equation (11) is c.

5. A Representation for All Classical-Quantum Leaks

We already characterised all quantum leaks as being constant leaks; we next characterise all classical leaks.
Proposition 4.
All classical leaks are of the form:
Entropy 19 00174 i035
where l is any causal classical process.
Proof. 
First, let us define, using the non-causal “cap” of Example 4:
Entropy 19 00174 i036
Despite the fact that this is defined using a non-causal process, the composite process l is actually causal:
Entropy 19 00174 i037
We can then use the matrix representation of the leak (see Appendix A):
Entropy 19 00174 i038
where Δ k i j R + . The leak condition then implies that:
j Δ k i j = δ k i
and so:
Δ k i j = Δ k i j δ k i
Then, we can check that Equation (12) is indeed satisfied:
Entropy 19 00174 i039
We can now also characterise all leaks for composite classical-quantum systems:
Proposition 5.
Denoting the classical system by a dotted line and the quantum system by a solid line; all composite classical quantum systems have leaks of the form:
Entropy 19 00174 i040
where L is any causal process from classical to quantum systems.
Proof. 
Note that any composite leak defines a quantum leak as:
Entropy 19 00174 i041
and therefore, as we know all quantum leaks separate:
Entropy 19 00174 i042
where ρ defines a classical leak as:
Entropy 19 00174 i043
and so putting this together, we have:
Entropy 19 00174 i044
The bottom line is that all of these leaks involve the copying leak as the fundamental ingredient. This is not all too surprising, since, as we showed in the previous section, it stands for maximal leakage. The processes l and L then play the role of reducing the leakage, with as the extremal cases l and L being constant, producing a constant leak.

6. The Leak-Construction

We now show how one can construct new process theories from old ones by introducing leaks. This is done by inserting particular processes of the old theory of the form (15) on all of the wires. The processes (14), to which we refer in the old theory as pre-leaks, then become leaks in the new theory. Hence, the leak construction turns pre-leaks into leaks.
Theorem 1.
Given any process theory and for each system a causal process:
Entropy 19 00174 i045
which is such that the following process is idempotent:
Entropy 19 00174 i046
and which are chosen coherently for composite systems:
Entropy 19 00174 i047
we can construct a new process theory in which each process (14) is a leak for the system A. This construction goes as follows:
  • systems stay the same;
  • one restricts processes to those of the form:
    Entropy 19 00174 i048
Proof. 
By causality of (14):
Entropy 19 00174 i049
discarding is preserved by the leak-construction. Given the form Equation (17) of the processes in the theory and due to the idempotence of Equation (15), plain wires have taken the form Equation (15), so the defining equation of a leak Equation (5) is satisfied. To consider the pre-leak in the new theory, we must apply the leak construction Equation (17), and using the condition for composites Equation (16), we get the following process in the new theory:
Entropy 19 00174 i050
which is indeed a leak in the new theory:
Entropy 19 00174 i051
which is the form of a plain wire in the new theory, and so, this construction does turn pre-leaks into leaks. It is moreover straightforward to see that we again obtain a process theory.  ☐
Sometimes the leak-construction does nothing, in particular, when the pre-leaks are already leaks:
Example 6
(Trivial). A simple example of the leak construction is the one where the pre-leaks are taken to already be leaks, since then (17) will reduce to the processes f themselves.
The main motivating example for this construction is of course the following:
Example 7
(Decoherence). The leak construction for the pre-leak:
Entropy 19 00174 i052
applied to the process theory of quantum processes (i.e., Example 2), we obtain classical probability theory (i.e., Example 1).
In the above construction, it is really the idempotents rather than the specific pre-leaks that determine the theory that is obtained. We can therefore have several different perspectives on the “cause” of this idempotent, by considering different pre-leaks from which it could be obtained. Firstly, we can always take the trivial case, where the pre-leak is just the idempotent itself, i.e., taking the leaked system as the empty system. There are however three alternate forms that always exist in quantum theory and that are more insightful.
Example 8.
Firstly we can consider the purification f of the idempotent, in the sense of [16]:
Entropy 19 00174 i053
This corresponds to the idea that information can never be fundamentally destroyed, only discarded, and so, we can see this leaking of information into some causally-separated system leading to decoherence. Another standard way to represent a general process is, via Stinespring dilation [20], as a reversible interaction with an environment:
Entropy 19 00174 i054
and so, we can equivalently view decoherence as arising due to a reversible interaction with some uncontrolled environment [8]. A final example, suggested to us by Rob Spekkens, is that the idempotent can be viewed as describing a system that lacks a reference frame [21]; the leaked system would then correspond to the reference system itself. This is the subject of ongoing work and is discussed in the Conclusion.
Example 7 leaves open the question whether there are any theories that can be obtained from this leak construction in between classical and quantum theory. This question is solved in a forthcoming paper where the key result is the following theorem:
Theorem 2.
The leak construction applied to quantum processes (i.e., Example 2) gives all C*-algebras and C*-algebras only.
Therefore, despite the weak structure of a leak, for the specific case of quantum theory, we obtain precisely the C*-algebras via the leak construction. This leads one to contemplate the view that the operational essence of (finite dimensional) C*-algebras is entirely captured by leaks and that the additional structure of C*-algebras is merely an artefact of the Hilbert space representation.
Remark 3.
The leak-construction does not apply to Example 5, since only for c = 0 , 1 , we have idempotence of (15).
Remark 4.
For a process theory in which all systems are compositions A n of one atomic system A, it suffices to pick a single process (14) for the system A (where L A will be of the form A n , since all other such processes arise then by coherence (16)).
Remark 5.
If a pre-leak with L : = A is co-associative:
Entropy 19 00174 i055
then the idempotence of (15) follows from causality of the pre-leak.
Remark 6.
The construction in Theorem 1, when modified by not fixing a pre-leak for each type, but rather considering all pairs of a system and a corresponding pre-leak, is known as the Karoubi envelope, or Cauchy completion, or splitting of idempotents. More details on this can be found in [9].

7. Process-Purity from Leaks

In this section, we consider how leaks relate to purity in process theories. The purity (or lack of purity) of a state is a fundamental concept in quantum theory and is equally important in most approaches to generalised physical theories. However, there is no reason to consider this as solely a property for states, but should be considered for all processes in a theory. Indeed, lack of knowledge about a process, the noisiness of a channel and detection errors on a POVM-element all correspond to process-impurities. We will show that defining such a property for general theories, and classical theory in particular, requires leaks.
In Reference [22], Chiribella et al. introduce the notion of side-information; this can be thought of as information that is lost during a process that, in principle, could be possessed by some other agent. The use of this in cryptographic scenarios is clear, where the side-information can be thought of as being possessed by an eavesdropper attempting to influence or gain information about some cryptographic protocol. Diagrammatically, this side information is depicted as:
Entropy 19 00174 i056
Lack of side-information for a process would imply that g must separate such that the side-information is independent of the process f. Indeed, this must be the case for any such g, i.e.:
Entropy 19 00174 i057
or in other words, all dilations of f must separate. As mentioned in Remark 2, the separability of dilations (cf. Proposition 3) has been proposed as a definition of process-purity. Indeed for the case of quantum theory, this corresponds to the expected notion of purity, that is that the CPTP map must be Kraus rank 1. Remarkably, however, in the form of (19), this definition does not extend to general processes of classical probability theory. In fact, nor does it do so for any theory that has broadcasting:
Proposition 6.
If a non-trivial theory has broadcasting and one defines purity by means of (19), then plain wires (i.e., identity processes) are not pure.
Proof. 
Assuming identities are pure and applying (19) to the defining equation of a leak (5), we obtain:
Entropy 19 00174 i058
that is, it is a constant leak. However, then, from the second defining equation of broadcasting, we obtain:
Entropy 19 00174 i059
that is, each plain wire is a constant process, and hence, the theory is trivial, since as a consequence, all processes must then be constant since for (causal) processes, we have:
Entropy 19 00174 i060
Hence, in a non-trivial theory with broadcasting, identities cannot be pure in the sense of (19).  ☐
From the first part of this proof, namely that this definition of purity implies that leaks must be constant, it follows that this issue arises in any theories with non-constant leaks. We can think of this as the fact that, if a system has a leak, then there is irreducible side-information contained within the system itself:
Entropy 19 00174 i061
Fortunately, leaks also allow us to fix this problem. Firstly, let us suppose that a theory has leaks and also has a pure process f. Then, clearly, the following is a dilation of f:
Entropy 19 00174 i062
where l is causal. One may therefore consider explicitly bringing leaks into play in the definition of purity. A first step in this direction is to weaken (19) as follows:
Entropy 19 00174 i063
However, now, we have the opposite problem: all classical processes, including all states, are pure! (See Appendix B). It is clear that we are missing a constraint. The original idea was that for a process to be pure, it should have no side-information that some eavesdropper could take advantage of. However, we have shown that for some systems, there is irreducible side-information represented by leakage. Therefore, to ensure that the eavesdropper cannot gain information or influence the process, we must demand that the process does not interact with this irreducible side-information, such that leaking before or after is equivalent:
Entropy 19 00174 i064
Hence, we propose the following definition of process-purity, which packages these two conditions, (21) and (22), into a neat form:
Definition 2.
f is pure if and only if:
Entropy 19 00174 i065
This ensures that the only side-information is this irreducible kind, i.e., system leakage, and moreover, that pure processes do not interact with this irreducible side information. To further motivate this definition, we will show that it provides a sensible definition for quantum, classical and composite systems. However, first, note that for states, this definition reduces to:
Example 9.
A state ψ is pure if we have:
Entropy 19 00174 i066
This is the same as the original definition, and so, we see that it is only for general processes that this new definition is necessary. Similarly, in the case of quantum theory, it is only the first condition that provides a non-trivial constraint:
Example 10
(quantum purity). As for quantum theory, the only leaks are constant leaks, Condition (21) in Definition 2 reduces to (19), while Condition (22) becomes trivial.
Whilst, in the classical case, as we have mentioned above, (21) is satisfied by all classical processes, and so, it is only (22) that needs to be considered:
Example 11
(classical purity). All pure classical processes, between an n and m state system, are of the form:
Entropy 19 00174 i067
where we can define the ‘upside-down broadcasting map’ by:
Entropy 19 00174 i068
and the black/white dot is any process that satisfies:
Entropy 19 00174 i069
Proof. 
We prove here that pure classical processes must be of this form and leave the proof that any process of this form is pure to Appendix C.
First consider the condition:
Entropy 19 00174 i070
for the special case where:
Entropy 19 00174 i071
and using the standard form for classical leaks to write:
Entropy 19 00174 i072
Then, we can show that:
Entropy 19 00174 i073
This implies that, for all i and j:
Entropy 19 00174 i074
so, for each i and j:
Entropy 19 00174 i075
Causality of l then implies that, for each j, there can only be a single i where l i j = 1 , and so, for all other i, we must have f i j = 0 . This means that in each row of f i j , there is at most a single non-zero element.
We can run through this argument in the opposite direction using the condition:
Entropy 19 00174 i076
which shows that f i j can have at most a single non-zero element in each column. This is precisely what is enforced by the black/white dot in the above form; the value of the non-zero elements is then determined by the state r. Hence, we can write f in the desired form.  ☐
Example 12.
If we consider purity for causal classical processes, then we find that the pure processes are those that are reversible (i.e., are isometries).
Proof. 
The definition of purity, and the standard form for classical leaks, requires that
Entropy 19 00174 i077
and so, we have:
Entropy 19 00174 i078
Therefore, f is reversible in the sense that it has a left-inverse, i.e., l.  ☐
Finally, we consider the composite case, where the conjunction of (21) and (22) is necessary:
Example 13
(Composite classical-quantum purity). Pure processes are:
Entropy 19 00174 i079
where we denote the classical system with a dotted line, and:
Entropy 19 00174 i080
is pure for all i.
Proof. 
Again, we prove the interesting direction here that pure processes on composite systems must be of this form and, again, leave the other direction to Appendix C.
Note that a generic process can be written as:
Entropy 19 00174 i081
An (almost) identical argument to the classical case shows that if this is pure, it can be written as:
Entropy 19 00174 i082
We therefore move on to considering the other part of the definition of purity, that is that any dilation can be written as a leak; that means that any dilation of this process can be written as:
Entropy 19 00174 i083
Now, note that any collection of dilations of the processes:
Entropy 19 00174 i084
defines a dilation of the whole process, which must be able to be written as a leak:
Entropy 19 00174 i085
Therefore, each g i must separate, and hence, the f i are each pure quantum processes.  ☐
An immediate consequence of this is the following.
Proposition 7.
The pure quantum to classical or classical to quantum maps are separable.
Proof. 
First note that,
Entropy 19 00174 i086
Then, using the above result regarding pure maps for composite quantum classical systems, we have,
Entropy 19 00174 i087
Similarly, we obtain separability for pure quantum to classical maps.  ☐
This means that there is no pure way to transform between classical and quantum information.

8. Conclusions

In this paper, we introduce the concept of leaks to generalised process theories. The definition of which can be thought of as a “one-way” broadcasting map. These prove to be very useful for understanding various aspects of quantum theory from a physically well-motivated perspective. In particular, we show:
  • that quantum theory is a leak-free theory, whilst classical theory is maximally leaking, giving a clear separation between the theories for which quantum theory is optimal.
  • how to construct sub-theories via a “leak construction”, which can be thought of as the sub-theories that can be obtained from a dynamical decoherence mechanism. For quantum theory, we can obtain classical theory, composite quantum classical theory and, generally, finite dimensional C*-algebras from this construction [9].
  • a characterisation of the leaks and pure processes for quantum, classical and composite systems; in particular, we demonstrate that there is no pure way to transform quantum systems into classical systems or vice versa.
  • that leaks are essential to defining purity of processes; we therefore introduce a novel definition of purity of processes, which makes sense both for quantum theory and for classical theory.

Future Work

In this paper, we have shown how classical theory emerges from quantum theory due to the leak construction, providing a process-theoretic perspective on why the world on a large scale appears to us to be classical. It is natural to ask: Is there some deeper theory of nature than quantum theory from which quantum theory emerges in an analogous way? This is the subject of a forthcoming paper [23]. A second, related question, would be to ask: What does it imply about a theory if it can obtain classical theory via a leak construction; is the ability for this to happen in quantum theory special or is this a generic feature of general theories?
We have also shown that quantum theory is minimally leaking and classical theory maximally; moreover, if we start from a process theory describing finite dimensional C*-algebras, then quantum theory is singled out as the unique minimally-leaking theory. Can this idea lead to a complete reconstruction of quantum theory [24]?
As mentioned in Example 8, one interpretation of the leak construction is as a way to represent systems for which there is a missing reference frame, that is we can write the pre-leak as ([21], Section IVB):
Entropy 19 00174 i088
where G is a group associated with a reference frame for a particular degree of freedom, U g is the representation of G on the system of interest and g the state of the reference system. Note, however, that making sense of this integral for general symmetry groups requires the reference be an infinite dimensional quantum system and so is beyond the scope of this paper. One could replace, at least for compact groups, the integral by a finite convex mixture (using the results of [16], Corollary 33 from Caratheodory’s theorem), for which the resulting idempotent would be the same. This can be thought of as there only being a finite set of possible orientations for the reference frame. However, a comprehensive understanding of the connections here would require consideration of the infinite dimensional case. Moreover, we know that in the finite dimensional case, the leak construction leads to C*-algebraic systems only; however, it remains an interesting open question as to what the leak construction leads to for infinite dimensional systems.

Acknowledgments

We thank Aleks Kissinger, Dan Marsden, Rob Spekkens and Sean Tull for useful feedback. John Selby was supported by the EPSRC (Engineering and Physical Sciences Research Council) through the Controlled Quantum Dynamics Centre for Doctoral Training, and Bob Coecke is supported by the U.S. Air Force Office of Scientific Research.

Author Contributions

Both authors contributed equally to all aspects of this work. Both authors have read and approved the final manuscript.

Conflicts of Interest

The authors declare no conflict of interest.

Appendix A. Mathematical Tools for Proofs

Definition A1.
Sums can be defined by the fact that they distribute over diagrams, that is:
Entropy 19 00174 i089
In particular, in classical probability theory, we can take sums of diagrams where the sum is the standard sum of matrices. In fact, this provides us with a matrix calculus for our diagrams. In particular, we have a basis and co-basis for each system, denoted:
Entropy 19 00174 i090
respectively, such that they are orthonormal:
Entropy 19 00174 i091
Then, this provides a decomposition of the identity
Entropy 19 00174 i092
which allows us to write any process as:
Entropy 19 00174 i093
where it is simple to check that sequential composition then coincides with a matrix multiplication, parallel composition with the matrix tensor product and diagrammatic sum with the sum of matrices.
Definition A2.
For each classical system type, we have a family of spiders diagrammatically defined by, firstly:
Entropy 19 00174 i094
and secondly, that the symmetries of the representation as spiders are respected. Alternately, spiders can be defined via the matrix representation as:
Entropy 19 00174 i095
This family of maps is particularly important as, for classical theory at least, they allow us to define various concepts that we have used throughout the paper in a unified way. Firstly, the broadcasting map can now be seen as just an example spider with one input and two outputs, but moreover, we have:
Entropy 19 00174 i096
The feedback-loop we introduced can also now be interpreted as the composite of two spiders:
Entropy 19 00174 i097
We moreover want to consider a way to join spiders of different dimensionality (denoted by using a different colour), which is exactly what the black/white dots achieve.
Definition A3.
Diagrammatically, the black/white dots are any process satisfying:
Entropy 19 00174 i098
which is equivalent to how they were introduced in Example 11. Alternatively, their matrix representation is:
Entropy 19 00174 i099
requiring that l Min ( n , m ) and π i are arbitrary permutations of the basis elements. These are then just matrices with elements { 0 , 1 } with at most a single one in each row and column.

Appendix B. Dilations of Classical Processes

Any dilation of a classical process f can be written as:
Entropy 19 00174 i100
to check this define l by its matrix elements as:
l i k j : = 1 if   f i k = 0 F i k j f i k otherwise
and then, it is simple to check this satisfies the above equation and, moreover, is causal.

Appendix C. Pure Quantum-Classical Composite Processes

We need to prove that our definition of purity, i.e., Conditions (22) and (21), is satisfied by any process of the form:
Entropy 19 00174 i101
where:
Entropy 19 00174 i102
is pure for all i.
That (22) is satisfied is a straightforward proof once the following observation, easily verified by a straightforward calculation, is made:
Entropy 19 00174 i103
such that l and l ˜ are both causal and:
Entropy 19 00174 i104
To check this, simply define l ˜ as:
Entropy 19 00174 i105
where Entropy 19 00174 i106
That (21) is satisfied is also simple if, using the purity of the f i , we can write the dilation as:
Entropy 19 00174 i107
and note that this can be written as a leak by defining:
Entropy 19 00174 i108

References

  1. Barnum, H.; Caves, C.M.; Fuchs, C.A.; Jozsa, R.; Schumacher, B. Noncommuting mixed states cannot be broadcast. Phys. Rev. Lett. 1996, 76, 2818. [Google Scholar] [CrossRef] [PubMed]
  2. Barnum, H.; Barrett, J.; Leifer, M.; Wilce, A. A generalized no-broadcasting theorem. Phys. Rev. Lett. 2007, 99, 240501. [Google Scholar] [CrossRef] [PubMed]
  3. Coecke, B.; Kissinger, A. Categorical quantum mechanics I: Causal quantum processes. In Categories for the Working Philosopher; Landry, E., Ed.; Oxford University Press: Oxford, UK, 2016. [Google Scholar]
  4. Popescu, S.; Rohrlich, D. Quantum nonlocality as an axiom. Found. Phys. 1994, 24, 379–385. [Google Scholar] [CrossRef]
  5. Abramsky, S.; Coecke, B. A categorical semantics of quantum protocols. In Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS), Washington, DC, USA, 13–17 July 2004; pp. 415–425. [Google Scholar]
  6. Coecke, B.; Kissinger, A. Picturing Quantum Processes. A First Course in Quantum Theory and Diagrammatic Reasoning; Cambridge University Press: Cambridge, UK, 2016. [Google Scholar]
  7. Kuperberg, G. The capacity of hybrid quantum memory. IEEE Trans. Inf. Theory 2003, 49, 1465–1473. [Google Scholar] [CrossRef]
  8. Zurek, W.H. Quantum darwinism. Nat. Phys. 2009, 5, 181–188. [Google Scholar] [CrossRef]
  9. Coecke, B.; Selby, J.; Tull, S. Two roads to classicality. arXiv, 2017; arXiv:1701.07400. [Google Scholar]
  10. Selinger, P. Idempotents in Dagger Categories (Extended Abstract). Electron. Notes Theor. Comput. Sci. 2008, 210, 107–122. [Google Scholar] [CrossRef]
  11. Heunen, C.; Kissinger, A.; Selinger, P. Completely positive projections and biproducts. In Proceedings of the 10th International Workshop on Quantum Physics and Logic, Barcelona, Spain, 17–19 July 2013. [Google Scholar]
  12. Cunningham, O.; Heunen, C. Axiomatizing complete positivity. arXiv, 2015; arXiv:1506.02931. [Google Scholar]
  13. Barrett, J. Information processing in generalized probabilistic theories. Phys. Rev. A 2007, 75, 032304. [Google Scholar] [CrossRef]
  14. Richens, J.; Selby, J.; Al-Safi, S. Entanglement is an inevitable feature of any non-classical theory. arXiv, 2016; arXiv:1610.00682. [Google Scholar]
  15. Mac Lane, S. Categories for the Working Mathematician; Springer: Berlin/Heidelberg, Germany, 1998. [Google Scholar]
  16. Chiribella, G.; D’Ariano, G.M.; Perinotti, P. Probabilistic theories with purification. Phys. Rev. A 2010, 81, 062348. [Google Scholar] [CrossRef]
  17. Coecke, B. Terminality implies non-signalling. arXiv, 2014; arXiv:1405.3681. [Google Scholar]
  18. Coecke, B.; Kissinger, A. Categorical quantum mechanics II: Classical-quantum interaction. arXiv, 2016; arXiv:1605.08617. [Google Scholar]
  19. Joyal, A.; Street, R.; Verity, D. Traced monoidal categories. In Mathematical Proceedings of the Cambridge Philosophical Society; Cambridge University Pressess: Cambridge, UK, 1996; Volume 119, pp. 447–468. [Google Scholar]
  20. Stinespring, W.F. Positive functions on C*-algebras. Proc. Am. Math. Soc. 1955, 6, 211–216. [Google Scholar] [CrossRef]
  21. Bartlett, S.D.; Rudolph, T.; Spekkens, R.W. Reference frames, superselection rules, and quantum information. Rev. Mod. Phys. 2007, 79, 555. [Google Scholar] [CrossRef]
  22. Chiribella, G.; D’Ariano, G.M.; Perinotti, P. Quantum from principles. In Quantum Theory: Informational Foundations and Foils; Springer: Berlin/Heidelberg, Germany, 2016; pp. 171–221. [Google Scholar]
  23. Lee, C.M.; Selby, J.H. A no-go theorem for post-quantum theories that decohere to quantum theory. arXiv, 2017; arXiv:1701.07449. [Google Scholar]
  24. Selby, J.; Scandolo, C.M.; Coecke, B. Quantum theory from diagrammatic postulates. Forthcoming submitted.

© 2017 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).
Entropy EISSN 1099-4300 Published by MDPI AG, Basel, Switzerland RSS E-Mail Table of Contents Alert
Back to Top