18,849 research outputs found
Satisfiability of CTL* with constraints
We show that satisfiability for CTL* with equality-, order-, and
modulo-constraints over Z is decidable. Previously, decidability was only known
for certain fragments of CTL*, e.g., the existential and positive fragments and
EF.Comment: To appear at Concur 201
On finite volume effects in the chiral extrapolation of baryon masses
We perform an analysis of the QCD lattice data on the baryon octet and
decuplet masses based on the relativistic chiral Lagrangian. The baryon self
energies are computed in a finite volume at next-to-next-to-next-to leading
order (NLO), where the dependence on the physical meson and baryon masses
is kept. The number of free parameters is reduced significantly down to 12 by
relying on large- sum rules. Altogether we describe accurately more than
220 data points from six different lattice groups, BMW, PACS-CS, HSC, LHPC,
QCDSF-UKQCD and NPLQCD. Values for all counter terms relevant at NLO are
predicted. In particular we extract a pion-nucleon sigma term of 39
MeV and a strangeness sigma term of the nucleon of MeV. The flavour SU(3) chiral limit of the baryon octet and
decuplet masses is determined with MeV and MeV.
Detailed predictions for the baryon masses as currently evaluated by the ETM
lattice QCD group are made.Comment: 44 pages, 10 figures and 6 tables - the revised manuscript contains
the results of additional fits at the N^2LO level - 4 additional figures show
the size of finite volume corrections for each lattice point - more technical
details on the evaluation of finite volume effects are give
The Einstein relation generalized to non-equilibrium
The Einstein relation connecting the diffusion constant and the mobility is
violated beyond the linear response regime. For a colloidal particle driven
along a periodic potential imposed by laser traps, we test the recent
theoretical generalization of the Einstein relation to the non-equilibrium
regime which involves an integral over measurable velocity correlation
functions
Stochastic pump of interacting particles
We consider the overdamped motion of Brownian particles, interacting via
particle exclusion, in an external potential that varies with time and space.
We show that periodic potentials that maintain specific position-dependent
phase relations generate time-averaged directed current of particles. We obtain
analytic results for a lattice version of the model using a recently developed
perturbative approach. Many interesting features like particle-hole symmetry,
current reversal with changing density, and system-size dependence of current
are obtained. We propose possible experiments to test our predictions.Comment: 4 pages, 2 figure
A controlled experiment for the empirical evaluation of safety analysis techniques for safety-critical software
Context: Today's safety critical systems are increasingly reliant on
software. Software becomes responsible for most of the critical functions of
systems. Many different safety analysis techniques have been developed to
identify hazards of systems. FTA and FMEA are most commonly used by safety
analysts. Recently, STPA has been proposed with the goal to better cope with
complex systems including software. Objective: This research aimed at comparing
quantitatively these three safety analysis techniques with regard to their
effectiveness, applicability, understandability, ease of use and efficiency in
identifying software safety requirements at the system level. Method: We
conducted a controlled experiment with 21 master and bachelor students applying
these three techniques to three safety-critical systems: train door control,
anti-lock braking and traffic collision and avoidance. Results: The results
showed that there is no statistically significant difference between these
techniques in terms of applicability, understandability and ease of use, but a
significant difference in terms of effectiveness and efficiency is obtained.
Conclusion: We conclude that STPA seems to be an effective method to identify
software safety requirements at the system level. In particular, STPA addresses
more different software safety requirements than the traditional techniques FTA
and FMEA, but STPA needs more time to carry out by safety analysts with little
or no prior experience.Comment: 10 pages, 1 figure in Proceedings of the 19th International
Conference on Evaluation and Assessment in Software Engineering (EASE '15).
ACM, 201
Locating Star-Forming Regions in Quasar Host Galaxies
We present a study of the morphology and intensity of star formation in the
host galaxies of eight Palomar-Green quasars using observations with the Hubble
Space Telescope. Our observations are motivated by recent evidence for a close
relationship between black hole growth and the stellar mass evolution in its
host galaxy. We use narrow-band [O II] 3727, H, [O III]
5007 and Pa images, taken with the WFPC2 and NICMOS
instruments, to map the morphology of line-emitting regions, and, after
extinction corrections, diagnose the excitation mechanism and infer
star-formation rates. Significant challenges in this type of work are the
separation of the quasar light from the stellar continuum and the
quasar-excited gas from the star-forming regions. To this end, we present a
novel technique for image decomposition and subtraction of quasar light. Our
primary result is the detection of extended line-emitting regions with sizes
ranging from 0.5 to 5 kpc and distributed symmetrically around the nucleus,
powered primarily by star formation. We determine star-formation rates of order
a few tens of M/yr. The host galaxies of our target quasars have
stellar masses of order M and specific star formation rates
on a par with those of M82 and luminous infrared galaxies. As such they fall at
the upper envelope or just above the star-formation mass sequence in the
specific star formation vs stellar mass diagram. We see a clear trend of
increasing star formation rate with quasar luminosity, reinforcing the link
between the growth of the stellar mass of the host and the black hole mass
found by other authors.Comment: Accepted for publication in M.N.R.A.
Hubble Space Telescope H-Band Imaging Survey of Massive Gas-Rich Mergers
We report the results from a deep HST NICMOS H-band imaging survey of a
carefully selected sample of 33 luminous, late-stage galactic mergers at z <
0.3. Signs of a recent galactic interaction are seen in all of the objects in
the HST sample, including all 7 IR-excess Palomar-Green (PG) QSOs in the
sample. Unsuspected double nuclei are detected in 5 ULIRGs. A detailed
two-dimensional analysis of the surface brightness distributions in these
objects indicates that the great majority (81%) of the single-nucleus systems
show a prominent early-type morphology. However, low-surface-brightness
exponential disks are detected on large scale in at least 4 of these sources.
The hosts of 'warm' AGN-like systems are of early type and have less pronounced
merger-induced morphological anomalies than the hosts of cool systems with
LINER or HII region-like nuclear optical spectral types. The host sizes and
luminosities of the 7 PG~QSOs in our sample are statistically indistinguishable
from those of the ULIRG hosts. In comparison, highly luminous quasars, such as
those studied by Dunlop et al. (2003), have hosts which are larger and more
luminous. The hosts of ULIRGs and PG QSOs lie close to the locations of
intermediate-size (about 1 -- 2 L*) spheroids in the photometric projection of
the fundamental plane of ellipticals, although there is a tendency in our
sample for the ULIRGs with small hosts to be brighter than normal spheroids.
Excess emission from a young stellar population in the ULIRG/QSO hosts may be
at the origin of this difference. Our results provide support for a possible
merger-driven evolutionary connection between cool ULIRGs, warm ULIRGs, and
PG~QSOs although this sequence may break down at low luminosity. (abridged)Comment: Paper to be published in the Astrophysical Journal; revised based on
comments from referee. A PDF file combining both text and figures is
available at http://www.astro.umd.edu/~veilleux/pubs/nicmos.pd
Electromagnetic transitions in an effective chiral Lagrangian with the eta-prime and light vector mesons
We consider the chiral Lagrangian with a nonet of Goldstone bosons and a
nonet of light vector mesons. The mixing between the pseudoscalar mesons eta
and eta-prime is taken into account. A novel counting scheme is suggested that
is based on hadrogenesis, which conjectures a mass gap in the meson spectrum of
QCD in the limit of a large number of colors. Such a mass gap would justify to
consider the vector mesons and the eta-prime meson as light degrees of freedom.
The complete leading order Lagrangian is constructed and discussed. As a first
application it is tested against electromagnetic transitions of light vector
mesons to pseudoscalar mesons. Our parameters are determined by the
experimental data on photon decays of the omega, phi and eta-prime meson. In
terms of such parameters we predict the corresponding decays into virtual
photons with either dielectrons or dimuons in the final state.Comment: 17 pages, extended discussion on mixin
Interferometric Observations of the Nuclear Region of Arp220 at Submillimeter Wavelengths
We report the first submillimeter interferometric observations of an
ultraluminous infrared galaxy. We observed Arp220 in the CO J=3-2 line and
342GHz continuum with the single baseline CSO-JCMT interferometer consisting of
the Caltech Submillimeter Observatory (CSO) and the James Clerk Maxwell
Telescope (JCMT). Models were fit to the measured visibilities to constrain the
structure of the source. The morphologies of the CO J=3-2 line and 342GHz
continuum emission are similar to those seen in published maps at 230 and
110GHz. We clearly detect a binary source separated by about 1 arcsec in the
east-west direction in the 342GHz continuum. The CO J=3-2 visibility
amplitudes, however, indicate a more complicated structure, with evidence for a
compact binary at some velocities and rather more extended structure at others.
Less than 30% of the total CO J=3-2 emission is detected by the interferometer,
which implies the presence of significant quantities of extended gas. We also
obtained single-dish CO J=2-1, CO J=3-2 and HCN J=4-3 spectra. The HCN J=4-3
spectrum, unlike the CO spectra, is dominated by a single redshifted peak. The
HCN J=4-3/CO J=3-2, HCN J=4-3/HCN J=1-0 and CO J=3-2/2-1 line ratios are larger
in the redshifted (eastern) source, which suggests that the two sources may
have different physical conditions. This result might be explained by the
presence of an intense starburst that has begun to deplete or disperse the
densest gas in the western source, while the eastern source harbors undispersed
high density gas.Comment: 17 pages, 9 figures, 4 Tables. accepted by Ap
Constructive Dimension and Turing Degrees
This paper examines the constructive Hausdorff and packing dimensions of
Turing degrees. The main result is that every infinite sequence S with
constructive Hausdorff dimension dim_H(S) and constructive packing dimension
dim_P(S) is Turing equivalent to a sequence R with dim_H(R) <= (dim_H(S) /
dim_P(S)) - epsilon, for arbitrary epsilon > 0. Furthermore, if dim_P(S) > 0,
then dim_P(R) >= 1 - epsilon. The reduction thus serves as a *randomness
extractor* that increases the algorithmic randomness of S, as measured by
constructive dimension.
A number of applications of this result shed new light on the constructive
dimensions of Turing degrees. A lower bound of dim_H(S) / dim_P(S) is shown to
hold for the Turing degree of any sequence S. A new proof is given of a
previously-known zero-one law for the constructive packing dimension of Turing
degrees. It is also shown that, for any regular sequence S (that is, dim_H(S) =
dim_P(S)) such that dim_H(S) > 0, the Turing degree of S has constructive
Hausdorff and packing dimension equal to 1.
Finally, it is shown that no single Turing reduction can be a universal
constructive Hausdorff dimension extractor, and that bounded Turing reductions
cannot extract constructive Hausdorff dimension. We also exhibit sequences on
which weak truth-table and bounded Turing reductions differ in their ability to
extract dimension.Comment: The version of this paper appearing in Theory of Computing Systems,
45(4):740-755, 2009, had an error in the proof of Theorem 2.4, due to
insufficient care with the choice of delta. This version modifies that proof
to fix the error
- …