Probabilistically Accurate Program Transformations

18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. ProceedingsThe standard approach to program transformation involves the use of discrete logical reasoning to prove that the transformation does not change the observable semantics of the program. We propose a new approach that, in contrast, uses probabilistic reasoning to justify the application of transformations that may change, within probabilistic accuracy bounds, the result that the program produces. Our new approach produces probabilistic guarantees of the form ℙ(|D| ≥ B) ≤ ε, ε ∈ (0, 1), where D is the difference between the results that the transformed and original programs produce, B is an acceptability bound on the absolute value of D, and ε is the maximum acceptable probability of observing large |D|. We show how to use our approach to justify the application of loop perforation (which transforms loops to execute fewer iterations) to a set of computational patterns.National Science Foundation (U.S.) (Grant CCF-0811397)National Science Foundation (U.S.) (Grant CCF-0905244)National Science Foundation (U.S.) (Grant CCF-1036241)National Science Foundation (U.S.) (Grant IIS-0835652)United States. Dept. of Energy (Grant DE-SC0005288

Solitons and Vertex Operators in Twisted Affine Toda Field Theories

Affine Toda field theories in two dimensions constitute families of integrable, relativistically invariant field theories in correspondence with the affine Kac-Moody algebras. The particles which are the quantum excitations of the fields display interesting patterns in their masses and coupling and which have recently been shown to extend to the classical soliton solutions arising when the couplings are imaginary. Here these results are extended from the untwisted to the twisted algebras. The new soliton solutions and their masses are found by a folding procedure which can be applied to the affine Kac-Moody algebras themselves to provide new insights into their structures. The relevant foldings are related to inner automorphisms of the associated finite dimensional Lie group which are calculated explicitly and related to what is known as the twisted Coxeter element. The fact that the twisted affine Kac-Moody algebras possess vertex operator constructions emerges naturally and is relevant to the soliton solutions.Comment: 27 pages (harvmac) + 3 figures (LaTex) at the end of the file, Swansea SWAT/93-94/1

Extensions of the matrix Gelfand-Dickey hierarchy from generalized Drinfeld-Sokolov reduction

The $p\times p$ matrix version of the $r$-KdV hierarchy has been recently treated as the reduced system arising in a Drinfeld-Sokolov type Hamiltonian symmetry reduction applied to a Poisson submanifold in the dual of the Lie algebra $\widehat{gl}_{pr}\otimes {\Complex}[\lambda, \lambda^{-1}]$. Here a series of extensions of this matrix Gelfand-Dickey system is derived by means of a generalized Drinfeld-Sokolov reduction defined for the Lie algebra $\widehat{gl}_{pr+s}\otimes {\Complex}[\lambda,\lambda^{-1}]$ using the natural embedding $gl_{pr}\subset gl_{pr+s}$ for $s$ any positive integer. The hierarchies obtained admit a description in terms of a $p\times p$ matrix pseudo-differential operator comprising an $r$-KdV type positive part and a non-trivial negative part. This system has been investigated previously in the $p=1$ case as a constrained KP system. In this paper the previous results are considerably extended and a systematic study is presented on the basis of the Drinfeld-Sokolov approach that has the advantage that it leads to local Poisson brackets and makes clear the conformal ($\cal W$-algebra) structures related to the KdV type hierarchies. Discrete reductions and modified versions of the extended $r$-KdV hierarchies are also discussed.Comment: 60 pages, plain TE

A Measurement of Time-Averaged Aerosol Optical Depth using Air-Showers Observed in Stereo by HiRes

Air fluorescence measurements of cosmic ray energy must be corrected for attenuation of the atmosphere. In this paper we show that the air-showers themselves can yield a measurement of the aerosol attenuation in terms of optical depth, time-averaged over extended periods. Although the technique lacks statistical power to make the critical hourly measurements that only specialized active instruments can achieve, we note the technique does not depend on absolute calibration of the detector hardware, and requires no additional equipment beyond the fluorescence detectors that observe the air showers. This paper describes the technique, and presents results based on analysis of 1258 air-showers observed in stereo by the High Resolution Fly's Eye over a four year span.Comment: 7 pages, 3 figures, accepted for publication by Astroparticle Physics Journa

Search for Global Dipole Enhancements in the HiRes-I Monocular Data above 10^{18.5} eV

Several proposed source models for Ultra-High Energy Cosmic Rays (UHECRs) consist of dipole distributions oriented towards major astrophysical landmarks such as the galactic center, M87, or Centaurus A. We use a comparison between real data and simulated data to show that the HiRes-I monocular data for energies above 10^{18.5} eV is, in fact, consistent with an isotropic source model. We then explore methods to quantify our sensitivity to dipole source models oriented towards the Galactic Center, M87, and Centaurus A.Comment: 17 pages, 31 figure

Global extent and drivers of mammal population declines in protected areas under illegal hunting pressure

Illegal hunting is a persistent problem in many protected areas, but an overview of the extent of this problem and its impact on wildlife is lacking. We reviewed 40 years (1980–2020) of global research to examine the spatial distribution of research and socio-ecological factors influencing population decline within protected areas under illegal hunting pressure. From 81 papers reporting 988 species/site combinations, 294 mammal species were reported to have been illegally hunted from 155 protected areas across 48 countries. Research in illegal hunting has increased substantially during the review period and showed biases towards strictly protected areas and the African continent. Population declines were most frequent in countries with a low human development index, particularly in strict protected areas and for species with a body mass over 100 kg. Our results provide evidence that illegal hunting is most likely to cause declines of large-bodied species in protected areas of resource-poor countries regardless of protected area conservation status. Given the growing pressures of illegal hunting, increased investments in people’s development and additional conservation efforts such as improving anti-poaching strategies and conservation resources in terms of improving funding and personnel directed at this problem are a growing priority

A search for neutral Higgs bosons in the MSSM and models with two scalar field doublets

A search is described for the neutral Higgs bosons h^0 and A^0 predicted by models with two scalar field doublets and, in particular, the Minimal Supersymmetric Standard Model (MSSM). The search in the Z^0 h^0 and h^0 A^0 production channels is based on data corresponding to an integrated luminosity of 25 pb^{-1} from e^+e^- collisions at centre-of-mass energies between 130 and 172GeV collected with the OPAL detector at LEP. The observation of a number of candidates consistent with Standard Model background expectations is used in combination with earlier results from data collected at the Z^0 resonance to set limits on m_h and m_A in general models with two scalar field doublets and in the MSSM. For example, in the MSSM, for tan(beta) > 1, minimal and maximal scalar top quark mixing and soft SUSY-breaking masses of 1 TeV, the 95% confidence level limits m_h > 59.0 GeV and m_A > 59.5 GeV are obtained. For the first time, the MSSM parameter space is explored in a detailed scan.A search is described for the neutral Higgs bosons h^0 and A^0 predicted by models with two scalar field doublets and, in particular, the Minimal Supersymmetric Standard Model (MSSM). The search in the Z^0 h^0 and h^0 A^0 production channels is based on data corresponding to an integrated luminosity of 25 pb^{-1} from e^+e^- collisions at centre-of-mass energies between 130 and 172 GeV collected with the OPAL detector at LEP. The observation of a number of candidates consistent with Standard Model background expectations is used in combination with earlier results from data collected at the Z^0 resonance to set limits on m_h and m_A in general models with two scalar field doublets and in the MSSM. For example, in the MSSM, for tan(beta) > 1, minimal and maximal scalar top quark mixing and soft SUSY-breaking masses of 1 TeV, the 95% confidence level limits m_h > 59.0 GeV and m_A > 59.5 GeV are obtained. For the first time, the MSSM parameter space is explored in a detailed scan

Spin alignment of leading K∗(892)0K^{*}(892)^{0} mesons in hadronic Z0Z^0 decays

Helicity density matrix elements for inclusive K*(892)^0 mesons from hadronic Z^0 decays have been measured over the full range of K^*0 momentum using data taken with the OPAL experiment at LEP. A preference for occupation of the helicity zero state is observed at all scaled momentum x_p values above 0.3, with the matrix element rho_00 rising to 0.66 +/- 0.11 for x_p > 0.7. The values of the real part of the off-diagonal element rho_1-1 are negative at large x_p, with a weighted average value of -0.09 +/- 0.03 for x_p > 0.3, in agreement with new theoretical predictions based on Standard Model parameters and coherent fragmentation of the qq(bar) system from the Z^0 decay. All other helicity density matrix elements measured are consistent with zero over the entire x_p range. The K^*0 fragmentation function has also been measured and the total rate determined to be 0.74 +/- 0.02 +/- 0.02 K*(892)^0 mesons per hadronic Z^0 decay.Helicity density matrix elements for inclusive K*(892)^0 mesons from hadronic Z^0 decays have been measured over the full range of K^*0 momentum using data taken with the OPAL experiment at LEP. A preference for occupation of the helicity zero state is observed at all scaled momentum x_p values above 0.3, with the matrix element rho_00 rising to 0.66 +/- 0.11 for x_p > 0.7. The values of the real part of the off-diagonal element rho_1-1 are negative at large x_p, with a weighted average value of -0.09 +/- 0.03 for x_p > 0.3, in agreement with new theoretical predictions based on Standard Model parameters and coherent fragmentation of the qq(bar) system from the Z^0 decay. All other helicity density matrix elements measured are consistent with zero over the entire x_p range. The K^*0 fragmentation function has also been measured and the total rate determined to be 0.74 +/- 0.02 +/- 0.02 K*(892)^0 mesons per hadronic Z^0 decay.Helicity density matrix elements for inclusive K*(892)^0 mesons from hadronic Z^0 decays have been measured over the full range of K^*0 momentum using data taken with the OPAL experiment at LEP. A preference for occupation of the helicity zero state is observed at all scaled momentum x_p values above 0.3, with the matrix element rho_00 rising to 0.66 +/- 0.11 for x_p > 0.7. The values of the real part of the off-diagonal element rho_1-1 are negative at large x_p, with a weighted average value of -0.09 +/- 0.03 for x_p > 0.3, in agreement with new theoretical predictions based on Standard Model parameters and coherent fragmentation of the qq(bar) system from the Z^0 decay. All other helicity density matrix elements measured are consistent with zero over the entire x_p range. The K^*0 fragmentation function has also been measured and the total rate determined to be 0.74 +/- 0.02 +/- 0.02 K*(892)^0 mesons per hadronic Z^0 decay.Helicity density matrix elements for inclusive K*(892)^0 mesons from hadronic Z^0 decays have been measured over the full range of K^*0 momentum using data taken with the OPAL experiment at LEP. A preference for occupation of the helicity zero state is observed at all scaled momentum x_p values above 0.3, with the matrix element rho_00 rising to 0.66 +/- 0.11 for x_p > 0.7. The values of the real part of the off-diagonal element rho_1-1 are negative at large x_p, with a weighted average value of -0.09 +/- 0.03 for x_p > 0.3, in agreement with new theoretical predictions based on Standard Model parameters and coherent fragmentation of the qq(bar) system from the Z^0 decay. All other helicity density matrix elements measured are consistent with zero over the entire x_p range. The K^*0 fragmentation function has also been measured and the total rate determined to be 0.74 +/- 0.02 +/- 0.02 K*(892)^0 mesons per hadronic Z^0 decay.Helicity density matrix elements for inclusive K ∗ (892) 0 mesons from hadronic Z 0 decays have been measured over the full range of K ∗ 0 momentum using data taken with the OPAL experiment at LEP. A preference for occupation of the helicity zero state is observed at all scaled momentum x p values above 0.3, with the matrix element ϱ 00 rising to 0.66 ± 0.11 for x p > 0.7. The values of the real part of the off-diagonal element ϱ 1 - 1 are negative at large x p , with a weighted average value of −0.09 ± 0.03 for x p > 0.3, in agreement with new theoretical predictions based on Standard Model parameters and coherent fragmentation of the q q system from the Z 0 decay. All other helicity density matrix elements measured are consistent with zero over the entire x p range. The K ∗ 0 fragmentation function has also been measured and the total rate determined to be 0.74 ± 0.02 ± 0.02 K ∗ (892) 0 mesons per hadronic Z 0 decay