arxiv: v2 [astro-ph.co] 6 Oct 2016

Transcription

1 Mon. Not. R. Astron. Soc., () Printed 2 October 218 (MN LATEX style file v2.2) arxiv: v2 [astro-ph.co] 6 Oct 216 The Distribution of Bubble Sizes During Reionization Yin Lin 1,2, S. Peng Oh 1, Steven R. Furlanetto 3, P.M. Sutter 4,5,6 1 Department of Physics; University of California; Santa Barbara, CA 9316, USA. 2 Department of Physics; University of Chicago, Chicago, IL 6637, USA. 3 University of California Los Angeles, Department of Physics and Astronomy, Los Angeles, CA 995, USA. 4 INFN - National Institute for Nuclear Physics, via Valerio 2, I Trieste, Italy 5 INAF - Osservatorio Astronomico di Trieste, via Tiepolo 11, Trieste, Italy 6 Center for Cosmology and Astro-Particle Physics, Ohio State University, Columbus, OH October INTRODUCTION Reionization is the last global event in the history of our universe, akin to primordial nucleosynthesis or recombination, in which virtually all baryons participated. What would be at the top of our wish list in understanding this still mysterious epoch? Clear frontrunners are: (i) the progress of reionization, or Q HII(z), the growth of the HII filling fraction with time. Its time derivative is closely related to the comoving emissivity, and functions as reionization s Madau plot. (ii) The topology of reionization, or the distribution of HII bubble sizes. This is reionization s mass function, and illuminates many properties of the underlying galaxy distribution and radiative transfer during reionization. Current influential models suggest that reionization proceeds outward from overdense regions ( inside out ); galaxy clustering produces large ( 1s Mpc comoving) HII regions whose characteristic size increases as reionization progresses. The distribution of bubble sizes was first predicted analytically via the ABSTRACT A key physical quantity during reionization is the size of HII regions. Previous studies found a characteristic bubble size which increases rapidly during reionization, with apparent agreement between simulations and analytic excursion set theory. Using four different methods, we critically examine this claim. In particular, we introduce the use of the watershed algorithm widely used for void finding in galaxy surveys which we show to be an unbiased method with the lowest dispersion and best performance on Monte-Carlo realizations of a known bubble size PDF. We find that a friends-offriends algorithm declares most of the ionized volume to be occupied by a network of volume-filling regions connected by narrow tunnels. For methods tuned to detect the volume-filling regions, previous apparent agreement between simulations and theory is spurious, and due to a failure to correctly account for the window function of measurement schemes. The discrepancy is already obvious from visual inspection. Instead, HII regions in simulations are significantly larger (by factors of 1 1 in volume) than analytic predictions. The size PDF is narrower, and evolves more slowly with time, than predicted. It becomes more sharply peaked as reionization progresses. These effects are likely caused by bubble mergers, which are inadequately modeled by analytic theory. Our results have important consequences for high-redshift 21cm observations, the mean free path of ionizing photons, and the visibility of Lyα emitters, and point to a fundamental failure in our understanding of the characteristic scales of the reionization process. Key words: galaxies:evolution intergalactic medium cosmology: theory excursion set formalism (Furlanetto et al. (24); hereafter FZH4 ), and has since been largely corroborated by comparisons with semi-numeric and radiative transfer simulations of reionization (Mesinger & Furlanetto 27; McQuinn et al. 27b; Zahn et al. 27, 211). These all paint an apparently consistent picture of an approximately lognormal bubble size distribution which peaks at a characteristic scale, and becomes increasingly peaked as reionization progresses. Indeed, given the complexity of the reionization process, the agreement between simulations and analytic theory (which for instance assumes spherical bubbles, as opposed to the complex, non-spherical shapes seen in simulations) is remarkable. Interestingly, a dissenting view came from Iliev et al. (26) and Friedrich et al. (211), which found from friends-of-friends analysis of large scale radiative transfer simulations two populations of HII regions: numerous, mid-sized ( 1 Mpc) regions, and rare, very large regions several tens of Mpc in size, which contained a considerable

