Please login first
Cuts, Qubits, and Information
1  University of Bologna, Italy

Abstract:

In his search for the ‘essence’ of continuity, Richard Dedekind (1872) discovered the notion of cut. Epistemologically speaking, a cut produces a separation of a simply infinite system into two parts (Stücke) such that all the elements of one part are screened off all the elements of the other. The distinct continuity of a two-state quantum system is encapsulated in the notion of qubit, the basic ‘unit’ of quantum information. A qubit secures an infinite amount of information, which, however, appears to be only penetrable through ‘sections’ of classical bits. Whereas Dedekind’s cuts dwell on the discrete of number theory, the theory of nature is primarily concerned with continuous transformations. In contrast with Dedekind’s line of thought, could the notion of information be derived from a ‘principle’ of continuity? 

1. The ‘Phenomenon’ of the Cut

Dedekind’s main concern was to clean the science of numbers from foreign notions, such as measurable quantities or geometrical evidence. Hence, the real challenge was to extract a purely arithmetic and perfectly rigorous definition of the essence of continuity from the discrete of rational numbers.

The vexata quaestio of “continuity and irrational numbers” originated with the Pythagorean discovery of incommensurable ratios. In the eyes of Pythagoreans, however, it was the divergence between the harmony of geometrical forms and the “atomism” of numbers to be disturbing. The early Pythagoreans “did not really distinguish numbers from geometrical dots. Geometrically, then, a number was an extended point or a very small sphere” (Kline 1972: 29). By contrast, in Dedekind’s view, “numbers are free creations of the human mind; they serve as a means of apprehending more easily and more sharply the difference of things” (1888: 791).

Amazingly, Dedekind extracted the essence of continuity from cuts. Considering that every point produces a separation of the straight line into two parts such that every point of one part lies to the left of every point of the other, Dedekind recognized the special character of continuity in the converse, i.e. in the following principle:

  • If all points of the straight line fall into two classes such that every point of the first class (Klasse) [A1] lies to the left of every point of the second class [A2], then there exists one and only one point which produces this division of all points into two classes, this severing of the straight line into two portions. (Dedekind 1872: 771)

What is precisely determined is primarily the division itself [1]. Hence, whenever we have a cut (A1, A2) produced by no rational number, we can create a new number, an irrational number, which we regard as completely defined by this cut (Dedekind 1872: 773). So the system of real numbers is obtained by filling up the gaps in the domain of rational numbers and making it continuous; “taking the object that fills each gap to be essentially the gap itself” (Stillwell 2010).

Dedekind’s notion of ‘cut’ raises distinguishability on to a higher level – from (integer) numbers to classes, from elements to properties – taking into account not solely the relations of one individual number to another, but also the relations between (infinite) sets of elements. As Dedekind emphasized, if “one regards the irrational number as the ratio of two measurable quantities,” then this manner of determining it is already set forth in the clearest possible way by Euclid. But a presentation “in which the phenomenon of the cut in its logical purity is not even mentioned, has no similarity whatever to mine, inasmuch as it resorts at once to the existence of a measurable quantity, a notion which (...) I wholly reject” (Dedekind 1888: 794).

2. From Atoms to Qubits

While Dedekind’s axiom of continuity guarantees the logical purity of real numbers, physics needs measurable quantities to unravel the continuity of nature into elements. It is noteworthy that the Pythagorean arithmetical atomism as well as the Democritean physical atomism were stuck on ‘continuity.’ Since the harmony of (natural) forms ought to be expressed by (whole) numbers, there was no way to fill the gap between the finite and the infinite. If the discovery of incommensurable ratios meant the departure of geometric constructions from arithmetic operations, Zeno’s paradoxes made it clear that motion is not attainable by summing up an infinite series of discrete states.

It is a great achievement of quantum theory to have read the divide between measurable quantities and continuous transformations as a dialectic contrast and to have made it the source of physical meaning.

 2.1.  Ghost fields

Interestingly, a ‘quantum Zeno effect’ was first noticed by John von Neumann (1932): a sequence of measurements frequently performed on a quantum system can slow down or even halt the evolution of the state. As a consequence of the quantum Zeno effect, in a classical interference experiment [2], when a photon emerging from a Mach-Zehder interferometer informs that a ‘which-path’ measurement was set on its way, the probability that no measurement was actually performed (i.e., no photon-observer interaction took place) could be stretched to the limit of 1.

