## New Research In

### Physical Sciences

### Social Sciences

#### Featured Portals

#### Articles by Topic

### Biological Sciences

#### Featured Portals

#### Articles by Topic

- Agricultural Sciences
- Anthropology
- Applied Biological Sciences
- Biochemistry
- Biophysics and Computational Biology
- Cell Biology
- Developmental Biology
- Ecology
- Environmental Sciences
- Evolution
- Genetics
- Immunology and Inflammation
- Medical Sciences
- Microbiology
- Neuroscience
- Pharmacology
- Physiology
- Plant Biology
- Population Biology
- Psychological and Cognitive Sciences
- Sustainability Science
- Systems Biology

# Completely top–down hierarchical structure in quantum mechanics

Contributed by Yakir Aharonov, September 11, 2018 (sent for review May 2, 2018; reviewed by Paul C. W. Davies and Leonard Susskind)

## Significance

We provide quantitative evidence for the strong emergence of correlations within pre- and postselected quantum systems. These correlations are robust and can be verified by either weak or strong (projective) measurements. They give rise to intriguing effects within many-body quantum systems. Our analysis supports a top–down structure in quantum mechanics according to which higher-order correlations can always determine lower-order ones, but not vice versa.

## Abstract

Can a large system be fully characterized using its subsystems via inductive reasoning? Is it possible to completely reduce the behavior of a complex system to the behavior of its simplest “atoms”? In this paper we answer these questions in the negative for a specific class of systems and measurements. After a general introduction of the topic, we present the main idea with a simple two-particle example, where strong correlations arise between two apparently empty boxes. This leads to surprising effects within atomic and electromagnetic systems. A general construction based on pre- and postselected ensembles is then suggested, wherein the N-body correlation can be genuinely perceived as a global property, as long as one is limited to performing measurements which we term “strictly local.” We conclude that under certain boundary conditions, higher-order correlations within quantum mechanical systems can determine lower-order ones, but not vice versa. Surprisingly, the lower-order correlations provide no information whatsoever regarding the higher-order correlations. This supports a top–down structure in many-body quantum mechanics.

An old dispute between reductionism and emergence questions whether the behavior of a large, complex system can be reduced to the behavior of its individual parts (1⇓⇓⇓⇓–6). We introduce a category of physical effects which fundamentally impact this issue.

While there are many definitions of emergence, we are reluctant to opine on such interpretational–philosophical issues, and, indeed, such discussions are not necessary to prove the existence of the type of physical effects proposed here. Nevertheless, the connection between our results and the existing literature is more than just semantic; we believe it may help to guide intuitions in this area of research and thereby potentially lead to further multidisciplinary discourse (7).

It is, however, useful to distinguish between weak and strong emergence (5). In a nutshell, weak emergence implies that while one may not be able to determine the behavior of the whole from the behavior of the parts, one does not challenge the basic assumption that emergent phenomena are at least in principle reducible to the more fundamental microphysics. Weakly emergent properties are said to be composed of (or supervenient upon) the lower-level properties.

In contrast, theories of strong emergence assert that there are new emergent properties which cannot in principle be reduced to or derived from any of the lower-level constituents and, in particular, cannot be reduced to the fundamental microphysical properties. Some theories of strong emergence propose the existence of downward or top–down causation, i.e., that the strongly emergent properties, which exist only at a higher level of complexity (i.e., the whole), have causal efficacy over the lower level of complexity (i.e., the parts).

However, this speculative introduction of fundamentally new arrows of causation creates overdetermined situations, as well as causal efficacies arising from different levels of complexity which may conflict with each other. For example (Fig. 1), the usual bottom–up causal efficacy of physics (part-to-whole) might tell a conglomerate of particles (at an intermediate level of complexity) to move right while the top–down (whole-to-part) causal efficacy radiating down from a higher level of complexity might tell the same conglomerate of particles to move in the opposite direction, to the left. Such arguments are often referred to as the “causal closure of the physical” or as the exclusion argument (8). These arguments apparently ruled out all claims of top–down causation up to that point in time (ref. 9, p. 11):

All of the evidence today suggests that strong emergence is scientifically irrelevant... There is no evidence that strong emergence plays any role in contemporary science... Strong emergence starts where scientific explanation ends.

## Fusion Emergence

