Fisher Forecasts for Primordial non-Gaussianity from Persistent Homology [CEA]

http://arxiv.org/abs/2203.08262


We study the information content of summary statistics built from the multi-scale topology of large-scale structures on primordial non-Gaussianity of the local and equilateral type. We use halo catalogs generated from numerical N-body simulations of the Universe on large scales as a proxy for observed galaxies. Besides calculating the Fisher matrix for halos in real space, we also check more realistic scenarios in redshift space. Without needing to take a distant observer approximation, we place the observer on a corner of the box. We also add redshift errors mimicking spectroscopic and photometric samples. We perform several tests to assess the reliability of our Fisher matrix, including the Gaussianity of our summary statistics and convergence. We find that the marginalized 1-$\sigma$ uncertainties in redshift space are $\Delta f_{\rm NL}^{\rm loc} \sim 16$ and $\Delta f_{\rm NL}^{\rm equi} \sim 41 $ on a survey volume of $1$ $($Gpc$/h)^3$. These constraints are weakly affected by redshift errors. We close by speculating as to how this approach can be made robust against small-scale uncertainties by exploiting (non)locality.

Read this paper on arXiv…

M. Biagetti, J. Calles, L. Castiblanco, et. al.
Thu, 17 Mar 22
20/66

Comments: 28 pages, 12 figures

Anomalies in the topology of the temperature fluctuations in the cosmic microwave background: An analysis of the $\texttt{NPIPE}$ and $\texttt{FFP10}$ data releases [CEA]

http://arxiv.org/abs/2111.15427


We present a multi-scale topological analysis of the temperature fluctuation maps from the NPIPE and FFP10 datasets, invoking relative homology to account for the analysis in the presence of masks. For the topological components, we detect a $2.96\sigma$ deviation between the observations and simulations at $N = 128, FWHM = 80’$, for the FFP10 dataset. For the topological loops, we observe a high deviation between the observation and simulations in the number of loops at $FWHM = 320’$, at a low dimensionless threshold $\nu = -2.5$, for the NPIPE dataset. Under a Gaussian assumption, this would amount to a deviation of $\sim 4\sigma$ . However, the distribution in this bin is manifestly non-Gaussian and does not obey Poisson statistics either. In the absence of a true theoretical understanding, we simply note that the significance is higher than what may be resolved by $600$ simulations. The FFP10 dataset, indicates a $2.77\sigma$ deviation at this resolution and threshold. The Euler characteristic reflects the deviations in the components and loops. To assess the significance of combined levels for a given scale, we employed the empirical and theoretical versions of the $\chi^2$ test as well as the nonparametric Tukey depth test. Although all statistics exhibit a stable distribution, we favor the empirical version of the $\chi^2$ test in the final interpretation, as it indicates the most conservative differences. Even though both datasets exhibit mild to significant discrepancies, they also exhibit contrasting behaviors at various instances. Therefore, we do not find it feasible to convincingly accept or reject the null hypothesis. Disregarding the large-scale anomalies that persist at similar scales in WMAP and Planck, observations of the cosmic microwave background are largely consistent with the standard cosmological model within $2\sigma$.

Read this paper on arXiv…

P. Pranav
Wed, 1 Dec 21
53/110

Comments: 16 figures, 2 tables. Matches accepted version in A&A. arXiv admin note: substantial text overlap with arXiv:2101.02237

Topology and geometry of Gaussian random fields II: on critical points, excursion sets, and persistent homology [CEA]

http://arxiv.org/abs/2109.08721


This paper is second in the series, following Pranav et al. (2019), focused on the characterization of geometric and topological properties of 3D Gaussian random fields. We focus on the formalism of persistent homology, the mainstay of Topological Data Analysis (TDA), in the context of excursion set formalism. We also focus on the structure of critical points of stochastic fields, and their relationship with formation and evolution of structures in the universe.
The topological background is accompanied by an investigation of Gaussian field simulations based on the LCDM spectrum, as well as power-law spectra with varying spectral indices. We present the statistical properties in terms of the intensity and difference maps constructed from the persistence diagrams, as well as their distribution functions. We demonstrate that the intensity maps encapsulate information about the distribution of power across the hierarchies of structures in more detailed than the Betti numbers or the Euler characteristic. In particular, the white noise ($n = 0$) case with flat spectrum stands out as the divide between models with positive and negative spectral index. It has the highest proportion of low significance features. This level of information is not available from the geometric Minkowski functionals or the topological Euler characteristic, or even the Betti numbers, and demonstrates the usefulness of hierarchical topological methods. Another important result is the observation that topological characteristics of Gaussian fields depend on the power spectrum, as opposed to the geometric measures that are insensitive to the power spectrum characteristics.