2 2 Lin, Oh, Furlanetto & Sutter fraction of the volume. Recently, Paranjape & Choudhury (214) presented a modified excursion set theory calculation which predicts typical bubble sizes more than a factor two larger than earlier calculations a trend which is borne out and amplified in this work. The characteristic scale of bubbles is of considerable importance: the characteristic scale of bubbles affects the amplitude of 21cm brightness temperature fluctuations and the scale at which they peak. The size of bubbles directly affects our ability to do direct imaging and tomography, as well as our ability to cross-correlate the fluctuating 21cm signal against the galaxy population (particularly against lines whose visibility is directly affected by bubble size, for instance Lyα). Large bubbles may also assist with the recovery of large-scale 21cm modes which are otherwise inaccessible due to foreground subtraction (Petrovic & Oh 211). Thus, theoretical calculations of bubble size have been crucial in setting the science agenda for low-frequency interferometers, and indeed in instrument design itself. It is one of the most important theoretical inputs to instrumentalists. In this paper, we provide a critical re-analysis of some of the methods previously used to characterize bubble size in numerical simulations, and in addition employ a new algorithm, the watershed method, which has previously been used to detect voids in galaxy surveys (Platen et al. 27; Neyrinck 28; Sutter et al. 215). The definition of bubble size is somewhat ambiguous: different methods weight bubble topology in different ways, and will return different answers for the bubble size. For instance, if connectedness is our only metric, then past a critical point, virtually all of the ionized volume is consumed by a single large bubble, a result which can be understood from percolation theory (Furlanetto & Oh 216). Nonetheless, for metrics which are most physically and observationally relevant, we find effective bubble radii larger than that predicted by excursion set theory by a factor of a few, up to an order of magnitude (and thus larger bubble volumes by 1-3 orders of magnitude). The outline of this paper is as follows: in 2, we discuss the four methods we use to characterize bubble sizes, and how they are tested and calibrated against control samples. In 3, we then apply these methods to simulations of reionization. In 4, we describe convergence studies. In 5, we discuss implications of our findings, and conclude in 6. Unless otherwise specified, all distances are in comoving units. 2 METHOD We use 4 methods of analyzing reionization simulations to obtain the bubble size distribution. Two, the distance transform (DT; Zahn et al. 27, 211) and the mean free path (MFP; Mesinger & Furlanetto 27) methods have previously been used to obtain singly peaked distributions with characteristic bubble sizes in good agreement with excursion set theory. The third, friends of friends (FoF; Iliev et al. 26; Friedrich et al. 211) was shown to yield a bimodal distribution. The last, the watershed algorithm, has never previously been used in this context. In this section, we compare and contrast these different algorithms by: (i) deriving their window function W (r/r), i.e. the derived bubble size distribution for a single spherical bubble of radius R; this determines how accurately the underlying bubble size distribution can W(r/R) r (Mpc) Figure 1. The bubble PDF for numerical calculations of the mean free path (MFP) and distance transform (DT) of a sphere of radius R = 1 Mpc. The red dotted line is for the DT, the blue dashed line and the yellow solid line are for numerical and analytic calculations of the MFP respectively (note their excellent agreement), and the pink dash-dot line is the MFP window function used by Mesinger & Furlanetto (27). The watershed and FoF algorithms give delta functions at the true bubble size. rdp/dr r (Mpc) Figure 2. Bubble PDFs for Monte Carlo toy box sampled at Q HII =.5 (z=11 for ζ = 4), with an Lagrangian FZH4 bubble mass function. Each line is normalized to be integrated to unity. The black line is the unconvolved excursion set density function. The green solid line is the watershed PDF (smoothing parameter h =.7). The blue and red solid lines are the convolution of direct sampling of the excursion set prediction with the MFP and DT window functions respectively. The blue and red dashed lines are the convolution of the watershed PDF with the MFP and DT window functions. The blue and red dotted lines are the results of MFP sampling with 1 7 samples and DT. The FoF algorithm identifies most of the volume in a single large bubble and is not shown.

