Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

The Case Against Factorism: On the Labels of ⊗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\otimes$$\end{document}-Factor Hilbert-Spaces of Similar Particles in Quantum Mechanics

The Case Against Factorism: On the Labels of ⊗\documentclass[12pt]{minimal}... We discuss the case against Factorism, which is the standard assumption in quantum mechanics that the labels of the ⊗-factor Hilbert-spaces in direct-product Hilbert-spaces of composite physical systems of similar particles refer to particles, either directly or descrip- tively. We distinguish different versions of Factorism and argue for their truth or falsehood. In particular, by introducing the concepts of snapshot Hilbert-space and Schrödinger- movie, we demonstrate that there are Hilbert-spaces and ⊗-factorisations where the labels do refer, even descriptively, to similar particles, which renders them probabilistically abso- lutely discernible. Keywords Elementary particles · Identical particles · Similar particles · Discernibility · Quantum mechanics · Factorism · Distinguishability 1 Factorism and Part States Consider N ∈ ℕ particles, labelled by numerals ‘1’,‘2’, ,‘N’. In quantum mechanics (QM), every possible pure state of particle j ∈{1, 2, … , N} is mathematically represented by a Hilbert-vector of norm equal to 1, up to a global phase factor ( e ,  ∈[0, 2) ), belong- ing to Hilbert-space H . The Hilbert-space H of a composite system  of N particles is (a subspace of) the direct-product Hilbert-space of the N ⊗-factor Hilbert-spaces: H ⊑ H = H ⊗ H ⊗⋯ ⊗ H . (1) 1 2 N A vector in H is symmetric iff it is invariant under every permutation of the labels, and anti-symmetric iff it is invariant under every even permutation, and invariant up to a * F. A. Muller f.a.muller@esphil.eur.nl http://www.staff.science.uu.nl/muller106/ Gijs Leegwater g.leegwater@esphil.eur.nl Erasmus School of Philosophy, Erasmus University Rotterdam, Woudestein, 3062 PA Rotterdam, The Netherlands Descartes Centre for the History and Philosopy of Science, Faculty of Science, Utrecht University, Utrecht, The Netherlands 1 3 Vol.:(0123456789) 292 F. A. Muller, G. Leegwater factor −1 for every odd permutation; and similarly for statistical (or density) operators in S(H) , which represent mixed states. According to the Symmetrisation Postulate of QM, for composite systems of similar fermions (i.e. having the same super-selected, or state- independent, properties, like mass, charge, spin magnitude and baryon number), H is the anti-symmetric subspace of H , denoted by H , and for similar bosons, H is the symmet- ric subspace of H , denoted by H . All ⊗-factor Hilbert-spaces must then be chosen the same: H = H for every j, k ∈{1, 2, … , N}. j k The permutation-operators act by definition on the labels of the ⊗-factor Hilbert-spaces, e.g. for N = 3 and permutation 321 of 123: Π �u⟩ ⊗ �v⟩ ⊗ �w⟩ = �w⟩ ⊗ �v⟩ ⊗ �u⟩ . (2) 321 1 2 3 1 2 3 One can suppress the labels in the vectors in (2) and let the typographical order do the labelling: Π �u⟩ ⊗ �v⟩ ⊗ �w⟩ = �w⟩ ⊗ �v⟩ ⊗ �u⟩. (3) Since �u⟩ , �w⟩ ∈ H , �v⟩ ,∈ H , and �w⟩ , �u⟩ ∈ H , and Hilbert-space H is associated 1 1 1 2 2 3 3 3 1 with particle 1, etc., what could be more natural than to assume that the labels also refer to the particles? Indeed, nothing could be more natural. In fact, we opened this article by introducing the labels as names of particles and then used them too as labels of the ⊗ -factor Hilbert-spaces. This assumption seems to have been first unearthed explicitly and turned into a subject of serious thought by Lubberdink in her ms-thesis of 1998, parts of which were published 13 years later with her supervisor Dieks; independently it was implicitly unearthed by Huggett and Imbo (2009), and essentially by Saunders in 2006; the assumption has been baptised insipidly Factorism by Caulton, first in his PhD-thesis of 2011. Insipidly, we follow suit: Factorism.   Given a Hilbert-space H of a composite system  of N given similar parts, representing the possible physical states of  , and given a direct-product fac- torisation of H into other Hilbert-spaces. Then the labels of these given ⊗-factor Hilbert-spaces refer to the N parts either directly (Direct Factorism) or descrip- tively (Descriptive Factorism). A number of systematic remarks on Factorism follow next. First, we must realise that Factorism can only be judged true or false until and unless H has been specified and a ⊗-factorisation of H has been specified. When one uses symbols like ‘ H ’ and ‘ H ’, then nothing has been specified, because these are variables ranging over Stricto sensu isomorphic: H ≃ H , for the ⊗-factors being isomorphic will also do, even when they are j k not identical; since all complex (separable) Hilbert-spaces of the same dimension are isomorphic, it is thus stricto sensu sufficient to require that the ⊗-factor Hilbert-spaces have the same dimension. Standard in every textbook on QM and the overwhelming majority of papers on the subject of ‘identical’ (similar) particles. See e.g. Cohen-Tannoudji et al. (1978), Butterfield (1993), French and Redhead (1988), Redhead and Teller (1992), French and Krause (2006), Saunders (2006a, b), Muller and Saunders (2008), Muller and Seevinck (2009), Ladyman et al. (2012). Lubberdink (1998), Saunders (2006b), Huggett and Imbo (2009), Dieks and Lubberdink (2011), Caulton (2018b). Caulton currently prefers to call Direct Factorism “transcendental individuation”, harking back to a terminology of Redhead c.s. Caulton (2018a), Redhead and Teller (1992), French and Redhead (1988). The terminology of ‘transcendental individuation’ should not lead us to believe that a metaphysical issue is at stake here: the interpretation of the ×-factor labels is a semantic issue. 1 3 293 The Case Against Factorism: On the Labels of ⊗-Factor... the class of all and only Hilbert-spaces. Then Factorism does not express a proposition that can be true or false. Factorism can be made independent of such specifications and then expressing a proposition, by quantifying the two-fold dependence away universally ( ∀-Fac- torism) or existentially (∃ -Factorism), as follows: ∀-Factorism.  For every Hilbert-space H of a composite system  of N given simi- lar parts and for every direct-product factorisation of H into other Hilbert-spaces, the labels of these given ⊗-factor Hilbert-spaces refer to the N parts either directly (Direct ∀-Factorism) or descriptively (Descriptive ∀-Factorism). ∃-Factorism.  For some Hilbert-space H of a composite system  of N given simi- lar parts and for some direct-product factorisation of H into other Hilbert-spaces, the labels of these given ⊗-factor Hilbert-spaces refer to the N parts either directly (Direct ∃-Factorism) or descriptively (Descriptive ∃-Factorism). It will be useful to define even a fourth thesis: : Anti-Factorism.   For every Hilbert-space H of a composite system  of N given similar parts and every direct-product factorisation of H into other Hilbert-spaces, the labels of these given ⊗-factor Hilbert-spaces neither refer to the N parts directly (Direct Factorism) nor descriptively (Descriptive Factorism). These three theses express distinct propositions, which are logically related. If ∀-Factor- ism is true, then ∃-Factorism is true, and Anti-Factorism is false. If ∃-Factorism is true, then nothing follows about ∀-Factorism, it can be true and it can be false; but then Anti- Factorism again is false. If ∀-Factorism is false, then both ∃-Factorism and Anti-Factorism can be true or can be false. If Anti-Factorism is true, then both ∀-Factorism and ∃-Factor- ism are false. If Anti-Factorism is false, then ∃-Factorism is true and ∀-Factorism can be true or false. It will transpire that ∃-Factorism is true, ∀-Factorism is false, and hence Anti- Factorism is also false. Notice that for composite systems of dissimilar parts, the labels of the ⊗-factors do refer unproblematically to these dissimilar parts. Which is why all versions of Factorism men- tion explicitly that the parts must be similar. Secondly, it is rarely clear which version of Factorism is criticised by the authors listed above. Their generic use of symbols like ‘ H ’ and ‘ H suggest they talk about an arbitrary Hilbert-space, which makes it logically equivalent to talking about all Hilbert-space (by the introduction-rule of ‘ ∀’). This would be Anti-Factorism and therefore they seemed to believe to have established the truth of Anti-Factorism. The context however usually reveals they have been considering a specific Hilbert-space, notably Dieks and Lubberdink (2011), and a specific ⊗-factorisation, which means that all they have established is that there is a Hilbert-space and there is a ⊗-factorisation of which the labels do not refer to the particles, in other words, they have established that ∀-Factorism is false by produc- ing a counter-example. This leaves the truth of both ∃-Factorism and Anti-Factorism wide open. Again, we shall conclude the falsehood of Anti-Factorism and thereby the truth of ∃ -Factorism. The name of which has also been introduced by Caulton (2012, § 2.2): “Anti-factorism is the doctrine that factor Hilbert-space indices are a gauge quantity.” These labels “do not represent anything physical”. When Caulton means here the ⊗-factor Hilbert-spaces of all ⊗-factorisations of all Hilbert-spaces, then this doc- trine is the same as our Anti-Factorism. 1 3 294 F. A. Muller, G. Leegwater Thirdly, we must also realise that every version of Factorism is an assumption, because it does not follow from ‘the mathematics’ or the Von  Neumann postulates of QM. Like postulating that certain Hilbert-vectors represent physical states and certain operators rep- resent physical magnitudes, Factorism is an assumption that tells us that certain mathemat- ical entities, the labels (for which standardly positive natural numbers are used), besides naming ⊗-factor Hilbert-spaces and naming operators acting in them (generically operator A acting in H ), are also names of the particles. Physical significance is attributed to these j j labels—and explicity denied by Anti-Factorism. Fourthly, as Friebe has pointed out, connecting Factorism to the philosophy of lan- guage, that standardly the labels refer directly to the particles, they are senseless names, in contrast to descriptive names, which refer descriptively by Russellian definite descrip- tions. Whence the difference between Direct and Descriptive Factorism. In order to refer descriptively to a constituent particle of a physical system, the particle must be absolutely discerned from the other constituent particles, which means it must possess at least one property that all other particles lack. In the case under consideration, of physical systems composed of similar particles, descriptive reference seems impossible because all constitu- ent particles share all their properties and seem therefore absolutely indiscernible; direct reference is then the only available option to refer. Of course, one can discern the parti- cles absolutely by means of labels (the particle having label ‘1’), but since these senseless labels lack any physical significance, such discernment is physically insignificant. The par - ticles remain physically, or empirically, absolutely indiscernible. (In fact, what is permit- ted to discern and what is forbidden to discern in the context of QM—and beyond—has recently been scrutinised. ) When probability measures occur in the relations, one speaks of probabilistic discernment. Do the constituent parts of a composite physical system generally also have states? Call the answer in the affirmative: Part States.  All parts of a composite physical system have states. As soon as an answer in the affirmative has been given, the next question is: what is the state of the parts, and how does it relate to the state of the composite system? Are the states of similar particles different? Before we address these questions, let us first see what argu- ments are around in favour of adopting Part States. The most general conception of a physical state is the mixed one, as Von Neumann pro- posed, and mixed states are represented by statistical operators in the convex set S(H ) (positive, self-adjoint, trace  class1 ); the expectation-value of a physical magnitude repre- sented by symmetric operator A when the physical system is in state W is provided by the celebrated trace-formula: ⟨A⟩ = Tr(AW). (4) By choosing for A the members of its spectral resolution, formula (4) yields a probability- measure for A-measurement outcomes. 1. One reason in favour of Part States is that Part States needs no reason in QM because in QM it follows from the State Postulate of QM: (i) the members of S(H) represent the possible physical states of a physical system with which H is associated, and (ii) the See Friebe (2014). To wit, Friebe defends descriptivism but not Descriptive Factorism. Muller and Saunders (2008), Muller and Seevinck (2009), Muller (2015). 1 3 295 The Case Against Factorism: On the Labels of ⊗-Factor... members of S(H ⊗ H ⊗⋯H ) represent those of a composite system of N parts. Since 1 2 N the parts of the last-mentioned physical system are physical systems too, with which the ⊗-factor Hilbert-spaces are associated, it follows from (i) that the possible states of part j are represented by members of S(H ) . Yet one may weaken the State Postulate to (ii), and leave it open whether parts have states too, or even deny that parts have states. In that case, Part States does not follow from the State Postulate, and we may now legitimately request a reason for Part States. 2. The standard reason for Part States goes as follows. In principle we can perform a measurement of any physical magnitude pertaining to a part, viz. the position of a single particle, represented by a symmetrised one-particle position-operator. Repeated measure- ments test a single-particle probability-measure. Since probability-measures of physical magnitudes pertaining to the composite system are generated by some statistical opera- tor W ∈ S(H ) and some symmetric operator A acting in H (W is guaranteed to exist by ± ± Gleason’s Theorem), we also want single-particle probability-measures to be generated by some statistical operator W ∈ S(H ) and some operator A acting in H (W is also guar- j j j j j anteed to exist by Gleason’s Theorem). But which one? As Van Fraassen has pointed out, all we need to obtain Von Neumann’s choice that W is the partial trace of W is to endorse the eminently reasonable requirement that the expectation-value of A acting in H when j j particle j is in state W equals the one of the trivially extended A to act symmetrically in H j j ± when the composite system is in state W ∈ S(H ): Tr(A W ) =Tr(AW). j j (5) For two particles, A is (A ⊗ 1 + 1 ⊗ A ) , etc. 1 2 1 2 Notice that in both reasons, ∀-Factorism seems to have been taken for granted. Next it is elementary to show that the partial traces of similar fermions are identical, and for similar bosons too, so that the single-particle states cannot be used to discern the particles absolutely, and hence cannot be used to refer to the particles descriptively in what would have been a physically significant manner. For fermions, the states are always improper mixtures; for bosons, pure states and improper mixtures are possible, never proper mixtures. Thus the similar particles remain absolutely indiscernible, even after Part States has been embraced. They cannot be individuated and therefore are not individuals; they are indiscernibles. The adoption of Part States has brought no change in the situation that according to QM, similar particles are indiscernibles. Moreover, Direct Factorism is the name of the reference game of similar particles in QM. Descriptive Factorism is out. In order to prevent that an operator representing a physical magnitude takes Hilbert- vectors outside H , it must be symmetric, which is to say that it must commute with every permutation operator. This is known as the Indistinguishability Postulate, which is not a postulate because it follows from the Symmetrisation Postulate. That symmetrised opera- tors must be used when considering similar particles is well-known. Less well-known is that when we want to measure a physical magnitude pertaining to a single particle, one must distinguish, in case of two particles, between (i) whether a single particle has a Fraassen (1991, 199). Fraassen (1992, 386), QM-Exclusion Corollary. But notoriously not conversely. See Fraassen (1992, 381 ff), Huggett and Imbo (2009, § 3). 1 3 296 F. A. Muller, G. Leegwater property and the other does not have it, and (ii) whether at least one particle has it. Bigaj (2015b, 193–195) explains how and why. Some have argued that the similar particles can be discerned by relations in physically significant ways, which turns the similar particles into relationals, in contrast to indiscerni- bles and individuals. The first criticism against this relational discernment was that it is circular; this criticism has not stood up to scrutiny. The second criticism is that the discerning relations in some instances employ operators that do not obey the Indistinguish- ability Postulate; hence no physical significance is bestowed on the discerning relations by the operators employed in defining these relations. Repair jobs of relational discernment have been mounted; some repair jobs have been succesful for some but not all classes of states, another repair job has been succesful for all states but is probabilistic in nature. Leibniz’s Principle of the Identity of Indiscernibles is a metaphysical principle that is at stake in this debate. The proponents of relational discernibility have argued that the suf- ficient condition for identity of sharing all properties must be extended to include also rela- tions, in which case the principle is obeyed rather than violated by QM. The debate about relational discernibility and Leibniz’s principle continues but we park it here. For even if similar particles are relationals, they are not individuals, not absolutely discernible, and Direct Factorism then seems the only manner to refer to the particles. We next turn to the arguments against Factorism (Sects.  2, 5), which we shall counter (Sects.  3, 5). Further, we mention a few things that are just non-trivial enough to be wor- thy to be pointed out at all (Sect.  4, which can be omitted) and we end with concluding remarks (Sect. 6). 2 Factorisable, Tangled and Entangled States 2 3 Consider a composite system of a proton and an electron with Hilbert-spaces H = L (ℝ ) and H = ℂ (which is admittedly a peculiar combination). This system can be in some product-state: � � 2 3 2 �𝜓 ⟩ ⊗ �↑ ⟩ = 𝜓 ⊗ ∈ L (ℝ ) ⊗ ℂ . (6) The particle labelled ‘1’ can now be descriptively referred to as ‘the particle having state- independent properties mass m , charge +1 and spin-magnitude 1/2’, and mutatis mutan- dis for ‘2’. The particles can also be descriptively referred to by their states: particle1 is the particle in the state represented by  wave-function   , and particle2 is the particle in the state represented by the column-vector in (6). In superpositions, which prohibit the ascription of properties corresponding to magnitudes whose eigenvectors are members of the basis in which the superposition is expressed, neither state-dependent properties nor states of parts can be used for descriptive reference. But the state-independent properties can always be used to do the job of descriptive reference. These particles are absolutely discernible, they can be discerned in physically significant ways, they are individuals, and Saunders (2006a, b), Muller and Saunders (2008), Muller and Seevinck (2009), Saunders (2013). French and Krause (2006), Hawley (2009), Muller (2015). Huggett and Norton (2014), Caulton (2013), Bigaj (2015a). See references in the previous footnote, and Friebe (2014). 1 3 297 The Case Against Factorism: On the Labels of ⊗-Factor... they can be individuated by their state-independent properties, which they always possess. For composite systems of dissimilar particles, Descriptive Factorism holds good. Direct Factorism holds good too, but has become otiose. There are three arguments against Factorism around, which all pertain to composite sys- tems of similar particles: • The Argument from Tangled States (current section). The Argument from Entangled States (current section). • The Argument from Measurement (Sect. 5). Before we exposition these arguments, first some preparations. Since similar particles cannot be discerned by: their state-independent properties, by their physically insignificant senseless labels, or by their states if they have them (their states are all the same), the only way to discern them is by means of their state-dependent properties (or relations). Here the troubles begin. Product-states, like �u⟩ ⊗ �v⟩ , cannot 1 2 be anti-symmetric, so turning the directly referring labels into descriptive ones by means of the states is not on. Product-states can be symmetric, but only when the ⊗-factors are alike, as in: �u⟩ ⊗ �u⟩ , which means that both particles are in exactly the same state �u⟩ 1 2 and hence discernment by means of the states is not on. The inquiries into entanglement by Ghirardi   et al. (2002)  c.s. has however led to the view that there are non-factorisable states in which particles can be discerned by means of descriptive reference. They call non-factorisable states that result from anti-symmetrising a product-state ‘not entangled’; we shall call them tangled. Call a non-factorisable state that does not result from (anti-)symmetrising some product-state entangled. The non-fac- torisable vectors then subdivide in tangled and entangled ones. One good reason to draw this distinction in the non-factorisable states is that only entangled states, when considering spin and position, lead to a breach of a Bell-inequality, whereas tangled states do not lead to a breach. When in 1935, Schrödinger famously wrote about what he called ‘entangle- ment’: “I would not call that one but rather the characteristic trait of quantum mechanics, the one that enforces its entire departure from classical lines of thought”, one can only endorse this when by ‘entanglement’ is meant how Girardi et  al. characterised it, to the exclusion of the non-factorisable tangled states, which do not warrant a departure from classical lines of thought. (But see the Envoi in Sect. 7.) For the sake of clarity and future reference, here are three running examples of Hilbert- vectors of each type, for two similar spin 1/2-fermions, with Pauli-spinor Hilbert-space 2 2 2 L (ℝ ) as the single-particle state-space (thus including all degrees of freedom: position, momentum, spin): If �u⟩ ⊗ �v⟩ =Π �u⟩ ⊗ �v⟩ =−�v⟩ ⊗ �u⟩ , then �v⟩ or �u⟩ , or both, must be the zero vector; but the 1 2 12 1 2 1 2 zero vector does never represent a physical state. Ghirardi et al. (2002), Ghirardi and Marinatto (2004), Ladyman et al. (2013), Friebe (2014). Gisin (1991) proved that all non-factorisable states of two dissimilar particles give rise to a breach of Bell’s inequality. For the different case of similar particles, see e.g. Caulton (2018a), Theorem 3.4, Corol- lary 4.4. 1 3 298 F. A. Muller, G. Leegwater factorisable ∶ �Φ(t)⟩ = �L,↑ ;t⟩ ⊗ �R,↓ ;t⟩. z z � � tangled ∶ �Θ(t)⟩ = �L,↑ ;t⟩ ⊗ �R,↓ ;t⟩ − �R,↓ ;t⟩ ⊗ �L,↑ ;t⟩ . z z z z (7) entangled ∶ �Ψ(t)⟩ = �L,↑ ;t⟩ ⊗ �R,↓ ;t⟩ − �L,↓ ;t⟩ ⊗ �R,↑ ;t⟩ z z z z 2 � + �R,↑ ;t⟩ ⊗ �L,↓ ;t⟩ − �R,↓ ;t⟩ ⊗ �L,↑ ;t⟩ . z z z z 2 3 Wave functions �L; t⟩, �R; t⟩ ∈ L (ℝ ) are wave-packets moving in opposite directions (called ‘Left’ and ‘Right’) in configuration space ℝ : 2 3 R(;t) = A(,0) exp i( ⋅  − (k)t) d  ∈ L (ℝ ), (8) 3∕2 (2) 3 and 2 3 L(;t) = A(,0) exp i( ⋅  + (k)t) d  ∈ L (ℝ ), (9) 3∕2 (2) 3 with dispersion function 𝜔(k )= ℏk ∕2m , wave-vector  = ∕ℏ = m∕ℏ , and length k = ‖‖ . V elocity  is the velocity of the peak of the wave-packet in configuration-space— not the velocity of the particle. Here are the Pauli-spinors: � � � � L(t) 0 �L,↑ ;t⟩ = and �L,↓ ;t⟩ = , (10) z z 0 L(t) and mutatis mutandis for �R,↑ ;t⟩ and �R,↓ ;t⟩. z z The Argument against Descriptive Factorism from Tangled States. As we mentioned above, factorisable vectors like �Φ(t)⟩ do not represent possible physical states of a similar particles system. Ghirardi c.s. submit that the tangled vector �Θ(t)⟩ represents a state such that one particle has z-spin up and is moving to the left (Left-zUp) and the other particle has z-spin down and is moving to the right (Right-zDown). For dissimilar particles, such a state is represented by �Φ(t)⟩ , but the Symmetrisation Postulate forbids this and makes us anti-symmetrise �Φ(t)⟩ , which yields �Θ(t)⟩ . This interpretation of �Θ(t)⟩ contravenes the standard Strong Property Postulate (aka under the somewhat misleading name ‘Eigenstate- Eigenvalue Link’ ), according to which a physical system in pure state �⟩ has quantita- tive property ⟨A, a⟩ iff A�⟩ = a�⟩. Hilbert-vector �Θ(t)⟩ is neither in an eigenstate of any spectral projector of the position-operator (wave-packets have infinite tails) nor in an eigenstate of  , and then can neither be localised in any spatial region nor possess a z-spin property ⟨ ,±1⟩ . Particles can have quantitative properties even when not in eigenstates, say Ghirardi et  al., provided their non-factorisable state is tangled. Descriptive reference becomes a viable option again. Ghirardi et al. (2002, 86). Misleading, because the eigenvalue-eq. connects eigenstates to eigenvalues, which is a mathematical connexion that does not involve properties. The Strong Poperty Postulate states a strong connexion between a physical system possessing quantitative properties and having a particular type of state. Formulations encompassing continuous spectra and mixed states are available but glossed over. About 25 years ago, Van Fraassen also presented, in the context of the modal interpretation of QM (which also renounces the Strong Property Postulate), a model of a composite system of fermions with individuation, that is, with descriptive reference, turning the fermions into absolutely discernible objects. Fraassen (1992, 427 ff.) 1 3 299 The Case Against Factorism: On the Labels of ⊗-Factor... For the Factorist who wants to endorse this interpretation, the following problem arises. Was the particle initially directly referred to by label ‘1’ Left-zUp or Right-zDown? The Factorist cannot answer: it has to be one of them, because we all agree there are two parti- cles. The descriptions Left-zUp and Right-zDown are in the tangled state associated to two vectors, each one in a different Hilbert-space, and therefore associated to both labels ‘1’ and 2’. So it seems there is strong case that for tangled states, the Hilbert-space labels do not refer to particles, and for those states, Direct as well as Descriptive Factorism fails. The Argument against Factorism from Entangled States. The move to descriptive reference is unavailable for the entangled state �Ψ(t)⟩ (7), which is empirically distin- guishable from the tangled state �Θ(t)⟩ , for there is no correlation anymore in the terms between spin and space. Both Alice (at the left wing of the celebrated Einstein–Podol- sky–Rosen–Bohm–Bell experiment) and Bob (at the right wing) have a probability of 1/2 to find z-spin up and to find z-spin down, whereas in the tangled state �Θ(t)⟩ , Alice has nearly probability equal to 1 to find spin up (Left-zUp) and equally Bob to find spin down (Right-zDown). Spin and space now have become entangled. Direct reference returns. One can maintain that the Hilbert-space labels refer to the particles and that these sense- less names cannot be filled with physical significance by means of physically significant descriptions as in the tangled case. Descriptive Factorism is not on. Yet this implies that Direct Factorism with its senseless, referring labels remains the only live option to refer. But perhaps descriptive reference is on after all. When in the tangled state �Θ(t)⟩ we can have Left-zUp and Right-zDown, why can we not have in the entangled state �Ψ(t)⟩ Left- and-no-z-spin-property and Right-and-no-z-spin-property? We can have that. We can calculate the probability that Alice and Bob find a particle in their detector, while not measuring its spin; they then perform a position measurement. Here are the Born position-probability densities, which ‘move’ in ordinary space (represented by ℝ ); one is moving towards Alice: 2 2 2 (, t) ≡ 1 ( ) L( ;t) + 1 ( ) L( ;t) = 2L(, t) , (11) L {} 1 1 {} 2 2 and the other one is moving towards Bob: 2 2 2 (, t) ≡ 1 ( ) R( , t) + 1 ( ) R( , t) = 2R(, t) , (12) R {} 1 1 {} 2 2 where 1 is the characteristic function of singleton-set {} , so that 1 ()= 1 if  =  , {} {} and 1 ()= 0 if  ≠ . We have again two absolutely discernible particles, discerned {} by their distinct position-probability densities,  and  , respectively. The particles have L R become individuals. Dieks and Lubberdink (2011) have indicated that this way of looking at entangled states—and tangled states, if not all states whenever warranted—is needed for the clas- sical limit of QM. The peaks of the position-probabilities in space, provided we end up with N single-peaked position-probabilities in space for N-particle systems, follow classi- cal trajectories according to Ehrenfest’s Theorem, because the peaks move with a velocity in space equal the expectation-value of the velocity-operator in such cases. Nearly, because the position probabilities have infinite tails. These position-probability densities can also be obtained from the ones in configuration space by means of delta-distributions: ( − ) and ( − ). 1 2 1 3 300 F. A. Muller, G. Leegwater The situation with the entangled state thus has become the same as with the tangled state. Both position probabililty-densities involve both labels, manifest in (11) and in (12) by ‘  ’ and ‘  ’. So just as in the tangled case, the Hilbert-space labels do not refer to parti- 1 2 cles. Direct as well as Descriptive Factorism fails. There is however one caveat. The wave-packets of non-interacting particles, as in the EPRB-case, spread rather quickly. Within no time, the position-probability densities are nearly uniform. For example, when we consider electrons and a Gaussian wave-packet hav- −11 ing a width equal to the Bohr radius (the size of an H-atom in its ground state: 10 m), then after one second, the width has become: −34 2 a 4ℏ (10 ) −11 6 Δx(t)= 1 + t ≈ 10 1 + ≈ 10 km, (13) 2 4 −30 2 −11 4 2 m a (10 ) (10 ) which is about three times the Lunar distance. The probability to find the electron at 1 sec- ond beyond the moon is 1/3. The situation of absolute discernment is over in the wink of an eye. Cold comfort for the Factorist, because a situation of nearly uniform wave-packets is not going to help Factorism to regain its long reign of dominance, albeit shifting Hilbert- spaces. So Factorism rest in peace after all? Not so quick. All considerations above are about a specified Hilbert-space, the anti-symmetric subspace of infinite-dimensional Pauli- spinor Hilbert-space: 2 3 2 2 3 2 L (ℝ ) ⊗ L (ℝ ) . (14) But what if we specify a different Hilbert-space? We shall see what then happens in the next section. 3 Snapshot Hilbert‑Space and Schrödinger‑Movies We can bury ∀-Factorism with appropriate honours, that much should be evident by now. But how about ∃-Factorism? We now construct a 4-dimensional proper subspace of Pauli-spinor space (14) with descriptively referring ⊗-factor Hilbert-space labels. During the short time-interval where the criticism of Factorism has bite, the pairs of wave-functions are approximately orthogonal: ⟨L;t�R;t⟩ = L (;t)R(;t) d ≈ 0. (15) Now we consider the direct-product Hilbert-space spanned by the following tangled vectors: A similar contruction is alluded to by Huggett and Imbo (2009), Section 2, eq. (3). Caulton (2018a) also takes heed, below Corollary 4.4. 1 3 301 The Case Against Factorism: On the Labels of ⊗-Factor... � � �↑ ↑ ; t⟩ ≡ �L,↑ ; t⟩ ⊗ �R,↑ ; t⟩ − �R,↑ ; t⟩ ⊗ �L,↑ ; t⟩ , z z z z z z � � �↑ ↓ ; t⟩ ≡ �L,↑ ; t⟩ ⊗ �R,↓ ; t⟩ − �R,↓ ; t⟩ ⊗ �L,↑ ; t⟩ , z z z z z z � � (16) �↓ ↑ ; t⟩ ≡ √ �L,↓ ; t⟩ ⊗ �R,↑ ; t⟩ − �R,↑ ; t⟩ ⊗ �L,↓ ; t⟩ , z z z z z z � � �↓ ↓ ; t⟩ ≡ √ �L,↓ ; t⟩ ⊗ �R,↓ ; t⟩ − �R,↓ ; t⟩ ⊗ �L,↓ ; t⟩ . z z z z z z We ⊗-factorise this snapshot Hilbert-space H(t) into H (t) and H (t) such that: l r �↑ ↑ ;t⟩ = �↑ ;t⟩ ⊗ �↑ ;t⟩ , �↑ ↓ ;t⟩ = �↑ ;t⟩ ⊗ �↓ ;t⟩ , etc., (17) z z z l z r z z z l z r where �↑ ;t⟩ ∈ H (t) and �↑ ;t⟩ ∈ H (t) . Then we have: z l l z r r 2 6 4 H(t)= H (t) ⊗ H (t) ⊏ L (ℝ ) . (18) l r 2 6 4 The history of the two-fermion system is some curve in L (ℝ ) . The continuous sequence of 4-dimensional snapshot Hilbert-spaces t ↦ H (t) ⊗ H (t) , which we call the l r Schrödinger-movie, envelops this history. In this movie, the single-particle labels ‘ l ’ and ‘ r ’ can be taken as descriptive names: particle l is the particle moving to the left in space (Left) and r is the particle moving to the right in space (Right), but neither particle pos- sesses a z-spin property ⟨ ,±⟩. So when it said that we are dealing with ‘two particles in the singlet state moving in opposite directions’, then this description does not fit the Bohm singlet state: � � 2 2 4 �↑ ⟩ ⊗ �↓ ⟩ − �↓ ⟩ ⊗ �↑ ⟩ ∈ ℂ ⊗ ℂ = ℂ , z z z z (19) because the spatial degrees of freedom are absent from (19), but these words do fit the spin-space entangled state �Ψ(t)⟩ (7) in the snapshot basis: � � � � 1 1 �Ψ(t)⟩ = �↑ ↓ ;t⟩ − �↓ ↑ ;t⟩ = �↑ ;t⟩ ⊗ �↓ ;t⟩ − �↓ ;t⟩ ⊗ �↑ ;t⟩ . √ √ z z z z z l z r z l z r 2 2 (20) When we watch the tangled �Θ(t)⟩ in the Schrödinger-movie, it factorises: �Θ(t)⟩ == �↑ ↓ ;t⟩ = �↑ ;t⟩ ⊗ �↓ ;t⟩ , (21) z z z l z r which has single-particle Hilbert-space labels that we take to refer descriptively: l is Left- zUp and r is Right-zDown. So neither the argument against Factorism from Tangled States nor the one from Eng- tangled States is as decisive as their proponents believe: they wound ∀-Factorism lethally, but leave ∃-Factorism scatheless. In fact, for the case of two spin-1/2 fermions, we have proved ∃-Factorism. Before we turn to the third and last argument against Factorism, we first want to make a few remarks inspired by our Schrödinger-movie. This history is a solution of Schrödinger’s equation, whence the name. The spatial meaning of the labels makes this come close to Friebe’s (2014) Kantian irreducible demon- stratives. 1 3 302 F. A. Muller, G. Leegwater 4 Intermezzo: Parts and Degrees of Freedom This section contains a few explanatory remarks about QM in general, which can be passed over. An arbitrary vector in the Pauli-spinor Hilbert-space of one electron can be expanded 2 3 based on basis-vectors  ∈ L (ℝ ) ( j ∈ ℕ ): j + � � � � � � �� = ⟨ �⟩ + ⟨ �⟩ . (22) j j j=1 When we now write: 𝛼 1 0 0 = 𝛼 ⊗ and = 𝛼 ⊗ , (23) j j 0 0 𝛼 1 2 2 2 it is obvious that we can write Pauli-spinor space as the direct product L (ℝ ) ⊗ ℂ . This shows that the physical significance of ‘ ⊗ ’ is ambiguous. Usually it marks the combination of Hilbert-spaces pertaining to the different subsystems of a composite system. But here we have a single electron, which has no parts. In this case, ‘⊗ ’ marks a separation of (spa- tial and spin) degrees of freedom. For two spin-1/2 particles, we then can write (the anti-symmetric subspace of) Pauli- spinor Hilbert-space (14) as follows: 2 3 2 2 3 2 2 3 2 3 2 2 2 6 4 L (ℝ ) ⊗ L (ℝ ) ≃ L (ℝ ) ⊗ L (ℝ ) ⊗ ℂ ⊗ ℂ ≃ L (ℝ ) ⊗ ℂ . − − − (24) The physical significance of ‘ ⊗ ’ in the left expression is one of different composing parts, in the right expression one of separation of different degrees of freedom, and in the middle expression both kinds of physical significance occur. Another thing to notice about ‘ ⊗ ’ is that ⊗-factorisations are not unique, which has as a consequence that by staring at a ⊗-factorised Hilbert-space, we will not get a clue what the modelled physical system is and even not about how many particles compose it. For example, we have: 2 6 2 3 2 3 L (ℝ )≃ L (ℝ ) ⊗ L (ℝ ) 2 2 2 2 2 2 ≃ L (ℝ ) ⊗ L (ℝ ) ⊗ L (ℝ ) (25) 2 2 2 2 2 2 ≃ L (ℝ) ⊗ L (ℝ) ⊗ L (ℝ) ⊗ L (ℝ) ⊗ L (ℝ) ⊗ L (ℝ), which is a state space of two particles in 3 spatial dimensions, and of three particles in the plane (ℝ ), and of six particles on a line (ℝ )—and even of one particle in a 6-dimensional 6 2 Euclidean space (ℝ ). Moreover, all these Hilbert-spaces are also isomorphic to L (ℝ) , pertaining to a single particle on a line. Moral: to specify a Hilbert-space, which represents the set of all possible physical states of a physical system, does next to nothing to specify that physical system. The ⊗-factorisation of spin and space in (24) does not mean that spin and space also ⊗-factorise in every state. But in the case of the anti-symmetric subspace they do. Here is again the space-spin singlet (7), in degree-of-freedom-factorised state: � � � � 1 1 �Ψ(t)⟩ = �L;t⟩ ⊗ �R;t⟩ + �R;t⟩ ⊗ �L;t⟩ ⊗ �↑ ⟩ ⊗ �↓ ⟩ − �↓ ⟩ ⊗ �↑ ⟩ . √ √ z z z z 2 2 (26) 1 3 303 The Case Against Factorism: On the Labels of ⊗-Factor... A vector slightly deviating from anti-symmetry, and therefore not a member of the anti- symmetric state-space, is the following one in snapshot Hilbert-space, which deviates slightly from �Ψ(t)⟩ (20): √ √ � � � � 0.49 �↑ ;t⟩ ⊗ �↓ ;t⟩ − 0.51 �↓ ;t⟩ ⊗ �↑ ;t⟩ . (27) z l z r z l z r This vector represents a state of two dissimilar particles. The vector does not ⊗-factorise in a spin and a spatial part. In the grand Hilbert-space (24), this vector looks as follows: √ √ 0.49 �L,↑ ;t⟩ ⊗ �R,↓ ;t⟩ − 0.51 �L,↓ ;t⟩ ⊗ �R,↑ ;t⟩ z z z z √ √ (28) − 0.49 �R,↓ ;t⟩ ⊗ �L,↑ ;t⟩ + 0.51 �R,↑ ;t⟩ ⊗ �L,↓ ;t⟩. z z z z Hence no snapshot Hilbert-space for dissimilar particles ensues—which is not bad news for Factorists because for dissimilar particles, even ∀-Factorism rules. 5 Measurement and Locality Friebe (2014) considers the tangled state �Θ(t)⟩ (7). Bob performs a joint measurememt on one particle of y-spin and of a projector in the spectral resolution of the position-operator, that projects on the volume in space occupied by the y-spin detector of Bob (V ⊂ ℝ ). (This joint measurement of spin and position is possible because the corresponding opera- tors commute.) Alice does not perform any measurement. The symmetric operator that rep- resents Bob’s measurement is this one: P (V )𝜎 ⊗ 1 + 1 ⊗ P (V )𝜎 . (29) R y R y We further assume that Bob measures at a time t =  when the bulk of the position-propa- bility of �R;⟩ is at V , so that P �R;⟩ ≈ �R;⟩ , which implies that the probability to detect one particle at t =  at V is nearly 1. Since the eigenstate of y-spin down is a superposition of eigenstates of z-spin up and z-spin down, the probability to find y-spin down at V equals 1/2. Suppose Bob finds y-spin down and detects one particle at V . State �Θ(t)⟩ then collapses to: � � �Θ(𝜏 )⟩ = �L,↑ ;𝜏 ⟩ ⊗ �R,↓ ;𝜏 ⟩ − �R,↓ ;𝜏 ⟩ ⊗ �L,↑ ;𝜏 ⟩ , z y y z (30) where �R,↓ ;⟩ is the Pauli-spinor localised at V and being an eigenvector of y-spin with y R eigenvalue −1 . The collapsed state �Θ()⟩ (30) remains a tangled state. There was a particle Left-zUp before the measurement and there remains one after the measurement. The par- ticle Right-zDown, on which Bob has performed the measurement, is now Right-yDown. Next Friebe points out that if Factorism is correct (and Part States is assumed), then the post-measurement states of both particles are the partial traces of (30), and they are the same. Furthermore, their state is different from their pre-measurement state. The change of state of one particle is due to Bob’s measurement of y-spin and location in V of this 1 3 304 F. A. Muller, G. Leegwater particle (labeled ‘1’ or ‘2’ but one cannot know which), whereas Alice has left the other particle alone. Then why has its state changed? In case of an entangled state, we would, versed in QM as we are, have expected this, but �Θ()⟩ is a tangled state. Give up direct reference, and thereby Direct Factorism, embrace Ghirardi’s interpreta- tion of tangled states, which entails giving up Descriptive Factorism too, and the problem evaporates. When we move to snapshot Hilbert-space (see Sect. 3), the tangled state �Θ()⟩ (30) ⊗ -factorises and the labels of the ⊗-factor Hilbert-spaces can be provided with descriptions. Descriptive Factorism with specified snapshot Hilbert-space has been vindicated, and this proves ∃-Factorism. 6 Concluding Remarks When we enter the noisy movie theatre of the grand Hilbert-space with its infinitely many dimensions (14), (24), Factorism plays the part of the whipping boy in the movie Compos- ite Physical Systems of Similar Particles, for the tangled as well as the entangled cases. But when we watch the Schrödinger-movie in a continuous sequence of snap-shot Hilbert- subspaces of four cosy dimensions, Factorism is the indomitable hero: the labels of the ⊗-factor Hilbert-spaces of snapshot Hilbert-space can be taken to play descriptive roles. Descriptive reference and ∃-Factorism vindicated. In both Hilbert-spaces we can calculate the relevant probabilities of the position and spin degrees of freedom. Finally, after having kissed Factorism goodbye, Caulton (2012; 2018a, b) devised the following construction. For the sake of simplicity, we stick to a composite system of two similar particles, with Hilbert-space H =(H ⊗ H) . (31) E , E ∈ L(H) be two orthogonal projectors (members of the lattice), which will indi- Let viduate the two particles—thus the particles will become absolutely discernible. Consider the following subspace: 2 2 H (𝛼 , 𝛽 ) ≡ (E ⊗ E + E ⊗ E )[H ] ⊏ H , (32) ± 𝛼 𝛽 𝛽 𝛼 ± ± obtained by letting a symmetric operator act on H , thus guaranteeing that its range lies inside H . One particle always has a state in subspace H ≡ E [H] ⊏ H and the other par- ± 𝛼 𝛼 ticle H ≡ E [H] ⊏ H. 𝛽 𝛽 The state of the composite two-particle system then is in H ⊗ H . The labels of these 𝛼 𝛽 ⊗-factor Hilbert-spaces then can be taken as descriptive names of the particles: the particle with state in H and the particle with state in H . Caulton ends up with nothing less than two absolutely discernible particles—and even Leibniz’s Principle of the Identity of Abso- lute Indiscernibles is vindicated uno tenore. Ironically, Caulton began by rejecting Factorism (in fact ∀-Factorism) and intended to devise an ‘anti-factorist’ alternative ⊗-factorisation of the Hilbert-space of the composite system, only to end up with a rigorous proof of ∃-Factorism and a refutation of Anti-Fac- torism. Smile, please. To aggravate the problem, one can easily argue that we have a breach of EPR-Locality here. Exercise. 1 3 305 The Case Against Factorism: On the Labels of ⊗-Factor... 7 Envoi We baptised non-factorisable states that result from anti-symmetrising a product-state as tangled (p. 8). Ghirardi et al. claimed that only entangled states lead to violations of Bell’s inequality, and thus that tangled states do not. Yet take this product state: � � � � 1 1 �L,↑ ;t⟩ + �R,↑ ;t⟩ ⊗ �L,↓ ;t⟩ + �R,↓ ;t⟩ . √ √ (33) 2 2 Anti-symmetrising this state yields: �Ξ(t)⟩ = √ �L; t⟩ ⊗ �L;t⟩ + �R;t⟩ ⊗ �R;t⟩ + �L;t⟩ ⊗ �R;t⟩ � � � (34) + �R;t⟩ ⊗ �L;t⟩ �↑ ⟩ ⊗ �↓ ⟩ − �↓ ⟩ ⊗ �↑ ⟩ . z z z z This state then must be tangled, not entangled, according to Ghirardi et al., and therefore should not violate any Bell inquality. But �Ξ(t)⟩ (34) does violate a Bell inequality and is very entangled. Were Ghirardi et al. mistaken to propound that, contra communis opinio, tangled states do not deserve to be called ‘entangled’ because they do not lead to a viola- tion of some Bell inequality? Acknowledgements Thnx to Dennis Dieks, Tomasz Bigaj, Cord Friebe, Ronnie Hermens, Andrea Lubberd- ing and two anonymous Referees for comments and suggestions. Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Com- mons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creat iveco mmons .org/licen ses/by/4.0/. References Bigaj, T. (2015a). Dissecting weak discernibility of quanta. Studies in History and Philosophy of Modern Physics, 50, 43–53. Bigaj, T. (2015b). Exchanging quantum particles. Philosophia Scientae, 19(1), 185–198. Butterfield, J. (1993). Interpretation and identity in quantum theory. Studies in History and Philosophy of Science, 24, 443–476. Caulton, A. (2012). Qualitatively individuating so-called indistinguishable quantum systems. Talk at Cam- bridge University, 27 April 2012. Caulton, A. (2013). Discerning indistinguishable quantum systems. Philosophy of Science, 80, 49–72. Caulton, A. (2018a). Physical Entanglement in Permutation-Invariant Quantum Mechanics, LaTeX-script. Caulton, A. (2018b). Permutations, unfinished LaTeXscript of some monograph in statu nascendi. Cohen-Tannoudji, C., Diu, B., & Laloë, F. (1978). Quantum mechanics (Vol. 2). New York: Wiley. Dieks, D., & Lubberdink, A. (2011). How classical particles emerge from the quantum world. Foundations of Physics, 41, 1051–1064. French, S., & Krause, D. (2006). Identity and physics: A historical, philosophical and formal analysis. Oxford: Clarendon Press. Ghirardi et al. (2002), Ghirardi and Marinatto (2004, 12109: 3). 1 3 306 F. A. Muller, G. Leegwater French, S., & Redhead, M. (1988). Quantum physics and the identity of indiscernibles. British Journal for the Philosophy of Science, 39, 233–246. Friebe, C. (2014). Individuality, distinguishability and (non-)entanglement: A defense of Leibniz’s princi- ple. Studies in History and Philosophy of Modern Physics, 48, 89–98. Ghirardi, G., & Marinatto, L. (2004). General criterion for the entanglement of two indistinguishable parti- cles. Physical Review, A70(12109), 1–10. Ghirardi, G., Marinatto, L., & Weber, T. (2002). Entanglement and properties of composite quantum sys- tems: A conceptual and mathematical analysis. Journal of Statistical Physics, 108(112), 49–122. Gisin, N. (1991). Bell’s inequality holds for all non-product states. Physical Letters A, 154, 201. Hawley, K. (2009). Identity and indiscernibility. Mind, 118, 101–119. Huggett, N., & Imbo, T. (2009). Indistinguishability. In Compendium of quantum physics (pp. 311–317). Berlin/New York: Springer. Huggett, N., & Norton, J. (2014). Weak discernibility for quanta, the right way. British Journal for the Phi- losophy of Science, 65, 39–58. Ladyman, J., Linnebo, O., & Bigaj, T. (2013). Entanglement and non-factorizability. Studies in History and Philosophy of Modern Physics, 43, 215–221. Ladyman, J., Linnebo, O., & Pettigrew, R. (2012). Identity and discernibility in philosophy and logic. The Review of Symbolic Logic, 5, 162–186. Lubberdink, A. (1998). De individualiseerbaarheid van van identieke deeltjes. Masters Thesis, Utrecht University. Muller, F. A. (2015). The rise of relationals. Mind, 124, 201–237. Muller, F. A., & Saunders, S. (2008). Discerning fermions. British Journal for the Philosophy of Science, 59, 499–548. Muller, F. A., & Seevinck, M. P. (2009). Discerning elementary particles. Philosophy of Science, 76, 179–200. Redhead, M., & Teller, P. (1992). Particle labels and the theory of indistinguishable particles in quantum mechanics. British Journal for the Philosophy of Science, 43, 201–218. Saunders, S. (2006a). Are quantum particles objects? Analysis, 66, 52–63. Saunders, S. (2006b). On the explanation for quantum statistics. Studies in the History and Philosophy of Modern Physics, 37, 192–211. Saunders, S. (2013). Indistinguishability. In R. Batterman (Ed.), Oxford handbook of philosophy of physics (pp. 340–380). Oxford: Oxford University Press. van Fraassen, B. C. (1991). Quantum mechanics: An empiricist view. Oxford: Oxford University Press. Publisher’s Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations. 1 3 http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Journal for General Philosophy of Science Springer Journals

