Well structured program equivalence is highly undecidable

We show that strict deterministic propositional dynamic logic with intersection is highly undecidable, solving a problem in the Stanford Encyclopedia of Philosophy. In fact we show something quite a bit stronger. We introduce the construction of program equivalence, which returns the value $\mathsf{T}$ precisely when two given programs are equivalent on halting computations. We show that virtually any variant of propositional dynamic logic has $\Pi_1^1$-hard validity problem if it can express even just the equivalence of well-structured programs with the empty program \texttt{skip}. We also show, in these cases, that the set of propositional statements valid over finite models is not recursively enumerable, so there is not even an axiomatisation for finitely valid propositions.Comment: 8 page

A Topological Study of Contextuality and Modality in Quantum Mechanics

Kochen-Specker theorem rules out the non-contextual assignment of values to physical magnitudes. Here we enrich the usual orthomodular structure of quantum mechanical propositions with modal operators. This enlargement allows to refer consistently to actual and possible properties of the system. By means of a topological argument, more precisely in terms of the existence of sections of sheaves, we give an extended version of Kochen-Specker theorem over this new structure. This allows us to prove that contextuality remains a central feature even in the enriched propositional system.Comment: 10 pages, no figures, submitted to I. J. Th. Phy

Antibody responses to nasopharyngeal carriage of Streptococcus pneumoniae in adults: A longitudinal household study

Background. Natural immunity to Streptococcus pneumoniae is thought to be induced by exposure to S. pneumoniae or cross-reactive antigens. No longitudinal studies of carriage of and immune responses to S. pneumoniae have been conducted using sophisticated immunological laboratory techniques.Methods. We enrolled 121 families with young children into this study. Nasopharyngeal (NP) swabs were collected monthly for 10 months from all family members and were cultured in a standard fashion. Cultured S. pneumoniae isolates were serotyped. At the beginning (month 0) and end (month 10) of the study, venous blood was collected from family members 118 years old. Serotype-specific antipolysaccharide immunoglobulin G (IgG) and functional antibody and antibodies to pneumolysin, pneumococcal surface protein A (PspA), and pneumococcal surface antigen A (PsaA) were measured in paired serum samples.Results. Levels of anticapsular IgG increased significantly after carriage of serotypes 9V, 14, 18C, 19F, and 23F by an individual or family member. For serotype 14, a higher level of anticapsular IgG at the beginning of the study was associated with reduced odds of carriage (P = .0006). There was a small (similar to 20%) but significant increase in titers of antibodies to PsaA and pneumolysin but no change in titers of antibody to PspA.Conclusions. Adults respond to NP carriage by mounting anticapsular and weak antiprotein antibody responses, and naturally induced anticapsular IgG can prevent carriage

Effect of Maternally Derived Anti-protein and Anticapsular IgG Antibodies on the Rate of Acquisition of Nasopharyngeal Carriage of Pneumococcus in Newborns

BACKGROUND: In developing countries, introduction of pneumococcal conjugate vaccine has not eliminated circulation of vaccine serotypes. Vaccinating pregnant mothers to increase antibody concentrations in their newborn infants may reduce the acquisition of pneumococcal carriage and subsequent risk of disease. We explored the efficacy of passive immunity, attributable to anti-protein and anticapsular pneumococcal antibodies, against acquisition of carriage. METHODS: We examined the rate of nasopharyngeal acquisition of pneumococci in the first 90 days of life associated with varying anticapsular and anti-protein antibody concentrations in infant cord/maternal venous blood in Kilifi, Kenya. We used multivariable Cox proportional hazard models to estimate continuous functions relating acquisition of nasopharyngeal carriage to the concentration of maternally derived antibody. RESULTS: Cord blood or maternal venous samples were collected from 976 mother-infant pairs. Pneumococci were acquired 561 times during 33,905 person-days of follow-up. Increasing concentrations of anti-protein antibodies were associated with either a reduction (PhtD1, PspAFam2, Spr0096, StkP) or, paradoxically, an increase (CbpA, LytC, PcpA, PiaA, PspAFam1, RrgBT4) in acquisition rate. We observed a nonsignificant reduction in the incidence of homologous carriage acquisition with high concentrations of maternally derived anticapsular antibodies to 5 serotypes (6A, 6B, 14, 19F, and 23F). CONCLUSION: The protective efficacy of several anti-protein antibodies supports the strategy of maternal vaccination to protect young infants from carriage and invasive disease. We were not able to demonstrate that passive anticapsular antibodies were protective against carriage acquisition at naturally occurring concentrations though it remains possible they may do so at the higher concentrations elicited by vaccination

Serological response to 13-valent pneumococcal conjugate vaccine in children and adolescents with perinatally acquired HIV infection

BACKGROUND: Children with perinatally acquired HIV (paHIV) remain at an increased risk of pneumococcal infection despite highly active antiretroviral therapy (HAART). Beyond infancy, responses to pneumococcal conjugate vaccine (PCV) remain under-investigated. There are currently no published data on serological response to 13-valent PCV (PCV13) in the HIV-infected populations. METHODS: We measured pneumococcal serotype-specific IgG in 48 paHIV-infected child patients (CP), 27 young adult healthy controls (AHC) and 30 child healthy controls (CHC). Opsonophagocytic assay (OPA) titres for three PCV13-exclusive serotypes were measured in a subset of children. Serotype-specific IgG was repeated 1 and 6 months following PCV13 vaccination of CP and AHC groups. OPA titres for four serotypes were measured at the 1-month time-point. RESULTS: The majority of CP, CHC and AHC had serotype-specific IgG above 0.35 μg/ml at baseline, although OPA activity was undetectable for two of the three serotypes studied. Baseline IgG concentrations were significantly lower in CP than AHC for a proportion of serotypes and were strongly predictive of responses to vaccine. After adjusting for baseline, postvaccination IgG concentrations were comparable, although responses to some serotypes were impaired for CP. OPA correlated well with IgG after vaccination. Detectable HIV viral load was associated with significantly lower IgG concentration and OPA titre. CONCLUSION: Children with paHIV mount a robust serological response to PCV13 for most but not all vaccine serotypes. Viral load suppression with HAART and higher baseline IgG concentration are associated with higher postvaccination antibody levels. This has implications for HAART treatment and vaccination practices

