848 research outputs found
Symbolic Computation via Program Transformation
Symbolic computation is an important approach in automated program analysis.
Most state-of-the-art tools perform symbolic computation as interpreters and
directly maintain symbolic data. In this paper, we show that it is feasible,
and in fact practical, to use a compiler-based strategy instead. Using compiler
tooling, we propose and implement a transformation which takes a standard
program and outputs a program that performs semantically equivalent, but
partially symbolic, computation. The transformed program maintains symbolic
values internally and operates directly on them hence the program can be
processed by a tool without support for symbolic manipulation.
The main motivation for the transformation is in symbolic verification, but
there are many other possible use-cases, including test generation and concolic
testing. Moreover using the transformation simplifies tools, since the symbolic
computation is handled by the program directly. We have implemented the
transformation at the level of LLVM bitcode. The paper includes an experimental
evaluation, based on an explicit-state software model checker as a verification
backend
Gravitational Waves From Known Pulsars: Results From The Initial Detector Era
We present the results of searches for gravitational waves from a large selection of pulsars using data from the most recent science runs (S6, VSR2 and VSR4) of the initial generation of interferometric gravitational wave detectors LIGO (Laser Interferometric Gravitational-wave Observatory) and Virgo. We do not see evidence for gravitational wave emission from any of the targeted sources but produce upper limits on the emission amplitude. We highlight the results from seven young pulsars with large spin-down luminosities. We reach within a factor of five of the canonical spin-down limit for all seven of these, whilst for the Crab and Vela pulsars we further surpass their spin-down limits. We present new or updated limits for 172 other pulsars (including both young and millisecond pulsars). Now that the detectors are undergoing major upgrades, and, for completeness, we bring together all of the most up-to-date results from all pulsars searched for during the operations of the first-generation LIGO, Virgo and GEO600 detectors. This gives a total of 195 pulsars including the most recent results described in this paper.United States National Science FoundationScience and Technology Facilities Council of the United KingdomMax-Planck-SocietyState of Niedersachsen/GermanyAustralian Research CouncilInternational Science Linkages program of the Commonwealth of AustraliaCouncil of Scientific and Industrial Research of IndiaIstituto Nazionale di Fisica Nucleare of ItalySpanish Ministerio de Economia y CompetitividadConselleria d'Economia Hisenda i Innovacio of the Govern de les Illes BalearsNetherlands Organisation for Scientific ResearchPolish Ministry of Science and Higher EducationFOCUS Programme of Foundation for Polish ScienceRoyal SocietyScottish Funding CouncilScottish Universities Physics AllianceNational Aeronautics and Space AdministrationOTKA of HungaryLyon Institute of Origins (LIO)National Research Foundation of KoreaIndustry CanadaProvince of Ontario through the Ministry of Economic Development and InnovationNational Science and Engineering Research Council CanadaCarnegie TrustLeverhulme TrustDavid and Lucile Packard FoundationResearch CorporationAlfred P. Sloan FoundationAstronom
Swift follow-up observations of candidate gravitational-wave transient events
We present the first multi-wavelength follow-up observations of two candidate
gravitational-wave (GW) transient events recorded by LIGO and Virgo in their
2009-2010 science run. The events were selected with low latency by the network
of GW detectors and their candidate sky locations were observed by the Swift
observatory. Image transient detection was used to analyze the collected
electromagnetic data, which were found to be consistent with background.
Off-line analysis of the GW data alone has also established that the selected
GW events show no evidence of an astrophysical origin; one of them is
consistent with background and the other one was a test, part of a "blind
injection challenge". With this work we demonstrate the feasibility of rapid
follow-ups of GW transients and establish the sensitivity improvement joint
electromagnetic and GW observations could bring. This is a first step toward an
electromagnetic follow-up program in the regime of routine detections with the
advanced GW instruments expected within this decade. In that regime
multi-wavelength observations will play a significant role in completing the
astrophysical identification of GW sources. We present the methods and results
from this first combined analysis and discuss its implications in terms of
sensitivity for the present and future instruments.Comment: Submitted for publication 2012 May 25, accepted 2012 October 25,
published 2012 November 21, in ApJS, 203, 28 (
http://stacks.iop.org/0067-0049/203/28 ); 14 pages, 3 figures, 6 tables;
LIGO-P1100038; Science summary at
http://www.ligo.org/science/Publication-S6LVSwift/index.php ; Public access
area to figures, tables at
https://dcc.ligo.org/cgi-bin/DocDB/ShowDocument?docid=p110003
A First Search for coincident Gravitational Waves and High Energy Neutrinos using LIGO, Virgo and ANTARES data from 2007
We present the results of the first search for gravitational wave bursts
associated with high energy neutrinos. Together, these messengers could reveal
new, hidden sources that are not observed by conventional photon astronomy,
particularly at high energy. Our search uses neutrinos detected by the
underwater neutrino telescope ANTARES in its 5 line configuration during the
period January - September 2007, which coincided with the fifth and first
science runs of LIGO and Virgo, respectively. The LIGO-Virgo data were analysed
for candidate gravitational-wave signals coincident in time and direction with
the neutrino events. No significant coincident events were observed. We place
limits on the density of joint high energy neutrino - gravitational wave
emission events in the local universe, and compare them with densities of
merger and core-collapse events.Comment: 19 pages, 8 figures, science summary page at
http://www.ligo.org/science/Publication-S5LV_ANTARES/index.php. Public access
area to figures, tables at
https://dcc.ligo.org/cgi-bin/DocDB/ShowDocument?docid=p120000
Search for gravitational waves associated with the InterPlanetary Network short gamma ray bursts
We outline the scientific motivation behind a search for gravitational waves
associated with short gamma ray bursts detected by the InterPlanetary Network
(IPN) during LIGO's fifth science run and Virgo's first science run. The IPN
localisation of short gamma ray bursts is limited to extended error boxes of
different shapes and sizes and a search on these error boxes poses a series of
challenges for data analysis. We will discuss these challenges and outline the
methods to optimise the search over these error boxes.Comment: Methods paper; Proceedings for Eduardo Amaldi 9 Conference on
Gravitational Waves, July 2011, Cardiff, U
Search for the Higgs boson in events with missing transverse energy and b quark jets produced in proton-antiproton collisions at s**(1/2)=1.96 TeV
We search for the standard model Higgs boson produced in association with an
electroweak vector boson in events with no identified charged leptons, large
imbalance in transverse momentum, and two jets where at least one contains a
secondary vertex consistent with the decay of b hadrons. We use ~1 fb-1
integrated luminosity of proton-antiproton collisions at s**(1/2)=1.96 TeV
recorded by the CDF II experiment at the Tevatron. We find 268 (16) single
(double) b-tagged candidate events, where 248 +/- 43 (14.4 +/- 2.7) are
expected from standard model background processes. We place 95% confidence
level upper limits on the Higgs boson production cross section for several
Higgs boson masses ranging from 110 GeV/c2 to 140 GeV/c2. For a mass of 115
GeV/c2 the observed (expected) limit is 20.4 (14.2) times the standard model
prediction.Comment: 8 pages, 2 figures, submitted to Phys. Rev. Let
Search for Gravitational Waves from Low Mass Compact Binary Coalescence in LIGO's Sixth Science Run and Virgo's Science Runs 2 and 3
We report on a search for gravitational waves from coalescing compact
binaries using LIGO and Virgo observations between July 7, 2009 and October 20,
2010. We searched for signals from binaries with total mass between 2 and 25
solar masses; this includes binary neutron stars, binary black holes, and
binaries consisting of a black hole and neutron star. The detectors were
sensitive to systems up to 40 Mpc distant for binary neutron stars, and further
for higher mass systems. No gravitational-wave signals were detected. We report
upper limits on the rate of compact binary coalescence as a function of total
mass, including the results from previous LIGO and Virgo observations. The
cumulative 90%-confidence rate upper limits of the binary coalescence of binary
neutron star, neutron star- black hole and binary black hole systems are 1.3 x
10^{-4}, 3.1 x 10^{-5} and 6.4 x 10^{-6} Mpc^{-3}yr^{-1}, respectively. These
upper limits are up to a factor 1.4 lower than previously derived limits. We
also report on results from a blind injection challenge.Comment: 11 pages, 5 figures. For a repository of data used in the
publication, go to:
. Also see the
announcement for this paper on ligo.org at:
<http://www.ligo.org/science/Publication-S6CBCLowMass/index.php
Polarizations of J/psi and psi(2S) Mesons Produced in ppbar Collisions at 1.96 TeV
We have measured the polarizations of \jpsi and \psiprime mesons as
functions of their transverse momentum \pt when they are produced promptly in
the rapidity range with \pt \geq 5 \pgev. The analysis is performed
using a data sample with an integrated luminosity of about 800 \ipb collected
by the CDF II detector. For both vector mesons, we find that the polarizations
become increasingly longitudinal as \pt increases from 5 to 30 \pgev. These
results are compared to the predictions of nonrelativistic quantum
chromodynamics and other contemporary models. The effective polarizations of
\jpsi and \psiprime mesons from -hadron decays are also reported.Comment: 8 pages, 7 figures, published in Physical Review Letter
Implementation and testing of the first prompt search for gravitational wave transients with electromagnetic counterparts
Aims. A transient astrophysical event observed in both gravitational wave
(GW) and electromagnetic (EM) channels would yield rich scientific rewards. A
first program initiating EM follow-ups to possible transient GW events has been
developed and exercised by the LIGO and Virgo community in association with
several partners. In this paper, we describe and evaluate the methods used to
promptly identify and localize GW event candidates and to request images of
targeted sky locations.
Methods. During two observing periods (Dec 17 2009 to Jan 8 2010 and Sep 2 to
Oct 20 2010), a low-latency analysis pipeline was used to identify GW event
candidates and to reconstruct maps of possible sky locations. A catalog of
nearby galaxies and Milky Way globular clusters was used to select the most
promising sky positions to be imaged, and this directional information was
delivered to EM observatories with time lags of about thirty minutes. A Monte
Carlo simulation has been used to evaluate the low-latency GW pipeline's
ability to reconstruct source positions correctly.
Results. For signals near the detection threshold, our low-latency algorithms
often localized simulated GW burst signals to tens of square degrees, while
neutron star/neutron star inspirals and neutron star/black hole inspirals were
localized to a few hundred square degrees. Localization precision improves for
moderately stronger signals. The correct sky location of signals well above
threshold and originating from nearby galaxies may be observed with ~50% or
better probability with a few pointings of wide-field telescopes.Comment: 17 pages. This version (v2) includes two tables and 1 section not
included in v1. Accepted for publication in Astronomy & Astrophysic
Searches for Direct Pair Production of Supersymmetric Top and Supersymmetric Bottom Quarks in p-pbar Collisions at sqrt(s)=1.96 TeV
We search for direct pair production of supersymmetric top quarks and
supersymmetric bottom quarks in proton-antiproton collisions at sqrt(s)=1.96
TeV, using 295 pb^-1 of data recorded by the Collider Detector at Fermilab (CDF
II) experiment. The supersymmetric top (supersymmetric bottom) quarks are
selected by reconstructing their decay into a charm (bottom) quark and a
neutralino, which is assumed to be the lightest supersymmetric particle. The
signature of such processes is two energetic heavy-flavor jets and missing
transverse energy. The number of events that pass our selection for each search
process is consistent with the expected standard model background. By comparing
our results to the theoretical production cross sections of the supersymmetric
top and supersymmetric bottom quarks in the minimal supersymmetric standard
model, we exclude, at a 95% confidence level in the frame of that model, a
supersymmetric top quark mass up to 132 GeV/c^2 for a neutralino mass of 48
GeV/c^2, and a supersymmetric bottom quark mass up to 193 GeV/c^2 for a
neutralino mass of 40 GeV/c^2.Comment: 12 pages, 5 figures, submitted to Phys. Rev.
- …