2,592 research outputs found
Theoretical insights into the RR Lyrae K-band Period-Luminosity relation
Based on updated nonlinear, convective pulsation models computed for several
values of stellar mass, luminosity and metallicity, theoretical constraints on
the K-band Period-Luminosity (PLK) relation of RR Lyrae stars are presented. We
show that for each given metal content the predicted PLK is marginally
dependent on uncertainties of the stellar mass and/or luminosity. Then, by
considering the RR Lyrae masses suggested by evolutionary computations for the
various metallicities, we obtain that the predicted infrared magnitude M_K over
the range 0.0001< Z <0.02 is given by the relation
MK=0.568-2.071logP+0.087logZ-0.778logL/Lo, with a rms scatter of 0.032 mag.
Therefore, by allowing the luminosities of RR Lyrae stars to vary within the
range covered by current evolutionary predictions for metal-deficient (0.0001<
Z <0.006) horizontal branch models, we eventually find that the infrared
Period-Luminosity- Metallicity (PLZK) relation is
MK=0.139-2.071(logP+0.30)+0.167logZ, with a total intrinsic dispersion of 0.037
mag. As a consequence, the use of such a PLZK relation should constrain within
+-0.04 mag the infrared distance modulus of field and cluster RR Lyrae
variables, provided that accurate observations and reliable estimates of the
metal content are available. Moreover, we show that the combination of K and V
measurements can supply independent information on the average luminosity of RR
Lyrae stars, thus yielding tight constraints on the input physics of stellar
evolution computations. Finally, for globular clusters with a sizable sample of
first overtone variables, the reddening can be estimated by using the PLZK
relation together with the predicted MV-logP relation at the blue edge of the
instability strip (Caputo et al. 2000).Comment: 8 pages, including 5 postscript figures, accepted for publication on
MNRA
Improvement of the CORS method for Cepheids radii determination based on Stromgren photometry
In this paper we present a modified version of the CORS method based on a new
calibration of the Surface Brightness function in the Stromgren photometric
system. The method has been tested by means of synthetic light and radial
velocity curves derived from nonlinear pulsation models. Detailed simulations
have been performed to take into account the quality of real observed curves as
well as possible shifts between photometric and radial velocity data. The
method has been then applied to a sample of Galactic Cepheids with Stromgren
photometry and radial velocity data to derive the radii and a new PR relation.
As a result we find log R = (1.19 +- 0.09) + (0.74 +- 0.11) log P (r.m.s=0.07).
The comparison between our result and previous estimates in the literature is
satisfactory. Better results are expected from the adoption of improved model
atmosphere grids.Comment: 13 pages including 12 postscript figures and 3 jpeg figures; accepted
for publication on A&
The RR Lyrae U Com as a test for nonlinear pulsation models
We use high precision multiband photometric data of the first overtone RRLyrae U Com to investigate the predictive capability of full amplitude,nonlinear, convective hydrodynamical models. The main outcome of thisinvestigation is that theoretical predictions properly account for theluminosity variations along a full pulsation cycle. Moreover, we find that thisapproach, due to the strong dependence of this observable and of the pulsationperiod on stellar parameters, supply tight constraints on stellar mass,effective temperature, and distance modulus. Pulsational estimates of theseparameters appear in good agreement with empirical ones. Finally, theoccurrence of a well-defined bump just before the luminosity maximum gave theunique opportunity to calibrate the turbulent convection model adopted forhandling the coupling between pulsation and convection
A Typed Lambda Calculus with Intersection Types
AbstractIntersection types are well known to type theorists mainly for two reasons. Firstly, they type all and only the strongly normalizable lambda terms. Secondly, the intersection type operator is a meta-level operator, that is, there is no direct logical counterpart in the Curry–Howard isomorphism sense. In particular, its meta-level nature implies that it does not correspond to the intuitionistic conjunction.The intersection type system is naturally a type inference system (system à la Curry), but the meta-level nature of the intersection operator does not allow to easily design an equivalent typed system (system à la Church). There are many proposals in the literature to design such systems, but none of them gives an entirely satisfactory answer to the problem. In this paper, we will review the main results in the literature both on the logical interpretation of intersection types and on proposed typed lambda calculi.The core of this paper is a new proposal for a true intersection typed lambda calculus, without any meta-level notion. Namely, any typable term (in the intersection type inference) has a corresponding typed term (which is the same as the untyped term by erasing the type decorations and the typed term constructors) with the same type, and vice versa.The main idea is to introduce a relevant parallel term constructor which corresponds to the intersection type constructor, in such a way that terms in parallel share the same resources, that is, the same context of free typed variables. Three rules allow us to generate all typed terms. The first two rules, Application and Lambda-abstraction, are performed on all the components of a parallel term in a synchronized way. Finally, via the third rule of Local Renaming, once a free typed variable is bounded by lambda-abstraction, each of the terms in parallel can do its local renaming, with type refinement, of that particular resource
The Age Dependent Luminosities of the Red Giant Branch Bump, Asymptotic Giant Branch Bump, and Horizontal Branch Red Clump
Color-magnitude diagrams of globular clusters often exhibit a prominent
horizontal branch (HB) and may also show features such as the red giant branch
(RGB) bump and the asymptotic giant branch (AGB) bump. Stellar evolution theory
predicts that the luminosities of these features will depend on the metallicity
and age of the cluster. We calculate theoretical lines of 2 to 12 Gyr constant
age RGB-bumps and AGB-bumps in the V(HB-Bump)--[Fe/H] diagram, which shows the
brightness difference between the bump and the HB as a function of metallicity.
In order to test the predictions, we identify giant branch bumps in new Hubble
Space Telescope color-magnitude diagrams for 8 SMC clusters. First, we conclude
that the SMC cluster bumps are RGB-bumps. The data for clusters younger than ~6
Gyr are in fair agreement the relative age dependent luminosities of the HB and
RGB-bump. The V(HB-Bump)--[Fe/H] data for clusters older then ~6 Gyr
demonstrate a less satisfactory agreement with our calculations. We conclude
that ~6 Gyr is a lower bound to the age of clusters for which the Galactic
globular cluster, age independent V(HB-Bump)--[Fe/H] calibration is valid.
Application of the V(HB-bump)--[Fe/H] diagram to stellar population studies is
discussed.Comment: Accepted for publication in the Astrophysical Journal, 30 pages,
Latex aaspp4.sty, including 7 postscript figure
On a new theoretical framework for RR Lyrae stars I: the metallicity dependence
We present new nonlinear, time-dependent convective hydrodynamical models of
RR Lyrae stars computed assuming a constant helium-to-metal enrichment ratio
and a broad range in metal abundances (Z=0.0001--0.02). The stellar masses and
luminosities adopted to construct the pulsation models were fixed according to
detailed central He burning Horizontal Branch evolutionary models. The
pulsation models cover a broad range in stellar luminosity and effective
temperatures and the modal stability is investigated for both fundamental and
first overtones. We predict the topology of the instability strip as a function
of the metal content and new analytical relations for the edges of the
instability strip in the observational plane. Moreover, a new analytical
relation to constrain the pulsation mass of double pulsators as a function of
the period ratio and the metal content is provided. We derive new
Period-Radius-Metallicity relations for fundamental and first-overtone
pulsators. They agree quite well with similar empirical and theoretical
relations in the literature. From the predicted bolometric light curves,
transformed into optical (UBVRI) and near-infrared (JHK) bands, we compute the
intensity-averaged mean magnitudes along the entire pulsation cycle and, in
turn, new and homogenous metal-dependent (RIJHK) Period-Luminosity relations.
Moreover, we compute new dual and triple band optical, optical--NIR and NIR
Period-Wesenheit-Metallicity relations. Interestingly, we find that the optical
Period-W(V,B-V) is independent of the metal content and that the accuracy of
individual distances is a balance between the adopted diagnostics and the
precision of photometric and spectroscopic datasets.Comment: 51 pages, 20 figures, 9 tables, accepted for publication on Ap
- …