Schopenhauer and the Geometry of Evil

Gottfried_Wilhelm_von_LeibnizAt the beginning of the 18th century, Gottfried Leibniz took a break from quarreling with Isaac Newton over which of them had invented calculus to confront a more formidable adversary, Evil.  His landmark 1710 book Théodicée argued that, as creatures of an omnipotent and benevolent God, we live in the best of all possible worlds.  Earthquakes and wars, he said, are compatible with God’s benevolence because they may lead to beneficial consequences in ways we don’t understand.  Moreover, for us as individuals, having the freedom to make bad decisions challenges us to learn from our mistakes and improve our moral characters.

In 1844 another philosopher, Arthur Schopenhauer, came to the opposite conclusion, Schopenhauerthat we live in the worst of all possible worlds.  By this he meant not just a world is full of calamity and suffering, but one that in many respects, both human and natural, functions so badly that if it were only a little worse it could not continue to exist at all.   An atheist, Schopenhauer felt no need to defend God’s benevolence, and could turn his full attention to the mechanics and indeed (though not a mathematician) the geometry of badness.  He argued that if the world’s continued existence depends on many continuous variables such as temperature, composition of the atmosphere, etc., each of which must be within a narrow range, then almost all possible worlds will be just barely possible, lying near the periphery of the possible region.  Here, in his own words, is his refutation of Leibniz’ optimism.
 

To return, then to Leibniz, I cannot ascribe to the Théodicée as a methodical and broad unfolding of optimism, any other merit than this, that it gave occasion later for the immortal “Candide” of the great Voltaire; whereby certainly Leibniz s often-repeated and lame excuse for the evil of the world, that the bad sometimes brings about the good, received a confirmation which was unexpected by him…  But indeed to the palpably sophistical proofs of Leibniz that this is the best of all possible worlds, we may seriously and honestly oppose the proof that it is the worst of all possible worlds. For possible means, not what one may construct in imagination, but what can actually exist and continue. Now this world is so arranged as to be able to maintain itself with great difficulty; but if it were a little worse, it could no longer maintain itself. Consequently a worse world, since it could not continue to exist, is absolutely impossible: thus this world itself is the worst of all possible worlds. For not only if the planets were to run their heads together, but even if any one of the actually appearing perturbations of their course, instead of being gradually balanced by others, continued to increase, the world would soon reach its end. Astronomers know upon what accidental circumstances principally the irrational relation to each other of the periods of revolution this depends, and have carefully calculated that it will always go on well; consequently the world also can continue and go on. We will hope that, although Newton was of an opposite opinion, they have not miscalculated, and consequently that the mechanical perpetual motion realised in such a planetary system will not also, like the rest, ultimately come to a standstill. Again, under the firm crust of the planet dwell the powerful forces of nature which, as soon as some accident affords them free play, must necessarily destroy that crust, with everything living upon it, as has already taken place at least three times upon our planet, and will probably take place oftener still. The earthquake of Lisbon, the earthquake of Haiti, the destruction of Pompeii, are only small, playful hints of what is possible. A small alteration of the atmosphere, which cannot even be chemically proved, causes cholera, yellow fever, black death, &c., which carry off millions of men; a somewhat greater alteration would extinguish all life. A very moderate increase of heat would dry up all the rivers and springs. The brutes have received just barely so much in the way of organs and powers as enables them to procure with the greatest exertion sustenance for their own lives and food for their offspring; therefore if a brute loses a limb, or even the full use of one, it must generally perish. Even of the human race, powerful as are the weapons it possesses in understanding and reason, nine-tenths live in constant conflict with want, always balancing themselves with difficulty and effort upon the brink of destruction. Thus throughout, as for the continuance of the whole, so also for that of each individual being the conditions are barely and scantily given, but nothing over. The individual life is a ceaseless battle for existence itself; while at every step destruction threatens it. Just because this threat is so often fulfilled provision had to be made, by means of the enormous excess of the germs, that the destruction of the individuals should not involve that of the species, for which alone nature really cares. The world is therefore as bad as it possibly can be if it is to continue to be at all. Q. E. D.  The fossils of the entirely different kinds of animal species which formerly inhabited the planet afford us, as a proof of our calculation, the records of worlds the continuance of which was no longer possible, and which consequently were somewhat worse than the worst of possible worlds.* 

