Showing 251–300 of 334 results for author: Moore, S

SDSS-III Baryon Oscillation Spectroscopic Survey Data Release 12: galaxy target selection and large scale structure catalogues

Authors: Beth Reid, Shirley Ho, Nikhil Padmanabhan, Will J. Percival, Jeremy Tinker, Rita Tojeiro, Martin White, Daniel J. Eisenstein, Claudia Maraston, Ashley J. Ross, Ariel G. Sanchez, David Schlegel, Erin Sheldon, Michael A. Strauss, Daniel Thomas, David Wake, Florian Beutler, Dmitry Bizyaev, Adam S. Bolton, Joel R. Brownstein, Chia-Hsun Chuang, Kyle Dawson, Paul Harding, Francisco-Shu Kitaura, Alexie Leauthaud , et al. (17 additional authors not shown)

Abstract: The Baryon Oscillation Spectroscopic Survey (BOSS), part of the Sloan Digital Sky Survey (SDSS) III project, has provided the largest survey of galaxy redshifts available to date, in terms of both the number of galaxy redshifts measured by a single survey, and the effective cosmological volume covered. Key to analysing the clustering of these data to provide cosmological measurements is understand… ▽ More The Baryon Oscillation Spectroscopic Survey (BOSS), part of the Sloan Digital Sky Survey (SDSS) III project, has provided the largest survey of galaxy redshifts available to date, in terms of both the number of galaxy redshifts measured by a single survey, and the effective cosmological volume covered. Key to analysing the clustering of these data to provide cosmological measurements is understanding the detailed properties of this sample. Potential issues include variations in the target catalogue caused by changes either in the targeting algorithm or properties of the data used, the pattern of spectroscopic observations, the spatial distribution of targets for which redshifts were not obtained, and variations in the target sky density due to observational systematics. We document here the target selection algorithms used to create the galaxy samples that comprise BOSS. We also present the algorithms used to create large scale structure catalogues for the final Data Release (DR12) samples and the associated random catalogues that quantify the survey mask. The algorithms are an evolution of those used by the BOSS team to construct catalogues from earlier data, and have been designed to accurately quantify the galaxy sample. The code used, designated MKSAMPLE, is released with this paper. △ Less

Submitted 19 October, 2015; v1 submitted 22 September, 2015; originally announced September 2015.

Comments: 21 pages, 12 figures, version accepted for publication in MNRAS

Stateman: Using Metafunctions to Manage Large Terms Representing Machine States

Authors: J. Strother Moore

Abstract: When ACL2 is used to model the operational semantics of computing machines, machine states are typically represented by terms recording the contents of the state components. When models are realistic and are stepped through thousands of machine cycles, these terms can grow quite large and the cost of simplifying them on each step grows. In this paper we describe an ACL2 book that uses HIDE and met… ▽ More When ACL2 is used to model the operational semantics of computing machines, machine states are typically represented by terms recording the contents of the state components. When models are realistic and are stepped through thousands of machine cycles, these terms can grow quite large and the cost of simplifying them on each step grows. In this paper we describe an ACL2 book that uses HIDE and metafunctions to facilitate the management of large terms representing such states. Because the metafunctions for each state component updater are solely responsible for creating state expressions (i.e., "writing") and the metafunctions for each state component accessor are solely responsible for extracting values (i.e., "reading") from such state expressions, they can maintain their own normal form, use HIDE to prevent other parts of ACL2 from inspecting them, and use honsing to uniquely represent state expressions. The last feature makes it possible to memoize the metafunctions, which can improve proof performance in some machine models. This paper describes a general-purpose ACL2 book modeling a byte-addressed memory supporting "mixed" reads and writes. By "mixed" we mean that reads need not correspond (in address or number of bytes) with writes. Verified metafunctions simplify such "read-over-write" expressions while hiding the potentially large state expression. A key utility is a function that determines an upper bound on the value of a symbolic arithmetic expression, which plays a role in resolving writes to addresses given by symbolic expressions. We also report on a preliminary experiment with the book, which involves the production of states containing several million function calls. △ Less

Submitted 20 September, 2015; originally announced September 2015.

Comments: In Proceedings ACL2 2015, arXiv:1509.05526

Journal ref: EPTCS 192, 2015, pp. 93-109

Measurements and Modeling of Total Solar Irradiance in X-Class Solar Flares

Authors: Christopher Samuel Moore, Phillip Clyde Chamberlin, Rachel Hock

Abstract: The Total Irradiance Monitor (TIM) from NASA's SOlar Radiation and Climate Experiment (SORCE) can detect changes in the Total Solar Irradiance (TSI) to a precision of 2 ppm, allowing observations of variations due to the largest X-Class solar ares for the first time. Presented here is a robust algorithm for determining the radiative output in the TIM TSI measurements, in both the impulsive and gra… ▽ More The Total Irradiance Monitor (TIM) from NASA's SOlar Radiation and Climate Experiment (SORCE) can detect changes in the Total Solar Irradiance (TSI) to a precision of 2 ppm, allowing observations of variations due to the largest X-Class solar ares for the first time. Presented here is a robust algorithm for determining the radiative output in the TIM TSI measurements, in both the impulsive and gradual phases, for the four solar ares presented in Woods et al. (2006), as well as an additional are measured on 2006 December 6. The radiative outputs for both phases of these five ares are then compared to the Vacuum Ultraviolet (VUV) irradiance output from the Flare Irradiance Spectral Model (FISM) in order to derive an empirical relationship between the FISM VUV model and the TIM TSI data output to estimate the TSI radiative output for eight other X-Class ares. This model provides the basis for the bolometric energy estimates for the solar ares analyzed in the Emslie et al. (2012) study. △ Less

Submitted 20 September, 2015; originally announced September 2015.

Comments: 23 pages, 3 figures

Journal ref: The Astrophysical Journal, Volume 787, Issue 1, article id. 32, 6 pp. (2014)

Space-Time Isogeometric Analysis of Parabolic Evolution Equations

Authors: Ulrich Langer, Stephen E. Moore, Martin Neumüller

Abstract: We present and analyze a new stable space-time Isogeometric Analysis (IgA) method for the numerical solution of parabolic evolution equations in fixed and moving spatial computational domains. The discrete bilinear form is elliptic on the IgA space with respect to a discrete energy norm. This property together with a corresponding boundedness property, consistency and approximation results for the… ▽ More We present and analyze a new stable space-time Isogeometric Analysis (IgA) method for the numerical solution of parabolic evolution equations in fixed and moving spatial computational domains. The discrete bilinear form is elliptic on the IgA space with respect to a discrete energy norm. This property together with a corresponding boundedness property, consistency and approximation results for the IgA spaces yields an a priori discretization error estimate with respect to the discrete norm. The theoretical results are confirmed by several numerical experiments with low- and high-order IgA spaces. △ Less

Submitted 7 September, 2015; originally announced September 2015.

Evidence of Halo Assembly Bias in Massive Clusters

Authors: Hironao Miyatake, Surhud More, Masahiro Takada, David N. Spergel, Rachel Mandelbaum, Eli S. Rykoff, Eduardo Rozo

Abstract: We present significant evidence of halo assembly bias for SDSS redMaPPer galaxy clusters in the redshift range $[0.1, 0.33]$. By dividing the 8,648 clusters into two subsamples based on the average member galaxy separation from the cluster center, we first show that the two subsamples have very similar halo mass of $M_{\rm 200m}\simeq 1.9\times 10^{14}~h^{-1}M_\odot$ based on the weak lensing sign… ▽ More We present significant evidence of halo assembly bias for SDSS redMaPPer galaxy clusters in the redshift range $[0.1, 0.33]$. By dividing the 8,648 clusters into two subsamples based on the average member galaxy separation from the cluster center, we first show that the two subsamples have very similar halo mass of $M_{\rm 200m}\simeq 1.9\times 10^{14}~h^{-1}M_\odot$ based on the weak lensing signals at small radii $R<\sim 10~h^{-1}{\rm Mpc}$. However, their halo bias inferred from both the large-scale weak lensing and the projected auto-correlation functions differs by a factor of $\sim$1.5, which is a signature of assembly bias. The same bias hypothesis for the two subsamples is excluded at 2.5$σ$ in the weak lensing and 4.4$σ$ in the auto-correlation data, respectively. This result could bring a significant impact on both galaxy evolution and precision cosmology. △ Less

Submitted 26 January, 2016; v1 submitted 19 June, 2015; originally announced June 2015.

Comments: 5 pages, 3 figures, matched to the published version. Supplemental material is available at http://journals.aps.org/prl/abstract/10.1103/PhysRevLett.116.041301

Journal ref: Phys. Rev. Lett. 116, 041301 (2016)

Towards a Systematic View on Cybersecurity Ecology

Authors: Wojciech Mazurczyk, Szymon Drobniak, Sean Moore

Abstract: Current network security systems are progressively showing their limitations. One credible estimate is that only about 45% of new threats are detected. Therefore it is vital to find a new direction that cybersecurity development should follow. We argue that the next generation of cybersecurity systems should seek inspiration in nature. This approach has been used before in the first generation of… ▽ More Current network security systems are progressively showing their limitations. One credible estimate is that only about 45% of new threats are detected. Therefore it is vital to find a new direction that cybersecurity development should follow. We argue that the next generation of cybersecurity systems should seek inspiration in nature. This approach has been used before in the first generation of cybersecurity systems; however, since then cyber threats and environment have evolved significantly, and accordingly the first-generation systems have lost their effectiveness. A next generation of bio-inspired cybersecurity research is emerging, but progress is hindered by the lack of a framework for map** biological security systems to their cyber analogies. In this paper, using terminology and concepts from biology, we describe a cybersecurity ecology and a framework that may be used to systematically research and develop bio-inspired cybersecurity. △ Less

Submitted 13 April, 2016; v1 submitted 15 May, 2015; originally announced May 2015.

Comments: 11 pages, 3 figures

Space Warps: I. Crowd-sourcing the Discovery of Gravitational Lenses

Authors: Philip J. Marshall, Aprajita Verma, Anupreeta More, Christopher P. Davis, Surhud More, Amit Kapadia, Michael Parrish, Chris Snyder, Julianne Wilcox, Elisabeth Baeten, Christine Macmillan, Claude Cornen, Michael Baumer, Edwin Simpson, Chris J. Lintott, David Miller, Edward Paget, Robert Simpson, Arfon M. Smith, Rafael Küng, Prasenjit Saha, Thomas E. Collett, Matthias Tecza

Abstract: We describe Space Warps, a novel gravitational lens discovery service that yields samples of high purity and completeness through crowd-sourced visual inspection. Carefully produced colour composite images are displayed to volunteers via a web- based classification interface, which records their estimates of the positions of candidate lensed features. Images of simulated lenses, as well as real im… ▽ More We describe Space Warps, a novel gravitational lens discovery service that yields samples of high purity and completeness through crowd-sourced visual inspection. Carefully produced colour composite images are displayed to volunteers via a web- based classification interface, which records their estimates of the positions of candidate lensed features. Images of simulated lenses, as well as real images which lack lenses, are inserted into the image stream at random intervals; this training set is used to give the volunteers instantaneous feedback on their performance, as well as to calibrate a model of the system that provides dynamical updates to the probability that a classified image contains a lens. Low probability systems are retired from the site periodically, concentrating the sample towards a set of lens candidates. Having divided 160 square degrees of Canada-France-Hawaii Telescope Legacy Survey (CFHTLS) imaging into some 430,000 overlap** 82 by 82 arcsecond tiles and displaying them on the site, we were joined by around 37,000 volunteers who contributed 11 million image classifications over the course of 8 months. This Stage 1 search reduced the sample to 3381 images containing candidates; these were then refined in Stage 2 to yield a sample that we expect to be over 90% complete and 30% pure, based on our analysis of the volunteers performance on training images. We comment on the scalability of the SpaceWarps system to the wide field survey era, based on our projection that searches of 10$^5$ images could be performed by a crowd of 10$^5$ volunteers in 6 days. △ Less

