Relational quantum mechanics
   HOME

TheInfoList



OR:

:''This article is intended for those already familiar with quantum mechanics and its attendant interpretational difficulties. Readers who are new to the subject may first want to read the
introduction to quantum mechanics Quantum mechanics is the study of matter and its interactions with energy on the scale of atomic and subatomic particles. By contrast, classical physics explains matter and energy only on a scale familiar to human experience, including the be ...
.'' Relational quantum mechanics (RQM) is an
interpretation of quantum mechanics An interpretation of quantum mechanics is an attempt to explain how the mathematical theory of quantum mechanics might correspond to experienced reality. Although quantum mechanics has held up to rigorous and extremely precise tests in an extraor ...
which treats the state of a quantum system as being observer-dependent, that is, the state ''is'' the relation between the observer and the system. This interpretation was first delineated by
Carlo Rovelli Carlo Rovelli (born May 3, 1956) is an Italian theoretical physicist and writer who has worked in Italy, the United States and, since 2000, in France. He is also currently a Distinguished Visiting Research Chair at the Perimeter Institute, and ...
in a 1994
preprint In academic publishing, a preprint is a version of a scholarly or scientific paper that precedes formal peer review and publication in a peer-reviewed scholarly or scientific journal. The preprint may be available, often as a non-typeset versi ...
, and has since been expanded upon by a number of theorists. It is inspired by the key idea behind
special relativity In physics, the special theory of relativity, or special relativity for short, is a scientific theory regarding the relationship between space and time. In Albert Einstein's original treatment, the theory is based on two postulates: # The law ...
, that the details of an
observation Observation is the active acquisition of information from a primary source. In living beings, observation employs the senses. In science, observation can also involve the perception and recording of data via the use of scientific instruments. The ...
depend on the
reference frame In physics and astronomy, a frame of reference (or reference frame) is an abstract coordinate system whose origin, orientation, and scale are specified by a set of reference points― geometric points whose position is identified both math ...
of the observer, and uses some ideas from
Wheeler Wheeler may refer to: Places United States * Wheeler, Alabama, an unincorporated community * Wheeler, Arkansas, an unincorporated community * Wheeler, California, an unincorporated community * Wheeler, Illinois, a village * Wheeler, Indiana, a ...
on
quantum information Quantum information is the information of the state of a quantum system. It is the basic entity of study in quantum information theory, and can be manipulated using quantum information processing techniques. Quantum information refers to both ...
. The physical content of the theory has not to do with objects themselves, but the relations between them. As Rovelli puts it:
"Quantum mechanics is a theory about the physical description of physical systems relative to other systems, and this is a complete description of the world".
The essential idea behind RQM is that different observers may give different accurate accounts of the same system. For example, to one observer, a system is in a single, "collapsed"
eigenstate In quantum physics, a quantum state is a mathematical entity that provides a probability distribution for the outcomes of each possible measurement on a system. Knowledge of the quantum state together with the rules for the system's evolution in ...
. To a second observer, the same system is in a superposition of two or more states and the first observer is in a correlated superposition of two or more states. RQM argues that this is a complete picture of the world because the notion of "state" is always relative to some observer. There is no privileged, "real" account. The state vector of conventional quantum mechanics becomes a description of the correlation of some ''
degrees of freedom Degrees of freedom (often abbreviated df or DOF) refers to the number of independent variables or parameters of a thermodynamic system. In various scientific fields, the word "freedom" is used to describe the limits to which physical movement or ...
'' in the observer, with respect to the observed system. The terms "observer" and "observed" apply to any arbitrary system,
microscopic The microscopic scale () is the scale of objects and events smaller than those that can easily be seen by the naked eye, requiring a lens or microscope to see them clearly. In physics, the microscopic scale is sometimes regarded as the scale be ...
or
macroscopic The macroscopic scale is the length scale on which objects or phenomena are large enough to be visible with the naked eye, without magnifying optical instruments. It is the opposite of microscopic. Overview When applied to physical phenomena a ...
. The classical limit is a consequence of aggregate systems of very highly correlated subsystems. A "measurement event" is thus described as an ordinary physical interaction where two systems become correlated to some degree with respect to each other. The proponents of the relational interpretation argue that this approach resolves some of the traditional interpretational difficulties with quantum mechanics. By giving up our preconception of a global privileged state, issues around the
measurement problem In quantum mechanics, the measurement problem is the problem of how, or whether, wave function collapse occurs. The inability to observe such a collapse directly has given rise to different interpretations of quantum mechanics and poses a key s ...
and
local realism In physics, the principle of locality states that an object is influenced directly only by its immediate surroundings. A theory that includes the principle of locality is said to be a "local theory". This is an alternative to the concept of ins ...
are resolved. In 2020,
Carlo Rovelli Carlo Rovelli (born May 3, 1956) is an Italian theoretical physicist and writer who has worked in Italy, the United States and, since 2000, in France. He is also currently a Distinguished Visiting Research Chair at the Perimeter Institute, and ...
published an account of the main ideas of the relational interpretation in his popular book ''Helgoland'', which was published in an English translation in 2021 as ''Helgoland: Making Sense of the Quantum Revolution''.


History and development

