Forum for Science, Industry and Business

Sponsored by:     3M 
Search our Site:

 

Blurred lines – mathematical software unites theory and practice

08.01.2020

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


The figure shows the five blue conics (they are solely thin hyperbolas) tangent to one of the 3264 real conics in red.

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

Wissenschaftliche Ansprechpartner:

Dr. Paul Breiding
Technical University of Berlin
Institute of Mathematics
Mail: p.breiding@tu-berlin.de
http://www.math.tu-berlin.de/~breiding

Originalpublikation:

"3264 Conics in a Second" in the Notices of the American Mathematical Society
http://www.ams.org/journals/notices/202001/rnoti-p30.pdf
DOI: https://doi.org/10.1090/noti2010

Weitere Informationen:

http://www.juliahomotopycontinuation.org Information regarding the software HomotopyContinuation.jl

Jana Gregor | Max-Planck-Institut für Mathematik in den Naturwissenschaften (MPIMIS)

More articles from Information Technology:

nachricht Accelerating AI Together – DFKI Welcomes NVIDIA as Newest Shareholder
08.04.2020 | Deutsches Forschungszentrum für Künstliche Intelligenz GmbH, DFKI

nachricht Innovative Technologies for Satellites
07.04.2020 | Julius-Maximilians-Universität Würzburg

All articles from Information Technology >>>

The most recent press releases about innovation >>>

Die letzten 5 Focus-News des innovations-reports im Überblick:

Im Focus: The human body as an electrical conductor, a new method of wireless power transfer

Published by Marc Tudela, Laura Becerra-Fajardo, Aracelys García-Moreno, Jesus Minguillon and Antoni Ivorra, in Access, the journal of the Institute of Electrical and Electronics Engineers

The project Electronic AXONs: wireless microstimulators based on electronic rectification of epidermically applied currents (eAXON, 2017-2022), funded by a...

Im Focus: Belle II yields the first results: In search of the Z′ boson

The Belle II experiment has been collecting data from physical measurements for about one year. After several years of rebuilding work, both the SuperKEKB electron–positron accelerator and the Belle II detector have been improved compared with their predecessors in order to achieve a 40-fold higher data rate.

Scientists at 12 institutes in Germany are involved in constructing and operating the detector, developing evaluation algorithms, and analyzing the data.

Im Focus: When ions rattle their cage

Electrolytes play a key role in many areas: They are crucial for the storage of energy in our body as well as in batteries. In order to release energy, ions - charged atoms - must move in a liquid such as water. Until now the precise mechanism by which they move through the atoms and molecules of the electrolyte has, however, remained largely unknown. Scientists at the Max Planck Institute for Polymer Research have now shown that the electrical resistance of an electrolyte, which is determined by the motion of ions, can be traced back to microscopic vibrations of these dissolved ions.

In chemistry, common table salt is also known as sodium chloride. If this salt is dissolved in water, sodium and chloride atoms dissolve as positively or...

Im Focus: Harnessing the rain for hydrovoltaics

Drops of water falling on or sliding over surfaces may leave behind traces of electrical charge, causing the drops to charge themselves. Scientists at the Max Planck Institute for Polymer Research (MPI-P) in Mainz have now begun a detailed investigation into this phenomenon that accompanies us in every-day life. They developed a method to quantify the charge generation and additionally created a theoretical model to aid understanding. According to the scientists, the observed effect could be a source of generated power and an important building block for understanding frictional electricity.

Water drops sliding over non-conducting surfaces can be found everywhere in our lives: From the dripping of a coffee machine, to a rinse in the shower, to an...

Im Focus: A sensational discovery: Traces of rainforests in West Antarctica

90 million-year-old forest soil provides unexpected evidence for exceptionally warm climate near the South Pole in the Cretaceous

An international team of researchers led by geoscientists from the Alfred Wegener Institute, Helmholtz Centre for Polar and Marine Research (AWI) have now...

All Focus news of the innovation-report >>>

Anzeige

Anzeige

VideoLinks
Industry & Economy
Event News

Aachen Machine Tool Colloquium AWK'21 will take place on June 10 and 11, 2021

07.04.2020 | Event News

International Coral Reef Symposium in Bremen Postponed by a Year

06.04.2020 | Event News

13th AKL – International Laser Technology Congress: May 4–6, 2022 in Aachen – Laser Technology Live already this year!

02.04.2020 | Event News

 
Latest News

Doubts about basic assumption for the universe

08.04.2020 | Physics and Astronomy

Accelerating AI Together – DFKI Welcomes NVIDIA as Newest Shareholder

08.04.2020 | Information Technology

Ear’s inner secrets revealed with new technology

08.04.2020 | Medical Engineering

VideoLinks
Science & Research
Overview of more VideoLinks >>>