Read this paper on arXiv…

P. Pranav
Tue, 21 Sep 21
7/85

Comments: 29 pages, 17 figures, 2 tables, comments welcome

Loops abound in the cosmic microwave background: A $4σ$ anomaly on super-horizon scales [CEA]

http://arxiv.org/abs/2101.02237


We present a topological analysis of the temperature fluctuation maps from the \emph{Planck 2020} Data release 4 (DR4) based on the \texttt{NPIPE} data processing pipeline. For comparison, we also present the topological characteristics of the maps from \emph{Planck 2018} Data release 3 (DR3). We perform our analysis in terms of the homology characteristics of the maps, invoking relative homology to account for analysis in the presence of masks. We perform our analysis for a range of smoothing scales spanning sub- and super-horizon scales corresponding to $FWHM = 5′, 10′, 20′, 40′, 80′, 160′, 320′, 640’$. Our main result indicates a significantly anomalous behavior of the loops in the observed maps compared to simulations that are modeled as isotopic and homogeneous Gaussian random fields. Specifically, we observe a $4\sigma$ deviation between the observation and simulations in the number of loops at $FWHM = 320’$ and $FWHM = 640’$, corresponding to super-horizon scales of $5$ degrees and larger. In addition, we also notice a mildly significant deviation at $2\sigma$ for all the topological descriptors for almost all the scales analyzed. Our results show a consistency across different data releases, and therefore, the anomalous behavior deserves a careful consideration regarding its origin and ramifications. Disregarding the unlikely source of the anomaly being instrumental systematics, the origin of the anomaly may be genuinely astrophysical — perhaps due to a yet unresolved foreground, or truly primordial in nature. Given the nature of the topological descriptors, that potentially encodes information of all orders, non-Gaussianities, of either primordial or late-type nature, may be potential candidates. Alternate possibilities include the Universe admitting a non-trivial global topology, including effects induced by large-scale topological defects.

Read this paper on arXiv…

P. Pranav
Fri, 8 Jan 21
23/48

Comments: 21 pages, 8 figures, 2 tables

Topological Echoes of Primordial Physics in the Universe at Large Scales [CEA]

http://arxiv.org/abs/2012.03616


We present a pipeline for characterizing and constraining initial conditions in cosmology via persistent homology. The cosmological observable of interest is the cosmic web of large scale structure, and the initial conditions in question are non-Gaussianities (NG) of primordial density perturbations. We compute persistence diagrams and derived statistics for simulations of dark matter halos with Gaussian and non-Gaussian initial conditions. For computational reasons and to make contact with experimental observations, our pipeline computes persistence in sub-boxes of full simulations and simulations are subsampled to uniform halo number. We use simulations with large NG ($f_{\rm NL}^{\rm loc}=250$) as templates for identifying data with mild NG ($f_{\rm NL}^{\rm loc}=10$), and running the pipeline on several cubic volumes of size $40~(\textrm{Gpc/h})^{3}$, we detect $f_{\rm NL}^{\rm loc}=10$ at $97.5\%$ confidence on $\sim 85\%$ of the volumes for our best single statistic. Throughout we benefit from the interpretability of topological features as input for statistical inference, which allows us to make contact with previous first-principles calculations and make new predictions.

Read this paper on arXiv…

A. Cole, M. Biagetti and G. Shiu
Tue, 8 Dec 20
62/73

Comments: Condensed version of arXiv:2009.04819, presented at NeurIPS 2020 Workshop “Topological Data Analysis and Beyond.” Companion code available at this https URL

The Persistence of Large Scale Structures I: Primordial non-Gaussianity [CEA]

http://arxiv.org/abs/2009.04819


We develop an analysis pipeline for characterizing the topology of large scale structure and extracting cosmological constraints based on persistent homology. Persistent homology is a technique from topological data analysis that quantifies the multiscale topology of a data set, in our context unifying the contributions of clusters, filament loops, and cosmic voids to cosmological constraints. We describe how this method captures the imprint of primordial local non-Gaussianity on the late-time distribution of dark matter halos, using a set of N-body simulations as a proxy for real data analysis. For our best single statistic, running the pipeline on several cubic volumes of size $40~(\rm{Gpc/h})^{3}$, we detect $f_{\rm NL}^{\rm loc}=10$ at $97.5\%$ confidence on $\sim 85\%$ of the volumes. Additionally we test our ability to resolve degeneracies between the topological signature of $f_{\rm NL}^{\rm loc}$ and variation of $\sigma_8$ and argue that correctly identifying nonzero $f_{\rm NL}^{\rm loc}$ in this case is possible via an optimal template method. Our method relies on information living at $\mathcal{O}(10)$ Mpc/h, a complementary scale with respect to commonly used methods such as the scale-dependent bias in the halo/galaxy power spectrum. Therefore, while still requiring a large volume, our method does not require sampling long-wavelength modes to constrain primordial non-Gaussianity. Moreover, our statistics are interpretable: we are able to reproduce previous results in certain limits and we make new predictions for unexplored observables, such as filament loops formed by dark matter halos in a simulation box.

