Constraining topology in harmonic space

We consider several ways to test for topology directly in harmonic space by comparing the measured a_lm with the expected correlation matrices. Two tests are of a frequentist nature while we compute the Bayesian evidence as the third test. Using correlation matrices for cubic and slab-space tori, we study how these tests behave as a function of the minimal scale probed and as a function of the size of the universe. We also apply them to different first-year WMAP CMB maps and confirm that the universe is compatible with being infinitely big for the cases considered. We argue that there is an information theoretical limit (given by the Kullback-Leibler divergence) on the size of the topologies that can be detected.