Relational quantum mechanics arose from a comparison of the quandaries posed by the
interpretations of quantum mechanics An interpretation of quantum mechanics is an attempt to explain how the mathematical theory of quantum mechanics might correspond to experienced reality. Although quantum mechanics has held up to rigorous and extremely precise tests in an extraord ...
with those resulting from
Lorentz transformations In physics, the Lorentz transformations are a six-parameter family of linear transformations from a coordinate frame in spacetime to another frame that moves at a constant velocity relative to the former. The respective inverse transformation i ...
prior to the development of
special relativity In physics, the special theory of relativity, or special relativity for short, is a scientific theory regarding the relationship between space and time. In Albert Einstein's original treatment, the theory is based on two postulates: # The law ...
. Rovelli suggested that just as pre-relativistic interpretations of Lorentz's equations were complicated by incorrectly assuming an observer-independent time exists, a similarly incorrect assumption frustrates attempts to make sense of the quantum formalism. The assumption rejected by relational quantum mechanics is the existence of an observer-independent state of a system. The idea has been expanded upon by
Lee Smolin Lee Smolin (; born June 6, 1955) is an American theoretical physicist, a faculty member at the Perimeter Institute for Theoretical Physics, an adjunct professor of physics at the University of Waterloo and a member of the graduate faculty of the ...
and Louis Crane, who have both applied the concept to
quantum cosmology Quantum cosmology is the attempt in theoretical physics to develop a quantum theory of the universe. This approach attempts to answer open questions of classical physical cosmology, particularly those related to the first phases of the univer ...
, and the interpretation has been applied to the
EPR paradox EPR may refer to: Science and technology * EPR (nuclear reactor), European Pressurised-Water Reactor * EPR paradox (Einstein–Podolsky–Rosen paradox), in physics * Earth potential rise, in electrical engineering * East Pacific Rise, a mid-oce ...
, revealing not only a peaceful co-existence between quantum mechanics and special relativity, but a formal indication of a completely
local Local may refer to: Geography and transportation * Local (train), a train serving local traffic demand * Local, Missouri, a community in the United States * Local government, a form of public administration, usually the lowest tier of administrat ...
character to reality.


The problem of the observer and the observed

This problem was initially discussed in detail in Everett's thesis, '' The Theory of the Universal Wavefunction''. Consider observer O,
measuring Measurement is the quantification of attributes of an object or event, which can be used to compare with other objects or events. In other words, measurement is a process of determining how large or small a physical quantity is as compared ...
the
state State may refer to: Arts, entertainment, and media Literature * ''State Magazine'', a monthly magazine published by the U.S. Department of State * ''The State'' (newspaper), a daily newspaper in Columbia, South Carolina, United States * ''Our S ...
of the quantum system S. We assume that O has complete
information Information is an abstract concept that refers to that which has the power to inform. At the most fundamental level information pertains to the interpretation of that which may be sensed. Any natural process that is not completely random, ...
on the system, and that O can write down the
wavefunction A wave function in quantum physics is a mathematical description of the quantum state of an isolated quantum system. The wave function is a complex-valued probability amplitude, and the probabilities for the possible results of measurements ...
, \psi\rangle describing it. At the same time, there is another observer O', who is interested in the state of the entire O-S system, and O' likewise has complete information. To analyse this system formally, we consider a system S which may take one of two states, which we shall designate , \rangle and , \downarrow \rangle , ket vectors in the
Hilbert space In mathematics, Hilbert spaces (named after David Hilbert) allow generalizing the methods of linear algebra and calculus from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise natural ...
H_S. Now, the observer O wishes to make a measurement on the system. At time t_1, this observer may characterize the system as follows: :, \psi \rangle = \alpha, \rangle + \beta, \rangle , where , \alpha, ^2 and , \beta, ^2 are probabilities of finding the system in the respective states, and obviously add up to 1. For our purposes here, we can assume that in a single experiment, the outcome is the
eigenstate In quantum physics, a quantum state is a mathematical entity that provides a probability distribution for the outcomes of each possible measurement on a system. Knowledge of the quantum state together with the rules for the system's evolution in ...
, \rangle (but this can be substituted throughout, ''mutatis mutandis'', by , \rangle). So, we may represent the sequence of events in this experiment, with observer O doing the observing, as follows: :\begin t_1 & \rightarrow & t_2 \\ \alpha , \rangle + \beta , \rangle & \rightarrow & , \rangle. \end This is the description of the measurement event given by observer O. Now, any measurement is also a
physical interaction In physics, the fundamental interactions, also known as fundamental forces, are the interactions that do not appear to be reducible to more basic interactions. There are four fundamental interactions known to exist: the gravitational and electro ...
between two or more systems. Accordingly, we can consider the
tensor product In mathematics, the tensor product V \otimes W of two vector spaces and (over the same field) is a vector space to which is associated a bilinear map V\times W \to V\otimes W that maps a pair (v,w),\ v\in V, w\in W to an element of V \otime ...
Hilbert space H_S \otimes H_, where H_ is the Hilbert space inhabited by state vectors describing O. If the initial state of O is , \text\rangle, some
degrees of freedom Degrees of freedom (often abbreviated df or DOF) refers to the number of independent variables or parameters of a thermodynamic system. In various scientific fields, the word "freedom" is used to describe the limits to which physical movement or ...
in O become correlated with the state of S after the measurement, and this correlation can take one of two values: , O_\rangle or , O_\rangle where the direction of the arrows in the subscripts corresponds to the outcome of the measurement that O has made on S. If we now consider the description of the measurement event by the other observer, O', who describes the combined S+O system, but does not interact with it, the following gives the description of the measurement event according to O', from the
linearity Linearity is the property of a mathematical relationship ('' function'') that can be graphically represented as a straight line. Linearity is closely related to '' proportionality''. Examples in physics include rectilinear motion, the linear ...
inherent in the quantum formalism: :\begin t_1 & \rightarrow & t_2 \\ \left( \alpha , \rangle + \beta , \rangle \right) \otimes , \text\rangle & \rightarrow & \alpha , \rangle \otimes , O_\rangle + \beta , \rangle \otimes , O_\rangle. \end Thus, on the assumption (see hypothesis 2 below) that quantum mechanics is complete, the two observers O and O' give different but equally correct accounts of the events t_1 \rightarrow t_2. Note that the above scenario is directly linked to Wigner's Friend thought experiment, which serves as a prime example when understanding different interpretations of quantum theory.


Central principles


Observer-dependence of state

