Leaks: quantum, classical, intermediate, and more

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.


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 [3], but neither can the states of many other theories [2,9]. Non-locality is a measure of non-classicality, and quantum theory is non-local, but not maximally so [19]. 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 [1,9,11] 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 [16,24]. 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 [12], 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 [12], the leak construction is related to the "constructions of classical system types" in [22,14,13]. 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 [4] 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 [20].
A process theory [9,11] 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: 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 [9,11], 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: Composite systems, denoted A ⊗ B, then simply arise by pairing wires: Remark 2.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 [18], 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: 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: We also make the natural assumption that discarding effects compose: A process f is causal if we have: 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 [6]. When restricting to causal processes, a process theory is non-signalling [8]; hence, the causality of a theory is vital to guarantee compatibility with relativity.
Example 2.2 (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.3 (Quantum theory). Quantum theory as a process theory has finite dimensional Hilbert spaces H as its systems and completely positive trace preserving (CPTP) maps: 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 [9,10,11].
Typically, as will be the case in the examples below, we will want to describe both causal and noncausal 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 2.4 (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: where D := which allows us to "bend wires up": 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: 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): 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.: 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 2.5 (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: 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.

... and Leaks
Definition 3.1. A leak is a process: which has discarding as a right counit, that is: Proposition 3.2. All leaks are causal.
Proof. Causality of a leak means: = 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. Proof. Sequential composition of leaks is again a leak: =: and the same goes for parallel composition: =: since we have: For classical probability theory, copying of support elements provides a leak: 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: 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 [3]. 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: For pure quantum processes f , we have: with ρ causal. That is, if a reduced process f is pure, then the process g we started from must separate.
Hence, since the identity is pure, by Proposition 3.4, it follows from the defining equation of a leak (5) that any leak for quantum theory must be constant, that is of the form: where we need to take the state to be causal: Remark 3.5. In quantum theory, Proposition 3.4 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: 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.

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 [15] 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 2.4 and 2.5. The behaviour of such a feedback wire is that of a wire of the shape: for which we have the obvious equations, such as: = In particular, by means of such a wire, we can feed an output of a process back into it as an input: 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: 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: 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: where the circle indicates the feedback-loop applied to the identity. As a leak, the quality of broadcasting is one, since we have: (6) = while for constant leaks, it is zero, since we have: 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 4.1. If a process theory admits sums (cf. [11] or Appendix A), then set: with c + q = 1. Now, quality in the form Equation (11) is c.

A Representation for All Classical-Quantum Leaks
We already characterised all quantum leaks as being constant leaks; we next characterise all classical leaks.
Proposition 5.1. All classical leaks are of the form: where l is any causal classical process.
Proof. First, let us define, using the non-causal "cap" of Example 2.5: Despite the fact that this is defined using a non-causal process, the composite process l is actually causal: We can then use the matrix representation of the leak (see Appendix A): The leak condition then implies that: Then, we can check that Equation (12) is indeed satisfied: We can now also characterise all leaks for composite classical-quantum systems: where L is any causal process from classical to quantum systems.
Proof. Note that any composite leak defines a quantum leak as: 1 D and therefore, as we know all quantum leaks separate: where ρ defines a classical leak as: ρ := L and so putting this together, we have: 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.

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 6.1. Given any process theory and for each system a causal process: which is such that the following process is idempotent: and which are chosen coherently for composite systems: 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: Proof. By causality of (14): = (18) 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: which is indeed a leak in the new theory: (18) = (15) = 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.2 (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: 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. 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 [23], as a reversible interaction with an environment: = U s and so, we can equivalently view decoherence as arising due to a reversible interaction with some uncontrolled environment [24]. 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 [5]; the leaked system would then correspond to the reference system itself. This is the subject of ongoing work and is discussed in the Conclusion. 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 6.6. The leak-construction does not apply to Example 4.1, since only for c = 0, 1, we have idempotence of (15). Remark 6.7. 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 6.8. If a pre-leak with L := A is co-associative: = then the idempotence of (15) follows from causality of the pre-leak. Remark 6.9. The construction in Theorem 6.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 [12].

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 [7], 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: g Side information about process f f = 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.: 19) or in other words, all dilations of f must separate. As mentioned in remark 3.5, the separability of dilations (cf. Proposition 3.4) 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 7.1. 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: that is, it is a constant leak. However, then, from the second defining equation of broadcasting, we obtain: (6) = (20) = ρ 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: 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:

Side information about system A = A A
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 : f l 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: 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: Hence, we propose the following definition of process-purity, which packages these two conditions, (21) and (22), into a neat form: Definition 7.2. f is pure if and only if: 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: 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 7.4 (quantum purity). As for quantum theory, the only leaks are constant leaks, Condition (21) in Definition 7.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 7.5 (classical purity). All pure classical processes, between an n and m state system, are of the form: Causality of l then implies that, for each j, there can only be a single i where l j i = 1, and so, for all other i, we must have f j i = 0. This means that in each row of f j i , there is at most a single non-zero element. We can run through this argument in the opposite direction using the condition: which shows that f j i 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 7.6. 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: This means that there is no pure way to transform between classical and quantum information.

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 subtheories 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 [12].
• 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 [17]. 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 [21]?
As mentioned in Example 6.4, 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 ( [5], Section IVB): 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 [6], 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.
Then, this provides a decomposition of the identity i i i = which allows us to write any process as: 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 A.2. For each classical system type, we have a family of spiders diagrammatically defined by, firstly: · · · · · · · · · · · · = · · · · · · · · · · · · · · · and secondly, that the symmetries of the representation as spiders are respected. Alternately, spiders can be defined via the matrix representation as: · · · · · · := i i · · · i i · · · i 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: The feedback-loop we introduced can also now be interpreted as the composite of two spiders: = 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 A.3. Diagrammatically, the black/white dots are any process satisfying: · · · · · · · · · · · · · · · · · · · · · · · · = · · · · · · · · · · · · = which is equivalent to how they were introduced in Example 7.5. Alternatively, their matrix representation is: 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.

B Dilations of Classical Processes
Any dilation of a classical process f can be written as: to check this define l by its matrix elements as: and then, it is simple to check this satisfies the above equation and, moreover, is causal.

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: f r