Compilation of extended recursion in call-by-value functional languages

This paper formalizes and proves correct a compilation scheme for mutually-recursive definitions in call-by-value functional languages. This scheme supports a wider range of recursive definitions than previous methods. We formalize our technique as a translation scheme to a lambda-calculus featuring in-place update of memory blocks, and prove the translation to be correct.Comment: 62 pages, uses pi

Dispersion of Ordered Stripe Phases in the Cuprates

A phase separation model is presented for the stripe phase of the cuprates, which allows the doping dependence of the photoemission spectra to be calculated. The idealized limit of a well-ordered array of magnetic and charged stripes is analyzed, including effects of long-range Coulomb repulsion. Remarkably, down to the limit of two-cell wide stripes, the dispersion can be interpreted as essentially a superposition of the two end-phase dispersions, with superposed minigaps associated with the lattice periodicity. The largest minigap falls near the Fermi level; it can be enhanced by proximity to a (bulk) Van Hove singularity. The calculated spectra are dominated by two features -- this charge stripe minigap plus the magnetic stripe Hubbard gap. There is a strong correlation between these two features and the experimental photoemission results of a two-peak dispersion in La$_{2-x}$Sr$_x$CuO$_4$, and the peak-dip-hump spectra in Bi$_2$Sr$_2$CaCu$_2$O$_{8+\delta}$. The differences are suggestive of the role of increasing stripe fluctuations. The 1/8 anomaly is associated with a quantum critical point, here expressed as a percolation-like crossover. A model is proposed for the limiting minority magnetic phase as an isolated two-leg ladder.Comment: 24 pages, 26 PS figure

Transverse Beam Spin Asymmetries in Forward-Angle Elastic Electron-Proton Scattering

We have measured the beam-normal single-spin asymmetry in elastic scattering of transversely-polarized 3 GeV electrons from unpolarized protons at Q^2 = 0.15, 0.25 (GeV/c)^2. The results are inconsistent with calculations solely using the elastic nucleon intermediate state, and generally agree with calculations with significant inelastic hadronic intermediate state contributions. A_n provides a direct probe of the imaginary component of the 2-gamma exchange amplitude, the complete description of which is important in the interpretation of data from precision electron-scattering experiments.Comment: 5 pages, 3 figures, submitted to Physical Review Letters; shortened to meet PRL length limit, clarified some text after referee's comment

Strange Quark Contributions to Parity-Violating Asymmetries in the Forward G0 Electron-Proton Scattering Experiment

We have measured parity-violating asymmetries in elastic electron-proton scattering over the range of momentum transfers 0.12 < Q^2 < 1.0 GeV^2. These asymmetries, arising from interference of the electromagnetic and neutral weak interactions, are sensitive to strange quark contributions to the currents of the proton. The measurements were made at JLab using a toroidal spectrometer to detect the recoiling protons from a liquid hydrogen target. The results indicate non-zero, Q^2 dependent, strange quark contributions and provide new information beyond that obtained in previous experiments.Comment: 5 pages, 2 figure

The G0 Experiment: Apparatus for Parity-Violating Electron Scattering Measurements at Forward and Backward Angles

In the G0 experiment, performed at Jefferson Lab, the parity-violating elastic scattering of electrons from protons and quasi-elastic scattering from deuterons is measured in order to determine the neutral weak currents of the nucleon. Asymmetries as small as 1 part per million in the scattering of a polarized electron beam are determined using a dedicated apparatus. It consists of specialized beam-monitoring and control systems, a cryogenic hydrogen (or deuterium) target, and a superconducting, toroidal magnetic spectrometer equipped with plastic scintillation and aerogel Cerenkov detectors, as well as fast readout electronics for the measurement of individual events. The overall design and performance of this experimental system is discussed.Comment: Submitted to Nuclear Instruments and Method

A measurement of the tau mass and the first CPT test with tau leptons

We measure the mass of the tau lepton to be 1775.1+-1.6(stat)+-1.0(syst.) MeV using tau pairs from Z0 decays. To test CPT invariance we compare the masses of the positively and negatively charged tau leptons. The relative mass difference is found to be smaller than 3.0 10^-3 at the 90% confidence level.Comment: 10 pages, 4 figures, Submitted to Phys. Letts.

Measurement of the B0 Lifetime and Oscillation Frequency using B0->D*+l-v decays

The lifetime and oscillation frequency of the B0 meson has been measured using B0->D*+l-v decays recorded on the Z0 peak with the OPAL detector at LEP. The D*+ -> D0pi+ decays were reconstructed using an inclusive technique and the production flavour of the B0 mesons was determined using a combination of tags from the rest of the event. The results t_B0 = 1.541 +- 0.028 +- 0.023 ps, Dm_d = 0.497 +- 0.024 +- 0.025 ps-1 were obtained, where in each case the first error is statistical and the second systematic.Comment: 17 pages, 4 figures, submitted to Phys. Lett.

First Measurement of Z/gamma* Production in Compton Scattering of Quasi-real Photons

We report the first observation of Z/gamma* production in Compton scattering of quasi-real photons. This is a subprocess of the reaction e+e- to e+e-Z/gamma*, where one of the final state electrons is undetected. Approximately 55 pb-1 of data collected in the year 1997 at an e+e- centre-of-mass energy of 183 GeV with the OPAL detector at LEP have been analysed. The Z/gamma* from Compton scattering has been detected in the hadronic decay channel. Within well defined kinematic bounds, we measure the product of cross-section and Z/gamma* branching ratio to hadrons to be (0.9+-0.3+-0.1) pb for events with a hadronic mass larger than 60 GeV, dominated by (e)eZ production. In the hadronic mass region between 5 GeV and 60 GeV, dominated by (e)egamma* production, this product is found to be (4.1+-1.6+-0.6) pb. Our results agree with the predictions of two Monte Carlo event generators, grc4f and PYTHIA.Comment: 18 pages, LaTeX, 5 eps figures included, submitted to Physics Letters

Search for Higgs Bosons in e+e- Collisions at 183 GeV

The data collected by the OPAL experiment at sqrts=183 GeV were used to search for Higgs bosons which are predicted by the Standard Model and various extensions, such as general models with two Higgs field doublets and the Minimal Supersymmetric Standard Model (MSSM). The data correspond to an integrated luminosity of approximately 54pb-1. None of the searches for neutral and charged Higgs bosons have revealed an excess of events beyond the expected background. This negative outcome, in combination with similar results from searches at lower energies, leads to new limits for the Higgs boson masses and other model parameters. In particular, the 95% confidence level lower limit for the mass of the Standard Model Higgs boson is 88.3 GeV. Charged Higgs bosons can be excluded for masses up to 59.5 GeV. In the MSSM, mh > 70.5 GeV and mA > 72.0 GeV are obtained for tan{beta}>1, no and maximal scalar top mixing and soft SUSY-breaking masses of 1 TeV. The range 0.8 < tanb < 1.9 is excluded for minimal scalar top mixing and m{top} < 175 GeV. More general scans of the MSSM parameter space are also considered.Comment: 49 pages. LaTeX, including 33 eps figures, submitted to European Physical Journal