The Case Against Factorism: On the Labels of ⊗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\otimes$$\end{document}-Factor Hilbert-Spaces of Similar Particles in Quantum Mechanics

Loading next page...
 
/lp/springer-journals/the-case-against-factorism-on-the-labels-of-documentclass-12pt-minimal-nRHLyoRTrz

References (28)

Publisher
Springer Journals
Copyright
Copyright © The Author(s) 2020
ISSN
0925-4560
eISSN
1572-8587
DOI
10.1007/s10838-020-09514-6
Publisher site
See Article on Publisher Site

Abstract

We discuss the case against Factorism, which is the standard assumption in quantum mechanics that the labels of the ⊗-factor Hilbert-spaces in direct-product Hilbert-spaces of composite physical systems of similar particles refer to particles, either directly or descrip- tively. We distinguish different versions of Factorism and argue for their truth or falsehood. In particular, by introducing the concepts of snapshot Hilbert-space and Schrödinger- movie, we demonstrate that there are Hilbert-spaces and ⊗-factorisations where the labels do refer, even descriptively, to similar particles, which renders them probabilistically abso- lutely discernible. Keywords Elementary particles · Identical particles · Similar particles · Discernibility · Quantum mechanics · Factorism · Distinguishability 1 Factorism and Part States Consider N ∈ ℕ particles, labelled by numerals ‘1’,‘2’, ,‘N’. In quantum mechanics (QM), every possible pure state of particle j ∈{1, 2, … , N} is mathematically represented by a Hilbert-vector of norm equal to 1, up to a global phase factor ( e ,  ∈[0, 2) ), belong- ing to Hilbert-space H . The Hilbert-space H of a composite system  of N particles is (a subspace of) the direct-product Hilbert-space of the N ⊗-factor Hilbert-spaces: H ⊑ H = H ⊗ H ⊗⋯ ⊗ H . (1) 1 2 N A vector in H is symmetric iff it is invariant under every permutation of the labels, and anti-symmetric iff it is invariant under every even permutation, and invariant up to a * F. A. Muller f.a.muller@esphil.eur.nl http://www.staff.science.uu.nl/muller106/ Gijs Leegwater g.leegwater@esphil.eur.nl Erasmus School of Philosophy, Erasmus University Rotterdam, Woudestein, 3062 PA Rotterdam, The Netherlands Descartes Centre for the History and Philosopy of Science, Faculty of Science, Utrecht University, Utrecht, The Netherlands 1 3 Vol.:(0123456789) 292 F. A. Muller, G. Leegwater factor −1 for every odd permutation; and similarly for statistical (or density) operators in S(H) , which represent mixed states. According to the Symmetrisation Postulate of QM, for composite systems of similar fermions (i.e. having the same super-selected, or state- independent, properties, like mass, charge, spin magnitude and baryon number), H is the anti-symmetric subspace of H , denoted by H , and for similar bosons, H is the symmet- ric subspace of H , denoted by H . All ⊗-factor Hilbert-spaces must then be chosen the same: H = H for every j, k ∈{1, 2, … , N}. j k The permutation-operators act by definition on the labels of the ⊗-factor Hilbert-spaces, e.g. for N = 3 and permutation 321 of 123: Π �u⟩ ⊗ �v⟩ ⊗ �w⟩ = �w⟩ ⊗ �v⟩ ⊗ �u⟩ . (2) 321 1 2 3 1 2 3 One can suppress the labels in the vectors in (2) and let the typographical order do the labelling: Π �u⟩ ⊗ �v⟩ ⊗ �w⟩ = �w⟩ ⊗ �v⟩ ⊗ �u⟩. (3) Since �u⟩ , �w⟩ ∈ H , �v⟩ ,∈ H , and �w⟩ , �u⟩ ∈ H , and Hilbert-space H is associated 1 1 1 2 2 3 3 3 1 with particle 1, etc., what could be more natural than to assume that the labels also refer to the particles? Indeed, nothing could be more natural. In fact, we opened this article by introducing the labels as names of particles and then used them too as labels of the ⊗ -factor Hilbert-spaces. This assumption seems to have been first unearthed explicitly and turned into a subject of serious thought by Lubberdink in her ms-thesis of 1998, parts of which were published 13 years later with her supervisor Dieks; independently it was implicitly unearthed by Huggett and Imbo (2009), and essentially by Saunders in 2006; the assumption has been baptised insipidly Factorism by Caulton, first in his PhD-thesis of 2011. Insipidly, we follow suit: Factorism.   Given a Hilbert-space H of a composite system  of N given similar parts, representing the possible physical states of  , and given a direct-product fac- torisation of H into other Hilbert-spaces. Then the labels of these given ⊗-factor Hilbert-spaces refer to the N parts either directly (Direct Factorism) or descrip- tively (Descriptive Factorism). A number of systematic remarks on Factorism follow next. First, we must realise that Factorism can only be judged true or false until and unless H has been specified and a ⊗-factorisation of H has been specified. When one uses symbols like ‘ H ’ and ‘ H ’, then nothing has been specified, because these are variables ranging over Stricto sensu isomorphic: H ≃ H , for the ⊗-factors being isomorphic will also do, even when they are j k not identical; since all complex (separable) Hilbert-spaces of the same dimension are isomorphic, it is thus stricto sensu sufficient to require that the ⊗-factor Hilbert-spaces have the same dimension. Standard in every textbook on QM and the overwhelming majority of papers on the subject of ‘identical’ (similar) particles. See e.g. Cohen-Tannoudji et al. (1978), Butterfield (1993), French and Redhead (1988), Redhead and Teller (1992), French and Krause (2006), Saunders (2006a, b), Muller and Saunders (2008), Muller and Seevinck (2009), Ladyman et al. (2012). Lubberdink (1998), Saunders (2006b), Huggett and Imbo (2009), Dieks and Lubberdink (2011), Caulton (2018b). Caulton currently prefers to call Direct Factorism “transcendental individuation”, harking back to a terminology of Redhead c.s. Caulton (2018a), Redhead and Teller (1992), French and Redhead (1988). The terminology of ‘transcendental individuation’ should not lead us to believe that a metaphysical issue is at stake here: the interpretation of the ×-factor labels is a semantic issue. 1 3 293 The Case Against Factorism: On the Labels of ⊗-Factor... the class of all and only Hilbert-spaces. Then Factorism does not express a proposition that can be true or false. Factorism can be made independent of such specifications and then expressing a proposition, by quantifying the two-fold dependence away universally ( ∀-Fac- torism) or existentially (∃ -Factorism), as follows: ∀-Factorism.  For every Hilbert-space H of a composite system  of N given simi- lar parts and for every direct-product factorisation of H into other Hilbert-spaces, the labels of these given ⊗-factor Hilbert-spaces refer to the N parts either directly (Direct ∀-Factorism) or descriptively (Descriptive ∀-Factorism). ∃-Factorism.  For some Hilbert-space H of a composite system  of N given simi- lar parts and for some direct-product factorisation of H into other Hilbert-spaces, the labels of these given ⊗-factor Hilbert-spaces refer to the N parts either directly (Direct ∃-Factorism) or descriptively (Descriptive ∃-Factorism). It will be useful to define even a fourth thesis: : Anti-Factorism.   For every Hilbert-space H of a composite system  of N given similar parts and every direct-product factorisation of H into other Hilbert-spaces, the labels of these given ⊗-factor Hilbert-spaces neither refer to the N parts directly (Direct Factorism) nor descriptively (Descriptive Factorism). These three theses express distinct propositions, which are logically related. If ∀-Factor- ism is true, then ∃-Factorism is true, and Anti-Factorism is false. If ∃-Factorism is true, then nothing follows about ∀-Factorism, it can be true and it can be false; but then Anti- Factorism again is false. If ∀-Factorism is false, then both ∃-Factorism and Anti-Factorism can be true or can be false. If Anti-Factorism is true, then both ∀-Factorism and ∃-Factor- ism are false. If Anti-Factorism is false, then ∃-Factorism is true and ∀-Factorism can be true or false. It will transpire that ∃-Factorism is true, ∀-Factorism is false, and hence Anti- Factorism is also false. Notice that for composite systems of dissimilar parts, the labels of the ⊗-factors do refer unproblematically to these dissimilar parts. Which is why all versions of Factorism men- tion explicitly that the parts must be similar. Secondly, it is rarely clear which version of Factorism is criticised by the authors listed above. Their generic use of symbols like ‘ H ’ and ‘ H suggest they talk about an arbitrary Hilbert-space, which makes it logically equivalent to talking about all Hilbert-space (by the introduction-rule of ‘ ∀’). This would be Anti-Factorism and therefore they seemed to believe to have established the truth of Anti-Factorism. The context however usually reveals they have been considering a specific Hilbert-space, notably Dieks and Lubberdink (2011), and a specific ⊗-factorisation, which means that all they have established is that there is a Hilbert-space and there is a ⊗-factorisation of which the labels do not refer to the particles, in other words, they have established that ∀-Factorism is false by produc- ing a counter-example. This leaves the truth of both ∃-Factorism and Anti-Factorism wide open. Again, we shall conclude the falsehood of Anti-Factorism and thereby the truth of ∃ -Factorism. The name of which has also been introduced by Caulton (2012, § 2.2): “Anti-factorism is the doctrine that factor Hilbert-space indices are a gauge quantity.” These labels “do not represent anything physical”. When Caulton means here the ⊗-factor Hilbert-spaces of all ⊗-factorisations of all Hilbert-spaces, then this doc- trine is the same as our Anti-Factorism. 1 3 294 F. A. Muller, G. Leegwater Thirdly, we must also realise that every version of Factorism is an assumption, because it does not follow from ‘the mathematics’ or the Von  Neumann postulates of QM. Like postulating that certain Hilbert-vectors represent physical states and certain operators rep- resent physical magnitudes, Factorism is an assumption that tells us that certain mathemat- ical entities, the labels (for which standardly positive natural numbers are used), besides naming ⊗-factor Hilbert-spaces and naming operators acting in them (generically operator A acting in H ), are also names of the particles. Physical significance is attributed to these j j labels—and explicity denied by Anti-Factorism. Fourthly, as Friebe has pointed out, connecting Factorism to the philosophy of lan- guage, that standardly the labels refer directly to the particles, they are senseless names, in contrast to descriptive names, which refer descriptively by Russellian definite descrip- tions. Whence the difference between Direct and Descriptive Factorism. In order to refer descriptively to a constituent particle of a physical system, the particle must be absolutely discerned from the other constituent particles, which means it must possess at least one property that all other particles lack. In the case under consideration, of physical systems composed of similar particles, descriptive reference seems impossible because all constitu- ent particles share all their properties and seem therefore absolutely indiscernible; direct reference is then the only available option to refer. Of course, one can discern the parti- cles absolutely by means of labels (the particle having label ‘1’), but since these senseless labels lack any physical significance, such discernment is physically insignificant. The par - ticles remain physically, or empirically, absolutely indiscernible. (In fact, what is permit- ted to discern and what is forbidden to discern in the context of QM—and beyond—has recently been scrutinised. ) When probability measures occur in the relations, one speaks of probabilistic discernment. Do the constituent parts of a composite physical system generally also have states? Call the answer in the affirmative: Part States.  All parts of a composite physical system have states. As soon as an answer in the affirmative has been given, the next question is: what is the state of the parts, and how does it relate to the state of the composite system? Are the states of similar particles different? Before we address these questions, let us first see what argu- ments are around in favour of adopting Part States. The most general conception of a physical state is the mixed one, as Von Neumann pro- posed, and mixed states are represented by statistical operators in the convex set S(H ) (positive, self-adjoint, trace  class1 ); the expectation-value of a physical magnitude repre- sented by symmetric operator A when the physical system is in state W is provided by the celebrated trace-formula: ⟨A⟩ = Tr(AW). (4) By choosing for A the members of its spectral resolution, formula (4) yields a probability- measure for A-measurement outcomes. 1. One reason in favour of Part States is that Part States needs no reason in QM because in QM it follows from the State Postulate of QM: (i) the members of S(H) represent the possible physical states of a physical system with which H is associated, and (ii) the See Friebe (2014). To wit, Friebe defends descriptivism but not Descriptive Factorism. Muller and Saunders (2008), Muller and Seevinck (2009), Muller (2015). 1 3 295 The Case Against Factorism: On the Labels of ⊗-Factor... members of S(H ⊗ H ⊗⋯H ) represent those of a composite system of N parts. Since 1 2 N the parts of the last-mentioned physical system are physical systems too, with which the ⊗-factor Hilbert-spaces are associated, it follows from (i) that the possible states of part j are represented by members of S(H ) . Yet one may weaken the State Postulate to (ii), and leave it open whether parts have states too, or even deny that parts have states. In that case, Part States does not follow from the State Postulate, and we may now legitimately request a reason for Part States. 2. The standard reason for Part States goes as follows. In principle we can perform a measurement of any physical magnitude pertaining to a part, viz. the position of a single particle, represented by a symmetrised one-particle position-operator. Repeated measure- ments test a single-particle probability-measure. Since probability-measures of physical magnitudes pertaining to the composite system are generated by some statistical opera- tor W ∈ S(H ) and some symmetric operator A acting in H (W is guaranteed to exist by ± ± Gleason’s Theorem), we also want single-particle probability-measures to be generated by some statistical operator W ∈ S(H ) and some operator A acting in H (W is also guar- j j j j j anteed to exist by Gleason’s Theorem). But which one? As Van Fraassen has pointed out, all we need to obtain Von Neumann’s choice that W is the partial trace of W is to endorse the eminently reasonable requirement that the expectation-value of A acting in H when j j particle j is in state W equals the one of the trivially extended A to act symmetrically in H j j ± when the composite system is in state W ∈ S(H ): Tr(A W ) =Tr(AW). j j (5) For two particles, A is (A ⊗ 1 + 1 ⊗ A ) , etc. 1 2 1 2 Notice that in both reasons, ∀-Factorism seems to have been taken for granted. Next it is elementary to show that the partial traces of similar fermions are identical, and for similar bosons too, so that the single-particle states cannot be used to discern the particles absolutely, and hence cannot be used to refer to the particles descriptively in what would have been a physically significant manner. For fermions, the states are always improper mixtures; for bosons, pure states and improper mixtures are possible, never proper mixtures. Thus the similar particles remain absolutely indiscernible, even after Part States has been embraced. They cannot be individuated and therefore are not individuals; they are indiscernibles. The adoption of Part States has brought no change in the situation that according to QM, similar particles are indiscernibles. Moreover, Direct Factorism is the name of the reference game of similar particles in QM. Descriptive Factorism is out. In order to prevent that an operator representing a physical magnitude takes Hilbert- vectors outside H , it must be symmetric, which is to say that it must commute with every permutation operator. This is known as the Indistinguishability Postulate, which is not a postulate because it follows from the Symmetrisation Postulate. That symmetrised opera- tors must be used when considering similar particles is well-known. Less well-known is that when we want to measure a physical magnitude pertaining to a single particle, one must distinguish, in case of two particles, between (i) whether a single particle has a Fraassen (1991, 199). Fraassen (1992, 386), QM-Exclusion Corollary. But notoriously not conversely. See Fraassen (1992, 381 ff), Huggett and Imbo (2009, § 3). 1 3 296 F. A. Muller, G. Leegwater property and the other does not have it, and (ii) whether at least one particle has it. Bigaj (2015b, 193–195) explains how and why. Some have argued that the similar particles can be discerned by relations in physically significant ways, which turns the similar particles into relationals, in contrast to indiscerni- bles and individuals. The first criticism against this relational discernment was that it is circular; this criticism has not stood up to scrutiny. The second criticism is that the discerning relations in some instances employ operators that do not obey the Indistinguish- ability Postulate; hence no physical significance is bestowed on the discerning relations by the operators employed in defining these relations. Repair jobs of relational discernment have been mounted; some repair jobs have been succesful for some but not all classes of states, another repair job has been succesful for all states but is probabilistic in nature. Leibniz’s Principle of the Identity of Indiscernibles is a metaphysical principle that is at stake in this debate. The proponents of relational discernibility have argued that the suf- ficient condition for identity of sharing all properties must be extended to include also rela- tions, in which case the principle is obeyed rather than violated by QM. The debate about relational discernibility and Leibniz’s principle continues but we park it here. For even if similar particles are relationals, they are not individuals, not absolutely discernible, and Direct Factorism then seems the only manner to refer to the particles. We next turn to the arguments against Factorism (Sects.  2, 5), which we shall counter (Sects.  3, 5). Further, we mention a few things that are just non-trivial enough to be wor- thy to be pointed out at all (Sect.  4, which can be omitted) and we end with concluding remarks (Sect. 6). 2 Factorisable, Tangled and Entangled States 2 3 Consider a composite system of a proton and an electron with Hilbert-spaces H = L (ℝ ) and H = ℂ (which is admittedly a peculiar combination). This system can be in some product-state: � � 2 3 2 �𝜓 ⟩ ⊗ �↑ ⟩ = 𝜓 ⊗ ∈ L (ℝ ) ⊗ ℂ . (6) The particle labelled ‘1’ can now be descriptively referred to as ‘the particle having state- independent properties mass m , charge +1 and spin-magnitude 1/2’, and mutatis mutan- dis for ‘2’. The particles can also be descriptively referred to by their states: particle1 is the particle in the state represented by  wave-function   , and particle2 is the particle in the state represented by the column-vector in (6). In superpositions, which prohibit the ascription of properties corresponding to magnitudes whose eigenvectors are members of the basis in which the superposition is expressed, neither state-dependent properties nor states of parts can be used for descriptive reference. But the state-independent properties can always be used to do the job of descriptive reference. These particles are absolutely discernible, they can be discerned in physically significant ways, they are individuals, and Saunders (2006a, b), Muller and Saunders (2008), Muller and Seevinck (2009), Saunders (2013). French and Krause (2006), Hawley (2009), Muller (2015). Huggett and Norton (2014), Caulton (2013), Bigaj (2015a). See references in the previous footnote, and Friebe (2014). 1 3 297 The Case Against Factorism: On the Labels of ⊗-Factor... they can be individuated by their state-independent properties, which they always possess. For composite systems of dissimilar particles, Descriptive Factorism holds good. Direct Factorism holds good too, but has become otiose. There are three arguments against Factorism around, which all pertain to composite sys- tems of similar particles: • The Argument from Tangled States (current section). The Argument from Entangled States (current section). • The Argument from Measurement (Sect. 5). Before we exposition these arguments, first some preparations. Since similar particles cannot be discerned by: their state-independent properties, by their physically insignificant senseless labels, or by their states if they have them (their states are all the same), the only way to discern them is by means of their state-dependent properties (or relations). Here the troubles begin. Product-states, like �u⟩ ⊗ �v⟩ , cannot 1 2 be anti-symmetric, so turning the directly referring labels into descriptive ones by means of the states is not on. Product-states can be symmetric, but only when the ⊗-factors are alike, as in: �u⟩ ⊗ �u⟩ , which means that both particles are in exactly the same state �u⟩ 1 2 and hence discernment by means of the states is not on. The inquiries into entanglement by Ghirardi   et al. (2002)  c.s. has however led to the view that there are non-factorisable states in which particles can be discerned by means of descriptive reference. They call non-factorisable states that result from anti-symmetrising a product-state ‘not entangled’; we shall call them tangled. Call a non-factorisable state that does not result from (anti-)symmetrising some product-state entangled. The non-fac- torisable vectors then subdivide in tangled and entangled ones. One good reason to draw this distinction in the non-factorisable states is that only entangled states, when considering spin and position, lead to a breach of a Bell-inequality, whereas tangled states do not lead to a breach. When in 1935, Schrödinger famously wrote about what he called ‘entangle- ment’: “I would not call that one but rather the characteristic trait of quantum mechanics, the one that enforces its entire departure from classical lines of thought”, one can only endorse this when by ‘entanglement’ is meant how Girardi et  al. characterised it, to the exclusion of the non-factorisable tangled states, which do not warrant a departure from classical lines of thought. (But see the Envoi in Sect. 7.) For the sake of clarity and future reference, here are three running examples of Hilbert- vectors of each type, for two similar spin 1/2-fermions, with Pauli-spinor Hilbert-space 2 2 2 L (ℝ ) as the single-particle state-space (thus including all degrees of freedom: position, momentum, spin): If �u⟩ ⊗ �v⟩ =Π �u⟩ ⊗ �v⟩ =−�v⟩ ⊗ �u⟩ , then �v⟩ or �u⟩ , or both, must be the zero vector; but the 1 2 12 1 2 1 2 zero vector does never represent a physical state. Ghirardi et al. (2002), Ghirardi and Marinatto (2004), Ladyman et al. (2013), Friebe (2014). Gisin (1991) proved that all non-factorisable states of two dissimilar particles give rise to a breach of Bell’s inequality. For the different case of similar particles, see e.g. Caulton (2018a), Theorem 3.4, Corol- lary 4.4. 1 3 298 F. A. Muller, G. Leegwater factorisable ∶ �Φ(t)⟩ = �L,↑ ;t⟩ ⊗ �R,↓ ;t⟩. z z � � tangled ∶ �Θ(t)⟩ = �L,↑ ;t⟩ ⊗ �R,↓ ;t⟩ − �R,↓ ;t⟩ ⊗ �L,↑ ;t⟩ . z z z z (7) entangled ∶ �Ψ(t)⟩ = �L,↑ ;t⟩ ⊗ �R,↓ ;t⟩ − �L,↓ ;t⟩ ⊗ �R,↑ ;t⟩ z z z z 2 � + �R,↑ ;t⟩ ⊗ �L,↓ ;t⟩ − �R,↓ ;t⟩ ⊗ �L,↑ ;t⟩ . z z z z 2 3 Wave functions �L; t⟩, �R; t⟩ ∈ L (ℝ ) are wave-packets moving in opposite directions (called ‘Left’ and ‘Right’) in configuration space ℝ : 2 3 R(;t) = A(,0) exp i( ⋅  − (k)t) d  ∈ L (ℝ ), (8) 3∕2 (2) 3 and 2 3 L(;t) = A(,0) exp i( ⋅  + (k)t) d  ∈ L (ℝ ), (9) 3∕2 (2) 3 with dispersion function 𝜔(k )= ℏk ∕2m , wave-vector  = ∕ℏ = m∕ℏ , and length k = ‖‖ . V elocity  is the velocity of the peak of the wave-packet in configuration-space— not the velocity of the particle. Here are the Pauli-spinors: � � � � L(t) 0 �L,↑ ;t⟩ = and �L,↓ ;t⟩ = , (10) z z 0 L(t) and mutatis mutandis for �R,↑ ;t⟩ and �R,↓ ;t⟩. z z The Argument against Descriptive Factorism from Tangled States. As we mentioned above, factorisable vectors like �Φ(t)⟩ do not represent possible physical states of a similar particles system. Ghirardi c.s. submit that the tangled vector �Θ(t)⟩ represents a state such that one particle has z-spin up and is moving to the left (Left-zUp) and the other particle has z-spin down and is moving to the right (Right-zDown). For dissimilar particles, such a state is represented by �Φ(t)⟩ , but the Symmetrisation Postulate forbids this and makes us anti-symmetrise �Φ(t)⟩ , which yields �Θ(t)⟩ . This interpretation of �Θ(t)⟩ contravenes the standard Strong Property Postulate (aka under the somewhat misleading name ‘Eigenstate- Eigenvalue Link’ ), according to which a physical system in pure state �⟩ has quantita- tive property ⟨A, a⟩ iff A�⟩ = a�⟩. Hilbert-vector �Θ(t)⟩ is neither in an eigenstate of any spectral projector of the position-operator (wave-packets have infinite tails) nor in an eigenstate of  , and then can neither be localised in any spatial region nor possess a z-spin property ⟨ ,±1⟩ . Particles can have quantitative properties even when not in eigenstates, say Ghirardi et  al., provided their non-factorisable state is tangled. Descriptive reference becomes a viable option again. Ghirardi et al. (2002, 86). Misleading, because the eigenvalue-eq. connects eigenstates to eigenvalues, which is a mathematical connexion that does not involve properties. The Strong Poperty Postulate states a strong connexion between a physical system possessing quantitative properties and having a particular type of state. Formulations encompassing continuous spectra and mixed states are available but glossed over. About 25 years ago, Van Fraassen also presented, in the context of the modal interpretation of QM (which also renounces the Strong Property Postulate), a model of a composite system of fermions with individuation, that is, with descriptive reference, turning the fermions into absolutely discernible objects. Fraassen (1992, 427 ff.) 1 3 299 The Case Against Factorism: On the Labels of ⊗-Factor... For the Factorist who wants to endorse this interpretation, the following problem arises. Was the particle initially directly referred to by label ‘1’ Left-zUp or Right-zDown? The Factorist cannot answer: it has to be one of them, because we all agree there are two parti- cles. The descriptions Left-zUp and Right-zDown are in the tangled state associated to two vectors, each one in a different Hilbert-space, and therefore associated to both labels ‘1’ and 2’. So it seems there is strong case that for tangled states, the Hilbert-space labels do not refer to particles, and for those states, Direct as well as Descriptive Factorism fails. The Argument against Factorism from Entangled States. The move to descriptive reference is unavailable for the entangled state �Ψ(t)⟩ (7), which is empirically distin- guishable from the tangled state �Θ(t)⟩ , for there is no correlation anymore in the terms between spin and space. Both Alice (at the left wing of the celebrated Einstein–Podol- sky–Rosen–Bohm–Bell experiment) and Bob (at the right wing) have a probability of 1/2 to find z-spin up and to find z-spin down, whereas in the tangled state �Θ(t)⟩ , Alice has nearly probability equal to 1 to find spin up (Left-zUp) and equally Bob to find spin down (Right-zDown). Spin and space now have become entangled. Direct reference returns. One can maintain that the Hilbert-space labels refer to the particles and that these sense- less names cannot be filled with physical significance by means of physically significant descriptions as in the tangled case. Descriptive Factorism is not on. Yet this implies that Direct Factorism with its senseless, referring labels remains the only live option to refer. But perhaps descriptive reference is on after all. When in the tangled state �Θ(t)⟩ we can have Left-zUp and Right-zDown, why can we not have in the entangled state �Ψ(t)⟩ Left- and-no-z-spin-property and Right-and-no-z-spin-property? We can have that. We can calculate the probability that Alice and Bob find a particle in their detector, while not measuring its spin; they then perform a position measurement. Here are the Born position-probability densities, which ‘move’ in ordinary space (represented by ℝ ); one is moving towards Alice: 2 2 2 (, t) ≡ 1 ( ) L( ;t) + 1 ( ) L( ;t) = 2L(, t) , (11) L {} 1 1 {} 2 2 and the other one is moving towards Bob: 2 2 2 (, t) ≡ 1 ( ) R( , t) + 1 ( ) R( , t) = 2R(, t) , (12) R {} 1 1 {} 2 2 where 1 is the characteristic function of singleton-set {} , so that 1 ()= 1 if  =  , {} {} and 1 ()= 0 if  ≠ . We have again two absolutely discernible particles, discerned {} by their distinct position-probability densities,  and  , respectively. The particles have L R become individuals. Dieks and Lubberdink (2011) have indicated that this way of looking at entangled states—and tangled states, if not all states whenever warranted—is needed for the clas- sical limit of QM. The peaks of the position-probabilities in space, provided we end up with N single-peaked position-probabilities in space for N-particle systems, follow classi- cal trajectories according to Ehrenfest’s Theorem, because the peaks move with a velocity in space equal the expectation-value of the velocity-operator in such cases. Nearly, because the position probabilities have infinite tails. These position-probability densities can also be obtained from the ones in configuration space by means of delta-distributions: ( − ) and ( − ). 1 2 1 3 300 F. A. Muller, G. Leegwater The situation with the entangled state thus has become the same as with the tangled state. Both position probabililty-densities involve both labels, manifest in (11) and in (12) by ‘  ’ and ‘  ’. So just as in the tangled case, the Hilbert-space labels do not refer to parti- 1 2 cles. Direct as well as Descriptive Factorism fails. There is however one caveat. The wave-packets of non-interacting particles, as in the EPRB-case, spread rather quickly. Within no time, the position-probability densities are nearly uniform. For example, when we consider electrons and a Gaussian wave-packet hav- −11 ing a width equal to the Bohr radius (the size of an H-atom in its ground state: 10 m), then after one second, the width has become: −34 2 a 4ℏ (10 ) −11 6 Δx(t)= 1 + t ≈ 10 1 + ≈ 10 km, (13) 2 4 −30 2 −11 4 2 m a (10 ) (10 ) which is about three times the Lunar distance. The probability to find the electron at 1 sec- ond beyond the moon is 1/3. The situation of absolute discernment is over in the wink of an eye. Cold comfort for the Factorist, because a situation of nearly uniform wave-packets is not going to help Factorism to regain its long reign of dominance, albeit shifting Hilbert- spaces. So Factorism rest in peace after all? Not so quick. All considerations above are about a specified Hilbert-space, the anti-symmetric subspace of infinite-dimensional Pauli- spinor Hilbert-space: 2 3 2 2 3 2 L (ℝ ) ⊗ L (ℝ ) . (14) But what if we specify a different Hilbert-space? We shall see what then happens in the next section. 3 Snapshot Hilbert‑Space and Schrödinger‑Movies We can bury ∀-Factorism with appropriate honours, that much should be evident by now. But how about ∃-Factorism? We now construct a 4-dimensional proper subspace of Pauli-spinor space (14) with descriptively referring ⊗-factor Hilbert-space labels. During the short time-interval where the criticism of Factorism has bite, the pairs of wave-functions are approximately orthogonal: ⟨L;t�R;t⟩ = L (;t)R(;t) d ≈ 0. (15) Now we consider the direct-product Hilbert-space spanned by the following tangled vectors: A similar contruction is alluded to by Huggett and Imbo (2009), Section 2, eq. (3). Caulton (2018a) also takes heed, below Corollary 4.4. 1 3 301 The Case Against Factorism: On the Labels of ⊗-Factor... � � �↑ ↑ ; t⟩ ≡ �L,↑ ; t⟩ ⊗ �R,↑ ; t⟩ − �R,↑ ; t⟩ ⊗ �L,↑ ; t⟩ , z z z z z z � � �↑ ↓ ; t⟩ ≡ �L,↑ ; t⟩ ⊗ �R,↓ ; t⟩ − �R,↓ ; t⟩ ⊗ �L,↑ ; t⟩ , z z z z z z � � (16) �↓ ↑ ; t⟩ ≡ √ �L,↓ ; t⟩ ⊗ �R,↑ ; t⟩ − �R,↑ ; t⟩ ⊗ �L,↓ ; t⟩ , z z z z z z � � �↓ ↓ ; t⟩ ≡ √ �L,↓ ; t⟩ ⊗ �R,↓ ; t⟩ − �R,↓ ; t⟩ ⊗ �L,↓ ; t⟩ . z z z z z z We ⊗-factorise this snapshot Hilbert-space H(t) into H (t) and H (t) such that: l r �↑ ↑ ;t⟩ = �↑ ;t⟩ ⊗ �↑ ;t⟩ , �↑ ↓ ;t⟩ = �↑ ;t⟩ ⊗ �↓ ;t⟩ , etc., (17) z z z l z r z z z l z r where �↑ ;t⟩ ∈ H (t) and �↑ ;t⟩ ∈ H (t) . Then we have: z l l z r r 2 6 4 H(t)= H (t) ⊗ H (t) ⊏ L (ℝ ) . (18) l r 2 6 4 The history of the two-fermion system is some curve in L (ℝ ) . The continuous sequence of 4-dimensional snapshot Hilbert-spaces t ↦ H (t) ⊗ H (t) , which we call the l r Schrödinger-movie, envelops this history. In this movie, the single-particle labels ‘ l ’ and ‘ r ’ can be taken as descriptive names: particle l is the particle moving to the left in space (Left) and r is the particle moving to the right in space (Right), but neither particle pos- sesses a z-spin property ⟨ ,±⟩. So when it said that we are dealing with ‘two particles in the singlet state moving in opposite directions’, then this description does not fit the Bohm singlet state: � � 2 2 4 �↑ ⟩ ⊗ �↓ ⟩ − �↓ ⟩ ⊗ �↑ ⟩ ∈ ℂ ⊗ ℂ = ℂ , z z z z (19) because the spatial degrees of freedom are absent from (19), but these words do fit the spin-space entangled state �Ψ(t)⟩ (7) in the snapshot basis: � � � � 1 1 �Ψ(t)⟩ = �↑ ↓ ;t⟩ − �↓ ↑ ;t⟩ = �↑ ;t⟩ ⊗ �↓ ;t⟩ − �↓ ;t⟩ ⊗ �↑ ;t⟩ . √ √ z z z z z l z r z l z r 2 2 (20) When we watch the tangled �Θ(t)⟩ in the Schrödinger-movie, it factorises: �Θ(t)⟩ == �↑ ↓ ;t⟩ = �↑ ;t⟩ ⊗ �↓ ;t⟩ , (21) z z z l z r which has single-particle Hilbert-space labels that we take to refer descriptively: l is Left- zUp and r is Right-zDown. So neither the argument against Factorism from Tangled States nor the one from Eng- tangled States is as decisive as their proponents believe: they wound ∀-Factorism lethally, but leave ∃-Factorism scatheless. In fact, for the case of two spin-1/2 fermions, we have proved ∃-Factorism. Before we turn to the third and last argument against Factorism, we first want to make a few remarks inspired by our Schrödinger-movie. This history is a solution of Schrödinger’s equation, whence the name. The spatial meaning of the labels makes this come close to Friebe’s (2014) Kantian irreducible demon- stratives. 1 3 302 F. A. Muller, G. Leegwater 4 Intermezzo: Parts and Degrees of Freedom This section contains a few explanatory remarks about QM in general, which can be passed over. An arbitrary vector in the Pauli-spinor Hilbert-space of one electron can be expanded 2 3 based on basis-vectors  ∈ L (ℝ ) ( j ∈ ℕ ): j + � � � � � � �� = ⟨ �⟩ + ⟨ �⟩ . (22) j j j=1 When we now write: 𝛼 1 0 0 = 𝛼 ⊗ and = 𝛼 ⊗ , (23) j j 0 0 𝛼 1 2 2 2 it is obvious that we can write Pauli-spinor space as the direct product L (ℝ ) ⊗ ℂ . This shows that the physical significance of ‘ ⊗ ’ is ambiguous. Usually it marks the combination of Hilbert-spaces pertaining to the different subsystems of a composite system. But here we have a single electron, which has no parts. In this case, ‘⊗ ’ marks a separation of (spa- tial and spin) degrees of freedom. For two spin-1/2 particles, we then can write (the anti-symmetric subspace of) Pauli- spinor Hilbert-space (14) as follows: 2 3 2 2 3 2 2 3 2 3 2 2 2 6 4 L (ℝ ) ⊗ L (ℝ ) ≃ L (ℝ ) ⊗ L (ℝ ) ⊗ ℂ ⊗ ℂ ≃ L (ℝ ) ⊗ ℂ . − − − (24) The physical significance of ‘ ⊗ ’ in the left expression is one of different composing parts, in the right expression one of separation of different degrees of freedom, and in the middle expression both kinds of physical significance occur. Another thing to notice about ‘ ⊗ ’ is that ⊗-factorisations are not unique, which has as a consequence that by staring at a ⊗-factorised Hilbert-space, we will not get a clue what the modelled physical system is and even not about how many particles compose it. For example, we have: 2 6 2 3 2 3 L (ℝ )≃ L (ℝ ) ⊗ L (ℝ ) 2 2 2 2 2 2 ≃ L (ℝ ) ⊗ L (ℝ ) ⊗ L (ℝ ) (25) 2 2 2 2 2 2 ≃ L (ℝ) ⊗ L (ℝ) ⊗ L (ℝ) ⊗ L (ℝ) ⊗ L (ℝ) ⊗ L (ℝ), which is a state space of two particles in 3 spatial dimensions, and of three particles in the plane (ℝ ), and of six particles on a line (ℝ )—and even of one particle in a 6-dimensional 6 2 Euclidean space (ℝ ). Moreover, all these Hilbert-spaces are also isomorphic to L (ℝ) , pertaining to a single particle on a line. Moral: to specify a Hilbert-space, which represents the set of all possible physical states of a physical system, does next to nothing to specify that physical system. The ⊗-factorisation of spin and space in (24) does not mean that spin and space also ⊗-factorise in every state. But in the case of the anti-symmetric subspace they do. Here is again the space-spin singlet (7), in degree-of-freedom-factorised state: � � � � 1 1 �Ψ(t)⟩ = �L;t⟩ ⊗ �R;t⟩ + �R;t⟩ ⊗ �L;t⟩ ⊗ �↑ ⟩ ⊗ �↓ ⟩ − �↓ ⟩ ⊗ �↑ ⟩ . √ √ z z z z 2 2 (26) 1 3 303 The Case Against Factorism: On the Labels of ⊗-Factor... A vector slightly deviating from anti-symmetry, and therefore not a member of the anti- symmetric state-space, is the following one in snapshot Hilbert-space, which deviates slightly from �Ψ(t)⟩ (20): √ √ � � � � 0.49 �↑ ;t⟩ ⊗ �↓ ;t⟩ − 0.51 �↓ ;t⟩ ⊗ �↑ ;t⟩ . (27) z l z r z l z r This vector represents a state of two dissimilar particles. The vector does not ⊗-factorise in a spin and a spatial part. In the grand Hilbert-space (24), this vector looks as follows: √ √ 0.49 �L,↑ ;t⟩ ⊗ �R,↓ ;t⟩ − 0.51 �L,↓ ;t⟩ ⊗ �R,↑ ;t⟩ z z z z √ √ (28) − 0.49 �R,↓ ;t⟩ ⊗ �L,↑ ;t⟩ + 0.51 �R,↑ ;t⟩ ⊗ �L,↓ ;t⟩. z z z z Hence no snapshot Hilbert-space for dissimilar particles ensues—which is not bad news for Factorists because for dissimilar particles, even ∀-Factorism rules. 5 Measurement and Locality Friebe (2014) considers the tangled state �Θ(t)⟩ (7). Bob performs a joint measurememt on one particle of y-spin and of a projector in the spectral resolution of the position-operator, that projects on the volume in space occupied by the y-spin detector of Bob (V ⊂ ℝ ). (This joint measurement of spin and position is possible because the corresponding opera- tors commute.) Alice does not perform any measurement. The symmetric operator that rep- resents Bob’s measurement is this one: P (V )𝜎 ⊗ 1 + 1 ⊗ P (V )𝜎 . (29) R y R y We further assume that Bob measures at a time t =  when the bulk of the position-propa- bility of �R;⟩ is at V , so that P �R;⟩ ≈ �R;⟩ , which implies that the probability to detect one particle at t =  at V is nearly 1. Since the eigenstate of y-spin down is a superposition of eigenstates of z-spin up and z-spin down, the probability to find y-spin down at V equals 1/2. Suppose Bob finds y-spin down and detects one particle at V . State �Θ(t)⟩ then collapses to: � � �Θ(𝜏 )⟩ = �L,↑ ;𝜏 ⟩ ⊗ �R,↓ ;𝜏 ⟩ − �R,↓ ;𝜏 ⟩ ⊗ �L,↑ ;𝜏 ⟩ , z y y z (30) where �R,↓ ;⟩ is the Pauli-spinor localised at V and being an eigenvector of y-spin with y R eigenvalue −1 . The collapsed state �Θ()⟩ (30) remains a tangled state. There was a particle Left-zUp before the measurement and there remains one after the measurement. The par- ticle Right-zDown, on which Bob has performed the measurement, is now Right-yDown. Next Friebe points out that if Factorism is correct (and Part States is assumed), then the post-measurement states of both particles are the partial traces of (30), and they are the same. Furthermore, their state is different from their pre-measurement state. The change of state of one particle is due to Bob’s measurement of y-spin and location in V of this 1 3 304 F. A. Muller, G. Leegwater particle (labeled ‘1’ or ‘2’ but one cannot know which), whereas Alice has left the other particle alone. Then why has its state changed? In case of an entangled state, we would, versed in QM as we are, have expected this, but �Θ()⟩ is a tangled state. Give up direct reference, and thereby Direct Factorism, embrace Ghirardi’s interpreta- tion of tangled states, which entails giving up Descriptive Factorism too, and the problem evaporates. When we move to snapshot Hilbert-space (see Sect. 3), the tangled state �Θ()⟩ (30) ⊗ -factorises and the labels of the ⊗-factor Hilbert-spaces can be provided with descriptions. Descriptive Factorism with specified snapshot Hilbert-space has been vindicated, and this proves ∃-Factorism. 6 Concluding Remarks When we enter the noisy movie theatre of the grand Hilbert-space with its infinitely many dimensions (14), (24), Factorism plays the part of the whipping boy in the movie Compos- ite Physical Systems of Similar Particles, for the tangled as well as the entangled cases. But when we watch the Schrödinger-movie in a continuous sequence of snap-shot Hilbert- subspaces of four cosy dimensions, Factorism is the indomitable hero: the labels of the ⊗-factor Hilbert-spaces of snapshot Hilbert-space can be taken to play descriptive roles. Descriptive reference and ∃-Factorism vindicated. In both Hilbert-spaces we can calculate the relevant probabilities of the position and spin degrees of freedom. Finally, after having kissed Factorism goodbye, Caulton (2012; 2018a, b) devised the following construction. For the sake of simplicity, we stick to a composite system of two similar particles, with Hilbert-space H =(H ⊗ H) . (31) E , E ∈ L(H) be two orthogonal projectors (members of the lattice), which will indi- Let viduate the two particles—thus the particles will become absolutely discernible. Consider the following subspace: 2 2 H (𝛼 , 𝛽 ) ≡ (E ⊗ E + E ⊗ E )[H ] ⊏ H , (32) ± 𝛼 𝛽 𝛽 𝛼 ± ± obtained by letting a symmetric operator act on H , thus guaranteeing that its range lies inside H . One particle always has a state in subspace H ≡ E [H] ⊏ H and the other par- ± 𝛼 𝛼 ticle H ≡ E [H] ⊏ H. 𝛽 𝛽 The state of the composite two-particle system then is in H ⊗ H . The labels of these 𝛼 𝛽 ⊗-factor Hilbert-spaces then can be taken as descriptive names of the particles: the particle with state in H and the particle with state in H . Caulton ends up with nothing less than two absolutely discernible particles—and even Leibniz’s Principle of the Identity of Abso- lute Indiscernibles is vindicated uno tenore. Ironically, Caulton began by rejecting Factorism (in fact ∀-Factorism) and intended to devise an ‘anti-factorist’ alternative ⊗-factorisation of the Hilbert-space of the composite system, only to end up with a rigorous proof of ∃-Factorism and a refutation of Anti-Fac- torism. Smile, please. To aggravate the problem, one can easily argue that we have a breach of EPR-Locality here. Exercise. 1 3 305 The Case Against Factorism: On the Labels of ⊗-Factor... 7 Envoi We baptised non-factorisable states that result from anti-symmetrising a product-state as tangled (p. 8). Ghirardi et al. claimed that only entangled states lead to violations of Bell’s inequality, and thus that tangled states do not. Yet take this product state: � � � � 1 1 �L,↑ ;t⟩ + �R,↑ ;t⟩ ⊗ �L,↓ ;t⟩ + �R,↓ ;t⟩ . √ √ (33) 2 2 Anti-symmetrising this state yields: �Ξ(t)⟩ = √ �L; t⟩ ⊗ �L;t⟩ + �R;t⟩ ⊗ �R;t⟩ + �L;t⟩ ⊗ �R;t⟩ � � � (34) + �R;t⟩ ⊗ �L;t⟩ �↑ ⟩ ⊗ �↓ ⟩ − �↓ ⟩ ⊗ �↑ ⟩ . z z z z This state then must be tangled, not entangled, according to Ghirardi et al., and therefore should not violate any Bell inquality. But �Ξ(t)⟩ (34) does violate a Bell inequality and is very entangled. Were Ghirardi et al. mistaken to propound that, contra communis opinio, tangled states do not deserve to be called ‘entangled’ because they do not lead to a viola- tion of some Bell inequality? Acknowledgements Thnx to Dennis Dieks, Tomasz Bigaj, Cord Friebe, Ronnie Hermens, Andrea Lubberd- ing and two anonymous Referees for comments and suggestions. Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Com- mons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creat iveco mmons .org/licen ses/by/4.0/. References Bigaj, T. (2015a). Dissecting weak discernibility of quanta. Studies in History and Philosophy of Modern Physics, 50, 43–53. Bigaj, T. (2015b). Exchanging quantum particles. Philosophia Scientae, 19(1), 185–198. Butterfield, J. (1993). Interpretation and identity in quantum theory. Studies in History and Philosophy of Science, 24, 443–476. Caulton, A. (2012). Qualitatively individuating so-called indistinguishable quantum systems. Talk at Cam- bridge University, 27 April 2012. Caulton, A. (2013). Discerning indistinguishable quantum systems. Philosophy of Science, 80, 49–72. Caulton, A. (2018a). Physical Entanglement in Permutation-Invariant Quantum Mechanics, LaTeX-script. Caulton, A. (2018b). Permutations, unfinished LaTeXscript of some monograph in statu nascendi. Cohen-Tannoudji, C., Diu, B., & Laloë, F. (1978). Quantum mechanics (Vol. 2). New York: Wiley. Dieks, D., & Lubberdink, A. (2011). How classical particles emerge from the quantum world. Foundations of Physics, 41, 1051–1064. French, S., & Krause, D. (2006). Identity and physics: A historical, philosophical and formal analysis. Oxford: Clarendon Press. Ghirardi et al. (2002), Ghirardi and Marinatto (2004, 12109: 3). 1 3 306 F. A. Muller, G. Leegwater French, S., & Redhead, M. (1988). Quantum physics and the identity of indiscernibles. British Journal for the Philosophy of Science, 39, 233–246. Friebe, C. (2014). Individuality, distinguishability and (non-)entanglement: A defense of Leibniz’s princi- ple. Studies in History and Philosophy of Modern Physics, 48, 89–98. Ghirardi, G., & Marinatto, L. (2004). General criterion for the entanglement of two indistinguishable parti- cles. Physical Review, A70(12109), 1–10. Ghirardi, G., Marinatto, L., & Weber, T. (2002). Entanglement and properties of composite quantum sys- tems: A conceptual and mathematical analysis. Journal of Statistical Physics, 108(112), 49–122. Gisin, N. (1991). Bell’s inequality holds for all non-product states. Physical Letters A, 154, 201. Hawley, K. (2009). Identity and indiscernibility. Mind, 118, 101–119. Huggett, N., & Imbo, T. (2009). Indistinguishability. In Compendium of quantum physics (pp. 311–317). Berlin/New York: Springer. Huggett, N., & Norton, J. (2014). Weak discernibility for quanta, the right way. British Journal for the Phi- losophy of Science, 65, 39–58. Ladyman, J., Linnebo, O., & Bigaj, T. (2013). Entanglement and non-factorizability. Studies in History and Philosophy of Modern Physics, 43, 215–221. Ladyman, J., Linnebo, O., & Pettigrew, R. (2012). Identity and discernibility in philosophy and logic. The Review of Symbolic Logic, 5, 162–186. Lubberdink, A. (1998). De individualiseerbaarheid van van identieke deeltjes. Masters Thesis, Utrecht University. Muller, F. A. (2015). The rise of relationals. Mind, 124, 201–237. Muller, F. A., & Saunders, S. (2008). Discerning fermions. British Journal for the Philosophy of Science, 59, 499–548. Muller, F. A., & Seevinck, M. P. (2009). Discerning elementary particles. Philosophy of Science, 76, 179–200. Redhead, M., & Teller, P. (1992). Particle labels and the theory of indistinguishable particles in quantum mechanics. British Journal for the Philosophy of Science, 43, 201–218. Saunders, S. (2006a). Are quantum particles objects? Analysis, 66, 52–63. Saunders, S. (2006b). On the explanation for quantum statistics. Studies in the History and Philosophy of Modern Physics, 37, 192–211. Saunders, S. (2013). Indistinguishability. In R. Batterman (Ed.), Oxford handbook of philosophy of physics (pp. 340–380). Oxford: Oxford University Press. van Fraassen, B. C. (1991). Quantum mechanics: An empiricist view. Oxford: Oxford University Press. Publisher’s Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations. 1 3

Journal

Journal for General Philosophy of ScienceSpringer Journals

Published: Sep 1, 2022

Keywords: Elementary particles; Identical particles; Similar particles; Discernibility; Quantum mechanics; Factorism; Distinguishability

There are no references for this article.