The influence of paediatric HIV infection on circulating B cell subsets and CXCR5+ T helper cells

Antiretroviral therapy (ART) only partially restores HIV-induced alterations in lymphocyte populations. We assessed B and T cell phenotypes in a cohort of children from a single centre in the United Kingdom with perinatally acquired HIV compared to healthy controls. The majority of HIV infected children (44 of 56) were on fully suppressive combination ART. Children with perinatally acquired HIV had significantly lower memory B and CD4(+) CD45RO(+) CXCR5(+) [follicular T helper cell (Tfh)-like] T cell percentages. Detectable viraemia was associated with higher CD21(-) (activated and exhausted/tissue-like memory) B cells. A greater proportion of life spent on suppressive ART was associated with higher memory B cell percentages. These results suggest that early and sustained suppressive ART may preserve B and T cell phenotypes in perinatally acquired HIV and limit deficits in humoral immunity. A lower proportion of circulating Tfh-like cells in HIV infected children appears to be independent of HIV treatment history and ongoing HIV viraemia and warrants further investigation

Is Gliese 581d habitable? Some constraints from radiative-convective climate modeling

The recently discovered exoplanet Gl581d is extremely close to the outer edge of its system's habitable zone, which has led to much speculation on its possible climate. We have performed a range of simulations to assess whether, given simple combinations of chemically stable greenhouse gases, the planet could sustain liquid water on its surface. For best estimates of the surface gravity, surface albedo and cloud coverage, we find that less than 10 bars of CO2 is sufficient to maintain a global mean temperature above the melting point of water. Furthermore, even with the most conservative choices of these parameters, we calculate temperatures above the water melting point for CO2 partial pressures greater than about 40 bar. However, we note that as Gl581d is probably in a tidally resonant orbit, further simulations in 3D are required to test whether such atmospheric conditions are stable against the collapse of CO2 on the surface.Comment: 9 pages, 11 figures. Accepted for publication in Astronomy & Astrophysic

Assignment Of Opsonic Values To Pneumococcal Reference Serum 007SP For Use In Opsonophagocytic Assays For 13 Serotypes

Opsonophagocytic assays (OPAs) are routinely used for assessing the immunogenicity of pneumococcal vaccines, with OPA data often utilized for licensure of new vaccine formulations. However, no reference serum for pneumococcal OPAs is available, making evaluation of data among different laboratories difficult. This international collaboration was initiated to: 1) assign consensus opsonic indexes (OIs) to Pneumococcal Reference Serum Lot 007sp ("007sp") and a panel of calibration sera; and 2) determine if normalization with 007sp decreases the OPA variability among laboratories.To meet these goals, six participating laboratories tested a panel of sera in five runs for 13 serotypes. For each serum, consensus OIs were obtained using a mixed effects ANOVA model. For the calibration sera, normalized consensus values were also determined based on 007sp.For each serotype, the overall reduction in inter-laboratory variability was calculated by comparing the coefficients of variation of the unadjusted and the normalized values. Normalization of the results substantially reduced the inter-laboratory variability, ranging from a 15% reduction in variability for serotype 9V to 64% for serotype 7F. Normalization also increased the proportion of data within 2-fold of the consensus value from approximately 70% (average of all serotypes) to >90%.Based on the data obtained in this study, Pneumococcal Reference Standard Lot 007sp will likely be a useful reagent for normalizing pneumococcal OPA results from different laboratories. The data also support the use of the 16 FDA OPA calibration sera as part of the initial evaluation of new assays or periodic assessment of established assays

Partner symmetries and non-invariant solutions of four-dimensional heavenly equations

We extend our method of partner symmetries to the hyperbolic complex Monge-Amp\`ere equation and the second heavenly equation of Pleba\~nski. We show the existence of partner symmetries and derive the relations between them for both equations. For certain simple choices of partner symmetries the resulting differential constraints together with the original heavenly equations are transformed to systems of linear equations by an appropriate Legendre transformation. The solutions of these linear equations are generically non-invariant. As a consequence we obtain explicitly new classes of heavenly metrics without Killing vectors.Comment: 20 pages, 1 table, corrected typo

Low Simulated Radiation Limit for Runaway Greenhouse Climates

Terrestrial planet atmospheres must be in long-term radiation balance, with solar radiation absorbed matched by thermal radiation emitted. For hot moist atmospheres, however, there is an upper limit on the thermal emission which is decoupled from the surface temperature. If net absorbed solar radiation exceeds this limit the planet will heat uncontrollably, the so-called \runaway greenhouse". Here we show that a runaway greenhouse induced steam atmosphere may be a stable state for a planet with the same amount of incident solar radiation as Earth has today, contrary to previous results. We have calculated the clear-sky radiation limits at line-by-line spectral resolution for the first time. The thermal radiation limit is lower than previously reported (282 W/sq m rather than 310W/sq m) and much more solar radiation would be absorbed (294W/sq m rather than 222W/sq m). Avoiding a runaway greenhouse under the present solar constant requires that the atmosphere is subsaturated with water, and that cloud albedo forcing exceeds cloud greenhouse forcing. Greenhouse warming could in theory trigger a runaway greenhouse but palaeoclimate comparisons suggest that foreseeable increases in greenhouse gases will be insufficient to do this