@article{SchannerMauerbergerKorteetal.2021, author = {Schanner, Maximilian Arthus and Mauerberger, Stefan and Korte, Monika and Holschneider, Matthias}, title = {Correlation based time evolution of the archeomagnetic field}, series = {Journal of geophysical research : JGR ; an international quarterly. B, Solid earth}, volume = {126}, journal = {Journal of geophysical research : JGR ; an international quarterly. B, Solid earth}, number = {7}, publisher = {American Geophysical Union}, address = {Washington}, issn = {2169-9313}, doi = {10.1029/2020JB021548}, pages = {22}, year = {2021}, abstract = {In a previous study, a new snapshot modeling concept for the archeomagnetic field was introduced (Mauerberger et al., 2020, ). By assuming a Gaussian process for the geomagnetic potential, a correlation-based algorithm was presented, which incorporates a closed-form spatial correlation function. This work extends the suggested modeling strategy to the temporal domain. A space-time correlation kernel is constructed from the tensor product of the closed-form spatial correlation kernel with a squared exponential kernel in time. Dating uncertainties are incorporated into the modeling concept using a noisy input Gaussian process. All but one modeling hyperparameters are marginalized, to reduce their influence on the outcome and to translate their variability to the posterior variance. The resulting distribution incorporates uncertainties related to dating, measurement and modeling process. Results from application to archeomagnetic data show less variation in the dipole than comparable models, but are in general agreement with previous findings.}, language = {en} } @article{ReichWeissmann2021, author = {Reich, Sebastian and Weissmann, Simon}, title = {Fokker-Planck particle systems for Bayesian inference: computational approaches}, series = {SIAM ASA journal on uncertainty quantification}, volume = {9}, journal = {SIAM ASA journal on uncertainty quantification}, number = {2}, publisher = {Society for Industrial and Applied Mathematics}, address = {Philadelphia}, issn = {2166-2525}, doi = {10.1137/19M1303162}, pages = {446 -- 482}, year = {2021}, abstract = {Bayesian inference can be embedded into an appropriately defined dynamics in the space of probability measures. In this paper, we take Brownian motion and its associated Fokker-Planck equation as a starting point for such embeddings and explore several interacting particle approximations. More specifically, we consider both deterministic and stochastic interacting particle systems and combine them with the idea of preconditioning by the empirical covariance matrix. In addition to leading to affine invariant formulations which asymptotically speed up convergence, preconditioning allows for gradient-free implementations in the spirit of the ensemble Kalman filter. While such gradient-free implementations have been demonstrated to work well for posterior measures that are nearly Gaussian, we extend their scope of applicability to multimodal measures by introducing localized gradient-free approximations. Numerical results demonstrate the effectiveness of the considered methodologies.}, language = {en} } @article{CozzoniMaibaumHamm2021, author = {Cozzoni, Barbara and Maibaum, Michael and Hamm, Maximilian}, title = {Thermal analysis and constraints for the MASCOT landing site selection on the asteroid Ryugu}, series = {Planetary and space science}, volume = {205}, journal = {Planetary and space science}, publisher = {Elsevier}, address = {Oxford}, issn = {0032-0633}, doi = {10.1016/j.pss.2021.105286}, pages = {11}, year = {2021}, abstract = {In June 2018, after 4 years of cruise, the Japanese space probe Hayabusa2 [1-Watanabe S. et al.: Hayabusa2 Mission Overview. (2017)] reached the Near-Earth Asteroid (162173) Ryugu. Hayabusa2 carried a small Lander named MASCOT (Mobile Asteroid Surface Scout) [2-Ho T. M. et al.: MASCOT-The Mobile Asteroid Surface Scout onboard the Hayabusa2 mission. (2017)], jointly developed by the German Aerospace Center (DLR) and the French Space Agency (CNES), to investigate Ryugu's surface structure, composition and physical properties including its thermal behaviour and magnetization in-situ. The Microgravity User Support Centre (DLR-MUSC) in Cologne was in charge of providing all thermal conditions and constraints necessary for the selection of the final landing site and for the final operations of the Lander MASCOT on the surface of the asteroid Ryugu. This article provides a comprehensive assessment of these thermal conditions and constraints, based on predictions performed with the Thermal Mathematical Model (TMM) of MASCOT using different asteroid surface thermal models, ephemeris data for approach as well as descent and hopping trajectories, the related operation sequences and scenarios and the possible environmental conditions driven by the Hayabusa2 spacecraft. A comparison with the real telemetry data confirms the analysis and provides further information about the asteroid characteristics.}, language = {en} } @article{HastermannReinhardtKleinetal.2021, author = {Hastermann, Gottfried and Reinhardt, Maria and Klein, Rupert and Reich, Sebastian}, title = {Balanced data assimilation for highly oscillatory mechanical systems}, series = {Communications in applied mathematics and computational science : CAMCoS}, volume = {16}, journal = {Communications in applied mathematics and computational science : CAMCoS}, number = {1}, publisher = {Mathematical Sciences Publishers}, address = {Berkeley}, issn = {1559-3940}, doi = {10.2140/camcos.2021.16.119}, pages = {119 -- 154}, year = {2021}, abstract = {Data assimilation algorithms are used to estimate the states of a dynamical system using partial and noisy observations. The ensemble Kalman filter has become a popular data assimilation scheme due to its simplicity and robustness for a wide range of application areas. Nevertheless, this filter also has limitations due to its inherent assumptions of Gaussianity and linearity, which can manifest themselves in the form of dynamically inconsistent state estimates. This issue is investigated here for balanced, slowly evolving solutions to highly oscillatory Hamiltonian systems which are prototypical for applications in numerical weather prediction. It is demonstrated that the standard ensemble Kalman filter can lead to state estimates that do not satisfy the pertinent balance relations and ultimately lead to filter divergence. Two remedies are proposed, one in terms of blended asymptotically consistent time-stepping schemes, and one in terms of minimization-based postprocessing methods. The effects of these modifications to the standard ensemble Kalman filter are discussed and demonstrated numerically for balanced motions of two prototypical Hamiltonian reference systems.}, language = {en} } @article{DeneckeHounnon2021, author = {Denecke, Klaus-Dieter and Hounnon, Hippolyte}, title = {Partial Menger algebras of terms}, series = {Asian-European journal of mathematics}, volume = {14}, journal = {Asian-European journal of mathematics}, number = {06}, publisher = {World Scientific}, address = {Singapore}, issn = {1793-5571}, doi = {10.1142/S1793557121500923}, pages = {14}, year = {2021}, abstract = {The superposition operation S-n,S-A, n >= 1, n is an element of N, maps to each (n + 1)-tuple of n-ary operations on a set A an n-ary operation on A and satisfies the so-called superassociative law, a generalization of the associative law. The corresponding algebraic structures are Menger algebras of rank n. A partial algebra of type (n + 1) which satisfies the superassociative law as weak identity is said to be a partial Menger algebra of rank n. As a generalization of linear terms we define r-terms as terms where each variable occurs at most r-times. It will be proved that n-ary r-terms form partial Menger algebras of rank n. In this paper, some algebraic properties of partial Menger algebras such as generating systems, homomorphic images and freeness are investigated. As generalization of hypersubstitutions and linear hypersubstitutions we consider r-hypersubstitutions.U}, language = {en} } @article{DeOliveiraGomesHoegele2021, author = {De Oliveira Gomes, Andr{\´e} and H{\"o}gele, Michael Anton}, title = {The Kramers problem for SDEs driven by small, accelerated L{\´e}vy noise with exponentially light jumps}, series = {Stochastics and dynamics}, volume = {21}, journal = {Stochastics and dynamics}, number = {04}, publisher = {World Scientific}, address = {Singapore}, issn = {0219-4937}, doi = {10.1142/S0219493721500192}, pages = {44}, year = {2021}, abstract = {We establish Freidlin-Wentzell results for a nonlinear ordinary differential equation starting close to the stable state 0, say, subject to a perturbation by a stochastic integral which is driven by an epsilon-small and (1/epsilon)-accelerated Levy process with exponentially light jumps. For this purpose, we derive a large deviations principle for the stochastically perturbed system using the weak convergence approach developed by Budhiraja, Dupuis, Maroulas and collaborators in recent years. In the sequel, we solve the associated asymptotic first escape problem from the bounded neighborhood of 0 in the limit as epsilon -> 0 which is also known as the Kramers problem in the literature.}, language = {en} } @article{GarmendiaZambon2021, author = {Garmendia, Alfonso and Zambon, Marco}, title = {Quotients of singular foliations and Lie 2-group actions}, series = {Journal of noncommutative geometry}, volume = {15}, journal = {Journal of noncommutative geometry}, number = {4}, publisher = {EMS Press, an imprint of the European Mathematical Society - EMS - Publishing House GmbH, Institut f{\"u}r Mathematik, Technische Universit{\"a}t Berlin}, address = {Berlin}, issn = {1661-6952}, doi = {10.4171/JNCG/434}, pages = {1251 -- 1283}, year = {2021}, abstract = {Androulidakis-Skandalis (2009) showed that every singular foliation has an associated topological groupoid, called holonomy groupoid. In this note, we exhibit some functorial properties of this assignment: if a foliated manifold (M, FM ) is the quotient of a foliated manifold (P, FP ) along a surjective submersion with connected fibers, then the same is true for the corresponding holonomy groupoids. For quotients by a Lie group action, an analogue statement holds under suitable assumptions, yielding a Lie 2-group action on the holonomy groupoid.}, language = {en} } @article{SchickSeyedhosseini2021, author = {Schick, Thomas and Seyedhosseini, Mehran}, title = {On an index theorem of Chang, Weinberger and Yu}, series = {M{\"u}nster journal of mathematics}, volume = {14}, journal = {M{\"u}nster journal of mathematics}, number = {1}, publisher = {WWU, Fachbereich Mathematik und Informatik}, address = {M{\"u}nster}, issn = {1867-5778}, doi = {10.17879/59019522628}, pages = {123 -- 154}, year = {2021}, abstract = {In this paper we prove a strengthening of a theorem of Chang, Weinberger and Yu on obstructions to the existence of positive scalar curvature metrics on compact manifolds with boundary. They construct a relative index for the Dirac operator, which lives in a relative K-theory group, measuring the difference between the fundamental group of the boundary and of the full manifold. Whenever the Riemannian metric has product structure and positive scalar curvature near the boundary, one can define an absolute index of the Dirac operator taking value in the K-theory of the C*-algebra of fundamental group of the full manifold. This index depends on the metric near the boundary. We prove that (a slight variation of) the relative index of Chang, Weinberger and Yu is the image of this absolute index under the canonical map of K-theory groups. This has the immediate corollary that positive scalar curvature on the whole manifold implies vanishing of the relative index, giving a conceptual and direct proof of the vanishing theorem of Chang, Weinberger and Yu (rather: a slight variation). To take the fundamental groups of the manifold and its boundary into account requires working with maximal C*-completions of the involved *-algebras. A significant part of this paper is devoted to foundational results regarding these completions. On the other hand, we introduce and propose a more conceptual and more geometric completion, which still has all the required functoriality.}, language = {en} } @article{MatzkaStolleYamazakietal.2021, author = {Matzka, J{\"u}rgen and Stolle, Claudia and Yamazaki, Yosuke and Bronkalla, Oliver and Morschhauser, Achim}, title = {The geomagnetic Kp index and derived indices of geomagnetic activity}, series = {Space weather : the international journal of research and applications}, volume = {19}, journal = {Space weather : the international journal of research and applications}, number = {5}, publisher = {Wiley}, address = {New York}, issn = {1542-7390}, doi = {10.1029/2020SW002641}, pages = {21}, year = {2021}, abstract = {The geomagnetic Kp index is one of the most extensively used indices of geomagnetic activity, both for scientific and operational purposes. This article reviews the properties of the Kp index and provides a reference for users of the Kp index and associated data products as derived and distributed by the GFZ German Research Centre for Geosciences. The near real-time production of the nowcast Kp index is of particular interest for space weather services and here we describe and evaluate its current setup.}, language = {en} } @article{KemptonMuenchYau2021, author = {Kempton, Mark and M{\"u}nch, Florentin and Yau, Shing-Tung}, title = {A homology vanishing theorem for graphs with positive curvature}, series = {Communications in analysis and geometry}, volume = {29}, journal = {Communications in analysis and geometry}, number = {6}, publisher = {International Press of Boston}, address = {Somerville}, issn = {1019-8385}, doi = {10.4310/CAG.2021.v29.n6.a5}, pages = {1449 -- 1473}, year = {2021}, abstract = {We prove a homology vanishing theorem for graphs with positive Bakry-' Emery curvature, analogous to a classic result of Bochner on manifolds [3]. Specifically, we prove that if a graph has positive curvature at every vertex, then its first homology group is trivial, where the notion of homology that we use for graphs is the path homology developed by Grigor'yan, Lin, Muranov, and Yau [11]. We moreover prove that the fundamental group is finite for graphs with positive Bakry-' Emery curvature, analogous to a classic result of Myers on manifolds [22]. The proofs draw on several separate areas of graph theory, including graph coverings, gain graphs, and cycle spaces, in addition to the Bakry-Emery curvature, path homology, and graph homotopy. The main results follow as a consequence of several different relationships developed among these different areas. Specifically, we show that a graph with positive curvature cannot have a non-trivial infinite cover preserving 3-cycles and 4-cycles, and give a combinatorial interpretation of the first path homology in terms of the cycle space of a graph. Furthermore, we relate gain graphs to graph homotopy and the fundamental group developed by Grigor'yan, Lin, Muranov, and Yau [12], and obtain an alternative proof of their result that the abelianization of the fundamental group of a graph is isomorphic to the first path homology over the integers.}, language = {en} }