The WiggleZ Dark Energy Survey: the selection function and z=0.6 galaxy power spectrum

We report one of the most accurate measurements of the three-dimensional large-scale galaxy power spectrum achieved to date, using 56,159 redshifts of bright emission-line galaxies at effective redshift z=0.6 from the WiggleZ Dark Energy Survey at the Anglo-Australian Telescope. We describe in detail how we construct the survey selection function allowing for the varying target completeness and redshift completeness. We measure the total power with an accuracy of approximately 5% in wavenumber bands of dk=0.01 h/Mpc. A model power spectrum including non-linear corrections, combined with a linear galaxy bias factor and a simple model for redshift-space distortions, provides a good fit to our data for scales k < 0.4 h/Mpc. The large-scale shape of the power spectrum is consistent with the best-fitting matter and baryon densities determined by observations of the Cosmic Microwave Background radiation. By splitting the power spectrum measurement as a function of tangential and radial wavenumbers we delineate the characteristic imprint of peculiar velocities. We use these to determine the growth rate of structure as a function of redshift in the range 0.4 < z < 0.8, including a data point at z=0.78 with an accuracy of 20%. Our growth rate measurements are a close match to the self-consistent prediction of the LCDM model. The WiggleZ Survey data will allow a wide range of investigations into the cosmological model, cosmic expansion and growth history, topology of cosmic structure, and Gaussianity of the initial conditions. Our calculation of the survey selection function will be released at a future date via our website wigglez.swin.edu.au.Comment: 21 pages, 22 figures, accepted for publication in MNRA

The Imperial IRAS-FSC Redshift Catalogue: luminosity functions, evolution and galaxy bias

We present the luminosity function and selection function of 60 micron galaxies selected from the Imperial IRAS-FSC Redshift Catalogue (IIFSCz). Three methods, including the 1/Vmax} and the parametric and non-parametric maximum likelihood estimator, are used and results agree well with each other. A density evolution proportional to (1+z)^3.4 or a luminosity evolution exp(1.7 t_L / \tau)$ where t_L is the look-back time is detected in the full sample in the redshift range [0.02, 0.1], consistent with previous analyses. Of the four infrared subpopulations, cirrus-type galaxies and M82-type starbursts show similar evolutionary trends, galaxies with significant AGN contributions show stronger positive evolution and Arp 220-type starbursts exhibit strong negative evolution. The dominant subpopulation changes from cirrus-type galaxies to M82-type starbursts at log (L_60 / L_Sun) ~ 10.3. In the second half of the paper, we derive the projected two-point spatial correlation function for galaxies of different infrared template type. The mean relative bias between cirrus-type galaxies and M82-type starbursts, which correspond to quiescent galaxies with optically thin interstellar dust and actively star-forming galaxies respectively, is calculated to be around 1.25. The relation between current star formation rate (SFR) in star-forming galaxies and environment is investigated by looking at the the dependence of clustering on infrared luminosity. We found that M82-type actively star-forming galaxies show stronger clustering as infrared luminosity / SFR increases. The correlation between clustering strength and SFR in the local Universe seems to echo the basic trend seen in star-forming galaxies in the Great Observatories Origins Deep Survey (GOODS) fields at z ~ 1.Comment: 15 pages, 11 figures, accepted for publication in MNRA

On Equivalence and Canonical Forms in the LF Type Theory

Decidability of definitional equality and conversion of terms into canonical form play a central role in the meta-theory of a type-theoretic logical framework. Most studies of definitional equality are based on a confluent, strongly-normalizing notion of reduction. Coquand has considered a different approach, directly proving the correctness of a practical equivalance algorithm based on the shape of terms. Neither approach appears to scale well to richer languages with unit types or subtyping, and neither directly addresses the problem of conversion to canonical. In this paper we present a new, type-directed equivalence algorithm for the LF type theory that overcomes the weaknesses of previous approaches. The algorithm is practical, scales to richer languages, and yields a new notion of canonical form sufficient for adequate encodings of logical systems. The algorithm is proved complete by a Kripke-style logical relations argument similar to that suggested by Coquand. Crucially, both the algorithm itself and the logical relations rely only on the shapes of types, ignoring dependencies on terms.Comment: 41 page

SFI++ I: A New I-band Tully-Fisher Template, the Cluster Peculiar Velocity Dispersion and H0

The SFI++ consists of ~5000 spiral galaxies which have measurements suitable for the application of the I-band Tully-Fisher (TF) relation. This sample builds on the SCI and SFI samples published in the 1990s but includes significant amounts of new data as well as improved methods for parameter determination. We derive a new I-band TF relation from a subset of this sample which consists of 807 galaxies in the fields of 31 nearby clusters and groups. This sample constitutes the largest ever available for the calibration of the TF template and extends the range of line-widths over which the template is reliably measured. Careful accounting is made of observational and sample biases such as incompleteness, finite cluster size, galaxy morphology and environment. We find evidence for a type-dependent TF slope which is shallower for early type than for late type spirals. The line-of-sight cluster peculiar velocity dispersion is measured for the sample of 31 clusters. This value is directly related to the spectrum of initial density fluctuations and thus provides an independent verification of the best fit WMAP cosmology and an estimate of Omega^0.6 sigma_8 = 0.52+/-0.06. We also provide an independent measure of the TF zeropoint using 17 galaxies in the SFI++ sample for which Cepheid distances are available. In combination with the ``basket of clusters'' template relation these calibrator galaxies provide a measure of H0 = 74+/-2 (random) +/-6 (systematic) km/s/Mpc.Comment: Accepted by ApJ (scheduled for 20 Dec 2006, issue 653). 21 pages (2 column emulateapj) including 12 figures. Version 2 corrects typos and other small errors noticed in proof