Subsequently, the attempt to get around this overdetermination inherent to strong emergence was proposed by Humphreys (10) and is known as “fusion emergence.” The idea is that properties which exist at a lower level can fuse together and create new, “emergent” properties at a higher level of complexity. During fusion, the lower-level properties (i.e., the parts which fuse together) cease to exist. Fusion thus has a number of consequences: (*i*) The whole can no longer be reduced to the parts (since the parts no longer exist after fusion); (*ii*) the overdetermination argument is eliminated, i.e., the new top–down causal efficacy of the “whole” can no longer be in conflict with the causal efficacy of the original lower-level properties which radiate their causal efficacy in the usual bottom–up fashion; and finally (*iii*) the new emergent properties can now have causal efficacy over the parts.

A number of problems with fusion emergence were identified (ref. 11, p. 361): (*i*) Fusion emergence denies “the copresence of their lower-level correlates, which is empirically implausible” and (*ii*) even if it could be made plausible, a “basal loss” occurs during the fusion process (since the parts cease to exist) and this interferes with the structural integrity of the whole system.

Humphreys replied that one could apportion the parts in a delicate balance so that some fuse and some retain their identity as individual parts to maintain the structural integrity of the whole. Manafu (ref. 12, pp. 225 and 226) replied that Humphreys’ “division of labor between properties may be an ad hoc response to the problem of basal loss if we do not have independent justification for why the dichotomy between properties that can undergo fusion and those that cannot should overlap with the dichotomy between the properties that are not essential in the functioning of the system and those that are."

Humphreys responded (ref. 13, pp. 7, 82) that a “core example of fusion emergence” is the covalent bond: When a water molecule is created by “fusing” two hydrogen atoms and one oxygen atom, electrons are shared between the atoms and hybrid (i.e., covalent) bonds are created. Humphreys argued that as a result of the formation of the covalent bond, the molecule could not be reduced to a collection of individual atoms. Kronz and Tiehen (ref. 14, p. 345) previously argued that the best-known example of fusion emergence is when the two electrons participating in a covalent bond become quantum entangled: The new whole which emerges has “contemporaneous parts” that “cannot be characterized independently from their respective wholes.”

Manafu (12) identified several problems with Humphreys’ covalent bond example. The atoms exist at a particular level of complexity (call it level “

In addition, we emphasize another limitation for any analysis of wholes described by ensembles of entangled systems: All properties of such wholes can always be fully analyzed by performing separate local measurements on each part along with the correlations between the parts.

We now proceed to address all of the above issues with the introduction of our family of physical phenomena.

## New Effects: Pre- and Postselection, Weak Values

In the following, we provide simple yet fundamental arguments in favor of top–down logic and top–down causal efficacy by introducing families of pre- and postselected ensembles. Consider a conceptual example with three particles and three boxes. With appropriate preselection, postselection, and measurement during the time after the preselection and before the postselection (below), we observe the following properties: No individual particle is found in any individual box, no two particles are found in any two of the boxes, and no correlations are found between any two of the boxes. However, when we measure the correlation between all three boxes, we nevertheless find surprising, strong correlations. We could not use the one-particle or two-particle information to deduce the properties of the three-particle correlation. However, with the information of the three-particle correlation, we can now, in a top–down fashion, deduce the one- and two-particle properties and correlations.

These phenomena are completely general. We introduce states of N particles exhibiting such phenomena. We show that we obtain null results for measurements of local properties for any subpart of the full N-particle system. In addition, we show that we obtain null results for any lower-order correlations (i.e.,

which is measured weakly (21, 22) in the time between pre- and postselection. When the measured operator is dichotomic, i.e., having only two eigenvalues, and the weak value happens to be equal to one of these two eigenvalues, then we can conclude with certainty that, had we measured it strongly (projectively), we would have found the same outcome (23). That is, in this special case which is discussed throughout this paper, the weak and the “strong” values coincide. Therefore, although we discuss weak values throughout this paper, the results are quite general and can be experimentally verified by either strong (i.e., projective) measurements or weak measurements.

One question of interest regarding the two state is whether it can be inferred by using local tomography based on projective measurements. As shown in ref. 24, this task is possible when discussing preselected ensembles, but not when discussing pre- and postselected ensembles. In the latter case, a larger set of Kraus operators is needed. These results were derived for single particles, but can be easily generalized to multipartite scenarios. Therefore, broadly speaking, local projective operators are not sensitive to subtle multipartite correlations within pre- and postselected ensembles.

We are interested in a smaller set of operators, namely, those allowing “strictly local” projective measurements. By this we mean that the measurement is applied not only to a single particle but also to a single position of this particle. For instance, if the system is composed of two particles, each superposed within two different boxes, then a strictly local measurement would project on a single-particle observable localized within one of the boxes. In light of ref. 24, we know that full tomography of the two state is impossible using this set of measurements. But our aim here is different. We want to find out to what extent can higher-order multipartite correlations be inferred when using both strictly local measurements and the lower-order correlations between them. This gives rise to the phenomena explored below.

In the following, we first analyze a simple case of deductive reasoning within two-particle systems. Thereafter, we further demonstrate this whole-to-part reasoning with the aid of more effects. We then generalize this top–down structure to the N-particle case when correlations seem to emerge only when calculated at the level of the system as a whole.

## Two-Particle Systems

We begin with a simple illustration of a truly emergent correlation (Fig. 2). Consider a two-particle system, where each of the particles can be located in one of two boxes, corresponding to the states

During intermediate times t (where “intermediate” means after the preselection and before the postselection, **1**, these are*a* and *b*), and hence we deduce that particle 1 was in the right-hand box of the first pair of boxes and that particle 2 was in the right-hand box of the second pair of boxes. In addition to the external electromagnetic fields, the same is true for any other local property of the particles that we can measure within both of these two left-hand boxes (e.g., the gravitational field, etc.). Moreover, since projection operators are dichotomic, the null results of the existence of the particles in the left-hand boxes can also be verified with certainty by using a “strong” (i.e., projective) measurement. The particles will be found with certainty in the right-hand boxes:*c*)**4**). Nevertheless, we will always find a surprising correlation between the two “empty” left-hand boxes (Eq. **6**). While this construction resembles Hardy’s thought experiment (15, 25, 26), we plan to use it here for a very different purpose (27). In particular, we generalize this scenario to the many-body case and claim it is an example of a completely top–down logical structure in quantum mechanics.