Read this paper on arXiv…

M. Biagetti, A. Cole and G. Shiu
Fri, 11 Sep 20
-1567/48

Comments: 33+11 pages, 19 figures, code (soon) available at this https URL

Stochastic Homology of Gaussian vs. non-Gaussian Random Fields: Graphs towards Betti Numbers and Persistence Diagrams [CEA]

http://arxiv.org/abs/1908.01619


The topology and geometry of random fields – in terms of the Euler characteristic and the Minkowski functionals – has received a lot of attention in the context of the Cosmic Microwave Background (CMB), as the detection of primordial non-Gaussianities would form a valuable clue on the physics of the early Universe. The virtue of both the Euler characteristic and the Minkowski functionals in general, lies in the fact that there exist closed form expressions for their expectation values for Gaussian random fields. However, the Euler characteristic and Minkowski functionals are summarizing characteristics of topology and geometry. Considerably more topological information is contained in the homology of the random field, as it completely describes the creation, merging and disappearance of topological features in superlevel set filtrations.
In the present study we extend the topological analysis of the superlevel set filtrations of two-dimensional Gaussian random fields by analysing the statistical properties of the Betti numbers – counting the number of connected components and loops – and the persistence diagrams – describing the creation and mergers of homological features. Using the link between homology and the critical points of a function – as illustrated by the Morse-Smale complex – we derive a one-parameter fitting formula for the expectation value of the Betti numbers and forward this formalism to the persistent diagrams. We, moreover, numerically demonstrate the sensitivity of the Betti numbers and persistence diagrams to the presence of non-Gaussianities.

Read this paper on arXiv…

J. Feldbrugge, M. Engelen, R. Weygaert, et. al.
Tue, 6 Aug 19
6/76

Comments: N/A

Topological Data Analysis for the String Landscape [CL]

http://arxiv.org/abs/1812.06960


Persistent homology computes the multiscale topology of a data set by using a sequence of discrete complexes. In this paper, we propose that persistent homology may be a useful tool for studying the structure of the landscape of string vacua. As a scaled-down version of the program, we use persistent homology to characterize distributions of Type IIB flux vacua on moduli space for three examples: the rigid Calabi-Yau, a hypersurface in weighted projective space, and the symmetric six-torus $T^6=(T^2)^3$. These examples suggest that persistence pairing and multiparameter persistence contain useful information for characterization of the landscape in addition to the usual information contained in standard persistent homology. We also study how restricting to special vacua with phenomenologically interesting low-energy properties affects the topology of a distribution.

Read this paper on arXiv…

A. Cole and G. Shiu
Wed, 19 Dec 18
13/84

Comments: 35 pages, 14 figure

Stability and chaos in Kustaanheimo-Stiefel space induced by the Hopf fibration [CL]

http://arxiv.org/abs/1604.06673


The need for the extra dimension in Kustaanheimo-Stiefel (KS) regularization is explained by the topology of the Hopf fibration, which defines the geometry and structure of KS space. A trajectory in Cartesian space is represented by a four-dimensional manifold, called the fundamental manifold. Based on geometric and topological aspects classical concepts of stability are translated to KS language. The separation between manifolds of solutions generalizes the concept of Lyapunov stability. The dimension-raising nature of the fibration transforms fixed points, limit cycles, attractive sets, and Poincar\’e sections to higher-dimensional subspaces. From these concepts chaotic systems are studied. In strongly perturbed problems the numerical error can break the topological structure of KS space: points in a fiber are no longer transformed to the same point in Cartesian space. An observer in three dimensions will see orbits departing from the same initial conditions but diverging in time. This apparent randomness of the integration can only be understood in four dimensions. The concept of topological stability results in a simple method for estimating the time scale in which numerical simulations can be trusted. Ideally all trajectories departing from the same fiber should be KS transformed to a unique trajectory in three-dimensional space, because the fundamental manifold that they constitute is unique. By monitoring how trajectories departing from one fiber separate from the fundamental manifold a critical time, equivalent to the Lyapunov time, is estimated. These concepts are tested on N-body examples: the Pythagorean problem, and an example of field stars interacting with a binary.

Read this paper on arXiv…

J. Roa, H. Urrutxua and J. Pelaez
Mon, 25 Apr 16
6/40

Comments: Accepted in MNRAS. 12 pages, 9 figures