3 The Distribution of Bubble Sizes During Reionization 3 be determined. (ii) validating their performance on a Monte- Carlo realization of spherical bubbles drawn from the distribution predicted by excursion set theory. At this stage, we deliberately restrict ourselves to spherical bubbles since sphericity is an explicit assumption of excursion set theory. If an algorithm already fails in this idealized regime, there is no reason to trust its results in more complicated settings. Note that the DT and MFP methods do not yield a unique segmentation of the ionization field into bubbles of different sizes (membership in a bubble of size R is only assigned one voxel at a time), while the FoF and watershed methods do result in a unique partitioning which can be visualized. We focus on the statistic dp/dr, i.e. the probability that an ionized voxel selected at random lies in a bubble with radius in the range (R, R + dr). We generally plot dp/d(ln R), normalized to unity, which is equivalent to the fraction of volume occupied by bubbles with these radii. Given an intrinsic PDF [dp/d(ln R)] i, the recovered bubble PDF is: ( ) dp = dln R obs ( ) dp d(ln r) W (r/r) (1) dln r i where W (r/r) is the window function (i.e., (dp/d(ln R)) obs for a single bubble of radius R). For a spherical bubble distribution with a differential number density as a function of radius dn/dr, ( ) dp = V dln r i Q HII dn dln r, (2) where V = 4/3πr 3, and < Q HII < 1 is the volume filling fraction of ionized regions. Note that the number density dn/dr must be in Eulerian coordinates to compare to results from our simulations. However, the analytic FZH4 model predictions are in Lagrangian coordinates. We use the following procedure to transform between the two. Let r be the comoving Lagrangian radius and r be the comoving Eulerian radius. From the standard spherical collapse model we obtain (Paranjape & Choudhury 214): r = 2 6 2/3 (θ sin θ) 2/3 r 1 cos θ where θ is the development angle which, at a given redshift z and linear density contrast δ, can be determined from (3) z = 3 62/3 2δ (θ sin θ) 2/3 (4) where we use δ = D(z)B(m, z), where D(z) is the growth factor and B(m, z) is the linear fit to barrier as presented in FZH4. We can rewrite equation (2) as ( ) dp = V ( ) ( ) 1 dn dln r i Q HII dln r = V dn V d ln r Q HII d ln r V d ln r (5) where dn/dr is the Lagrangian number density in FZH4, V = (4/3)πr 3 is the Lagrangian volume, and the Jacobian d ln r/d ln r is equal to ln r = 1 ln r dσ2 dr ( db d ln σ θ(θ sin θ) 2 (1 cos θ) 2 ), (6) and σ(m) is the density fluctuation variance linearly extrapolated to z =. Finally, the filling fraction 1 is given by Q HII = r min V dn (d ln r) (7) d ln r where r min corresponds to the smallest possible ionized bubble, which is ionized by a single halo with virial temperature T vir = 1 4 K. The transformation between Lagrangian and Eulerian coordinates is a small (< 1%) correction. It is only used when comparing FZH4 to simulation results (and not, for instance, when creating a Monte-Carlo catalog from a given bubble PDF, e.g. 3.1). 2.1 Distance Transform (DT) The use of spherical averaging (McQuinn et al. 27b; Zahn et al. 27) was motivated by how bubbles are defined and generated within the excursion set formalism, and in principle should provide the closest correspondence to bubble sizes predicted by excursion set theory. At each point in the simulation box, one draws progressively smaller spheres of radius R, and smooths the ionization field within the sphere. The voxel is deemed to belong to the largest sphere of radius R where the smoothed ionization fraction exceeds a threshold value x t HII. The short mean free path of UV ionizing photons at ionization fronts means that the IGM is predominantly two-phase, and values of x t HII between and 1 are generally finite resolution effects. For simplicity, we use x t HII = 1 as it gives an analytic window function; lower values of x t HII give similar results (Zahn et al. 211). For this threshold value, spherical averaging is exactly the same as the distance transform later used as a step in the watershed algorithm; each voxel is labelled by the shortest distance to a neutral voxel. We henceforth refer to this as the distance transform ( DT ) method. Consider a point in a sphere of radius R, which is a distance r away from the closest boundary of the sphere, and a distance (R r) from the sphere s center. The probability of hitting such a point at random is dp = 4π(R r) 2 dr/(4/3)πr 3, or (Friedrich et al. 211): ( r ) W = R ( d P d ln r ) ( r ) ( = 3 1 r ) 2. (8) R R In Fig 1, we show a numerical calculation of W (r/r), which agrees with equation (8). Clearly the DT is a poor method for estimating bubble sizes: it has a broad smoothing kernel spanning 2 dex, and peaks at r = R/3. This distortion arises because there is more volume and hence more voxels at large radii, where the distance to the HII boundary is smaller. Since the true PDF is convolved with this window function, the observed PDF will be smeared out and biased toward lower bubble sizes. This is clearly apparent in Fig. 2, where the DT method does not recover the underlying bubble distribution of a Monte-Carlo catalog where bubbles are randomly drawn from the FHZ4 PDF (see 3.1 for more 1 For subtle reasons, equation (7) and the frequently used alternative Q HII = ζf coll, where ζ is the ionizing efficiency and f coll is the collapse fraction of dark matter halos above a threhold mass, which in principle should be equivalent, can differ slightly (Paranjape et al. 216).

4 4 Lin, Oh, Furlanetto & Sutter details), but a distorted version heavily biased toward small bubble sizes. Indeed, we see that if we take the true bubble distribution and convolve it with the window function (equation 8), then this matches our numerical result very well. We regard the DT as an inferior technique for inferring bubble sizes. 2.2 Mean Free Path (MFP) This method, first used by Mesinger & Furlanetto (27), consists of selecting a random ionized point, choosing a random direction, and finding the distance along that direction to the boundary of the HII region. Repeatedly performing this in a Monte-Carlo fashion allows us to find the PDF of mean free paths, which acts as a proxy for bubble size. This measure is attractive because photon mean free path (which, until the late stages of reionization, is primarily determined by bubble size rather than absorption by Lyman limit systems) is an important physical variable. It is crucial in setting the strength of the ionizing background Γ ɛλ (where ɛ is the emissivity and λ is the mean free path). We present an analytic derivation of the window function in Appendix A. In Fig 1, we compare this expression with direct numerical calculations of the MFP PDF for a single spherical bubble; the two agree extremely well. Note that our window function differs from the erroneous expression derived by Mesinger & Furlanetto (27), which disagrees with direct numerical calculations. The Mesinger & Furlanetto (27) window function is somewhat narrower and peaked toward larger bubble sizes (see Fig 1); because this assumed window function is convolved with the excursion set theory prediction, it skews predicted bubble sizes to be larger, somewhat reducing the discrepancy between theory and simulations. 2 In Fig 1, we see that the MFP is unbiased and peaks at the correct bubble size. However, it is also asymmetric and comparable in width ( 2 dex in r/r) to the DT method. The large number of voxels close to the bubble boundary have opposing short and long lines of sight which give the correct mean, but an asymmetric distribution. The MFP method thus introduces some smoothing and distortion of the underlying PDF, but for our purposes it should be acceptable. In Fig 2, we see that the MFP method reasonably approximates the input PDF in a Monte-Carlo simulation. Also, the input PDF convolved with our window function matches our numerical result, confirming that we have the correct window function. Note that Friedrich et al. (211) find that the bubble PDF derived from the MFP method is sensitive to the threshold x th used to demarcate the transition between neutral and ionized regions. This is largely a resolution effect: as resolution increases, the fraction of partially ionized voxels decreases. Since the semi-numeric simulations we use by their nature divide the IGM into fully ionized or fully neutral regions, with only a negligible fraction of partially ionized voxels, we find that this is much less of a problem in our work. 2 Mesinger & Furlanetto (27) did, however, use the MFP method to observe the main effects we see ( 3.2): larger bubble sizes in the simulations, with slower evolution in the bubble PDF compared to theory. 2.3 Friends of Friends (FoF) The friends of friends algorithm groups together neighboring cells of the same equivalence class. It has been widely used for halo-finding in cosmological N-body simulations, where all particles separated by less than a given linking length b l (where l = n 1/3 is the mean inter-particle separation and b is a free parameter) are assigned to the same halo. Here, it links together neighboring cells which are either ionized or neutral. Unlike other methods, FoF is relatively insensitive to the topology of ionized regions. A network of connected tunnels will be classified as a single monolithic entity with a large volume, whereas the other methods we use will consider them to be a large collection of smaller ionized regions. Using FoF, Iliev et al. (26) and Friedrich et al. (211) found a surprising result: the bubble size distribution is bimodal, with the vast majority of the ionized volume in a single large bubble as reionization progresses. This is in sharp contrast to the findings of other methods, and predictions from the excursion set formalism, and raises the question of whether some crucial aspect of reionization has been missed. For a single sphere, FoF correctly segments the entire bubble; its window function is a delta function. For the Monte-Carlo catalog, the distribution is bimodal and dominated by a single large bubble; past an ionization fraction of 3%, it occupies virtually all of the volume. Fig 3 shows the volume fraction of the largest ionized bubble for realistic semi-numeric simulations of reionization; it starts to dominate and quickly rise toward unity once the volume fraction exceeds 15%. If connectedness is our only criterion, then throughout reionization, most of the volume is in a single bubble. Thus, in Fig 2, the bubble size distribution is essentially a delta function with a bubble volume x HIIV box. This structure is created by bubble overlap (even in the absence of clustering) and regardless of the details of the underlying PDF. For instance, it arises even if all bubbles are identical (so the PDF is a delta function). It is also robust to the details of the FoF algorithm (for instance, in Fig. 3, we show find fairly similar behavior given two different criteria for connectedness, requiring either 6 or 26 nearest neighbors). Its appearance has less to do with details of the reionization process, but rather is a generic feature of any percolation process (Furlanetto & Oh 216). 2.4 Watershed Algorithm The watershed algorithm is a well-known 2D image segmentation algorithm (see Soille (213), and references therein). The essential idea is to connect constant values of a scalar field (e.g. greyscale), and treat them as contour lines indicating height in a topographic map. If one floods this topographic surface with water, it will break up into different catchment basins, demarcated by watershed lines. This provides the required image segmentation. We have extended the watershed algorithm to 3D. Such a 3D extension has been used for void-finding in both cosmological simulations and galaxy surveys (Platen et al. 27; Neyrinck 28; Sutter et al. 215). The detailed procedure is as follows: Binary transform. We first apply a threshold x th HI such that if the neutral fraction x HI > x th HI, we set x HI = 1; otherwise, x HI =. This eliminates ambiguity about

