242

I do not remember precisely what the equations or who the relevant mathematicians and physicists were, but I recall being told the following story. I apologise in advance if I have misunderstood anything, or just have it plain wrong. The story is as follows.

A quantum physicist created some equations to model what we already know about sub-atomic particles. His equations and models are amazingly accurate, but they only seem to be able to hold true if a mysterious particle, currently unknown to humanity, exists.

More experiments are run and lo and behold, that 'mysterious particle' in actual fact exists! It was found to be a quark/dark-matter/anti-matter, or something of the sort.

What similar occurrences in history have occurred, where the mathematical model was so accurate/good, that it 'accidentally' led to the discovery of something previously unknown?

If you have an answer, could you please provide the specific equation(s), or the name of the equation(s), that directly led to this?

I can recall one other example.

Maxwell's equations predicted the existence of radio waves, which were then found by Hertz.

Trogdor
  • 9,762
  • 10
  • 28
  • 65
  • 25
    I think you're hinting at the Dirac equation, and how it predicted the existence of antimatter. – Workaholic Jun 01 '16 at 16:25
  • Gravitons were predicted theorically by Einstein, but they were detected only very recently. – ajotatxe Jun 01 '16 at 16:25
  • 7
    The Higgs Boson I think was predicted to exist long before it was (recently) experimentally found – Zubin Mukerjee Jun 01 '16 at 16:26
  • 23
    @ajotatxe Gravitons have been detected? You certain about that? – David C. Ullrich Jun 01 '16 at 16:34
  • 29
    @ajotatxe: You might be thinking of the recent experimental discovery of gravitational waves. Gravitational waves are a feature of general relativity; gravitons are a proposed particle responsible for mediating the gravitational interaction in quantum field theory. – anomaly Jun 01 '16 at 16:40
  • 6
    Anytime a mathematical model in science leads to a prediction about something previously unknown and unintended, and the thing is confirmed experimentally, one might say it is mathematics discovering something about the world accidentally. – jdods Jun 01 '16 at 16:44
  • 29
    I feel this is too broad. Most instances in, say, physics where "theory was ahead of experiment" could be construed to qualify. Of this there are many examples, plus it is not really a mathquestion. – quid Jun 01 '16 at 18:05
  • 6
    Another problem that applies is that the whole point of scientific theory is to be able to make accurate predictions. So examples where someone created a theory based on past observations that explained expanded future observations really shouldn't be considered answers in my opinion. Instead, it would be cases where something completely unexpected before the theory was found in the theory and later confirmed. Higgs and $\Omega^-$ qualify, as does light being electromagnetic. But electromagnetic radiation was discussed before Maxwell, though not understood. – Paul Sinclair Jun 01 '16 at 18:16
  • 2
    The story may be about the mathematical group called the Eight-Fold Way, which described the interactions and decays of a certain set of particles, except the group seemed to include another, unknown particle, which turned out to exist. – DanielWainfleet Jun 01 '16 at 18:18
  • 3
    An essay [The Unreasonable Effectiveness of Mathematics in the Natural Sciences](https://www.dartmouth.edu/~matc/MathDrama/reading/Wigner.html) may be of interest to you. – svavil Jun 02 '16 at 10:05
  • 20
    None of the examples illustrates the title, since in all cases it was (people doing) theoretical physics, not mathematics, that predicted things. Indeed mathematics cannot find out things about the real world, because the objects of mathematics are not in the real world. And it were not accidental discoveries either. – Marc van Leeuwen Jun 02 '16 at 14:24
  • The world wasn't flat. Earth wasn't the center of the solar system. Orbits of planets could be predicted mathematically. – Old_Fossil Jun 02 '16 at 16:23
  • @svavil - I've never agreed with that essay. If you examine the roots of what mathematics is, it becomes clear that what is unreasonable is the idea that it somehow would not be so effective. – Paul Sinclair Jun 02 '16 at 23:04
  • 1
    @resident_heretic, the fact that our planet is not flat was not predicted mathematically before it was observed by people, e.g., the shadow cast on the moon by the Earth had a curved edge, which suggested to ancients that we live on a sphere. Once we took the oceans, the fact that tall ships disappeared over the horizon from the bottom up also was consistent with this idea. – KCd Jun 03 '16 at 17:31
  • 1
    This should probably be moved to *history of science and math* http://hsm.stackexchange.com/ – Jasen Jun 05 '16 at 21:23
  • Your example was anything than accidental. Whoever generated such theory knew exactly that it requires another particle. That particle was not an accident. – Walter Jun 06 '16 at 21:20
  • 2
    I wonder if the OP doesn't really mean "**unexpected**" vs "accidental". The discovery of Neptune (see Stella's answer below) was not accidental but it was unexpected by Verrier when he started writing his equations. – O.M.Y. Jun 07 '16 at 06:12
  • Are you looking for works like that of Karl Weierstrass and his definition of a function graph (1872) 'having the property of being everywhere continuous but nowhere differentiable'? (I.e., a 'fractal'.) Surely there was no thought that such work would lead to practical modern cell phone antennas (Serpinski carpets) nor many of the uses of 'fractals' in many sciences. – user2338816 Jun 08 '16 at 09:05
  • Related: https://schneider.ncifcrf.gov/Hamming.unreasonable.html – Lucas Gallindo Jul 07 '16 at 15:30

