Where mathematics and astrophysics meet

June 5, 2008

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 today 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.

"From the Fundamental Theorem of Algebra to Astrophysics: A `Harmonious' Path" appears in the June/July 2008 issue of the AMS Notices, which will be posted today on the Notices web site, www.ams.org/notices .

Source: American Mathematical Society

Recommended for you

Mathematicians may have found an answer to the longstanding puzzle as to why we have evolved to cooperate

July 19, 2016

Why do we feel good about giving to charity when there is no direct benefit to ourselves, and feel bad about cheating the system? Mathematicians may have found an answer to the longstanding puzzle as to why we have evolved ...

Computed-tomography scans of 245 million-year-old fossil shed light on evolution of inner ear of birds, crocodiles

July 19, 2016

Birds have a very successful history and rich fossil record that includes dinosaurs and dates back to 250 million years. They are famous for flying and singing and have complex ways of doing both. It is known that these two ...

Growth mindset found to temper impact of poverty on student achievement

July 19, 2016

(Phys.org)—A trio of researchers from Stanford University has found that high school children living in poverty who have a growth mindset tend to do better in school than those with a fixed mindset. In their paper published ...

Ancient feces provides earliest evidence of infectious disease being carried on Silk Road

July 21, 2016

An ancient latrine near a desert in north-western China has revealed the first archaeological evidence that travellers along the Silk Road were responsible for the spread of infectious diseases along huge distances of the ...

What hunter-gatherers can tell us about fundamental human social networks

July 21, 2016

Long before the advent of social media, human social networks were built around sharing a much more essential commodity: food. Now, researchers reporting on the food sharing networks of two contemporary groups of hunter-gatherers ...

How a little mathematics can help create some beautiful music

July 21, 2016

Since the time of Pythagoras around 500 BCE, music and mathematics have had an intimate and mutually supportive relationship.

superhuman
2.5 / 5 (2) Jun 05, 2008
>The phenomenon was first predicted in the early 19th century, using Newtonian mechanics

How can gravitational lensing be predicted using Newtonian mechanics??
beefviper
5 / 5 (1) Jun 05, 2008
How can gravitational lensing be predicted using Newtonian mechanics??

http://en.citizen...#History