Submitted 1 September, 2015; v1 submitted 21 April, 2015; originally announced April 2015.

Comments: 21 pages, 13 figures, MNRAS accepted, minor to moderate changes in this version

The splashback radius as a physical halo boundary and the growth of halo mass

Authors: Surhud More, Benedikt Diemer, Andrey Kravtsov

Abstract: The boundaries of cold dark matter halos are commonly defined to enclose a density contrast $Δ$ relative to a reference (mean or critical) density. We argue that a more physical boundary of halos is the radius at which accreted matter reaches its first orbital apocenter after turnaround. This splashback radius, $R_{sp}$, manifests itself as a sharp density drop in the halo outskirts, at a location… ▽ More The boundaries of cold dark matter halos are commonly defined to enclose a density contrast $Δ$ relative to a reference (mean or critical) density. We argue that a more physical boundary of halos is the radius at which accreted matter reaches its first orbital apocenter after turnaround. This splashback radius, $R_{sp}$, manifests itself as a sharp density drop in the halo outskirts, at a location that depends upon the mass accretion rate. We present calibrations of $R_{sp}$ and the enclosed mass, $M_{sp}$, as a function of the accretion rate and alternatively peak height. We find that $R_{sp}$ varies between $\approx0.8-1R_{200m}$ for rapidly accreting halos and $\approx1.5R_{200m}$ for slowly accreting halos. The extent of a halo and its associated environmental effects can thus extend well beyond the conventionally defined "virial" radius. We show that $M_{sp}$ and $R_{sp}$ evolve relatively strongly compared to other commonly used definitions. In particular, $M_{sp}$ evolves significantly even for the smallest dwarf-sized halos at $z=0$. We also contrast $M_{sp}$ with the mass enclosed within four scale radii of the halo density profile, $M_{<4rs}$, which characterizes the inner halo. During the early stages of halo assembly, $M_{sp}$ and $M_{<4rs}$ evolve similarly, but in the late stages $M_{<4rs}$ stops increasing while $M_{sp}$ continues to grow significantly. This illustrates that halos at low $z$ can have "quiet" interiors while continuing to accrete mass in their outskirts. We discuss potential observational estimates of the splashback radius and show that it may already have been detected in galaxy clusters. △ Less

Submitted 21 April, 2015; originally announced April 2015.

Comments: 15 pages, 12 figures, comments most welcome

Space Warps II. New Gravitational Lens Candidates from the CFHTLS Discovered through Citizen Science

Authors: Anupreeta More, Aprajita Verma, Philip J. Marshall, Surhud More, Elisabeth Baeten, Julianne Wilcox, Christine Macmillan, Claude Cornen, Amit Kapadia, Michael Parrish, Chris Snyder, Christopher P. Davis, Raphael Gavazzi, Chris J. Lintott, Robert Simpson, David Miller, Arfon M. Smith, Edward Paget, Prasenjit Saha, Rafael Küng, Thomas E. Collett

Abstract: We report the discovery of 29 promising (and 59 total) new lens candidates from the CFHT Legacy Survey (CFHTLS) based on about 11 million classifications performed by citizen scientists as part of the first Space Warps lens search. The goal of the blind lens search was to identify lens candidates missed by robots (the RingFinder on galaxy scales and ArcFinder on group/cluster scales) which had bee… ▽ More We report the discovery of 29 promising (and 59 total) new lens candidates from the CFHT Legacy Survey (CFHTLS) based on about 11 million classifications performed by citizen scientists as part of the first Space Warps lens search. The goal of the blind lens search was to identify lens candidates missed by robots (the RingFinder on galaxy scales and ArcFinder on group/cluster scales) which had been previously used to mine the CFHTLS for lenses. We compare some properties of the samples detected by these algorithms to the Space Warps sample and find them to be broadly similar. The image separation distribution calculated from the Space Warps sample shows that previous constraints on the average density profile of lens galaxies are robust. SpaceWarps recovers about 65% of known lenses, while the new candidates show a richer variety compared to those found by the two robots. This detection rate could be increased to 80% by only using classifications performed by expert volunteers (albeit at the cost of a lower purity), indicating that the training and performance calibration of the citizen scientists is very important for the success of Space Warps. In this work we present the SIMCT pipeline, used for generating in situ a sample of realistic simulated lensed images. This training sample, along with the false positives identified during the search, has a legacy value for testing future lens finding algorithms. We make the pipeline and the training set publicly available. △ Less

Submitted 1 September, 2015; v1 submitted 21 April, 2015; originally announced April 2015.

Comments: 23 pages, 12 figures, MNRAS accepted, minor to moderate changes in this version

Luminous Red Galaxies in Clusters: Central Occupation, Spatial Distributions, and Mis-centering

Authors: Hanako Hoshino, Alexie Leauthaud, Claire Lackner, Chiaki Hikage, Eduardo Rozo, Eli Rykoff, Rachel Mandelbaum, Surhud More, Anupreeta More, Shun Saito, Benedetta Vulcani

Abstract: Luminous Red Galaxies (LRG) from the Sloan Digital Sky Survey are considered among the best understood samples of galaxies, and they are employed in a broad range of cosmological studies. Because they form a relatively homogeneous population, with high stellar masses and red colors, they are expected to occupy halos in a relatively simple way. In this paper, we study how LRGs occupy massive halos… ▽ More Luminous Red Galaxies (LRG) from the Sloan Digital Sky Survey are considered among the best understood samples of galaxies, and they are employed in a broad range of cosmological studies. Because they form a relatively homogeneous population, with high stellar masses and red colors, they are expected to occupy halos in a relatively simple way. In this paper, we study how LRGs occupy massive halos via direct counts in clusters and we reveal several unexpected trends suggesting that the connection between LRGs and dark matter halos may not be straightforward. Using the redMaPPer cluster catalog, we derive the central occupation of LRGs as a function richness, Ncen(λ). Assuming no correlation between cluster mass and central galaxy luminosity at fixed richness, we show that clusters contain a significantly lower fraction of central LRGs than predicted from the two-point correlation function. At halo masses of 10^14.5 Msun, we find Ncen=0.73, compared to Ncen of 0.89 from correlation studies. Our central occupation function for LRGs converges to 0.95 at large halo masses. A strong anti-correlation between central luminosity and cluster mass at fixed richness is required to reconcile our results with those based on clustering studies. We also derive P_BNC, the probability that the brightest cluster member is not the central galaxy. We find P_BNC ~ 20-30% which is a factor of ~2 lower than the value found by Skibba et al. 2011. Finally, we study the radial offsets of bright non-central LRGs from cluster centers and show that bright non-central LRGs follow a different radial distribution compared to red cluster members, which follow a Navarro-Frank-White profile. This work demonstrates that even the most massive clusters do not always have an LRG at the center, and that the brightest galaxy in a cluster is not always the central galaxy. △ Less

Submitted 10 May, 2015; v1 submitted 17 March, 2015; originally announced March 2015.

Comments: 18 pages, 9 figures, 4 tables, submitted to MNRAS, included the referee comments

The Subaru FMOS Galaxy Redshift Survey (FastSound). I. Overview of the Survey Targeting on H$α$ Emitters at $z \sim 1.4$

Authors: Motonari Tonegawa, Tomonori Totani, Hiroyuki Okada, Masayuki Akiyama, Gavin Dalton, Karl Glazebrook, Fumihide Iwamuro, Toshinori Maihara, Kouji Ohta, Ikkoh Shimizu, Naruhisa Takato, Naoyuki Tamura, Kiyoto Yabe, Andrew J. Bunker, Jean Coupon, Pedro G. Ferreira, Carlos S. Frenk, Tomotsugu Goto, Chiaki Hikage, Takashi Ishikawa, Takahiko Matsubara, Surhud More, Teppei Okumura, Will J. Percival, Lee R. Spitler , et al. (1 additional authors not shown)

Abstract: FastSound is a galaxy redshift survey using the near-infrared Fiber Multi-Object Spectrograph (FMOS) mounted on the Subaru Telescope, targeting H$α$ emitters at $z \sim 1.18$--$1.54$ down to the sensitivity limit of H$α$ flux $\sim 2 \times 10^{-16} \ \rm erg \ cm^{-2} s^{-1}$. The primary goal of the survey is to detect redshift space distortions (RSD), to test General Relativity by measuring the… ▽ More FastSound is a galaxy redshift survey using the near-infrared Fiber Multi-Object Spectrograph (FMOS) mounted on the Subaru Telescope, targeting H$α$ emitters at $z \sim 1.18$--$1.54$ down to the sensitivity limit of H$α$ flux $\sim 2 \times 10^{-16} \ \rm erg \ cm^{-2} s^{-1}$. The primary goal of the survey is to detect redshift space distortions (RSD), to test General Relativity by measuring the growth rate of large scale structure and to constrain modified gravity models for the origin of the accelerated expansion of the universe. The target galaxies were selected based on photometric redshifts and H$α$ flux estimates calculated by fitting spectral energy distribution (SED) models to the five optical magnitudes of the Canada France Hawaii Telescope Legacy Survey (CFHTLS) Wide catalog. The survey started in March 2012, and all the observations were completed in July 2014. In total, we achieved $121$ pointings of FMOS (each pointing has a $30$ arcmin diameter circular footprint) covering $20.6$ deg$^2$ by tiling the four fields of the CFHTLS Wide in a hexagonal pattern. Emission lines were detected from $\sim 4,000$ star forming galaxies by an automatic line detection algorithm applied to 2D spectral images. This is the first in a series of papers based on FastSound data, and we describe the details of the survey design, target selection, observations, data reduction, and emission line detections. △ Less

Submitted 4 May, 2015; v1 submitted 27 February, 2015; originally announced February 2015.

Comments: 12 pages, 9 figures, and 2 tables, accepted for PASJ

Can we use Weak Lensing to Measure Total Mass Profiles of Galaxies on 20 kiloparsec Scales?

Authors: Masato I. N. Kobayashi, Alexie Leauthaud, Surhud More, Nobuhiro Okabe, Clotilde Laigle, Jason Rhodes, Tsutomu T. Takeuchi

Abstract: Current constraints on dark matter density profiles from weak lensing are typically limited to radial scales greater than 50-100 kpc. In this paper, we explore the possibility of probing the very inner regions of galaxy/halo density profiles by measuring stacked weak lensing on scales of only a few tens of kpc. Our forecasts focus on scales smaller than the equality radius (Req) where the stellar… ▽ More Current constraints on dark matter density profiles from weak lensing are typically limited to radial scales greater than 50-100 kpc. In this paper, we explore the possibility of probing the very inner regions of galaxy/halo density profiles by measuring stacked weak lensing on scales of only a few tens of kpc. Our forecasts focus on scales smaller than the equality radius (Req) where the stellar component and the dark matter component contribute equally to the lensing signal. We compute the evolution of Req as a function of lens stellar mass and redshift and show that Req=7-34 kpc for galaxies with the stellar mass of 10^{9.5}-10^{11.5} solar masses. Unbiased shear measurements will be challenging on these scales. We introduce a simple metric to quantify how many source galaxies overlap with their neighbours and for which shear measurements will be challenging. Rejecting source galaxies with close-by companions results in about a 20 per cent decrease in the overall source density. Despite this decrease, we show that Euclid and WFIRST will be able to constrain galaxy/halo density profiles at Req with signal-to-noise ratio >20 for the stellar mass of >10^{10} solar masses. Weak lensing measurements at Req, in combination with stellar kinematics on smaller scales, will be a powerful means by which to constrain both the inner slope of the dark matter density profile as well as the mass and redshift dependence of the stellar initial mass function. △ Less

