Approximating a Behavioural Pseudometric without Discount for<br> Probabilistic Systems

Desharnais, Gupta, Jagadeesan and Panangaden introduced a family of behavioural pseudometrics for probabilistic transition systems. These pseudometrics are a quantitative analogue of probabilistic bisimilarity. Distance zero captures probabilistic bisimilarity. Each pseudometric has a discount factor, a real number in the interval (0, 1]. The smaller the discount factor, the more the future is discounted. If the discount factor is one, then the future is not discounted at all. Desharnais et al. showed that the behavioural distances can be calculated up to any desired degree of accuracy if the discount factor is smaller than one. In this paper, we show that the distances can also be approximated if the future is not discounted. A key ingredient of our algorithm is Tarski's decision procedure for the first order theory over real closed fields. By exploiting the Kantorovich-Rubinstein duality theorem we can restrict to the existential fragment for which more efficient decision procedures exist

The dependence of the EIT wave velocity on the magnetic field strength

"EIT waves" are a wavelike phenomenon propagating in the corona, which were initially observed in the extreme ultraviolet (EUV) wavelength by the EUV Imaging Telescope (EIT). Their nature is still elusive, with the debate between fast-mode wave model and non-wave model. In order to distinguish between these models, we investigate the relation between the EIT wave velocity and the local magnetic field in the corona. It is found that the two parameters show significant negative correlation in most of the EIT wave fronts, {\it i.e.}, EIT wave propagates more slowly in the regions of stronger magnetic field. Such a result poses a big challenge to the fast-mode wave model, which would predict a strong positive correlation between the two parameters. However, it is demonstrated that such a result can be explained by the fieldline stretching model, \emph{i.e.,} that "EIT waves" are apparently-propagating brightenings, which are generated by successive stretching of closed magnetic field lines pushed by the erupting flux rope during coronal mass ejections (CMEs).Comment: 11 pages, 8 figures, accepted for publication in Solar Phy

Large-scale Bright Fronts in the Solar Corona: A Review of "EIT waves"

``EIT waves" are large-scale coronal bright fronts (CBFs) that were first observed in 195 \AA\ images obtained using the Extreme-ultraviolet Imaging Telescope (EIT) onboard the \emph{Solar and Heliospheric Observatory (SOHO)}. Commonly called ``EIT waves", CBFs typically appear as diffuse fronts that propagate pseudo-radially across the solar disk at velocities of 100--700 km s$^{-1}$ with front widths of 50-100 Mm. As their speed is greater than the quiet coronal sound speed ($c_s\leq$200 km s$^{-1}$) and comparable to the local Alfv\'{e}n speed ($v_A\leq$1000 km s$^{-1}$), they were initially interpreted as fast-mode magnetoacoustic waves ($v_{f}=(c_s^2 + v_A^2)^{1/2}$). Their propagation is now known to be modified by regions where the magnetosonic sound speed varies, such as active regions and coronal holes, but there is also evidence for stationary CBFs at coronal hole boundaries. The latter has led to the suggestion that they may be a manifestation of a processes such as Joule heating or magnetic reconnection, rather than a wave-related phenomena. While the general morphological and kinematic properties of CBFs and their association with coronal mass ejections have now been well described, there are many questions regarding their excitation and propagation. In particular, the theoretical interpretation of these enigmatic events as magnetohydrodynamic waves or due to changes in magnetic topology remains the topic of much debate.Comment: 34 pages, 19 figure

Coronal Shock Waves, EUV waves, and their Relation to CMEs. II. Modeling MHD Shock Wave Propagation Along the Solar Surface, Using Nonlinear Geometrical Acoustics

We model the propagation of a coronal shock wave, using nonlinear geometrical acoustics. The method is based on the Wentzel-Kramers-Brillouin (WKB) approach and takes into account the main properties of nonlinear waves: i) dependence of the wave front velocity on the wave amplitude, ii) nonlinear dissipation of the wave energy, and iii) progressive increase in the duration of solitary shock waves. We address the method in detail and present results of the modeling of the propagation of shock-associated extreme-ultraviolet (EUV) waves as well as Moreton waves along the solar surface in the simplest solar corona model. The calculations reveal deceleration and lengthening of the waves. In contrast, waves considered in the linear approximation keep their length unchanged and slightly accelerate.Comment: 15 pages, 7 figures, accepted for publication in Solar Physic

Coronal Shock Waves, EUV waves, and Their Relation to CMEs. I. Reconciliation of "EIT waves", Type II Radio Bursts, and Leading Edges of CMEs