One can also calculate the weak values of the other three correlations between the boxes:

The nonlocal (multipartite) weak values in Eqs. **6** and **7** can be used to determine the local (single-particle) weak values of Eqs. **4** and **5**, but only by using a top–down approach, i.e., by first knowing the properties of the whole:**4** and **5**) is not sufficient to determine the two-particle correlations (i.e., Eq. **6**). Pursuant to our previous discussions, this violates the compositional principle of reductionism and is in conflict with the usual bottom–up approach. This suggests a true top–down logical structure in quantum mechanics, in cases where the experimenters are allowed only to perform strictly local projective measurements. We stress, however, that had we enlarged the set of possible operations, i.e., had we allowed each party to probe its two boxes simultaneously (which again can be a manifestly nonlocal measurement), they could have constructed the two state and could have revealed the subtle correlations between the boxes (24).

## Surprising Manifestations of Top–Down Structure

Let us imagine a hydrogen atom located either in box A or in box B. We further assume that its electron can occupy the ground state (*p*, and electron, *e*) as**14** and **15** would have suggested that the electron in box B is encircling nothing. To understand why the electron is in a bound state, we must take into account the observable which is the product of electron and proton. Hence we see the fundamental importance of correlations in determining the system’s behavior which goes far beyond the single-particle properties. This is also suggested by the derivation of single-particle weak values

## Electromagnetic Field Interference Pattern

Another result stemming from the above construction can be observed by assuming that the two particles have a charge. One can then measure weakly (from a large distance) the total electromagnetic energy density of the two left-hand boxes without disturbing the particles’ states (to accentuate the effect, suppose now that both left-hand boxes are spatially separated from the right-hand boxes). The energy density will be proportional to*i*th particle. However, once again, we note that since the left-hand boxes are empty, the first two contributions in Eq. **17** will be zero, and all of the energy will originate from the interference term **6**).

## The N-Body Scenario

The above example is, in fact, a special case selected from a broad family of pre- and postselected ensembles all giving rise to a completely top–down logical structure. In all these N-body systems, we will see that the 1-point function, the 2-point function, and all of the way up to the

