Computing Quantiles in Markov Reward Models

Probabilistic model checking mainly concentrates on techniques for reasoning about the probabilities of certain path properties or expected values of certain random variables. For the quantitative system analysis, however, there is also another type of interesting performance measure, namely quantiles. A typical quantile query takes as input a lower probability bound p and a reachability property. The task is then to compute the minimal reward bound r such that with probability at least p the target set will be reached before the accumulated reward exceeds r. Quantiles are well-known from mathematical statistics, but to the best of our knowledge they have not been addressed by the model checking community so far. In this paper, we study the complexity of quantile queries for until properties in discrete-time finite-state Markov decision processes with non-negative rewards on states. We show that qualitative quantile queries can be evaluated in polynomial time and present an exponential algorithm for the evaluation of quantitative quantile queries. For the special case of Markov chains, we show that quantitative quantile queries can be evaluated in time polynomial in the size of the chain and the maximum reward.Comment: 17 pages, 1 figure; typo in example correcte

A Multi-Membership Catalogue for 1876 Open Clusters using UCAC4 data

The main objective of this work is to determine the cluster members of 1876 open clusters, using positions and proper motions of the astrometric catalogue UCAC4. For this purpose we apply three different methods, all them based on a Bayesian approach, but with different formulations: a purely parametric method, another completely non-parametric algorithm, and a third, recently developed by Sampedro & Alfaro, using both formulations at different steps of the whole process. The first and second statistical moments of the members phase-space subspace, obtained after applying the three methods, are compared for every cluster. Although, on average, the three methods yield similar results, specific differences between them, as well as for some particular clusters, are also present. The comparison with other published catalogues shows good agreement. We have also estimated for the first time the mean proper motion for a sample of 18 clusters. The results are organized in a single catalogue formed by two main files, one with the most relevant information for each cluster, partially including that in UCAC4, and the other showing the individual membership probabilities for each star in the cluster area. The final catalogue, with an interface design that enables an easy interaction with the user, is available in electronic format at SSG-IAA (http://ssg.iaa.es/en/content/sampedro-cluster-catalog) website.Comment: Accepted for publication in MNRAS. 9 pages, 3 figures, 6 table

Multiwavelength analysis of the young open cluster NGC 2362

We present a multiwavelength analysis of the young open cluster NGC 2362. UBVRcIc CCD photometric observations, together with available data in the Chandra data base, near infrared data from the Two Micron All Sky Survey (2MASS), and recently published Halpha spectroscopy were used to get information about the evolutionary stage of the cluster and the main physical properties of its stellar content. Cluster membership is estimated for every individual star by means of ZAMS and isochrone fitting. The cluster is confirmed to host a richly populated pre-main sequence (PMS), and to contain a large amount of X-ray emitting stars, which reach from the PMS members of GK spectral type, up to the most luminous OB type main sequence (MS) members. The PMS cluster members show no significant age spread, and the comparison to both PMS and post-MS isochrones suggests a younger age for the more massive MS than for lower mass PMS members. The analysis allows to asses the validity of currently used pre-main sequence evolutionary models, and supports the suggestion of a well defined positive correlation of the X-ray emission from PMS stars with their bolometric luminosity. Clear differences are found on the other hand, between the X-ray activity properties of MS and PMS cluster members, both in the relation between X-ray luminosity and bolometric luminosity, and in spectral properties as well.Comment: 1 gzipped file: 1 tex file with 9 pages text. 5 ps files with figures. Submitted to Astrophysical Journa

BV formulation of higher form gauge theories in a superspace

We discuss the extended BRST and anti-BRST symmetry (including shift symmetry) in the Batalin-Vilkovisky (BV) formulation for two and three form gauge theories. Further we develop the superspace formulation for the BV actions for these theories. We show that the extended BRST invariant BV action for these theories can be written manifestly covariant manner in a superspace with one Grassmann coordinate. On the hand a superspace with two Grassmann coordinates are required for a manifestly covariant formulation of the extended BRST and extended anti-BRST invariant BV actions for higher form gauge theories.Comment: 30 pages, No figure, version to appear in EPJ