26 Answers26

237

The planet Neptune's discovery was an example of something similar to this. It was known that Newtons's Equations gave the wrong description of the motion of Uranus and Mercury. Urbain Le Verrier sat down and tried to see what would happen if we assumed that the equations were right and the universe was wrong. He set up a complicated system of equations that incorporated a lot of ways contemporary knowledge of the universe could wrong, including the number of planets, the location and mass of the planets, and the presences of the forces other than gravity. He would eventually find a solution to the equations where the dominating error was the presence of another, as of yet undetected, planet. His equations gave the distance from the sun and the mass of the planet correctly, as well as enough detail about the planet's location in the sky that it was found with only an hour of searching.

Mercury's orbit's issues would eventually be solved by General Relativity.

Stella Biderman
  • 30,178
  • 6
  • 43
  • 86
  • 20
    There is a nice book of the history of both Neptune's discovery and the issue of Mercury's orbit. " In Search Of Planet Vulcan : The Ghost In Newton's Clockwork Universe", by Richard Baum and William Sheehan. Based all on primary sources, with extensive references and footnotes. Without General Relativity, it seemed that the tiny anomaly in Mercury's orbit implied another planet (Vulcan) even closer to the Sun. – DanielWainfleet Jun 01 '16 at 18:29
  • 11
    La Varrier actually turned his methods for finding Neptune towards finding the hypothetical planet Vulcan, and was convinced it existed even if he couldn't make the equations come out right. – Stella Biderman Jun 01 '16 at 18:37
  • Without Relativity there seemed to be no other plausible explanation. – DanielWainfleet Jun 01 '16 at 19:05
  • 17
    The Le Verrier (and Adams) story is an inspiring example of the power of theory, but there was nothing accidental about it. They brilliantly executed a complicated exercise that was, in principle, doable by methods of their time, and was expected to have a good chance of delivering an important result (with New Planet as the leading contender for what the result would be). – zyx Jun 02 '16 at 02:00
  • 11
    @zyx: as I read it, this example was “accidental” in the sense the question asks for — when Newton’s equations of motion were first formulated, and applied to celestial motion, they were not expected to predict a new planet. The calculations leading to the realisation that an extra “particle” is needed, and the calculations/experiments needed to find it, are of course not going to be accidental in any instance of this story. – Peter LeFanu Lumsdaine Jun 03 '16 at 09:43
  • There is evidence that Galileo (and others) observed Neptune before its "official" discovery - see https://en.wikipedia.org/wiki/Discovery_of_Neptune - Earlier observations – MikeW Jun 03 '16 at 10:21
  • The prevailing belief was that Newton's laws were a complete description of solar system, given enough observation data and computation. Therefore, errors in predicting a planet's motion were less likely to be evidence that the laws were wrong, and more likely to be from an unobserved large object perturbing the orbit, or imprecision in the observations. Fully accepting the Newton theory means finding as many planets as necessary to make observations consistent with theory, which worked beautifully for the outer planets. @PeterLeFanuLumsdaine – zyx Jun 03 '16 at 15:28
  • 2
    @zyx except people didn't think like that at the time. La Varrier's prediction of Neptune was the one of the first times someone had sat down and said "these equations must be right, so there must be something we are not aware of going on." – Stella Biderman Jun 03 '16 at 15:49
  • 6
    There were several people other than Adams and Le Verrier who had predicted a perturbation by a large object. Adams was convinced by the arguments and decided to try and do the calculations. The issue was whether enough observational data existed to show a genuine anomaly and pin down the orbital parameters of the object causing the anomaly. As you wrote, Le Verrier was convinced the same approach would work for Mercury even after he tried and failed with it. The idea that the Newtonian system was complete was rather powerful in those times especially after Laplace. @StellaBiderma – zyx Jun 03 '16 at 15:57
  • 1
    There was no accident in Neptune's prediction and discovery, but hard work! – Walter Jun 06 '16 at 21:21
  • @MarkViola I know someone from school named Mike Viola, so your profile briefly very much confused me. – Stella Biderman Sep 20 '17 at 14:37
  • Stella, you can find me on LinkedIn under the same name. ;-)) – Mark Viola Sep 20 '17 at 18:47
  • I've seen claims that Vermier's calculations were completely wrong and it was only accidental that the predictions were correct. – DWin Mar 27 '18 at 20:35
170

Here's a rather different example which came up recently (see the Journal of Recreational Mathematics):

