Where Mathematics And Astrophysics Meet

Date:

June 6, 2008

Source:

American Mathematical Society

Summary:

The mathematicians were trying to extend an illustrious result in their field, the Fundamental Theorem of Algebra. The astrophysicists were working on a fundamental problem in their field, the problem of gravitational lensing. That the two groups were in fact working on the same question is both expected and unexpected: The "unreasonable effectiveness of mathematics" is well known throughout the sciences, but every new instance produces welcome insights and sheer delight.

Share:

Total shares:

FULL STORY

Einstein rings produced by a galaxy behind the lensing galaxy. The sources are actually extended and that is why one sometimes sees arcs rather than complete rings.

The mathematicians were trying to extend an illustrious result in their field, the Fundamental Theorem of Algebra. The astrophysicists were working on a fundamental problem in their field, the problem of gravitational lensing. That the two groups were in fact working on the same question is both expected and unexpected: The "unreasonable effectiveness of mathematics" is well known throughout the sciences, but every new instance produces welcome insights and sheer delight.

In their article "From the Fundamental Theorem of Algebra to Astrophysics: A `Harmonious' Path", which appears in the Notices of the AMS, mathematicians Dmitry Khavinson (University of South Florida) and Genevra Neumann (University of Northern Iowa) describe the mathematical work that surprisingly led them to questions in astrophysics.

The Fundamental Theorem of Algebra (FTA), proofs of which go back to the 18th century, is a bedrock mathematical truth, elegant in its simplicity: Every complex polynomial of degree n has n roots in the complex numbers. In the 1990s, Terry Sheil-Small and Alan Wilmshurst explored the question of extending the FTA to harmonic polynomials. In a surprising twist in 2001, Khavinson, together with G. Swiatek, applied methods from complex dynamics to settle one of the cases of Wilmshurst's conjecture, showing that for a certain class of harmonic polynomials, the number of zeros is at most 3n - 2, where n is the degree of the polynomial.

When she was a postdoc at Kansas State University, Neumann mentioned the 3n-2 result in a talk, and Pietro Poggi-Corradini wondered whether Khavinson and Swiatek's complex dynamics approach could be extended to counting the zeros of rational harmonic functions. (A rational function is a quotient of polynomials, and a rational harmonic function is the sum of a rational function and the complex conjugate of a rational function.) She later asked Khavinson about this possibility. "We didn't have any idea what the answer would be," she said. And they certainly had no idea that an astrophysicist had already conjectured the answer.

"We were slightly surprised that the number came out different, 5n - 5 vs. 3n - 2," recalled Khavinson. They also wondered whether the bound of 5n - 5 was "sharp"---that is, whether it could be pushed any lower. "After checking and re-checking it, we posted a preprint on the arXiv and then returned to our respective business," Khavinson said. "Literally, a week later we received a congratulatory e-mail from Jeffrey Rabin of UCSD kindly telling us that our theorem resolves a conjecture of Sun Hong Rhie in astrophysics." Khavinson and Neumann had no idea that anyone outside of mathematics would be interested in this result.

Rhie has been studying the problem of gravitational lensing, a phenomenon in which light from a celestial source, such as a star or galaxy, is deflected by a massive object (or objects) between the light source and the observer. Because of the deflection, the observer sees multiple images of the same light source. The phenomenon was first predicted in the early 19th century, using Newtonian mechanics. A more accurate prediction was made by Einstein in 1915 using his theory of general relativity, and early observational support came in 1919 during a solar eclipse. The first gravitational lensing system was discovered in 1979.

It turns out that at least in some idealized situations one can count the number of images of the light source seen in a gravitational lensing system by counting the number of zeros of a rational harmonic function---exactly the kind of function Khavinson and Neumann had been studying. While investigating the possible number of images produced by a gravitational lens that has n point masses deflecting the light, Rhie had conjectured the bound of 5n - 5 that so surprised Khavinson and Neumann. Rhie also came up with an ingenious way of constructing an example of a rational harmonic function with exactly 5n - 5 zeros. Together with the result of Khavinson and Neumann, this example establishes that their 5n - 5 bound is sharp.

After hearing about Rhie's work, Khavinson and Neumann contacted other mathematicians and astrophysicists who worked on similar problems and received feedback they then used to revise their paper (it has since appeared in Proceedings of the AMS). These interactions led Khavinson into fruitful collaborations with astrophysicists on related questions. Some of the new results from this work are mentioned in the Notices article.

"I find this kind of interdisciplinary collaboration extremely exciting and stimulating," said Khavinson. "I just hope that I will be able to continue these collaborations. It is one of the most exciting experiences I have had in my life." Neumann is just as enthusiastic, and is grateful to Kansas State physicist Larry Weaver, who helped her to understand the physics of gravitational lensing, and to Rabin, who acted as the link between mathematics and astrophysics. "Professor Rabin's generous email introduced both Dmitry and me to an entirely new world," she said.

July 30, 2015  Some of the most breathtaking views in the Universe are created by nebulae -- hot, glowing clouds of gas. This new NASA/ESA Hubble Space Telescope image shows the center of ... read more

July 30, 2015  Comet Churyumov-Gerasimenko poses new riddles: Surface material measurements performed by the Philae landing module indicate that the near surface material might have changed ... read more

July 29, 2015  Physicists have revealed a new understanding of nucleosynthesis in stars, providing insight into the role massive stars play in the evolution of the Milky Way and the origins ... read more

July 28, 2015  A group of scientists have described developing and launching their imager, which centers on "Lobster-Eye optics," as well as its capabilities and future applications in space ... read more

Nov. 18, 2013  A famous math problem that has vexed mathematicians for decades has finally met an elegant solution. Mathematicians have now described a geometric solution for the von Neumann-Day problem, first ... read more

Sep. 16, 2013  Researchers have found high school students in the United States achieve higher scores on a standardized mathematics test if they study from a curriculum known as integrated ... read more

Mar. 4, 2013  Mathematicians have shown Fermat's Last Theorem can be proved using only a small portion of Grothendieck's work. Specifically, the theorem can be justified using "finite order ... read more

Feb. 7, 2012  The collapse of the Soviet Union in 1992 brought an influx of Soviet mathematicians to US institutions, and those scholars' differing areas of specialization have changed the way math is studied ... read more