Evolution of Classical and Quantum States in the Groupoid Picture of Quantum Mechanics

The evolution of states of the composition of classical and quantum systems in the groupoid formalism for physical theories introduced recently is discussed. It is shown that the notion of a classical system, in the sense of Birkhoff and von Neumann, is equivalent, in the case of systems with a countable number of outputs, to a totally disconnected groupoid with Abelian von Neumann algebra. The impossibility of evolving a separable state of a composite system made up of a classical and a quantum one into an entangled state by means of a unitary evolution is proven in accordance with Raggio’s theorem, which is extended to include a new family of separable states corresponding to the composition of a system with a totally disconnected space of outcomes and a quantum one.


Introduction
Erwin Schrödinger shared with Einstein an enormous puzzlement about the implications of the laws that were being uncovered in the investigation of atomic processes. In their Gedankenexperiment [1], Einstein, Podolski, and Rosen showed the conflicting relation between "Elements of Physical Reality" and the notions of separability and independence in quantum mechanics (see the recent analysis of such a situation in the recent paper [2]). Schrödinger showed his bewilderment in a series of reflections summarized by his famous experiment involving a macroscopic body (a cat) and a quantum system [3], where he argued about the conflict between "common sense" and what we now refer to as an entangled state between a cat and some radioactive material. The experimental construction of entangled states is in general not a trivial matter, and this is why entangled states are considered precious resources in the modern theories known as "resource theories" [4].
In this paper, we will address a problem that underlines some of the previous discussions and that consists of determining whether or not, starting with a composite system made up of a classical and a quantum part, and which is in a separable state, it is possible to build an entangled state by means of a unitary evolution of the system. In the context of the theory of von Neumann algebras, Raggio's theorem [5] clearly shows that this is not possible, where in that setting, a classical system is described by its algebra of observables, which is an Abelian von Neumann algebra.
We will analyze this question in the groupoid formalism developed recently in [2,[6][7][8][9][10]. The result presented here will be that, in accordance with Raggio's theorem, it is actually impossible to build an entangled state out of a separable state of a classical and a quantum system. This result will crucially depend on the precise meaning of some of the words involved in the previous discussion. Specifically, we need to carefully define what we mean by a "classical" and a "quantum" system, their "composition", and the "entangled states" of the composite system. In the following sections, we will elaborate on the meaning of these notions in the groupoid formalism, and we will also present an analysis of the logic approach of Birkhoff and von Neumann, in order to show that the standard notion of classical systems coincides with the notion of a classical system in the groupoid formalism, which amounts to the commutativity of the groupoid algebra of the system. Moreover, the formulation of the problem in the groupoid formalism will allow us to present an example that escapes Raggio's theorem in the sense that, even if both algebras of the systems are non-Abelian, there are separable states that are sent to separable states by all unitary dynamics of the composite system.

Birkhoff-von Neumann's Algebra of Propositions
In this section, we will briefly recall the propositional calculus of Birkhoff and von Neumann ( [11] and Chapter 5 in [12]). This will serve as a means to investigate the relation between this formalism and the groupoid formalism in the next section and to show that the notion of a classical system coincides in the two formalisms in the sense explained in Theorem 1.
Einstein and Schrödinger were not the only ones having difficulties with the foundational aspects of quantum mechanics. Indeed, also J. von Neumann had his own. His work had an enormous influence because, while providing a solid mathematical background for quantum mechanics (and setting the foundations of the theory of operator algebras), with the aim of clarifying the situation [13], he introduced the idealization of two basic physical operations: measurements and compositions. Without entering here into a discussion on von Neumann's influence on both notions and our interpretation of them, we would like to point out that, even prior to those, the notion of state worried von Neumann the most. Therefore, we will concentrate on this concept in the present analysis, not because the other two notions are germane to this discussion, but because it will clarify some of the foundational aspects of the groupoid picture of quantum mechanics that were left open in [10].
In order to provide a sound mathematical foundation for quantum mechanics beyond the Hilbert space formalism, J. von Neumann together with G. Birkhoff investigated the logical structure of quantum mechanics. They took an operational point of view that could be summarized in the statement that a system is described by the results of the interrogations we make of it. Thus, they devised a logical system whose propositions P represent experiments performed on the system with just two possible outcomes (yes-no experiments); thus, the system could pass the experiment (unchanged), or it does not pass. There is a natural relation between propositions, denoted P ⊆ Q, meaning that if the system passes P, it will also pass Q. As we will see later on, this way of thinking about propositional calculus becomes quite close to Schwinger's algebra of selective measurements.
After this, a set of axioms, based on their clarity and physical meaning, was proposed characterizing the families of propositions (P, ⊆) describing physical systems. Specifically, these axioms are: the relation ⊆ is a partial order; 2.
P contains two special propositions: E, which always allows the passage of the system (tautology), and ∅, which never permits the passage of the system (absurd); 3.
the pair (P, ⊆) is a lattice, i.e., given P, Q ∈ P, there exists the least upper bound of P and Q, denoted as P ∪ Q, and the greatest lower bound, P ∩ Q; 4.
the lattice (P, ⊆) is orthocomplemented, i.e., for any P ∈ P, there is another proposition P such that: (a) ∅ = E, and E = ∅; Finally, it was argued that lattice (P, ⊆, ∪, ∩, ) is weakly modular, i.e., if P ⊆ Q, then P and Q are compatible, which means that they generate a Boolean sublattice of P (see the discussion in Chapter 5 in [12]). In addition to the previous set of axioms, a Boolean lattice satisfies also the distributive law encoded in the relations: Sometimes, the previous list of the properties of P is supplied with an atomicity condition, which is not relevant for our discussion. In [11], it was proven that the lattice of propositions of a quantum system determines a projective geometry, and propositions can be represented as orthogonal projectors in a Hilbert space, i.e., the standard picture of quantum mechanics in terms of Hilbert spaces is recovered (see also Chapter 8 in [12]). The propositional calculus discussed so far allows for a clear interpretation of the notion of the state of a quantum system where its statistical interpretation becomes apparent. A state of a quantum system described by a lattice of propositions P is a map p : P → R + satisfying the following axioms: If the lattice is closed under the joint of countable proposition, these axioms can be extended to their σ-counterpart.
Hence, because of the additivity property of the function p, a statistical interpretation of the quantity p(P), as in standard probability theory, as the statistical frequency that the system will pass the experiment P in a large series of trials, can be introduced. This constitutes, actually, the formalization of the notion of "Gesamtheit" previously introduced by von Neumann [14] to analyze the statistical and thermodynamical properties of quantum systems. The previous analysis was completed by proving that: whereP is the orthogonal projection associated with P, in the Hilbert space H representing the lattice P, andρ is a density operator, i.e., a mixed state, or just a "quantum state" in modern jargon.

Schwinger's Selective Measurements and Groupoids
One of the main difficulties with the propositional calculus of Birkhoff and von Neumann was its explicit construction in specific examples. Actually, in spite of his foundational soundness, the propositional calculus developed by Birkhoff and von Neumann was seldomly used to develop the theoretical foundations of the avalanche of experimental data that were obtained at that time (contrary to Dirac's (often formal) methods, which were so much easier to use).
Almost 20 years later, J. Schwinger produced an axiomatic description of the foundations of quantum mechanics that was somehow related to the propositional calculus of Birkhoff and von Neumann even if no reference was made of the latter. Schwinger's main idea was to look for a "symbolic language suitable to describe atomic phenomena" [15]. He was able to find the building blocks of such language in the notion of "selective measurement", which can be considered a sort of enrichment of the notion of proposition or yes-no experiment of the propositional calculus. In particular, denoting by A a physical quantity that has the possible values (a, a , a , ....), the selective measurement M(a) was conceived of as a specific physical apparatus that measures A and selects only those physical systems compatible with the value a (think, for instance, of a Stern-Gerlach device selecting only the up-beam). This notion was then extended to consider devices capable of accepting systems compatible with the value a and changing them into systems compatible with the value a . This type of selective measurement is denoted by M(a , a), and we clearly see that if A has only two possible values, then M(a, a) is a proposition in von Neumann's sense. However, and this is precisely the main contribution in Schwinger's conceptualization, instead of considering the family of selective measurements M(a , a) as a static kinematical framework, Schwinger added a dynamical interpretation to it by realizing that such selective measurements may be composed in a natural way by performing them one after the other according to the composition rule: Then, based on this simple rule, and a few additional natural axioms, Schwinger built an algebra, called the algebra of selective measurements, and to put it to work, he enriched it with a quantum dynamical principle that allowed him to successfully complete his analysis of quantum electrodynamics [16][17][18][19][20][21]. When Schwinger introduced this theoretical framework, the mathematical structure encoded in Equation (3) was not known to him. However, from a modern perspective, it is immediate to check that the symbolic composition rule given in Equation (3) satisfies the following axioms: This implies that the collection of all selective measurements {M(a , a) | a, a outcomes of A} forms a groupoid with the space of objects the measurements M(a, a) ≡ 1 a , and Schwinger's algebra of selective measurements turns out to be the groupoid algebra of this groupoid [22].
Starting from the observation that selective measurements are appropriately described by groupoids, in a series of recent papers [2,6-10], a new picture of quantum mechanics was proposed where Schwinger's algebra of selective measurements was taken one step forward. In this framework, a physical system is described by means of a groupoid G ⇒ Ω, where the set Ω is referred to as the space of "outcomes", and the elements of the groupoid α : x → y, with x, y ∈ Ω, x being the source and y the target of α, are referred to as "transitions". In the following, we will use either the notation G ⇒ Ω or just G, to denote the groupoid of a physical system.
Conceptually speaking, the family of transitions α ∈ G generalizes both Schwinger's notion of selective measurement previously discussed, the actual transitions used in the statement of the Ritz-Rydberg combination principle [23], and the experimental notion of "quantum jumps" introduced in the old quantum mechanics. Furthermore, from a modern perspective, we may also say that the transitions α : x → y represent the abstract notion of amplitudes as "square roots" of probability densities, as argued in [6], that is specific representations of the groupoid G will assign rank-one operators to the transitions α, which will represent the "square roots" of standard probabilities.

The Algebra of Transitions and the Birkhoff-von Neumann Algebra of Propositions
In this section, we will see how to construct an algebra associated with the groupoid G ⇒ Ω describing a physical system, and we will analyze the relation between this groupoid algebra and the Birkhoff-von Neumann algebra of propositions introduced before. For the sake of simplicity, we will consider discrete, countable groupoids. A similar construction is available for more general groupoids, but requires some additional care to handle functional analytical details [22].
First of all, starting from the groupoid G, we may form the algebra C[G] of formal linear combinations of transitions α : x → y, which is referred to as the algebra of transitions of the groupoid. An element of this algebra will have the form: (all A α 's zero except for a finite number of them), and the space will be equipped with a natural multiplicative law given by: where δ (α,β) is different from zero only if s(α) = t(β), s and t being the source and target map of the groupoid, respectively. Clearly, the multiplication above is associative, and in addition, there is a natural involution operation, denoted by * and given by: The involution operation is such that (AB) * = B * A * . Elements of this algebra are referred to as "virtual transitions", and they provide the natural background for a dynamical and statistical interpretation of the theory (see [9,10] for details).
On the other hand, the algebra of transitions also represents a bridge between the groupoid picture of quantum mechanics and the Birkhoff-von Neumann propositional calculus because idempotent elements in C[G] are related to the notion of proposition in the Birkhoff-von Neumann lattice of propositions P associated with a physical system. Indeed, given a groupoid G, an element P ∈ C[G], such that P * = P and P 2 = P, will be called a proposition of G. Note that, in particular, the units 1 x with x ∈ Ω are propositions. There is a natural partial order relation among propositions in G given by: Note that, if P and Q are propositions of G and PQ = P, then PQ = P = P * = Q * P * = QP.
It is immediate to check that the previous relation actually defines a partial order in the space of propositions of G, that is the relation ⊆ thus defined satisfies: • Reflexivity: P 2 = P ⇒ P ⊆ P; • Transitivity: P ⊆ Q ⊆ R, i.e., PQ = P and QR = Q, ⇒ PR = PQR = PQ = P, i.e., P ⊆ R; • Antisymmetry: P ⊆ Q and Q ⊆ P, i.e., PQ = P and QP = Q, ⇒ P = PQ = QP = Q, i.e., P = Q.
If the set Ω of outcomes is finite, the algebra of propositions has a unit element 1 = ∑ x∈Ω 1 x , which may be interpreted as the proposition E corresponding to "truth". Then, we can define an orthocomplement operation P → P given by: It is straightforward to check that: The space of propositions of G would be a lattice if there exists the greatest lower bound (g.l.b.) for any pair (P, Q) of propositions, as is the case if G is finite. However, in the infinite-dimensional case, this is not necessarily so.
In the context of C * -algebra theory, it has been recently shown by Marchetti and Rubele [24] that there is a particular type of C * -algebras, named Baire*-algebras, or B * -algebras, for which the lattice of projection is an orthocomplemented modular lattice. In particular, von Neumann algebras are B * -algebras. Therefore, given a groupoid G, if we complete the algebra C[G] of virtual transitions in such a way that it becomes a von Neumann algebra, then its lattice of projections will satisfy the axioms of Birkhoff-von Neumann's propositional calculus. Notice that, in this setting, the proposition (projection) P ∩ Q is obtained as: where s-lim n→∞ T n denotes the limit of the sequence T n in the strong topology, and it satisfies: Consequently, setting: we get an orthocomplemented lattice that will be denoted as P (G). Note that, in addition, this lattice is automatically weakly modular because: and the sublattice generated by P and Q is Boolean, that is it is such that: as can be easily checked.
In the particular instance that the groupoid G is countable, as we shall always assume from now on, we may easily complete C[G] to a von Neumann algebra V (G) associated with G as follows. Consider the space L 2 (G) of square integrable functions on G with respect to the counting measure. There is an algebra homomorphism λ between the algebra C[G] of transitions of G and the algebra B(L 2 (G)) given by: , and zero otherwise. The map λ is called the left-regular representation of C[G] (the notions of the representation of a groupoid and of its algebra are connected with the notions of the representation of a category and of its associated algebra, as explained in [25]). The representation λ is faithful, and thus, in the following, we will often identify C[G] with its image through λ. This choice will simplify the notation. We define the algebra V (G) as: that is, as the double commutant of λ(C[G]) inside B(L 2 (G)). Because of von Neumann's theorem, the algebra V (G) ⊂ B(L 2 (G)) is a weakly closed and strongly-closed subalgebra of the algebra of bounded operators on the separable Hilbert space L 2 (G), and thus, it is a von Neumann algebra. The identity operator in V (G) is denoted as 1, and it is not hard to see that 1 = ∑ x∈Ω 1 x . We refer to V (G) as the von Neumann algebra of the groupoid G. Thus, we may conclude this section by saying that the set of propositions (projections) of the von Neumann algebra V (G) of virtual transitions of a physical system determined by a countable groupoid G is an orthocomplemented, atomic, weakly-modular lattice of propositions in the sense of Birkhoff-von Neumann's propositional calculus.

States in the Groupoid Picture
As was discussed in Section 2, from the point of view of the algebra of propositions, a state of a physical system is a non-negative, normalized, σ-additive function p on the lattice of propositions P of a physical system. Therefore, in the groupoid picture outlined above, a state p will be a normalized non-negative real function on the lattice of propositions P (G) of the von Neumann algebra V (G) of the groupoid G ⇒ Ω. In other words, ∀P ∈ P (G), p(1) = 1, and p(P) ≥ 0. Moreover, since the lattice of propositions (projections) P (G) generates the total algebra V (G) (essentially because of the spectral theorem), we have that any real element A ∈ V (G) can be written as: where {P λ } is the spectral resolution of A. Then, p(A) = ∑ λ λp(P λ ). If A is also positive, i.e., A = B * B, we will have p(B * B) = ∑ λ |λ| 2 p(P λ ) ≥ 0. In other words, states in the sense of von Neumann are just states in the C * -algebra V (G), i.e., normalized positive functionals. This justifies the notion of state in the groupoid picture introduced in [10] as normalized, positive functionals defined on the C * -algebra of the groupoid G. The case in which A has a continuous spectrum may be dealt with in a similar way, essentially "replacing sums with integrals".
In the case of a countable groupoid, every state ρ determines a function ϕ ρ : G → C, which is positive-definite and given by: Note that we have: and: Hence, the non-negative real numbers, define a classical probability distribution on the space of outcomes Ω of the system. As was shown in [10], any state ρ on V (G), through its associated positive-definite function ϕ ρ , defines a decoherence functional on the σ-algebra Σ(G) of parts of G by means of: The decoherence functional D, in turn, defines a quantum measure, or a Grade-2 measure µ in Sorkin's conceptualization of the statistical interpretation of quantum mechanics [26], as: The quantum measure µ nicely captures both the statistical interpretation of experimental observations (it can be interpreted as a statistical frequency), as well as interference phenomena, i.e., it is not additive in general (see [10] and the references therein for a detailed discussion of these subtle aspects). Therefore, in general, we can define the interference function: where A, B ∈ Σ(G) are disjoint subsets of G. However, a Grade-2 measure satisfies the following identity: with A, B, C ∈ Σ(G), three pairwise disjoint subsets of G.
Given two outcomes x, y ∈ Ω and a state ρ of the system, we can consider the complex number: which could be interpreted as the probability amplitude associated with the state ρ and the events x and y Indeed, we have: Then, if the state ρ is factorizable in the sense of [10], i.e., if its associated function ϕ ρ satisfies: we obtain that: which is the celebrated rule of the "sum-over-histories" composition of the probability amplitudes discovered by R. Feynman.

Classical Systems
In Birkhoff-von Neumann's description of physical systems by means of propositional calculus, classical systems correspond to Boolean lattices. More precisely, two propositions P and Q are said to be compatible if the sublattice generated by them is Boolean [12], i.e., it satisfies the distributive law in Equation (13), and a system is classical if all the propositions are compatible among themselves. On the other hand, in the groupoid picture introduced above, we say that a given physical system is classical if the algebra V (G) is Abelian (commutative).
We will now prove that the notion of a classical system from the groupoid point of view corresponds to the notion of a classical system from Birkhoff and von Neumann's quantum logic point of view and vice versa. First, we will show that if the groupoid algebra V (G) is Abelian, then the lattice of propositions of G is Boolean. Proposition 1. Let G ⇒ Ω be a countable groupoid with Abelian von Neumann algebra V (G), then its lattice of propositions P (G) is Boolean.
Proof. First, notice that, if V (G) is Abelian, for any pair of propositions P and Q, we have P ∩ Q = PQ = QP. Indeed, it clearly holds that (PQ) n = P n Q n = PQ, and thus, recalling Equation (9), it is P ∩ Q = s− lim n (PQ) n = PQ. Then, it is: which means: Now, we may easily check the distributive property of the lattice P (G) (see Equation (1)) by computing: and: The converse is also true, and in addition, we gain additional information on the structure of the von Neumann algebra of a classical system. Theorem 1. Let G ⇒ Ω be a discrete countable groupoid. The lattice of propositions P (G) of the groupoid is Boolean if and only if the groupoid G is totally disconnected, its isotropy groups are Abelian, and its von Neumann algebra V (G) is Abelian.
Proof. In Proposition 1, we already saw that if V (G) is Abelian, then P (G) is Boolean. Now, let us prove first that if P (G) is Boolean, then G is totally disconnected. We will do this by showing that, given x = y ∈ Ω, there is no transition α between x and y (i.e., there are no "quantum jumps" from x to y). Suppose that such a transition α : x → y, with x = y, exists. Then, let us define the proposition: Now, notice that we have: from which it follows that (see Equation (9)): On the other hand, we have (see Equation (11)): ( and hence, Therefore, we conclude that: and on the other hand, that: (P α ∩ 1 x ) ∪ (P α ∩ 1 y ) = 0 ∪ 0 = 0 , and these two results are obviously different. This means that, if there is a "quantum jump", we can construct two propositions that are not compatible, and this is a contradiction with the hypothesis of the theorem. Consequently, G ⇒ Ω is totally disconnected and: with G x being the isotropy group at x. According to prop. 10.12 in [25], the algebra C[G] of transitions of the totally disconnected groupoid G can be written as: where C[G x ] is the algebra of transitions of the isotropy group G x seen as a groupoid with only one object. Then, the von Neumann algebra of G will have the form: By hypothesis, G x is a countable discrete group, and the lattice of propositions P (G x ) is a sublattice of the algebra of propositions P (G); hence, it is a Boolean sublattice of the Boolean lattice P (G). The von Neumann algebra V (G x ) is generated by its projectors, which by hypothesis are compatible propositions; hence, they commute (see Section 5.8 in [12]), and V (G x ) is Abelian. Hence, all isotropy groups G x must be Abelian, and we have: with G x being the Pontryagin's dual group (or group of characters) of G x .
From this, we conclude that classical systems (at least those described by countable groupoids), both in the groupoid picture and in the quantum logic approach of Birkhoff and von Neumann, correspond to the same notion and are described by Abelian von Neumann algebras that can always be realized as L ∞ (X) with X = x∈ΩĜx . The states of these algebras are non-negative, normalized integrable functions on X, i.e., functions ρ : X → R + , such that: (40)

Composition
In order to meaningfully discuss the situation depicted in the Introduction, we must consider the composition of two systems, in particular of a classical system with a quantum one. We will carry out the analysis of composite systems in the groupoid framework discussed above.
The composition of systems we will consider here is the simplest one (or the "naive" one), which intuitively corresponds to the idea "to put the systems side by side on the laboratory table" [27,28], i.e., all possible outcomes of both systems can be determined simultaneously, and all possible transitions of both systems can actually happen. As thoroughly discussed in [2], in the language of groupoids, this notion of composition corresponds to the direct product of groupoids. Specifically, given two systems A and B described by two groupoids G A ⇒ Ω A and G B ⇒ Ω B , respectively, their direct composition, denoted by A × B, corresponds to the system described by the groupoid G A × G B ⇒ Ω A × Ω B , which is the direct product of the groupoids G A and G B . The units of G A × G B are given by the pairs (1 x A , 1 x B ), and the inverse of the transition Our aim is now to prove that the algebra of transitions of the composite groupoid is the (algebraic) tensor product of the algebras of transitions of the composing groupoids.

Proposition 2. Given the countable groupoids G
Proof. Consider the algebraic tensor product C[G A ] ⊗ C[G B ] of the algebras of transitions of the groupoids, and consider the map ] obtained by extending by linearity the map: Specifically, denoting by (γ A , γ B ) an element in the direct product G A × G B ⇒ Ω A × Ω B , every element in the algebra of transition can be written as (see Equation (4)): and the map i AB reads: It immediately follows that i AB is injective, and we will now see that it is actually surjective. For this purpose, we consider a generic element: and thus: Setting: it is clear that the element: and thus, i AB is surjective. From this, we conclude that: as desired.
Note that the unit of C[G A × G B ] is given by: ] introduced above, we can write: Note that the left-regular representation of C[G A × G B ] is supported on the Hilbert space: and thus, it is the tensor product of the left-regular representations of C[G A ] and C[G B ], respectively. Now, we will specialize to the composition of a classical system with a quantum system in order to analyze Schrödinger's Gedankenexperiment in the next section. Hence, if A denotes a classical system with totally disconnected Abelian groupoid: where G x A is Abelian ∀x A ∈ Ω A , and B is a quantum system with groupoid G B ⇒ Ω B (the "quantumness" of B is encoded in the assumption that C[G B ] is not Abelian), the direct composition of both will be the groupoid The outcomes of the composite system A × B will consist of all possible pairs of outcomes (x A , x B ) ∈ Ω A × Ω B , as in the general situation. On the other hand, the transitions of the composition will have the form (γ x A , α B ) with γ x A ∈ G x A and α B : x B → y B . Assuming that G B is connected, the orbits of the groupoid G A × G B have the form: from which we conclude that the groupoid G A × G B is not connected, and the space of outcomes decomposes as the disjoint union of the family of orbits O x A according to: As before, the algebra of virtual transitions of the composite system A × B has the form: while, to understand the structure of the von Neumann algebra V (G A × G B ), we need a preliminary lemma.
where ⊗ denotes the tensor product of von-Neumann algebras.
Proof. We will consider first the algebraic tensor product A ⊗ B of A and B. The resulting algebra is supported on the Hilbert space H = H A ⊗ H B . We denote by V (A ⊗ B) = (A ⊗ B) the von Neumann algebra generated by it. Clearly, V (A ⊗ B) is supported on H. The von Neumann algebra V (A) ⊗V (B) is itself also supported on H, essentially by the definition of the tensor product of von Neumann algebras [29]. Now, consider the canonical inclusion A ⊗ B ⊂ V (A) ⊗V (B). The closure in the weak topology will induce a continuous inclusion: On the other hand, there are natural inclusions: Moreover, the algebra C[G A ] of the classical system reads (recall the discussion in Section 4.1 and prop. 10.12 in [25]): and thus: Exploiting the distributive property of the tensor product over the direct sum, we obtain: It is important to point out that the direct product structure of the algebra of the composite system is manifest only because of the groupoid formalism used in its construction. Indeed, in the algebraic approach, one starts with an Abelian algebra for the classical system and with a non-Abelian algebra for the quantum system and then builds the algebra of the composite system as the tensor product of the algebra. The result is an algebra in a form similar to that in Equation (58) for the algebra of the direct product of groupoids. However, it is clear that the direct sum decomposition of the tensor product algebra given in Equation (63) explicitly depends on the fact that the groupoid of the classical system is disconnected, and thus, if we have access only to the information on the algebra of the classical system (i.e., the fact that it is an Abelian algebra), we are not able to immediately detect and appreciate the direct sum decomposition. This instance points to the fact that the groupoid formalism allows a more comprehensive understanding of the properties of physical systems and their associated algebras in a way that is conceptually similar to how the algebraic picture of quantum mechanics provides a more comprehensive understanding of the Hilbert space picture (think, for instance, of the notion of superselection sectors in Chapter IV.1 in [30]).

Separable States and Unitary Evolution
We are ready now to consider the problem of the evolution of separable states. Specifically, we consider a composite system A × B, where A is a classical system and B is a quantum system, and a closed evolution of the composite system that reflects the fact that the system does not interact with the external world. We need to understand first what happens to the composite system when the initial state is a product state.
From the point of view of the theory of von Neumann algebras, it is known that the space of states of a von Neumann algebra, which is the tensor product of an Abelian algebra with an arbitrary one, does not contain entangled states because of Raggio's theorem [5] (see also [29,31,32]). Therefore, if the system A is considered to be a classical system in the sense discussed in the previous sections, then, given an arbitrary initial product state, it is not possible to create an entangled state by means of a dynamical evolution.
In the rest of this section, we will offer an alternative view of Raggio's theorem based on the groupoid picture introduced before. The main point will be the use of the direct product decomposition of the algebra given in Equation (63) and of the properties of the representations of the groupoid G A × G B to show that there is no unitary dynamics of the composite system that can produce an entangled state from a product one. Of course, this result is expected in the light of Raggio's theorem; however, the derivation we offer is completely independent of Raggio's theorem. Moreover, the strategy we adopt to prove our result will allow presenting an example in which a conclusion similar to that of Raggio's theorem is true even if both algebras are non-Abelian. Specifically, if one of the two groupoids, say G A , is totally disconnected, but its isotropy subgroups are no longer Abelian, then the resulting algebra will be non-Abelian, but there will be a particular family of product states on V (G A × G B ) that cannot evolve into entangled states by means of a unitary dynamics. Given a composite system A × B, where A is a classical system (i.e., it is described by a totally disconnected groupoid G A with Abelian isotropy subgroups and Abelian von Neumann algebra V (G A )), we know from the discussion in the previous section that the groupoid G A×B of the composite system is the direct product G A × G B of the groupoids G A and G B , and the von Neumann algebra V (G A × G B ) has the form written in Equation (63).
A closed dynamical evolution is given by a strongly continuous one-parameter group Φ t of automorphism of V (G A × G B ) [9]. For the purpose of this paper, we consider dynamical evolutions Φ t that can be written in terms of a one-parameter group u t = exp itH of unitary elements in V (G A × G B ) by means of: This is true if G B is connected, in which case, it gives rise to a non-Abelian von Neumann algebra V (G B ). Equation (64) is the Heisenberg picture of the dynamics, while the Schrödinger picture can be obtained by taking the dual action of group Φ t on the dual of V (G A × G B ). Specifically, if ρ is a state on V (G A × G B ), then the evolution ρ t of the state will be given by: for all a ∈ V (G A × G B ). We will build a family of vector states by using the so-called fundamental representation π 0 of the groupoid G A × G B of the system and of its algebra V (G A × G B ). Here, we limit ourselves to recalling only those aspects of the fundamental representation that are strictly needed in the following and refer to [8,25] for further details.
The fundamental representation is supported on the separable Hilbert space H A×B given by: and ρ x A is clearly a product state on V (G A × G B ), of a classical-quantum composite system. We will now analyze its dynamical evolution Φ t (ρ x A ) and show that it is a product state for every t. Indeed, the Heisenberg evolution represented in H A×B takes the form: and we immediately conclude that: Then, recalling that the subspace given in Equation (70) is invariant with respect to π 0 , we have that: which means that ρ x A = Φ t (ρ x A ) is a product state for all t, as claimed. Furthermore, we may consider separable states of the form: with ρ x A as in Equation (76) and with p x A ≥ 0 such that ∑ x A ∈Ω A p x A = 1, and we immediately obtain that t = Φ t ( ) is a separable state for all t. Note that the same statement holds if we start with a mixed state both for the quantum system or the classical system. The results of this section are summarized in the following theorem: Theorem 2. Let A be a system described by a totally disconnected, countable groupoid G A ⇒ Ω A . Let B be a system described by a countable, connected groupoid G B ⇒ Ω B . Let A × B be the composite system described by the direct product groupoid G A × G B ⇒ Ω A × Ω B . Given a dynamical evolution of A × B described by a one-parameter group Φ t of automorphisms of the von Neumann algebra V (G A × G B ) of the system that can be written according to Equation (64), assume that at the initial time t 0 , the system is in the separable state given by Equation (80). Then, the dynamical evolution of will be a separable state for all t.
It is important to note that this result depends crucially on the form of the groupoid algebra of a composite system made of a classical and a (possibly) quantum system, and of its fundamental representation. Indeed, we see that what is actually needed in the argument outlined above is the fact that the subspace given in Equation (70) is invariant with respect to the fundamental representation π 0 . This instance is realized even if the groupoid G A is a countable groupoid that is totally disconnected, but presents non-Abelian isotropy subgroups. In this case, the algebra V (G A ) is no longer Abelian (the system A is thus non-classical), but the argument given above still applies.

Conclusions
In this contribution, the composition of classical and quantum systems in the groupoid formalism for quantum systems is analyzed. As a first step, the notion of classical systems is discussed, and for countable groupoids, it is found that a classical system in the sense of the quantum logic of Birkhoff and von Neumann is necessarily associated with a totally disconnected groupoid with Abelian isotropy subgroups, and vice versa. Then, it is asked what happens to the evolution of a separable state of a composite system made up of a classical system and a quantum one. The arguments presented in this paper show that, under the appropriate technical conditions expressed in Theorem 2, the direct composition of a classical system with a quantum one prevents a separable state of the composite systems from evolving into an entangled state by means of unitary evolution. As said before, if the system A is classical in the sense specified in Section 4.1, the content of Theorem 2 is a particular case of Raggio's theorem. However, when the isotropy subgroups of A are non-Abelian, then the algebra V (G A ) is non-Abelian, and Raggio's theorem does not apply, while Theorem 2 does apply and allows us to conclude that there are separable states of the composite system that will remain separable under all possible unitary dynamics of the composite system. Therefore, even if both systems are non-classical, there still are particular initial separable states of the composite system for which Schrödinger's disturbing evolution is precluded. These type of states may be called "pseudo-classical" states, and Theorem 2 represents a first step stating clearly that pseudo-classical states actually exist.
In the context of quantum information theory, a similar result has already been obtained [33]. In this case, both the systems A and B are described by connected groupoids (the groupoids of a pair of n elements giving rise to matrix algebras), and it is proven that there are mixed separable states that remain separable under every unitary dynamics. The set of such states (which are pseudo-classical in the sense specified above) is referred to as the Gurvits-Barnum ball, and it would be interesting to understand the proof given in [33] in the context of the groupoid picture. All these issues will be dealt with in future works.