Mathematics at the Interface of Science and Technology  HeKKSaGOn Meeting 2019
from
Thursday, September 12, 2019 (1:25 PM)
to
Friday, September 13, 2019 (1:15 PM)
Monday, September 9, 2019
Tuesday, September 10, 2019
Wednesday, September 11, 2019
Thursday, September 12, 2019
2:25 PM
Family of SeibergWitten theory and topology of fiber bundles

Tsuyoshi Kato
(
Kyoto
)
Family of SeibergWitten theory and topology of fiber bundles
Tsuyoshi Kato
(
Kyoto
)
2:25 PM  2:45 PM
Room: HS 03
In this talk we will present an example of topological fiber bundles whose base, fiber and total manifolds are all smoothable, but they are not smoothable as fiber bundles. As three basic tools, we use a family SeibergWitten theory developed by BaragliaKonno, KirbySiebenmann theory and topological invariance of rational Pontryagin classes by Novikov. This is a joint work with H.Konno and N.Nakamura.
2:55 PM
An Introduction to Central Limit Theorems for Fréchet Means on Manifolds

Stephan Huckemann
(
Göttingen
)
An Introduction to Central Limit Theorems for Fréchet Means on Manifolds
Stephan Huckemann
(
Göttingen
)
2:55 PM  3:15 PM
Room: HS 03
Generalizing the concept of an expected value to metric spaces, Fréchet (1948) introduced means as minimizers of expected squared distance. Bhattacharya and Patrangenaru (2005) derived a central limit theorem (CLT) for such Fréchet means on manifolds under rather obscure conditions. We generalize their CLT and shed some light on these obscure conditions. It turns out that the CLT may have limiting rates different from the classical Euclidean $n^{1/2}$. The challenge remains, however, to fully understand under which conditions, which specific CLT is valid. This, hopefully, gentle introduction is based on joint work with Benjamin Eltzner.
3:20 PM
Scalar curvature as moment map in generalized Kahler geometry

Ryushi Goto
(
Osaka
)
Scalar curvature as moment map in generalized Kahler geometry
Ryushi Goto
(
Osaka
)
3:20 PM  3:40 PM
Room: HS 03
Fujiki and Donaldson show that the moment map framework plays a crucial role in Kähler geometry and scalar curvature arises as the moment map for the action of Hamiltonian diffeomorphisms. Generalized Kahler Geometry is a successful generalization of the ordinary Kahler Geometry. In pursuit of this analogy, we show that there exists the moment map on a generalized Kähler manifold under the certain cohomological condition. We prove that the Lie algebra of the reduced automorphisms is reductive if a generalized Kahler manifold admits a constant scalar curvature, which is an extension of MatsushimaLichnerowiz theorem.
3:50 PM
(title unknown)

Andrew Sanders
(
Heidelberg
)
(title unknown)
Andrew Sanders
(
Heidelberg
)
3:50 PM  4:10 PM
Room: HS 03
4:15 PM
Curvature, Laplace operator, and distance between spaces

Shouhei Honda
(
Tohoku
)
Curvature, Laplace operator, and distance between spaces
Shouhei Honda
(
Tohoku
)
4:15 PM  4:35 PM
Room: HS 03
In this talk we introduce a distance between two spaces, socalled GromovHausdorff distance, and discuss a question how geometric/analytic quantities are close if the distance is small.
4:40 PM
Controllability and energyoptimal control of timevariant fractional systems

Kaori Nagatou
(
Karlsruhe
)
Controllability and energyoptimal control of timevariant fractional systems
Kaori Nagatou
(
Karlsruhe
)
4:40 PM  5:00 PM
Room: HS 03
Timevariant fractional models are used to describe many applications, e.g. lithiumion batteries. For such models, neither a controllability criterion for state space equations nor the energyoptimal control function are available so far. To overcome this limitation, in this talk a reachability and controllability definition for timevariant fractional state space systems is formulated and the analytical solution of the energyoptimal control problem is presented.
Friday, September 13, 2019
9:00 AM
Cut locus and Riemannian central limit theorems

Fernando GalazGarcia
(
Karlsruhe
)
Cut locus and Riemannian central limit theorems
Fernando GalazGarcia
(
Karlsruhe
)
9:00 AM  9:20 AM
Room: HS 03
Statistics on Riemannian manifolds has attracted much interest, it being the natural setting for considering data on smooth curved spaces. I will discuss a Central Limit Theorem for closed Riemannian manifolds, assuming certain stability hypothesis for the cut locus, which always holds when the manifold is compact but may not be satisfied in the noncompact case. This is joint work with Bejnamin Eltzner, Stephan Huckemann, and Wilderich Tuschmann.
9:25 AM
Geometrical characteristics study for cardiovascular problems