5 The Distribution of Bubble Sizes During Reionization 5 volume fraction ionization fraction Figure 3. The fractional volume of ionized voxels inside the largest ionized bubble as defined by FoF method. The blue plot is for 26 connected neighborhood voxels (i.e., each voxel must have 26 neighbors, consisting of face, edge, or vertex adjacent voxels) whereas the red plot is for 6 connected neighborhood voxels (requiring only face adjacent voxels). whether a voxel is neutral or ionized. We choose x th HI = 1 (i.e., a voxel is ionized if and only if it is completely ionized); in practice we find we are not sensitive to this threshold. Distance Transform. Next, we assign to each ionized voxel i the Euclidean distance d i to the nearest neutral voxel (if the voxel is neutral, then d i = ). We use voxel units in which the side of a single voxel is one. As previously noted, this distance transform is identical to spherical averaging methods used by previous authors ( 2.1) in the limit of a two-phase medium. To ensure congruence with standard watershed terminology, we then invert d i d i. Identify local minima. We identify local minima of the scalar 3D array d i. These naturally correspond to our notion of bubble centers, since they are as distant as possible from HII region boundaries as possible. In watershed terminology, these are the bottoms of separate catchment basins. In principle, all that is now required is to identify the boundaries between different catchment areas ( watershed lines ). In practice, this leads to the well-known problem of oversegmentation, because every single local minimum, no matter how small, forms its own catchment basin. Thus, Poisson noise can lead to an obviously contiguous single bubble being spuriously sub-divided into many small bubbles. Threshold To avoid this, we suppress shallow minima via the so called h-minimum transform that smooths out the map. Unlike Gaussian smoothing, such transformation preserves the topology of ionized regions without mixing neutral region voxels in it. Suppose a set of voxels d i rests in a catchment basin. In this catchment basin, there could be multiple sets of connected components (known as markers in image processing nomenclature) which create artificial sub-boundaries within a single catchment basin. The h-minimum transform smooths out those spurious local minima by imposing a contrast limit, h. If the differences in voxel value between a local minimum d min and its surrounding voxels is less than h, then this shallow local minimum is potentially due to noise. We cut off the tip of this minimum by setting this voxel and all of its neighbors to the value d min + h (note that d min is negative, so this corresponds to reducing the depth of the minimum). With an appropriate choice of h, we can eliminate small fluctuations at the bottom of the catchment basin which result in spurious over segmentation. Note that h values we quote are in voxel units, not in physical units. Hence, the appropriate values of h can change as we change the resolution of box. Identify bubble boundaries. Now that the bubble centers have been found, we identify bubble boundaries. To do this, we inject fluid from markers (the minima of catchment basins) until they just touch. In practice, this corresponds to identifying contours of constant d i. These watershed lines denote the bubble boundaries. In the absence of smoothing or thresholding, this procedure is guaranteed to assign every ionized voxel to a bubble. However, with thresholding, bubbles below the scale h are either merged with larger bubbles or ignored. To conserve the total ionized fraction, we manually add back the smaller bubbles which were not merged into larger structures. These constitute a small fraction of the ionized volume ( 1% of total ionized voxels ). In this paper, we use h < 1. Thus, the thresholding process only affects minima in large bubbles (where neighboring voxels can have distances from the boundary which differ by less than unity). The smallest possible isolated bubble has d min = 1, and is not eliminated by the smoothing process. Thus, this complication is not important for us. We now have a unique partitioning of ionized voxels into distinct bubbles, which we can use to calculate bubble volumes V. To compare against excursion set theory, we calculate the effective spherical radius R eff = (3V/4π) 1/3 of each bubble. For a single spherical bubble, the watershed algorithm correctly identifies the entire region as ionized i.e., similar to FoF, its window function is a delta function at the true value. It also performs very well on Monte-Carlo catalogs, as we describe below. 3 RESULTS 3.1 Monte-Carlo Tests As a test bed and to better understand and validate our bubble-size measurement algorithms, we begin with Monte- Carlo bubble catalogs where the bubble size distribution is fully specified. We use the bubble size distribution given by excursion set theory; our fiducial test case corresponds to an ionization fraction of Q HII =.5 (and z = 11, using an ionizing efficiency of ζ = 4 in the FZH4 model). We create a Monte-Carlo realization of spherical bubbles drawn from the FZH4 mass function in a 5 3 box, 1 cmpc on a side. These bubbles are simply laid down randomly in a box; provided bubble overlap is small, we are guaranteed to be sampling from a known bubble PDF. This is not (as in semi-numeric algorithms, e.g., Mesinger & Furlanetto 27) a direct implementation of the excursion set approach. As we shall see, the latter in fact has a bubble PDF quite different from that predicted by analytic theory. The results are shown in Fig 2. We show the probability density function dp/d(log R), normalized to integrate