Writing at a time when diseases were thought to be caused by poisonous vapors, and when “germ” meant not a pathogen but a seed or embryo, Schopenhauer hints at Darwin and Wallace’s natural selection.  But more importantly, as Alejandro Jenkins pointed out,  Schopenhauer’s distinction between possible and impossible worlds may be the first adequate statement of what in the 20th century came to be called the weak anthropic principle, the thesis that our perspective on the universe is unavoidably biased toward conditions hospitable to the existence and maintenance of complex structures. His examples of orbital instability and lethal atmospheric changes show that by an “impossible” world he meant one that might continue to exist physically, but would extinguish beings able to witness its existence.

In Schopenhauer’s time only seven planets were known, so, given all the ways things might go wrong, and barring divine assistance, it would have required incredible good luck for even one of them to be habitable.  Thus Schopenhauer’s principle, as it might better be called, was less satisfactory as an answer to the problem of existence than to the problem of evil.  The belief that such extreme good luck is less plausible than deliberate creation by some sort of intelligent agent, encapsulated by Schopenhauer’s contemporary William Paley in his  watchmaker analogy, remains popular today, but its cogency has been greatly diminished by two centuries of progress in astronomy.  In place of Schopenhauer’s seven, the universe is now believed to contain about as many planets as there are atoms in a pencil.  And that’s just the observable part, within a Hubble distance of the earth; inflationary cosmology implies that there are many more beyond our cosmological horizon, perhaps infinitely many.  In such a vast universe,  it is no longer surprising that some places should be habitable.  In this setting Schopenhauer’s principle leads to a situation that is locally precarious but globally stable, lying between Leibniz’ unrealistic optimum and what would be a true pessimum, a globally dead universe with no life, civilization, etc. anywhere.  To paraphrase Schopenhauer, modern astronomy has revealed an enormous excess of habitable places, mostly just barely habitable, so that the extinction of life in one does not entail extinction of life in the universe, for which alone nature really cares.

Returning to Schopenhauer’s  refutation of  Leibniz’s optimism, his  qualitative verbal reasoning can easily be recast in terms of high-dimensional geometry.  Let the goodness g  of a possible world   X   be approximated to lowest order as

g(X) = 1-q(X),

where  q  is a positive definite quadratic form in the d-dimensional real variable X. Possible worlds correspond to  X  values where   g  is positive, lying under a paraboloidal cap centered on the optimum,   g(0)=1,  with negative values of   representing impossible worlds.  Leaving out the impossible worlds, simple integration, of the sort Leibniz invented, shows that the average of  g  over possible worlds is  1-d/(d+2).   So if there is one variable, the average world is 2/3 as good as the best possible, while if there are 198 variables the average world is only 1% as good.  Thus, in the limit of many dimensions, the average world approaches  g=0,  the worst possible.   More general versions of this idea can be developed using post-18’th century mathematical tools like Lipschitz continuity.

Earthquakes are an oft-cited  example of senseless evil, hard to fit into a beneficent divine plan, but today we understand them as impersonal consequences of slow convection in the Earth’s mantle, which in turn is driven by the heat of its molten iron core.  Another consequence of the Earth’s molten core is its magnetic field, which deflects solar wind particles and keeps them from blowing away our atmosphere.   Lacking this protection, Mars lost most of its formerly dense atmosphere long ago.

One of my adult children, a surgeon, went to Haiti in 2010 to treat victims of the great earthquake and has returned regularly since. Opiate painkillers, he says, are in short supply there even in normal times, so patients routinely deal with post-operative pain by singing hymns until the pain abates naturally.  When I told him of the connection between earthquakes and atmospheres, he said, “So I’m supposed to tell this guy who just had his leg amputated that he should be grateful for earthquakes because otherwise there wouldn’t be any air to breathe?   No wonder people find scientific explanations less than comforting.”   A few weeks later he added that he was beginning to find such explanations comforting after all, because they show how things can go wrong in the natural world without its being anyone’s fault.  One of his favorite writers, Johnathan Haidt, believes this also holds in human affairs, where some of the most irrational and self-destructive aspects of human nature, traits that if we’re not lucky could make human civilization short-lived on a geologic time scale, may be side effects of other traits that enabled it to reach its present state.

[This version revised April 2017]


*From R.B. Haldane and J. Kemp’s translation of Schopenhauer’s “Die Welt als Wille und Vorstellung”,  supplement to the 4th book  pp 395-397  On the vanity and suffering of life.
Cf German original, pp. 2222-2227 of  Von der Nichtigkeit und dem Leiden des Lebens

Quantum braiding: It’s all in (and on) your head.

Morning sunlight illuminated John Preskill’s lecture notes about Caltech’s quantum-computation course, Ph 219. I’m TAing (the teaching assistant for) Ph 219. I previewed lecture material one sun-kissed Sunday.