Hiroshi Suito
(
Tohoku
)
Geometrical characteristics study for cardiovascular problems
Hiroshi Suito
(
Tohoku
)
9:25 AM  9:45 AM
Room: HS 03
Aortic aneurysm and aortic dissections persist as lifethreatening hazards. Although patientspecific simulations are common in biomedical engineering and extremely useful for a surgical planning etc., they remain insufficient to elucidate the general characteristics of targeted diseases. We introduce a geometrical characterization of blood vessels, which vary widely among individuals. Through close collaboration between mathematical science and clinical medicine, these analyses yield greater understanding leading to better risk assessments.
9:50 AM
Constructing mechanochemical patterns using geometric singular perturbation theory

Frits Veerman
(
Heidelberg
)
Constructing mechanochemical patterns using geometric singular perturbation theory
Frits Veerman
(
Heidelberg
)
9:50 AM  10:10 AM
Room: HS 03
Mechanochemical models present a new paradigm for biological pattern formation, where the interaction between domain curvature and pattern shape replaces the activatorinhibitor mechanism. Numerical simulations of a mechanochemical model formulated by M. Mercker & A. MarciniakCzochra reveal a wide spectrum of novel patterning phenomena, which are as yet poorly understood from an analytical point of view. Our aim is to develop more analytical insight into the pattern formation process in mechanochemical models of this type. As a first step towards this goal, we show that one can employ methods from geometric singular perturbation theory to construct nonlinear, farfromequilibrium patterns in a general class of mechanochemical models. This analysis reveals a direct relation between the biology as encoded in the nonlinear interaction of model componens and the type of (multiscale) patterns that can arise.
10:20 AM
Shape Optimization Problem based on Modelbased and DataDrive Approach

Takashi Nakazawa
(
Osaka
)
Shape Optimization Problem based on Modelbased and DataDrive Approach
Takashi Nakazawa
(
Osaka
)
10:20 AM  10:40 AM
Room: HS 03
In this presentation, the author suggests shape optimization problem based on Modelbased and DataDrive Approach, for controlling transient flows effectively.
10:45 AM
Geometrical Smeariness

Benjamin Eltzner
(
Göttingen
)
Geometrical Smeariness
Benjamin Eltzner
(
Göttingen
)
10:45 AM  11:05 AM
Room: HS 03
The central limit theorem (CLT) for the mean in Euclidean space features a normal limiting distribution and an asymptotic rate of $n^{1/2}$ for all probability measures it applies to. We revisit the generalized CLT for the Fréchet mean on hyperspheres. For some probability measures, the sample mean fluctuates around the population mean asymptotically at a scale $n^{\alpha}$ with exponent $\alpha = 1/6$ with a nonnormal distribution. This is at first glance in analogy to the situation on a circle. We show that the phenomenon on hyperspheres of higher dimension is qualitatively different, as it does not rely on topological, but geometrical properties on the space, namely on the curvature, not on probability mass near the cut locus.
11:10 AM
The boxball system with random initial conditions and Pitman's transformation

Satoshi Tsujimoto
(
Kyoto
)
The boxball system with random initial conditions and Pitman's transformation
Satoshi Tsujimoto
(
Kyoto
)
11:10 AM  11:30 AM
Room: HS 03
The boxball system(BBS), introduced by Takahashi and Satsuma, is a cellular automaton that exhibits solitonic behaviour. We show that the BBS dynamics can be described by using the transformation of a nearest neighbour path encoding of the particle configuration given by ‘reflection in the past maximum’, which is known as Pitman's transformation. The techniques developed to understand the deterministic dynamics are subsequently applied to study the evolution of the BBS from a random initial configuration.
11:40 AM
Bridging the Gap  Medical Robots and Mathematics

Franziska MathisUllrich
Bridging the Gap  Medical Robots and Mathematics
Franziska MathisUllrich
11:40 AM  12:00 PM
Room: HS 03
Medical Robots are gaining interest in the field of healthcare due to their manifold advantages, such as enabling minimallyinvasive surgical procedures with high precision, reduced tremor, and direct feedback from various sensors to the surgeon. In this talk, I will outline several medical robots, which are commercially available or focused on in current research. Additionally, I will stress the need for mathematical modelling as an applied field of mathematics bridging the gap to modern health care systems.
12:10 PM
Joint Discussion about Future Projects and Cooperations
Joint Discussion about Future Projects and Cooperations
12:10 PM  12:55 PM
Room: HS 03