The MAGIC Experiment and Its First Results

With its diameter of 17m, the MAGIC telescope is the largest Cherenkov detector for gamma ray astrophysics. It is sensitive to photons above an energy of 30 GeV. MAGIC started operations in October 2003 and is currently taking data. This report summarizes its main characteristics, its rst results and its potential for physics.Comment: 6 pages, 3 figures, to be published in the Proceedings of the 6th International Symposium ''Frontiers of Fundamental and Computational Physics'' (FFP6), Udine (Italy), Sep. 26-29, 200

Companions, codensity and causality

In the context of abstract coinduction in complete lattices, the notion of compatible function makes it possible to introduce enhancements of the coinduction proof principle. The largest compatible function, called the companion, subsumes most enhancements and has been proved to enjoy many good properties. Here we move to universal coalgebra, where the corresponding notion is that of a final distributive law. We show that when it exists the final distributive law is a monad, and that it coincides with the codensity monad of the final sequence of the given functor. On sets, we moreover characterise this codensity monad using a new abstract notion of causality. In particular, we recover the fact that on streams, the functions definable by a distributive law or GSOS specification are precisely the causal functions. Going back to enhancements of the coinductive proof principle, we finally obtain that any causal function gives rise to a valid up-to-context technique

Three-dimensional parton distribution functions g1Tg_{1T} and h1L⊥h_{1L}^\perp in the polarized proton-antiproton Drell-Yan process

We present predictions of the unweighted and weighted double spin asymmetries related to the transversal helicity distribution $g_{1T}$ and the longitudinal transversity distribution $h_{1L}^\perp$, two of eight leading-twist transverse momentum dependent parton distributions (TMDs) or three-dimensional parton distribution functions (3dPDFs), in the polarized proton-antiproton Drell-Yan process at typical kinematics on the Facility for Antiproton and Ion Research (FAIR). We conclude that FAIR is ideal to access the new 3dPDFs towards a detailed picture of the nucleon structure.Comment: 6 latex pages, 5 figures, version for publication in EPJ

Witnessing (co)datatypes

Datatypes and codatatypes are useful for specifying and reasoning about (possibly infinite) computational processes. The Isabelle/HOL proof assistant has recently been extended with a definitional package that supports both. We describe a complete procedure for deriving nonemptiness witnesses in the general mutually recursive, nested case—nonemptiness being a proviso for introducing types in higher-order logic

MAGIC upper limits on the very high energy emission from GRBs

The fast repositioning system of the MAGIC Telescope has allowed during its first data cycle, between 2005 and the beginning of year 2006, observing nine different GRBs as possible sources of very high energy gammas. These observations were triggered by alerts from Swift, HETE-II, and Integral; they started as fast as possible after the alerts and lasted for several minutes, with an energy threshold varying between 80 and 200 GeV, depending upon the zenith angle of the burst. No evidence for gamma signals was found, and upper limits for the flux were derived for all events, using the standard analysis chain of MAGIC. For the bursts with measured redshift, the upper limits are compatible with a power law extrapolation, when the intrinsic fluxes are evaluated taking into account the attenuation due to the scattering in the Metagalactic Radiation Field (MRF).Comment: 25 pages, 9 figures, final version accepted by ApJ. Changet title to "MAGIC upped limits on the VERY high energy emission from GRBs", re-organized chapter with description of observation, removed non necessaries figures, added plot of effective area depending on zenith angle, added an appendix explaining the upper limit calculation, added some reference

Phase locking the spin precession in a storage ring

This letter reports the successful use of feedback from a spin polarization measurement to the revolution frequency of a 0.97 GeV/$c$ bunched and polarized deuteron beam in the Cooler Synchrotron (COSY) storage ring in order to control both the precession rate ($\approx 121$ kHz) and the phase of the horizontal polarization component. Real time synchronization with a radio frequency (rf) solenoid made possible the rotation of the polarization out of the horizontal plane, yielding a demonstration of the feedback method to manipulate the polarization. In particular, the rotation rate shows a sinusoidal function of the horizontal polarization phase (relative to the rf solenoid), which was controlled to within a one standard deviation range of $\sigma = 0.21$ rad. The minimum possible adjustment was 3.7 mHz out of a revolution frequency of 753 kHz, which changes the precession rate by 26 mrad/s. Such a capability meets a requirement for the use of storage rings to look for an intrinsic electric dipole moment of charged particles

