SUSY Searches at LEP

Between 1995-2000, the LEP e+e- collider has been operated above the Z0 peak, at centre-of-mass energies sqrt(s) = 130-209 GeV. Searches for supersymmetric particles have been performed using these data samples. The results from the four LEP experiments have been combined. Model independent limits on the pair-production cross-sections of supersymmetric particles and constraints on their masses are presented in the context of the Minimal Supersymmetric Standard Model (MSSM) and in the context of gauge-mediated supersymmetry breaking models (GMSB). Results assuming an R-parity violating scenario are also reviewed.Comment: 4 pages, 6 figures, Proceedings of Moriond 03 - QCD wee

The different origins of high- and low-ionization broad emission lines revealed by gravitational microlensing in the Einstein cross

We investigate the kinematics and ionization structure of the broad emission line region of the gravitationally lensed quasar QSO2237+0305 (the Einstein cross) using differential microlensing in the high- and low-ionization broad emission lines. We combine visible and near-infrared spectra of the four images of the lensed quasar and detect a large-amplitude microlensing effect distorting the high-ionization CIV and low-ionization H$\alpha$ line profiles in image A. While microlensing only magnifies the red wing of the Balmer line, it symmetrically magnifies the wings of the CIV emission line. Given that the same microlensing pattern magnifies both the high- and low-ionization broad emission line regions, these dissimilar distortions of the line profiles suggest that the high- and low-ionization regions are governed by different kinematics. Since this quasar is likely viewed at intermediate inclination, we argue that the differential magnification of the blue and red wings of H$\alpha$ favors a flattened, virialized, low-ionization region whereas the symmetric microlensing effect measured in CIV can be reproduced by an emission line formed in a polar wind, without the need of fine-tuned caustic configurations.Comment: 11 pages, 4 figures, A&

Implementing and reasoning about hash-consed data structures in Coq

We report on four different approaches to implementing hash-consing in Coq programs. The use cases include execution inside Coq, or execution of the extracted OCaml code. We explore the different trade-offs between faithful use of pristine extracted code, and code that is fine-tuned to make use of OCaml programming constructs not available in Coq. We discuss the possible consequences in terms of performances and guarantees. We use the running example of binary decision diagrams and then demonstrate the generality of our solutions by applying them to other examples of hash-consed data structures

Tactics for Reasoning modulo AC in Coq

We present a set of tools for rewriting modulo associativity and commutativity (AC) in Coq, solving a long-standing practical problem. We use two building blocks: first, an extensible reflexive decision procedure for equality modulo AC; second, an OCaml plug-in for pattern matching modulo AC. We handle associative only operations, neutral elements, uninterpreted function symbols, and user-defined equivalence relations. By relying on type-classes for the reification phase, we can infer these properties automatically, so that end-users do not need to specify which operation is A or AC, or which constant is a neutral element.Comment: 16

Quasi exactly solvable matrix Schroedinger operators

Two families of quasi exactly solvable 2*2 matrix Schroedinger operators are constructed. The first one is based on a polynomial matrix potential and depends on three parameters. The second is a one-parameter generalisation of the scalar Lame equation. The relationship between these operators and QES Hamiltonians already considered in the literature is pointed out.Comment: LaTeX, 9 pp, new results adde

Radio Galaxy Zoo: Cosmological Alignment of Radio Sources

We study the mutual alignment of radio sources within two surveys, FIRST and TGSS. This is done by producing two position angle catalogues containing the preferential directions of respectively $30\,059$ and $11\,674$ extended sources distributed over more than $7\,000$ and $17\,000$ square degrees. The identification of the sources in the FIRST sample was performed in advance by volunteers of the Radio Galaxy Zoo project, while for the TGSS sample it is the result of an automated process presented here. After taking into account systematic effects, marginal evidence of a local alignment on scales smaller than $2.5\deg$ is found in the FIRST sample. The probability of this happening by chance is found to be less than $2$ per cent. Further study suggests that on scales up to $1.5\deg$ the alignment is maximal. For one third of the sources, the Radio Galaxy Zoo volunteers identified an optical counterpart. Assuming a flat $\Lambda$CDM cosmology with $\Omega_m = 0.31, \Omega_\Lambda = 0.69$, we convert the maximum angular scale on which alignment is seen into a physical scale in the range $[19, 38]$ Mpc $h_{70}^{-1}$. This result supports recent evidence reported by Taylor and Jagannathan of radio jet alignment in the $1.4$ deg$^2$ ELAIS N1 field observed with the Giant Metrewave Radio Telescope. The TGSS sample is found to be too sparsely populated to manifest a similar signal

An approximation function for frequency constrained structural optimization

The purpose is to examine a function for approximating natural frequency constraints during structural optimization. The nonlinearity of frequencies has posed a barrier to constructing approximations for frequency constraints of high enough quality to facilitate efficient solutions. A new function to represent frequency constraints, called the Rayleigh Quotient Approximation (RQA), is presented. Its ability to represent the actual frequency constraint results in stable convergence with effectively no move limits. The objective of the optimization problem is to minimize structural weight subject to some minimum (or maximum) allowable frequency and perhaps subject to other constraints such as stress, displacement, and gage size, as well. A reason for constraining natural frequencies during design might be to avoid potential resonant frequencies due to machinery or actuators on the structure. Another reason might be to satisy requirements of an aircraft or spacecraft's control law. Whatever the structure supports may be sensitive to a frequency band that must be avoided. Any of these situations or others may require the designer to insure the satisfaction of frequency constraints. A further motivation for considering accurate approximations of natural frequencies is that they are fundamental to dynamic response constraints