A couple of mathematicians were studying juggling. They came up with a way to encode the 'ball catch' patterns as simple numeric sequences. Then they derived the sequences for all known juggling patterns, and inferred from them a set of rules governing which number sequences can be legal 'juggling' sequences and which cannot. Then they worked the rules backwards, and re-derived all the sequences that they had started with - plus one other. It then turned out that it is in fact possible to juggle according to that extra number sequence. In fact, one of the mathematicians described the resulting juggle motion as 'hauntingly beautiful'.

Think - just a little simple fiddling with numbers uncovered a way to juggle that had gone unnoticed for thousands of years.

Alex Ortiz
  • 18,901
  • 2
  • 29
  • 69
PMar
  • 1,639
  • 1
  • 7
  • 3
  • 20
    I like this answer, is there any way you could give a bit more info on the exact reference? I tried to find the paper with a bit of web searching, but could not. – pjs36 Jun 02 '16 at 19:22
  • 7
    http://qedcat.com/articles/juggling_survey.pdf is a paper google pops up talking about such number sequences, but I cannot spot the "new sequence" in it. – Yakk Jun 02 '16 at 19:41
  • 26
    this seems to be the paper in question.. http://archive.bridgesmathart.org/2012/bridges2012-33.pdf – TygerKrash Jun 03 '16 at 08:35
  • 4
    This was the one I was going to use. Well done for getting there first! I think it might be one of the few where it came from a directly from mathematics as opposed to using mathematics to discover something. – josh Jun 03 '16 at 11:24
  • 3
    Good find, @TygerKrash ! I saw that paper, but apparently wrote it off too quickly, thank you. – pjs36 Jun 03 '16 at 19:17
  • 14
    This reminds me of the list of 85 necktie knots, http://www.tcm.phy.cam.ac.uk/~tmf20/tieknots.shtml – Anton Sherwood Jun 03 '16 at 21:06
  • 20
    And here it is including slow-motion video https://youtu.be/71xgThS46bI – mattdm Jun 05 '16 at 09:29
  • There are **lots** of patterns (even with just three balls) that were unknown in the pre-siteswap era, not just **one**. But there is one which is more famous than the others, namely 441. – Hans Lundmark May 17 '17 at 07:31
  • 1
    Now there's a Numberphile clip (https://youtu.be/7dwgusHjA0Y) with Colin Wright (one of the 3 teams that independently were developing this around 1985, according to the article in @Yakk 's comment). – Lee David Chung Lin Oct 06 '17 at 15:20
99

Write down Maxwell's equations in a vacuum:

$$\nabla \cdot \vec{E}=0$$ $$\nabla \cdot \vec{B}=0$$ $$\nabla \times \vec{E}=-\frac{\partial \vec{B}}{\partial t}$$ $$\nabla \times \vec{B}=\mu_0\epsilon_0\frac{\partial \vec{E}}{\partial t}$$

Note the vector identity $\nabla\times(\nabla \times \vec{X})=\nabla(\nabla\cdot\vec{X})-\nabla^2\vec{X}$.

Apply this to the third and fourth equations to get:

$$\frac{\partial^2 \vec{E}}{\partial t^2}=\frac{1}{\mu_0 \epsilon_0}\nabla^2 \vec{E}$$ $$\frac{\partial^2 \vec{B}}{\partial t^2}=\frac{1}{\mu_0 \epsilon_0}\nabla^2 \vec{B}$$

