24 citations · 44 across the 7 of their papers we have counts for
7 papers
How to augment cosmic shear measurements with radio polarimetry of galaxies?
Liang Dai, Junwu Huang, Weichen Winston Yin +2
The integral polarization of spiral galaxies in the radio band has been proposed as a new tracer of the intrinsic galaxy shape that augments lensing shear measurements. We revisit…
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…
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
Benjamin Breen, Marco Del Tredici, Jacob McCarran +6
We present Ax-Prover, a multi-agent system for automated theorem proving in Lean that can solve problems across diverse scientific domains and operate either autonomously or collab…
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…
A New Probe of Cosmic Birefringence Using Galaxy Polarization and Shapes
Weichen Winston Yin, Liang Dai, Junwu Huang +2
We propose a novel statistical method to measure cosmic birefringence and demonstrate its power in probing parity violation due to axions. Exploiting an empirical correlation betwe…
Probing cosmic strings by reconstructing polarization rotation of the cosmic microwave background
Weichen Winston Yin, Liang Dai, Simone Ferraro
Cosmic birefringence -- the rotation of the polarization of the cosmic microwave background (CMB) photons as they travel to the Earth -- is a smoking gun for axion-like particles (…
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…