3 papers
math.DG2026
Integral Curves and Flows on Banach Manifolds in Lean
Weichen Winston Yin, Yury Kudryashov
We present a formalisation of the existence and uniqueness theorems of integral curves of vector fields on Banach manifolds in the Lean theorem prover. First, we formalize properti…
astro-ph.GA2025
Polarization-shape alignment of IllustrisTNG star-forming galaxies
Rui Zhou, Liang Dai, Junwu Huang +2
In star-forming disk galaxies, the radio continuum emission (-GHz) powered by star formation has an integrated polarization direction imperfectly aligned with the apparent…
astro-ph.CO2018
Statistical Properties of Scale-Invariant Helical Magnetic Fields and Applications to Cosmology
Axel Brandenburg, Ruth Durrer, Tina Kahniashvili +2
We investigate the statistical properties of isotropic, stochastic, Gaussian distributed, helical magnetic fields characterized by different shapes of the energy spectra at large l…