According to O, at t_2, the system S is in a determinate state, namely spin up. And, if quantum mechanics is complete, then so is this description. But, for O', S is ''not'' uniquely determinate, but is rather entangled with the state of O note that his description of the situation at t_2 is not factorisable no matter what basis chosen. But, if quantum mechanics is complete, then the description that O' gives is ''also'' complete. Thus the standard
mathematical formulation of quantum mechanics The mathematical formulations of quantum mechanics are those mathematical formalisms that permit a rigorous description of quantum mechanics. This mathematical formalism uses mainly a part of functional analysis, especially Hilbert spaces, which ...
allows different observers to give different accounts of the same sequence of events. There are many ways to overcome this perceived difficulty. It could be described as an
epistemic Epistemology (; ), or the theory of knowledge, is the branch of philosophy concerned with knowledge. Epistemology is considered a major subfield of philosophy, along with other major subfields such as ethics, logic, and metaphysics. Episte ...
limitation observers with a full knowledge of the system, we might say, could give a complete and equivalent description of the state of affairs, but that obtaining this knowledge is impossible in practice. But whom? What makes O's description better than that of O', or vice versa? Alternatively, we could claim that quantum mechanics is not a complete theory, and that by adding more structure we could arrive at a universal description (the troubled hidden variables approach). Yet another option is to give a preferred status to a particular observer or type of observer, and assign the epithet of correctness to their description alone. This has the disadvantage of being ''
ad hoc Ad hoc is a Latin phrase meaning literally 'to this'. In English, it typically signifies a solution for a specific purpose, problem, or task rather than a generalized solution adaptable to collateral instances. (Compare with ''a priori''.) Com ...
'', since there are no clearly defined or physically intuitive criteria by which this super-observer ("who can observe all possible sets of observations by all observers over the entire universe") ought to be chosen. RQM, however, takes the point illustrated by this problem at face value. Instead of trying to modify quantum mechanics to make it fit with prior assumptions that we might have about the world, Rovelli says that we should modify our view of the world to conform to what amounts to our best physical theory of motion. Just as forsaking the notion of absolute simultaneity helped clear up the problems associated with the interpretation of the
Lorentz transformations In physics, the Lorentz transformations are a six-parameter family of linear transformations from a coordinate frame in spacetime to another frame that moves at a constant velocity relative to the former. The respective inverse transformation i ...
, so many of the conundrums associated with quantum mechanics dissolve, provided that the state of a system is assumed to be observer-dependent like simultaneity in
Special Relativity In physics, the special theory of relativity, or special relativity for short, is a scientific theory regarding the relationship between space and time. In Albert Einstein's original treatment, the theory is based on two postulates: # The law ...
. This insight follows logically from the two main
hypotheses A hypothesis (plural hypotheses) is a proposed explanation for a phenomenon. For a hypothesis to be a scientific hypothesis, the scientific method requires that one can test it. Scientists generally base scientific hypotheses on previous obse ...
which inform this interpretation: * Hypothesis 1: the equivalence of systems. There is no ''
a priori ("from the earlier") and ("from the later") are Latin phrases used in philosophy to distinguish types of knowledge, justification, or argument by their reliance on empirical evidence or experience. knowledge is independent from current ex ...
'' distinction that should be drawn between quantum and
macroscopic The macroscopic scale is the length scale on which objects or phenomena are large enough to be visible with the naked eye, without magnifying optical instruments. It is the opposite of microscopic. Overview When applied to physical phenomena a ...
systems. All systems are, fundamentally, quantum systems. * Hypothesis 2: the completeness of quantum mechanics. There are no hidden variables or other factors which may be appropriately added to quantum mechanics, in light of current experimental evidence. Thus, if a state is to be observer-dependent, then a description of a system would follow the form "system ''S'' is in state ''x'' ''with reference to'' observer ''O''" or similar constructions, much like in relativity theory. In RQM it is meaningless to refer to the absolute, observer-independent state of any system.


Information and correlation

It is generally well established that any quantum mechanical measurement can be reduced to a set of yes/no questions or
bit The bit is the most basic unit of information in computing and digital communications. The name is a portmanteau of binary digit. The bit represents a logical state with one of two possible values. These values are most commonly represente ...
s that are either 1 or 0. RQM makes use of this fact to formulate the state of a quantum system (relative to a given observer!) in terms of the physical notion of
information Information is an abstract concept that refers to that which has the power to inform. At the most fundamental level information pertains to the interpretation of that which may be sensed. Any natural process that is not completely random, ...
developed by
Claude Shannon Claude Elwood Shannon (April 30, 1916 – February 24, 2001) was an American mathematician, electrical engineer, and cryptographer known as a "father of information theory". As a 21-year-old master's degree student at the Massachusetts I ...
. Any yes/no question can be described as a single
bit The bit is the most basic unit of information in computing and digital communications. The name is a portmanteau of binary digit. The bit represents a logical state with one of two possible values. These values are most commonly represente ...
of information. This should not be confused with the idea of a
qubit In quantum computing, a qubit () or quantum bit is a basic unit of quantum information—the quantum version of the classic binary bit physically realized with a two-state device. A qubit is a two-state (or two-level) quantum-mechanical system, ...
from
quantum information theory Quantum information is the information of the quantum state, state of a quantum system. It is the basic entity of study in quantum information theory, and can be manipulated using quantum information processing techniques. Quantum information re ...
, because a qubit can be in a superposition of values, whilst the "questions" of RQM are ordinary binary variables. Any quantum measurement is fundamentally a
physical interaction In physics, the fundamental interactions, also known as fundamental forces, are the interactions that do not appear to be reducible to more basic interactions. There are four fundamental interactions known to exist: the gravitational and electro ...
between the system being measured and some form of measuring apparatus. By extension, any physical interaction may be seen to be a form of quantum measurement, as all systems are seen as quantum systems in RQM. A physical interaction is seen as establishing a
correlation In statistics, correlation or dependence is any statistical relationship, whether causal or not, between two random variables or bivariate data. Although in the broadest sense, "correlation" may indicate any type of association, in statistic ...
between the system and the observer, and this correlation is what is described and predicted by the quantum formalism. But, Rovelli points out, this form of correlation is precisely the same as the definition of information in Shannon's theory. Specifically, an observer ''O'' observing a system ''S'' will, after measurement, have some
degrees of freedom Degrees of freedom (often abbreviated df or DOF) refers to the number of independent variables or parameters of a thermodynamic system. In various scientific fields, the word "freedom" is used to describe the limits to which physical movement or ...
correlated with those of ''S''. The amount of this correlation is given by log2''k'' bits, where ''k'' is the number of possible values which this correlation may take the number of "options" there are.


