-
Comparing Mass Mapping Reconstruction Methods with Minkowski Functionals
Authors:
Nisha Grewal,
Joe Zuntz,
Tilman Tröster
Abstract:
Using higher-order statistics to capture cosmological information from weak lensing surveys often requires a transformation of observed shear to a measurement of the convergence signal. This inverse problem is complicated by noise and boundary effects, and various reconstruction methods have been developed to implement the process. Here we evaluate the retention of signal information of four such…
▽ More
Using higher-order statistics to capture cosmological information from weak lensing surveys often requires a transformation of observed shear to a measurement of the convergence signal. This inverse problem is complicated by noise and boundary effects, and various reconstruction methods have been developed to implement the process. Here we evaluate the retention of signal information of four such methods: Kaiser-Squires, Wiener filter, $\texttt{DarkMappy}$, and $\texttt{DeepMass}$. We use the higher order statistics $\textit{Minkowski functionals}$ to determine which method best reconstructs the original convergence with efficiency and precision. We find $\texttt{DeepMass}$ produces the tightest constraints on cosmological parameters, while Kaiser-Squires, Wiener filter, and $\texttt{DarkMappy}$ are similar at a smoothing scale of 3.5 arcmin. We also study the MF inaccuracy caused by inappropriate training sets in the $\texttt{DeepMass}$ method and find it to be large compared to the errors, underlining the importance of selecting appropriate training cosmologies.
△ Less
Submitted 21 June, 2024; v1 submitted 21 February, 2024;
originally announced February 2024.
-
Minkowski Functionals in Joint Galaxy Clustering & Weak Lensing Analyses
Authors:
Nisha Grewal,
Joe Zuntz,
Tilman Tröster,
Alexandra Amon
Abstract:
We investigate the inclusion of clustering maps in a weak lensing Minkowski functional (MF) analysis of DES-like and LSST-like simulations to constrain cosmological parameters. The standard 3x2pt approach to lensing and clustering data uses two-point correlations as its primary statistic; MFs, morphological statistics describing the shape of matter fields, provide additional information for non-Ga…
▽ More
We investigate the inclusion of clustering maps in a weak lensing Minkowski functional (MF) analysis of DES-like and LSST-like simulations to constrain cosmological parameters. The standard 3x2pt approach to lensing and clustering data uses two-point correlations as its primary statistic; MFs, morphological statistics describing the shape of matter fields, provide additional information for non-Gaussian fields. Previous analyses have studied MFs of lensing convergence maps; in this project we explore their simultaneous application to clustering maps. We employ a simplified linear galaxy bias model, and using a lognormal curved sky measurement and Monte Carlo Markov Chain (MCMC) sampling process for parameter inference, we find that MFs do not yield any information in the $Ω_{\rm m}$ -- $σ_8$ plane not already generated by a 3x2pt analysis. However, we expect that MFs should improve constraining power when nonlinear baryonic and other small-scale effects are taken into account. As with a 3x2pt analysis, we find a significant improvement to constraints when adding clustering data to MF-only and MF$+C_\ell$ shear measurements, and strongly recommend future higher order statistics be measured from both convergence and clustering maps.
△ Less
Submitted 22 August, 2022; v1 submitted 8 June, 2022;
originally announced June 2022.
-
Formal Languages via Theories over Strings
Authors:
Joel D. Day,
Vijay Ganesh,
Nathan Grewal,
Florin Manea
Abstract:
We investigate the properties of formal languages expressible in terms of formulas over quantifier-free theories of word equations, arithmetic over length constraints, and language membership predicates for the classes of regular, visibly pushdown, and deterministic context-free languages. In total, we consider 20 distinct theories and decidability questions for problems such as emptiness and univ…
▽ More
We investigate the properties of formal languages expressible in terms of formulas over quantifier-free theories of word equations, arithmetic over length constraints, and language membership predicates for the classes of regular, visibly pushdown, and deterministic context-free languages. In total, we consider 20 distinct theories and decidability questions for problems such as emptiness and universality for formal languages over them. First, we discuss their relative expressive power and observe a rough division into two hierarchies based on whether or not word equations are present. Second, we consider the decidability status of several important decision problems, such as emptiness and universality. Note that the emptiness problem is equivalent to the satisfiability problem over the corresponding theory. Third, we consider the problem of whether a language in one theory is expressible in another and show several negative results in which this problem is undecidable. These results are particularly relevant in the context of normal forms in both practical and theoretical aspects of string solving.
△ Less
Submitted 1 May, 2022;
originally announced May 2022.