The debate on the impact of ‘null-result’ measurements on the behaviour of quantum systems or, more generally, on the nature of quantum interference urged the search for a more ‘sensible’ description of physical reality. It is well known that Einstein, Podolsky, Rosen’s celebrated essay (1936) was supposed to highlight the conflict between the completeness of the quantum physical description of physical reality and Heisenberg’s uncertainty relations, but in fact it drew attention to a form of ‘non-locality’ underlying quantum physics. When measurements are performed on certain pairs of particles, the values of the same physical quantity for the two separated particles appear instantly correlated. Seemingly, the failing attempts to find a reasonably ‘realistic’ (via experiment) explanation of quantum interference effects led Einstein to coin the term ‘ghost fields’ (Gespensterfelder ) for quantum waves.

2.2.  Perspectives on distinguishability

Rather than questioning non-locality, quantum correlations enlighten a notion of non-separability, called ‘entanglement.’ As Schrödinger (1935) observed, two quantum systems interact in a way such that only the properties of the pair are defined. Consider for instance the spin components. Although any individual particle holds a set of well-defined values, once two particles get entangled in a pair, the spin of one particle and that of the other go in the same direction or in opposite directions; ‘being the same’ or ‘being opposed’ are clearly properties concerning two objects. Accordingly, quantum theory forges pure relational properties, which do not work for individual systems.

As for a measurement on a single particle, it also involves a correlation be- tween two ‘subjects’: the system and the observer. Any physical system numbers a set of characteristic ‘potential’ features. To become ‘temporarily real’ (observable ), any of these features is bound to a feasible system-observer interaction. In this perspective, any measurement brings about a special ‘relational property’ of the pair (cf. Rovelli 1996). To the extent that measurement can be viewed as an interaction where a certain perspective on one observable determines the distinct value to be ascribed to the observable, it requires to refine the very notion of ‘distinguishability.’ In order to satisfy this requirement, quantum theory introduces complex probability amplitudes, which size the angular separation between alternative possibilities and must be squared to generate probabilities.

Thus, the classical tenet that measurement unveils a property of the system must be revised. It is wrong to attribute a feature to a quantum system until a measurement has brought it to a close by an act of irreversible amplification (cf. Wheeler 1982).

2.3.  TheElementary Quantum Phenomenon”

“One who comes from an older time and is accustomed to the picture of the universe as a machine built out of ‘atoms’ is not only baffled but put off when he reads [...] Leibniz’s conception of the ultimate building unit, the monad” (Wheeler 1982: 560). What Leibniz wrote about the “monad”, Wheeler observed, is more relevant to what he called “quantum phenomenon” than to any- thing one has ever called an ‘atom’. The very word ‘phenomenon’, according to Wheeler, is the result of a long lasting debate between Bohr and Einstein about the logical self-consistency of quantum theory and its implications for reality : “No elementary phenomenon is a phenomenon until it is a registered (observed) phenomenon.” But Leibniz’s monad has neither extension, nor shape, hence it is not observable.

A monad is a simple substance and a unity of perceptions. As a unity of perceptions, it contains the whole universe. As a simple substance, it is not a ‘tangible’ thing, but rather the ‘perceiving faculty’ itself. Indeed perception performs the inner constant change, and also, as a function of correlation, enables monads to express each other:

  • This interconnection or accommodation of all created things to each other, and each to all the others, brings it about that each simple substance has relations that express all the others, and consequently, that each simple substance is a perpetual living mirror of the universe. (Monadology 56; Leibniz 1989)

How to draw ‘meaningful’ perceptions – i.e., natural phenomena – from an impenetrable faculty of perceiving, from the infinite unity of each monad? More than to the ‘quantum phenomenon’, the characteristic features of the monad apply to the qubit.

Like a monad, a qubit, which is the basic unit of quantum information theory, involves an infinite multitude. As a two-state quantum system, it can be prepared in a coherent superposition of two distinguishable states. It follows that there is no way to extract information from qubits other than by measuring them with ‘yes-no’ questions.

3. The Essence of Information

