Classically there is a clear distinction between theoretical and applied mathematics in the classification of different fields in the mathematical sciences. Bernd Sturmfels at the Max Planck Institute for Mathematics in the Sciences, along with Paul Breiding and Sascha Timme at the Technical University of Berlin present a novel approach that illustrates how this line can be blurred. They developed a software, which is not only able to compute numerical solutions for systems of polynomial equations, but can also be employed to answer classical questions of theoretical mathematics. Their results made the cover story of the January issue of the "Notices of the American Mathematical Society".
The article "3264 Conics in a Second" exemplifies how mathematical software can serve as a bridge between theoretical problems and applied methods. Besides creating the extensive numerical software package "HomotopyContinuation.jl", the authors also established an easily accessible website, which vividly showcases the various applications of the software.
The figure illustrates a red ellipse that is tangent to four blue ellipses and one blue hyperbola.
© Thomas Endler, MPI for Mathematics in the Sciences
One of these applications, in turn, constitutes the solution to a classical geometric problem, which was made even more accessible with a webapp.
Steiner's conic problem
The published paper revolves around a classical geometric problem from the perspective of modern numerical algorithms. In 1848 the mathematician Jakob Steiner posed the question of finding the number of conics tangent to five given conics.
A conic is a planar curve given by the intersection of the surface of a cone with a plane, yet it also constitutes the zero set of a quadratic equation in two variables. Even though Steiner's question initially seems quite academically rigorous in nature it is pertinent to modern applications. The conic problem is regarded as the origin of modern intersection theory.
This theory then forms the foundation for modern algorithms to compute the roots of polynomial systems, which is a fundamental problem in many applied fields: robotics, material sciences, machine learning, biology or dynamical systems theory are just a few exemplary fields, where polynomial equations need to be solved.
Software package HomotopyContinuation.jl
Exactly these numerical computations form the basis of the authors specialized software package HomotopyContinuation.jl, which was developed for Julia, a dynamic programming language focused on high-performance numerical analysis.
The accompanying website not only offers an all-encompassing software manual, but also contextualizes the software through an assortment of applications ranging from computer vision, robotics, chemistry, mathematics of data and algebraic geometry.
A variety of guides introduce the user to the software features and explain how they can be applied to numerous problems. Such as Steiner's conic problem, which can be formulated as a problem of finding the roots of a polynomial system. The customized software package is able to compute these solutions within a mere second.
The scientists at the Max Planck Institute and the Technical University of Berlin created a web interface accompanying their publication which allows the reader to easily compute the 3264 solutions for their chosen conics (see juliahomotopycontinuation.org/diy).
This innovative form of science communication is a novelty for publications in the Notices. The authors were able to use their software to compute exact equations for arrangements with real solutions to Steiner's conic problem.
Thus, they strikingly demonstrated how theoretical results involve numerical procedures, as well as the possible application of numerical methods in proofs of specific theoretical results.
Dr. Paul Breiding
Technical University of Berlin
Institute of Mathematics
"3264 Conics in a Second" in the Notices of the American Mathematical Society
http://www.juliahomotopycontinuation.org Information regarding the software HomotopyContinuation.jl
Jana Gregor | Max-Planck-Institut für Mathematik in den Naturwissenschaften (MPIMIS)
Spintronics: Faster data processing through ultrashort electric pulses
02.07.2020 | Martin-Luther-Universität Halle-Wittenberg
Multi-sensor system for the precise and efficient inspection of roads, railways and similar assets
01.07.2020 | Fraunhofer IPM
Solar cells based on perovskite compounds could soon make electricity generation from sunlight even more efficient and cheaper. The laboratory efficiency of these perovskite solar cells already exceeds that of the well-known silicon solar cells. An international team led by Stefan Weber from the Max Planck Institute for Polymer Research (MPI-P) in Mainz has found microscopic structures in perovskite crystals that can guide the charge transport in the solar cell. Clever alignment of these "electron highways" could make perovskite solar cells even more powerful.
Solar cells convert sunlight into electricity. During this process, the electrons of the material inside the cell absorb the energy of the light....
Empa researchers have succeeded in applying aerogels to microelectronics: Aerogels based on cellulose nanofibers can effectively shield electromagnetic radiation over a wide frequency range – and they are unrivalled in terms of weight.
Electric motors and electronic devices generate electromagnetic fields that sometimes have to be shielded in order not to affect neighboring electronic...
A promising operating mode for the plasma of a future power plant has been developed at the ASDEX Upgrade fusion device at Max Planck Institute for Plasma...
Live event – July 1, 2020 - 11:00 to 11:45 (CET)
"Automation in Aerospace Industry @ Fraunhofer IFAM"
The Fraunhofer Institute for Manufacturing Technology and Advanced Materials IFAM l Stade is presenting its forward-looking R&D portfolio for the first time at...
With an X-ray experiment at the European Synchrotron ESRF in Grenoble (France), Empa researchers were able to demonstrate how well their real-time acoustic monitoring of laser weld seams works. With almost 90 percent reliability, they detected the formation of unwanted pores that impair the quality of weld seams. Thanks to a special evaluation method based on artificial intelligence (AI), the detection process is completed in just 70 milliseconds.
Laser welding is a process suitable for joining metals and thermoplastics. It has become particularly well established in highly automated production, for...
02.07.2020 | Event News
19.05.2020 | Event News
07.04.2020 | Event News
03.07.2020 | Life Sciences
03.07.2020 | Studies and Analyses
03.07.2020 | Power and Electrical Engineering