6 6 Lin, Oh, Furlanetto & Sutter Figure 4. A slice of the watershed segmentation of the Monte Carlo box; different colors denote separate bubbles. Figure 5. Watershed bubble PDFs of semi-numeric simulation boxes with Q HII =.28,.49,.78 (ζ = 55, 54, 5 at z = 12, 11, 1). The black solid lines from left to right are the excursion predictions for increasing Q HII, while the dashed lines from left to right are the watershed results. to unity. The results for each of the four methods are in line with what one might expect from the spherical window functions shown in Fig 1: (i) the watershed algorithm shows excellent performance, which is to be expected since it does an excellent job with isolated spherical bubbles (Fig. 1). The slightly narrower width can be understood from the adopted smoothing parameter (h =.7; h is in voxel units) which suppresses small bubbles. We explore sensitivity to smoothing in 4. (ii) The mean free path algorithm also does an excellent job. The slight shift toward smaller bubble sizes can be understood from the long tail of the window function toward small scales. Indeed the convolution of the excursion set PDF with the MFP window function closely corresponds to our results. (iii) By contrast, the distance transform performs very poorly in this Monte-Carlo trial, underestimating characteristic scales by an order of magnitude. Note that although the distance transform underestimates the single bubble size by a factor of 3, once this window function is convolved with a bubble population, the distortion to the peak of the probability distribution can be considerably larger. The underlying excursion set PDF convolved with the DT window function matches our results. As one might expect, the watershed PDF convolved with the MFP and DT window functions also give excellent results. (iv) Finally, the FoF algorithm identifies most of the ionized volume in a single giant ionized bubble. The origins and implications of this result, which can be understood from percolation theory, are examined in detail in Furlanetto & Oh (216). In Fig 4, we show a slice through the simulation box. Each color labels a unique region found by the watershed algorithm. For the spatially Poisson distributed realization we have created, bubble overlap appears fairly minimal in 2D slices (note, however, that they are actually intercon- nected through narrow channels largely outside this slice, as can be shown using the FoF algorithm). In reality, bias at high redshift means that bubbles will inevitably be clustered (Furlanetto et al. 24). Once bubble overlap is significant, we no longer know the underlying mass function indeed, its definition can be ambiguous (see 5 for more discussion). As we shall see, clustering renders the watershed algorithm sensitive to the degree of smoothing applied. 3.2 Application to Simulations of Reionization Now that our bubble size measurement algorithms have been carefully characterized and tested, we deploy them on seminumeric simulations of reionization. We use the 21cmFAST code (Mesinger & Furlanetto 27), which allows large, relatively high resolution simulations to be computationally affordable, by obviating the need for hydrodynamics or radiative transfer. We shall find that accurate resolving the bubble PDF, particularly in the late stages of reionization, requires large boxes ( 5 Mpc), which are difficult with numerical simulations due to the large required dynamic range. While they may differ in detail from radiationhydrodynamics simulations, the gross morphology of HII regions in side-by-side comparisons of the two approaches starting from the same initial conditions is extremely similar (McQuinn et al. 27b; Zahn et al. 27, 211). For our purposes, where we aim to explore the gross evolution of the characteristic scale with redshift, rather than fine details of the bubble PDF, this level of accuracy is sufficient. The main limitation with standard semi-numeric simulations is that they incorporate opacity due to Lyman limit systems in a very approximate manner. The latter can change the morphology of the ionization field, particularly in the late stages of reionization (Furlanetto & Oh 25; Finlator et al. 212; Sobacchi & Mesinger 214). Thus, reported bubble sizes for