We show examples of excitation of coronal waves by flare-related abrupt eruptions of magnetic rope structures. The waves presumably rapidly steepened into shocks and freely propagated afterwards like decelerating blast waves that showed up as Moreton waves and EUV waves. We propose a simple quantitative description for such shock waves to reconcile their observed propagation with drift rates of metric type II bursts and kinematics of leading edges of coronal mass ejections (CMEs). Taking account of different plasma density falloffs for propagation of a wave up and along the solar surface, we demonstrate a close correspondence between drift rates of type II bursts and speeds of EUV waves, Moreton waves, and CMEs observed in a few known events.Comment: 30 pages, 15 figures. Solar Physics, published online. The final publication is available at http://www.springerlink.co

Coronal Shock Waves, EUV Waves, and Their Relation to CMEs. III. Shock-Associated CME/EUV Wave in an Event with a Two-Component EUV Transient

On 17 January 2010, STEREO-B observed in extreme ultraviolet (EUV) and white light a large-scale dome-shaped expanding coronal transient with perfectly connected off-limb and on-disk signatures. Veronig et al. (2010, ApJL 716, 57) concluded that the dome was formed by a weak shock wave. We have revealed two EUV components, one of which corresponded to this transient. All of its properties found from EUV, white light, and a metric type II burst match expectations for a freely expanding coronal shock wave including correspondence to the fast-mode speed distribution, while the transient sweeping over the solar surface had a speed typical of EUV waves. The shock wave was presumably excited by an abrupt filament eruption. Both a weak shock approximation and a power-law fit match kinematics of the transient near the Sun. Moreover, the power-law fit matches expansion of the CME leading edge up to 24 solar radii. The second, quasi-stationary EUV component near the dimming was presumably associated with a stretched CME structure; no indications of opening magnetic fields have been detected far from the eruption region.Comment: 18 pages, 10 figures. Solar Physics, published online. The final publication is available at http://www.springerlink.co

What is the Nature of EUV Waves? First STEREO 3D Observations and Comparison with Theoretical Models

One of the major discoveries of the Extreme ultraviolet Imaging Telescope (EIT) on SOHO were intensity enhancements propagating over a large fraction of the solar surface. The physical origin(s) of the so-called `EIT' waves is still strongly debated. They are considered to be either wave (primarily fast-mode MHD waves) or non-wave (pseudo-wave) interpretations. The difficulty in understanding the nature of EUV waves lies with the limitations of the EIT observations which have been used almost exclusively for their study. Their limitations are largely overcome by the SECCHI/EUVI observations on-board the STEREO mission. The EUVI telescopes provide high cadence, simultaneous multi-temperature coverage, and two well-separated viewpoints. We present here the first detailed analysis of an EUV wave observed by the EUVI disk imagers on December 07, 2007 when the STEREO spacecraft separation was $\approx 45^\circ$. Both a small flare and a CME were associated with the wave cadence, and single temperature and viewpoint coverage. These limitations are largely overcome by the SECCHI/EUVI observations on-board the STEREO mission. The EUVI telescopes provide high cadence, simultaneous multi-temperature coverage, and two well-separated viewpoints. Our findings give significant support for a fast-mode interpretation of EUV waves and indicate that they are probably triggered by the rapid expansion of the loops associated with the CME.Comment: Solar Physics, 2009, Special STEREO Issue, in pres

Search for direct production of charginos and neutralinos in events with three leptons and missing transverse momentum in √s = 7 TeV pp collisions with the ATLAS detector

A search for the direct production of charginos and neutralinos in final states with three electrons or muons and missing transverse momentum is presented. The analysis is based on 4.7 fb−1 of proton–proton collision data delivered by the Large Hadron Collider and recorded with the ATLAS detector. Observations are consistent with Standard Model expectations in three signal regions that are either depleted or enriched in Z-boson decays. Upper limits at 95% confidence level are set in R-parity conserving phenomenological minimal supersymmetric models and in simplified models, significantly extending previous results

Measurement of the polarisation of W bosons produced with large transverse momentum in pp collisions at sqrt(s) = 7 TeV with the ATLAS experiment

This paper describes an analysis of the angular distribution of W->enu and W->munu decays, using data from pp collisions at sqrt(s) = 7 TeV recorded with the ATLAS detector at the LHC in 2010, corresponding to an integrated luminosity of about 35 pb^-1. Using the decay lepton transverse momentum and the missing transverse energy, the W decay angular distribution projected onto the transverse plane is obtained and analysed in terms of helicity fractions f0, fL and fR over two ranges of W transverse momentum (ptw): 35 < ptw < 50 GeV and ptw > 50 GeV. Good agreement is found with theoretical predictions. For ptw > 50 GeV, the values of f0 and fL-fR, averaged over charge and lepton flavour, are measured to be : f0 = 0.127 +/- 0.030 +/- 0.108 and fL-fR = 0.252 +/- 0.017 +/- 0.030, where the first uncertainties are statistical, and the second include all systematic effects.Comment: 19 pages plus author list (34 pages total), 9 figures, 11 tables, revised author list, matches European Journal of Physics C versio