Luminosity Functions of Elliptical Galaxies at z < 1.2

The luminosity functions of E/S0 galaxies are constructed in 3 different redshift bins (0.2 < z < 0.55, 0.55 < z < 0.8, 0.8 < z < 1.2), using the data from the Hubble Space Telescope Medium Deep Survey (HST MDS) and other HST surveys. These independent luminosity functions show the brightening in the luminosity of E/S0s by about 0.5~1.0 magnitude at z~1, and no sign of significant number evolution. This is the first direct measurement of the luminosity evolution of E/S0 galaxies, and our results support the hypothesis of a high redshift of formation (z > 1) for elliptical galaxies, together with weak evolution of the major merger rate at z < 1.Comment: To be published in ApJ Letters, 4 pages, AAS Latex, 4 figures, and 2 table

A Morphological and Multicolor Survey for Faint QSOs in the Groth-Westphal Strip

Quasars representative of the populous faint end of the luminosity function are frustratingly dim with m~24 at intermediate redshift; moreover groundbased surveys for such faint QSOs suffer substantial morphological contamination by compact galaxies having similar colors. In order to establish a more reliable ultrafaint QSO sample, we used the APO 3.5-m telescope to take deep groundbased U-band CCD images in fields previously imaged in V,I with WFPC2/HST. Our approach hence combines multicolor photometry with the 0.1" spatial resolution of HST, to establish a morphological and multicolor survey for QSOs extending about 2 magnitudes fainter than most extant groundbased surveys. We present results for the "Groth-Westphal Strip", in which we identify 10 high likelihood UV-excess candidates having stellar or stellar-nucleus+galaxy morphology in WFPC2. For m(606)<24.0 (roughly B<24.5) the surface density of such QSO candidates is 420 (+180,-130) per square degree, or a surface density of 290 (+160,-110) per square degree with an additional V-I cut that may further exclude compact emission line galaxies. Even pending confirming spectroscopy, the observed surface density of QSO candidates is already low enough to yield interesting comparisons: our measures agree extremely well with the predictions of several recent luminosity function models.Comment: 29 pages including 6 tables and 7 figures. As accepted for publication in The Astronomical Journal (minor revisions

Evolution of the Near-Infrared Tully-Fisher Relation: Constraints on the Relationship Between the Stellar and Total Masses of Disk Galaxies since z=1

Using a combination of Keck spectroscopy and near-infrared imaging, we investigate the K-band and stellar mass Tully-Fisher relation for 101 disk galaxies at 0.2 < z < 1.2, with the goal of placing the first observational constraints on the assembly history of halo and stellar mass. Our main result is a lack of evolution in either the K-band or stellar mass Tully-Fisher relation from z = 0 - 1.2. Furthermore, although our sample is not statistically complete, we consider it suitable for an initial investigation of how the fraction of total mass that has condensed into stars is distributed with both redshift and total halo mass. We calculate stellar masses from optical and near-infrared photometry and total masses from maximum rotational velocities and disk scale lengths, utilizing a range of model relationships derived analytically and from simulations. We find that the stellar/total mass distribution and stellar-mass Tully-Fisher relation for z > 0.7 disks is similar to that at lower redshift, suggesting that baryonic mass is accreted by disks along with dark matter at z < 1, and that disk galaxy formation at z < 1 is hierarchical in nature. We briefly discuss the evolutionary trends expected in conventional structure formation models and the implications of extending such a study to much larger samples.Comment: ApJ, in press, 9 page

Disorder Potentials near Lithographically Fabricated Atom Chips

We show that previously observed large disorder potentials in magnetic microtraps for neutral atoms are reduced by about two orders of magnitude when using atom chips with lithographically fabricated high quality gold layers. Using one dimensional Bose-Einstein condensates, we probe the remaining magnetic field variations at surface distances down to a few microns. Measurements on a 100 um wide wire imply that residual variations of the current flow result from local properties of the wire.Comment: submitted on September 24th, 200

Arya: Nearly linear-time zero-knowledge proofs for correct program execution

There have been tremendous advances in reducing interaction, communication and verification time in zero-knowledge proofs but it remains an important challenge to make the prover efficient. We construct the first zero-knowledge proof of knowledge for the correct execution of a program on public and private inputs where the prover computation is nearly linear time. This saves a polylogarithmic factor in asymptotic performance compared to current state of the art proof systems. We use the TinyRAM model to capture general purpose processor computation. An instance consists of a TinyRAM program and public inputs. The witness consists of additional private inputs to the program. The prover can use our proof system to convince the verifier that the program terminates with the intended answer within given time and memory bounds. Our proof system has perfect completeness, statistical special honest verifier zero-knowledge, and computational knowledge soundness assuming linear-time computable collision-resistant hash functions exist. The main advantage of our new proof system is asymptotically efficient prover computation. The prover’s running time is only a superconstant factor larger than the program’s running time in an apples-to-apples comparison where the prover uses the same TinyRAM model. Our proof system is also efficient on the other performance parameters; the verifier’s running time and the communication are sublinear in the execution time of the program and we only use a log-logarithmic number of rounds

