F.faggin Paper
F.faggin Paper
F.faggin Paper
an information-theoretical approach
We are such stuff as dreams are made on, and our little life is rounded with a sleep.
William Shakespeare
1
2 Giacomo Mauro D’Ariano and Federico Faggin
term memory, on the other hand, is classical, and needs memorization and recall
processes that are quantum-to-classical and classical-to-quantum, respectively. Such
processes can take advantage of multiple copies of the experienced state re-prepared
with "attention", and therefore allowing for a better quality of classical storing.
Finally, we explore the possibility of experimental tests of our theory in cognitive
sciences, including the evaluation of the number of qubits involved, the existence of
complementary observables, and violations of local-realism bounds.
In the appendices we succinctly illustrate the operational probabilistic theory (OPT)
framework for possible post-quantum theories of consciousness, assessing the con-
venient black-box approach of the OPT, along with its methodological robustness in
separating objective from theoretical elements, guaranteeing experimental control
and falsifiability. We finally synthetically compare the mathematical postulates and
theorems of the most relevant instances of OPTs–i.e. classical and quantum theories–
for convenience of the reader for better understanding our theory of consciousness.
The mathematical notation is provided in a handy table in the appendices.
1 A quantum-informational panpsychism
In his book The Character of Consciousness [1] David Chalmers states what he calls
the hard problem of consciousness, namely the issue of explaining our experience–
sensorial, bodily, mental, and emotional, including any stream of thoughts. Chalmers
contrasts the hard problem with the easy problems which, as it happens in all sciences,
can be tackled in terms of a mechanistic approach that is useless for the problem
of experience. Indeed, in all sciences we always seek explanations in terms of
functioning, a concept that is entirely independent from the notion of experience.
Chalmers writes:
Why is the performance of these functions accompanied by experience? ...
Why doesn’t all of this information processing go on “in the dark” free of any inner feel?...
There is an explanation gap between the function and the experience.
There are currently two main lines of response to the hard problem: 1) the
Physicalist view–with consciousness “emergent from a functioning”, such as some
biological property of life [2]; 2) the Panpsychist view–with consciousness as a
fundamental feature of the world that all entities have. What is proposed here is:
Panpsychism with consciousness as a fundamental feature of “information”, and
physics supervening on information.
The idea that physics is a manifestation of pure information processing has been
strongly advocated by John Wheeler [3] and Richard Feynman [4, 5], along with
Hard Problem and Free Will 3
several other authors, among which David Finkelstein [6], who was particularly fond
of this idea [7]. Only quite recently, however, the new informational paradigm for
physics has been concretely established. This program achieved: 1) the derivation
of quantum theory as an information theory [8, 9, 10], and 2) the derivation of
free quantum field theory as emergent from the nontrivial quantum algorithm with
denumerable systems with minimal algorithmic complexity [11, 12].1 In addition
to such methodological value, the new information-theoretic derivation of quantum
field theory is particularly promising for establishing a theoretical framework for
quantum gravity as emergent from the quantum information processing, as also
suggested by the role played by information in the holographic principle [14, 15]. In
synthesis: the physical world emerges from an underlying algorithm, and the kind of
information that is processed beneath is quantum.
The idea that quantum theory (QT) could be regarded as an information theory is
a relatively recent one [16], and originated within the field of quantum information
[17]. Meanwhile what we name “information theory” has largely evolved, from its
origins as a communication theory [18], toward a general theory of “processing” of
information, which previously had been the sole domain of computer science.
What do we mean by “information theory”?
Recently, both in physics and in computer science (which in the meantime con-
nected with quantum information), the theoretical framework for all information
theories emerged in the physics literature in terms of the notion of Operational
Probabilistic Theory (OPT) [9, 10, 19]. an isomorphic framework that emerged
within computer science in terms of Category Theory [20, 21, 22, 23, 24, 25].
Indeed, the mathematical framework of an information theory is precisely that of
the OPT, whichever information theory we consider–either classical, quantum, or
"post-quantum". The main structure of OPT is reviewed in the Appendix.2
Among the information theories, classical theory (CT) plays a special role. In
fact, besides being itself an OPT, CT enters the operational framework in terms
of objective outcomes of the theory, which for causal OPTs (as QT and CT) can
be used for conditioning the choice of a following transformation within a set.
Clearly this also happens in the special case of QT. Thus, the occurrence of a given
outcome can be regarded as a quantum-to-classical information exchange, whereas
conditioning constitutes a classical-to-quantum information exchange. We conclude
that we should regard the physical world faithfully ruled by both quantum and
classical theories together, with information transforming between the two types.
1 The literature on the informational derivation of free quantum field theory is extensive, and,
although not up to date, we suggest the review [7] written by one of the authors in memoriam
of David Finkelstein. The algorithmic paradigm has opened for the first time the possibility of
avoiding physical primitives in the axioms of the physical theory, allowing a re-foundation of the
whole physics over logically solid grounds [13].
2 The reader who is not familiar with the notion of OPT can regard the OPT as the mathematical
formalization of the rules for building quantum information circuits. For a general idea about OPT
it is recommended to read the appendix. The reader is supposed to be familiar with elementary
notions, such as state and transformation with finite dimensions.
4 Giacomo Mauro D’Ariano and Federico Faggin
This theoretical description of reality should be contrasted with the usual view
of reality as being quantum, creating a fallacy of misplaced concreteness. The most
pragmatic point of view is to regard QT and CT together as the correct information
theory to describe reality, without incurring any logical paradox. We will use this
idea in the rest of the chapter. Due to the implicit role played by CT in any OPT,
when we mention CT we intend to designate the special corresponding OPT.
We will call the present view, with consciousness as fundamental for information
and physics supervening on quantum information: Quantum-Information Panpsy-
chism.
In place of QT, one may consider a post-quantum OPT–e.g. RQT (QT on real
Hilbert spaces), FQT (Fermionic QT), PRB (an OPT build on Popescu-Rohlich boxes
[26]), etc. [10], yet some of the features of the present consciousness theory can be
translated into the other OPT, as long as the notion of “entanglement” survives in
the considered OPT.
The fundamental nature of the solution to the hard problem proposed here has been
suggested by David Chalmers as satisfying the following requirements [1]
Chalm1 : Consciousness as fundamental entity, not explained in terms of anything
simpler...
Chalm2 : ... a non reductive theory of experience will specify basic principles that
tell us how basic experience depends on physical features of the world.
Chalm3 : These psychophysical principles will not interfere with physical laws
(closure of physics). Rather they will be a supplement to physical theory.
In an information-theoretic framework, in which physics supervenes on infor-
mation our principle will be psychoinformational (see Chalm3 ). The non-reductive
(Chalm2 ) psycho-informational principle that is proposed here is the following:
P1: psychoinformational principle: Consciousness is the information-system’s expe-
rience of its own information state and processing.
As we will see soon, it is crucial that the kind of information that is directly
experienced be quantum.
Principle P1 may seem ad hoc, but the same happens with the introduction of
any fundamental quantity (Chalm1,2 ) in physics, e.g. the notions of inertial mass,
electric charge, etc. Principle P1 asserts that experience is a fundamental feature
of information, hence also of physics, which supervenes on it. P1 is not reductive
(Chalm2 ), and it does not affect physics (Chalm3 ), since the kind of information
involved in physics is quantum+classical. On the other hand, P1 supplements physics
(Chalm3 ), since the latter supervenes on information theory.
Hard Problem and Free Will 5
It is now natural to ask: which are the systems? Information, indeed, is everywhere:
light strikes objects and thereafter reaches our eyes, providing us with information
on those objects: colour, position, shape,... Information is supported by a succession
of systems: the light modes, followed by the retina, then the optical nerves, and
finally the several bottom-up and top-down visual processes occurring in the brain.
Though the final answer may have to come from neuroscience, molecular biology,
and cognitive science experiments, we can use the present OPT approach to inspire
crucial experiments. OPT has the power of being a black-box method that does not
need the detailed "physical" specification of the systems, and this is a great advan-
tage! And, indeed, our method tackles the problem in terms of a pure in-principle
reasonings, independent of the "hardware" supporting information, exactly as we do
in information theory. Such hardware independence makes the approach particularly
suited to address a problem so fundamental as the problem of consciousness.
We now proceed with the second principle:
P2: Privacy principle: Experience is not sharable, even in principle.
Principle P2 plays a special role in selecting which information theories are com-
patible with a theory of consciousness. Our experience is indeed not sharable: this
is a fact. We hypothesize that that non shareability of experience holds in principle,
not just as a technological limitation.3A crucial fact is that information shareability
is equivalent to information readability with no disturbance.4 Recently it has been
proved that the only theory where any information can be extracted without dis-
turbance is classical information theory [28]. We conclude that P2 implies that a
theory of consciousness needs nonclassical information theory, namely QT, or else
a “post-quantum” OPT.
Here we will consider the best known instance of OPT, namely QT. As we will
see, such a choice of theory turns out to be very powerful in accounting for all the
main features of consciousness. We state this choice of theory as a principle:
3 It may be possible to know which systems are involved in a particular experience, as considered in
Ref. [27]. However, we could never know the experience itself, since it corresponds to non sharable
quantum information.
4 In fact, information shareability is equivalent to the possibility of making copies of it–technically
cloning information. The possibility of cloning information, in turn, is equivalent to that of reading
information without disturbing it. Indeed, if one could read information without disturbing it, he
could read the information as many times as needed in order to acquire all its different comple-
mentary sides, technically performing a tomography of the information. And once he knows all the
information he can prepare copies of it at will. Viceversa, if one could clone quantum information,
he could read clones keeping the original untouched.
I(X : Y ) := H(pXY ||pX pY ) = Âi2X, j2Y pi
pi
i )S
Âi2X (Tr ri )S
 (Tr rj2Y
i }i2X ) := S(rX ) Âi2Xi2X,
6 Giacomo Mauro D’Ariano and Federico Faggin
XY ||pX pY ) =
P3: Psycho-purity principle: The state of the conscious system is pure.
P3 may seem arbitrary if one misidentifies the experience with the knowledge of it.
The actual experience is ontic and definite. It is ontic, à la Descartes (Cogito, ergo sum
H(p
two different definite experiences. It is the knowledge of the coin side that is definite,
which only occurs if the image of the coin is sufficiently sharp, otherwise it would be
represented in probabilistic terms, e.g. by the mixture-state 21 TAIL+ 12 HEAD, based
on a fair-coin hypothesis (see Fig. 1). We thus can understand that by the same
Ontic State
Experienced by the system
|•i"i+⌦| #i
(| |•i⌦+|•i)
| #i6=
⌦ ||•i)
!i6= ⌦||•i !i=⌦12|•i
Epistemic State
=++12 (|
(| "i | #i)
"i +
⌦ |(|•i
Predicted by an outside observer #i)+⌦|•i)
(|•i + |•i
+ +
Fig. 1 Illustration of the notions of ontic and epistemic states for a system given by a classical
bit, here represented by a coin, with states 0=HEAD or 1=TAIL. We call ontic the “actual” state
1 p1 (|"i p1 |#i)
of the system, which is pure and generally unknown, except as an unsharable experience (in the
2
(| "ip⌦2
|•i
(| "i
+ ⌦
| #i
|•i⌦+|•i)
| #i ⌦
= |•i)
2
= + 2
+ |#i) =
(|"i=
figure it is the coin state HEAD covered by the hand). We call epistemic the state that represents the
knowledge about the system of an outside observer, e.g. the state of the unbiased coin corresponds
to 21 HEAD+ 12 TAIL.
of them are more fundamental than others, e.g. spectrum colours, sound pitch, the five
different kinds of taste buds (sweet, salty, sour, bitter, and umami), somatic sensations
(pain, pleasure, ...), basic emotions (sadness, happiness, ...). Qualia are compositional
with internal structures that generally partially determine their qualitative nature.
They are connected by different relations, forming numerous complex structures,
such as thoughts and emotions. Since we regard consciousness as the direct fruition
of a very structured kind of quantum information (we are the system supporting such
final information), then, according to principle P1, qualia correspond to information
states “felt” by the aware system, and according to principles P2 and P2’ such states
are quantum states of such systems.
S1: Qualia are described by ontic pure quantum states.
We will see in Subsect. 3 how quantum entanglement can account for organizing
nontrivial qualia. The qualia space thus would be the Hilbert space of the systems
involved in the quale.
Classical information coming from the environment through the senses is ul-
timately converted into quantum information which is experienced as qualia. The
inverse quantum-to-classical transformation is also crucial in converting structures
within qualia into logical and geometric representations expressible with classical
information to communicate free-will choices to classical structures. For such pur-
poses, the interaction with the memory of past experiences may be essential, for, as
we shall see, memory is classical.
Finally we come to the problem of free will. First we must specify that free will,
contrary to consciousness, produces public effects which are classical manifestations
of quantum information. Since the manifestation is classical, the possible choices of
the conscious agent are in principle jointly perfectly discriminable.5
We then state what we mean by free.
S2: Will is free if its unpredictability by an external observer cannot be interpreted
in terms of lack of knowledge.6
In particular, statement S2 implies that the actual choice of the entity exercising its
free will cannot be in principle predicted with certainty by any external observer.
One can immediately recognise that if one regards the choice as a random variable,
it cannot be a classical one, which can always be interpreted as lack of knowledge.
On the other hand, it fits perfectly the case of quantum randomness, which cannot
be interpreted as such.7
5 In the usual classical information theory the convex set of states is a simplex, and its extremal
states are jointly discriminable.
6 Here there is a clear distinction between the "willing agent" and the observers of it. The word
unpredictability applies only to the observers.
7 The impossibility of interpretation of quantum randomness as lack on knowledge fits quantum
complementarity. Indeed we cannot by any means know both values of two complementary vari-
ables. One may argue that both values may exist anyway, even if we cannot know them, but such
argument disagrees with the violation of the CHSH bound (the most popular Bell-like bound),
which is purely probabilistic, and is based on the assumption of the existence of a joint probability
8 Giacomo Mauro D’Ariano and Federico Faggin
According to Statement S1 qualia are described by ontic quantum states and, being
such states pure, we can represent them by normalised vectors |𝜓i ∈ HA in the
Hilbert space HA of system A. For the sake of illustration we consider two simple
cases of qualia: direction and colour. These examples should not be taken literally,8
but only for the sake of illustration of the concept that the linear combinations of
qualia can give rise to new complex qualia.
Fig. 2 Illustration of how qualia superpose to make new qualia. Left figure: the Bloch sphere
illustrates the case of direction qualia. Summing and subtracting the quale “up” with the quale
“down” we obtain the qualia “right” and “left”, respectively. Similarly, if we make the same
combinations with the imaginary unit 𝑖 in front of “down” we obtain the qualia “front” and “back”.
Summing with generic complex amplitudes 𝑎 and 𝑏 (with |𝑎 | 2 + |𝑏 | 2 = 1) we get the quale
corresponding to a generic direction, corresponding to a generic pure state | 𝜓i. Right figure:
summations of two of the three colour basis red, green, and blue (RGB) and subtraction of two of
the three colours cyan, magenta and yellow (CMY). As explained in the main text, these examples
are only for the sake of illustration of the notion of linear combination of quantum ontic states to
make new ontic states corresponding to new qualia. A third case of superposition is that of sounds
with precise frequency that combine with addition and subtraction into timbers and chords. Notice
that all three cases fit the wave aspect of reality, not the particle one.
We have said that qualia combine to make new qualia, and thoughts and emotions
themselves are structured qualia. Superimposing two different kinds of qualia in an
entangled way produces new kinds of qualia. Indeed, consider the superposition of a
distribution for the values of complementary observables, assumption that obviously is violated by
quantum complementarity. Others can argue (and this is the most popular argument) that one must
use different local random variables depending on remote settings, which leads to the interpretation
of the CHSH correlations in terms of nonlocality: such interpretation, however, is artificial, whereas
the most natural one iw that the measurement outcome is created by the measurement.
8 We emphasize that the above examples are only for the sake of illustration of concepts. The
example about color qualia in Fig. 2 would be a faithful one if the colours were monochromatic and
the summation or subtraction were made with wave amplitude, not intensity, which is the actual
case. The case of direction qualia based on the Bloch sphere is literally correct. The directions are
those of the state representations on the Block sphere.
Âi2
Âi2
Âi2
) =j2
rX =
X ) ÂS(ri2i
(Tr
Y =X Y
ij Â
Âi2X
⌘
XY X pXY
i2X ) X:=
Tr ri
S(r r )
Y ) :=p||p
⇣
(Tr rii})S
:=
:= :H(p
c({r
Hard Problem and Free Will 9
Âi2X,
i i2X
c({ri }i2X ) := S(rX ) Âi2X )
I(X : Y )I(X
}
red up-arrow with a green down-arrow. This is not a yellow right-arrow as one may
c({r
expect, since the latter corresponds to the independent superposition of direction
and colour, as in the following equation:
p1 (| "i ⌦ |•i p 1 1
2
1
+ |(|#i"i⌦⌦|•i)
|•i 6= 1
!i
+ |p#i ⌦⌦
(| |•i
"i = |12+
⌦ 6=
|•i) |•i (|2|(|
!i
p "i⌦"i
#i ⌦ ⌦ = 126=
|•i
||•i)
|•i
+ #i) ⌦ #i+
+(|(|•i
| "i
!i ⌦||•i)
+⌦ |•i ⌦
#i) |12!i
6= (|•i +⌦|•i)
(| "i +|•i = (1)
| #i) ⌦ "i +
2 (|(|•i +||•i)
#i) ⌦ (|•i + |•i)
2 2
p1 (| "i
We would ⌦ |•i
have + | #i ⌦ |•i) 6= | !i ⌦ |•i = 12 (| "i + | #i) ⌦ (|•i + |•i)
instead
2
↵
p1 (| "i ⌦ |•i + | #i ⌦ |•i) = p1 (|"i + |#i) = , (2)
2 2
⇣ ⌘where
N the ket with the blue star represents a completely new qualia. In a more general
p1 . ⌦have
[. . we (|a1 ia⌦state
|b1 ivector
± |a2with
i ⌦ |btriple
2 i) ⌦or(|quadruple
"i ⌦ |•i ±or| more
#i ⌦ |•i) ⌦ (|r1 i ⌦ in ± i|r2 i ⌦ |s2 i) ⌦ . . .]
|s1aifactor
2 case, entanglement
1 product, and more generally, every system
of a tensor
µ [. . . ⌦ (|a1pi 2⌦(||b"i1 i⌦⌦|•i
|c1+
i±| #i
|a⌦ |•i) 6= | !i ⌦ |•i = 1 (| is"ientangled, e.g. + |•i) .
+ | #i) ⌦ (|•i
2 i ⌦ |b2 i ⌦ |c2 i) ⌦ (| "i2 ⌦ |•i ± | #i ⌦ |•i) ⌦ (|r1 i ⌦ |s1 i ± i|r2 i ⌦ |s2 i) ⌦ . . .]
. . . ⊗ (|𝑎 1 i ⊗ |𝑏 1 i ⊗ |𝑐 1 i ⊗ |𝑑1 i ± |𝑎 2 i ⊗ |𝑏 2 i ⊗ |𝑐 2 i ⊗ |𝑑2 i) ⊗ (| ↑i ⊗ |•i ± | ↓i ⊗ |•i) ⊗ . . .
(3)
We can realise how in this fashion one can achieve new kinds of qualia whose number
grows exponentially with the number of systems. In fact, the number of different
ways of entangling 𝑁 systems corresponds to the number of partitions of 𝑁 into
integers, multiplied√ by the number of permutations of the systems, and therefore it
grows as 𝑁!𝑒 2𝑁 /3 , and this without considering the variable vectors that can be
entangled!
Since qualia correspond to pure states of the conscious systems, their Hilbert space
coincides with the multidimensional Hilbert space of the system. Experimentally one
may be able to locate the systems in terms of neural patterns, but will never be able
to read the encoded information without destroying the person’s experience, while
at best gaining only a single complementary side of the qualia, out of exponentially
many. In synthesis:
• System identification is possible, but not the "experience" within.
The fact that it is possible to identify the information system proves that the
identity of the observer/agent is public and is thus correlated with its "sense of
self," which is instead private. This is a crucial requirement for a unified theory
of consciousness and free will, namely that the observer/agent be identifiable both
privately–from within and through qualia–and publicly–from without and through
information. Within QT (or post-quantum OPTs) this is possible.
Since the quantum state of a conscious system must be pure at all times, the only
way to guarantee that the evolving system state remains pureÍis that the evolution
itself is pure (technically it is atomic, namely its CP-map T = 𝑖 𝑇𝑖 · 𝑇𝑖† has a single
Krauss operator 𝑇𝑖0 ). We remind that both states and effects are also transformations
10 Giacomo Mauro D’Ariano and Federico Faggin
from trivial to non trivial systems and viceversa, respectively. In Table 1 we report
the theoretical representations of the three kinds of ontic transformations, including
the special cases of state and effect.
𝜔𝑡 A𝑡
O𝐹(𝑡𝑡 ,𝑥𝑡 ) A𝑡+1
=: 𝜔𝑡+1 A𝑡+1
. (4)
The epistemic transformation would be the sum of all ontic ones corresponding to
all possible outcomes: ∑︁
E (𝑡 ,𝑥𝑡 ) := O𝐹(𝑡𝑡 ,𝑥𝑡 ) . (5)
𝐹𝑡
The outcome 𝐹𝑡 is a classical output, and we identify it with the free will of the
experiencing system.
It is a probabilistic outcome that depends on the previous history of qualia of the
system. Its kind of randomness is quantum, which means that it cannot be interpreted
as lack of knowledge, and, as such, it is free. Notice that both mathematically and
literally the free will is the outcome of a transformation that corresponds to a change
of experience of the observer/agent. The information conversion from quantum to
classical can also take into account a stage of "knowledge of the will" corresponding
to "intention/purpose", namely "understanding" of which action is taken.
We may need to provide a more refined representation of the one-step ontic
transformation of the evolution in terms of a quantum circuit, for example:
A D G M
𝛼𝑖 𝜓 (𝑖) A ( 𝑥𝑡 ) (6)
R (𝑘)
B E H N
ABC
O𝐹(𝑡𝑡 , 𝑥𝑡 ) M = B
E𝑘 Λ (𝑙)
𝑗
C F V𝑙 L O
C
4. Consciousness Evolution
Hard Problem and Free Will
and Free Will 11
A t ), 𝑥𝑡A
(t,x(𝑡 At+1
where!O
t (𝑡 , 𝑥t𝑡 ) O
=F𝑂 ) t+1 (𝑡 ,𝑥=: !t+1 that
· 𝑂 𝐹𝑡 𝑡 ) † . Notice (4.1)
in the expression for the operator
𝐹𝑡 t 𝐹𝑡
(𝑡 , 𝑥𝑡 )
The epistemic transformation in Eq.be(7)
𝑂 𝐹𝑡 would thethe
sum operators
over allfrom the input
possible to the
outcomes of output areone:
the ontic written from the
right to the left–the way we compose
X (t,x ) operators on Hilbert spaces. Moreover, the
(t,x
(𝑡 ,t𝑥)𝑡 )
expression (7) ofE𝑂 𝐹
:=is not O Ft
t
unique,. since it depends on the choice (4.2)
of foliation of
𝑡
the circuit, namely the way Fyou
t cover all wires with leaves to divide the circuit into
We may need to provide a more refined representation ofEq.
input-output sections. For example, the(7) would ontic
one-step correspond to the foliation
transformation of thein Fig.
3
evolution in terms of a quantum circuit, for example:
A D G M
↵i (i)
A(xt ) . (4.3)
(k)
R
B E H N
ABC (t,xt )
OFt
M
= B
(l)
Ek ⇤j
C F L O
Vl C
Generally for each time
Fig. 3t we havecircuit
Quantum a different
foliation circuit. We see
corresponding that
to Eq. (7) in the example in Eq. 4.3
the circuit describing a single step can contain also states and effects, and the output systems
of the whole circuit are generally different (not even isomorphic) to the input ones. Following
(t,x )
the convention used for the ontic transformation OFt t the lower index is a random outcome
A different foliation, for example, is the one reported in Fig. 4, corresponding to the
and the upper index is a parameter from
(𝑡 , 𝑥𝑡 ) which the transformation depends. Overall in Eq. 4.3
expression for 𝑂 𝐹𝑡
10 The outcome is random for an observer other than the conscious system, for which, instead, it is
precisely known.
Let’s consider now the general scenario of the conscious composite system in an ontic state
(t,xt )
!t at time t evolved by the one-step ontic transformation OFt with outcome Ft , depending on
classical input from senses xt
A D G M
↵i (i)
A(xt ) . (4.3)
(k)
R
B E H N
ABC (t,xt )
OFt
M
= B
(l)
Ek ⇤j
C F L O
Vl C
Generally for each time t we have a different circuit. We see that in the example in Eq. 4.3
Fig. 4 Quantum circuit foliation corresponding to the expression for 𝑂 (𝑡,𝑥 𝑡)
Eq. (8)
the circuit describing a single step can contain also states and effects, and the 𝐹output 𝑡 systems
of the whole circuit are generally different (not even isomorphic) to the input ones. Following
(t,x )
the convention used for the ontic transformation OFt t the lower index is a random outcome
Wea parameter
and the upper index is remind thatfrom
all operators
which the(including kets and
transformation bras asOverall
depends. operators from
in Eq. 4.3and to
the trivial Hilbert space C) are contractions, namely have norm bounded by 1,
corresponding to marginal probabilities not greater than 1. Thus, also 𝑂 𝐹(𝑡𝑡,𝑥𝑡 ) is itself
a contraction. Contractivity for operator 𝑋 can be conveniently expressed as
Now, since the evolution of consciousness must be atomic at all times, we can write
a whole consciousness history as the product of the Krauss operators 𝑂 𝑡 ≡ 𝑂 𝐹(𝑡𝑡,𝑥𝑡 )
at all previous times 𝑡
and apply the history operator to the wavevector of the initial ontic state-vector |𝜔0 i
The squared norm ||𝜔𝑡 || 2 of vector 𝜔𝑡 is the probability of the full history of conscious
states {𝜔0 , 𝜔1 , 𝜔2 , . . . , 𝜔𝑡 } and equally of the free-will history {𝐹1 , 𝐹2 , . . . , 𝐹𝑡 }
5 Memory
The ontic evolution of the consciousness state, though it maintains coherence, can
keep very limited quantum memory of experience. The latter, due to contractivity
of 𝑂, will go down very fast as ||Ω𝑡 || 2 ' ||𝑂|| −2𝑡 , i.e. it will decrease exponentially
with the number of time-steps. The quantum memory intrinsic in the ontic evolution
instead works well as a short-term buffer to build up a fuller experience–e.g. of a
Hard Problem and Free Will 13
landscape, or of a detailed object, or even to detect motion. How many qubits will
make such a single-step buffer? The answer is: not so many.11 Indeed, if we open
our eyes for just a second to look at an unknown scene, and thereafter we are asked
to answer binary questions, we would get only a dozen of right answers better than
chance. Tor Nørretranders writes [31]: The bandwidth of consciousness is far lower
than the bandwidth of our sensory perceptors. ... Consciousness consists of discarded
information far more than information present. There is hardly information left in
our consciousness.12
We reasonably deduce that there is actually no room for long-term memory in
consciousness, and we conclude that:
S3: Memory is classical. Only the short-term buffer to collect each experience is
quantum.
By “short” we mean comparable to the time in which we collect the full experience,
namely of the order of a second.
11 For example, the amount of visual information is significantly degraded as it passes from the eye to
the visual cortex. Marcus E. Raichle says [29]: Of the virtually unlimited information available from
the environment only about 1010 bits/sec are deposited in the retina. Because of a limited number
of axons in the optic nerves (approximately 1 million axons in each) only 6 ∗ 106 bits/sec leave the
retina and only 104 make it to layer IV of V1 [30, 31]. These data clearly leave the impression that
visual cortex receives an impoverished representation of the world, a subject of more than passing
interest to those interested in the processing of visual information [32]. Parenthetically, it should
be noted that estimates of the bandwidth of conscious awareness itself (i.e. what we "see") are in
the range of 100 bits/sec or less [30, 31].
12 We believe that the inability to recall much information contained in one second of visual
experience, when the actual experience is felt to be quite rich, should not be construed to diminish
the importance of consciousness. In fact, experience is quantum while memory is classical, and
although not much classical information appears to have been memorized, the actual experience has
the cardinality of the continuum in Hilbert space. Consciousness is about living the experience in its
unfolding and understanding what is happening, so to make the appropriate free-will decisions when
necessary. Recalling specific information in full detail is unnecessary. Consciousness is focused
on the crucial task of getting the relevant meaning contained in the flow of experience. The scarce
conscious memory of specific objects and relationships between objects should not be an indication
that consciousness is a "low bandwidth" phenomenon, but that what is relevant to consciousness
may not be what the interrogator believes should be relevant.
14 Giacomo Mauro D’Ariano and Federico Faggin
13 For example, for the spin originally oriented horizontally and measured vertically a la von
Neumann, the final state would be vertical up or down, depending on the measurement outcome.
14 There are many ways of regarding the information-disturbance tradeoff, depending on the specific
context and the resulting definitions of information and disturbance. The present case of atomic
measurements with the "disturbance" defined in terms of the probability of reversing the measure-
ment transformation has been analysed in the first part of Ref. [34]. In the same reference it is
also shown that a reversal of the measurement would provide a contradicting information which
numerically cancels the information achieved from the original measurement, thus respecting the
quantum principle of no information without disturbance.
15 Let’s consider the case of a single qubit realised with a particle spin. The usual observable of
von Neumann corresponds to a measurement of the orientation of the spin along a given direction,
e.g. up or down along the vertical, or left or right along the horizontal direction. But when we
prepare a spin state (e.g. by Rabi techniques), we can put the spin in a very precise direction, e.g.
pointing north-east along the diagonal from south-west to north-east, and, indeed if we measure
the spin along a parallel direction we find the spin always pointing north-east! So the spin is
indeed (ontically!) pointing north-east along the same diagonal! Now it would be a legitimate
question to ask: how about measuring the direction itself of the spin? This can be done–not exactly,
but optimally–using a continuous observation test constituted of a continuous of effects (what is
usually called POVM, the acronym of Positive Operator Valued Measure). However, it turns out
that the measured direction is a fake, since such a quantum measurement with a continuous set
of outcomes is realised as a continuous random choice of a von Neumann measurement [35]. In
conclusion the optimal measurement of the spin direction is realised by a customary Stern-Gerlach
experiment in which the magnetic field is randomly oriented! The same method can be used to
achieve an informationally complete measurement to perform a quantum tomography [36] of the
state, by suitably processing the outcome depending on the orientation of the spin measurement.
16 The convex set of deterministic states for a qutrit (i.e. 𝑑 = 3), defined by algebraic inequalities,
has eight dimensions, and has a boundary made of a continuous of balls.
17 What in OPT language is called observation test is the same of what in the quantum information
literature is called discrete POVM. An observation test is infocomplete for system A when it spans
the linear space of effects Eff R (A).
Hard Problem and Free Will 15
∑︁
M ∈ Trn1 (A → B), M= 𝑀 𝑗 𝜌𝑀 †𝑗 , |𝐽 | ≥ dim(HA ) 2 , (13)
𝑗 ∈𝐽
18 Particularly symmetric types of measurements are those made with a SIC POVM (Symmetric
informationally complete POVM) [37], where 𝑀 𝑗 = | 𝜓 𝑗 i h𝜓 𝑗 | are 𝑑 2 projectors on pure states
with equal pairwise fidelity
𝑑 𝛿 𝑗𝑘 + 1
| h𝜓 𝑗 | 𝜓𝑘 i | 2 = . (14)
𝑑+1
The projectors | 𝜓 𝑗 i h𝜓 𝑗 | defining the SIC POVM in dimension 𝑑 form a (𝑑 2 − 1)-dimensional
regular simplex in the space of Hermitian operators.
19 The fidelity 𝐹 between two pure states corresponding to state vectors | 𝜓i and | 𝜑 i, respectively,
is defined as | h𝜑 | 𝜓i | 2 .
16 Giacomo Mauro D’Ariano and Federico Faggin
We would expect that most of the operation of the human body is automatic and
uses classical information that is never translated into quantum information to be
experienced by consciousness. The portion of the classical information produced
by the body that needs to be converted into quantum should only be the salient
information that supports the qualia perception and comprehension necessary to "live
life" and make appropriate free-will choices. The amount of quantum information to
be translated into classical for the purpose of free-will control of the body top-down
should be relatively small.
The combination problem concerns the issue about if and how the fundamental
conscious minds come to compose, constitute, or give rise to some other, additional
conscious mind [41]. By definition, the problem becomes crucial for panpsychism:
if cosciousness is everywhere, what is the criterion to select novel conscious in-
dividuals? Is the union of two conscious beings a conscious being? If this is true,
then any subset of a conscious being can also be a conscious being. The present
theoretical approach provides a precise individuation criterion. The criterion derives
from principle P3 about the purity of quantum conscious states and, consequently,
the need for ontic transformations. Let’s see how it works.
It is reasonable to say that an individual is defined by the continuity of its experi-
ence. Such a statement may be immediately obvious to some readers. However, for
those who may not agree, we propose a thought experiment.
20 The optimal fidelity in Eq. (15) is achieved by an observation test with atomic effects |Φ𝑖 i hΦ𝑖 |
with
√︁ 𝑀 +𝑑−1
|Φ𝑖 i = 𝑤𝑖 𝑑 𝑀 | 𝜓𝑖 i ⊗𝑀 , 𝑑𝑀 = , (16)
𝑑−1
where { | 𝜓𝑖 i }𝑖=1
𝐴 are pre-specified pure state-vectors, and {𝑤 } 𝐴 is a probability vector satisfying
𝑖 𝑖=1
the identity
𝐴
∑︁ D E
𝑤𝑖 | 𝜓𝑖 i h𝜓𝑖 | ⊗𝑀 = | 𝜓i h𝜓 | ⊗𝑀 . (17)
𝑖=1
where the notation h. . .i denotes averaging over the prior of pure-state vectors, taking as the prior
the Haar measure on the unit sphere in C𝑑 .
Hard Problem and Free Will 17
entangled
marginal states
are epistemic factorised ontic states
1 individual 2 individuals
Fig. 5 The combination problem. Stated generally, the problem is about how the fundamental
conscious minds come to compose, constitute, or give rise to some further conscious mind. The
ontic-state principle P1 provides a partial criterion to exclude some situations, e.g. (figure on the
left) two entangled systems cannot separately be conscious entities, since each one is in a marginal
state of an entangled one, hence it is necessarily mixed. On the other hand, (figure on the right) if
two systems are in a factorized pure state, each system is in an ontic state, and they are two single
individuals, and remain so depending on their following interactions (see Fig. 6).
21 Teleportation will need the availability of shared entanglement and classical communication, and
technically would use a Bell measurement at the sender and a conditioned unitary transformation
at the receiver. [42]
22 Of course, this would violate the no cloning theorem, if at the transmission point the original
individual would not be destroyed. Indeed, according to the quantum information-disturbance
tradeoff [34], teleportation cannot even make a bad copy leaving the original untouched.
18 Giacomo Mauro D’Ariano and Federico Faggin
Fig. 6 The combination problem. The general individuation criterion in statement S4 requires
full quantum coherence, namely the ontic nature of both states and transformations. In the case
depicted in this figure, every transformation (including effects and states as special cases) is pure,
and we suppose each multipartite transformation is not factorizable. Then the first two boxes on
the left represent two separate individuals. The box in the middle merges the two individual into
a single one, whereas the immediately following effects convert quantum to classical information,
and separate again the single individual into the original separate ones. Notice that a merging of
two individuals necessarily needs a quantum interaction.
for the output state of the previous step, and this needs the multiplication for all
possible outcomes (the free will) of the corresponding Kraus operator of the last
ontic transformation. With a RAM of the order of Gbytes one could definitely
operate with a dozen qubits at a time. This should be compared with 53 qubits of
the Google or IBM quantum computer, the largest currently available, likely to share
classical information in tandem with a large classical computer. However, it is not
excluded that some special phenomena could be already discovered/analyzed with a
laptop.
8 Philosophic implications
It is not an overstatement to say that the OPT framework represents a new Galilean
revolution for the scientific method. In fact, it is the first time that a theory-
independent set of rules is established on how to build up a theory in physics
and possibly in other sciences. Such rules constitute what is called the operational
framework. Its rigour is established by the simple fact that the OPT is just "meta-
mathematics", since it is a chapter of category theory [47, 48]. To be precise the
largest class of OPTs corresponds to a monoidal braided category. The fact that the
same categoric framework is used in computer science [49, 50, 51, 52, 53] gives an
idea of the thoroughness and range of applicability of the rules of the OPT.
Lucien Hardy in several seminal papers [54, 55, 56] introduced a heuristic frame-
work that can be regarded as a forerunner of the OPT, which made its first appearance
in Refs. [9, 8], and soon was connected to the categorical approach in computer sci-
ence [20, 22, 23, 24, 25, 21]. As already mentioned, both QT and CT are OPTs
[10], but one can build up other OPTs, such as variations of QT e.g. fermionic QT
[57], or QT on real Hilbert space [10], or QT with only qubits, but also CT with
entanglement [58] or without local discriminability [59]. Also other toy-theories,
such as the PR-Boxes, are believed to be completable to OPTs (see e.g. [60]).
The connection of OPT with computer science reflects the spirit of the OPT,
which essentially was born on top of the new field of quantum information. Indeed,
the OPT framework is the formalization of the rules for building up quantum circuits
and for attaching to them a joint probability: in such a way the OPT literally becomes
an extension of probability theory.
How does an OPT works? It associates to each joint probability of multiple events
a closed directed acyclic graph (CDAG) of input-output relations as in Fig. 7. Each
event (e.g. E 𝑚 in figure) is an elementÍ of a complete test ({E 𝑚 } 𝑚∈M in figure)
with normalized marginal probability 𝑚∈M 𝑝(E 𝑚 ) = 1. The graph tells us that the
marginal probability distribution of any set of tests still depends on the marginal-
ized set, e.g. the marginal probability distribution of test {E 𝑚 } 𝑚∈M depends on the
22 Giacomo Mauro D’Ariano and Federico Faggin
full graph of tests to which it is connected, although it has been partially or fully
marginalised. As a rule, disconnected graphs (as 𝛾1 and 𝛾2 in Fig. 7) are statistically
independent, namely their probability distributions factorize. The oriented wires de-
S {Tw }w2W
<latexit sha1_base64="v43zlFHATX7f7Kh7SCDQuCCMBA8=">AAACA3icbVDLSsNAFJ34rPUVdaebwSK4KkkVdFl047JCX9CEMJlO2qEzkzAzsZQQcOOvuHGhiFt/wp1/47TNQlsPXDiccy/33hMmjCrtON/Wyura+sZmaau8vbO7t28fHLZVnEpMWjhmseyGSBFGBWlpqhnpJpIgHjLSCUe3U7/zQKSisWjqSUJ8jgaCRhQjbaTAPvayzMOIwWYejL08yMYeFZ7ksJMHdsWpOjPAZeIWpAIKNAL7y+vHOOVEaMyQUj3XSbSfIakpZiQve6kiCcIjNCA9QwXiRPnZ7IccnhmlD6NYmhIaztTfExniSk14aDo50kO16E3F/7xeqqNrP6MiSTUReL4oShnUMZwGAvtUEqzZxBCEJTW3QjxEEmFtYiubENzFl5dJu1Z1L6q1+8tK/aaIowROwCk4By64AnVwBxqgBTB4BM/gFbxZT9aL9W59zFtXrGLmCPyB9fkDOwOX5A==</latexit>
T
{Xr```
}r2R
<latexit sha1_base64="eWlkQt7lKDFC/uMKTt2pyQe80ok=">AAACA3icbVBNS8NAEJ34WetX1JteFovgqSRV0GPRi8cq9gOaEDbbbbt0swm7G6GEgBf/ihcPinj1T3jz37htc9DWBwOP92aYmRcmnCntON/W0vLK6tp6aaO8ubW9s2vv7bdUnEpCmyTmseyEWFHOBG1qpjntJJLiKOS0HY6uJ377gUrFYnGvxwn1IzwQrM8I1kYK7EMvyzyCOerkgfTyIJMeE56M0F0e2BWn6kyBFolbkAoUaAT2l9eLSRpRoQnHSnVdJ9F+hqVmhNO87KWKJpiM8IB2DRU4osrPpj/k6MQoPdSPpSmh0VT9PZHhSKlxFJrOCOuhmvcm4n9eN9X9Sz9jIkk1FWS2qJ9ypGM0CQT1mKRE87EhmEhmbkVkiCUm2sRWNiG48y8vklat6p5Va7fnlfpVEUcJjuAYTsGFC6jDDTSgCQQe4Rle4c16sl6sd+tj1rpkFTMH8AfW5w8qI5fZ</latexit>
{Zf }f 2F
Z
<latexit sha1_base64="v07fsuvuATXf1s8XcZZab6k3C5E=">AAACA3icbVDLSsNAFJ3UV62vqDvdDBbBVUmqoMuiIC4r2Ac2IUymk3bozCTMTIQSAm78FTcuFHHrT7jzb5y2WWjrgQuHc+7l3nvChFGlHefbKi0tr6yuldcrG5tb2zv27l5bxanEpIVjFstuiBRhVJCWppqRbiIJ4iEjnXB0NfE7D0QqGos7PU6Iz9FA0IhipI0U2AdelnkYMXifB5GXB1nkUeFJDq/zwK46NWcKuEjcglRBgWZgf3n9GKecCI0ZUqrnOon2MyQ1xYzkFS9VJEF4hAakZ6hAnCg/m/6Qw2Oj9GEUS1NCw6n6eyJDXKkxD00nR3qo5r2J+J/XS3V04WdUJKkmAs8WRSmDOoaTQGCfSoI1GxuCsKTmVoiHSCKsTWwVE4I7//Iiaddr7mmtfntWbVwWcZTBITgCJ8AF56ABbkATtAAGj+AZvII368l6sd6tj1lrySpm9sEfWJ8/9Y6Xtw==</latexit>
R
{Yj }j2J
A
<latexit sha1_base64="9N+upViJcSLTywix3Hk0+2frZpg=">AAACA3icbVDLSsNAFJ3UV62vqDvdDBbBVUmqoMuiG3FVwT6kCWEynbbTzkzCzEQoIeDGX3HjQhG3/oQ7/8Zpm4W2HrhwOOde7r0njBlV2nG+rcLS8srqWnG9tLG5tb1j7+41VZRITBo4YpFsh0gRRgVpaKoZaceSIB4y0gpHVxO/9UCkopG40+OY+Bz1Be1RjLSRAvvAS1MPIwbvs2DoZUE69KjwJIc3WWCXnYozBVwkbk7KIEc9sL+8boQTToTGDCnVcZ1Y+ymSmmJGspKXKBIjPEJ90jFUIE6Un05/yOCxUbqwF0lTQsOp+nsiRVypMQ9NJ0d6oOa9ifif10l078JPqYgTTQSeLeolDOoITgKBXSoJ1mxsCMKSmlshHiCJsDaxlUwI7vzLi6RZrbinlertWbl2mcdRBIfgCJwAF5yDGrgGddAAGDyCZ/AK3qwn68V6tz5mrQUrn9kHf2B9/gAGmJfC</latexit>
<latexit sha1_base64="bRh730Q8GS2jlTg58NjGRWWrC98=">AAAB73icbVBNS8NAEJ3Ur1q/qh69LBbBU0mqoMeiF48V7Ae0oUy2m3bpbhJ3N0IJ/RNePCji1b/jzX/jts1BWx8MPN6bYWZekAiujet+O4W19Y3NreJ2aWd3b/+gfHjU0nGqKGvSWMSqE6BmgkesabgRrJMohjIQrB2Mb2d++4kpzePowUwS5kscRjzkFI2VOr0hSon9Wr9ccavuHGSVeDmpQI5Gv/zVG8Q0lSwyVKDWXc9NjJ+hMpwKNi31Us0SpGMcsq6lEUqm/Wx+75ScWWVAwljZigyZq78nMpRaT2RgOyWakV72ZuJ/Xjc14bWf8ShJDYvoYlGYCmJiMnueDLhi1IiJJUgVt7cSOkKF1NiISjYEb/nlVdKqVb2Lau3+slK/yeMowgmcwjl4cAV1uIMGNIGCgGd4hTfn0Xlx3p2PRWvByWeO4Q+czx+zB4++</latexit>
2
{Ai }i2I
<latexit sha1_base64="zrBWtm7GGuHYPIktMr9nPECm2QE=">AAACCXicbVDLSsNAFJ3UV62vqEs3Q4sgCCWpC11W3eiugn1AE8JkOmmHTiZhZiKEkK0bt36GGxeKuPUP3PVvnLRdaOuBC4dz7uXee/yYUaksa2KUVlbX1jfKm5Wt7Z3dPXP/oCOjRGDSxhGLRM9HkjDKSVtRxUgvFgSFPiNdf3xd+N0HIiSN+L1KY+KGaMhpQDFSWvJMWHEyJ0RqhBHLLnOPOrmXUYfyzBEhvM1zz6xZdWsKuEzsOak1q87p86SZtjzz2xlEOAkJV5ghKfu2FSs3Q0JRzEhecRJJYoTHaEj6mnIUEulm009yeKyVAQwioYsrOFV/T2QolDINfd1ZHC0XvUL8z+snKrhwM8rjRBGOZ4uChEEVwSIWOKCCYMVSTRAWVN8K8QgJhJUOr6JDsBdfXiadRt0+qzfudBpXYIYyOAJVcAJscA6a4Aa0QBtg8AhewBt4N56MV+PD+Jy1loz5zCH4A+PrB/JCnXo=</latexit>
{Em }m2M
<latexit sha1_base64="C0bMszFpi1/HewDLrI/SqeXIRwI=">AAACCXicbVDLSsNAFJ3UV62vqEs3Q4sgCCWpC10WRXAjVLAPaEKYTKft0JlJmJkIIWTrxq2f4caFIm79A3f9G6ePhbYeuHA4517uvSeMGVXaccZWYWV1bX2juFna2t7Z3bP3D1oqSiQmTRyxSHZCpAijgjQ11Yx0YkkQDxlph6Orid9+IFLRSNzrNCY+RwNB+xQjbaTAhiUv8zjSQ4xYdp0H3MuDjHtUZJ7k8DbPA7viVJ0p4DJx56RSL3unz+N62gjsb68X4YQToTFDSnVdJ9Z+hqSmmJG85CWKxAiP0IB0DRWIE+Vn009yeGyUHuxH0pTQcKr+nsgQVyrloemcHK0WvYn4n9dNdP/Cz6iIE00Eni3qJwzqCE5igT0qCdYsNQRhSc2tEA+RRFib8EomBHfx5WXSqlXds2rtzqRxCWYogiNQBifABeegDm5AAzQBBo/gBbyBd+vJerU+rM9Za8GazxyCP7C+fgALUZ2K</latexit>
F
B G {Mp }p2P
<latexit sha1_base64="qR39pdwHwRGZOspzxcgQM1+Grjw=">AAACCXicbVC7TsMwFHXKq6Q8AowsFgWJqUrKAGMFCwtSkehDaqLIcZ3WquNEtlOpirKy8CssDFSItX/AxofAjPsYoOVIVzo6517de0+QMCqVbX8ahbX1jc2t4rZZ2tnd27cODpsyTgUmDRyzWLQDJAmjnDQUVYy0E0FQFDDSCgY3U781JELSmD+oUUK8CPU4DSlGSku+BU03cyOk+hix7C73Ezf3s8SlPHNFBOt57ltlu2LPAFeJsyDl2unXeDIsfdd968PtxjiNCFeYISk7jp0oL0NCUcxIbrqpJAnCA9QjHU05ioj0stknOTzTSheGsdDFFZypvycyFEk5igLdOT1aLntT8T+vk6rwyssoT1JFOJ4vClMGVQynscAuFQQrNtIEYUH1rRD3kUBY6fBMHYKz/PIqaVYrzkWleq/TuAZzFMExOAHnwAGXoAZuQR00AAaP4Bm8grHxZLwYb8b7vLVgLGaOwB8Ykx/NHJ7V</latexit>
P
{Bj }j2J {Fn```
}n2N
H
<latexit sha1_base64="E+H5X1oaajGnPa87BWiwoRsQdhQ=">AAACCXicbVDLSsNAFJ3UV62vqEs3Q4sgCCWpC10WBXElFewDmhAm00k7dDIJMxMhhGzduPUz3LhQxK1/4K5/46TtQlsPXDiccy/33uPHjEplWROjtLK6tr5R3qxsbe/s7pn7Bx0ZJQKTNo5YJHo+koRRTtqKKkZ6sSAo9Bnp+uOrwu8+ECFpxO9VGhM3RENOA4qR0pJnwoqTOSFSI4xYdp173Mm9jDuUZ44I4W2ee2bNqltTwGViz0mtWXVOnyfNtOWZ384gwklIuMIMSdm3rVi5GRKKYkbyipNIEiM8RkPS15SjkEg3m36Sw2OtDGAQCV1cwan6eyJDoZRp6OvO4mi56BXif14/UcGFm1EeJ4pwPFsUJAyqCBaxwAEVBCuWaoKwoPpWiEdIIKx0eBUdgr348jLpNOr2Wb1xp9O4BDOUwRGoghNgg3PQBDegBdoAg0fwAt7Au/FkvBofxuestWTMZw7BHxhfPxGRnY4=</latexit>
<latexit sha1_base64="ppK/horOIwAda2Evm8fmhs7cuMg=">AAACCXicbVC7TsMwFHV4lpZHgJHFoiAxVUkZYKzKgpiKRB9SE0WO67RuHSeynUpVlJWFX2FhoEKs/QM2PgRm3McALUe60tE59+ree/yYUaks69NYW9/Y3NrO7eQLu3v7B+bhUUNGicCkjiMWiZaPJGGUk7qiipFWLAgKfUaa/uBm6jeHREga8Qc1iokboi6nAcVIackzYd5JnRCpHkYsrWZe38m8tO9QnjoihHdZ5plFq2TNAFeJvSDFytnXeDIsfNc888PpRDgJCVeYISnbthUrN0VCUcxIlncSSWKEB6hL2ppyFBLpprNPMniulQ4MIqGLKzhTf0+kKJRyFPq6c3q0XPam4n9eO1HBtZtSHieKcDxfFCQMqghOY4EdKghWbKQJwoLqWyHuIYGw0uHldQj28surpFEu2Zel8r1OowrmyIETcAougA2uQAXcghqoAwwewTN4BWPjyXgx3oz3eeuasZg5Bn9gTH4An6meuA==</latexit>
{Pu }u2U
O <latexit sha1_base64="qWJY73wKGC6CSWevrtM0nsDx1lA=">AAACCXicbVDLSsNAFJ3UV42vqEs3Q4sgCCWpC10W3bisYNpCE8JkOmmHTiZhZiKEkK0bt36GGxeKuPUP3PVvnD4W2nrgwuGce7n3njBlVCrbnhiVtfWNza3qtrmzu7d/YB0edWSSCUxcnLBE9EIkCaOcuIoqRnqpICgOGemG45up330gQtKE36s8JX6MhpxGFCOlpcCCpld4MVIjjFjRLoPMK4Mi8ygvPBFDtywDq2437BngKnEWpN6qeefPk1beDqxvb5DgLCZcYYak7Dt2qvwCCUUxI6XpZZKkCI/RkPQ15Sgm0i9mn5TwVCsDGCVCF1dwpv6eKFAsZR6HunN6tFz2puJ/Xj9T0ZVfUJ5minA8XxRlDKoETmOBAyoIVizXBGFB9a0Qj5BAWOnwTB2Cs/zyKuk0G85Fo3mn07gGc1TBCaiBM+CAS9ACt6ANXIDBI3gBb+DdeDJejQ/jc95aMRYzx+APjK8fQhadrQ==</latexit>
L {Nq }q2Q
<latexit sha1_base64="co/LF5+L4b85yLlgR/281nDIQkY=">AAAB73icbVBNS8NAEJ3Ur1q/qh69LBbBU0mqoMeiF48V7Ae0oUy2m3bpbhJ3N0IJ/RNePCji1b/jzX/jts1BWx8MPN6bYWZekAiujet+O4W19Y3NreJ2aWd3b/+gfHjU0nGqKGvSWMSqE6BmgkesabgRrJMohjIQrB2Mb2d++4kpzePowUwS5kscRjzkFI2VOr0hSol9r1+uuFV3DrJKvJxUIEejX/7qDWKaShYZKlDrrucmxs9QGU4Fm5Z6qWYJ0jEOWdfSCCXTfja/d0rOrDIgYaxsRYbM1d8TGUqtJzKwnRLNSC97M/E/r5ua8NrPeJSkhkV0sShMBTExmT1PBlwxasTEEqSK21sJHaFCamxEJRuCt/zyKmnVqt5FtXZ/Wanf5HEU4QRO4Rw8uII63EEDmkBBwDO8wpvz6Lw4787HorXg5DPH8AfO5w+xg4+9</latexit>
1
C
<latexit sha1_base64="i4FQ9m2HnN6e5c7c66X2ZgNUs98=">AAACCXicbVC7TsMwFHV4lpRHgJHFoiAxVUkZYKxgYUKtRB9SU0WO67RWHSe1nUpVlJWFX2FhoEKs/QM2PgRm3McALUe60tE59+ree/yYUals+9NYW9/Y3NrO7Zj53b39A+vwqC6jRGBSwxGLRNNHkjDKSU1RxUgzFgSFPiMNv3879RtDIiSN+IMaxaQdoi6nAcVIacmzoOmmbohUDyOW3mfewM28dOBSnroihNUs86yCXbRngKvEWZBC+exrPBnmvyue9eF2IpyEhCvMkJQtx45VO0VCUcxIZrqJJDHCfdQlLU05Colsp7NPMniulQ4MIqGLKzhTf0+kKJRyFPq6c3q0XPam4n9eK1HBdTulPE4U4Xi+KEgYVBGcxgI7VBCs2EgThAXVt0LcQwJhpcMzdQjO8surpF4qOpfFUlWncQPmyIETcAougAOuQBncgQqoAQwewTN4BWPjyXgx3oz3eeuasZg5Bn9gTH4A01ye2Q==</latexit>
N
{Gh }h2H
<latexit sha1_base64="6NLrGK54IPGPWmU81HkYEygborg=">AAACCXicbVDLSsNAFJ3UV42vqEs3Q4sgCCWpC10WXdhlBfuApoTJdNoMnUzCzEQIIVs3bv0MNy4UcesfuOvfOGm70NYDFw7n3Mu99/gxo1LZ9tQora1vbG6Vt82d3b39A+vwqCOjRGDSxhGLRM9HkjDKSVtRxUgvFgSFPiNdf3JT+N0HIiSN+L1KYzII0ZjTEcVIacmzoOlmbohUgBHLbnMvcHMvC1zKM1eEsJnnnlW1a/YMcJU4C1JtVNzz52kjbXnWtzuMcBISrjBDUvYdO1aDDAlFMSO56SaSxAhP0Jj0NeUoJHKQzT7J4alWhnAUCV1cwZn6eyJDoZRp6OvO4mi57BXif14/UaOrQUZ5nCjC8XzRKGFQRbCIBQ6pIFixVBOEBdW3QhwggbDS4Zk6BGf55VXSqdeci1r9TqdxDeYogxNQAWfAAZegAZqgBdoAg0fwAt7Au/FkvBofxue8tWQsZo7BHxhfP/cjnX0=</latexit>
<latexit sha1_base64="jjlMrGv2oUThaNtQ+X+2ggdLmis=">AAACCXicbVDLSsNAFJ3UV42vqEs3Q4sgCCWpC10WuxHcVLAPaEqYTKftkMkkzEyEELJ149bPcONCEbf+gbv+jZO2C209cOFwzr3ce48fMyqVbU+N0tr6xuZWedvc2d3bP7AOjzoySgQmbRyxSPR8JAmjnLQVVYz0YkFQ6DPS9YNm4XcfiJA04vcqjckgRGNORxQjpSXPgqabuSFSE4xY1sy9wM29LHApz1wRwts896yqXbNngKvEWZBqo+KeP08bacuzvt1hhJOQcIUZkrLv2LEaZEgoihnJTTeRJEY4QGPS15SjkMhBNvskh6daGcJRJHRxBWfq74kMhVKmoa87i6PlsleI/3n9RI2uBhnlcaIIx/NFo4RBFcEiFjikgmDFUk0QFlTfCvEECYSVDs/UITjLL6+STr3mXNTqdzqNazBHGZyACjgDDrgEDXADWqANMHgEL+ANvBtPxqvxYXzOW0vGYuYY/IHx9QP+wp2C</latexit>
E
{Dl }l2K
<latexit sha1_base64="BuU2qgPYBIiDHF18zsXI8sHtEBQ=">AAACCXicbVDLSsNAFJ3UV62vqEs3Q4sgCCWpC10WdSG4qWAf0IQwmU7aoZNJmJkIIWTrxq2f4caFIm79A3f9GydtF9p64MLhnHu59x4/ZlQqy5oYpZXVtfWN8mZla3tnd8/cP+jIKBGYtHHEItHzkSSMctJWVDHSiwVBoc9I1x9fFX73gQhJI36v0pi4IRpyGlCMlJY8E1aczAmRGmHEsuvcY07uZcyhPHNECG/z3DNrVt2aAi4Te05qzapz+jxppi3P/HYGEU5CwhVmSMq+bcXKzZBQFDOSV5xEkhjhMRqSvqYchUS62fSTHB5rZQCDSOjiCk7V3xMZCqVMQ193FkfLRa8Q//P6iQou3IzyOFGE49miIGFQRbCIBQ6oIFixVBOEBdW3QjxCAmGlw6voEOzFl5dJp1G3z+qNO53GJZihDI5AFZwAG5yDJrgBLdAGGDyCF/AG3o0n49X4MD5nrSVjPnMI/sD4+gEDi52F</latexit>
{Hz }z2Z
<latexit sha1_base64="hFkRQvoh42rt9ehTeyXFkF+ms+w=">AAACCXicbVDLSsNAFJ3UV42vqks3Q4sgCCWpC10W3XRZwT6wCWEynbRDJ5MwMxHakK0bt36GGxeKuPUP3PVvnLRdaOuBC4dz7uXee/yYUaksa2oU1tY3NreK2+bO7t7+QenwqC2jRGDSwhGLRNdHkjDKSUtRxUg3FgSFPiMdf3ST+50HIiSN+J0ax8QN0YDTgGKktOSVoOmkTojUECOWNjJv4mReOnEoTx0Rwvss80oVq2rNAFeJvSCVetk5f57Wx02v9O30I5yEhCvMkJQ924qVmyKhKGYkM51EkhjhERqQnqYchUS66eyTDJ5qpQ+DSOjiCs7U3xMpCqUch77uzI+Wy14u/uf1EhVcuSnlcaIIx/NFQcKgimAeC+xTQbBiY00QFlTfCvEQCYSVDs/UIdjLL6+Sdq1qX1RrtzqNazBHEZyAMjgDNrgEddAATdACGDyCF/AG3o0n49X4MD7nrQVjMXMM/sD4+gFMq520</latexit>
noting output-input connections between the tests (labeled by Roman letters in figure
7), are the so called systems of the theory.
24 A von Neumann measurement of e.g. 𝜎𝑧 has two outcomes "up" and "down", and the output
particle will be in the corresponding eigenstate of 𝜎𝑧 .
Hard Problem and Free Will 23
the second one Θ𝛽 measuring 𝜎𝛽 , where 𝛼 and 𝛽 can assume either of the two values
𝑥, 𝑧. The setup is represented by the graph shown in the figure, where A represents
the system corresponding to the particle spin, 𝑒 the deterministic test that simply
discards the particle, and the two tests Σ 𝛼 , Θ𝛽 (𝛼, 𝛽 = 𝑥, 𝑧) the two von Neuman
measurements. Now, clearly, for 𝛼 = 𝑧 one has the marginal probability distribution
𝑝(Σ𝑧 ) = (1, 0) and 𝑝(Σ 𝑥 ) ( 12 , 12 ) independently of the choice of the test Θ𝛽 . On the
other hand, for the second test one has marginal probability 𝑝(Θ 𝑥 ) = (1, 0) for Σ𝑧
and 𝑝(Θ 𝑥 ) = ( 12 , 12 ) for Σ 𝑥 . We conclude that the marginal probability of Σ 𝛼 is
independent of the choice of the test Θ𝛽 , whereas the marginal probability of Θ𝛽
depends of the choice of Σ 𝛼 . Thus, the marginal probability of Θ𝛽 generally depends
on the choice of Σ 𝛼 , and this concept goes beyond the content of joint probability, and
needs the OPT graph. Theoretically, we conclude that there is "something flying"
from test Σ 𝛼 to test Θ𝛽 (although we cannot see it!): this is what we theoretical
describe as a spinning particle! This well illustrates the notion of system: a theoretical
connection between tested events.
A A A
| "ih" |
<latexit sha1_base64="G1PWZ/57wB9fFjYZU3i+MtgwA44=">AAACDXicbVC7TsMwFHXKq5RXgJHFpSAxVUlBgrGChbFI9CE1UeW4TmvVsSPbAVVpf4CFX2FhACFWdjb+BrcNErQc6eoenXOv7HuCmFGlHefLyi0tr6yu5dcLG5tb2zv27l5DiURiUseCCdkKkCKMclLXVDPSiiVBUcBIMxhcTfzmHZGKCn6rhzHxI9TjNKQYaSN17KORV/SSGEkp7j2JeI8Rj83aj1ocdeySU3amgIvEzUgJZKh17E+vK3ASEa4xQ0q1XSfWfoqkppiRccFLFIkRHqAeaRvKUUSUn06vGcNjo3RhKKQpruFU/b2RokipYRSYyQjpvpr3JuJ/XjvR4YWfUh4nmnA8eyhMGNQCTqKBXSoJ1mxoCMKSmr9C3EcSYW0CLJgQ3PmTF0mjUnZPy5Wbs1L1MosjDw7AITgBLjgHVXANaqAOMHgAT+AFvFqP1rP1Zr3PRnNWtrMP/sD6+AaX/pyF</latexit>
⌃↵
<latexit sha1_base64="djjd9/7Mu931/L0CKKOs4DyOPXw=">AAAB9HicbVBNSwMxEM3Wr1q/qh69BIvgqexWQY9FLx4r2g/oLmU2zbahSXZNsoWy9Hd48aCIV3+MN/+NabsHbX0w8Hhvhpl5YcKZNq777RTW1jc2t4rbpZ3dvf2D8uFRS8epIrRJYh6rTgiaciZp0zDDaSdRFETIaTsc3c789pgqzWL5aCYJDQQMJIsYAWOlwH9gAwE9H3gyhF654lbdOfAq8XJSQTkavfKX349JKqg0hIPWXc9NTJCBMoxwOi35qaYJkBEMaNdSCYLqIJsfPcVnVunjKFa2pMFz9fdEBkLriQhtpwAz1MveTPzP66Ymug4yJpPUUEkWi6KUYxPjWQK4zxQlhk8sAaKYvRWTISggxuZUsiF4yy+vklat6l1Ua/eXlfpNHkcRnaBTdI48dIXq6A41UBMR9ISe0St6c8bOi/PufCxaC04+c4z+wPn8AbRZkg4=</latexit>
⇥
<latexit sha1_base64="7WdJcX17Gd2GCNm9r0ARIjzRP6k=">AAAB83icbVBNS8NAEN3Ur1q/qh69BIvgqSRV0GPRi8cK/YImlM120i7dbMLuRCihf8OLB0W8+me8+W/ctDlo64MZHu/NsLMvSATX6DjfVmljc2t7p7xb2ds/ODyqHp90dZwqBh0Wi1j1A6pBcAkd5CignyigUSCgF0zvc7/3BErzWLZxloAf0bHkIWcUjeR57QkgHXpB3qs1p+4sYK8TtyA1UqA1rH55o5ilEUhkgmo9cJ0E/Ywq5EzAvOKlGhLKpnQMA0MljUD72eLmuX1hlJEdxsqURHuh/t7IaKT1LArMZERxole9XPzPG6QY3voZl0mKINnyoTAVNsZ2HoA94goYipkhlClubrXZhCrK0MRUMSG4q19eJ91G3b2qNx6va827Io4yOSPn5JK45IY0yQNpkQ5hJCHP5JW8Wan1Yr1bH8vRklXsnJI/sD5/APGqkZ8=</latexit>
Fig. 8 A simple OPT graph. A paradigmatic example for the sake of illustration and for motivation
(see text).
C A B D
A!B C!D Ci
Ci Mj = U E1 V E2
Pj
A A A A
a a
Y Y B
B 6= Y0 Bapproach
A black-box , 6= Y0 B
b b
C C
ci
Finally, the OPT is a black-box approach, where each test is described by a mathe-
A B Y B A
matical object
Ci which
= can U e
be "actually achieved" by(4)
a very specific physical device.
A B
However, nobody forbids to provide a more detailed OPT realisation of the test, e.g.
as in Fig. 9. A B
A B =
Ti U
s F E Zi
A A
ai
Y B A
bk
A A A A
{Aa }a2A {Cc }c2C
B B U B B
{Bb }b2B {Dd }d2D
A A A A
ai a0j
Fig. 9 OPT B finerBandU coarser
B descriptions.
B The OPT is a black-box approach. It can be made
bk
more or less detailed, b0l box on the left, and even at so fine a level that it is equivalent to a
as in in the
field-theoretical description, as in the right figure.
A A
ai
Y B A
bk
A B Cl C D
Aj En
E F G Gq
Yi Dm
H L M N
Bk Fp
O P
BGMP
Yi , A j , Bk , Dm Cl , En , F p , Gq
24 Giacomo Mauro D’Ariano and Federico Faggin
Notice that although any graph can be represented in 2D (e.g. using crossing of
wires), one can more suitably design it in 3D (2D + in-out), as in Fig. 10.
One can soon realise that the OPT framework precisely allows to express the most
general goal of science, namely to connect objective facts happening (the events),
devising a theory of such "connections" (the systems), thus allowing making predic-
tions for future occurrences in terms of joint probabilities of events depending on
their connections.
One of the main methodologically relevant features of the OPT is that it makes
perfectly distinct what is the "objective datum" from what is "a theoretical element".
What is objective is which tests are performed, and what is the outcome of each
test. What is theoretical is the graph of connections between the tests, along with
the mathematical representations of both systems and tests. The OPT framework
dictates the rules that the mathematical description should satisfy, and the specific
OPT gives the particular mathematical representation of systems and tests/events
and of their compositions (in sequence and in parallel) to build up the CDAG.
One of the main rules of the scientific method is to have a clearcut distinction
between what is experimental and what is theoretical. Though this would seem a
trivial statement, such a confusion happens to be often the source of disagreement
between scientists. Though the description of the apparatus is generally intermingled
with theoretical notions, the pure experimental datum must have a conventionally
Hard Problem and Free Will 25
A F
{Em }m2M
{Ai }i2I
A
{Mp }p2P
{Ai }i2I {Em }m2M
F
<latexit sha1_base64="zrBWtm7GGuHYPIktMr9nPECm2QE=">AAACCXicbVDLSsNAFJ3UV62vqEs3Q4sgCCWpC11W3eiugn1AE8JkOmmHTiZhZiKEkK0bt36GGxeKuPUP3PVvnLRdaOuBC4dz7uXee/yYUaksa2KUVlbX1jfKm5Wt7Z3dPXP/oCOjRGDSxhGLRM9HkjDKSVtRxUgvFgSFPiNdf3xd+N0HIiSN+L1KY+KGaMhpQDFSWvJMWHEyJ0RqhBHLLnOPOrmXUYfyzBEhvM1zz6xZdWsKuEzsOak1q87p86SZtjzz2xlEOAkJV5ghKfu2FSs3Q0JRzEhecRJJYoTHaEj6mnIUEulm009yeKyVAQwioYsrOFV/T2QolDINfd1ZHC0XvUL8z+snKrhwM8rjRBGOZ4uChEEVwSIWOKCCYMVSTRAWVN8K8QgJhJUOr6JDsBdfXiadRt0+qzfudBpXYIYyOAJVcAJscA6a4Aa0QBtg8AhewBt4N56MV+PD+Jy1loz5zCH4A+PrB/JCnXo=</latexit>
<latexit sha1_base64="zrBWtm7GGuHYPIktMr9nPECm2QE=">AAACCXicbVDLSsNAFJ3UV62vqEs3Q4sgCCWpC11W3eiugn1AE8JkOmmHTiZhZiKEkK0bt36GGxeKuPUP3PVvnLRdaOuBC4dz7uXee/yYUaksa2KUVlbX1jfKm5Wt7Z3dPXP/oCOjRGDSxhGLRM9HkjDKSVtRxUgvFgSFPiNdf3xd+N0HIiSN+L1KY+KGaMhpQDFSWvJMWHEyJ0RqhBHLLnOPOrmXUYfyzBEhvM1zz6xZdWsKuEzsOak1q87p86SZtjzz2xlEOAkJV5ghKfu2FSs3Q0JRzEhecRJJYoTHaEj6mnIUEulm009yeKyVAQwioYsrOFV/T2QolDINfd1ZHC0XvUL8z+snKrhwM8rjRBGOZ4uChEEVwSIWOKCCYMVSTRAWVN8K8QgJhJUOr6JDsBdfXiadRt0+qzfudBpXYIYyOAJVcAJscA6a4Aa0QBtg8AhewBt4N56MV+PD+Jy1loz5zCH4A+PrB/JCnXo=</latexit>
<latexit sha1_base64="C0bMszFpi1/HewDLrI/SqeXIRwI=">AAACCXicbVDLSsNAFJ3UV62vqEs3Q4sgCCWpC10WRXAjVLAPaEKYTKft0JlJmJkIIWTrxq2f4caFIm79A3f9G6ePhbYeuHA4517uvSeMGVXaccZWYWV1bX2juFna2t7Z3bP3D1oqSiQmTRyxSHZCpAijgjQ11Yx0YkkQDxlph6Orid9+IFLRSNzrNCY+RwNB+xQjbaTAhiUv8zjSQ4xYdp0H3MuDjHtUZJ7k8DbPA7viVJ0p4DJx56RSL3unz+N62gjsb68X4YQToTFDSnVdJ9Z+hqSmmJG85CWKxAiP0IB0DRWIE+Vn009yeGyUHuxH0pTQcKr+nsgQVyrloemcHK0WvYn4n9dNdP/Cz6iIE00Eni3qJwzqCE5igT0qCdYsNQRhSc2tEA+RRFib8EomBHfx5WXSqlXds2rtzqRxCWYogiNQBifABeegDm5AAzQBBo/gBbyBd+vJerU+rM9Za8GazxyCP7C+fgALUZ2K</latexit>
<latexit sha1_base64="C0bMszFpi1/HewDLrI/SqeXIRwI=">AAACCXicbVDLSsNAFJ3UV62vqEs3Q4sgCCWpC10WRXAjVLAPaEKYTKft0JlJmJkIIWTrxq2f4caFIm79A3f9G6ePhbYeuHA4517uvSeMGVXaccZWYWV1bX2juFna2t7Z3bP3D1oqSiQmTRyxSHZCpAijgjQ11Yx0YkkQDxlph6Orid9+IFLRSNzrNCY+RwNB+xQjbaTAhiUv8zjSQ4xYdp0H3MuDjHtUZJ7k8DbPA7viVJ0p4DJx56RSL3unz+N62gjsb68X4YQToTFDSnVdJ9Z+hqSmmJG85CWKxAiP0IB0DRWIE+Vn009yeGyUHuxH0pTQcKr+nsgQVyrloemcHK0WvYn4n9dNdP/Cz6iIE00Eni3qJwzqCE5igT0qCdYsNQRhSc2tEA+RRFib8EomBHfx5WXSqlXds2rtzqRxCWYogiNQBifABeegDm5AAzQBBo/gBbyBd+vJerU+rM9Za8GazxyCP7C+fgALUZ2K</latexit>
G P
G B
{Bj }j2J
<latexit sha1_base64="qR39pdwHwRGZOspzxcgQM1+Grjw=">AAACCXicbVC7TsMwFHXKq6Q8AowsFgWJqUrKAGMFCwtSkehDaqLIcZ3WquNEtlOpirKy8CssDFSItX/AxofAjPsYoOVIVzo6517de0+QMCqVbX8ahbX1jc2t4rZZ2tnd27cODpsyTgUmDRyzWLQDJAmjnDQUVYy0E0FQFDDSCgY3U781JELSmD+oUUK8CPU4DSlGSku+BU03cyOk+hix7C73Ezf3s8SlPHNFBOt57ltlu2LPAFeJsyDl2unXeDIsfdd968PtxjiNCFeYISk7jp0oL0NCUcxIbrqpJAnCA9QjHU05ioj0stknOTzTSheGsdDFFZypvycyFEk5igLdOT1aLntT8T+vk6rwyssoT1JFOJ4vClMGVQynscAuFQQrNtIEYUH1rRD3kUBY6fBMHYKz/PIqaVYrzkWleq/TuAZzFMExOAHnwAGXoAZuQR00AAaP4Bm8grHxZLwYb8b7vLVgLGaOwB8Ykx/NHJ7V</latexit>
{Pu }u2U
{Fn }n2N
{Mp }p2P
B <latexit sha1_base64="qR39pdwHwRGZOspzxcgQM1+Grjw=">AAACCXicbVC7TsMwFHXKq6Q8AowsFgWJqUrKAGMFCwtSkehDaqLIcZ3WquNEtlOpirKy8CssDFSItX/AxofAjPsYoOVIVzo6517de0+QMCqVbX8ahbX1jc2t4rZZ2tnd27cODpsyTgUmDRyzWLQDJAmjnDQUVYy0E0FQFDDSCgY3U781JELSmD+oUUK8CPU4DSlGSku+BU03cyOk+hix7C73Ezf3s8SlPHNFBOt57ltlu2LPAFeJsyDl2unXeDIsfdd968PtxjiNCFeYISk7jp0oL0NCUcxIbrqpJAnCA9QjHU05ioj0stknOTzTSheGsdDFFZypvycyFEk5igLdOT1aLntT8T+vk6rwyssoT1JFOJ4vClMGVQynscAuFQQrNtIEYUH1rRD3kUBY6fBMHYKz/PIqaVYrzkWleq/TuAZzFMExOAHnwAGXoAZuQR00AAaP4Bm8grHxZLwYb8b7vLVgLGaOwB8Ykx/NHJ7V</latexit>
P H O
{Bj }j2J {Fn```
}n2N
H <latexit sha1_base64="ppK/horOIwAda2Evm8fmhs7cuMg=">AAACCXicbVC7TsMwFHV4lpZHgJHFoiAxVUkZYKzKgpiKRB9SE0WO67RuHSeynUpVlJWFX2FhoEKs/QM2PgRm3McALUe60tE59+ree/yYUaks69NYW9/Y3NrO7eQLu3v7B+bhUUNGicCkjiMWiZaPJGGUk7qiipFWLAgKfUaa/uBm6jeHREga8Qc1iokboi6nAcVIackzYd5JnRCpHkYsrWZe38m8tO9QnjoihHdZ5plFq2TNAFeJvSDFytnXeDIsfNc888PpRDgJCVeYISnbthUrN0VCUcxIlncSSWKEB6hL2ppyFBLpprNPMniulQ4MIqGLKzhTf0+kKJRyFPq6c3q0XPam4n9eO1HBtZtSHieKcDxfFCQMqghOY4EdKghWbKQJwoLqWyHuIYGw0uHldQj28surpFEu2Zel8r1OowrmyIETcAougA2uQAXcghqoAwwewTN4BWPjyXgx3oz3eeuasZg5Bn9gTH4An6meuA==</latexit>
<latexit sha1_base64="E+H5X1oaajGnPa87BWiwoRsQdhQ=">AAACCXicbVDLSsNAFJ3UV62vqEs3Q4sgCCWpC10WBXElFewDmhAm00k7dDIJMxMhhGzduPUz3LhQxK1/4K5/46TtQlsPXDiccy/33uPHjEplWROjtLK6tr5R3qxsbe/s7pn7Bx0ZJQKTNo5YJHo+koRRTtqKKkZ6sSAo9Bnp+uOrwu8+ECFpxO9VGhM3RENOA4qR0pJnwoqTOSFSI4xYdp173Mm9jDuUZ44I4W2ee2bNqltTwGViz0mtWXVOnyfNtOWZ384gwklIuMIMSdm3rVi5GRKKYkbyipNIEiM8RkPS15SjkEg3m36Sw2OtDGAQCV1cwan6eyJDoZRp6OvO4mi56BXif14/UcGFm1EeJ4pwPFsUJAyqCBaxwAEVBCuWaoKwoPpWiEdIIKx0eBUdgr348jLpNOr2Wb1xp9O4BDOUwRGoghNgg3PQBDegBdoAg0fwAt7Au/FkvBofxuestWTMZw7BHxhfPxGRnY4=</latexit>
<latexit sha1_base64="ppK/horOIwAda2Evm8fmhs7cuMg=">AAACCXicbVC7TsMwFHV4lpZHgJHFoiAxVUkZYKzKgpiKRB9SE0WO67RuHSeynUpVlJWFX2FhoEKs/QM2PgRm3McALUe60tE59+ree/yYUaks69NYW9/Y3NrO7eQLu3v7B+bhUUNGicCkjiMWiZaPJGGUk7qiipFWLAgKfUaa/uBm6jeHREga8Qc1iokboi6nAcVIackzYd5JnRCpHkYsrWZe38m8tO9QnjoihHdZ5plFq2TNAFeJvSDFytnXeDIsfNc888PpRDgJCVeYISnbthUrN0VCUcxIlncSSWKEB6hL2ppyFBLpprNPMniulQ4MIqGLKzhTf0+kKJRyFPq6c3q0XPam4n9eO1HBtZtSHieKcDxfFCQMqghOY4EdKghWbKQJwoLqWyHuIYGw0uHldQj28surpFEu2Zel8r1OowrmyIETcAougA2uQAXcghqoAwwewTN4BWPjyXgx3oz3eeuasZg5Bn9gTH4An6meuA==</latexit>
{Pu }u2U
<latexit sha1_base64="qWJY73wKGC6CSWevrtM0nsDx1lA=">AAACCXicbVDLSsNAFJ3UV42vqEs3Q4sgCCWpC10W3bisYNpCE8JkOmmHTiZhZiKEkK0bt36GGxeKuPUP3PVvnD4W2nrgwuGce7n3njBlVCrbnhiVtfWNza3qtrmzu7d/YB0edWSSCUxcnLBE9EIkCaOcuIoqRnqpICgOGemG45up330gQtKE36s8JX6MhpxGFCOlpcCCpld4MVIjjFjRLoPMK4Mi8ygvPBFDtywDq2437BngKnEWpN6qeefPk1beDqxvb5DgLCZcYYak7Dt2qvwCCUUxI6XpZZKkCI/RkPQ15Sgm0i9mn5TwVCsDGCVCF1dwpv6eKFAsZR6HunN6tFz2puJ/Xj9T0ZVfUJ5minA8XxRlDKoETmOBAyoIVizXBGFB9a0Qj5BAWOnwTB2Cs/zyKuk0G85Fo3mn07gGc1TBCaiBM+CAS9ACt6ANXIDBI3gBb+DdeDJejQ/jc95aMRYzx+APjK8fQhadrQ==</latexit>
<latexit sha1_base64="E+H5X1oaajGnPa87BWiwoRsQdhQ=">AAACCXicbVDLSsNAFJ3UV62vqEs3Q4sgCCWpC10WBXElFewDmhAm00k7dDIJMxMhhGzduPUz3LhQxK1/4K5/46TtQlsPXDiccy/33uPHjEplWROjtLK6tr5R3qxsbe/s7pn7Bx0ZJQKTNo5YJHo+koRRTtqKKkZ6sSAo9Bnp+uOrwu8+ECFpxO9VGhM3RENOA4qR0pJnwoqTOSFSI4xYdp173Mm9jDuUZ44I4W2ee2bNqltTwGViz0mtWXVOnyfNtOWZ384gwklIuMIMSdm3rVi5GRKKYkbyipNIEiM8RkPS15SjkEg3m36Sw2OtDGAQCV1cwan6eyJDoZRp6OvO4mi56BXif14/UcGFm1EeJ4pwPFsUJAyqCBaxwAEVBCuWaoKwoPpWiEdIIKx0eBUdgr348jLpNOr2Wb1xp9O4BDOUwRGoghNgg3PQBDegBdoAg0fwAt7Au/FkvBofxuestWTMZw7BHxhfPxGRnY4=</latexit>
{Nq }q2Q
O
<latexit sha1_base64="qWJY73wKGC6CSWevrtM0nsDx1lA=">AAACCXicbVDLSsNAFJ3UV42vqEs3Q4sgCCWpC10W3bisYNpCE8JkOmmHTiZhZiKEkK0bt36GGxeKuPUP3PVvnD4W2nrgwuGce7n3njBlVCrbnhiVtfWNza3qtrmzu7d/YB0edWSSCUxcnLBE9EIkCaOcuIoqRnqpICgOGemG45up330gQtKE36s8JX6MhpxGFCOlpcCCpld4MVIjjFjRLoPMK4Mi8ygvPBFDtywDq2437BngKnEWpN6qeefPk1beDqxvb5DgLCZcYYak7Dt2qvwCCUUxI6XpZZKkCI/RkPQ15Sgm0i9mn5TwVCsDGCVCF1dwpv6eKFAsZR6HunN6tFz2puJ/Xj9T0ZVfUJ5minA8XxRlDKoETmOBAyoIVizXBGFB9a0Qj5BAWOnwTB2Cs/zyKuk0G85Fo3mn07gGc1TBCaiBM+CAS9ACt6ANXIDBI3gBb+DdeDJejQ/jc95aMRYzx+APjK8fQhadrQ==</latexit>
C L N
{Ck }k2K
L {Nq }q2Q
N
<latexit sha1_base64="i4FQ9m2HnN6e5c7c66X2ZgNUs98=">AAACCXicbVC7TsMwFHV4lpRHgJHFoiAxVUkZYKxgYUKtRB9SU0WO67RWHSe1nUpVlJWFX2FhoEKs/QM2PgRm3McALUe60tE59+ree/yYUals+9NYW9/Y3NrO7Zj53b39A+vwqC6jRGBSwxGLRNNHkjDKSU1RxUgzFgSFPiMNv3879RtDIiSN+IMaxaQdoi6nAcVIacmzoOmmbohUDyOW3mfewM28dOBSnroihNUs86yCXbRngKvEWZBC+exrPBnmvyue9eF2IpyEhCvMkJQtx45VO0VCUcxIZrqJJDHCfdQlLU05Colsp7NPMniulQ4MIqGLKzhTf0+kKJRyFPq6c3q0XPam4n9eK1HBdTulPE4U4Xi+KEgYVBGcxgI7VBCs2EgThAXVt0LcQwJhpcMzdQjO8surpF4qOpfFUlWncQPmyIETcAougAOuQBncgQqoAQwewTN4BWPjyXgx3oz3eeuasZg5Bn9gTH4A01ye2Q==</latexit>
C
<latexit sha1_base64="i4FQ9m2HnN6e5c7c66X2ZgNUs98=">AAACCXicbVC7TsMwFHV4lpRHgJHFoiAxVUkZYKxgYUKtRB9SU0WO67RWHSe1nUpVlJWFX2FhoEKs/QM2PgRm3McALUe60tE59+ree/yYUals+9NYW9/Y3NrO7Zj53b39A+vwqC6jRGBSwxGLRNNHkjDKSU1RxUgzFgSFPiMNv3879RtDIiSN+IMaxaQdoi6nAcVIacmzoOmmbohUDyOW3mfewM28dOBSnroihNUs86yCXbRngKvEWZBC+exrPBnmvyue9eF2IpyEhCvMkJQtx45VO0VCUcxIZrqJJDHCfdQlLU05Colsp7NPMniulQ4MIqGLKzhTf0+kKJRyFPq6c3q0XPam4n9eK1HBdTulPE4U4Xi+KEgYVBGcxgI7VBCs2EgThAXVt0LcQwJhpcMzdQjO8surpF4qOpfFUlWncQPmyIETcAougAOuQBncgQqoAQwewTN4BWPjyXgx3oz3eeuasZg5Bn9gTH4A01ye2Q==</latexit>
{Gh }h2H
{Gh }h2H
<latexit sha1_base64="jjlMrGv2oUThaNtQ+X+2ggdLmis=">AAACCXicbVDLSsNAFJ3UV42vqEs3Q4sgCCWpC10WuxHcVLAPaEqYTKftkMkkzEyEELJ149bPcONCEbf+gbv+jZO2C209cOFwzr3ce48fMyqVbU+N0tr6xuZWedvc2d3bP7AOjzoySgQmbRyxSPR8JAmjnLQVVYz0YkFQ6DPS9YNm4XcfiJA04vcqjckgRGNORxQjpSXPgqabuSFSE4xY1sy9wM29LHApz1wRwts896yqXbNngKvEWZBqo+KeP08bacuzvt1hhJOQcIUZkrLv2LEaZEgoihnJTTeRJEY4QGPS15SjkMhBNvskh6daGcJRJHRxBWfq74kMhVKmoa87i6PlsleI/3n9RI2uBhnlcaIIx/NFo4RBFcEiFjikgmDFUk0QFlTfCvEECYSVDs/UITjLL6+STr3mXNTqdzqNazBHGZyACjgDDrgEDXADWqANMHgEL+ANvBtPxqvxYXzOW0vGYuYY/IHx9QP+wp2C</latexit>
<latexit sha1_base64="6NLrGK54IPGPWmU81HkYEygborg=">AAACCXicbVDLSsNAFJ3UV42vqEs3Q4sgCCWpC10WXdhlBfuApoTJdNoMnUzCzEQIIVs3bv0MNy4UcesfuOvfOGm70NYDFw7n3Mu99/gxo1LZ9tQora1vbG6Vt82d3b39A+vwqCOjRGDSxhGLRM9HkjDKSVtRxUgvFgSFPiNdf3JT+N0HIiSN+L1KYzII0ZjTEcVIacmzoOlmbohUgBHLbnMvcHMvC1zKM1eEsJnnnlW1a/YMcJU4C1JtVNzz52kjbXnWtzuMcBISrjBDUvYdO1aDDAlFMSO56SaSxAhP0Jj0NeUoJHKQzT7J4alWhnAUCV1cwZn6eyJDoZRp6OvO4mi57BXif14/UaOrQUZ5nCjC8XzRKGFQRbCIBQ6pIFixVBOEBdW3QhwggbDS4Zk6BGf55VXSqdeci1r9TqdxDeYogxNQAWfAAZegAZqgBdoAg0fwAt7Au/FkvBofxue8tWQsZo7BHxhfP/cjnX0=</latexit>
D {Qv }v2V
{Qv }v2V
{Ck }k2K
M D
<latexit sha1_base64="oXSk4F8mlPwquKRSzgS7K/wu5lo=">AAACCXicbVDLSsNAFJ3UV42vqEs3Q4sgCCWpC10W3bhswT6gCWEynbRDJ5MwMymEkK0bt36GGxeKuPUP3PVvnD4W2nrgwuGce7n3niBhVCrbnhqljc2t7Z3yrrm3f3B4ZB2fdGScCkzaOGax6AVIEkY5aSuqGOklgqAoYKQbjO9mfndChKQxf1BZQrwIDTkNKUZKS74FTTd3I6RGGLG8VfgTt/DziUt57ooIdorCt6p2zZ4DrhNnSaqNinv5PG1kTd/6dgcxTiPCFWZIyr5jJ8rLkVAUM1KYbipJgvAYDUlfU44iIr18/kkBz7UygGEsdHEF5+rviRxFUmZRoDtnR8tVbyb+5/VTFd54OeVJqgjHi0VhyqCK4SwWOKCCYMUyTRAWVN8K8QgJhJUOz9QhOKsvr5NOveZc1eotncYtWKAMzkAFXAAHXIMGuAdN0AYYPIIX8AbejSfj1fgwPhetJWM5cwr+wPj6AUhWnbE=</latexit>
<latexit sha1_base64="jjlMrGv2oUThaNtQ+X+2ggdLmis=">AAACCXicbVDLSsNAFJ3UV42vqEs3Q4sgCCWpC10WuxHcVLAPaEqYTKftkMkkzEyEELJ149bPcONCEbf+gbv+jZO2C209cOFwzr3ce48fMyqVbU+N0tr6xuZWedvc2d3bP7AOjzoySgQmbRyxSPR8JAmjnLQVVYz0YkFQ6DPS9YNm4XcfiJA04vcqjckgRGNORxQjpSXPgqabuSFSE4xY1sy9wM29LHApz1wRwts896yqXbNngKvEWZBqo+KeP08bacuzvt1hhJOQcIUZkrLv2LEaZEgoihnJTTeRJEY4QGPS15SjkMhBNvskh6daGcJRJHRxBWfq74kMhVKmoa87i6PlsleI/3n9RI2uBhnlcaIIx/NFo4RBFcEiFjikgmDFUk0QFlTfCvEECYSVDs/UITjLL6+STr3mXNTqdzqNazBHGZyACjgDDrgEDXADWqANMHgEL+ANvBtPxqvxYXzOW0vGYuYY/IHx9QP+wp2C</latexit>
<latexit sha1_base64="6NLrGK54IPGPWmU81HkYEygborg=">AAACCXicbVDLSsNAFJ3UV42vqEs3Q4sgCCWpC10WXdhlBfuApoTJdNoMnUzCzEQIIVs3bv0MNy4UcesfuOvfOGm70NYDFw7n3Mu99/gxo1LZ9tQora1vbG6Vt82d3b39A+vwqCOjRGDSxhGLRM9HkjDKSVtRxUgvFgSFPiNdf3JT+N0HIiSN+L1KYzII0ZjTEcVIacmzoOlmbohUgBHLbnMvcHMvC1zKM1eEsJnnnlW1a/YMcJU4C1JtVNzz52kjbXnWtzuMcBISrjBDUvYdO1aDDAlFMSO56SaSxAhP0Jj0NeUoJHKQzT7J4alWhnAUCV1cwZn6eyJDoZRp6OvO4mi57BXif14/UaOrQUZ5nCjC8XzRKGFQRbCIBQ6pIFixVBOEBdW3QhwggbDS4Zk6BGf55VXSqdeci1r9TqdxDeYogxNQAWfAAZegAZqgBdoAg0fwAt7Au/FkvBofxue8tWQsZo7BHxhfP/cjnX0=</latexit>
{Dl }l2K
E
{Dl }l2K
<latexit sha1_base64="oXSk4F8mlPwquKRSzgS7K/wu5lo=">AAACCXicbVDLSsNAFJ3UV42vqEs3Q4sgCCWpC10W3bhswT6gCWEynbRDJ5MwMymEkK0bt36GGxeKuPUP3PVvnD4W2nrgwuGce7n3niBhVCrbnhqljc2t7Z3yrrm3f3B4ZB2fdGScCkzaOGax6AVIEkY5aSuqGOklgqAoYKQbjO9mfndChKQxf1BZQrwIDTkNKUZKS74FTTd3I6RGGLG8VfgTt/DziUt57ooIdorCt6p2zZ4DrhNnSaqNinv5PG1kTd/6dgcxTiPCFWZIyr5jJ8rLkVAUM1KYbipJgvAYDUlfU44iIr18/kkBz7UygGEsdHEF5+rviRxFUmZRoDtnR8tVbyb+5/VTFd54OeVJqgjHi0VhyqCK4SwWOKCCYMUyTRAWVN8K8QgJhJUOz9QhOKsvr5NOveZc1eotncYtWKAMzkAFXAAHXIMGuAdN0AYYPIIX8AbejSfj1fgwPhetJWM5cwr+wPj6AUhWnbE=</latexit>
{Hz }z2Z
E M
<latexit sha1_base64="BuU2qgPYBIiDHF18zsXI8sHtEBQ=">AAACCXicbVDLSsNAFJ3UV62vqEs3Q4sgCCWpC10WdSG4qWAf0IQwmU7aoZNJmJkIIWTrxq2f4caFIm79A3f9GydtF9p64MLhnHu59x4/ZlQqy5oYpZXVtfWN8mZla3tnd8/cP+jIKBGYtHHEItHzkSSMctJWVDHSiwVBoc9I1x9fFX73gQhJI36v0pi4IRpyGlCMlJY8E1aczAmRGmHEsuvcY07uZcyhPHNECG/z3DNrVt2aAi4Te05qzapz+jxppi3P/HYGEU5CwhVmSMq+bcXKzZBQFDOSV5xEkhjhMRqSvqYchUS62fSTHB5rZQCDSOjiCk7V3xMZCqVMQ193FkfLRa8Q//P6iQou3IzyOFGE49miIGFQRbCIBQ6oIFixVBOEBdW3QjxCAmGlw6voEOzFl5dJp1G3z+qNO53GJZihDI5AFZwAG5yDJrgBLdAGGDyCF/AG3o0n49X4MD5nrSVjPnMI/sD4+gEDi52F</latexit>
<latexit sha1_base64="hFkRQvoh42rt9ehTeyXFkF+ms+w=">AAACCXicbVDLSsNAFJ3UV42vqks3Q4sgCCWpC10W3XRZwT6wCWEynbRDJ5MwMxHakK0bt36GGxeKuPUP3PVvnLRdaOuBC4dz7uXee/yYUaksa2oU1tY3NreK2+bO7t7+QenwqC2jRGDSwhGLRNdHkjDKSUtRxUg3FgSFPiMdf3ST+50HIiSN+J0ax8QN0YDTgGKktOSVoOmkTojUECOWNjJv4mReOnEoTx0Rwvss80oVq2rNAFeJvSCVetk5f57Wx02v9O30I5yEhCvMkJQ924qVmyKhKGYkM51EkhjhERqQnqYchUS66eyTDJ5qpQ+DSOjiCs7U3xMpCqUch77uzI+Wy14u/uf1EhVcuSnlcaIIx/NFQcKgimAeC+xTQbBiY00QFlTfCvEQCYSVDs/UIdjLL6+Sdq1qX1RrtzqNazBHEZyAMjgDNrgEddAATdACGDyCF/AG3o0n49X4MD7nrQVjMXMM/sD4+gFMq520</latexit>
{Hz }z2Z
<latexit sha1_base64="BuU2qgPYBIiDHF18zsXI8sHtEBQ=">AAACCXicbVDLSsNAFJ3UV62vqEs3Q4sgCCWpC10WdSG4qWAf0IQwmU7aoZNJmJkIIWTrxq2f4caFIm79A3f9GydtF9p64MLhnHu59x4/ZlQqy5oYpZXVtfWN8mZla3tnd8/cP+jIKBGYtHHEItHzkSSMctJWVDHSiwVBoc9I1x9fFX73gQhJI36v0pi4IRpyGlCMlJY8E1aczAmRGmHEsuvcY07uZcyhPHNECG/z3DNrVt2aAi4Te05qzapz+jxppi3P/HYGEU5CwhVmSMq+bcXKzZBQFDOSV5xEkhjhMRqSvqYchUS62fSTHB5rZQCDSOjiCk7V3xMZCqVMQ193FkfLRa8Q//P6iQou3IzyOFGE49miIGFQRbCIBQ6oIFixVBOEBdW3QjxCAmGlw6voEOzFl5dJp1G3z+qNO53GJZihDI5AFZwAG5yDJrgBLdAGGDyCF/AG3o0n49X4MD5nrSVjPnMI/sD4+gEDi52F</latexit>
<latexit sha1_base64="hFkRQvoh42rt9ehTeyXFkF+ms+w=">AAACCXicbVDLSsNAFJ3UV42vqks3Q4sgCCWpC10W3XRZwT6wCWEynbRDJ5MwMxHakK0bt36GGxeKuPUP3PVvnLRdaOuBC4dz7uXee/yYUaksa2oU1tY3NreK2+bO7t7+QenwqC2jRGDSwhGLRNdHkjDKSUtRxUg3FgSFPiMdf3ST+50HIiSN+J0ax8QN0YDTgGKktOSVoOmkTojUECOWNjJv4mReOnEoTx0Rwvss80oVq2rNAFeJvSCVetk5f57Wx02v9O30I5yEhCvMkJQ924qVmyKhKGYkM51EkhjhERqQnqYchUS66eyTDJ5qpQ+DSOjiCs7U3xMpCqUch77uzI+Wy14u/uf1EhVcuSnlcaIIx/NFQcKgimAeC+xTQbBiY00QFlTfCvEQCYSVDs/UIdjLL6+Sdq1qX1RrtzqNazBHEZyAMjgDNrgEddAATdACGDyCF/AG3o0n49X4MD7nrQVjMXMM/sD4+gFMq520</latexit>
Fig. 11 Equivalence between the CDAG and the quantum information circuit or, equivalently, any
run-diagram of a program.
We can immediately realise that a CDAG is exactly the same graph of a quantum
circuit as it is drawn in quantum information science. The quantum circuit, in turn,
can be interpreted as the run-diagram of a program, where each test represents
a subroutine, and the wires represent the registers through which the subroutines
communicate data. Indeed, the OPT can be regarded as the proper framework for
information science in general.
For a recent complete presentation of the OPT framework, the reader is addressed
to the the work [9, 10] or the more recent thorough presentation [19].
26 Giacomo Mauro D’Ariano and Federico Faggin
Mrkv1 (𝑛, 1) = (R ) =1
𝑛 +
Abbreviations
CT Classical Theory
OPT Operational Probabilistic Theory
PR boxes Popescu-Rohrlich boxes
QT Quantum Theory
Table 2 Notation, special-cases corollaries, and common abbreviations.
Hard Problem and Free Will 27
Quantum theory
Quantum Theory
system A HA
system composition AB HAB = HA ⊗ HB
transformation T ∈ Trn(A → B) T ∈ CP6 (T( HA ) → T( HB ))
Born rule 𝑝 ( T) = Tr T T ∈ Trn(I → A)
Quantum theorems
trivial system I HI = C
reversible transf. U = 𝑈 · 𝑈† 𝑈 ∈ U( HA )
determ. transformation T ∈ Trn1 (A → B) T ∈ CP61 (T( HA ) → T( HB ))
parallel composition T1 ∈ Trn(A → B), T2 ∈ Trn(C → D) T1 ⊗ T2
sequential composition T1 ∈ Trn(A → B), T2 ∈ Trn(B → C) T2 T1
𝜌 ∈ St(A) ≡ Trn(I → A) 𝜌 ∈ T+61 ( HA )
states 𝜌 ∈ St1 (A) ≡ Trn1 (I → A) 𝜌 ∈ T+=1 ( HA )
𝜌 ∈ St(I) ≡ Trn(I → I) 𝜌 ∈ [0, 1]
𝜌 ∈ St1 (I) ≡ Trn(I → I) 𝜌=1
𝜖 ∈ Eff (A) ≡ Trn(A → I) 𝜖 ( ·) = TrA [·𝐸 ], 0 6 𝐸 6 𝐼 𝐴
effects
𝜖 ∈ Eff 1 (A) ≡ Trn1 (A → I) 𝜖 = TrA
Transformations as
unitary interaction
A B
+
von Neumann-Luders A T𝑖 B = U T𝑖 𝜌 = TrE [𝑈 (𝜌 ⊗ 𝜎)𝑈 † (𝐼B ⊗ 𝑃𝑖 ) ]
𝜎 F E
P𝑖
Table 4 Corollaries and a theorem of Quantum Theory, starting from Table 3 axiomatization.
The first corollary states that the trivial system I in order to satisfy the composition rule IA = AI = A
must be associated to the one-dimensional Hilbert space HI = C, since it is the only Hilbert space
which trivializes the Hilbert space tensor product. The second corollary states that the reversible
transformations are the unitary ones. The third corollary states that the deterministic transforma-
tions are the trace-preserving ones. Then the fourth and fifth corollaries give the composition of
transformations in terms of compositions of maps. We then have four corollaries about states: 1)
states are transformations starting from the trivial system and, as such, are positive operators on
the system Hilbert space, having trace bounded by one; 2) the deterministic states correspond to
unit-trace positive operator; 3) the states of trivial system are just probabilities; 4) The only trivial
system deterministic state is the number 1. We then have two corollaries for effects, as special cases
of transformation toward the trivial system: 1) the effect is represented by the partial trace over the
system Hilbert space of the multiplication with a positive operator bounded by the identity over the
system Hilbert space; 2) the only deterministic effect is the partial trace over the system Hilbert
space. Finally, we have the realization theorem for transformations in terms of unitary interaction
U = 𝑈 · 𝑈 † with an environment F and a projective effect-test { P𝑖 } over environment E, with
P𝑖 = 𝑃𝑖 · 𝑃𝑖 , {𝑃𝑖 } being a complete set of orthogonal projectors.
Hard Problem and Free Will 29
Classical theory
Classical Theory
system A R𝑛A
system composition AB R𝑛AB = R𝑛A ⊗ R𝑛B
transformation T ∈ Trn(A → B) T ∈ Mrkv6 (R𝑛A , R𝑛B )
Classical theorems
trivial system I HI = R
reversible transformations P P ∈ Prm(𝑛A )
transformation T ∈ Trn6 (A → B) T ∈ Mrkv6 (R𝑛A , R𝑛B )
determ. transformation T ∈ Trn1 (A → B) T ∈ Mrkv1 (R𝑛A , R𝑛B )
parallel composition T1 ∈ Trn(A → B), T2 ∈ Trn(C → D) T1 ⊗ T2
sequential composition T1 ∈ Trn(A → B), T2 ∈ Trn(B → C) T2 T1
x ∈ St(A) ≡ Trn(I → A) +
x ∈ (R𝑛A ) 61
x ∈ St1 (A) ≡ Trn1 (I → A) +
x ∈ (R𝑛A ) =1
states
𝑝 ∈ St(I) ≡ Trn(I → I) 𝑝 ∈ [0, 1]
𝑝 ∈ St1 (I) ≡ Trn(I → I) 𝑝=1
𝜖 ∈ Eff (A) ≡ Trn(A → I) 𝜖 ( ·) = ·x, 0 6 x 6 1
effects
𝜖 ∈ Eff 1 (A) ≡ Trn1 (A → I) 𝜖 = ·1
Table 6 Main theorems of Classical Theory, starting from axioms in Table 5. The first corollary
states that the trivial system I in order to satisfy the composition rule IA = AI = A must be
associated to the one-dimensional space R, since it is the only real linear space that trivialises the
tensor product. The second corollary states that the reversible transformations are the permutation
matrices. The third states that transformations are substochastic Markov matrices. The fourth states
that the deterministic transformations are stochastic Markov matrices. Then the fifth and sixth
corollaries give the composition of transformations in terms of composition of matrices. We then
have four corollaries about states: 1) states are transformations starting from the trivial system and,
as such, are sub-normalized probability vectors (vectors in the positive octant with sum of elements
bounded by one; 2) the deterministic states correspond to normalised probability vectors; 3) the
case of trivial output-system correspond to just probabilities; 4) The only trivial output-system
deterministic state is the number 1. We then have two corollaries for effects, as special cases of
transformation toward the trivial system: 1) the effect is represented by scalar product with a vector
with components in the unit interval; 2) the only deterministic effect is the scalar product with the
vector with all unit components.
30 Giacomo Mauro D’Ariano and Federico Faggin
References
33. Holevo A 1973 Bounds for the quantity of information transmitted by a quantum communica-
tion channel Problems of Information Transmission vol 9 pp 177–183
34. D’Ariano G M 2003 Fortschritte der Physik: Progress of Physics 51 318–330
35. Chiribella G, D’Ariano G M and Schlingemann D 2007 Physical review letters 98 190403
36. D’Ariano G M 2000 Fortschritte der Physik 48 579–588
37. Fuchs C, Hoang M and Stacey B 2017 Axioms 6 21
38. Plesch M and Brukner C 2011 Phys. Rev. A 83(3) 032302
39. Hayashi A, Hashimoto T and Horibe M 2005 Phys. Rev. A 72(3) 032325
40. Dehaene S 2014 Consciousness and the brain : deciphering how the brain codes our thoughts
(New York, New York: Penguin Books)
41. Chalmers D 2016 The combination problem for panpsychism Panpsychism ed Brüntrup G and
Jaskolla L (Oxford University Press)
42. Bennett C H, Brassard G, Crépeau C, Jozsa R, Peres A and Wootters W K 1993 Physical
Review Letters 70 1895
43. Benedek G and Caglioti G 2019 Graphics and quantum mechanics—the necker cube as a
quantum-like two-level system ICGG 2018 - Proceedings of the 18th International Conference
on Geometry and Graphics ed Cocchiarella L (Cham: Springer International Publishing) pp
161–172
44. 1993 Magic eye: a new way of looking at the world: 3D illusions (Kansas City, Mo: Andrews
and McMeel)
45. Jahn R 2007 EXPLORE 3 307–310
46. Tononi G 2008 The Biological Bulletin 215 216–242
47. Mac Lane S 1978 Categories for the working mathematician vol 5 (Berlin: Springer Science
& Business Media)
48. Selinger P 2011 A survey of graphical languages for monoidal categories New structures for
physics (Berlin: Springer) pp 289–355
49. Coecke B 2006 Introducing categories to the practicing physicist What is Category Theory?
(Advanced Studies in Mathematics and Logic vol 30) (Polimetrica Publishing) pp 289–355
50. Coecke B 2006 Advanced Studies in Mathematics and Logic 30 45
51. Coecke B, Moore D and Wilce A 2000 Current research in operational quantum logic:
algebras, categories, languages vol 111 (Springer)
52. Coecke B 2005 Quantum theory: Reconsideration of foundations-3. american institute of
physics, ser Conference Proceedings vol 810 ed Adenier G, Khrennikov A and Nieuwenhuizen
T M (AIP) p 81
53. Coecke B 2010 Contemporary physics 51 59–83
54. Hardy L 2001 arXiv quant-ph/0101012
55. Hardy L 2007 Journal of Physics A: Mathematical and Theoretical 40 3081
56. Hardy L 2013 Mathematical Structures in Computer Science 23 399–440
57. D’Ariano G M, Manessi F, Perinotti P and Tosini A 2014 EPL (Europhysics Letters) 107 20009
58. D’Ariano G M, Erba M and Perinotti P 2020 Phys. Rev. A 101(4) 042118
59. D’Ariano G M, Erba M and Perinotti P 2020 Phys. Rev. A 102(5) 052216
60. Barrett J 2007 Physical Review A 75 032304
61. D’Ariano G M 2020 Foundations of Physics 50 1921–1933