Before computer models, quantitative science was limited to the simplest systems, those that could be described by a few equations and for which the equations happened to have analytic solutions*. This led to distortions of science. Since science is a very human endeavor, practicing scientists behaved like the drunk looking for his keys under the lamppost. We spent all our time on the systems of equations that we could solve (by hand, on paper), and this led to the illusion that the tiny corner of nature we were able to illuminate in this way was representative of the rest. It wasn\u2019t.<\/p>\n
An example close to my work is the\u00a0selfish gene theory<\/a>, based on the model introduced by R. A. Fisher in the 1920s. Fisher proposed the first quantitative theory of Darwinian selection, which became ensconced as a standard in evolutionary theory, called \u201cPopulation Genetics\u201d or the \u201cNew Synthesis\u201d (the latter referring to a synthesis of Darwin\u2019s selection with Mendel\u2019s genetics). Fisher\u2019s theory painted a highly distorted picture of the way nature works, because it predicted that only selfishness, and not cooperation, has any selective value.<\/p>\n For decades, Fisher\u2019s model was mistaken for reality. The best and brightest of evolutionary theorists, notably\u00a0John Maynard Smith<\/a>\u00a0and\u00a0George Williams<\/a>, argued that selfish strategies were much more efficient and more rapid than cooperative strategies, so cooperation could never evolve. But their argument was based only on theory, and neglected the diverse and ubiquitous examples of cooperation that we see in nature. Worse, they took Fisher\u2019s simple model as being the one true theory of how evolution works. They argued that his mathematics constituted a rigorous proof that natural selection would almost never prefer cooperation to selfishness.<\/p>\n Computer technology advanced. In 1975, the\u00a0first computer models of evolutionary ecology<\/a>\u00a0were feasible, but only in the 21st century did they became common. (This is a literature to which I personally contributed,\u00a0beginning in 2000<\/a>.)\u00a0 There is now abundant computational support for understanding how cooperation has become a prevalent theme of behavioral ecology.<\/p>\n Computer Models yield to ??<\/strong><\/p>\n My punch line is this: Computer models also have their limitations<\/em><\/strong>, and just as 20th Century science was looking for solutions under the lamppost of algebraic formulas that they could write down, 21st Century science is currently limited by the lamppost of computer models. The problem is that the two most fundamental theories in science, Quantum Mechanics and General Relativity, are so absurdly complex in their general cases, that they cannot be modeled by present-day computers, nor by any computer we can now conceive.<\/p>\n General Relativity<\/strong><\/p>\n Einstein\u2019s GR equation describes how matter\/energy bends space in its vicinity. It is usually written in this form:<\/p>\n It doesn\u2019t look so complicated, but that is because the notation masks an unfathomable amount of computation. The left side is the curvature of space. G is a curvature tensor and the subscripts \u03bc and \u03bd represent 3 dimensions of space and one of time. So G\u03bc\u03bd represents a tensor of 16 numbers, but worse than this it can only be computed by first computing the full curvature tensor, G\u03bc\u03bd\u03c3\u03bb<\/sub>. The second term on the left represents a constant curvature everywhere in space, corresponding to dark energy, which (according to current theory and observations), is important on the largest scales in the universe.<\/p>\n The term on the right is a constant, 8\u03c0G\/c4<\/sup>, times another tensor that represents mass, energy and momentum, wherever they appear in space.<\/p>\n How to use these 16 equations? If we\u2019re used to classical physics from Newton\u2019s equations, we might think in terms of starting with the distribution of matter that we know (the right side), then computing the field (on the left side) and from the field, computing how the matter will change its motion (accelerate), affecting the future position, which we might feed back into the right side. This, in practice, is the way dynamic computer models are constructed. But in GR, there is only this one equation, describing both how matter\/energy produces fields and how fields govern the movement of matter\/energy. We can\u2019t use one side to solve for the other, but must search for self-consistent solutions.<\/p>\n There are mathematical techniques for finding such solutions, but the catch-22 of the GR equation is that there are so many interlocked equations. The full 64 components of the curvature tensor are needed to determine how matter responds, so the simple appearance of this equation is illusory. In the general case, one must solve 64 linked non-linear partial differential equations in 64 unknowns. No computer in the foreseeable future could tackle this problem.<\/p>\n Currently, there is a science of computational relativity. People are generating solutions to Einstein\u2019s field equations, but only for the simplest cases where there is either extreme symmetry or weak fields. If the fields are weak, Einstein\u2019s complicated equations reduce to Newton\u2019s simple ones. If there is extreme symmetry, the 64 linked equations can be reduced to one or two.<\/p>\n The standard way to compute models of the universe based on the Big Bang assumes that the universe is perfectly homogeneous. Everything is the same everywhere, and it is only the expansion (and consequent dilution) through time that must be computed.<\/p>\n Ever since 1917 when Einstein first published these field equations, cosmologists have been computing models of the universe based on the assumption that everything is the same everywhere. For awhile, it appeared that these models were able to explain astronomical observations in general, including the abundance of different elements and the 3 degree blackbody background. But in the last 25 years, there has been an unfolding crisis in cosmology, as it became clear that theory and observations don\u2019t match. The standard kluge has been to introduce \u201cdark energy\u201d and \u201cdark matter\u201d into the model, even though no one has ever observed either, and we have no idea what they might be. The situation is not satisfying. Worse than this, there is mounting observational evidence<\/a> in recent years that the universe is not homogeneous. We may take comfort from the fact that this means there is no mismatch, no requirement for dark matter or dark energy. Or we may despair that we don\u2019t know how to compute anything in cosmology once we face the full complexity of Einstein\u2019s 64 linked, non-linear partial differential equations in 64 unknowns. (That\u2019s the situation when we give up the idea that the universe is homogeneous.)<\/p>\n Quantum Mechanics<\/strong><\/p>\n Quantum mechanics presents equations that are even more intractable than Einstein\u2019s field equations. Mathematicians haven\u2019t a clue how to approach them.<\/p>\n The issue is that, in QM, the equation for N separate particles cannot be separated into N separate equations. It is this separation that allows us to compute solutions to classical Newtonian equations for many particles.<\/p>\n Technically: In the Newtonian case, we typically start with positions and velocities of N particles at some initial time. We use the positions of the particles to compute fields (gravitational, electric, etc) and use the fields to compute the change in velocities for all N particles. Then we recreate the system a small time \u0394t later by moving the particles according to their respective velocities and updating their velocities according to the computed accelerations. Using this technique, we can calculate the motion of any system of N particles, and it takes N2<\/sup>\u00a0times as long as if we had just one particle to calculate.<\/p>\n The reason we can\u2019t do this in QM is because of entanglement. You\u2019ve heard that word\u2014it\u2019s the way that everything in QM is connected to everything else. In QM, not only are the particles\u2019 motions mutually interdependent (which is the kind of mathematical issue we ran into in GR), but we can no longer even think in terms of N wave functions evolving in 3-space. QM dictates that we have to describe a \u201cconfiguration\u201d or a situation, comprising all N particles. Our wave function is a single function that lives in a 3N-dimensional space.<\/p>\n This is a disaster for computing how a system evolves whenever N gets large. Typically, we might want to map a wave function in space by dividing space into 1,000 small units in each dimension. So a single particle wave function requires us to map a function on a grid 1,000*1,000*1,000 pixels. That\u2019s not bad at all \u2014 today\u2019s computers can easily manipulate 1 billion values. But for N=2, there are a billion billion (1018<\/sup>) values to keep track of and follow and update. That is on the edge of what can be done with today\u2019s computers, using tricks to simplify the problem. And N=3 particles, with 1027<\/sup> moving parts is beyond possibility. A gigaflops computer (1012<\/sup> operations per second) would need about a million years to calculate each \u0394t. And N=4 particles is utterly hopeless. For reference, a single water molecule has N=10 electrons, and a typical biomolecule has several thousand electrons.<\/p>\n (Technical note: The first particle is free. Two particles really corresponds to N=1, since there is a mathematical trick by which all motions can be related to the center of mass. This means that quantum physicists can compute in detail a 2-particle collision with relative ease. All the computations of what particles come out of a particle accelerator come in this category. But a 3-particle situation (for example, a He atom or a molecule of H2<\/sub>) becomes a billion times harder, and that is today\u2019s state-of-the-art. We can\u2019t compute the wave function for anything more complicated.)<\/p>\n In practice, quantum mechanical calculations are limited to very small numbers of particles or large systems where all the particles are doing the same thing. In a laser, there is one wave function for many trillions of photons, or more. In solid state physics, there are various tricks and approximations used, all based on separating (approximately) the wave functions for each electron. QM computations involving molecules are not performed from first principles, but based on measured properties of the molecules, together with even cruder approximations.<\/p>\n Applications<\/strong><\/p>\n This is why we don\u2019t have a predictive science of chemical or biological systems, not even an idea about how to build one. Quantum teleportation of macroscopic objects would require measuring and codifying a ridiculous number of quantum parameters, even if there were no entanglement and it could be done with separate particles. Since particles are entangled, this idea is a non-starter. Similarly, the idea of \u201cuploading our brain state to a computer\u201d can only make sense to someone who doesn\u2019t understand entanglement**. (Perhaps these people imagine that a biological cell can be understood in terms of bulk chemistry, rather than a wave state of 1017<\/sup> entangled molecules.)<\/p>\n Most ridiculous is the speculation that\u00a0we live in a simulation<\/a>. As I showed above, full simulation of a water molecule is utterly intractable. Only people who don\u2019t understand this can talk about simulation of a planet or a universe.<\/p>\n Quantum computers to the rescue?<\/strong><\/p>\n Quantum systems move forward in time by computing their future from their present far more efficiently than a computer can. At present, we know only how to solve a few types of problems on a quantum computer. But if ever we figure out how to build a general-purpose quantum computer, the absolute limit is that it will be able to simulate a system no faster than the system \u201csimulates itself\u201d. In other words, full quantum simulations will always be slower than simply doing an experiment on a quantum system, and watching how it evolves over time.<\/p>\n I\u2019m an optimist<\/strong><\/p>\n I savor the mystery of questions that are beyond our present science. I don\u2019t give up pushing the limits. The more thought we put into these difficult problems, the deeper is our sense of wonder when contemplating the questions that are beyond our science. Even our failures offer uplifting messages.<\/p>\n But I don\u2019t cast Science in the role of Sysiphus, who must find consolation in an eternity of failure. I do believe that new understandings will come about concerning fundamental issues like the large-scale structure of the Universe and the relationship between mind and brain. But these new understandings will not come from better and faster computers, or from incremental advances in science. Science will need conceptual frameworks that are outside anything we now imagine.<\/p>\n \u2014\u2014\u2014\u2014\u2014\u2014\u2014\u2014\u2014<\/p>\n * An \u201canalytic solution\u201d simply means a formula that can be written as a combination of familiar functions, like y=x2<\/sup>, or f(x,y,z) = sin(x)*e-3y<\/sup> + \u221az.\u00a0 You might think that\u00a0any<\/em><\/strong>\u00a0function could be written as a combination like this, and you would be wrong. There is indeed an infinity of such functions, but there is a much larger infinity of functions that have no representation like this in terms of familiar primitives.<\/p>\n ** From my perspective, another problem with “uploading my brain state” is that I don’t believe that the brain creates consciousness. I believe mind is a non-physical entity, and that \u00a0\u201cconsciousness is the ground of all being\u201d [Amit Goswami<\/a>]. William James (1898<\/a>) articulated this position with his usual clarity.<\/p>\n","protected":false},"excerpt":{"rendered":"![\"\"](\"https:\/\/scienceblog.com\/wp-content\/uploads\/sites\/7\/2021\/11\/EinsteinEquations-300x77.png\")
<\/p>\n![\"large-scale](\"http:\/\/www.daviddarling.info\/images\/large-scale_structure.jpg\")
<\/p>\n![\"Gott](\"https:\/\/imagine.gsfc.nasa.gov\/features\/cosmic\/images\/gottjuric_t.jpg\")
<\/p>\n![](\"https:\/\/cdn.mos.cms.futurecdn.net\/jeQtzcKvCbdKpCkd4FTHdg-320-80.jpg\")
<\/p>\n![\"Computer](\"https:\/\/images.ctfassets.net\/cnu0m8re1exe\/783jW9TKovtP5vc9NMeicL\/26f9a7f5a24b4b2289642ef125644a0a\/Screen_Shot_2020-08-28_at_2.06.11_PM.png?fm=jpg&fl=progressive&w=660&h=433&fit=fill\")
<\/p>\n