Hard Two-Photon Contribution to Elastic Lepton-Proton Scattering: Determined by the OLYMPUS Experiment

The OLYMPUS collaboration reports on a precision measurement of the positron-proton to electron-proton elastic cross section ratio, $R_{2\gamma}$, a direct measure of the contribution of hard two-photon exchange to the elastic cross section. In the OLYMPUS measurement, 2.01~GeV electron and positron beams were directed through a hydrogen gas target internal to the DORIS storage ring at DESY. A toroidal magnetic spectrometer instrumented with drift chambers and time-of-flight scintillators detected elastically scattered leptons in coincidence with recoiling protons over a scattering angle range of $\approx 20\degree$ to $80\degree$. The relative luminosity between the two beam species was monitored using tracking telescopes of interleaved GEM and MWPC detectors at $12\degree$, as well as symmetric M{\o}ller/Bhabha calorimeters at $1.29\degree$. A total integrated luminosity of 4.5~fb$^{-1}$ was collected. In the extraction of $R_{2\gamma}$, radiative effects were taken into account using a Monte Carlo generator to simulate the convolutions of internal bremsstrahlung with experiment-specific conditions such as detector acceptance and reconstruction efficiency. The resulting values of $R_{2\gamma}$, presented here for a wide range of virtual photon polarization $0.456<\epsilon<0.978$, are smaller than some hadronic two-photon exchange calculations predict, but are in reasonable agreement with a subtracted dispersion model and a phenomenological fit to the form factor data.Comment: 5 pages, 3 figures, 2 table

MAGIC observations of very high energy gamma-rays from HESS J1813-178

Recently, the HESS collaboration has reported the detection of gamma-ray emission above a few hundred GeV from eight new sources located close to the Galactic Plane. The source HESS J1813-178 has sparked particular interest, as subsequent radio observations imply an association with SNR G12.82-0.02. Triggered by the detection in VHE gamma-rays, a positionally coincident source has also been found in INTEGRAL and ASCA data. In this Letter we present MAGIC observations of HESS J1813-178, resulting in the detection of a differential gamma-ray flux consistent with a hard-slope power law, described as dN/(dA dt dE) = (3.3+/-0.5)*10^{-12} (E/TeV)^{-2.1+/-0.2} cm^(-2)s^(-1)TeV^(-1). We briefly discuss the observational technique used, the procedure implemented for the data analysis, and put this detection in the perspective of multifrequency observations.Comment: Accepted by ApJ Letter

Measurement of the Spin-Dependence of the pbar-p Interaction at the AD-Ring

We propose to use an internal polarized hydrogen storage cell gas target in the AD ring to determine for the first time the two total spin-dependent pbar-p cross sections sigma_1 and sigma_2 at antiproton beam energies in the range from 50 to 450 MeV. The data obtained are of interest by themselves for the general theory of pbar-p interactions since they will provide a first experimental constraint of the spin-spin dependence of the nucleon-antinucleon potential in the energy range of interest. In addition, measurements of the polarization buildup of stored antiprotons are required to define the optimum parameters of a future, dedicated Antiproton Polarizer Ring (APR), intended to feed a double-polarized asymmetric pbar-p collider with polarized antiprotons. Such a machine has recently been proposed by the PAX collaboration for the new Facility for Antiproton and Ion Research (FAIR) at GSI in Darmstadt, Germany. The availability of an intense stored beam of polarized antiprotons will provide access to a wealth of single- and double-spin observables, thereby opening a new window on QCD spin physics.Comment: 51 pages, 23 figures, proposal submitted to the SPS committee of CER

Transverse-target-spin asymmetry in exclusive ω\omega-meson electroproduction

Hard exclusive electroproduction of $\omega$ mesons is studied with the HERMES spectrometer at the DESY laboratory by scattering 27.6 GeV positron and electron beams off a transversely polarized hydrogen target. The amplitudes of five azimuthal modulations of the single-spin asymmetry of the cross section with respect to the transverse proton polarization are measured. They are determined in the entire kinematic region as well as for two bins in photon virtuality and momentum transfer to the nucleon. Also, a separation of asymmetry amplitudes into longitudinal and transverse components is done. These results are compared to a phenomenological model that includes the pion pole contribution. Within this model, the data favor a positive $\pi\omega$ transition form factor.Comment: DESY Report 15-14