Submitted 23 February, 2015; originally announced February 2015.

Comments: 19 pages, 14 figures, 3 tables, submitted to MNRAS, included the referee comments

Journal ref: Monthly Notices of the Royal Astronomical Society, 2015, Volume 449, Issue 2, Page 2128-2143

Gravitational lens modelling in a citizen science context

Authors: Rafael Küng, Prasenjit Saha, Anupreeta More, Elisabeth Baeten, Jonathan Coles, Claude Cornen, Christine Macmillan, Phil Marshall, Surhud More, Jonas Odermatt, Aprajita Verma, Julianne K. Wilcox

Abstract: We develop a method to enable collaborative modelling of gravitational lenses and lens candidates, that could be used by non-professional lens enthusiasts. It uses an existing free-form modelling program (glass), but enables the input to this code to be provided in a novel way, via a user-generated diagram that is essentially a sketch of an arrival-time surface. We report on an implementation of t… ▽ More We develop a method to enable collaborative modelling of gravitational lenses and lens candidates, that could be used by non-professional lens enthusiasts. It uses an existing free-form modelling program (glass), but enables the input to this code to be provided in a novel way, via a user-generated diagram that is essentially a sketch of an arrival-time surface. We report on an implementation of this method, SpaghettiLens, which has been tested in a modelling challenge using 29 simulated lenses drawn from a larger set created for the Space Warps citizen science strong lens search. We find that volunteers from this online community asserted the image parities and time ordering consistently in some lenses, but made errors in other lenses depending on the image morphology. While errors in image parity and time ordering lead to large errors in the mass distribution, the enclosed mass was found to be more robust: the model-derived Einstein radii found by the volunteers were consistent with those produced by one of the professional team, suggesting that given the appropriate tools, gravitational lens modelling is a data analysis activity that can be crowd-sourced to good effect. Ideas for improvement are discussed, these include (a) overcoming the tendency of the models to be shallower than the correct answer in test cases, leading to systematic overestimation of the Einstein radius by 10 per cent at present, and (b) detailed modelling of arcs. △ Less

Submitted 30 January, 2015; originally announced February 2015.

Comments: 10 pages, 12 figures

Journal ref: Monthly Notices of the Royal Astronomical Society (2015) Volume 447, Issue 3, p.2170-2180

The Eleventh and Twelfth Data Releases of the Sloan Digital Sky Survey: Final Data from SDSS-III

Authors: Shadab Alam, Franco D. Albareti, Carlos Allende Prieto, F. Anders, Scott F. Anderson, Brett H. Andrews, Eric Armengaud, Éric Aubourg, Stephen Bailey, Julian E. Bautista, Rachael L. Beaton, Timothy C. Beers, Chad F. Bender, Andreas A. Berlind, Florian Beutler, Vaishali Bhardwaj, Jonathan C. Bird, Dmitry Bizyaev, Cullen H. Blake, Michael R. Blanton, Michael Blomqvist, John J. Bochanski, Adam S. Bolton, Jo Bovy, A. Shelden Bradley , et al. (249 additional authors not shown)