In the ‘artificial’ construction of a theoretical model – be it the Euclidean geometry or the universal computer – one starts with distinct elements and ponders how to achieve the connecting structure. In the attempt to figure out the intelligence of nature, one starts with the structure and tries to analyze it into elements.   At its heart, stands the ultimate inner principle of ‘existence’: a principle of metamorphosis.

Reversing the Euclidean perspective, in his search for a general geometric characteristic, Leibniz pursued the ‘inner principle’ of geometry:

  • Imagine taking two points in space, hence conceiving the indeterminate straight line through them; one thing is that each point is regarded individually as single, another thing is that both are regarded as simultaneously existing; besides the two points, something else is needed for seeing them as co-existent in their respective positions. When we consider one of the two points as if we took its position and looked at the other (point), what the mind determines is called direction. (Leibniz 1995: 278)

Time enters geometry and generates the concept of space: “Space is the continuity in the ‘order of co-existence’ according to which, given the co-existence relation in the present and the law of changes (lege mutationis ), the co-existence relation in any given time can be defined.”

For Leibniz, the whole universe is encapsulated in every monad from the very beginning, and the simple substance of monad coincides with the continuity principle of the disclosure of itself. Therefore, every monad must be also endowed with an original faculty of representing, which makes it able to match the variety of phenomena. To deliver ‘information’ about the universe, perceptions must become observable in the guise of phenomena.

Now, like a straight line, each perception needs two co-existent elements to be determined by an external observer. Thus, all measurable quantities (i.e., the basic constituents of physics) must come into existence as pairs. This imposes one constraint on natural phenomena: given the infinity of perceptions, the number of natural elements must be the logarithm to the base two of that infinity. In this sense, Pythagoras correctly drew the geometry of nature from whole numbers. On the other hand, Leibniz insightfully saw the infinite multitude of natural forms as related to the different points of view of each monad.

In Leibniz’s world, however, there is no conflict between the continuity of the simple substance and the distinguishability of perceptions, because each monad is a “living mirror of the universe.” By contrast, in the (quantum) physical world, distinct points of view influence the spectral decomposition itself. The ‘substance’ of nature is captured by a unitary transformation, but physical knowledge rests upon cross-ratios between distinct perceptions. Thus, the essence of information springs from correlations.

References

  • R. Dedekind (1872), Continuity and Irrational Numbers, (Ewald 1996: 765-779)
  • R. Dedekind (1888), Was sind und was sollen die Zahlen, (Ewald 1996: 790-833)
  • A. Einstein, B. Podolski, N. Rosen (1935), Can Quantum Mechanical Description of Physical Reality Be Considered Complete?, Physical Review, 47: 777-780.
  • W. Ewald (ed.) (1996) From Kant to Hilbert: A source book in the foundations of mathematics. Vol. 2 (Oxford Univ. Press, Oxford)
  • M. Kline (1972) Mathematical Thought from Ancient to Modern Times. Vol.   1 (Oxford University Press, Oxford)
  • W. Leibniz (1989) Philosophical Essays, eds. Ariew, R. and Garber, D. (Hackett Publishing Company, Indianapolis & Cambridge)
  • W. Leibniz (1995) La caractétistique géométrique, eds. Echeverría, J. and Parmentier, M. (Librairie philosophique J. Vrin, Paris)
  • C. Rovelli (1996), Relational Quantum Mechanics, Int. J. Theor. Phys., 35: 1637-1678
  • E. Schördinger (1935), Die gegenwrtige Situation in der Quantenmechanik, Naturwissenschaften, 23: 807-812.
  • J. Stillwell (2010) Roads to Infinity. (A. K. Peters, Natick, MA)
  • J. von Neumann (1932) Mathematische Grundlagen der Quantenmechanik. (Springer, Berlin)
  • J. A. Wheeler (1982), The Computer and the Universe, Int. J. Theor. Phys., 21: 557-572

Notes

[1] Any separation of the domain of rational numbers into two classes, A1 and A2 , such that every number of one class is less than every number of the other, defines a real number.

[2] Think of photons set going through a Mach-Zehnder interferometer. After encountering the first beam-splitter each photon can choose between two mutually exclusive paths to reach the second beam-splitter.

Keywords: Continuity, cuts, perception, correlations
Top