In this paper we motivate and develop the analytic theory of measurement, in which autonomously specified algebras of quantities (together with the resources of mathematical analysis) are used as a unified mathematical framework for modeling (a) the time-dependent behavior of natural systems, (b) interactions between natural systems and measuring instruments, (c) error and uncertainty in measurement, and (d) the formal propositional language for describing and reasoning about measurement results. We also discuss how a celebrated theorem in analysis, known as Gelfand representation, guarantees that autonomously specified algebras of quantities can be interpreted as algebras of observables on a suitable state space. Such an interpretation is then used to support (i) a realist conception of quantities as objective characteristics of natural systems, and (ii) a realist conception of measurement results (evaluations of quantities) as determined by and descriptive of the states of a target natural system. As a way of motivating the analytic approach to measurement, we begin with a discussion of some serious philosophical and theoretical problems facing the well-known representational theory of measurement. We then explain why we consider the analytic approach, which avoids all these problems, to be far more attractive on both philosophical and theoretical grounds.
In this paper we motivate and develop the analytic theory of measurement, in which autonomously specified algebras of quantities (together with the resources of mathematical analysis) are used as a unified mathematical framework for modeling (a) the time-dependent behavior of natural systems, (b) interactions between natural systems and measuring instruments, (c) error and uncertainty in measurement, and (d) the formal propositional language for describing and reasoning about measurement results. We also discuss how a celebrated theorem in analysis, known as Gelfand representation, guarantees that autonomously specified algebras of quantities can be interpreted as algebras of observables on a suitable state space. Such an interpretation is then used to support (i) a realist conception of quantities as objective characteristics of natural systems, and (ii) a realist conception of measurement results (evaluations of quantities) as determined by and descriptive of the states of a target natural system. As a way of motivating the analytic approach to measurement, we begin with a discussion of some serious philosophical and theoretical problems facing the well-known representational theory of measurement. We then explain why we consider the analytic approach, which avoids all these problems, to be far more attractive on both philosophical and theoretical grounds.
In this paper we motivate and develop the analytic theory of measurement, in which autonomously specified algebras of quantities (together with the resources of mathematical analysis) are used as a unified mathematical framework for modeling (a) the time-dependent behavior of natural systems, (b) interactions between natural systems and measuring instruments, (c) error and uncertainty inmeasurement, and (d) the formal propositional language for describing and reasoning aboutmeasurement results. We also discuss how a celebrated theorem in analysis, known asGelfand representation, guarantees that autonomously specified algebras of quantities can be interpreted as algebras of observables on a suitable state space. Such an interpretation is then used to support (i) a realist conception of quantities as objective characteristics of natural systems, and (ii) a realist conception of measurement results (evaluations of quantities) as determined by and descriptive of the states of a target natural system. As a way of motivating the analytic approach to measurement, we begin with a discussion of some serious philosophical and theoretical problems facing the well-known representational theory of measurement. We then explain why we consider the analytic approach, which avoids all these problems, to be far more attractive on both philosophical and theoretical grounds.
The newly revised edition of this well-known book categorizes prevalent views on measurement as described by quantum mechanics, discusses basics agreed to by many who on other issues disagree, and describes some of the problems. Although many paragraphs rest unchanged from the first (1991) edition, results found since 1991 are used to reorganize and sharpen the focus of the book, so that even the old paragraphs are now understood differently and more clearly. One advance in the second edition is a new and more general no-go theorem; another is separation of formal derivations from interpretation. The dozen or so definitions essential to following the book even casually are stated clearly. By this means the authors succeed pretty well in achieving their stated desire to make the book comprehensible to those who do not share their philosophic predispositions. While I differ in philosophy from the authors, attending to their discussion uncovered weaknesses in my own thinking and improved it. The mathematical language of quantum mechanics expresses a system under measurement by states (as rays in a Hilbert space) and a hamiltonian operator, distinct from the apparatus that produces outcomes, which is expressed by a positive operator-valued (POV) measure. In this way quantum language separates state preparation from state measurement. Often the Hilbert space is viewed as a tensor product of subspaces, allowing further conceptual separations. The authors take the stance that quantum mechanics calls for splitting the empirical world into parts, the most essential being (1) objective systems S (to be observed) and (2) apparatus A (preparation and registration devices that produces outcomes (or, as the authors write, definite pointer values) of the observed system). In some interpretations, one or both of an observer and an environment appear as additional parts. What is to be included in the system S versus the apparatus A is not specified by the language, but is open to the theoretician; a probe, for example, can be analysed as either part of the apparatus or as part of the system, as was discussed by von Neumann in work cited by the authors. With what should a theory of measurement be concerned? A broad division of approaches is defined by how one answers the question: should one try to do away with the cut between measuring apparatus and system? The authors phrase this as a choice of REFERENT, a term which in my mind puts them on shaky semantic ground; anyway The Quantum Theory of Measurement is concerned with implications of the `yes'. The book unfolds with the power of a tragedy, in which the logical consequences lead, step-by-step, to the statement and proof of theorem 6.2.1, which, roughly speaking, asserts the non-existence of a solution to the problem of getting definite pointer values from measuring apparatus that exhibits the superposition demanded by its description as a quantum system. Possible responses to this theorem are discussed, among them the many-worlds interpretation and a modification of quantum mechanics that elevates decoherence to a principle. Citations of the literature are thorough, and many points of view are crisply summarized. The book is indispensable to both those who work in the broad direction chosen by the authors and to those who wish to set any other direction in context.
Introduction Many philosophers and physicists have expressed great hope that quantum information theory will help us understand the nature of the quantum world. The general problem is that there is no widespread agreement on what quantum information is. Hence, such pronouncements regarding quantum information theory as the savior of the philosophy of physics are hard to evaluate. Much work has been done producing and evaluating concepts of information. In I have defended and articulated the Schumacher concept of quantum information. Roughly speaking, quantum information is construed as the statistical behavior associated with the measurement of a quantum system. Hence it is a coarse-grained operational description of quantum systems, with no recourse to the fundamental ontological features of quantum systems responsible for such behavior. From this perspective, construing quantum mechanics as a theory of quantum information departs from the traditional interpretive endeavors of philosophers and physicists. The question is whether there is any motivation for taking such a view. The theorem of Clifton, Bub, and Halvorson (CBH) provides just such a motivation. The theorem guarantees that, if a theory T satisfies certain conditions, there will exist an empirically equivalent C *-algebraic theory that has a concrete representation in Hilbert space, which it is notoriously difficult to interpret as a constructive or mechanical theory. In such a case, any underlying ontologies philosophers develop that are compatible with T will be undermined by the C*-algebraic equivalent. Bub suggests in light of this in-principle uncertainty regarding ontology that we re-conceive of quantum mechanics as a theory about quantum information.
The classical theory of measurement is built upon the conception of an interaction between the system of interest and the measuring apparatus that can be made arbitrarily small, or at least precisely compensated, so that one can speak meaningfully of an idealized measurement that disturbs no property of the system. In the most elementary type of measurement, an ensemble of independent similar systems is sorted by the apparatus into subensembles, distinguished by definite values of the physical quantity being measured. The use of complex numbers in the measurement algebra implies the existence of a dual algebra in which all numbers are replaced, by the complex conjugate numbers. No physical result can depend upon which algebra is employed. The measurement symbols of a given description provide a basis for the representation of an arbitrary operator by N 2 numbers, and the abstract properties of operators are realized by the combinatorial laws of these arrays of numbers, which are those of matrices.
Most philosophical work on quantum physics has concerned simple systems. And for good reason. Even one or two particle systems can exhibit the striking features we have come to associate with quantum physics—features such as entanglement, interference, and nonlocality. But as far as physics goes, such systems barely scrape the surface. In particular, they have only a finite number of degrees of freedom, which means their states are characterized by a finite number of independent parameters. The systems studied in fields such as high-energy particle physics and many-body physics, meanwhile, have uncountably many degrees of freedom. They are far more complicated than the usual philosophical fare.This is not troubling as long as the conceptual heart of quantum physics can be effectively condensed down. But what if philosophers' toy systems are fundamentally different from realistic ones? That would be a problem. And indeed, as Laura Ruetsche convincingly argues in Interpreting Quantum Theories, systems with uncountable degrees of freedom—what Ruetsche collectively calls QM∞—are fundamentally different from the systems that have become the stock and trade of philosophy of physics, in ways that change the interpretational project.Ruetsche's book does two things exceedingly well. The first is to provide a (comparatively) accessible and philosophically oriented introduction to the algebraic approach to quantum physics, which is essential for understanding QM∞. This is a valuable contribution. The algebraic approach is the setting for much recent philosophical work. And yet learning it is notoriously difficult, as even pedagogical texts are aimed at research-level mathematicians. Ruetsche's book is technically demanding, but it works to bring nonmathematicians along. It is, without a doubt, the best place to enter this literature.Second, the book sets the agenda for future work on QM∞, by effectively and judiciously drawing important foundational questions out of a sprawling and difficult physics literature. In this regard, it is a close cousin to John Earman's (1995) excellent Bangs, Crunches, Whimpers, and Shrieks, which has had a significant influence on subsequent philosophy of spacetime physics. Philosophers of physics will be addressing the questions Ruetsche has raised, in many cases for the first time, for years to come.Interpreting Quantum Theories centers on what might be called the problem of inequivalent representations. The quantum theories that philosophers are accustomed to are set in a mathematical structure known as a (separable) Hilbert space, which is an at-most countably infinite dimensional complex vector space. Rays in a Hilbert space represent possible states of a physical system, and self-adjoint operators on that Hilbert space correspond to properties of the system.To treat QM∞, meanwhile, physicists pass to a generalization of this formalism. Now one begins with an abstract algebra of operators corresponding to the various properties associated with the system. States in this more general framework are linear functionals on the algebra whose value at each operator is interpreted as the expectation value of a measurement of that property in that state.The trouble with this more general framework is that the interpretational tools of Hilbert space quantum theories do not directly apply. Some solace comes from recognizing that any (appropriate) algebra of operators admits a representation in terms of the operators on a Hilbert space. This suggests that one can always move back to the more familiar Hilbert space formalism. But this is a pyrrhic victory. In general these Hilbert space representations are neither unique nor empirically equivalent. In particular, these inequivalent representations, interpreted in the familiar way, yield disagreements about which algebraic states are physically realizable.Faced with this situation, Ruetsche presents several principled options—what she calls “pristine” interpretations of QM∞. The two most significant are what she calls “Hilbert Space Conservatism” and “Algebraic Imperialism.” The Conservative claims that, for a given system, there is one true Hilbert space representation, which should be interpreted in the familiar ways. The Imperialist, meanwhile, insists that only the abstract algebra matters: the physical states are the algebraic states, properties correspond to the operators in the algebra, and if our old methods do not apply, so much the worse for our methods.At this level of description, Imperialists may appear to have the advantage, since they need not fret over which representation to choose. But there's a catch. As we have seen, there is a sense in which Imperialists generally recognize a broader range of possible physical states. But Conservatives allow for more properties. This is because when one represents the abstract algebra as operators on a Hilbert space, the operators in the representation naturally approximate additional operators on that Hilbert space, in a way that is unavailable in the abstract setting. Thus each interpretation suffers from limitations that the other does not.To adjudicate between the interpretations, Ruetsche takes them to the trenches, to see which provides the resources to support the actual explanatory and representational practices of physics. After a masterful survey, she concludes that neither interpretation has all of the requisite resources. In particular, she argues, physicists regularly make essential use of operators that are only available to Conservatives, while making equally essential use of multiple inequivalent representations—which only Imperialists can support. More, the particular mix of Conservatism and Imperialism varies between applications, apparently ruling out a stable interpretation of the formalism that can be articulated independently of the messy details. We are left with what Ruetsche calls “adulterated” interpretations.Philosophers' practice notwithstanding, it might seem unsurprising that we cannot separate our interpretation of physical theories from the pragmatics of their application to the world. After all, we are interested in these theories only insofar as they are successfully applied. But Ruetsche believes the problem is more acute. It is not merely that pragmatic considerations enter the debate between Conservatives and Imperialists. Ruetsche argues that there may not be any consistent, general interpretation of QM∞ compatible with practice. And this, she claims, makes realism about QM∞ untenable.The idea that the applications of a broad class of our best physical theories undermine their consistent interpretation in a way that renders realism incoherent is striking. Insofar as Ruetsche's case is convincing, it should have serious repercussions for general philosophy of science—both because it bears on important debates and because it shows how generalist questions depend on the details of particular scientific theories and their applications. Indeed, Ruetsche's skepticism about the terms of the realism debate and her radical particularism should influence general philosophy of science. But that said, her argument ultimately leaves room for disagreement.Ruetsche's basic claim is that Conservatism and Imperialism each support practices that the other cannot and that both kinds of practice are essential. But there is an important asymmetry here. Conservatives suffer because they fail to represent putative physical possibilities appealed to in practice. Imperialists, meanwhile, need to justify that in certain applications, they may limit attention to a subset of the physical possibilities their interpretation admits, and then use resources that only make sense in those limited regimes.The trouble is that the Imperialists' opportunism is neither unusual in physics nor difficult to motivate. In spacetime physics, for instance, properties such as the total mass of the universe or global time can be defined only in very special cases. And yet such properties are used in practice, because often the salient spacetimes are precisely the ones in which these quantities make (approximate) sense. To make her case that adulteration in QM∞ undermines realism, Ruetsche would need to establish that the representation-dependent quantities used in applications of QM∞ are different in kind from analogous quantities that appear throughout physics. And here it is not clear that she succeeds.None of this undercuts the importance of the book, however. Indeed, Ruetsche acknowledges that her argument may depend on how one understands idealization in physics. And even if one takes the view just described, there is a great deal of work to do on how Imperialism can support the practices Ruetsche identifies—work that will surely proceed within the framework Ruetsche has laid out, by addressing questions Ruetsche has raised. And so, wherever our study of QM∞ takes us, Ruetsche's book is sure to play a central role.
The philosophy of science is a discipline concerning the metaphysical aspect of science. Recently, I proposed measurement theory, which is characterized as the metaphysical and linguistic interpretation of quantum mechanics. I assert that this theory is one of the most fundamental languages in science, and thus, it is located at the central position in science. This assertion will be examined throughout this preprint, which is written as the draft of my future book (concerning the philosophy of science). Hence, I hope to hear various opinions about this draft.