7 The Distribution of Bubble Sizes During Reionization Figure 6. Mean free path (MFP) PDFs of semi-numeric simulation boxes with Q HII =.28,.49,.78 (ζ = 55, 54, 5 at z = 12, 11, 1). The black solid lines from left to right are the excursion predictions convolved with the MFP window function, in order of increasing Q HII. The blue dot dashed lines are the watershed results (also convolved with the MFP window function), and the red dashed lines are the mean free path results with 1 7 samples. 1 1 Figure 8. Distance transform probability density functions for semi-numeric simulation boxes versus the excursion set predictions (not convolved with the DT window function). The black lines are excursion set predictions and the red curves are distance transform results at z = 12, 11, and 1 (Q HII =.28,.49,.78) from left to right respectively. These show apparent (and spurious!) agreement. The cutoff at 1 Mpc (and consequent distortion of the PDF) for the z = 11, 1 boxes is due to finite resolution effects; see discussion in text Figure 7. Distance transform probability density functions for semi-numeric simulation boxes with Q HII =.28,.49,.78 (ζ = 55, 54, 5 at z = 12, 11, 1). The black solid lines from left to right are the excursion set predictions convolved with the DT window function, in order of increasing Q HII. The blue dot dashed lines are the watershed results (also convolved with the DT window function), and the red dashed lines are results for the direct distance transform. the late stages of reionization may be less reliable. In any case, as Q HII 1, it is probably more sensible to construct a size PDF of neutral regions. Also, it should be noted that the mean free path here refers to bubble sizes, and does not take into account the fact that photon mean free paths are eventually regulated not by bubble sizes but by Lyman limit systems. The 21cmFAST code uses an excursion-set theory approach to generating the ionization field 3. A linear density field is generated at high redshift, then evolved to lower redshift using linear theory and the Zel dovich approximation. Using a conditional mass function from a voxel s mean density, a source catalog is generated for halos with virial temperature T > 1 4 K (as needed for hydrogen atomic cooling). The ionization field is then generated from the source catalog using excursion set theory (specifically, finding the largest spherical regions which can be ionized by the enclosed sources). We use the default setting of a maximum bubble size of R max = 3 Mpc to crudely model the effects of absorption of ionizing photons in the IGM 4. Our boxes are 5 3. We use a cosmology of Ω m =.31, Ω Λ =.69, Ω b =.49, h =.67, n =.96, σ 8 =.83 that matches the results of Planck 215 (Planck Collaboration et al. 215). We examine bubble PDFs at three Q HII in 3 It may seem wrong-headed to use excursion-set theory simulations to test excursion set theory. We discuss this point in 5. 4 This setting in 21CMFAST sets the maximum size of a single spherical ionized region which can be obtained using the spherical filtering procedure. This does not directly correspond to the bubbles given by our procedure for instance, if two 3 Mpc bubbles overlap, this gives rise to a larger ionized region.

8 8 Lin, Oh, Furlanetto & Sutter Table 1. Simulation Parameters z Q HII Box Size L (Mpc) simulations boxes with the properties given in Table 1. We use the ionization efficiency ζ = 55, 54, 5 at z = 12, 11, 1 to match the values of Q HII to the true ionization fraction as found in our simulation boxes. Note that we increase the physical size of the simulation boxes at lower redshifts, when Q HII and bubble sizes are larger. Failure to do so results in considerable cosmic variance, due to the small number of large bubbles which consume most of the volume. We discuss this point in more detail later. In Fig 5, 6, 7, we compare the bubble PDF predicted by excursion set theory against the PDF recovered from the simulations by the watershed algorithm, the MFP method, and the distance transform respectively. Several features are immediately apparent. For all methods, the bubble size distribution is peaked toward larger bubble sizes than excursion set theory, by up to an order of magnitude. The difference is particularly egregious during the early stages of reionization. The simulations also show bubble sizes which evolve less rapidly during reionization than predicted by excursion set theory. Importantly, these findings only hold when theoretical predictions are convolved with the window function of the appropriate method. If one uses unconvolved theoretical predictions thus failing to compare apples with apples apparent spurious agreement between excursion set theory and simulations can arise, a problem which bedeviled previous comparisons. We can see this in Fig 8, which shows good apparent agreement between the DT and analytic excursion set theory, if one does not convolve with the appropriate window function. 5 Figs 6 & 7 show that when the watershed PDFs are convolved with the appropriate window functions for the mfp and distance transform methods, they match the direct MFP and distance transform measurements well. 6 This gives us further confidence that the watershed algorithm accurately measures the true underlying bubble PDF. It also suggests that the window function we have adopted for MFP and distance transform methods (which strictly is only for spherical bubbles) is still broadly applicable. The watershed PDFs are noticeably narrower than the excursion set PDFs at all stages of reionization; in particular, they lack an extended tail toward small bubble sizes, 5 The agreement is somewhat poorer for the DT at Q HII =.49 (z = 11). This is an artifact of the lower resolution we have adopted for this case ( x = 1 Mpc), which truncates the bubble PDF for small bubble sizes; agreement would almost certainly improve for higher resolution. This issue for our choice of box sizes only arises for the distance transform, which incorrectly underestimates bubble sizes and therefore appears to require higher resolution. Since the DT is at any rate not an accurate method, we do not pursue further refinements. 6 Note again the poorer agreement for the DT at Q HII =.49, z = 11, for the reasons previously mentioned. even after accounting for resolution effects. Closer examination of the simulations reveals that many of the small bubbles predicted by excursion set theory have merged together to create larger bubbles, early in the reionization process. The watershed PDFs also become increasingly narrow as reionization progresses. In the upper panel of Fig 9, we show slices of simulation boxes with characteristic scales predicted by excursion set theory and the watershed algorithm shown. It is immediately visually apparent that the excursion set theory predictions are too small no sophisticated methods are required! By contrast, the scales uncovered by the watershed algorithm appear quite sensible. The segmentation produced by the watershed algorithm is also visually sensible (lower panel). There are some cases where the segmentation may seem somewhat arbitrary (e.g., a large contiguous bubble is segmented into smaller pieces). Upon further examination, this is almost invariably due to 3D structure not visible in 2D slices. We caution the reader that 2D slices from which much of our intuition has been drawn over the years can be misleading. For instance, 2D circles are unlikely to be portions of spheres, but instead part of more complicated features which can only be fully understood in a 3D rendering. We emphasize that all algorithms need to be fully 3D, and furthermore 3D visualizations are very important for building intuition. To drive this point home, in Fig 1, we show the results of the watershed algorithm as applied to a 2D slice, and then the results for that same slice when it is incorporated into a full 3D algorithm. The results of the segmentation process are different. One of the reasons is clear from the left panel. The red points indicate bubble centers (i.e., minima of the distance transform after h minimum smoothing). The reader should focus on the largest ionized regions (the plethora of red dots outside are due to tiny ionized regions). In a 2D segmentation, there are always a few red points per large ionized region, whereas in the 3D algorithm, often there are none: the bubble centers lie elsewhere, once the 3D topology is taken into account. In Fig 11, we show 3D renderings of the 5 largest bubbles in a L = 1 Mpc portion (chosen for the sake of clarity) of the Q HII =.49 (z = 11) box. These largest bubbles are reasonably symmetric and not too complex in their topology, as one might expect for volume-filling regions. This is to be contrasted with the complex network of tunnels uncovered by a friends-of-friends or percolation algorithm (see corresponding figures in Furlanetto & Oh 216). 4 CONVERGENCE TESTS There are two important areas where we need to check convergence for the watershed algorithm, which has not been applied before in this context. Firstly, the effects of box size and resolution. Secondly, the watershed algorithm has an adjustable smoothing parameter h (h is quoted in voxel units e.g., h = 2 corresponds to 2 voxels). It is important to check sensitivity to this parameter. As with any regularization scheme, the smoothing parameter has a critical effect on the output, and the optimal choice is not always clear. First, we examine the tradeoff between box size and resolution, for our fixed 5 3 boxes. If x, R b, L are the voxel size, characteristic bubble size, and box size respec-