The elasticwave propagation in rectangular waveguide structure: Determination of dispersion curves and their application in nondestructive techniques

The use of mechanic waves for assessing structural integrity is a well-known non-destructive technique (NDT). The ultrasound applied in the guided wave in particular requires significant effort in order to understand the complexities of the propagation so as to develop new methods in damage detection, in this case, knowing the interaction between the wave propagation and the geometry of the waveguides is mandatory. In the present work, the wave propagation in rectangular steel rod is presented. In this study, the section dimensions were fixed as 5 x 15 [mm], a typical element of the flexible riser structural amour commonly used in the offshore oil industry. The studies here presented were restricted to [0, 100 KHz] frequencies. This frequency interval is in the range of commercial waveguide equipment commonly applied in ducts in NDT applications. The computation of the dispersion curves is performed by using three different methodologies: (i) analytical solutions, (ii) a method that combines analytical approaches with finite element methods (SAFE), and (iii) experimental method that extracted information from the rod using laser vibrometers and piezoelectric actuators. Finally, two applications based on the dispersion curves determined in the rectangular waveguide are presented to illustrate the possibilities of the curve dispersion knowledge related to the specific geometry in the development and application linked toNDT. The first application consists on showing the possibilities of the techniques that use a fiber grating Bragg cell (FGB) to measure the wave displacement and the second application involves the simulation of pre-fissured prismatic waveguide aimed at searching to induce three characteristic acoustic events. The model was built combining the finite element method and a version of the discrete element method

Snarky Signatures: Minimal Signatures of Knowledge from Simulation-Extractable SNARKs

We construct a pairing based simulation-extractable SNARK (SE-SNARK) that consists of only 3 group elements and has highly efficient verification. By formally linking SE-SNARKs to signatures of knowledge, we then obtain a succinct signature of knowledge consisting of only 3 group elements. SE-SNARKs enable a prover to give a proof that they know a witness to an instance in a manner which is: (1) succinct - proofs are short and verifier computation is small; (2) zero-knowledge - proofs do not reveal the witness; (3) simulation-extractable - it is only possible to prove instances to which you know a witness, even when you have already seen a number of simulated proofs. We also prove that any pairing based signature of knowledge or SE-NIZK argument must have at least 3 group elements and 2 verification equations. Since our constructions match these lower bounds, we have the smallest size signature of knowledge and the smallest size SE-SNARK possible

Disorder-Induced Multiple Transition involving Z2 Topological Insulator

Effects of disorder on two-dimensional Z2 topological insulator are studied numerically by the transfer matrix method. Based on the scaling analysis, the phase diagram is derived for a model of HgTe quantum well as a function of disorder strength and magnitude of the energy gap. In the presence of sz non-conserving spin-orbit coupling, a finite metallic region is found that partitions the two topologically distinct insulating phases. As disorder increases, a narrow-gap topologically trivial insulator undergoes a series of transitions; first to metal, second to topological insulator, third to metal, and finally back to trivial insulator. We show that this multiple transition is a consequence of two disorder effects; renormalization of the band gap, and Anderson localization. The metallic region found in the scaling analysis corresponds roughly to the region of finite density of states at the Fermi level evaluated in the self-consistent Born approximation.Comment: 5 pages, 5 figure

An excess power statistic for detection of burst sources of gravitational radiation

We examine the properties of an excess power method to detect gravitational waves in interferometric detector data. This method is designed to detect short-duration (< 0.5 s) burst signals of unknown waveform, such as those from supernovae or black hole mergers. If only the bursts' duration and frequency band are known, the method is an optimal detection strategy in both Bayesian and frequentist senses. It consists of summing the data power over the known time interval and frequency band of the burst. If the detector noise is stationary and Gaussian, this sum is distributed as a chi-squared (non-central chi-squared) deviate in the absence (presence) of a signal. One can use these distributions to compute frequentist detection thresholds for the measured power. We derive the method from Bayesian analyses and show how to compute Bayesian thresholds. More generically, when only upper and/or lower bounds on the bursts duration and frequency band are known, one must search for excess power in all concordant durations and bands. Two search schemes are presented and their computational efficiencies are compared. We find that given reasonable constraints on the effective duration and bandwidth of signals, the excess power search can be performed on a single workstation. Furthermore, the method can be almost as efficient as matched filtering when a large template bank is required. Finally, we derive generalizations of the method to a network of several interferometers under the assumption of Gaussian noise.Comment: 22 pages, 6 figure