All systems are quantum systems

All physical interactions are, at bottom, quantum interactions, and must ultimately be governed by the same rules. Thus, an interaction between two particles does not, in RQM, differ fundamentally from an interaction between a particle and some "apparatus". There is no true wave collapse, in the sense in which it occurs in some interpretations. Because "state" is expressed in RQM as the correlation between two systems, there can be no meaning to "self-measurement". If observer O measures system S, S's "state" is represented as a correlation between O and S. O itself cannot say anything with respect to its own "state", because its own "state" is defined only relative to another observer, O'. If the S+O compound system does not interact with any other systems, then it will possess a clearly defined state relative to O'. However, because O's measurement of S breaks its unitary evolution with respect to O, O will not be able to give a full description of the S+O system (since it can only speak of the correlation between S and itself, not its own behaviour). A complete description of the (S+O)+O' system can only be given by a further, external observer, and so forth. Taking the model system discussed above, if O' has full information on the S+O system, it will know the Hamiltonians of both S and O, including the interaction Hamiltonian. Thus, the system will evolve entirely unitarily (without any form of collapse) relative to O', if O measures S. The only reason that O will perceive a "collapse" is because O has incomplete information on the system (specifically, O does not know its own Hamiltonian, and the interaction Hamiltonian for the measurement).


Consequences and implications


Coherence

In our system above, O' may be interested in ascertaining whether or not the state of O accurately reflects the state of S. We can draw up for O' an operator, M, which is specified as: :M\left(, \rangle \otimes , O_\rangle \right) = , \rangle \otimes , O_\rangle :M\left(, \rangle \otimes , O_\rangle \right) = 0 :M\left(, \rangle \otimes , O_\rangle \right) = 0 :M\left(, \rangle \otimes , O_\rangle \right) = , \rangle \otimes , O_\rangle with an
eigenvalue In linear algebra, an eigenvector () or characteristic vector of a linear transformation is a nonzero vector that changes at most by a scalar factor when that linear transformation is applied to it. The corresponding eigenvalue, often denote ...
of 1 meaning that O indeed accurately reflects the state of S. So there is a 0 probability of O reflecting the state of S as being , \rangle if it is in fact , \rangle, and so forth. The implication of this is that at time t_2, O' can predict with certainty that the S+O system is in ''some'' eigenstate of M, but cannot say ''which'' eigenstate it is in, unless O' itself interacts with the S+O system. An apparent paradox arises when one considers the comparison, between two observers, of the specific outcome of a measurement. In the problem of the observer observed section above, let us imagine that the two experiments want to compare results. It is obvious that if the observer O' has the full Hamiltonians of both S and O, he will be able to say with certainty ''that'' at time t_2, O has a determinate result for S's spin, but he will not be able to say ''what'' O's result is without interaction, and hence breaking the unitary evolution of the compound system (because he doesn't know his own Hamiltonian). The distinction between knowing "that" and knowing "what" is a common one in everyday life: everyone knows ''that'' the weather will be like something tomorrow, but no-one knows exactly ''what'' the weather will be like. But, let us imagine that O' measures the spin of S, and finds it to have spin down (and note that nothing in the analysis above precludes this from happening). What happens if he talks to O, and they compare the results of their experiments? O, it will be remembered, measured a spin up on the particle. This would appear to be paradoxical: the two observers, surely, will realise that they have disparate results. However, this apparent paradox only arises as a result of the question being framed incorrectly: as long as we presuppose an "absolute" or "true" state of the world, this would, indeed, present an insurmountable obstacle for the relational interpretation. However, in a fully relational context, there is no way in which the problem can even be coherently expressed. The consistency inherent in the quantum formalism, exemplified by the "M-operator" defined above, guarantees that there will be no contradictions between records. The interaction between O' and whatever he chooses to measure, be it the S+O compound system or O and S individually, will be a ''physical'' interaction, a ''quantum'' interaction, and so a complete description of it can only be given by a further observer O'', who will have a similar "M-operator" guaranteeing coherency, and so on out. In other words, a situation such as that described above cannot violate any ''physical observation'', as long as the physical content of quantum mechanics is taken to refer only to relations.


Relational networks

An interesting implication of RQM arises when we consider that interactions between material systems can only occur within the constraints prescribed by Special Relativity, namely within the intersections of the
light cone In special and general relativity, a light cone (or "null cone") is the path that a flash of light, emanating from a single event (localized to a single point in space and a single moment in time) and traveling in all directions, would take thro ...
s of the systems: when they are spatiotemporally contiguous, in other words. Relativity tells us that objects have location only relative to other objects. By extension, a network of relations could be built up based on the properties of a set of systems, which determines which systems have properties relative to which others, and when (since properties are no longer well defined relative to a specific observer after unitary evolution breaks down for that observer). On the assumption that all interactions are ''local'' (which is backed up by the analysis of the EPR paradox presented below), one could say that the ideas of "state" and spatiotemporal contiguity are two sides of the same coin: spacetime location determines the possibility of interaction, but interactions determine spatiotemporal structure. The full extent of this relationship, however, has not yet fully been explored.


RQM and quantum cosmology