9 The Distribution of Bubble Sizes During Reionization 9 5 Mpc 1 Mpc 5 Mpc 1 Mpc Figure 1. Top row: bubble centers (left) and segmentation (right) from the watershed algorithm applied to a chosen 2D slice at z = 11 and smoothing parameter h =.9. Bottom row: bubble centers (left) and segmentation (right) slices of the full 3D watershed algorithm at same redshift and smoothing parameter. Bubble centers and segmentation are significantly different for the 3D case. Note that we have shown the bubbles with distance transform value greater than 5 pixel/voxel units for each slice with red markers. In reality, there are many more smaller bubbles in both slices. Figure 9. Top panel: slice of a simulation box with characteristic scales predicted by excursion set and uncovered by watershed methods at Q HII =.49 (z = 11). The excursion set has characteristic diameter of about 1 Mpc (1 voxels) and the watershed has characteristic diameter of about 5 Mpc (5 voxels) as shown. Bottom panel: the same, but showing the watershed segmentation. tively, then ideally we should have x R b L. In Fig 12, we examine the convergence properties of the watershed bubble PDF as the box size L is changed (and hence x = L/N, where we have used N = 5 throughout). The PDF particularly the location of the PDF peak is fairly stable to box size/resolution for L/R b = 5, 1, 25, 5 (and thus Figure biggest bubbles found by the watershed algorithm, in a 3D rendering of a 1 Mpc region of the Q HII =.49 (z = 11) box.

10 1 Lin, Oh, Furlanetto & Sutter R b / x = 1, 5, 2, 1). However, two interesting features are present. Firstly, in the L = 1 Mpc (L/R b = 5) simulation, the bubble PDF is bimodal! We have seen this in simulations with different Q HII (and z) and resolution for small box sizes. It is consistent with Poisson fluctuations in the number of rare large bubbles (which consume most of the volume) in a small box. For an appropriately normalized bubble PDF, as the number of rare large bubbles fluctates, so does the relative contribution of smaller bubbles. We conclude that as rule of thumb, L/R b > 1 is needed. On the other hand, bubble detection appears to be suppressed for bubbles with R min < 3 x. The bubble PDFs in the semi-numeric simulations are sharply peaked (and become increasingly so as reionization progresses). Typically there is no significant fractional contribution from bubbles with R min < R b /1. We conclude that R b / x > 3 is a reasonable rule of thumb. Thus, requiring L/R b > 1, R b / x > 3 implies that 3 3 simulations are potentially adequate. Of these two requirements, it is more important to satisfy the box size threshold L/R b > 1, since there is relatively little volume in the small bubbles. These considerations drive our choice of box sizes shown in Table 1. Now let us examine the effects of the smoothing parameter. The top panel of Fig 13 shows the bubble size distribution for various choices of h, for the unclustered bubbles simulation. Over the range h = 2, the recovered PDF is robust to the choice of h, and in good agreement with the underlying PDF. For higher values of h, the bubble size distribution is artificially truncated (e.g, the h = 5 PDF is truncated at R = 1 Mpc, as appropriate for.2 Mpc voxels), artificially biasing the bubble PDF toward larger sizes. Clearly, the algorithm is performing as one might expect. However, this case is not particularly informative: because of the lack of clustering, there is less bubble overlap, fewer local minima, and hence less need for smoothing (even h = returns sensible results). The next 3 panels show how the bubble PDFs changes as a function of smoothing parameter for realistic semi-numeric simulation boxes, for ionization fractions Q HII =.28,.49,.78 (z = 12, 11, 1). While there is more sensitivity to smoothing parameter (likely related to ambiguities in segmenting the large bubbles which arise from clustering), there is nonetheless an intermediate asymptotic range where the bubble PDF depends only weakly on smoothing. We have employed smoothing in this range in all the subsequent plots we presented. Visually, we can see the effect of smoothing in Fig 14, which presents slices of the watershed segmented box for different smoothing parameters. Without smoothing, the bubbles appear significantly over-segmented. As the smoothing scale h increases, there is a range where segmentation is fairly stable and appears visually sensible. Ultimately, the fact that there is an adjustable smoothing parameter introduces an unavoidable degree of freedom into the watershed algorithm. The bubble sizes tend to increase as the smoothing parameter h increases. For no smoothing (h ), all local minima are identified as bubble centers, and for structures where there is a good deal of overlap between bubbles (due to clustering; this is certainly true of reionization), the watershed algorithm gives a mass function similar to that of a straight distance transform. At the other end of the spectrum, for larger amounts of smoothing (as h approaches the box size), the watershed identifies excursion set 1 Mpc 2 Mpc 5 Mpc 1 Mpc Figure 12. Watershed bubble PDFs of semi-numeric simulation boxes with smoothing parameter h =.7 and Q HII.48 (z 11), for various box sizes L. Q HII, z are approximate since the ionization fraction changes slightly as the scales are changed. We adjust z accordingly to account for such differences. Each box is 5 3. The black solid line is the excursion set prediction, the green short dashed line, the red dotted dashed line, the pink long dashed line and the blue dotted line correspond to 1, 2, 5, 1 Mpc respectively. only collection basins with very deep minima, and becomes equivalent to the friends-of-friends algorithm. For realistic simulations of reionization, this results in most of the ionized volume residing in a gigantic bubble spanning the box. We argue that sensible choices for the smoothing parameter h can be identified, based on two criteria: (i) an intermediate asymptotic range where the bubble PDF is independent or only very weakly dependent on h; (ii) reasonable agreement in peak bubble size with the MFP algorithm. The latter is a physically well-motivated algorithm which shows good agreement with watershed in the well-understood case where bubble overlap is insignificant. Finally, a visual check of watershed segmentation results is always helpful. Of course, if one is applying the watershed algorithm to observations with finite resolution, the choice of smoothing parameter is obvious indeed, in this case the smoothing has already been done. The observed PDF is heavily distorted by the broad window function of the observations. We leave analysis of this situation for future work. 5 DISCUSSION As we have seen, there is no unique definition of bubble size, and different methods will highlight different aspects of the complicated topology of HII regions. Nonetheless, it is worth considering the most appropriate methods for questions we are likely to be asking. There are two compelling observational motivations. One is the hope of performing 21cm tomography with next generation instruments such