Abstract: The third generation of the Sloan Digital Sky Survey (SDSS-III) took data from 2008 to 2014 using the original SDSS wide-field imager, the original and an upgraded multi-object fiber-fed optical spectrograph, a new near-infrared high-resolution spectrograph, and a novel optical interferometer. All the data from SDSS-III are now made public. In particular, this paper describes Data Release 11 (DR11… ▽ More The third generation of the Sloan Digital Sky Survey (SDSS-III) took data from 2008 to 2014 using the original SDSS wide-field imager, the original and an upgraded multi-object fiber-fed optical spectrograph, a new near-infrared high-resolution spectrograph, and a novel optical interferometer. All the data from SDSS-III are now made public. In particular, this paper describes Data Release 11 (DR11) including all data acquired through 2013 July, and Data Release 12 (DR12) adding data acquired through 2014 July (including all data included in previous data releases), marking the end of SDSS-III observing. Relative to our previous public release (DR10), DR12 adds one million new spectra of galaxies and quasars from the Baryon Oscillation Spectroscopic Survey (BOSS) over an additional 3000 sq. deg of sky, more than triples the number of H-band spectra of stars as part of the Apache Point Observatory (APO) Galactic Evolution Experiment (APOGEE), and includes repeated accurate radial velocity measurements of 5500 stars from the Multi-Object APO Radial Velocity Exoplanet Large-area Survey (MARVELS). The APOGEE outputs now include measured abundances of 15 different elements for each star. In total, SDSS-III added 2350 sq. deg of ugriz imaging; 155,520 spectra of 138,099 stars as part of the Sloan Exploration of Galactic Understanding and Evolution 2 (SEGUE-2) survey; 2,497,484 BOSS spectra of 1,372,737 galaxies, 294,512 quasars, and 247,216 stars over 9376 sq. deg; 618,080 APOGEE spectra of 156,593 stars; and 197,040 MARVELS spectra of 5,513 stars. Since its first light in 1998, SDSS has imaged over 1/3 of the Celestial sphere in five bands and obtained over five million astronomical spectra. △ Less

Submitted 21 May, 2015; v1 submitted 5 January, 2015; originally announced January 2015.

Comments: DR12 data are available at http://www.sdss3.org/dr12. 30 pages. 11 figures. Accepted to ApJS

Multipatch Discontinuous Galerkin Isogeometric Analysis

Authors: Ulrich Langer, Angelos Mantzaflaris, Stephen E. Moore, Ioannis Toulopoulos

Abstract: Isogeometric analysis (IgA) uses the same class of basis functions for both, representing the geometry of the computational domain and approximating the solution. In practical applications, geometrical patches are used in order to get flexibility in the geometrical representation. This multi-patch representation corresponds to a decomposition of the computational domain into non-overlap** subdom… ▽ More Isogeometric analysis (IgA) uses the same class of basis functions for both, representing the geometry of the computational domain and approximating the solution. In practical applications, geometrical patches are used in order to get flexibility in the geometrical representation. This multi-patch representation corresponds to a decomposition of the computational domain into non-overlap** subdomains also called patches in the geometrical framework. We will present discontinuous Galerkin (dG) methods that allow for discontinuities across the subdomain (patch) boundaries. The required interface conditions are weakly imposed by the dG terms associated with the boundary of the sub-domains. The construction and the corresponding discretization error analysis of such dG multi-patch IgA schemes will be given for heterogeneous diffusion model problems in volumetric 2d and 3d domains as well as on open and closed surfaces. The theoretical results are confirmed by numerous numerical experiments which have been performed in G+SMO. The concept and the main features of the IgA library G+SMO are also described. △ Less

Submitted 10 November, 2014; originally announced November 2014.

Report number: NFN Technical Report 18, RICAM Report 14/18, 2014 MSC Class: 65N12; 65N15; 65N35; 65N55

Intrinsic alignments of SDSS-III BOSS LOWZ sample galaxies

Authors: Sukhdeep Singh, Rachel Mandelbaum, Surhud More

Abstract: Intrinsic alignments (IA) of galaxies, i.e. correlations of galaxy shapes with each other or with the density field, are a major astrophysical source of contamination for weak lensing surveys. We present the results of IA measurements of galaxies on 0.1- 200 Mpc/h scales using the SDSS-III BOSS LOWZ sample, in the redshift range 0.16<z<0.36. We extend the existing IA measurements for spectroscopic… ▽ More Intrinsic alignments (IA) of galaxies, i.e. correlations of galaxy shapes with each other or with the density field, are a major astrophysical source of contamination for weak lensing surveys. We present the results of IA measurements of galaxies on 0.1- 200 Mpc/h scales using the SDSS-III BOSS LOWZ sample, in the redshift range 0.16<z<0.36. We extend the existing IA measurements for spectroscopic LRGs to lower luminosities, and show that the luminosity dependence of large-scale IA can be well-described by a power law. Within the limited redshift and color range of our sample, we observe no significant redshift or color dependence of IA. We measure the halo mass of LOWZ galaxies using galaxy-galaxy lensing, and show that the mass dependence of large-scale IA is also well described by a power law. We detect variation in the scale dependence of IA with mass and luminosity, which underscores the need to use flexible templates in order to remove the IA signal. We also study the environment dependence of IA by splitting the sample into field and group galaxies, which are further split into satellite and central galaxies. We show that group central galaxies are aligned with their halos at small scales and also are aligned with the tidal fields out to large scales. We also detect the radial alignments of satellite galaxies within groups, which results in a null detection of large-scale intrinsic alignments for satellites. These results can be used to construct better intrinsic alignment models for removal of this contaminant to the weak lensing signal. △ Less

Submitted 8 April, 2015; v1 submitted 6 November, 2014; originally announced November 2014.

Comments: 25 pages, 22 figures. Changes in text and two additional figures. Results and conclusions unchanged. Accepted by MNRAS

Ultraviolet extrapolations in finite oscillator bases

Authors: S. König, S. K. Bogner, R. J. Furnstahl, S. N. More, T. Papenbrock

Abstract: The use of finite harmonic oscillator spaces in many-body calculations introduces both infrared (IR) and ultraviolet (UV) errors. The IR effects are well approximated by imposing a hard-wall boundary condition at a properly identified radius L_eff. We show that duality of the oscillator implies that the UV effects are equally well described by imposing a sharp momentum cutoff at a momentum Lambda_… ▽ More The use of finite harmonic oscillator spaces in many-body calculations introduces both infrared (IR) and ultraviolet (UV) errors. The IR effects are well approximated by imposing a hard-wall boundary condition at a properly identified radius L_eff. We show that duality of the oscillator implies that the UV effects are equally well described by imposing a sharp momentum cutoff at a momentum Lambda_eff complementary to L_eff. By considering two-body systems with separable potentials, we show that the UV energy corrections depend on details of the potential, in contrast to the IR energy corrections, which depend only on the S-matrix. An adaptation of the separable treatment to more general interactions is developed and applied to model potentials as well as to the deuteron with realistic potentials. The previous success with a simple phenomenological form for the UV error is also explained. Possibilities for controlled extrapolations for A > 2 based on scaling arguments are discussed. △ Less

Submitted 29 December, 2014; v1 submitted 21 September, 2014; originally announced September 2014.

Comments: 26 pages, 23 figures, published version

Journal ref: Phys. Rev. C 90, 064007 (2014)

The Weak Lensing Signal and the Clustering of BOSS Galaxies II: Astrophysical and Cosmological Constraints

Authors: Surhud More, Hironao Miyatake, Rachel Mandelbaum, Masahiro Takada, David Spergel, Joel Brownstein, Donald P. Schneider

Abstract: We perform a joint analysis of the abundance, the clustering and the galaxy-galaxy lensing signal of galaxies measured from Data Release 11 of the Sloan Digital Sky Survey III Baryon Oscillation Spectroscopic Survey (SDSS III-BOSS) in our companion paper, Miyatake et al. (2014). The lensing signal was obtained by using the shape catalog of background galaxies from the Canada France Hawaii Telescop… ▽ More We perform a joint analysis of the abundance, the clustering and the galaxy-galaxy lensing signal of galaxies measured from Data Release 11 of the Sloan Digital Sky Survey III Baryon Oscillation Spectroscopic Survey (SDSS III-BOSS) in our companion paper, Miyatake et al. (2014). The lensing signal was obtained by using the shape catalog of background galaxies from the Canada France Hawaii Telescope Legacy Survey, which was made publicly available by the CFHTLenS collaboration, with an area overlap of about 105 deg$^2$. We analyse the data in the framework of the halo model in order to fit halo occupation parameters and cosmological parameters ($Ω_{\rm m}$ and $σ_8$) to these observables simultaneously, and thus break the degeneracy between galaxy bias and cosmology. Adopting a flat $Λ$CDM cosmology with priors on $Ω_b h^2$, $n_{\rm s}$ and $h$ from the analysis of WMAP 9-year data, we obtain constraints on the stellar mass-halo mass relation of galaxies in our sample. Marginalizing over the halo occupation distribution parameters and a number of other nuisance parameters in our model, we obtain $Ω_{\rm m}=0.310^{+0.019}_{-0.020}$ and $σ_8=0.785^{+0.044}_{-0.044}$ (68% confidence). We demonstrate the robustness of our results with respect to sample selection and a variety of systematics such as the halo off-centering effect and possible incompleteness in our sample. Our constraints are consistent, complementary and competitive with those obtained using other independent probes of these cosmological parameters. The cosmological analysis is the first of its kind to be performed at a redshift as high as $0.53$. △ Less

Submitted 22 March, 2015; v1 submitted 7 July, 2014; originally announced July 2014.

Comments: 17 pages, 12 figures, 2 tables. Accepted for publication in the Astrophysical Journal. Acknowledged the contribution of the referee, fixed minor typos

Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4

Authors: Matt Kaufmann, J Strother Moore

Abstract: We report on improvements to ACL2 made since the 2013 ACL2 Workshop. We report on improvements to ACL2 made since the 2013 ACL2 Workshop. △ Less

Submitted 5 June, 2014; originally announced June 2014.

Comments: In Proceedings ACL2 2014, arXiv:1406.1238

Journal ref: EPTCS 152, 2014, pp. 1-7

What do simulations predict for the galaxy stellar mass function and its evolution in different environments?

Authors: B. Vulcani, G. De Lucia, B. M. Poggianti, K. Bundy, S. More, R. Calvi

Abstract: We present a comparison between the observed galaxy stellar mass function and the one predicted from the De Lucia & Blaizot (2007) semi-analytic model applied to the Millennium Simulation, for cluster satellites and galaxies in the field (meant as a wide portion of the sky, including all environments), in the local universe (z~0.06) and at intermediate redshift (z~0.6), with the aim to shed light… ▽ More We present a comparison between the observed galaxy stellar mass function and the one predicted from the De Lucia & Blaizot (2007) semi-analytic model applied to the Millennium Simulation, for cluster satellites and galaxies in the field (meant as a wide portion of the sky, including all environments), in the local universe (z~0.06) and at intermediate redshift (z~0.6), with the aim to shed light on the processes which regulate the mass distribution in different environments. While the mass functions in the field and in its finer environments (groups, binary and single systems) are well matched in the local universe down to the completeness limit of the observational sample, the model over-predicts the number of low mass galaxies in the field at z~0.6 and in clusters at both redshifts. Above M_*=10^10.25 M_sun, it reproduces the observed similarity of the cluster and field mass functions, but not the observed evolution. Our results point out two shortcomings of the model: an incorrect treatment of cluster-specific environmental effects and an over-efficient galaxy formation at early times (as already found by e.g. Weinmann et al. 2012). Next, we consider only simulations. Using also the Guo et al. (2011) model, we find that the high mass end of the mass functions depends on halo mass: only very massive halos host massive galaxies, with the result that their mass function is flatter. Above M_*=10^9.4 M_sun, simulations show an evolution in the number of the most massive galaxies in all the environments. Mass functions obtained from the two prescriptions are different, however results are qualitatively similar, indicating that the adopted recipes to model the evolution of central and satellite galaxies still have to be better implemented in semi-analytic models. △ Less

Submitted 24 April, 2014; originally announced April 2014.

Comments: ApJ in press

Detection of the Gravitational Lens Magnifying a Type Ia Supernova

Authors: Robert M. Quimby, Masamune Oguri, Anupreeta More, Surhud More, Takashi J. Moriya, Marcus C. Werner, Masayuki Tanaka, Gaston Folatelli, Melina C. Bersten, Keiichi Maeda, Ken'ichi Nomoto

Abstract: Objects of known brightness, like Type Ia supernovae (SNIa), can be used to measure distances. If a massive object warps spacetime to form multiple images of a background SNIa, a direct test of cosmic expansion is also possible. However, these lensing events must first be distinguished from other rare phenomena. Recently, a supernova was found to shine much brighter than normal for its distance, w… ▽ More Objects of known brightness, like Type Ia supernovae (SNIa), can be used to measure distances. If a massive object warps spacetime to form multiple images of a background SNIa, a direct test of cosmic expansion is also possible. However, these lensing events must first be distinguished from other rare phenomena. Recently, a supernova was found to shine much brighter than normal for its distance, which resulted in a debate: was it a new type of superluminous supernova or a normal SNIa magnified by a hidden gravitational lens? Here we report that a spectrum obtained after the supernova faded away shows the presence of a foreground galaxy--the first found to strongly magnify a SNIa. We discuss how more lensed SNIa may be found than previously predicted. △ Less

Submitted 23 April, 2014; originally announced April 2014.

Comments: 32 pages, 10 figures. Accepted for publication in Science

Discontinuous Galerkin Isogeometric Analysis of Elliptic PDEs on Surfaces

Authors: Ulrich Langer, Stephen Edward Moore

Abstract: Isogeometric analysis uses the same class of basis functions for both, representing the geometry of the computational domain and approximating the solution. In practical applications, geometrical patches are used in order to get flexibility in the geometrical representation. This patch representation corresponds to a domain decomposition. In this paper, we present for the first time a Discontinuou… ▽ More Isogeometric analysis uses the same class of basis functions for both, representing the geometry of the computational domain and approximating the solution. In practical applications, geometrical patches are used in order to get flexibility in the geometrical representation. This patch representation corresponds to a domain decomposition. In this paper, we present for the first time a Discontinuous Galerkin (DG) Method that allows for discontinuities only along the sub-domain (patch) boundaries. The required smoothness is obtained by the DG terms associated with the boundary of the sub-domains. The construction and corresponding discretization error analysis of such DG scheme is presented for Elliptic PDEs in a 2D as well as on open and closed surfaces. Furthermore, we present numerical results to confirm the theory presented. △ Less

Submitted 5 February, 2014; originally announced February 2014.

Comments: 8pages, 6pictures

Report number: NFN Technical Report No. 12

In the footsteps of Ebenezer Porter Mason and his nebulae

Authors: Jeremy Shears, Carl Knight, Martin Lewis, Lee Macdonald, Stewart Moore, Jeff Young

Abstract: In 1839 Ebenezer Porter Mason (1819-1840) produced detailed drawings of the Omega Nebula (M17), the Trifid Nebula (M20) and the eastern part of the Veil Nebula (NGC 6992 and 6995). He used a 12-inch (30 cm) reflector that he and his friends had built at Yale College, which at the time was the largest telescope in the USA. The drawings were remarkable for their accuracy and for his adoption of a ne… ▽ More In 1839 Ebenezer Porter Mason (1819-1840) produced detailed drawings of the Omega Nebula (M17), the Trifid Nebula (M20) and the eastern part of the Veil Nebula (NGC 6992 and 6995). He used a 12-inch (30 cm) reflector that he and his friends had built at Yale College, which at the time was the largest telescope in the USA. The drawings were remarkable for their accuracy and for his adoption of a new technique for delineating gradients in nebulosity using isophotes, or lines of equal brightness. This paper reviews his life and his observations, comparing his results with those of the modern amateur astronomer. △ Less

Submitted 30 January, 2014; originally announced January 2014.

Comments: 13 pages, 7 Figures. Accepted for publication in the Journal of the British Astronomical Association

The Norma cluster (ACO3627) -- III. The Distance and Peculiar Velocity via the Near-Infrared Ks-band Fundamental Plane

Authors: T. Mutabazi, S. L. Blyth, P. A. Woudt, J. R. Lucey, T. H. Jarrett, M. Bilicki, A. C. Schroder, S. A. W. Moore

Abstract: While Norma (ACO3627) is the richest cluster in the Great Attractor (GA) region, its role in the local dynamics is poorly understood. The Norma cluster has a mean redshift (z_CMB) of 0.0165 and has been proposed as the "core" of the GA. We have used the Ks-band Fundamental Plane (FP) to measure Norma cluster's distance with respect to the Coma cluster. We report FP photometry parameters (effective… ▽ More While Norma (ACO3627) is the richest cluster in the Great Attractor (GA) region, its role in the local dynamics is poorly understood. The Norma cluster has a mean redshift (z_CMB) of 0.0165 and has been proposed as the "core" of the GA. We have used the Ks-band Fundamental Plane (FP) to measure Norma cluster's distance with respect to the Coma cluster. We report FP photometry parameters (effective radii and surface brightnesses), derived from ESO NTT SOFI images, and velocity dispersions, from AAT 2dF spectroscopy, for 31 early-type galaxies in the cluster. For the Coma cluster we use 2MASS images and SDSS velocity dispersion measurements for 121 early-type galaxies to generate the calibrating FP dataset. For the combined Norma-Coma sample we measure FP coefficients of a=1.465+/-0.059 and b=0.326+/-0.020. We find an rms scatter, in log(central velocity dispersion) of 0.08 dex which corresponds to a distance uncertainty of 28% per galaxy. The zero point offset between Norma's and Coma's FPs is 0.154+/-0.014 dex. Assuming that the Coma cluster is at rest with respect to the cosmic microwave background frame and z_CMB(Coma)=0.0240, we derive a distance to the Norma cluster of 5026+/-160 km/s, and the derived peculiar velocity is -72+/-170 km/s, i.e., consistent with zero. This is lower than previously reported positive peculiar velocities for clusters/groups/galaxies in the GA region and hence the Norma cluster may indeed represent the GA's "core". △ Less

Submitted 30 January, 2014; v1 submitted 29 January, 2014; originally announced January 2014.

Comments: 16 pages, 11 figures, Accepted for publication in MNRAS

Systematic expansion for infrared oscillator basis extrapolations

Authors: R. J. Furnstahl, S. N. More, T. Papenbrock

Abstract: Recent work has demonstrated that the infrared effects of harmonic oscillator basis truncations are well approximated by imposing a partial-wave Dirichlet boundary condition at a properly identified radius L. This led to formulas for extrapolating the corresponding energy E_L and other observables to infinite L and thus infinite basis size. Here we reconsider the energy for a two-body system with… ▽ More Recent work has demonstrated that the infrared effects of harmonic oscillator basis truncations are well approximated by imposing a partial-wave Dirichlet boundary condition at a properly identified radius L. This led to formulas for extrapolating the corresponding energy E_L and other observables to infinite L and thus infinite basis size. Here we reconsider the energy for a two-body system with a Dirichlet boundary condition at L to identify and test a consistent and systematic expansion for E_L that depends only on observables. We also generalize the energy extrapolation formula to nonzero angular momentum, and apply it to the deuteron. Formulas given previously for extrapolating the radius are derived in detail. △ Less

Submitted 20 March, 2014; v1 submitted 24 December, 2013; originally announced December 2013.

Comments: 13 pages, 10 figures. Clarifications made and three figures added to further document results. No results or conclusions are changed

Journal ref: Phys. Rev. C 89, 044301 (2014)

The Weak Lensing Signal and the Clustering of BOSS Galaxies I: Measurements

Authors: Hironao Miyatake, Surhud More, Rachel Mandelbaum, Masahiro Takada, David. N. Spergel, Jean-Paul Kneib, Donald P. Schneider, J. Brinkmann, Joel R. Brownstein

Abstract: A joint analysis of the clustering of galaxies and their weak gravitational lensing signal is well-suited to simultaneously constrain the galaxy-halo connection as well as the cosmological parameters by breaking the degeneracy between galaxy bias and the amplitude of clustering signal. In a series of two papers, we perform such an analysis at the highest redshift ($z\sim0.53$) in the literature us… ▽ More A joint analysis of the clustering of galaxies and their weak gravitational lensing signal is well-suited to simultaneously constrain the galaxy-halo connection as well as the cosmological parameters by breaking the degeneracy between galaxy bias and the amplitude of clustering signal. In a series of two papers, we perform such an analysis at the highest redshift ($z\sim0.53$) in the literature using CMASS galaxies in the Sloan Digital Sky Survey-III Baryon Oscillation Spectroscopic Survey Eleventh Data Release (SDSS-III/BOSS DR11) catalog spanning 8300~deg$^2$. In this paper, we present details of the clustering and weak lensing measurements of these galaxies. We define a subsample of 400,916 CMASS galaxies based on their redshifts and stellar mass estimates so that the galaxies constitute an approximately volume-limited and similar population over the redshift range $0.47\le z\le 0.59$. We obtain a signal-to-noise ratio $S/N\simeq 56$ for the galaxy clustering measurement. We also explore the redshift and stellar mass dependence of the clustering signal. For the weak lensing measurement, we use existing deeper imaging data from the CFHTLS with publicly available shape and photometric redshift catalogs from CFHTLenS, but only in a 105~deg$^2$ area which overlaps with BOSS. This restricts the lensing measurement to only 5,084 CMASS galaxies. After careful systematic tests, we find a highly significant detection of the CMASS weak lensing signal, with total $S/N\simeq 26$. These measurements form the basis of the halo occupation distribution and cosmology analysis presented in More et al. (Paper II). △ Less

Submitted 20 March, 2015; v1 submitted 6 November, 2013; originally announced November 2013.

Comments: 15 pages, 13 figures. Accepted for publication in the Astrophysical Journal

The Large-scale Distribution of Cool Gas around Luminous Red Galaxies

Authors: Guangtun Zhu, Brice Ménard, Dmitry Bizyaev, Howard Brewington, Garrett Ebelke, Shirley Ho, Karen Kinemuchi, Viktor Malanushenko, Elena Malanushenko, Moses Marchante, Surhud More, Daniel Oravetz, Kaike Pan, Patrick Petitjean, Audrey Simmons

Abstract: We present a measurement of the correlation function between luminous red galaxies and cool gas traced by Mg II λλ2796, 2803 absorption, on scales ranging from about 30 kpc to 20 Mpc. The measurement is based on cross-correlating the positions of about one million red galaxies at z~0.5 and the flux decrements induced in the spectra of about 10^5 background quasars from the Sloan Digital Sky Survey… ▽ More We present a measurement of the correlation function between luminous red galaxies and cool gas traced by Mg II λλ2796, 2803 absorption, on scales ranging from about 30 kpc to 20 Mpc. The measurement is based on cross-correlating the positions of about one million red galaxies at z~0.5 and the flux decrements induced in the spectra of about 10^5 background quasars from the Sloan Digital Sky Survey. We find that: (i) This galaxy-gas correlation reveals a change of slope on scales of about 1 Mpc, consistent with the expected transition from a dark matter halo dominated environment to a regime where clustering is dominated by halo-halo correlations. Assuming that, on average, the distribution of Mg II gas follows that of dark matter up to a gas-to-mass ratio, we find the standard halo model to provide an accurate description of the gas distribution over three orders of magnitude in scale. Within this framework we estimate the average host halo mass of luminous red galaxies to be about 10^{13.5} M_solar, in agreement with other methods. We also find the Mg II gas-to-mass ratio around LRGs to be consistent with the cosmic value estimated on Mpc scales. Combining our galaxy-gas correlation and the galaxy-mass correlation function from galaxy-galaxy lensing analyses we can directly measure the Mg II gas-to-mass ratio as a function of scale and reach the same conclusion. (ii) From line-width estimates, we show that the velocity dispersion of the gas clouds also shows the expected 1- and 2-halo behaviors. On large scales the gas distribution follows the Hubble flow, whereas on small scales we observe the velocity dispersion of the Mg II gas clouds to be lower than that of collisionless dark matter particles within their host halo. This is in line with the fact that cool clouds are subject to the pressure of the virialized hot gas. △ Less

Submitted 29 September, 2013; originally announced September 2013.

Comments: 18 pages, 11 figures, 1 table, submitted to MNRAS

Automation of Mathematical Induction as part of the History of Logic

Authors: J Strother Moore, Claus-Peter Wirth

Abstract: We review the history of the automation of mathematical induction We review the history of the automation of mathematical induction △ Less

Submitted 28 July, 2014; v1 submitted 24 September, 2013; originally announced September 2013.

Comments: ii+107 pages

Report number: SEKI-Report SR-2013-02. ISSN 1437--4447

Journal ref: IfCoLog Journal of Logics and their Applications, Vol. 4, number 5, pp. 1505-1634 (2017)

Cosmological dependence of the measurements of luminosity function, projected clustering and galaxy-galaxy lensing signal

Authors: Surhud More

Abstract: Observables such as the luminosity function of galaxies, Φ(M), the projected clustering of galaxies, w_p(r_p), and the galaxy-galaxy lensing signal, ΔΣ, are often measured from galaxy redshift surveys assuming a fiducial cosmological model for calculating distances to and between galaxies. There is a growing number of studies that perform joint analyses of these measurements and constrain cosmolog… ▽ More Observables such as the luminosity function of galaxies, Φ(M), the projected clustering of galaxies, w_p(r_p), and the galaxy-galaxy lensing signal, ΔΣ, are often measured from galaxy redshift surveys assuming a fiducial cosmological model for calculating distances to and between galaxies. There is a growing number of studies that perform joint analyses of these measurements and constrain cosmological parameters. We quantify the amount by which such measurements systematically vary as the fiducial cosmology used for the measurements is changed, and show that these effects can be significant at high redshifts (z~0.5). We present a simple way that maps the measurements made using a particular fiducial cosmological model to any other cosmological model. Cosmological constraints (or halo occupation distribution constraints) that use the luminosity function, clustering measurements and galaxy-galaxy lensing signal but ignore these systematic effects may underestimate the confidence intervals on the inferred parameters. △ Less

Submitted 11 September, 2013; originally announced September 2013.

Comments: 6 pages, 3 figures, 2 tables, comments welcome

The Tenth Data Release of the Sloan Digital Sky Survey: First Spectroscopic Data from the SDSS-III Apache Point Observatory Galactic Evolution Experiment

Authors: Christopher P. Ahn, Rachael Alexandroff, Carlos Allende Prieto, Friedrich Anders, Scott F. Anderson, Timothy Anderton, Brett H. Andrews, Éric Aubourg, Stephen Bailey, Fabienne A. Bastien, Julian E. Bautista, Timothy C. Beers, Alessandra Beifiori, Chad F. Bender, Andreas A. Berlind, Florian Beutler, Vaishali Bhardwaj, Jonathan C. Bird, Dmitry Bizyaev, Cullen H. Blake, Michael R. Blanton, Michael Blomqvist, John J. Bochanski, Adam S. Bolton, Arnaud Borde , et al. (210 additional authors not shown)

Abstract: The Sloan Digital Sky Survey (SDSS) has been in operation since 2000 April. This paper presents the tenth public data release (DR10) from its current incarnation, SDSS-III. This data release includes the first spectroscopic data from the Apache Point Observatory Galaxy Evolution Experiment (APOGEE), along with spectroscopic data from the Baryon Oscillation Spectroscopic Survey (BOSS) taken through… ▽ More The Sloan Digital Sky Survey (SDSS) has been in operation since 2000 April. This paper presents the tenth public data release (DR10) from its current incarnation, SDSS-III. This data release includes the first spectroscopic data from the Apache Point Observatory Galaxy Evolution Experiment (APOGEE), along with spectroscopic data from the Baryon Oscillation Spectroscopic Survey (BOSS) taken through 2012 July. The APOGEE instrument is a near-infrared R~22,500 300-fiber spectrograph covering 1.514--1.696 microns. The APOGEE survey is studying the chemical abundances and radial velocities of roughly 100,000 red giant star candidates in the bulge, bar, disk, and halo of the Milky Way. DR10 includes 178,397 spectra of 57,454 stars, each typically observed three or more times, from APOGEE. Derived quantities from these spectra (radial velocities, effective temperatures, surface gravities, and metallicities) are also included.DR10 also roughly doubles the number of BOSS spectra over those included in the ninth data release. DR10 includes a total of 1,507,954 BOSS spectra, comprising 927,844 galaxy spectra; 182,009 quasar spectra; and 159,327 stellar spectra, selected over 6373.2 square degrees. △ Less

Submitted 17 January, 2014; v1 submitted 29 July, 2013; originally announced July 2013.

Comments: 15 figures; 1 table. Accepted to ApJS. DR10 is available at http://www.sdss3.org/dr10 v3 fixed 3 diacritic markings in the arXiv HTML listing of the author names

The statistical nature of the brightest group galaxies

Authors: Shiyin Shen, Xiaohu Yang, Houjun Mo, Frank van den Bosch, Surhud More

Abstract: We examine the statistical properties of the brightest group galaxies (BGGs) using a complete spectroscopic sample of groups/clusters of galaxies selected from the Data Release 7 of the Sloan Digital Sky Survey. We test whether BGGs and other bright members of groups are consistent with an ordered population among the total population of group galaxies. We find that the luminosity distributions of… ▽ More We examine the statistical properties of the brightest group galaxies (BGGs) using a complete spectroscopic sample of groups/clusters of galaxies selected from the Data Release 7 of the Sloan Digital Sky Survey. We test whether BGGs and other bright members of groups are consistent with an ordered population among the total population of group galaxies. We find that the luminosity distributions of BGGs do not follow the predictions from the order statistics (OS). The average luminosities of BGGs are systematically brighter than OS predictions. On the other hand, by properly taking into account the brightening effect of the BGGs, the luminosity distributions of the second brightest galaxies are in excellent agreement with the expectations of OS. The brightening of BGGs relative to the OS expectation is consistent with a scenario that the BGGs on average have over-grown about 20 percent masses relative to the other member galaxies. The growth ($ΔM$) is not stochastic but correlated with the magnitude gap ($G_{1,2}$) between the brightest and the second brightest galaxy. The growth ($ΔM$) is larger for the groups having more prominent BGGs (larger $G_{1,2}$) and averagely contributes about 30 percent of the final $G_{1,2}$ of the groups of galaxies. △ Less

Submitted 3 January, 2014; v1 submitted 18 July, 2013; originally announced July 2013.

Comments: ApJ accepted, replaced with the accepted version

On the evolution of cluster scaling relations

Authors: Benedikt Diemer, Andrey V. Kravtsov, Surhud More

Abstract: Understanding the evolution of scaling relations between the observable properties of clusters and their total mass is key to realizing their potential as cosmological probes. In this study, we investigate whether the evolution of cluster scaling relations is affected by the spurious evolution of mass caused by the evolving reference density with respect to which halo masses are defined (pseudo-ev… ▽ More Understanding the evolution of scaling relations between the observable properties of clusters and their total mass is key to realizing their potential as cosmological probes. In this study, we investigate whether the evolution of cluster scaling relations is affected by the spurious evolution of mass caused by the evolving reference density with respect to which halo masses are defined (pseudo-evolution). We use the relation between mass, M, and velocity dispersion, sigma, as a test case, and show that the deviation from the M-sigma relation of cluster-sized halos caused by pseudo-evolution is smaller than 10% for a wide range of mass definitions. The reason for this small impact is a tight relation between the velocity dispersion and mass profiles, sigma(<r) = const * (GM(<r) / r)^1/2, which holds across a wide range of radii. We show that such a relation is generically expected for a variety of density profiles, as long as halos are in approximate Jeans equilibrium. Thus, as the outer "virial" radius used to define the halo mass, R, increases due to pseudo-evolution, halos approximately preserve their M-sigma relation. This result highlights the fact that tight scaling relations are the result of tight equilibrium relations between radial profiles of physical quantities. We find exceptions at very small and very large radii, where the profiles deviate from the relations they exhibit at intermediate radii. We discuss the implications of these results for other cluster scaling relations, and argue that pseudo-evolution should have a small effect on most scaling relations, except for those that involve the stellar masses of galaxies. In particular, we show that the relation between stellar-mass fraction and total mass is affected by pseudo-evolution and is largely shaped by it for halo masses of less than 10^14 solar masses. △ Less

Submitted 5 December, 2013; v1 submitted 13 June, 2013; originally announced June 2013.

Comments: 11 pages, 6 figures. Published version. Figure 6 is incorrect in ApJ, but correct here

Journal ref: 2013 ApJ 779 159

Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1

Authors: Matt Kaufmann, J Strother Moore

Abstract: We report on highlights of the ACL2 enhancements introduced in ACL2 releases since the 2011 ACL2 Workshop. Although many enhancements are critical for soundness or robustness, we focus in this paper on those improvements that could benefit users who are aware of them, but that might not be discovered in everyday practice. We report on highlights of the ACL2 enhancements introduced in ACL2 releases since the 2011 ACL2 Workshop. Although many enhancements are critical for soundness or robustness, we focus in this paper on those improvements that could benefit users who are aware of them, but that might not be discovered in everyday practice. △ Less

Submitted 30 April, 2013; originally announced April 2013.

Comments: In Proceedings ACL2 2013, arXiv:1304.7123

ACM Class: F.4.1; I.2.3; G.4

Journal ref: EPTCS 114, 2013, pp. 5-12

Universal properties of infrared oscillator basis extrapolations

Authors: S. N. More, A. Ekstrom, R. J. Furnstahl, G. Hagen, T. Papenbrock

Abstract: Recent work has shown that a finite harmonic oscillator basis in nuclear many-body calculations effectively imposes a hard-wall boundary condition in coordinate space, motivating infrared extrapolation formulas for the energy and other observables. Here we further refine these formulas by studying two-body models and the deuteron. We accurately determine the box size as a function of the model spa… ▽ More Recent work has shown that a finite harmonic oscillator basis in nuclear many-body calculations effectively imposes a hard-wall boundary condition in coordinate space, motivating infrared extrapolation formulas for the energy and other observables. Here we further refine these formulas by studying two-body models and the deuteron. We accurately determine the box size as a function of the model space parameters, and compute scattering phase shifts in the harmonic oscillator basis. We show that the energy shift can be well approximated in terms of the asymptotic normalization coefficient and the bound-state momentum, discuss higher-order corrections for weakly bound systems, and illustrate this universal property using unitarily equivalent calculations of the deuteron. △ Less

Submitted 24 April, 2013; v1 submitted 15 February, 2013; originally announced February 2013.

Comments: 16 pages, 21 figures, published version

Journal ref: Phys. Rev. C 87, 044326 (2013)

Extraordinary Magnification of the Ordinary Type Ia Supernova PS1-10afx

Authors: Robert M. Quimby, Marcus C. Werner, Masamune Oguri, Surhud More, Anupreeta More, Masayuki Tanaka, Ken'ichi Nomoto, Takashi J. Moriya, Gaston Folatelli, Keiichi Maeda, Melina Bersten

Abstract: Recently, Chornock and co-workers announced the Pan-STARRS discovery of a transient source reaching an apparent peak luminosity of ~4x10^44 erg s^-1. We show that the spectra of this transient source are well fit by normal Type Ia supernova (SNIa) templates. The multi-band colors and light-curve shapes are also consistent with normal SNeIa at the spectroscopically determined redshift of z=1.3883;… ▽ More Recently, Chornock and co-workers announced the Pan-STARRS discovery of a transient source reaching an apparent peak luminosity of ~4x10^44 erg s^-1. We show that the spectra of this transient source are well fit by normal Type Ia supernova (SNIa) templates. The multi-band colors and light-curve shapes are also consistent with normal SNeIa at the spectroscopically determined redshift of z=1.3883; however, the observed flux is a constant factor of ~30 times too bright in each band over time as compared to the templates. At minimum, this shows that the peak luminosities inferred from the light-curve widths of some SNeIa will deviate significantly from the established, empirical relation used by cosmologists. We argue on physical grounds that the observed fluxes do not reflect an intrinsically luminous SNIa, but rather PS1-10afx is a normal SNIa whose flux has been magnified by an external source. The only known astrophysical source capable of such magnification is a gravitational lens. Given the lack of obvious lens candidates, such as galaxy clusters, in the vicinity, we further argue that the lens is a supermassive black hole or a comparatively low-mass dark matter halo. In this case, the lens continues to magnify the underlying host galaxy light. If confirmed, this discovery could impact a broad range of topics including cosmology, gamma-ray bursts, and dark matter halos. △ Less

Submitted 5 April, 2013; v1 submitted 12 February, 2013; originally announced February 2013.

Comments: 6 pages; accepted to ApJ Letters

Effects of baryon removal on the structure of dwarf spheroidal galaxies

Authors: Kenza S. Arraki, Anatoly Klypin, Surhud More, Sebastian Trujillo-Gomez

Abstract: Dwarf spheroidal galaxies (dSphs) are extremely gas-poor, dark matter-dominated galaxies, which make them ideal to test the predictions of the cold dark matter (CDM) model. We argue that the removal of the baryonic component from gas-rich dwarf irregular galaxies, the progenitors of dSphs, can substantially reduce their central density. Thus, it may play an important role in alleviating one of the… ▽ More Dwarf spheroidal galaxies (dSphs) are extremely gas-poor, dark matter-dominated galaxies, which make them ideal to test the predictions of the cold dark matter (CDM) model. We argue that the removal of the baryonic component from gas-rich dwarf irregular galaxies, the progenitors of dSphs, can substantially reduce their central density. Thus, it may play an important role in alleviating one of the problems of the CDM model related to the structure of relatively massive satellite galaxies of the Milky Way (MW). Traditionally, collisionless cosmological N-body simulations are used when confronting theoretical predictions with observations. However, these simulations assume that the baryon fraction everywhere in the Universe is equal to the cosmic mean, which can be incorrect for dSphs. We find that the combination of (i) the lower baryon fraction in dSphs compared to the cosmic mean and (ii) the concentration of baryons in the inner part of the MW halo can go a long way towards explaining the observed circular velocity profiles of dSphs. We find that the blowing away of baryons by ram pressure, when the dwarfs fall into larger galaxies, decreases the circular velocity profile of the satellite and reduces the density in the central ~200-500 pc by a factor of (1 - f_b)^4 ~ 0.5, where f_b is the cosmological fraction of baryons. Additionally, the enhanced baryonic mass in the central regions of the parent galaxy generates tidal forces, which are larger than those experienced by subhaloes in traditional N-body simulations. Increased tidal forces substantially alter circular velocity profiles for satellites with pericentres less than 50 kpc. We show that these two effects are strong enough to bring the predictions of subhaloes from CDM simulations into agreement with the observed structure of MW dSphs, regardless of the details of the baryonic processes. △ Less

Submitted 11 December, 2013; v1 submitted 29 December, 2012; originally announced December 2012.

Comments: 17 pages, 7 figures, and 3 tables; accepted for publication in MNRAS

Accelerated Time-of-Flight Mass Spectrometry

Authors: Morteza Ibrahimi, Andrea Montanari, George S Moore

Abstract: We study a simple modification to the conventional time of flight mass spectrometry (TOFMS) where a \emph{variable} and (pseudo)-\emph{random} pulsing rate is used which allows for traces from different pulses to overlap. This modification requires little alteration to the currently employed hardware. However, it requires a reconstruction method to recover the spectrum from highly aliased traces.… ▽ More We study a simple modification to the conventional time of flight mass spectrometry (TOFMS) where a \emph{variable} and (pseudo)-\emph{random} pulsing rate is used which allows for traces from different pulses to overlap. This modification requires little alteration to the currently employed hardware. However, it requires a reconstruction method to recover the spectrum from highly aliased traces. We propose and demonstrate an efficient algorithm that can process massive TOFMS data using computational resources that can be considered modest with today's standards. This approach can be used to improve duty cycle, speed, and mass resolving power of TOFMS at the same time. We expect this to extend the applicability of TOFMS to new domains. △ Less

Submitted 28 July, 2013; v1 submitted 18 December, 2012; originally announced December 2012.

Comments: 14 pages, 18 figures. This paper is submitted to IEEE Transaction on Signal Processing

Precision Measurement of the Neutron Beta-Decay Asymmetry

Authors: M. P. Mendenhall, R. W. Pattie Jr, Y. Bagdasarova, D. B. Berguno, L. J. Broussard, R. Carr, S. Currie, X. Ding, B. W. Filippone, A. García, P. Geltenbort, K. P. Hickerson, J. Hoagland, A. T. Holley, R. Hong, T. M. Ito, A. Knecht, C. -Y. Liu, J. L. Liu, M. Makela, R. R. Mammei, J. W. Martin, D. Melconian, S. D. Moore, C. L. Morris , et al. (16 additional authors not shown)

Abstract: A new measurement of the neutron $β$-decay asymmetry $A_0$ has been carried out by the UCNA collaboration using polarized ultracold neutrons (UCN) from the solid deuterium UCN source at the Los Alamos Neutron Science Center (LANSCE). Improvements in the experiment have led to reductions in both statistical and systematic uncertainties leading to $A_0 = -0.11954(55)_{\rm stat.}(98)_{\rm syst.}$, co… ▽ More A new measurement of the neutron $β$-decay asymmetry $A_0$ has been carried out by the UCNA collaboration using polarized ultracold neutrons (UCN) from the solid deuterium UCN source at the Los Alamos Neutron Science Center (LANSCE). Improvements in the experiment have led to reductions in both statistical and systematic uncertainties leading to $A_0 = -0.11954(55)_{\rm stat.}(98)_{\rm syst.}$, corresponding to the ratio of axial-vector to vector coupling $λ\equiv g_A/g_V = -1.2756(30)$. △ Less

Submitted 19 February, 2013; v1 submitted 25 October, 2012; originally announced October 2012.

Global Energetics of Thirty-Eight Large Solar Eruptive Events

Authors: A. G. Emslie, B. R. Dennis, A. Y. Shih, P. C. Chamberlin, R. A. Mewaldt, C. S. Moore, G. H. Share, A. Vourlidas, B. T. Welsch

Abstract: We have evaluated the energetics of 38 solar eruptive events observed by a variety of spacecraft instruments between February 2002 and December 2006, as accurately as the observations allow. The measured energetic components include: (1) the radiated energy in the GOES 1 - 8 A band; (2) the total energy radiated from the soft X-ray (SXR) emitting plasma; (3) the peak energy in the SXR-emitting pla… ▽ More We have evaluated the energetics of 38 solar eruptive events observed by a variety of spacecraft instruments between February 2002 and December 2006, as accurately as the observations allow. The measured energetic components include: (1) the radiated energy in the GOES 1 - 8 A band; (2) the total energy radiated from the soft X-ray (SXR) emitting plasma; (3) the peak energy in the SXR-emitting plasma; (4) the bolometric radiated energy over the full duration of the event; (5) the energy in flare-accelerated electrons above 20 keV and in flare-accelerated ions above 1 MeV; (6) the kinetic and potential energies of the coronal mass ejection (CME); (7) the energy in solar energetic particles (SEPs) observed in interplanetary space; and (8) the amount of free (nonpotential) magnetic energy estimated to be available in the pertinent active region. Major conclusions include: (1) the energy radiated by the SXR-emitting plasma exceeds, by about half an order of magnitude, the peak energy content of the thermal plasma that produces this radiation; (2) the energy content in flare-accelerated electrons and ions is sufficient to supply the bolometric energy radiated across all wavelengths throughout the event; (3) the energy contents of flare-accelerated electrons and ions are comparable; (4) the energy in SEPs is typically a few percent of the CME kinetic energy (measured in the rest frame of the solar wind); and (5) the available magnetic energy is sufficient to power the CME, the flare-accelerated particles, and the hot thermal plasma. △ Less

Submitted 12 September, 2012; originally announced September 2012.

Magnitude Gap Statistics and the Conditional Luminosity Function

Authors: Surhud More

Abstract: In a recent preprint, Hearin et al. (2012,H12) suggest that the halo mass-richness calibration of clusters can be improved by using the difference in the magnitude of the brightest and the second brightest galaxy (magnitude gap) as an additional observable. They claim that their results are at odds with the results from Paranjape & Sheth (2012, PS12) who show that the magnitude distribution of the… ▽ More In a recent preprint, Hearin et al. (2012,H12) suggest that the halo mass-richness calibration of clusters can be improved by using the difference in the magnitude of the brightest and the second brightest galaxy (magnitude gap) as an additional observable. They claim that their results are at odds with the results from Paranjape & Sheth (2012, PS12) who show that the magnitude distribution of the brightest and second brightest galaxies can be explained based on order statistics of luminosities randomly sampled from the total galaxy luminosity function. We find that a conditional luminosity function (CLF) for galaxies which varies with halo mass, in a manner which is consistent with existing observations, naturally leads to a magnitude gap distribution which changes as a function of halo mass at fixed richness, in qualitative agreement with H12. We show that, in general, the luminosity distribution of the brightest and the second brightest galaxy depends upon whether the luminosities of galaxies are drawn from the CLF or the global luminosity function. However, we also show that the difference between the two cases is small enough to evade detection in the small sample investigated by PS12. This shows that the luminosity distribution is not the appropriate statistic to distinguish between the two cases, given the small sample size. We argue in favor of the CLF (and therefore H12) based upon its consistency with other independent observations, such as the kinematics of satellite galaxies, the abundance and clustering of galaxies, and the galaxy-galaxy lensing signal from the Sloan Digital Sky Survey. △ Less

Submitted 26 July, 2012; v1 submitted 23 July, 2012; originally announced July 2012.

Comments: 8 pages, 5 figures, submitted to the ApJ main journal, updated references and a typo in the abstract

The pseudo-evolution of halo mass

Authors: Benedikt Diemer, Surhud More, Andrey Kravtsov

Abstract: A dark matter halo is commonly defined as a spherical overdensity of matter with respect to a reference density, such as the critical density or the mean matter density of the Universe. Such definitions can lead to a spurious pseudo-evolution of halo mass simply due to redshift evolution of the reference density, even if its physical density profile remains constant over time. We estimate the amou… ▽ More A dark matter halo is commonly defined as a spherical overdensity of matter with respect to a reference density, such as the critical density or the mean matter density of the Universe. Such definitions can lead to a spurious pseudo-evolution of halo mass simply due to redshift evolution of the reference density, even if its physical density profile remains constant over time. We estimate the amount of such pseudo-evolution of mass between z=1 to 0 for halos identified in a large N-body simulation, and show that it accounts for almost the entire mass evolution of the majority of halos with M200 of about 1E12 solar masses and can be a significant fraction of the apparent mass growth even for cluster-sized halos. We estimate the magnitude of the pseudo-evolution assuming that halo density profiles remain static in physical coordinates, and show that this simple model predicts the pseudo-evolution of halos identified in numerical simulations to good accuracy, albeit with significant scatter. We discuss the impact of pseudo-evolution on the evolution of the halo mass function and show that the non-evolution of the low-mass end of the halo mass function is the result of a fortuitous cancellation between pseudo-evolution and the absorption of small halos into larger hosts. We also show that the evolution of the low mass end of the concentration-mass relation observed in simulations is almost entirely due to the pseudo-evolution of mass. Finally, we discuss the implications of our results for the interpretation of the evolution of various scaling relations between the observable properties of galaxies and galaxy clusters and their halo masses. △ Less

Submitted 11 March, 2013; v1 submitted 3 July, 2012; originally announced July 2012.

Comments: 15 pages, 9 figures. Minor changes. Published Version

Journal ref: 2013 ApJ 766 25

Cosmological Constraints from a Combination of Galaxy Clustering and Lensing -- III. Application to SDSS Data

Authors: Marcello Cacciato, Frank C. van den Bosch, Surhud More, Houjun Mo, Xiaohu Yang

Abstract: We simultaneously constrain cosmology and galaxy bias using measurements of galaxy abundances, galaxy clustering and galaxy-galaxy lensing taken from the Sloan Digital Sky Survey. We use the conditional luminosity function (which describes the halo occupation statistics as function of galaxy luminosity) combined with the halo model (which describes the non-linear matter field in terms of its halo… ▽ More We simultaneously constrain cosmology and galaxy bias using measurements of galaxy abundances, galaxy clustering and galaxy-galaxy lensing taken from the Sloan Digital Sky Survey. We use the conditional luminosity function (which describes the halo occupation statistics as function of galaxy luminosity) combined with the halo model (which describes the non-linear matter field in terms of its halo building blocks) to describe the galaxy-dark matter connection. We explicitly account for residual redshift space distortions in the projected galaxy-galaxy correlation functions, and marginalize over uncertainties in the scale dependence of the halo bias and the detailed structure of dark matter haloes. Under the assumption of a spatially flat, vanilla ΛCDM cosmology, we focus on constraining the matter density, Ωm, and the normalization of the matter power spectrum, σ8, and we adopt WMAP7 priors for the spectral index, the Hubble parameter, and the baryon density. We obtain that \Omegam = 0.278_{-0.026}^{+0.023} and σ8 = 0.763_{-0.049}^{+0.064} (95% CL). These results are robust to uncertainties in the radial number density distribution of satellite galaxies, while allowing for non-Poisson satellite occupation distributions results in a slightly lower value for σ8 (0.744_{-0.047}^{+0.056}). These constraints are in excellent agreement (at the 1σ level) with the cosmic microwave background constraints from WMAP. This demonstrates that the use of a realistic and accurate model for galaxy bias, down to the smallest non-linear scales currently observed in galaxy surveys, leads to results perfectly consistent with the vanilla ΛCDM cosmology. △ Less

Submitted 2 July, 2012; originally announced July 2012.

Comments: 21 pages, 9 figures, 5 tables, submitted to MNRAS

Cosmological Constraints from a Combination of Galaxy Clustering & Lensing -- II. Fisher Matrix Analysis

Authors: Surhud More, Frank van den Bosch, Marcello Cacciato, Anupreeta More, Houjun Mo, Xiaohu Yang

Abstract: We quantify the accuracy with which the cosmological parameters characterizing the energy density of matter (Ω_m), the amplitude of the power spectrum of matter fluctuations (σ_8), the energy density of neutrinos (Ω_ν) and the dark energy equation of state (w_0) can be constrained using data from large galaxy redshift surveys. We advocate a joint analysis of the abundance of galaxies, galaxy clust… ▽ More We quantify the accuracy with which the cosmological parameters characterizing the energy density of matter (Ω_m), the amplitude of the power spectrum of matter fluctuations (σ_8), the energy density of neutrinos (Ω_ν) and the dark energy equation of state (w_0) can be constrained using data from large galaxy redshift surveys. We advocate a joint analysis of the abundance of galaxies, galaxy clustering, and the galaxy-galaxy weak lensing signal in order to simultaneously constrain the halo occupation statistics (i.e., galaxy bias) and the cosmological parameters of interest. We parameterize the halo occupation distribution of galaxies in terms of the conditional luminosity function and use the analytical framework of the halo model described in our companion paper (van den Bosch et al. 2012), to predict the relevant observables. By performing a Fisher matrix analysis, we show that a joint analysis of these observables, even with the precision with which they are currently measured from the Sloan Digital Sky Survey, can be used to obtain tight constraints on the cosmological parameters, fully marginalized over uncertainties in galaxy bias. We demonstrate that the cosmological constraints from such an analysis are nearly uncorrelated with the halo occupation distribution constraints, thus, minimizing the systematic impact of any imperfections in modeling the halo occupation statistics on the cosmological constraints. In fact, we demonstrate that the constraints from such an analysis are both complementary to and competitive with existing constraints on these parameters from a number of other techniques, such as cluster abundances, cosmic shear and/or baryon acoustic oscillations, thus paving the way to test the concordance cosmological model. △ Less

Submitted 29 June, 2012; originally announced July 2012.

Comments: 22 pages, 17 figures, to be submitted to MNRAS

Cosmological Constraints from a Combination of Galaxy Clustering and Lensing -- I. Theoretical Framework

Authors: Frank van den Bosch, Surhud More, Marcello Cacciato, Houjun Mo, Xiaohu Yang

Abstract: We present a new method that simultaneously solves for cosmology and galaxy bias on non-linear scales. The method uses the halo model to analytically describe the (non-linear) matter distribution, and the conditional luminosity function (CLF) to specify the halo occupation statistics. For a given choice of cosmological parameters, this model can be used to predict the galaxy luminosity function, a… ▽ More We present a new method that simultaneously solves for cosmology and galaxy bias on non-linear scales. The method uses the halo model to analytically describe the (non-linear) matter distribution, and the conditional luminosity function (CLF) to specify the halo occupation statistics. For a given choice of cosmological parameters, this model can be used to predict the galaxy luminosity function, as well as the two-point correlation functions of galaxies, and the galaxy-galaxy lensing signal, both as function of scale and luminosity. In this paper, the first in a series, we present the detailed, analytical model, which we test against mock galaxy redshift surveys constructed from high-resolution numerical $N$-body simulations. We demonstrate that our model, which includes scale-dependence of the halo bias and a proper treatment of halo exclusion, reproduces the 3-dimensional galaxy-galaxy correlation and the galaxy-matter cross-correlation (which can be projected to predict the observables) with an accuracy better than 10 (in most cases 5) percent. Ignoring either of these effects, as is often done, results in systematic errors that easily exceed 40 percent on scales of $\sim 1 h^{-1}\Mpc$, where the data is typically most accurate. Finally, since the projected correlation functions of galaxies are never obtained by integrating the redshift space correlation function along the line-of-sight out to infinity, simply because the data only cover a finite volume, they are still affected by residual redshift space distortions (RRSDs). Ignoring these, as done in numerous studies in the past, results in systematic errors that easily exceed 20 perent on large scales ($r_\rmp \gta 10 h^{-1}\Mpc$). We show that it is fairly straightforward to correct for these RRSDs, to an accuracy better than $\sim 2$ percent, using a mildly modified version of the linear Kaiser formalism. △ Less

Submitted 28 June, 2012; originally announced June 2012.

Extragalactic Science, Cosmology and Galactic Archaeology with the Subaru Prime Focus Spectrograph (PFS)

Authors: Masahiro Takada, Richard Ellis, Masashi Chiba, Jenny E. Greene, Hiroaki Aihara, Nobuo Arimoto, Kevin Bundy, Judith Cohen, Olivier Doré, Genevieve Graves, James E. Gunn, Timothy Heckman, Chris Hirata, Paul Ho, Jean-Paul Kneib, Olivier Le Fèvre, Lihwai Lin, Surhud More, Hitoshi Murayama, Tohru Nagao, Masami Ouchi, Michael Seiffert, John Silverman, Laerte Sodré Jr, David N. Spergel , et al. (5 additional authors not shown)

Abstract: The Subaru Prime Focus Spectrograph (PFS) is a massively-multiplexed fiber-fed optical and near-infrared 3-arm spectrograph (N_fiber=2400, 380<lambda<1260nm, 1.3 degree diameter FoV), offering unique opportunities in survey astronomy. Here we summarize the science case feasible for a survey of Subaru 300 nights. We describe plans to constrain the nature of dark energy via a survey of emission line… ▽ More The Subaru Prime Focus Spectrograph (PFS) is a massively-multiplexed fiber-fed optical and near-infrared 3-arm spectrograph (N_fiber=2400, 380<lambda<1260nm, 1.3 degree diameter FoV), offering unique opportunities in survey astronomy. Here we summarize the science case feasible for a survey of Subaru 300 nights. We describe plans to constrain the nature of dark energy via a survey of emission line galaxies spanning a comoving volume of 9.3 (Gpc/h)^3 in the redshift range 0.8<z<2.4. In each of 6 redshift bins, the cosmological distances will be measured to 3% precision via BAO, and redshift-space distortions will be used to constrain structure growth to 6% precision. In the GA program, radial velocities and chemical abundances of stars in the Milky Way and M31 will be used to infer the past assembly histories of spiral galaxies and the structure of their dark matter halos. Data will be secured for 10^6 stars in the Galactic thick-disk, halo and tidal streams as faint as V~22, including stars with V < 20 to complement the goals of the Gaia mission. A medium-resolution mode with R = 5000 to be implemented in the red arm will allow the measurement of multiple alpha-element abundances and more precise velocities for Galactic stars, elucidating the detailed chemo-dynamical structure and evolution of each of the main stellar components of the Milky Way Galaxy and of its dwarf spheroidal galaxies. For the extragalactic program, our simulations suggest the wide avelength range will be powerful in probing the galaxy population and its clustering over a wide redshift range. We propose to conduct a color-selected survey of 1<z<2 galaxies and AGN over 16 deg^2 to J~23.4, yielding a fair sample of galaxies with stellar masses above ~10^{10}Ms at z~2. A two-tiered survey of higher redshift LBGs and LAEs will quantify the properties of early systems close to the reionization epoch. △ Less

Submitted 30 July, 2013; v1 submitted 4 June, 2012; originally announced June 2012.

Comments: This document describes the scientific program and requirements for the Subaru Prime Focus Spectrograph (PFS) project. Made significant revision based on studies for the Preliminary Design Review (PRD) held in Feb 2013. The higher-resolution paper file is available from http://member.ipmu.jp/masahiro.takada/pfs_astroph_rv.pdf

The Galaxy-Dark Matter Connection: A Cosmological Perspective

Authors: Surhud More, Frank van den Bosch, Marcello Cacciato, Anupreeta More, Houjun Mo, Xiaohu Yang

Abstract: We present a method that uses observations of galaxies to simultaneously constrain cosmological parameters and the galaxy-dark matter connection (aka halo occupation statistics). The latter describes how galaxies are distributed over dark matter haloes, and is an imprint of the poorly understood physics of galaxy formation. A generic problem of using galaxies to constrain cosmology is that galaxie… ▽ More We present a method that uses observations of galaxies to simultaneously constrain cosmological parameters and the galaxy-dark matter connection (aka halo occupation statistics). The latter describes how galaxies are distributed over dark matter haloes, and is an imprint of the poorly understood physics of galaxy formation. A generic problem of using galaxies to constrain cosmology is that galaxies are a biased tracer of the mass distribution, and this bias is generally unknown. The great advantage of simultaneously constraining cosmology and halo occupation statistics is that this effectively allows cosmological constraints marginalized over the uncertainties regarding galaxy bias. Not only that, it also yields constraints on the galaxy-dark matter connection, this time properly marginalized over cosmology, which is of great value to inform theoretical models of galaxy formation. We use a combination of the analytical halo model and the conditional luminosity function to describe the galaxy-dark matter connection, which we use to model the abundance, clustering and galaxy-galaxy lensing properties of the galaxy population. We use a Fisher matrix analysis to gauge the complementarity of these different observables, and present some preliminary results from an analysis based on data from the Sloan Digital Sky Survey. Our results are complementary to and perfectly consistent with the results from the 7 year data release of the WMAP mission, strengthening the case for a true 'concordance' cosmology. △ Less

Submitted 3 April, 2012; originally announced April 2012.

Comments: 8 Pages, 2 figures, A shorter version will be submitted to the proceedings of the International Conference on Gravitation and Cosmology, Goa

The Ysz--Yx Scaling Relation as Determined from Planck and Chandra

Authors: Eduardo Rozo, Alexey Vikhlinin, Surhud More

Abstract: SZ clusters surveys like Planck, the South Pole Telescope, and the Atacama Cosmology Telescope, will soon be publishing several hundred SZ-selected systems. The key ingredient required to transport the mass calibration from current X-ray selected cluster samples to these SZ systems is the Ysz--Yx scaling relation. We constrain the amplitude, slope, and scatter of the Ysz--Yx scaling relation using… ▽ More SZ clusters surveys like Planck, the South Pole Telescope, and the Atacama Cosmology Telescope, will soon be publishing several hundred SZ-selected systems. The key ingredient required to transport the mass calibration from current X-ray selected cluster samples to these SZ systems is the Ysz--Yx scaling relation. We constrain the amplitude, slope, and scatter of the Ysz--Yx scaling relation using SZ data from Planck, and X-ray data from Chandra. We find a best fit amplitude of \ln (D_A^2\Ysz/CY_X) = -0.202 \pm 0.024 at the pivot point CY_X=8\times 10^{-5} Mpc^2. This corresponds to a Ysz/Yx-ratio of 0.82\pm 0.024, in good agreement with X-ray expectations after including the effects of gas clum**. The slope of the relation is α=0.916\pm 0.032, consistent with unity at \approx 2.3σ. We are unable to detect intrinsic scatter, and find no evidence that the scaling relation depends on cluster dynamical state. △ Less

Submitted 9 February, 2012; originally announced February 2012.

How Can I Do That with ACL2? Recent Enhancements to ACL2

Authors: Matt Kaufmann, J Strother Moore

Abstract: The last several years have seen major enhancements to ACL2 functionality, largely driven by requests from its user community, including utilities now in common use such as 'make-event', 'mbe', and trust tags. In this paper we provide user-level summaries of some ACL2 enhancements introduced after the release of Version 3.5 (in May, 2009, at about the time of the 2009 ACL2 workshop) up through th… ▽ More The last several years have seen major enhancements to ACL2 functionality, largely driven by requests from its user community, including utilities now in common use such as 'make-event', 'mbe', and trust tags. In this paper we provide user-level summaries of some ACL2 enhancements introduced after the release of Version 3.5 (in May, 2009, at about the time of the 2009 ACL2 workshop) up through the release of Version 4.3 in July, 2011, roughly a couple of years later. Many of these features are not particularly well known yet, but most ACL2 users could take advantage of at least some of them. Some of the changes could affect existing proof efforts, such as a change that treats pairs of functions such as 'member' and 'member-equal' as the same function. △ Less

Submitted 20 October, 2011; originally announced October 2011.

Comments: In Proceedings ACL2 2011, arXiv:1110.4473

ACM Class: I.2.3; F.4.1

Journal ref: EPTCS 70, 2011, pp. 46-60

The CFHTLS-Strong Lensing Legacy Survey (SL2S): Investigating the group-scale lenses with the SARCS sample

Authors: Anupreeta More, Remi Cabanac, Surhud More, Christophe Alard, Marceau Limousin, Jean-Paul Kneib, Raphael Gavazzi, Veronica Motta

Abstract: We present the Strong Lensing Legacy Survey - ARCS (SARCS) sample compiled from the final T0006 data release of the Canada-France-Hawaii Telescope Legacy Survey (CFHTLS) covering a total non-overlap** area of 159 sq.deg. We adopt a semi-automatic method to find gravitational arcs in the survey that makes use of an arc-finding algorithm. The candidate list is pruned by visual inspection and ranki… ▽ More We present the Strong Lensing Legacy Survey - ARCS (SARCS) sample compiled from the final T0006 data release of the Canada-France-Hawaii Telescope Legacy Survey (CFHTLS) covering a total non-overlap** area of 159 sq.deg. We adopt a semi-automatic method to find gravitational arcs in the survey that makes use of an arc-finding algorithm. The candidate list is pruned by visual inspection and ranking to form the SARCS sample. This list also includes some serendipitously discovered lens candidates. The SARCS sample consists of 127 lens candidates which span arc radii~2"-18" within the unmasked area of ~ 150 sq. deg. Within the sample, 54 systems are promising lenses amongst which, we find 12 giant arcs and 2 radial arc candidates. From our sample, we detect a systematic alignment of giant arcs with the ellipticity of the baryonic component of the lens in concordance with previous studies. The lens redshift distribution corresponding to both the giant arcs and all arcs, estimated from photometric catalogs, peaks at z~0.6. Owing to the large area and depth of the CFHTLS, we find the largest lens sample probing group-scales for the first time. We compare the observed image separation distribution (ISD) of our arcs with theoretical models. A two-component density profile for the lenses which accounts for both the central galaxy and dark matter component is required by the data to explain the observed ISD. Unfortunately, current levels of uncertainties and degeneracies accommodate models both with and without adiabatic contraction. We also show the effects of changing parameters of the model that predict the ISD and that a larger lens sample might constrain relations such as the concentration-mass relation, mass-luminosity relation and slope of the luminosity function. (abridged) △ Less

Submitted 19 February, 2012; v1 submitted 8 September, 2011; originally announced September 2011.

Comments: 21 pages, 11 figures, 3 tables ApJ accepted, some structural changes to the paper and peak of the redshift distribution changed when taken into account the photoz errors

Longitudinal dynamics and tomography in the Tevatron

Authors: J. Stogin, T. Sen, R. S. Moore

Abstract: Motivated by the desire to understand the longitudinal effects of beam-beam forces, we study the longitudinal dynamics of protons and anti-protons at injection and top energy in the Tevatron. Multi-turn data of the longitudinal profiles are captured to reveal information about frequencies of oscillation, and changes in the bunch distributions. Tomographic reconstruction is used to create phase spa… ▽ More Motivated by the desire to understand the longitudinal effects of beam-beam forces, we study the longitudinal dynamics of protons and anti-protons at injection and top energy in the Tevatron. Multi-turn data of the longitudinal profiles are captured to reveal information about frequencies of oscillation, and changes in the bunch distributions. Tomographic reconstruction is used to create phase space maps which are subsequently used to find the momentum distributions. Changes in these distributions for both proton and anti-proton beams are also followed through the operational cycle. We report on the details of interesting dynamics and some unexpected findings. △ Less

Submitted 10 August, 2011; originally announced August 2011.

Comments: 19 pages, 20 figures

Report number: FERMILAB-PUB-11-376-AD-APC

Journal ref: Journal of Instrumentation, Vol 7, T01001 (2012)