The universe is the sum total of everything in existence with any possibility of direct or indirect interaction with a
local Local may refer to: Geography and transportation * Local (train), a train serving local traffic demand * Local, Missouri, a community in the United States * Local government, a form of public administration, usually the lowest tier of administrat ...
observer. A (physical) observer outside of the universe would require physically breaking of
gauge invariance In physics, a gauge theory is a type of field theory in which the Lagrangian (and hence the dynamics of the system itself) does not change (is invariant) under local transformations according to certain smooth families of operations (Lie group ...
, and a concomitant alteration in the mathematical structure of gauge-invariance theory. Similarly, RQM conceptually forbids the possibility of an external observer. Since the assignment of a quantum state requires at least two "objects" (system and observer), which must both be physical systems, there is no meaning in speaking of the "state" of the entire universe. This is because this state would have to be ascribed to a correlation between the universe and some other physical observer, but this observer in turn would have to form part of the universe. As was discussed above, it is not possible for an object to contain a complete specification of itself. Following the idea of relational networks above, an RQM-oriented cosmology would have to account for the universe as a set of partial systems providing descriptions of one another. The exact nature of such a construction remains an open question.


Relationship with other interpretations

The only group of interpretations of quantum mechanics with which RQM is almost completely incompatible is that of hidden variables theories. RQM shares some deep similarities with other views, but differs from them all to the extent to which the other interpretations do not accord with the "relational world" put forward by RQM.


Copenhagen interpretation

RQM is, in essence, quite similar to the
Copenhagen interpretation The Copenhagen interpretation is a collection of views about the meaning of quantum mechanics, principally attributed to Niels Bohr and Werner Heisenberg. It is one of the oldest of numerous proposed interpretations of quantum mechanics, as feat ...
, but with an important difference. In the Copenhagen interpretation, the macroscopic world is assumed to be intrinsically classical in nature, and
wave function collapse In quantum mechanics, wave function collapse occurs when a wave function—initially in a quantum superposition, superposition of several eigenstates—reduces to a single eigenstate due to interaction with the external world. This interaction is ...
occurs when a quantum system interacts with macroscopic apparatus. In RQM, ''any'' interaction, be it micro or macroscopic, causes the
linear Linearity is the property of a mathematical relationship ('' function'') that can be graphically represented as a straight line. Linearity is closely related to '' proportionality''. Examples in physics include rectilinear motion, the linear ...
ity of Schrödinger evolution to break down. RQM could recover a Copenhagen-like view of the world by assigning a privileged status (not dissimilar to a preferred frame in relativity) to the classical world. However, by doing this one would lose sight of the key features that RQM brings to our view of the quantum world.


Hidden-variables theories

Bohm's interpretation of QM does not sit well with RQM. One of the explicit hypotheses in the construction of RQM is that quantum mechanics is a complete theory, that is it provides a full account of the world. Moreover, the Bohmian view seems to imply an underlying, "absolute" set of states of all systems, which is also ruled out as a consequence of RQM. We find a similar incompatibility between RQM and suggestions such as that of Penrose, which postulate that some process (in Penrose's case, gravitational effects) violate the linear evolution of the Schrödinger equation for the system.


Relative-state formulation

The
many-worlds The many-worlds interpretation (MWI) is an interpretations of quantum mechanics, interpretation of quantum mechanics that asserts that the universal wavefunction is Philosophical realism, objectively real, and that there is no wave function coll ...
family of interpretations (MWI) shares an important feature with RQM, that is, the relational nature of all value assignments (that is, properties). Everett, however, maintains that the
universal wavefunction The universal wavefunction (or wave function), introduced by Hugh Everett in his PhD thesis ''The Theory of the Universal Wave Function,'' informs a core concept in the relative state interpretationHugh Everett, Relative State Formulation of Quant ...
gives a complete description of the entire universe, while Rovelli argues that this is problematic, both because this description is not tied to a specific observer (and hence is "meaningless" in RQM), and because RQM maintains that there is no single, absolute description of the universe as a whole, but rather a net of interrelated partial descriptions.


Consistent histories approach

In the
consistent histories In quantum mechanics, the consistent histories (also referred to as decoherent histories) approach is intended to give a modern interpretation of quantum mechanics, generalising the conventional Copenhagen interpretation and providing a natural i ...
approach to QM, instead of assigning probabilities to single values for a given system, the emphasis is given to ''sequences'' of values, in such a way as to exclude (as physically impossible) all value assignments which result in inconsistent probabilities being attributed to observed states of the system. This is done by means of ascribing values to "frameworks", and all values are hence framework-dependent. RQM accords perfectly well with this view. However, the consistent histories approach does not give a full description of the physical meaning of framework-dependent value (that is it does not account for how there can be "facts" if the value of any property depends on the framework chosen). By incorporating the relational view into this approach, the problem is solved: RQM provides the means by which the observer-independent, framework-dependent probabilities of various histories are reconciled with observer-dependent descriptions of the world.


EPR and quantum non-locality

RQM provides an unusual solution to the
EPR paradox EPR may refer to: Science and technology * EPR (nuclear reactor), European Pressurised-Water Reactor * EPR paradox (Einstein–Podolsky–Rosen paradox), in physics * Earth potential rise, in electrical engineering * East Pacific Rise, a mid-oce ...
. Indeed, it manages to dissolve the problem altogether, inasmuch as there is no superluminal transportation of information involved in a Bell test experiment: the principle of locality is preserved inviolate for all observers.


The problem