11 The Distribution of Bubble Sizes During Reionization excursion set h= h=.7 h=2 h= excursion set h= h=.7 h=.2 h=5 h= excursion set h= h=.5 h=.9 h=1.5 h=2 h= excursion set h= h=.5 h=.9 h=1.5 h=2. h= Figure 13. Bubble PDF derived by the watershed algorithm for the Monte-Carlo simulation (top) and semi-numeric simulation boxes at Q HII =.28,.49,.78 (z = 12, 11, 1; second to bottom) for varying smoothing parameters h. as HERA 7. One would like to know the angular resolution needed at different stages of reionization to actually image the HII regions 8. This corresponds to the typical size of features in 2D slices of the simulation box. It is a task which the watershed algorithm is ideally suited to perform, given its origins as a well-tested, canonical image segmentation Frequency resolution i.e., resolution in the line of sight direction is generally much higher and not a limiting factor. Figure 14. Clockwise from top left are watershed segmented slices of real simulation box with Q HII =.49 (z = 11), with smoothing parameters of h =,.9, 2, 5. The oversegmentation is significant for h =. Once we tune up the values of h, the results are more realistic segmented bubbles as seen in slices with h =.9, 2 and 5. algorithm in 2D. From Fig 9, we see that the watershed algorithm does provide a reasonable measure of typical bubble sizes. It is also equally obvious that the excursion set formalism predicts bubble sizes that are too small. Another important observational application is the mean free path of ionizing photons, which determines the amplitude of the ionizing background Γ at these high redshifts (via Γ ɛλ, where ɛ is the comoving emissivity and λ is the mean free path). This is closely related to the mean free path of Lyα photons, which determines if Lyα photons can redshift out of resonance in ionized bubbles before being scattered by neutral hydrogen. Lyα emitters will be visible in large bubbles, but not in smaller ones where this condition is not satisfied. The visibility and clustering of Lyα emitters, and the redshift evolution of these properties, has been proposed as a sensitive diagnostic of reionization (McQuinn et al. 27a; Treu et al. 213). Both these applications are obviously closely related to the MFP statistic 9. Thus, at present we regard the watershed and MFP methods as the best means for estimating observationally relevant bubble sizes. By contrast, the DT (which underestimates bubble sizes) and FoF methods (which overestimates bubble sizes, as it focusses solely on connectivity) return answers which at present appear less relevant to observations. The fact that both the watershed and MFP bubble size distributions peak at approximately the same physical scales gives us additional confidence. In considering the characteristic scale of bubbles, there 9 The correspondence is not exact, because sources tend to be biased toward the center of bubbles rather than occupy random positions. In principle, it should be possible to do a more careful job, given known positions of halos in semi-numeric simulations, but we leave this for future work.