The 2mrad horizontal crossing angle IR layout for a TeV ILC

The current status of the 2mrad crossing angle layout for the ILC is reviewed. The scheme developed in the UK and France is described and the performance discussed for a TeV machine. Secondly, the scheme developed at SLAC and BNL is then studied and modified for a TeV machine. We find that both schemes can handle the higher energy beam with modifications, and share many common features.Comment: The proceedings of the 2005 International Linear Collider Workshop, March 2005. 4 pages, 5 figure

Guided Unfoldings for Finding Loops in Standard Term Rewriting

In this paper, we reconsider the unfolding-based technique that we have introduced previously for detecting loops in standard term rewriting. We improve it by guiding the unfolding process, using distinguished positions in the rewrite rules. This results in a depth-first computation of the unfoldings, whereas the original technique was breadth-first. We have implemented this new approach in our tool NTI and compared it to the previous one on a bunch of rewrite systems. The results we get are promising (better times, more successful proofs).Comment: Pre-proceedings paper presented at the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018), Frankfurt am Main, Germany, 4-6 September 2018 (arXiv:1808.03326

Evaluation of Luminosity Reduction in the ILC Head-on Scheme from Parasitic Collisions

online : http://cern.ch/AccelConf/p07/PAPERS/THPMN008.PDFInternational audienceAn interaction region with head-on collisions is being developed for the ILC as an alternative to the base line 14 mrad crossing angle design, motivated by simpler beam manipulations upstream of the interaction point (IP) and a more favourable configuration for the detector and physics analysis. The design of the post-collision beam line in this scheme involves however a number of technological challenges, one of which is the strength requirement for the electrostatic separators (ES) placed immediately after the final doublet to extract the spent beam. In this paper, we examine in detail the main mechanism behind this requirement, the multi-beam kink instability, which results from the long-range beam-beam forces at the parasitic crossings after the bunches have been extracted. Our analysis uses realistic bunch distributions, the Guinea-Pig program to treat beam-beam effects at the interaction point and the DIMAD program to track the disrupted beam distributions in the postcollision beam line

Model for the on-site matrix elements of the tight-binding hamiltonian of a strained crystal: Application to silicon, germanium and their alloys

We discuss a model for the on-site matrix elements of the sp3d5s* tight-binding hamiltonian of a strained diamond or zinc-blende crystal or nanostructure. This model features on-site, off-diagonal couplings between the s, p and d orbitals, and is able to reproduce the effects of arbitrary strains on the band energies and effective masses in the full Brillouin zone. It introduces only a few additional parameters and is free from any ambiguities that might arise from the definition of the macroscopic strains as a function of the atomic positions. We apply this model to silicon, germanium and their alloys as an illustration. In particular, we make a detailed comparison of tight-binding and ab initio data on strained Si, Ge and SiGe.Comment: Submitted to Phys. Rev.

Loops under Strategies ... Continued

While there are many approaches for automatically proving termination of term rewrite systems, up to now there exist only few techniques to disprove their termination automatically. Almost all of these techniques try to find loops, where the existence of a loop implies non-termination of the rewrite system. However, most programming languages use specific evaluation strategies, whereas loop detection techniques usually do not take strategies into account. So even if a rewrite system has a loop, it may still be terminating under certain strategies. Therefore, our goal is to develop decision procedures which can determine whether a given loop is also a loop under the respective evaluation strategy. In earlier work, such procedures were presented for the strategies of innermost, outermost, and context-sensitive evaluation. In the current paper, we build upon this work and develop such decision procedures for important strategies like leftmost-innermost, leftmost-outermost, (max-)parallel-innermost, (max-)parallel-outermost, and forbidden patterns (which generalize innermost, outermost, and context-sensitive strategies). In this way, we obtain the first approach to disprove termination under these strategies automatically.Comment: In Proceedings IWS 2010, arXiv:1012.533

Optical studies for the super separator spectrometer S3

International audienceS3 (Super Separator Spectrometer) [1] is a future device designed for experiments with the high intensity heavy ion stable beams of SPIRAL2 [2] at GANIL (Caen, France). It will include a target resistant to these very high intensities, a first stage momentum achromat for primary beam extraction and suppression, a second stage mass spectrometer and a dedicated detection system. This spectrometer includes large aperture quadrupole triplets with embedded multipolar corrections. To enable the primary beam extraction one triplet has to be opened on one side, which requires an appropriate design of such a multipolar magnet. The final mass separation power required for S3 needs a careful design of the optics with a high level of aberration correction. Multiple symmetric lattices were studied for this purpose. A 4-fold symmetric lattice and the achieved results are described in this paper

Radio emission of extensive air shower at CODALEMA: Polarization of the radio emission along the v*B vector

Cosmic rays extensive air showers (EAS) are associated with transient radio emission, which could provide an efficient new detection method of high energy cosmic rays, combining a calorimetric measurement with a high duty cycle. The CODALEMA experiment, installed at the Radio Observatory in Nancay, France, is investigating this phenomenon in the 10^17 eV region. One challenging point is the understanding of the radio emission mechanism. A first observation indicating a linear relation between the electric field produced and the cross product of the shower axis with the geomagnetic field direction has been presented (B. Revenu, this conference). We will present here other strong evidences for this linear relationship, and some hints on its physical origin.Comment: Contribution to the 31st International Cosmic Ray Conference, Lodz, Poland, July 2009. 4 pages, 8 figures. v2: Typo fixed, arxiv references adde

Measurement of Atmospheric Neutrino Oscillations with the ANTARES Neutrino Telescope

The data taken with the ANTARES neutrino telescope from 2007 to 2010, a total live time of 863 days, are used to measure the oscillation parameters of atmospheric neutrinos. Muon tracks are reconstructed with energies as low as 20 GeV. Neutrino oscillations will cause a suppression of vertical upgoing muon neutrinos of such energies crossing the Earth. The parameters determining the oscillation of atmospheric neutrinos are extracted by fitting the event rate as a function of the ratio of the estimated neutrino energy and reconstructed flight path through the Earth. Measurement contours of the oscillation parameters in a two-flavour approximation are derived. Assuming maximum mixing, a mass difference of $\Delta m_{32}^2=(3.1\pm 0.9)\cdot 10^{-3}$ eV$^2$ is obtained, in good agreement with the world average value.Comment: 9 pages, 5 figure

Status and Recent Results of the Acoustic Neutrino Detection Test System AMADEUS

The AMADEUS system is an integral part of the ANTARES neutrino telescope in the Mediterranean Sea. The project aims at the investigation of techniques for acoustic neutrino detection in the deep sea. Installed at a depth of more than 2000m, the acoustic sensors of AMADEUS are based on piezo-ceramics elements for the broad-band recording of signals with frequencies ranging up to 125kHz. AMADEUS was completed in May 2008 and comprises six "acoustic clusters", each one holding six acoustic sensors that are arranged at distances of roughly 1m from each other. The clusters are installed with inter-spacings ranging from 15m to 340m. Acoustic data are continuously acquired and processed at a computer cluster where online filter algorithms are applied to select a high-purity sample of neutrino-like signals. 1.6 TB of data were recorded in 2008 and 3.2 TB in 2009. In order to assess the background of neutrino-like signals in the deep sea, the characteristics of ambient noise and transient signals have been investigated. In this article, the AMADEUS system will be described and recent results will be presented.Comment: 7 pages, 8 figures. Proceedings of ARENA 2010, the 4th International Workshop on Acoustic and Radio EeV Neutrino Detection Activitie