Without loss of generality, consider one specific construction for these families of states: Let N spin-1/2 particles be prepared at time **18** describes N particles, each of which is superposed in two “boxes” (

At

During intermediate times t (

It turns out that weak measurements of correlations having the form

Another interesting case is

Using a different terminology, these results also suggest that one cannot perform a full tomography of the two state using only strictly local projective measurements (and, in fact, not even by using correlations between strictly local measurements involving

In the following sense, this top–down structure is very stable. First, modifying the relative phase between the terms in Eq. **19**, as well as the value of **20** (i.e., the emergence of high-order correlations). Therefore, even in the presence of noise or unsharp final projective measurement (and also if we insert modifications of the above kind in the postselected state), we would still expect a similar effect. Furthermore, if m particles are discarded during the course of the experiment (and thus are not included in the calculation of the various weak values), the top–down logical structure would still persist, and correlations will emerge at the

## Manifestations of Emergent Correlations

Let N photons be prepared in the state

Many additional thought experiments can be designed with Fock states: For instance, if we preselect*n*-fold product

## Discussion

We have seen that in a specific category of pre- and postselected ensembles composed of N particles, we obtain null results for measurements of local properties of any subpart of the full N-particle ensemble (i.e., properties of any subset containing

We emphasize that the cases discussed above are very different from those that could be achieved with classical random variables. With a set of N such random variables

The families of states introduced here thus strengthen a top–down deductive reasoning in many-body quantum mechanics. In addition, it may shed light on some other open problems regarding the foundations of quantum physics, known as the Oxford Questions (31), such as, “Does the classical world emerge from the quantum?”

## Acknowledgments

We thank Sandu Popescu for helpful comments and discussions. Y.A. and J.T. acknowledge support (in part) by the Fetzer Franklin Fund of the John E. Fetzer Memorial Trust. Y.A. also acknowledges support from the Israel Science Foundation (Grant 1311/14), Israeli Centers of Research Excellence (ICORE) Center “Circle of Light,” and the German–Israeli Project Cooperation (Deutsch–Israelische Projektkooperation, DIP). E.C. was supported by the Canada Research Chairs Program. This research was supported in part by Perimeter Institute for Theoretical Physics. Research at Perimeter Institute is supported by the Government of Canada through the Department of Innovation, Science and Economic Development and by the Province of Ontario through the Ministry of Research and Innovation.

## Footnotes

- ↵
^{1}To whom correspondence may be addressed. Email: yakir{at}post.tau.ac.il or eli17c{at}gmail.com.

Author contributions: Y.A., E.C., and J.T. designed research; Y.A., E.C., and J.T. performed research; and E.C. and J.T. wrote the paper.

Reviewers: P.C.D., Arizona State University; and L.S., Stanford University.

The authors declare no conflict of interest.

See Commentary on page 11661.

- Copyright © 2018 the Author(s). Published by PNAS.

This open access article is distributed under Creative Commons Attribution-NonCommercial-NoDerivatives License 4.0 (CC BY-NC-ND).

## References

- ↵.
- Weinberg S

- ↵.
- Anderson PW

- ↵.
- Laughlin RB,
- Pines D

- ↵.
- Walleczek J,
- Groessing G

- ↵.
- Davies PCW

*Complexity*10:11–15. - ↵.
- Ellis GFR,
- Noble D,
- O’Connor T

- ↵.
- Hoel E,
- Albantakis L,
- Tononi G

- ↵.
- Kim J

- ↵.
- Bedau M

- ↵.
- Humphreys P

- ↵.
- Wong H

- ↵.
- Manafu A

- ↵.
- Humphreys P

*Emergence*(Oxford Univ Press, Oxford), pp 7, 82. - ↵.
- Kronz F,
- Tiehen J

- ↵.
- Lundeen JS,
- Resch KJ,
- Steinberg AM

- ↵
- ↵.
- Aharonov Y,
- Bergmann PG,
- Lebowitz JL

- ↵.
- Aharonov Y,
- Vaidman L

- ↵.
- Aharonov Y,
- Popescu S,
- Tollaksen J

- ↵.
- Aharonov Y,
- Cohen E,
- Landsberger T

- ↵
- ↵
- ↵
- ↵.
- Silva R

- ↵
- ↵
- ↵.
- Tollaksen J

- ↵
- ↵.
- Brodutch A,
- Cohen E

- ↵.
- Landau A,
- Aharonov Y,
- Cohen E

- ↵.
- Briggs GAD,
- Butterfield JN,
- Zeilinger A

## See related content: