2 - Snapshots of modern mathematics from Oberwolfach
http://publications.mfo.de/handle/mfo/20
The snapshot project is designed to promote the understanding and appreciation of modern mathematics and mathematical research in the general public world-wide. It is part of the project "Oberwolfach meets IMAGINARY“, supported by the Klaus Tschira Foundation.Tue, 04 Dec 2018 21:50:12 GMT2018-12-04T21:50:12ZTopological Complexity, Robotics and Social Choice
http://publications.mfo.de/handle/mfo/1384
Topological Complexity, Robotics and Social Choice
Carrasquel, José; Lupton, Gregory; Oprea, John
Topological complexity is a number that measures
how hard it is to plan motions (for robots, say) in
terms of a particular space associated to the kind of
motion to be planned. This is a burgeoning subject
within the wider area of Applied Algebraic Topology.
Surprisingly, the same mathematics gives insight into
the question of creating social choice functions, which
may be viewed as algorithms for making decisions by
artificial intelligences.
Fri, 10 Aug 2018 00:00:00 GMThttp://publications.mfo.de/handle/mfo/13842018-08-10T00:00:00ZCarrasquel, JoséLupton, GregoryOprea, JohnTopological complexity is a number that measures
how hard it is to plan motions (for robots, say) in
terms of a particular space associated to the kind of
motion to be planned. This is a burgeoning subject
within the wider area of Applied Algebraic Topology.
Surprisingly, the same mathematics gives insight into
the question of creating social choice functions, which
may be viewed as algorithms for making decisions by
artificial intelligences.A short story on optimal transport and its many applications
http://publications.mfo.de/handle/mfo/1381
A short story on optimal transport and its many applications
Santambrogio, Filippo
We present some examples of optimal transport problems
and of applications to different sciences (logistics,
economics, image processing, and a little bit of
evolution equations) through the crazy story of an
industrial dynasty regularly asking advice from an
exotic mathematician.
Wed, 08 Aug 2018 00:00:00 GMThttp://publications.mfo.de/handle/mfo/13812018-08-08T00:00:00ZSantambrogio, FilippoWe present some examples of optimal transport problems
and of applications to different sciences (logistics,
economics, image processing, and a little bit of
evolution equations) through the crazy story of an
industrial dynasty regularly asking advice from an
exotic mathematician.Number theory in quantum computing
http://publications.mfo.de/handle/mfo/1380
Number theory in quantum computing
Schönnenbeck, Sebastian
Algorithms are mathematical procedures developed
to solve a problem. When encoded on a computer,
algorithms must be "translated" to a series of simple
steps, each of which the computer knows how
to do. This task is relatively easy to do on a classical
computer and we witness the benefits of this
success in our everyday life. Quantum mechanics,
the physical theory of the very small, promises to enable
completely novel architectures of our machines,
which will provide specific tasks with higher computing
power. Translating and implementing algorithms
on quantum computers is hard. However, we will
show that solutions to this problem can be found and
yield surprising applications to number theory.
Tue, 07 Aug 2018 00:00:00 GMThttp://publications.mfo.de/handle/mfo/13802018-08-07T00:00:00ZSchönnenbeck, SebastianAlgorithms are mathematical procedures developed
to solve a problem. When encoded on a computer,
algorithms must be "translated" to a series of simple
steps, each of which the computer knows how
to do. This task is relatively easy to do on a classical
computer and we witness the benefits of this
success in our everyday life. Quantum mechanics,
the physical theory of the very small, promises to enable
completely novel architectures of our machines,
which will provide specific tasks with higher computing
power. Translating and implementing algorithms
on quantum computers is hard. However, we will
show that solutions to this problem can be found and
yield surprising applications to number theory.Tropical geometry
http://publications.mfo.de/handle/mfo/1378
Tropical geometry
Brugallé, Erwan; Itenberg, Ilia; Shaw, Kristin; Viro, Oleg
What kind of strange spaces hide behind the enigmatic
name of tropical geometry? In the tropics, just
as in other geometries, one of the simplest objects is
a line. Therefore, we begin our exploration by considering
tropical lines. Afterwards, we take a look at
tropical arithmetic and algebra, and describe how to
define tropical curves using tropical polynomials.
Thu, 19 Jul 2018 00:00:00 GMThttp://publications.mfo.de/handle/mfo/13782018-07-19T00:00:00ZBrugallé, ErwanItenberg, IliaShaw, KristinViro, OlegWhat kind of strange spaces hide behind the enigmatic
name of tropical geometry? In the tropics, just
as in other geometries, one of the simplest objects is
a line. Therefore, we begin our exploration by considering
tropical lines. Afterwards, we take a look at
tropical arithmetic and algebra, and describe how to
define tropical curves using tropical polynomials.Data assimilation: mathematics for merging models and data
http://publications.mfo.de/handle/mfo/1375
Data assimilation: mathematics for merging models and data
Morzfeld, Matthias; Reich, Sebastian
When you describe a physical process, for example,
the weather on Earth, or an engineered system, such
as a self-driving car, you typically have two sources of
information. The first is a mathematical model, and
the second is information obtained by collecting data.
To make the best predictions for the weather, or most
effectively operate the self-driving car, you want to
use both sources of information. Data assimilation
describes the mathematical, numerical and computational
framework for doing just that.
Tue, 10 Jul 2018 00:00:00 GMThttp://publications.mfo.de/handle/mfo/13752018-07-10T00:00:00ZMorzfeld, MatthiasReich, SebastianWhen you describe a physical process, for example,
the weather on Earth, or an engineered system, such
as a self-driving car, you typically have two sources of
information. The first is a mathematical model, and
the second is information obtained by collecting data.
To make the best predictions for the weather, or most
effectively operate the self-driving car, you want to
use both sources of information. Data assimilation
describes the mathematical, numerical and computational
framework for doing just that.Fast Solvers for Highly Oscillatory Problems
http://publications.mfo.de/handle/mfo/1370
Fast Solvers for Highly Oscillatory Problems
Barnett, Alex
Waves of diverse types surround us. Sound, light
and other waves, such as microwaves, are crucial for
speech, mobile phones, and other communication technologies.
Elastic waves propagating through the Earth
bounce through the Earth’s crust and enable us to
“see” thousands of kilometres in depth. These propagating
waves are highly oscillatory in time and space,
and may scatter off obstacles or get “trapped” in
cavities. Simulating these phenomena on computers
is extremely important. However, the achievable
speeds for accurate numerical modelling are low even
on large modern computers. Our snapshot will introduce
the reader to recent progress in designing
algorithms that allow for much more rapid solutions.
Tue, 26 Jun 2018 00:00:00 GMThttp://publications.mfo.de/handle/mfo/13702018-06-26T00:00:00ZBarnett, AlexWaves of diverse types surround us. Sound, light
and other waves, such as microwaves, are crucial for
speech, mobile phones, and other communication technologies.
Elastic waves propagating through the Earth
bounce through the Earth’s crust and enable us to
“see” thousands of kilometres in depth. These propagating
waves are highly oscillatory in time and space,
and may scatter off obstacles or get “trapped” in
cavities. Simulating these phenomena on computers
is extremely important. However, the achievable
speeds for accurate numerical modelling are low even
on large modern computers. Our snapshot will introduce
the reader to recent progress in designing
algorithms that allow for much more rapid solutions.Geometry behind one of the Painlevé III differential equations
http://publications.mfo.de/handle/mfo/1367
Geometry behind one of the Painlevé III differential equations
Hertling, Claus
The Painlevé equations are second order differential
equations, which were first studied more than 100
years ago. Nowadays they arise in many areas in
mathematics and mathematical physics. This snapshot
discusses the solutions of one of the Painlevé
equations and presents old results on the asymptotics
at two singular points and new results on the global
behavior.
Wed, 20 Jun 2018 00:00:00 GMThttp://publications.mfo.de/handle/mfo/13672018-06-20T00:00:00ZHertling, ClausThe Painlevé equations are second order differential
equations, which were first studied more than 100
years ago. Nowadays they arise in many areas in
mathematics and mathematical physics. This snapshot
discusses the solutions of one of the Painlevé
equations and presents old results on the asymptotics
at two singular points and new results on the global
behavior.The codimension
http://publications.mfo.de/handle/mfo/1365
The codimension
Lerario, Antonio
In this snapshot we discuss the notion of codimension,
which is, in a sense, “dual” to the notion of dimension
and is useful when studying the relative position of
one object insider another one.
Tue, 19 Jun 2018 00:00:00 GMThttp://publications.mfo.de/handle/mfo/13652018-06-19T00:00:00ZLerario, AntonioIn this snapshot we discuss the notion of codimension,
which is, in a sense, “dual” to the notion of dimension
and is useful when studying the relative position of
one object insider another one.The mathematics of aquatic locomotion
http://publications.mfo.de/handle/mfo/1364
The mathematics of aquatic locomotion
Tucsnak, Marius
Aquatic locomotion is a self-propelled motion through
a liquid medium. It can be of biological nature (fish,
microorganisms,. . .) or performed by robotic swimmers.
This snapshot aims to introduce the reader to
some of the challenges raised by the mathematical
modelling of aquatic locomotion, even in seemingly
very simple cases.
Tue, 19 Jun 2018 00:00:00 GMThttp://publications.mfo.de/handle/mfo/13642018-06-19T00:00:00ZTucsnak, MariusAquatic locomotion is a self-propelled motion through
a liquid medium. It can be of biological nature (fish,
microorganisms,. . .) or performed by robotic swimmers.
This snapshot aims to introduce the reader to
some of the challenges raised by the mathematical
modelling of aquatic locomotion, even in seemingly
very simple cases.Computing the long term evolution of the solar system with geometric numerical integrators
http://publications.mfo.de/handle/mfo/1355
Computing the long term evolution of the solar system with geometric numerical integrators
Fiorelli Vilmart, Shaula; Vilmart, Gilles
Simulating the dynamics of the Sun–Earth–Moon system
with a standard algorithm yields a dramatically
wrong solution, predicting that the Moon is ejected
from its orbit. In contrast, a well chosen algorithm
with the same initial data yields the correct behavior.
We explain the main ideas of how the evolution of
the solar system can be computed over long times
by taking advantage of so-called geometric numerical
methods. Short sample codes are provided for the
Sun–Earth–Moon system.
Wed, 27 Dec 2017 00:00:00 GMThttp://publications.mfo.de/handle/mfo/13552017-12-27T00:00:00ZFiorelli Vilmart, ShaulaVilmart, GillesSimulating the dynamics of the Sun–Earth–Moon system
with a standard algorithm yields a dramatically
wrong solution, predicting that the Moon is ejected
from its orbit. In contrast, a well chosen algorithm
with the same initial data yields the correct behavior.
We explain the main ideas of how the evolution of
the solar system can be computed over long times
by taking advantage of so-called geometric numerical
methods. Short sample codes are provided for the
Sun–Earth–Moon system.