-
Inferring Pluggable Types with Machine Learning
Authors:
Kazi Amanul Islam Siddiqui,
Martin Kellogg
Abstract:
Pluggable type systems allow programmers to extend the type system of a programming language to enforce semantic properties defined by the programmer. Pluggable type systems are difficult to deploy in legacy codebases because they require programmers to write type annotations manually. This paper investigates how to use machine learning to infer type qualifiers automatically. We propose a novel re…
▽ More
Pluggable type systems allow programmers to extend the type system of a programming language to enforce semantic properties defined by the programmer. Pluggable type systems are difficult to deploy in legacy codebases because they require programmers to write type annotations manually. This paper investigates how to use machine learning to infer type qualifiers automatically. We propose a novel representation, NaP-AST, that encodes minimal dataflow hints for the effective inference of type qualifiers. We evaluate several model architectures for inferring type qualifiers, including Graph Transformer Network, Graph Convolutional Network and Large Language Model. We further validated these models by applying them to 12 open-source programs from a prior evaluation of the NullAway pluggable typechecker, lowering warnings in all but one unannotated project. We discovered that GTN shows the best performance, with a recall of .89 and precision of 0.6. Furthermore, we conduct a study to estimate the number of Java classes needed for good performance of the trained model. For our feasibility study, performance improved around 16k classes, and deteriorated due to overfitting around 22k classes.
△ Less
Submitted 21 June, 2024;
originally announced June 2024.
-
On the Relationship between Code Verifiability and Understandability
Authors:
Kobi Feldman,
Martin Kellogg,
Oscar Chaparro
Abstract:
Proponents of software verification have argued that simpler code is easier to verify: that is, that verification tools issue fewer false positives and require less human intervention when analyzing simpler code. We empirically validate this assumption by comparing the number of warnings produced by four state-of-the-art verification tools on 211 snippets of Java code with 20 metrics of code compr…
▽ More
Proponents of software verification have argued that simpler code is easier to verify: that is, that verification tools issue fewer false positives and require less human intervention when analyzing simpler code. We empirically validate this assumption by comparing the number of warnings produced by four state-of-the-art verification tools on 211 snippets of Java code with 20 metrics of code comprehensibility from human subjects in six prior studies. Our experiments, based on a statistical (meta-)analysis, show that, in aggregate, there is a small correlation (r = 0.23) between understandability and verifiability. The results support the claim that easy-to-verify code is often easier to understand than code that requires more effort to verify. Our work has implications for the users and designers of verification tools and for future attempts to automatically measure code comprehensibility: verification tools may have ancillary benefits to understandability, and measuring understandability may require reasoning about semantic, not just syntactic, code properties.
△ Less
Submitted 30 October, 2023;
originally announced October 2023.
-
Inference of Resource Management Specifications
Authors:
Narges Shadab,
Pritam Gharat,
Shrey Tiwari,
Michael D. Ernst,
Martin Kellogg,
Shuvendu Lahiri,
Akash Lal,
Manu Sridharan
Abstract:
A resource leak occurs when a program fails to free some finite resource after it is no longer needed. Such leaks are a significant cause of real-world crashes and performance problems. Recent work proposed an approach to prevent resource leaks based on checking resource management specifications. A resource management specification expresses how the program allocates resources, passes them around…
▽ More
A resource leak occurs when a program fails to free some finite resource after it is no longer needed. Such leaks are a significant cause of real-world crashes and performance problems. Recent work proposed an approach to prevent resource leaks based on checking resource management specifications. A resource management specification expresses how the program allocates resources, passes them around, and releases them; it also tracks the ownership relationship between objects and resources, and aliasing relationships between objects. While this specify-and-verify approach has several advantages compared to prior techniques, the need to manually write annotations presents a significant barrier to its practical adoption.
This paper presents a novel technique to automatically infer a resource management specification for a program, broadening the applicability of specify-and-check verification for resource leaks. Inference in this domain is challenging because resource management specifications differ significantly in nature from the types that most inference techniques target. Further, for practical effectiveness, we desire a technique that can infer the resource management specification intended by the developer, even in cases when the code does not fully adhere to that specification. We address these challenges through a set of inference rules carefully designed to capture real-world coding patterns, yielding an effective fixed-point-based inference algorithm.
We have implemented our inference algorithm in two different systems, targeting programs written in Java and C#. In an experimental evaluation, our technique inferred 85.5% of the annotations that programmers had written manually for the benchmarks. Further, the verifier issued nearly the same rate of false alarms with the manually-written and automatically-inferred annotations.
△ Less
Submitted 21 September, 2023; v1 submitted 20 June, 2023;
originally announced June 2023.
-
X-shooter Observations of the Gravitational Lens System CASSOWARY 5
Authors:
Lise Christensen,
Sandro D'Odorico,
Max Pettini,
Vasily Belokurov,
N. Wyn Evans,
Melinda Kellogg,
Joel Vernet
Abstract:
We confirm an eighth gravitational lens system in the CASSOWARY catalogue. Exploratory observations with the X-shooter spectrograph on the VLT show the system CSWA5 to consist of at least three images of a blue star-forming galaxy at z = 1.0686, lensed by an apparent foreground group of red galaxies one of which is at z = 0.3877. The lensed galaxy exhibits a rich spectrum with broad interstellar a…
▽ More
We confirm an eighth gravitational lens system in the CASSOWARY catalogue. Exploratory observations with the X-shooter spectrograph on the VLT show the system CSWA5 to consist of at least three images of a blue star-forming galaxy at z = 1.0686, lensed by an apparent foreground group of red galaxies one of which is at z = 0.3877. The lensed galaxy exhibits a rich spectrum with broad interstellar absorption lines and a wealth of nebular emission lines. Preliminary analysis of these features shows the galaxy to be young, with an age of 25-50 Myr. With a star-formation rate of approximately 20 solar masses/yr, the galaxy has already assembled a stellar mass of 3 x 10^9 solar masses and reached half-solar metallicity. Its blue spectral energy distribution and Balmer line ratios suggest negligible internal dust extinction. A more in-depth analysis of the properties of this system is currently hampered by the lack of a viable lensing model. However, it is already clear that CSWA5 shares many of its physical characteristics with the general population of UV-selected galaxies at redshifts z = 1-3, motivating further study of both the source and the foreground mass concentration responsible for the gravitational lensing.
△ Less
Submitted 25 May, 2010; v1 submitted 20 April, 2010;
originally announced April 2010.
-
Onset of Interlayer Phase Coherence in a Bilayer Two-Dimensional Electron System: Effect of Layer Density Imbalance
Authors:
I. B. Spielman,
M. Kellogg,
J. P. Eisenstein,
L. N. Pfeiffer,
K. W. West
Abstract:
Tunneling and Coulomb drag are sensitive probes of spontaneous interlayer phase coherence in bilayer two-dimensional electron systems at total Landau level filling factor $ν_T = 1$. We find that the phase boundary between the interlayer phase coherent state and the weakly-coupled compressible phase moves to larger layer separations as the electron density distribution in the bilayer is imbalance…
▽ More
Tunneling and Coulomb drag are sensitive probes of spontaneous interlayer phase coherence in bilayer two-dimensional electron systems at total Landau level filling factor $ν_T = 1$. We find that the phase boundary between the interlayer phase coherent state and the weakly-coupled compressible phase moves to larger layer separations as the electron density distribution in the bilayer is imbalanced. The critical layer separation increases quadratically with layer density difference.
△ Less
Submitted 2 June, 2004;
originally announced June 2004.
-
Jets from Accreting White Dwarfs
Authors:
J. L. Sokoloski,
S. J. Kenyon,
C. Brocksopp,
C. R. Kaiser,
E. M. Kellogg
Abstract:
Collimated outflows from accreting white dwarfs have an important role to play in the study of astrophysical jets. Observationally, collimated outflows are associated with systems in which material is accreted though a disk. Theoretically, accretion disks provide the foundation for many jet models. Perhaps the best-understood of all accretion disks are those in cataclysmic variable stars (CVs).…
▽ More
Collimated outflows from accreting white dwarfs have an important role to play in the study of astrophysical jets. Observationally, collimated outflows are associated with systems in which material is accreted though a disk. Theoretically, accretion disks provide the foundation for many jet models. Perhaps the best-understood of all accretion disks are those in cataclysmic variable stars (CVs). Since the disks in other accreting white-dwarf (WD) binaries are probably similar to CV disks (at least to the extent that one does not expect complications such as, for example, advection-dominated flows), with WD accretors one has the advantage of a relatively good grasp of the region from which the outflows are likely to originate. We briefly compare the properties of the three main classes of WD accretors, two of which have members that produce jets, and review the cases of three specific jet-producing WD systems.
△ Less
Submitted 16 March, 2004;
originally announced March 2004.
-
Vanishing Hall Resistance at High Magnetic Field in a Double Layer Two-Dimensional Electron System
Authors:
M. Kellogg,
J. P. Eisenstein,
L. N. Pfeiffer,
K. W. West
Abstract:
At total Landau level filling factor $ν_{tot}=1$ a double layer two-dimensional electron system with small interlayer separation supports a collective state possessing spontaneous interlayer phase coherence. This state exhibits the quantized Hall effect when equal electrical currents flow in parallel through the two layers. In contrast, if the currents in the two layers are equal, but oppositely…
▽ More
At total Landau level filling factor $ν_{tot}=1$ a double layer two-dimensional electron system with small interlayer separation supports a collective state possessing spontaneous interlayer phase coherence. This state exhibits the quantized Hall effect when equal electrical currents flow in parallel through the two layers. In contrast, if the currents in the two layers are equal, but oppositely directed, both the longitudinal and Hall resistances of each layer vanish in the low temperature limit. This finding supports the prediction that the ground state at $ν_{tot}=1$ is an excitonic superfluid.
△ Less
Submitted 26 January, 2004;
originally announced January 2004.
-
Double layer two-dimensional electron systems: Probing the transition from weak to strong coupling with Coulomb drag
Authors:
M. Kellogg,
J. P. Eisenstein,
L. N. Pfeiffer,
K. W. West
Abstract:
Frictional drag measurements revealing anomalously large dissipation at the transition between the weakly- and strongly-coupled regimes of a bilayer two-dimensional electron system at total Landau level filling factor $ν_T =1$ are reported. This result suggests the existence of fluctuations, either static or dynamic, near the phase boundary separating the quantized Hall state at small layer sepa…
▽ More
Frictional drag measurements revealing anomalously large dissipation at the transition between the weakly- and strongly-coupled regimes of a bilayer two-dimensional electron system at total Landau level filling factor $ν_T =1$ are reported. This result suggests the existence of fluctuations, either static or dynamic, near the phase boundary separating the quantized Hall state at small layer separations from the compressible state at larger separations. Interestingly, the anomalies in drag seem to persist to larger layer separations than does interlayer phase coherence as detected in tunneling.
△ Less
Submitted 22 November, 2002;
originally announced November 2002.
-
Evidence for 2k_F Electron-Electron Scattering Processes in Coulomb Drag
Authors:
M. Kellogg,
J. P. Eisenstein,
L. N. Pfeiffer,
K. W. West
Abstract:
Measurements and calculations of Coulomb drag between two low density, closely spaced, two-dimensional electron systems are reported. The experimentally measured drag exceeds that calculated in the random phase approximation by a significant, and density dependent, factor. Studies of the dependence of the measured drag on the difference in density between the two layers clearly demonstrate that…
▽ More
Measurements and calculations of Coulomb drag between two low density, closely spaced, two-dimensional electron systems are reported. The experimentally measured drag exceeds that calculated in the random phase approximation by a significant, and density dependent, factor. Studies of the dependence of the measured drag on the difference in density between the two layers clearly demonstrate that previously ignored q=2k_F scattering processes can be very important to the drag at low densities and small layer separations.
△ Less
Submitted 27 June, 2002;
originally announced June 2002.
-
The X-ray R Aquarii: A Two-sided Jet and Central Source
Authors:
E. Kellogg,
J. A. Pedelty,
R. G. Lyon
Abstract:
We report Chandra ACIS-S3 x-ray imaging and spectroscopy of the R Aquarii binary system that show a spatially resolved two-sided jet and an unresolved central source. This is the first published report of such an x-ray jet seen in an evolved stellar system comprised of ~2-3 solar masses. At E < 1 keV, the x-ray jet extends both to the northeast and southwest relative to the central binary system…
▽ More
We report Chandra ACIS-S3 x-ray imaging and spectroscopy of the R Aquarii binary system that show a spatially resolved two-sided jet and an unresolved central source. This is the first published report of such an x-ray jet seen in an evolved stellar system comprised of ~2-3 solar masses. At E < 1 keV, the x-ray jet extends both to the northeast and southwest relative to the central binary system. At 1 < E < 7.1 keV, R Aqr is a point-like source centered on the star system. While both 3.5-cm radio continuum emission and x-ray emission appear coincident in projection and have maximum intensities at ~7.5" northeast of the central binary system, the next strongest x-ray component is located \~30" southwest of the central binary system and has no radio continuum counterpart. The x-ray jets are likely shock heated in the recent past, and are not in thermal equilibrium. The strongest southwest x-ray jet component may have been shocked recently since there is no relic radio emission as expected from an older shock. At the position of the central binary, we detect x-ray emission below 1.6 keV consistent with blackbody emission at T ~2 x 10^6 K. At the central star there is also a prominent 6.4 keV feature, a possible fluorescence or collisionally excited Fe K-alpha line from an accretion disk or from the wind of the giant star. For this excitation to occur, there must be an unseen hard source of x-rays or particles in the immediate vicinity of the hot star. Such a source would be hidden from view by the surrounding edge-on accretion disk.
△ Less
Submitted 20 November, 2001;
originally announced November 2001.
-
Observation of Quantized Hall Drag in a Strongly Correlated Bilayer Electron System
Authors:
M. Kellogg,
I. B. Spielman,
J. P. Eisenstein,
L. N. Pfeiffer,
K. W. West
Abstract:
The frictional drag between parallel two-dimensional electron systems has been measured in a regime of strong interlayer correlations. When the bilayer system enters the excitonic quantized Hall state at total Landau level filling factor ν_T=1 the longitudinal component of the drag vanishes but a strong Hall component develops. The Hall drag resistance is observed to be accurately quantized at h…
▽ More
The frictional drag between parallel two-dimensional electron systems has been measured in a regime of strong interlayer correlations. When the bilayer system enters the excitonic quantized Hall state at total Landau level filling factor ν_T=1 the longitudinal component of the drag vanishes but a strong Hall component develops. The Hall drag resistance is observed to be accurately quantized at h/e^2.
△ Less
Submitted 15 February, 2002; v1 submitted 24 August, 2001;
originally announced August 2001.
-
Infared Observations of Nebular Emission Lines from Galaxies at z = 3
Authors:
Max Pettini,
Melinda Kellogg,
Charles C. Steidel,
Mark Dickinson,
Kurt L. Adelberger,
Mauro Giavalisco
Abstract:
We present the first results from a program of near-infrared spectroscopy aimed at studying the familiar rest-frame optical emission lines from the H II regions of Lyman break galaxies at z = 3. By targeting redshifts which bring the lines of interest into gaps between the strong OH sky emission, we have been successful in detecting Balmer and [O III] emission lines in all five galaxies observed…
▽ More
We present the first results from a program of near-infrared spectroscopy aimed at studying the familiar rest-frame optical emission lines from the H II regions of Lyman break galaxies at z = 3. By targeting redshifts which bring the lines of interest into gaps between the strong OH sky emission, we have been successful in detecting Balmer and [O III] emission lines in all five galaxies observed so far with CGS4 on UKIRT. For a Salpeter IMF and a H_0 = 70 km/s/Mpc, q_0 = 0.1 cosmology, the Hbeta luminosities uncorrected for dust extinction imply star formation rates of 20 - 270 solar masses per year. On the basis of the present limited sample it appears that an extinction of 1 - 2 magnitudes at 1500 A may be typical of Lyman break galaxies. This value is consistent with recent estimates of dust obscuration in star forming galaxies at z < 1, and does not require a substantial revision of the broad picture of star formation over the Hubble time proposed by Madau et al. (1996). In four out of five cases the velocity dispersion of the emission line gas is sigma = 70 km/s, while in the fifth the line widths are nearly three times larger. Virial masses in the range from 1 x 10^{10} to 5 x 10^{10} solar masses are suggested, but both velocities and masses could be higher because our observations are only sensitive to the brightest cores of these systems where the line widths may not sample the full gravitational potential. The relative redshifts of interstellar absorption, nebular emission, and Lyman alpha emission lines differ by several hundred km/s and suggest that large-scale outflows may be a common characteristic of Lyman break galaxies.
△ Less
Submitted 16 June, 1998;
originally announced June 1998.
-
Galaxy Clustering at z~3
Authors:
C. Steidel,
K. Adelberger,
M. Giavalisco,
M. Dickinson,
M. Pettini,
M. Kellogg
Abstract:
Galaxies at very high redshift (z~3 or greater) are now accessible to wholesale observation, making possible for the first time a robust statistical assessment of their spatial distribution at lookback times approaching ~90% of the age of the Universe. This paper summarizes recent progress in understanding the nature of these early galaxies, concentrating in particular on the clustering properti…
▽ More
Galaxies at very high redshift (z~3 or greater) are now accessible to wholesale observation, making possible for the first time a robust statistical assessment of their spatial distribution at lookback times approaching ~90% of the age of the Universe. This paper summarizes recent progress in understanding the nature of these early galaxies, concentrating in particular on the clustering properties of photometrically selected ``Lyman break'' galaxies. Direct comparison of the data to predictions and physical insights provided by galaxy and structure formation models is particularly straightforward at these early epochs, and results in critical tests of the ``biased'', hierarchical galaxy formation paradigm.
△ Less
Submitted 20 May, 1998;
originally announced May 1998.
-
Galaxies and Large Scale Structure at z~3
Authors:
C. Steidel,
K. Adelberger,
M. Giavalisco,
M. Dickinson,
M. Pettini,
M. Kellogg
Abstract:
We summarize the status of a ``targeted'' redshift survey aimed at establishing the properties of galaxies and their large scale distribution in the redshift range 2.5 < z < 3.5. At the time of this writing, we have obtained spectra of more than 400 galaxies in this redshift range, all identified using the ``Lyman break'' color-selection technique. We present some of the first results on the gen…
▽ More
We summarize the status of a ``targeted'' redshift survey aimed at establishing the properties of galaxies and their large scale distribution in the redshift range 2.5 < z < 3.5. At the time of this writing, we have obtained spectra of more than 400 galaxies in this redshift range, all identified using the ``Lyman break'' color-selection technique. We present some of the first results on the general clustering properties of the Lyman break galaxies. The galaxies are very strongly clustered, with co-moving correlation length similar to present-day galaxies, and they are evidently strongly biased relative to the mass distribution at these early epochs, which is consistent with hierarchical galaxy formation models if Lyman break galaxies trace the most massive halos at z ~ 3. Prospects for large surveys for galaxies beyond z ~ 4 are discussed.
△ Less
Submitted 22 April, 1998;
originally announced April 1998.
-
A Counts-in-Cells Analysis of Lyman-break Galaxies at z~3
Authors:
K. Adelberger,
C. Steidel,
M. Giavalisco,
M. Dickinson,
M. Pettini,
M. Kellogg
Abstract:
We have measured the counts-in-cells fluctuations of 268 Lyman-break galaxies with spectroscopic redshifts in six 9 arcmin by 9 arcmin fields at z~3. The variance of galaxy counts in cubes of comoving side length 7.7, 11.9, 11.4 h^{-1} Mpc is σ_{gal}^2 ~ 1.3\pm0.4 for Ω_M=1, 0.2 open, 0.3 flat, implying a bias on these scales of σ_{gal} / σ_{mass} = 6.0\pm1.1, 1.9\pm0.4, 4.0\pm0.7. The bias and…
▽ More
We have measured the counts-in-cells fluctuations of 268 Lyman-break galaxies with spectroscopic redshifts in six 9 arcmin by 9 arcmin fields at z~3. The variance of galaxy counts in cubes of comoving side length 7.7, 11.9, 11.4 h^{-1} Mpc is σ_{gal}^2 ~ 1.3\pm0.4 for Ω_M=1, 0.2 open, 0.3 flat, implying a bias on these scales of σ_{gal} / σ_{mass} = 6.0\pm1.1, 1.9\pm0.4, 4.0\pm0.7. The bias and abundance of Lyman-break galaxies are surprisingly consistent with a simple model of structure formation which assumes only that galaxies form within dark matter halos, that Lyman-break galaxies' rest-UV luminosities are tightly correlated with their dark masses, and that matter fluctuations are Gaussian and have a linear power-spectrum shape at z~3 similar to that determined locally (Γ~0.2). This conclusion is largely independent of cosmology or spectral normalization σ_8. A measurement of the masses of Lyman-break galaxies would in principle distinguish between different cosmological scenarios.
△ Less
Submitted 22 April, 1998;
originally announced April 1998.
-
The Angular Clustering of Lyman-Break Galaxies at Redshift z=3
Authors:
Mauro Giavalisco,
Charles C. Steidel,
Kurt L. Adelberger,
Mark E. Dickinson,
Max Pettini,
Melinda Kellogg
Abstract:
We have measured the angular correlation function w(theta) for a sample of 871 Lyman-break galaxies (LBGs) at z=3. Fitting a power-law to a weighted average of w(theta) from 5 fields, we find the amplitude to be A_w=2 arcsec^β and the slope β=0.9. The slope is the same as in the local and moderate redshift universe. A slope β=0.25 or shallower is ruled out by the data at the 99.9% confidence lev…
▽ More
We have measured the angular correlation function w(theta) for a sample of 871 Lyman-break galaxies (LBGs) at z=3. Fitting a power-law to a weighted average of w(theta) from 5 fields, we find the amplitude to be A_w=2 arcsec^β and the slope β=0.9. The slope is the same as in the local and moderate redshift universe. A slope β=0.25 or shallower is ruled out by the data at the 99.9% confidence level. Because N(z) of LBGs is well determined from 376 spectroscopic redshifts, the real-space correlation function can be derived from the angular one through the Limber transform. This inversion is rather insensitive to the still relatively large errors on A_w and β, and the spatial correlation length is much more tightly constrained than either of these parameters. We estimate r_0=3.3 -0.6 +0.7 (2.1 -0.5 +0.4) h^{-1} Mpc (comoving) for q_0=0.1 (0.5) at z=3.04 (h is in units of 100 km/s/Mpc). The correlation length of LBGs at z=3 is comparable to that of present-day spiral galaxies and is only about 50% smaller than that of the ellipticals; it is as large or larger than any measured in galaxy samples at 0.3<z<1. By comparing the observed galaxy correlation length to that of the mass predicted from CDM theory, we estimate a bias for LBGs of b\sim 1.5 (4.5) for q_0=0.1 (0.5), in agreement with our previous estimates based on preliminary spectroscopy. The strong clustering and the large bias of the LBGs are consistent with biased galaxy formation theories and provide additional evidence that these systems are associated with massive dark matter halos. The clustering of LBGs at z=3 emphasizes that apparent evolution of galaxy clustering may be due as much to variations in effective bias parameter among different samples as to evolution in the mass distribution through gravitational instability.
△ Less
Submitted 24 February, 1998;
originally announced February 1998.
-
A Large Structure of Galaxies At Redshift z~3 and its Cosmological Implications
Authors:
C. Steidel,
K. Adelberger,
M. Dickinson,
M. Giavalisco,
M. Pettini,
M. Kellogg
Abstract:
We report the discovery of a highly significant concentration of galaxies at a redshift of <z>=3.090. The structure is evident in a redshift histogram of photometrically selected ``Lyman break'' objects in a 9' by 18' field in which we have obtained 78 spectroscopic redshifts in the range 2.0 < z <3.4. The dimensions of the structure projected on the plane of the sky are at least 11'by 8', or 14…
▽ More
We report the discovery of a highly significant concentration of galaxies at a redshift of <z>=3.090. The structure is evident in a redshift histogram of photometrically selected ``Lyman break'' objects in a 9' by 18' field in which we have obtained 78 spectroscopic redshifts in the range 2.0 < z <3.4. The dimensions of the structure projected on the plane of the sky are at least 11'by 8', or 14h_{70}^{-1} by 10h_{70}^{-1} Mpc (comoving; Ω_M=1). The concentration contains 15 galaxies and one faint (R=21.7) QSO. We consider the structure in the context of a number of cosmological models and argue that Lyman-break galaxies must be very biased tracers of mass, with an effective bias on mass scale M~10^{15}M_{\sun} ranging from b~2 for Ω_M=0.2 to b >~6 for Ω_M=1. In a Cold Dark Matter scenario the large bias values suggest that individual Lyman-break galaxies are associated with dark halos of mass M~10^{12} M_{\sun}, reinforcing the interpretation of these objects as the progenitors of massive galaxies at the present epoch. Preliminary results of spectroscopy in additional fields suggest that such large structures are common at z~3, with about one similar structure per survey field. The implied space density is consistent with the possibility that we are observing moderately rich clusters of galaxies in their early non-linear evolution. Finally, the spectrum of one of the QSOs discovered in our survey (z_{em} = 3.356) exhibits metal line absorption systems within the 3 redshift bins having the largest number of galaxies in field, z = 2.93, 3.09, and 3.28. These results are the first from an ongoing ``targeted'' redshift survey designed to explore the nature and distribution of star-forming galaxies in the redshift range 2.7 <~ z <~ 3.4.
△ Less
Submitted 13 August, 1997;
originally announced August 1997.
-
The Discovery of Primeval Galaxies and the Epoch of Galaxy Formation
Authors:
Max Pettini,
Charles C. Steidel,
Kurt L. Adelberger,
. Melinda Kellogg,
Mark Dickinson,
Mauro Giavalisco
Abstract:
We review the steps which have led to the discovery of a widespread population of objects at z = 3 with many of the characteristics which we expect for primeval galaxies, and emphasize in particular the advantages of a colour selection technique which targets the Lyman discontinuity at 912 Angstroms. Star forming galaxies at z = 3 resemble local starbursts, although they are typically more lumin…
▽ More
We review the steps which have led to the discovery of a widespread population of objects at z = 3 with many of the characteristics which we expect for primeval galaxies, and emphasize in particular the advantages of a colour selection technique which targets the Lyman discontinuity at 912 Angstroms. Star forming galaxies at z = 3 resemble local starbursts, although they are typically more luminous by more than one order of magnitude. The ultraviolet continuum is dominated by the integrated light of O and early B type stars and shows prominent interstellar absorption lines which are often blueshifted relative to the systemic velocity of the galaxy, indicating highly energetic outflows in the interstellar medium. Lyman alpha emission is generally weak, probably as a result of resonant scattering. The spectral slope of the ultraviolet continuum and the strength of the Hbeta emission line, which we have detected in a few cases with pilot observations in the infrared K band, suggest that some interstellar dust is already present in these young galaxies and that it attenuates their UV luminosities by a factor of about 3. The efficiency of our photometric selection technique has allowed us to establish that large scale concentrations of galaxies were already in place at z = 3, possibly the precursors of galaxy clusters as they as they were beginning to decouple from the Hubble expansion. In the context of Cold Dark Matter models of structure formation, the observed clustering of the z~3 galaxies suggests that they are associated with dark matter halos of mass greater than 10^12 solar masses. We conclude by pointing out the need for infrared space observatories, such as the proposed Next Generation Space Telescope, for pushing the quest for the origin of galaxies beyond z=5.
△ Less
Submitted 12 August, 1997;
originally announced August 1997.
-
The Spectra of Star Forming Galaxies at High Redshift
Authors:
Max Pettini,
Charles C. Steidel,
Mark Dickinson,
Melinda Kellogg,
Mauro Giavalisco,
Kurt L. Adelberger
Abstract:
We review the spectral properties of the population of star forming galaxies at z = 3 discovered using a colour selection technique which targets the Lyman discontinuity at 912 Angstroms. The UV luminosity of the typical z = 3 galaxy exceeds by more than one order of magnitude that of the most luminous starbursts in the nearby universe, although the maximum star formation intensity (SFR per unit…
▽ More
We review the spectral properties of the population of star forming galaxies at z = 3 discovered using a colour selection technique which targets the Lyman discontinuity at 912 Angstroms. The UV luminosity of the typical z = 3 galaxy exceeds by more than one order of magnitude that of the most luminous starbursts in the nearby universe, although the maximum star formation intensity (SFR per unit area) is within the limits found in local surveys. We consider in detail the likely magnitude of dust extinction and conclude that published estimates of the volume-averaged star formation rate at high z need to be revised to higher values by a factor of about 3. This correction improves the agreement between the observations and recent theoretical predictions. Lyman alpha emission is generally weak, most likely as a result of resonant scattering. The large equivalent widths of the strongest interstellar lines and their systematic blueshift (by up to several hundred km/s) relative to the Lyman alpha emission line are indicative of highly energetic outflows in the interstellar medium. Pilot observations have detected the redshifted Hbeta and [O III] emission lines in the K band. The widths of these features imply dynamical masses of approximately 10^{10} solar masses for the innermost star forming regions; the total masses involved are likely to exceed 10^{12} solar masses.
△ Less
Submitted 17 July, 1997;
originally announced July 1997.