In the EPR thought experiment, a radioactive source produces two electrons in a
singlet state In quantum mechanics, a singlet state usually refers to a system in which all electrons are paired. The term 'singlet' originally meant a linked set of particles whose net angular momentum is zero, that is, whose overall spin quantum number s=0. A ...
, meaning that the sum of the spin on the two electrons is zero. These electrons are fired off at time t_1 towards two
spacelike In physics, spacetime is a mathematical model that combines the three dimensions of space and one dimension of time into a single four-dimensional manifold. Spacetime diagrams can be used to visualize relativistic effects, such as why differen ...
separated observers,
Alice and Bob Alice and Bob are fictional characters commonly used as placeholders in discussions about cryptographic systems and protocols, and in other science and engineering literature where there are several participants in a thought experiment. The Al ...
, who can perform spin measurements, which they do at time t_2. The fact that the two electrons are a singlet means that if Alice measures z-spin up on her electron, Bob will measure z-spin down on his, and ''vice versa'': the correlation is perfect. If Alice measures z-axis spin, and Bob measures the orthogonal y-axis spin, however, the correlation will be zero. Intermediate angles give intermediate correlations in a way that, on careful analysis, proves inconsistent with the idea that each particle has a definite, independent probability of producing the observed measurements (the correlations violate Bell's inequality). This subtle dependence of one measurement on the other holds even when measurements are made simultaneously and a great distance apart, which gives the appearance of a
superluminal communication Superluminal communication is a hypothetical process in which information is sent at faster-than-light (FTL) speeds. The current scientific consensus is that faster-than-light communication is not possible, and to date it has not been achieved in ...
taking place between the two electrons. Put simply, how can Bob's electron "know" what Alice measured on hers, so that it can adjust its own behavior accordingly?


Relational solution

In RQM, an interaction between a system and an observer is necessary for the system to have clearly defined properties relative to that observer. Since the two measurement events take place at spacelike separation, they do not lie in the
intersection In mathematics, the intersection of two or more objects is another object consisting of everything that is contained in all of the objects simultaneously. For example, in Euclidean geometry, when two lines in a plane are not parallel, thei ...
of Alice's and Bob's
light cone In special and general relativity, a light cone (or "null cone") is the path that a flash of light, emanating from a single event (localized to a single point in space and a single moment in time) and traveling in all directions, would take thro ...
s. Indeed, there is ''no'' observer who can instantaneously measure both electrons' spin. The key to the RQM analysis is to remember that the results obtained on each "wing" of the experiment only become determinate for a given observer once that observer has interacted with the ''other'' observer involved. As far as Alice is concerned, the specific results obtained on Bob's wing of the experiment are indeterminate for her, although she will know ''that'' Bob has a definite result. In order to find out what result Bob has, she has to interact with him at some time t_3 in their future light cones, through ordinary classical information channels. The question then becomes one of whether the expected correlations in results will appear: will the two particles behave in accordance with the laws of quantum mechanics? Let us denote by M_A(\alpha) the idea that the observer A (Alice) measures the state of the system \alpha (Alice's particle). So, at time t_2, Alice knows the value of M_A(\alpha): the spin of her particle, relative to herself. But, since the particles are in a singlet state, she knows that :M_A(\alpha)+M_A(\beta)=0 , and so if she measures her particle's spin to be \sigma, she can predict that Bob's particle (\beta) will have spin -\sigma. All this follows from standard quantum mechanics, and there is no "spooky action at a distance" yet. From the "coherence-operator" discussed above, Alice also knows that if at t_3 she measures Bob's particle and then measures Bob (that is asks him what result he got) or ''vice versa'' the results will be consistent: :M_A(B)=M_A(\beta) Finally, if a third observer (Charles, say) comes along and measures Alice, Bob, ''and'' their respective particles, he will find that everyone still agrees, because his own "coherence-operator" demands that :M_C(A)=M_C(\alpha) and M_C(B)=M_C(\beta) while knowledge that the particles were in a singlet state tells him that :M_C(\alpha)+M_C(\beta) = 0. Thus the relational interpretation, by shedding the notion of an "absolute state" of the system, allows for an analysis of the EPR paradox which neither violates traditional locality constraints, nor implies superluminal information transfer, since we can assume that all observers are moving at comfortable sub-light velocities. And, most importantly, the results of every observer are in full accordance with those expected by conventional quantum mechanics. Whether or not this account of locality is successful has been a matter of debate.


Derivation

A promising feature of this interpretation is that RQM offers the possibility of being derived from a small number of axioms, or postulates based on
experimental An experiment is a procedure carried out to support or refute a hypothesis, or determine the efficacy or likelihood of something previously untried. Experiments provide insight into cause-and-effect by demonstrating what outcome occurs when a ...
observations. Rovelli's derivation of RQM uses three fundamental postulates. However, it has been suggested that it may be possible to reformulate the third postulate into a weaker statement, or possibly even do away with it altogether. The derivation of RQM parallels, to a large extent,
quantum logic In the mathematical study of logic and the physical analysis of quantum foundations, quantum logic is a set of rules for manipulation of propositions inspired by the structure of quantum theory. The field takes as its starting point an observ ...
. The first two postulates are motivated entirely by experimental results, while the third postulate, although it accords perfectly with what we have discovered experimentally, is introduced as a means of recovering the full Hilbert space formalism of quantum mechanics from the other two postulates. The two empirical postulates are: *Postulate 1: there is a maximum amount of relevant information that may be obtained from a quantum system. *Postulate 2: it is always possible to obtain new information from a system. We let W\left(S\right) denote the set of all possible questions that may be "asked" of a quantum system, which we shall denote by Q_i, i \in W. We may experimentally find certain relations between these questions: \left\, corresponding to respectively, where Q_1 \bot Q_2 \equiv Q_1 \supset \neg Q_2 .


Structure

From the first postulate, it follows that we may choose a subset Q_c^ of N mutually independent questions, where N is the number of bits contained in the maximum amount of information. We call such a question Q_c^ a ''complete question''. The value of Q_c^ can be expressed as an
N-tuple In mathematics, a tuple is a finite ordered list (sequence) of elements. An -tuple is a sequence (or ordered list) of elements, where is a non-negative integer. There is only one 0-tuple, referred to as ''the empty tuple''. An -tuple is defi ...
sequence In mathematics, a sequence is an enumerated collection of objects in which repetitions are allowed and order matters. Like a set, it contains members (also called ''elements'', or ''terms''). The number of elements (possibly infinite) is called ...
of binary valued numerals, which has 2^N = k possible
permutations In mathematics, a permutation of a set is, loosely speaking, an arrangement of its members into a sequence or linear order, or if the set is already ordered, a rearrangement of its elements. The word "permutation" also refers to the act or p ...
of "0" and "1" values. There will also be more than one possible complete question. If we further assume that the relations \left\ are defined for all Q_i, then W\left(S\right) is an
orthomodular lattice In the mathematical discipline of order theory, a complemented lattice is a bounded lattice (with least element 0 and greatest element 1), in which every element ''a'' has a complement, i.e. an element ''b'' satisfying ''a'' ∨ ''b''&nb ...
, while all the possible unions of sets of complete questions form a
Boolean algebra In mathematics and mathematical logic, Boolean algebra is a branch of algebra. It differs from elementary algebra in two ways. First, the values of the variables are the truth values ''true'' and ''false'', usually denoted 1 and 0, whereas i ...
with the Q_c^ as atoms. The second postulate governs the event of further questions being asked by an observer O_1 of a system S, when O_1 already has a full complement of information on the system (an answer to a complete question). We denote by p\left(Q, Q_c^\right) the probability that a "yes" answer to a question Q will follow the complete question Q_c^. If Q is independent of Q_c^, then p=0.5, or it might be fully determined by Q_c^, in which case p=1. There is also a range of intermediate possibilities, and this case is examined below. If the question that O_1 wants to ask the system is another complete question, Q_b^, the probability p^=p\left(Q_b^, Q_c^\right) of a "yes" answer has certain constraints upon it: :1. 0 \leq p^ \leq 1, \ :2. \sum_ p^ = 1, \ :3. \sum_ p^ = 1. \ The three constraints above are inspired by the most basic of properties of probabilities, and are satisfied if :p^ = \left, U^\^2, where U^ is a
unitary matrix In linear algebra, a complex square matrix is unitary if its conjugate transpose is also its inverse, that is, if U^* U = UU^* = UU^ = I, where is the identity matrix. In physics, especially in quantum mechanics, the conjugate transpose is ...
. *Postulate 3 If b and c are two complete questions, then the unitary matrix U_ associated with their probability described above satisfies the equality U_ = U_U_, for all b, c and d. This third postulate implies that if we set a complete question , Q^_c \rangle as a
basis vector In mathematics, a set of vectors in a vector space is called a basis if every element of may be written in a unique way as a finite linear combination of elements of . The coefficients of this linear combination are referred to as components ...
in a
complex Hilbert space In mathematics, Hilbert spaces (named after David Hilbert) allow generalizing the methods of linear algebra and calculus from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise naturally ...
, we may then represent any other question , Q^_b \rangle as a linear combination: :, Q^_b \rangle = \sum_i U^_ , Q^_c \rangle. And the conventional probability rule of quantum mechanics states that if two sets of basis vectors are in the relation above, then the probability p^ is :p^ = , \langle Q^_c , Q^_b \rangle, ^2 = , U_^, ^2.


Dynamics

The
Heisenberg picture In physics, the Heisenberg picture (also called the Heisenberg representation) is a formulation (largely due to Werner Heisenberg in 1925) of quantum mechanics in which the operators (observables and others) incorporate a dependency on time, but ...
of time evolution accords most easily with RQM. Questions may be labelled by a time parameter t \rightarrow Q(t), and are regarded as distinct if they are specified by the same operator but are performed at different times. Because time evolution is a
symmetry Symmetry (from grc, συμμετρία "agreement in dimensions, due proportion, arrangement") in everyday language refers to a sense of harmonious and beautiful proportion and balance. In mathematics, "symmetry" has a more precise definiti ...
in the theory (it forms a necessary part of the full formal derivation of the theory from the postulates), the set of all possible questions at time t_2 is
isomorphic In mathematics, an isomorphism is a structure-preserving mapping between two structures of the same type that can be reversed by an inverse mapping. Two mathematical structures are isomorphic if an isomorphism exists between them. The word i ...
to the set of all possible questions at time t_1. It follows, by standard arguments in
quantum logic In the mathematical study of logic and the physical analysis of quantum foundations, quantum logic is a set of rules for manipulation of propositions inspired by the structure of quantum theory. The field takes as its starting point an observ ...
, from the derivation above that the orthomodular lattice W(S) has the structure of the set of
linear subspace In mathematics, and more specifically in linear algebra, a linear subspace, also known as a vector subspaceThe term ''linear subspace'' is sometimes used for referring to flats and affine subspaces. In the case of vector spaces over the reals, l ...
s of a Hilbert space, with the relations between the questions corresponding to the relations between linear subspaces. It follows that there must be a
unitary transformation In mathematics, a unitary transformation is a transformation that preserves the inner product: the inner product of two vectors before the transformation is equal to their inner product after the transformation. Formal definition More precisely, ...
U \left( t_2 - t_1 \right) that satisfies: :Q(t_2) = U \left( t_2 - t_1 \right) Q(t_1) U^ \left( t_2 - t_1 \right) and :U \left( t_2 - t_1 \right) = \exp() where H is the Hamiltonian, a
self-adjoint operator In mathematics, a self-adjoint operator on an infinite-dimensional complex vector space ''V'' with inner product \langle\cdot,\cdot\rangle (equivalently, a Hermitian operator in the finite-dimensional case) is a linear map ''A'' (from ''V'' to its ...
on the Hilbert space and the unitary matrices are an
abelian group In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is comm ...
.


Problems and discussion

The question is whether RQM denies any objective reality, or otherwise stated: ''there is only a subjectively knowable reality.'' Rovelli limits the scope of this claim by stating that RQM relates to the variables of a physical system and not to constant, intrinsic properties, such as the mass and charge of an electron. Indeed, mechanics in general only predicts the behavior of a physical system under various conditions. In classical mechanics this behavior is mathematically represented in a
phase space In dynamical system theory, a phase space is a space in which all possible states of a system are represented, with each possible state corresponding to one unique point in the phase space. For mechanical systems, the phase space usuall ...
with certain degrees of freedom; in quantum mechanics this is a
state space A state space is the set of all possible configurations of a system. It is a useful abstraction for reasoning about the behavior of a given system and is widely used in the fields of artificial intelligence and game theory. For instance, the to ...
, mathematically represented as a multidimensional complex Hilbert space, in which the dimensions correspond to the above variables. Dorato,M.Dorato: ''Rovelli’s Relational Quantum Mechanics, Anti-Monism, and Quantum Becoming'' (2016), https://arxiv.org/abs/1309.0132 however, argues that all intrinsic properties of a physical system, including mass and charge, are only knowable in a subjective interaction between the observer and the physical system. The unspoken thought behind this is that intrinsic properties are essentially quantum mechanical properties as well.


See also

*
Coherence (physics) In physics, two wave sources are coherent if their frequency and waveform are identical. Coherence is an ideal property of waves that enables stationary (i.e., temporally or spatially constant) interference. It contains several distinct concep ...
*
Measurement in quantum mechanics In quantum physics, a measurement is the testing or manipulation of a physical system to yield a numerical result. The predictions that quantum physics makes are in general probabilistic. The mathematical tools for making predictions about what m ...
*
Measurement problem In quantum mechanics, the measurement problem is the problem of how, or whether, wave function collapse occurs. The inability to observe such a collapse directly has given rise to different interpretations of quantum mechanics and poses a key s ...
*
Philosophy of information The philosophy of information (PI) is a branch of philosophy that studies topics relevant to information processing, representational system and consciousness, cognitive science, computer science, information science and information technology. ...
*
Philosophy of physics In philosophy, philosophy of physics deals with conceptual and interpretational issues in modern physics, many of which overlap with research done by certain kinds of theoretical physicists. Philosophy of physics can be broadly divided into thr ...
*
Quantum decoherence Quantum decoherence is the loss of quantum coherence. In quantum mechanics, particles such as electrons are described by a wave function, a mathematical representation of the quantum state of a system; a probabilistic interpretation of the w ...
*
Quantum entanglement Quantum entanglement is the phenomenon that occurs when a group of particles are generated, interact, or share spatial proximity in a way such that the quantum state of each particle of the group cannot be described independently of the state of ...
*
Quantum information Quantum information is the information of the state of a quantum system. It is the basic entity of study in quantum information theory, and can be manipulated using quantum information processing techniques. Quantum information refers to both ...
*
Quantum Zeno effect The quantum Zeno effect (also known as the Turing paradox) is a feature of quantum-mechanical systems allowing a particle's time evolution to be slowed down by measuring it frequently enough with respect to some chosen measurement setting. Somet ...
*
Schrödinger's cat In quantum mechanics, Schrödinger's cat is a thought experiment that illustrates a paradox of quantum superposition. In the thought experiment, a hypothetical cat may be considered simultaneously both alive and dead, while it is unobserved in ...


Notes


References

* Bitbol, M.: "An analysis of the Einstein–Podolsky–Rosen correlations in terms of events"; ''Physics Letters'' 96A, 1983: 66–70. * Crane, L.: "Clock and Is Quantum Gravity Algebraic?"; ''Journal of Mathematical Physics'' 36; 1993: 6180–6193; . * Everett, H.: "The Theory of the Universal Wavefunction"; Princeton University Doctoral Dissertation; in DeWitt, B.S. & Graham, R.N. (eds.): "The Many-Worlds Interpretation of Quantum Mechanics"; Princeton University Press; 1973. * Finkelstein, D.R.: "Quantum Relativity: A Synthesis of the Ideas of Einstein and Heisenberg"; Springer-Verlag; 1996. * Floridi, L.: "Informational Realism"; Computers and Philosophy 2003 - Selected Papers from the Computer and Philosophy conference (CAP 2003), ''Conferences in Research and Practice in Information Technology'', '37', 2004, edited by J. Weckert. and Y. Al-Saggaf, ACS, pp. 7–12

* Laudisa, F.: "The EPR Argument in a Relational Interpretation of Quantum Mechanics"; ''Foundations of Physics Letters'', 14 (2); 2001: pp. 119–132; . * Laudisa, F. & Rovelli, C.: "Relational Quantum Mechanics"; ''The Stanford Encyclopedia of Philosophy (Fall 2005 Edition)'', Edward N. Zalta (ed.)
online article
* Pienaar, L.: "Comment on 'The Notion of Locality in Relational Quantum Mechanics'"; ''Foundations of Physics'' 49 2019; 1404–1414; . * Rovelli, C.: '' Helgoland (book), Helgoland''; Adelphi; 2020; English translation 2021 ''Helgoland: Making Sense of the Quantum Revolution''. * Rovelli, C. & Smerlak, M.: "Relational EPR"; Preprint: . * Rovelli, C.: "Relational Quantum Mechanics"; ''International Journal of Theoretical Physics'' 35; 1996: 1637-1678; . * Smolin, L.: "The Bekenstein Bound, Topological Quantum Field Theory and Pluralistic Quantum Field Theory"; Preprint: . * Wheeler, J. A.: "Information, physics, quantum: The search for links"; in Zurek,W., ed.: "Complexity, Entropy and the Physics of Information"; pp. 3–28; Addison-Wesley; 1990.


External links


Relational Quantum Mechanics
''The Stanford Encyclopedia of Philosophy'' (revised edition, 2019) * {{DEFAULTSORT:Relational Quantum Mechanics Interpretations of quantum mechanics Quantum measurement