That is the electric and magnetic fields satisfy the wave equation. That is, electromagnetic waves exist! Further, since $\frac{1}{\mu_0\epsilon_0}=c^2$, we know they travel at the speed of light.

  • 31
    +1 for mentioning the discovery that light was electromagnetic radiation, but the idea of electromagnetic radiation itself dates back at least to Henry. Maxwell explained it by producing the wave equation, but electricity as a flow was discovered exactly because of its relationship to magnetism, so on that point Maxwell's work was just theory catching up to observation. The unexpected new mathematical discoveries were that light is EM, and that EM waves travel at a fixed speed, which then led Einstein to relativity. – Paul Sinclair Jun 01 '16 at 17:55
  • 6
    Surely your last two equations need to be one with E on both sides and one with B on both sides. (At the moment each has E on one side and B on the other.) – Gareth McCaughan Jun 02 '16 at 11:50
  • @GarethMcCaughan [see here](https://en.wikipedia.org/wiki/Electromagnetic_wave_equation#The_origin_of_the_electromagnetic_wave_equation). :) – Soham Chowdhury Feb 23 '17 at 04:46
  • 1
    @SohamChowdhury It's correct now, but it wasn't when I wrote that comment. Zachary fixed it. – Gareth McCaughan Feb 23 '17 at 11:03
  • 1
    @GarethMcCaughan whoops! I should've looked at the edit history before commenting: apologies. – Soham Chowdhury Feb 24 '17 at 05:22
  • I am late to the party but adding to this answer, people were shocked that the speed of the waves ($c$) came out as a constant. They thought something was wrong with the math ("An observer moving at $0.5c$ parallel to a wave moving at $c$ surely should see the wave travelling at $0.5c$ ?!"). Einstein however took the idea of constant speed of light in all reference frames serious, which led him to develop the theory of Special Relativity. – Luismi98 Oct 25 '21 at 20:17
91

Quasicrystals. Aperiodic tilings of the plane and space were discovered by mathematicians, starting from Robert Berger's work on Wang tiles in the $1960$'s. Physical materials exhibiting these properties were found in the $1980$'s by Dan Shechtman, who won the Nobel Prize for Chemistry in $2011$ for this work.

MR_BD
  • 5,261
  • 5
  • 41
  • 59
Robert Israel
  • 416,382
  • 24
  • 302
  • 603
88

Arago's spot is a classical (and classic) example of a beautiful mathematical theory anticipating a beautiful physical fact. Briefly, the story goes like this: Back in the 1800's, scientists were debating whether light was a particle or a wave. Following some convincing experiments by Young showing wave-like properties of light, Fresnel developed a mathematical wave theory of light to describe the properties exhibited in those experiments. He submitted his theory in a competition, where it was reviewed by Poisson, who was a supporter of the particle theory of light. Poisson wanted to prove it wrong, and so he fiddled with the math until he discovered an effect predicted by the theory (hitherto not noticed by Fresnel) which he thought was inconsistent with experiments: The theory predicted that if you shine light at an opaque disk, there would be a bright spot in the middle of the shadow cast by the disk.

It turned out that no one had actually done an experiment of this type before. So following Poisson's prediction, Arago went and did the experiment, and voila! The spot was there! So Poisson's attempt to kill the wave theory of light ended up becoming one of the strongest pieces of evidence in favor of light's wave nature.

enter image description here

Yly
  • 14,399
  • 4
  • 29
  • 70
  • 5
    [Schrödinger's cat thought experiment](https://en.wikipedia.org/wiki/Schr%C3%B6dinger's_cat) comes to mind initially invented as a method to discredit a theory of quantum mechanics, when, in fact, we use this thought experiment to illustrate the theory! – sanmai Jun 08 '16 at 00:45
  • 1
    And yet, from Quantum Electrodynamics, light is indisputably a particle. – Mark Viola Jun 09 '16 at 14:54
  • Quantum electrodynamics does *not* posit that light is a particle. Quantum field theories in general posit that fields (including electromagnetic fields) are states in [Fock space](https://en.wikipedia.org/wiki/Fock_space). These states exhibit wave/particle duality. – sasquires Dec 18 '20 at 02:43
69

The memristor, the fourth passive electronic component (to accompany the resistor, capacitor, and inductor), was predicted by Leon Chua in 1971. An anomalous signal found by engineers in HP Labs in 2008 was, after much consternation, eventually attributed to the discovery of the memristor.

The prediction follows from the relationship between voltage, charge, current, and flux, neatly represented in the following diagram:

memristor equations

MJD
  • 62,206
  • 36
  • 276
  • 489
Xavier
  • 851
  • 5
  • 3
  • 2
    Woah.... I've never put all those pieces together. What is the significance of the diagonals involving time differentials? All the outside edges follow a pattern: the differentials of the corners the edges connect are proportional by a constant dependent on the particular system. Why do the cross-terms follow a different pattern? (i.e. the differential of one corner is proportional to the time differential by a constant determined by the other corner) – D. W. Jun 09 '16 at 05:27
  • 2
    @D.W. The diagonals are true by definition — current is change in charge over time, and voltage is change in flux over time. The other four possible pairs of variables give differential equations that correspond to the four devices. Since the equations on the diagonals are true regardless of device, pictorially they're in the middle. – hobbs Jun 09 '16 at 07:14
  • @hobbs brilliant, THANK YOU – D. W. Jun 09 '16 at 07:15
  • That conclusion is false. – Mark Viola Jun 09 '16 at 15:00
  • @Dr.MV what's false? – D. W. Jun 09 '16 at 17:29
  • [On June 25, Vongehr and Meng published an article with the title "The Missing Memristor has Not been Found," in Scientific Reports clarifying that the originally hypothesized real memristor device is missing and likely impossible.](https://en.wikipedia.org/wiki/Memristor#2015) – Mark Viola Jun 09 '16 at 17:46
  • 4
    @d.w. [In the article "The Missing Memristor has Not been Found," published on Scientific Reports in 2015 by Vongehr and Meng, it has been shown that the real memristor defined in 1971 is not possible without using magnetic induction. It can be argued that the variable resistance devices, such as the RRAMs, and the conceptual memristors may have no equivalence at all](https://en.wikipedia.org/wiki/Memristor#Memristor_definition_and_criticism) – Mark Viola Jun 09 '16 at 17:53
53

John von Neumann discovered some of the fundamentals of molecular biology back in the 1940s long before the field of molecular biology even existed. When von Neumann was developing his theory on universal constructors (UCs), machines that can build any possible physical structure including making copies of itself, he stumbled on a generic problem. The machine executes some algorithm that is stored in the form of an instruction set that has to be interpreted. This tells the machine how to perform the tasks it has to perform, including how to make a copy of itself.

The problem is then that to copy the instruct set would seem to require another instruction set. But then one shifts the problem to that other instruction set. The only way out is for the instruction set to be copied verbatim. Now, for the instruction set to be copied verbatim requires the presence of a supervisor unit which decides which of the two roles the instruction set is to play. As pointed out here:

To be functional over successive generations, a complete self-replicating automaton must therefore consist of three components: a UC, an (instructional) blueprint, and a supervisory unit. To rough approximation, all known life contains these three components, which is particularly remarkable, given that von Neumann formulated his ideas before the discoveries of modern molecular biology, including the structure of DNA and the ribosome. From the insights provided by molecular biology over the past 50 years, we can now identify that all known life functions in a manner akin to von Neumann automaton, where DNA provides a (partial) algorithm, ribosomes act as the core of the universal constructor and DNA polymerases (along with a suite of other molecular machinery) play the role of supervisory unit [65, 54].

Count Iblis
  • 10,078
  • 2
  • 20
  • 43
  • 2
    That description of the Central Dogma doesn't seem quite correct (even if we use the simplified version that was taught in the 1970's). Ribosomes are the assembly lines that take RNA transcripts and make proteins (including DNA and RNA polymerases) but ribosomes are not involved in the duplication of DNA. – DWin Jun 02 '16 at 02:04
  • 2
    This is an example of mathematics developed for other reasons that applies to science (such examples are too many to count), but it does not strike me at all as being an example of unexpected science found in mathematics and only later confirmed. Do you have evidence that von Neumann's theory lead molecular biologists to any great physical discoveries that had not been anticipated before? – Paul Sinclair Jun 02 '16 at 23:28
  • @PaulSinclair I agree that this is not a straightforward case of math leading to some concrete discovery, but that's actually due to von Neumann's theory applying to the fundamentals of molecular biology when there was no molecular biology to speak of at the time. I.m.o. this makes this example more remarkable than other more straightforward cases. – Count Iblis Jun 03 '16 at 05:45
  • 1
    It is interesting, but I do not see anything remarkable about it. It is an example of the same principles being supported by different underlying machinery, much like the similarities between fluid flow and electricity. Or that quantum interactions and arrangements of balls can both be described by group theory. – Paul Sinclair Jun 03 '16 at 23:52
  • Approaching the same problem from a thermodynamics point of vue, Schrödinger described quite exactly the structure of DNA (non periodic crystal) in _What is life?_ – user1729 Jun 06 '16 at 20:06
  • 1
    Aren't quines an alternative solution to this problem? – Craig Gidney Jul 07 '16 at 03:02
39

Dirac explains here how special relativity led to the Dirac equations for the electron which predicts its spin, magnetic moment and the existence of the positron.

Count Iblis
  • 10,078
  • 2
  • 20
  • 43
  • 5
    @mathreadler But then you still have available the W and Z particles and the Higgs boson :). – Count Iblis Jun 01 '16 at 16:57
  • 1
    The concepts of particle spin and magnetic moment predate Dirac's work. As with some other examples given here, this is just theory catching up to observation, not new physics found in the math. However, the positron was first discovered unexpectedly coming from the Dirac equation, so it is a prime example. It was the first (I believe) of a list of particles discovered in the mathematics and only gaining any physical evidence later. – Paul Sinclair Jun 02 '16 at 23:20
  • @PaulSinclair Yes, but note that the Dirac equation is what you get if you want to have a first order relativistic wavefunction, you are led to a four component wavefunction and the Dirac equation involving the gamma matrices. So, while spin was already known to exist, it is also a prediction of special relativity + quantum mechanics. Theory catching up with observation applies to the effort of making QM compatible with SR, but spin was not put in by hand by Dirac in his equation. – Count Iblis Jun 03 '16 at 05:51
  • True. If the concept of spin had already been encountered, then Dirac would surely have discovered it here as well, which is interesting even if it doesn't exactly match what was asked for. And of course the positron discovery is a perfect fit. – Paul Sinclair Jun 03 '16 at 23:46
34

The most notable ones that come to my mind at present are the Special Theory of Relativity and the General Theory of Relativity, both by Albert Einstein. Although Einstein published them in 1905 and 1915 respectively, the mathematical work of the theory had been done a long time before by Hendrik Lorentz, Henri Poincaré, and Hermann Minkowski. Einstein just had to put forward the proper justification and implication of the mathematics in the real, physical world.

Then again, you have the mathematics behind the behaviour of black holes which was developed by Ramanujan early in the $1900$s when no one was even aware of the existence of black holes. It was later predicted by Einstein in his GTR. And work was carried on by Kerr, Hawking, Thorne, Susskind and others even later.

SchrodingersCat
  • 24,108
  • 6
  • 38
  • 74
  • 3
    I agree about Special Relativity, but the key insight of GR, the curvature of spacetime and the relationship between mass and curvature, were both made by Einstein and shocked the world when he announced it. – Stella Biderman Jun 01 '16 at 17:41
  • 40
    I'm sorry, but one could make an equally strong argument that addition and multiplication are examples. Einstein searched for and applied existing mathematical ideas that he needed to explain his physical ideas developed from previous observations (constancy of the speed of light, equivalence principle). He didn't obtain those physical ideas by coming across them in the mathematics. – Paul Sinclair Jun 01 '16 at 18:23
  • 25
    The Ramanujan thing feels like a real stretch. So far as I can tell, what happened is that someone analysed a problem of the form "count the number of states of a quantum black hole in such-and-such a version of string theory" and got a complicated answer in which some coefficients are "mock modular forms" as introduced by Ramanujan. I don't think there's any actual connection with anything actually observed in the real world as yet. – Gareth McCaughan Jun 02 '16 at 12:02
  • 8
    According to this essentially every discovery in physics qualifies. – fqq Jun 02 '16 at 16:05
  • 2
    @fqq not sure (wrt SR). I think the Lorentz transformation basically states SR; it's just that Einstein consequently thought it to the end and did not shy back from the logical consequences. – Peter - Reinstate Monica Jun 03 '16 at 10:09
  • @PeterA.Schneider SR is not an obvious or "accidental" consequence of Lorentz transformations, but a significant shift in their meaning (wrt the context they were originally used in). Anyway I was referring more to the last bit, in which (mostly due to awful popularisation) the fact that someone in string theory is using some maths is used to say that Ramanujan "explained the behaviour of black holes" essentially before general relativity. – fqq Jun 03 '16 at 10:35
31

The Fermi-Pasta-Ulam numerical experiments in the 1950's that led to theory of integrable systems. One day the computer simulation was accidentally left running longer than intended, showing that a nonlinear wave system almost returned to its original state instead of thermalizing. The theory that developed from this is enormous and applications include soliton pulses sent through optical fiber (hence internet and cable television).

zyx
  • 34,340
  • 3
  • 43
  • 106
27

Berry's Phase is a good example of mathematics uncovering new physics. In particular, a derivation in quantum mechanics assumed a one-dimensional domain in an integration. If the parameter space is higher-dimensional then the parameter domain can have nontrivial topology which ultimately leads to a nontrivial integral. This integral implies we can manipulate the phase of a wavefunction. In particular, you can split a light beam and use the concept of Berry's phase to create two beams which differ in phase however you wish. There are several thousand papers which follow from Berry's discovery in the early 1980's (as seems to always be the case, a less-known researcher also found in in the mid 1950's, see this Wikipedia article for more details)

James S. Cook
  • 16,540
  • 3
  • 42
  • 100
24

I believe the story mentioned in the question is the story of the $\Omega^-$ particle, conjectured to exist by Gell-Mann and Ne'eman (see Here and Here) as part of a representation-theoretic approach to quantum mechanics, and eventually discovered by a team at Brookhaven.

There's a nice video about this


Of course, there's probably many other examples of this phenomenon in quantum mechanics - certainly the discovery of the Higgs should qualify - but this is still a really good example, and I suspect the one the OP is remembering.

MR_BD
  • 5,261
  • 5
  • 41
  • 59
Noah Schweber
  • 219,021
  • 18
  • 276
  • 502
22

Bell's theorem on the foundations of quantum mechanics showed that not all philosophical questions are impervious to experiment, to the extreme surprise of pretty much every physicist on Earth. (It also showed that Einstein was soundly wrong, which some people might also find surprising.)

Yly
  • 14,399
  • 4
  • 29
  • 70
20

The Titius–Bode law (sometimes termed just Bode’s law) was an observation that the radius of the orbit of the $n\rm th$ planet in our solar system could be approximated by the formula $$r_n=(r_1+0.3\times 2^{(n-2)})\rm AU$$ for $n>1$, where “AU” represents an Astronomical Unit; i.e., the radius of Earth’s orbit (i.e., $r_3$). Setting $r_1$ to the approximation $0.4$, this formula gives the following values: \begin{align} r_1&=&0.4 \text{ AU}&\qquad&&\text{The radius of Mercury’s orbit is } 0.39 \text{ AU}\\ r_2&=&0.7 \text{ AU}&\qquad&&\text{The radius of Venus’s orbit is } 0.72 \text{ AU}\\ r_3&=&1.0 \text{ AU}&\qquad&&\text{The radius of Earth’s orbit is } 1.00 \text{ AU}\\ r_4&=&1.6 \text{ AU}&\qquad&&\text{The radius of Mars’s orbit is } 1.52 \text{ AU}\\ r_5&=&2.8 \text{ AU}&&&\\ r_6&=&5.2 \text{ AU}&\qquad&&\text{The radius of Jupiter’s orbit is } 5.20 \text{ AU}\\ r_7&=&10.0 \text{ AU}&\qquad&&\text{The radius of Saturn’s orbit is } 9.55 \text{ AU}\\ r_8&=&19.6 \text{ AU}&\qquad&&\text{The radius of Uranus’s orbit is } 19.22 \text{ AU}\end{align} The realization that there was a gap prompted a search of the area $r_5$ from the Sun, which led to the discovery of the asteroid belt (the radius of the orbit of Ceres is 2.77 AU).

The formula broke down after Uranus.  The radius of Neptune’s orbit is less than 80% of what the formula predicts; the radius of Pluto’s orbit is only about 1% more than what the formula predicts for Neptune ($r_9$).

Scott
  • 1,015
  • 1
  • 13
  • 27
18

I agree with some of the comments that the likely basis for this fuzzy memory is the Dirac "prediction" of positrons (the first known instance of anti-matter). However, slightly before Dirac's 1926 publication of a relativistic wave equation with negative energy states (which he didn't initially believe were "physical", so calling it a "prediction" was only done in retrospect), there was a earlier prediction about the nature of matter. The notion that "particles" might have wave characteristics was a prediction by de Broglie (1923) based on the mathematical relations described by Planck (~ 1900) and Einstein (1905) relating to the quantization of energy and teh energy-mass equivalence, and also a consequence of the Schrödinger equation (1925) for "electron wave functions" and subsequently the wave nature of "particles" confirmed by the 1927 Davisson–Germer experiments with electron diffraction by crystals.

It later turned out that even macro-molecules as big as Bucky-balls (C_60) could be shown to exhibit wave-like interference in double-slit experiments, implying that some part of the molecule goes through both slits.

DWin
  • 279
  • 1
  • 8
  • 3
    I think De Broglie was more inspired by the physical discovery that some waves acted like particles. Therefore why not check to see if some particles acted like waves? With that idea, one would of course turn to the already developed mathematics of the waves-as-particle theory to make predictions going the other way. I wouldn't describe it as an idea found first in the mathematics. – Paul Sinclair Jun 02 '16 at 23:38
17

Many results in the answers so far are examples from quantum physics. However there is also the example of quantum physics. As far as I remember, Planck wanted to explain the spectrum of black body emission by calculating a limit $\lim_{h\to 0}$ of a discretization. However, the results would only make sense if instead of letting $h\to 0$, he kept $h$ positive. The letter $h$ is still used for the Planck quantum.

Hagen von Eitzen
  • 1
  • 29
  • 331
  • 611
  • 5
    @Scott the choice of the letter $h$ for Planck quantum because $h$ is traditionally often used as something that tends to $0$, is more or less at "trivia" level – Hagen von Eitzen Jun 07 '16 at 21:00
15

Kepler's attempted to match the orbits of the planets to a nested arrangement of platonic solids. Eventually, his data led him to the mathematics of Kepler's Laws.

Kepler wasn't impressed by his three laws, but Newton found them in his papers.

(from my post elsewhere)

Ed Pegg
  • 19,476
  • 5
  • 37
  • 119
  • 47
    Kepler was attempting to fit physical observations to a mathematical theory that they didn't fit. When he gave up on this, he instead created mathematical laws to fit the observations. This is an example of mathematics being discovered from physics, not the reverse. – Paul Sinclair Jun 01 '16 at 18:05
10

Differential calculus was being developed by Leibniz and Newton in the 17-18th centuries at roughly the same time as Newton formulated his famous equations for mass, force and acceleration governing mechanical motion.

I wonder what such laws would have looked like without having any differential and integral calculus available!

mathreadler
  • 24,082
  • 9
  • 33
  • 83
  • Wasn't it being developed by Leibniz, Newton, and Fermat? – hkr Jun 01 '16 at 17:26
  • 19
    I don't remember Fermat being involved, but it was a long time ago, and I was probably not 100% sober. – mathreadler Jun 01 '16 at 17:40
  • see [wiki/History_of_calculus#Newton_and_Leibniz](https://en.wikipedia.org/wiki/History_of_calculus#Newton_and_Leibniz) [wiki/Leibniz–Newton_calculus_controversy](https://en.wikipedia.org/wiki/Leibniz%E2%80%93Newton_calculus_controversy) and https://en.wikipedia.org/wiki/Method_of_Fluxions @hkr – reuns Jun 01 '16 at 17:48
  • 15
    Newton at least developed his calculus as the language needed for his theory of physics, so it really doesn't qualify as an example of some physical result first found mathematically. – Paul Sinclair Jun 01 '16 at 17:59
10

There have been many attempts to prove Euclid's Parallel Postulate, which for around 2000 years was stumping many Mathematicians. Eventually it took Gauss to completely redevelop the notion of some of the equivalent properties in his development of hyperbolic geometry. Whilst it is true to say that Gauss' endeavours were not found by accident; it is true to say that the years of failure led to a new way of thinking.

  • Also János Bolyai and Nikolai Lobachevksy were about the same time as Gauss made works on non-euclidean geometry. And maybe we should mention some example where it occurs in physics ( relativity? ). – mathreadler Jun 07 '16 at 14:10
10

An example from Linguistics: Heller and Macris, in their book “Parametric Linguistics” arranged known sounds in a grid (matrix), in which a missing sound (blank cell) was obvious, and that is how this sound was discovered. (My memory is a little rusty on this, but it goes something like that.)

Mike Jones
  • 4,310
  • 1
  • 35
  • 39
9

After the war Richard Feynman was no longer working at Los Alamos. In October 1946 his father died and Feynman went through a period of depression and burn-out. Unable to focus on research problems, Feynman began tackling physics problems, not for utility, but for self-satisfaction and fun. As he describes it in Surely You’re Joking, Mr. Feynman: Now that I am burned out and I'll never accomplish anything, I've got this nice position at the university teaching classes which I rather enjoy, and just like I read the Arabian Nights for pleasure, I'm going to play with physics, whenever I want to, without worrying about any importance whatsoever. One of these involved analyzing the physics of a wobbling plate as it is moving through the air, inspired by an incident in the cafeteria at Cornell when someone tossed one in the air. His work during this period used equations of rotation to express various spinning speeds and applying this to electrons and to quantum electrodynamics. The Feynman diagrams and the whole business he got the Nobel Prize for in 1965 came from that piddling around with the wobbling plate.

Nicky Hekster
  • 42,900
  • 7
  • 54
  • 93
8

Enrico Fermi wrote in a letter to a friend,"I have have done a very bad thing. I Have invented a particle that cannot be detected."

The problem was that in nuclear radioactive decay, or in particle/anti-particle annihilation, the equations for energy and for momentum were inconsistent, as the relation between energy and momentum for photons is different from that for particles with inertia. Fermi proposed a massless uncharged particle, which was a mathematical fudge factor, to account for this. The alternative would have been to alter the original equations, but there was a lot of theoretical "weight" behind them.

His "undetectable particle" was the neutrino.

DanielWainfleet
  • 53,442
  • 4
  • 26
  • 68
7

Science News article accidental astrophysicists 13 June 2008 explains how a math proof became a physics proof of gravitational lensing.

Fred Kline
  • 1,239
  • 2
  • 16
  • 44
  • 1
    Reminds me of Dewey B. Larson's discovery of what he came to call The Reciprocal System of physical theory, based on some simple mathematics regarding the relationship between space and time. – Mike Jones Sep 23 '16 at 12:25
  • Wonderful discovery. Where can I find more technical details about this work? – Bumblebee Dec 29 '16 at 19:32
6

It seems that the (surprising) determination that light travels at finite (rather than infinite) speed, based on some nifty mathematical footwork, qualifies as such an example.

Mike Jones
  • 4,310
  • 1
  • 35
  • 39
  • 2
    Thanks for the recent upvotes people, but I’m really waiting for Zev Chonoles to downvote me, since my answer, although correct, did not give any details. – Mike Jones Jan 07 '17 at 15:07
4

During World War 2, a Hungarian mathematician by the name of Abraham Wald was called upon to provide advice on how to minimize bomber losses to enemy fire. There was an inclination within the military to consider providing greater protection to parts that received more damage but Wald made the assumption that damage must be more uniformly distributed and that the aircraft that did return or show up in the samples were hit in the less vulnerable parts.

However, Wald noted that the study only considered the aircraft that had survived their missions—the bombers that had been shot down were not present for the damage assessment. The holes in the returning aircraft, then, represented areas where a bomber could take damage and still return home safely.

Wald proposed that the Navy instead reinforce the areas where the returning aircraft were unscathed since those were the areas that, if hit, would cause the plane to be lost. His work is considered seminal in the then-fledgling discipline of operational research.

Source - Abraham Wald

Agile_Eagle
  • 2,732
  • 1
  • 22
  • 40
1

I did a quick scan and saw no mention of Riemannian manifolds here. Historically, it might've been the exact high-precision mathematical machinery that Einstein needed; from this this wikipedia link:

Albert Einstein used the theory of Riemannian manifolds to develop his general theory of relativity. In particular, his equations for gravitation are constraints on the curvature of space.

CopyPasteIt
  • 10,521
  • 1
  • 17
  • 43