Pasadena sunlight spilled through my window. So did the howling of a dog that’s deepened my appreciation for Billy Collins’s poem “Another reason why I don’t keep a gun in the house.” My desk space warmed up, and I unbuttoned my jacket. I underlined a phrase, braided my hair so my neck could cool, and flipped a page.

I flipped back. The phrase concerned a mathematical statement called the Yang-Baxter relation. A sunbeam had winked on in my mind: The Yang-Baxter relation described my hair.

The Yang-Baxter relation belongs to a branch of math called topology. Topology resembles geometry in its focus on shapes. Topologists study spheres, doughnuts, knots, and braids.

Topology describes some quantum physics. Scientists are harnessing this physics to build quantum computers. Alexei Kitaev largely dreamed up the harness. Alexei, a Caltech professor, is teaching Ph 219 this spring.1 His computational scheme works like this.

We can encode information in radio signals, in letters printed on a page, in the pursing of one’s lips as one passes a howling dog’s owner, and in quantum particles. Imagine three particles on a tabletop.

Peas 1

Consider pushing the particles around like peas on a dinner plate. You could push peas 1 and 2 until they swapped places. The swap represents a computation, in Alexei’s scheme.2

The diagram below shows how the peas move. Imagine slicing the figure into horizontal strips. Each strip would show one instant in time. Letting time run amounts to following the diagram from bottom to top.

Peas 2

Arrows copied from John Preskill’s lecture notes. Peas added by the author.

Imagine swapping peas 1 and 3.

Peas 3

Humor me with one more swap, an interchange of 2 and 3.

Peas 4

Congratulations! You’ve modeled a significant quantum computation. You’ve also braided particles.

2 braids

The author models a quantum computation.

Let’s recap: You began with peas 1, 2, and 3. You swapped 1 with 2, then 1 with 3, and then 2 with 3. The peas end up ordered oppositely the way they began—end up ordered as 3, 2, 1.

You could, instead, morph 1-2-3 into 3-2-1 via a different sequence of swaps. That sequence, or braid, appears below.

Peas 5

Congratulations! You’ve begun proving the Yang-Baxter relation. You’ve shown that  each braid turns 1-2-3 into 3-2-1.

The relation states also that 1-2-3 is topologically equivalent to 3-2-1: Imagine standing atop pea 2 during the 1-2-3 braiding. You’d see peas 1 and 3 circle around you counterclockwise. You’d see the same circling if you stood atop pea 2 during the 3-2-1 braiding.

That Sunday morning, I looked at John’s swap diagrams. I looked at the hair draped over my left shoulder. I looked at John’s swap diagrams.

“Yang-Baxter relation” might sound, to nonspecialists, like a mouthful of tweed. It might sound like a sneeze in a musty library. But an eight-year-old could grasp half the relation. When I braid my hair, I pass my left hand over the back of my neck. Then, I pass my right hand over. But I could have passed the right hand first, then the left. The braid would have ended the same way. The braidings would look identical to a beetle hiding atop what had begun as the middle hunk of hair.

Yang-Baxter

The Yang-Baxter relation.

I tried to keep reading John’s lecture notes, but the analogy mushroomed. Imagine spinning one pea atop the table.

Pea 6

A 360° rotation returns the pea to its initial orientation. You can’t distinguish the pea’s final state from its first. But a quantum particle’s state can change during a 360° rotation. Physicists illustrate such rotations with corkscrews.

Pachos corkscrew 2

A quantum corkscrew (“twisted worldribbon,” in technical jargon)

Like the corkscrews formed as I twirled my hair around a finger. I hadn’t realized that I was fidgeting till I found John’s analysis.

Version 2

I gave up on his lecture notes as the analogy sprouted legs.

I’ve never mastered the fishtail braid. What computation might it represent? What about the French braid? You begin French-braiding by selecting a clump of hair. You add strands to the clump while braiding. The addition brings to mind particles created (and annihilated) during a topological quantum computation.

Ancient Greek statues wear elaborate hairstyles, replete with braids and twists.  Could you decode a Greek hairdo? Might it represent the first 18 digits in pi? How long an algorithm could you run on Rapunzel’s hair?

Call me one bobby pin short of a bun. But shouldn’t a scientist find inspiration in every fiber of nature? The sunlight spilling through a window illuminates no less than the hair spilling over a shoulder. What grows on a quantum physicist’s head informs what grows in it.

1Alexei and John trade off on teaching Ph 219. Alexei recommends the notes that John wrote while teaching in previous years.

2When your mother ordered you to quit playing with your food, you could have objected, “I’m modeling computations!”

PR-boxes in Minecraft

As an undergraduate student at RWTH Aachen University, I asked Prof. Barbara Terhal to supervise my bachelor thesis. She told me about qCraft and asked whether I could implement PR-boxes in Minecraft. PR-boxes are named after their inventors Sandu Popescu and Daniel Rohrlich and have a rather simple behavior. Two parties, let’s call them Alice and Bob, find themselves at two different locations. They each have a box in which they can provide an input bit. And as soon as one of them has done this, he/she can obtain an output bit. The outcomes of the boxes are correlated and satisfy the following condition: If both input bits are 1, the output bits will be different, each 0 or 1 with probability 1/2. If at least one of the input bits is 0, the output bits will be the same, 0 or 1 with probability 1/2. Thus, input bits x and y, and output bits a and b of the PR-box satisfy x AND y = a⊕b, where ⊕ denotes addition modulo two. Neither Alice nor Bob can learn anything about the other one’s input from his/her input and output. This means that Alice and Bob cannot use the PR-boxes to signal to each other.

The motivation for PR-boxes arose from the Clauser-Horne-Shimony-Holt (CHSH) inequality. This Bell-like inequality bounds the correlation that can exist between two remote, non-signaling, classical systems described by local hidden variable theories. Experiments have now convincingly shown that quantum entanglement cannot be explained by local hidden variable theories. Furthermore, the CHSH inequality provides a method to distinguish quantum systems from super-quantum correlations. The correlation between the outputs of the PR-box goes beyond any quantum entanglement. If Alice and Bob were to share an entangled state they could only realize the correlation of the PR-box with probability at most cos²(π/8). PR-boxes are therefore, as far as we know, not physically realizable.

But PR-boxes would have impressive consequences. One of the most remarkable was shown by Wim van Dam in his Oxford PhD thesis in 1999. He proved that two parties can use these PR-boxes to compute any Boolean function f(x,y) of Alice´s input bit string x and Bob´s input bit string y, with only one bit of communication. This is fascinating due to the non-signaling condition fulfilled by PR-boxes. For instance, Alice and Bob could compare their two bit strings x and y of arbitrary length and compute whether or not they are the same. Using classical or quantum systems, one can show that there are lower bounds for the number of bits that need to be communicated between Alice and Bob, which grow with the length of the input bit strings. If Alice and Bob share PR-boxes, they only need sufficiently many PR-boxes (unfortunately, for arbitrary Boolean functions this number grows exponentially) and either Alice or Bob only has to send one bit to the other party. Another application is one-out-of-two oblivious transfer. In this scenario, Alice provides two bits and Bob can choose which of them he wants to know. Ideally, Alice does not learn which bit Bob has chosen and Bob does not learn anything about the other bit. One can use a PR-box to obtain this ideal behavior.

An exciting question for theorists is: why does nature allow for quantum correlations and entanglement but not for super-quantum correlations such as the PR-box? Is there a general physical principle at play? Research on PR-boxes could unveil such principle and explain why PR-boxes are not physically realizable but quantum entanglement is.

prboxAfter

But now in the Minecraft world PR-boxes are physically realized! I have built a modification that includes these non-local boxes as an extension of the qCraft modification. Each PR-box is divided into two blocks in order to give the two parties the possibility of spatially partitioning the inputs and outputs. The inputs and outputs are provided by using the in-built Redstone system. This works pretty much like building electrical circuits. The normal PR-boxes function similar as measurements on quantum mechanical states. An input is provided and the corresponding random output is obtained by energizing a block (like measuring the quantum state). This can only be done once. Afterwards, the output is maintained throughout the game. To avoid laborious redistribution and replacement after each usage, I have introduced a timed version of the PR-box in Minecraft. To get a better idea of what this all looks like, visit this demo video.

PR-boxes are interesting in particular in multiplayer scenarios since there are two parties needed to use them appropriately. For example, these new elements could be used to create multiplayer dungeons where the players have to communicate using only a small number of bits or provide a combined password to deactivate a trap. The timed PR-box may be used as a component of a Minecraft computer to simplify circuits using the compatibility with clocks.

I hope that you will try this modification and show how they can enhance gameplay in Minecraft! This mod as well as my thesis can be downloaded here. For me it was much fun to go from the first ideas how to realize PR-boxes in Minecraft to this final implementation. Just as qCraft, this is a playful way of exploring theoretical physics.