Effectiveness of Hindman's theorem for bounded sums

We consider the strength and effective content of restricted versions of Hindman's Theorem in which the number of colors is specified and the length of the sums has a specified finite bound. Let $\mathsf{HT}^{\leq n}_k$ denote the assertion that for each $k$-coloring $c$ of $\mathbb{N}$ there is an infinite set $X \subseteq \mathbb{N}$ such that all sums $\sum_{x \in F} x$ for $F \subseteq X$ and $0 < |F| \leq n$ have the same color. We prove that there is a computable $2$-coloring $c$ of $\mathbb{N}$ such that there is no infinite computable set $X$ such that all nonempty sums of at most $2$ elements of $X$ have the same color. It follows that $\mathsf{HT}^{\leq 2}_2$ is not provable in $\mathsf{RCA}_0$ and in fact we show that it implies $\mathsf{SRT}^2_2$ in $\mathsf{RCA}_0$. We also show that there is a computable instance of $\mathsf{HT}^{\leq 3}_3$ with all solutions computing $0'$. The proof of this result shows that $\mathsf{HT}^{\leq 3}_3$ implies $\mathsf{ACA}_0$ in $\mathsf{RCA}_0$

Threshold photoelectron photoion coincidence spectroscopy of trichloroethene and tetrachloroethene

The threshold photoelectron, the threshold photoelectron photoion coincidence and ion breakdown spectra of trichloroethene and tetrachloroethene have been recorded from 9 – 22 eV. Comparisons with the equivalent data for the three dichloroethene molecules and theoretical calculations highlight the nature of the orbitals involved during photoionisation in this energy range. The ground electronic state of C$_2$HCl$_3^+$ (C$_2$Cl$_4^+$) is bound, with excited valence states dissociating to C$_2$HCl$_2^+$ (C$_2$Cl$_3^+$) and C$_2$HCl$^+$ (C$_2$Cl$_2^+$). Appearance energies suggest that C$_2$HCl$^+$ forms from C$_2$HCl$_3^+$ by loss of two chlorine atoms, whereas C$_2$Cl$_2^+$ forms from C$_2$Cl$_4^+$ by loss of a Cl$_2$ molecule. The translational kinetic energy release into C$_2$HCl$_2^+$ (C$_2$Cl$_3^+$) + Cl is determined as a function of energy. In both cases, the fraction of the available energy released into translational energy of the two products decreases as the photon energy increases

Peripheral blood eosinophils: a surrogate marker for airway eosinophilia in stable COPD.

INTRODUCTION: Sputum eosinophilia occurs in approximately one-third of stable chronic obstructive pulmonary disease (COPD) patients and can predict exacerbation risk and response to corticosteroid treatments. Sputum induction, however, requires expertise, may not always be successful, and does not provide point-of-care results. Easily applicable diagnostic markers that can predict sputum eosinophilia in stable COPD patients have the potential to progress COPD management. This study investigated the correlation and predictive relationship between peripheral blood and sputum eosinophils. It also examined the repeatability of blood eosinophil counts. METHODS: Stable COPD patients (n=141) were classified as eosinophilic or noneosinophilic based on their sputum cell counts (≥3%), and a cross-sectional analysis was conducted comparing their demographics, clinical characteristics, and blood cell counts. Receiver operating characteristic curve analysis was used to assess the predictive ability of blood eosinophils for sputum eosinophilia. Intraclass correlation coefficient was used to examine the repeatability of blood eosinophil counts. RESULTS: Blood eosinophil counts were significantly higher in patients with sputum eosinophilia (n=45) compared to those without (0.3×10(9)/L vs 0.15×10(9)/L; P<0.0001). Blood eosinophils correlated with both the percentage (ρ=0.535; P<0.0001) and number of sputum eosinophils (ρ=0.473; P<0.0001). Absolute blood eosinophil count was predictive of sputum eosinophilia (area under the curve =0.76, 95% confidence interval [CI] =0.67-0.84; P<0.0001). At a threshold of ≥0.3×10(9)/L (specificity =76%, sensitivity =60%, and positive likelihood ratio =2.5), peripheral blood eosinophil counts enabled identification of the presence or absence of sputum eosinophilia in 71% of the cases. A threshold of ≥0.4×10(9)/L had similar classifying ability but better specificity (91.7%) and higher positive likelihood ratio (3.7). In contrast, ≥0.2×10(9)/L offered a better sensitivity (91.1%) for ruling out sputum eosinophilia. There was a good agreement between two measurements of blood eosinophil count over a median of 28 days (intraclass correlation coefficient =0.8; 95% CI =0.66-0.88; P<0.0001). CONCLUSION: Peripheral blood eosinophil counts can help identify the presence or absence of sputum eosinophilia in stable COPD patients with a reasonable degree of accuracy

Bacteriophage MS2 displays unreported capsid variability assembling T = 4 and mixed capsids

Bacteriophage MS2 is a positive-sense, single-stranded RNA virus encapsulated in an asymmetric T = 3 pseudo-icosahedral capsid. It infects Escherichia coli through the F-pilus, which it binds through a maturation protein incorporated into its capsid. Cryogenic electron microscopy has previously shown that its genome is highly ordered within virions, and that it regulates the assembly process of the capsid. In this study we have assembled recombinant MS2 capsids with non-genomic RNA containing the capsid incorporation sequence, and investigated the structures formed, revealing that T = 3, T = 4 and mixed capsids between these two triangulation numbers are generated, and resolving structures of T = 3 and T = 4 capsids to 4 Å and 6 Å respectively. We conclude that the basic MS2 capsid can form a mix of T = 3 and T = 4 structures, supporting a role for the ordered genome in favouring the formation of functional T = 3 virions

Safe and complete contig assembly via omnitigs

Contig assembly is the first stage that most assemblers solve when reconstructing a genome from a set of reads. Its output consists of contigs -- a set of strings that are promised to appear in any genome that could have generated the reads. From the introduction of contigs 20 years ago, assemblers have tried to obtain longer and longer contigs, but the following question was never solved: given a genome graph $G$ (e.g. a de Bruijn, or a string graph), what are all the strings that can be safely reported from $G$ as contigs? In this paper we finally answer this question, and also give a polynomial time algorithm to find them. Our experiments show that these strings, which we call omnitigs, are 66% to 82% longer on average than the popular unitigs, and 29% of dbSNP locations have more neighbors in omnitigs than in unitigs.Comment: Full version of the paper in the proceedings of RECOMB 201

Mexico City and the biogeochemistry of global urbanization

Mexico City is far advanced in its urban evolution, and cities in currently developing nations may soon follow a similar course. This paper investigates the strengths and weaknesses of infrastructures for the emerging megacities. The major driving force for infrastructure change in Mexico City is concern over air quality. Air chemistry data from recent field campaigns have been used to calculate fluxes in the atmosphere of the Valley of Mexico, for compounds that are important to biogeochemistry including methane (CH4), carbon monoxide (CO), nonmethane hydrocarbons (NMHCs), ammonia (NH3), sulfur dioxide (SO2), nitrogen oxides (NOx and NOy), soot, and dust. Leakage of liquified petroleum gas approached 10% during sampling periods, and automotive pollutant sources in Mexico City were found to match those in developed cities, despite a lower vehicle-to-person ratio of 0.1. Ammonia is released primarily from residential areas, at levels sufficient to titrate pollutant acids into particles across the entire basin. Enhancements of reduced nitrogen and hydrocarbons in the vapor phase skew the distribution of NOy species towards lower average deposition velocities. Partly as a result, downwind nutrient deposition occurs on a similar scale as nitrogen fixation across Central America, and augments marine nitrate upwelling. Dust suspension from unpaved roads and from the bed of Lake Texcoco was found to be comparable to that occurring on the periphery of the Sahara, Arabian, and Gobi deserts. In addition, sodium chloride (NaCl) in the dust may support heterogeneous chlorine oxide (ClOx) chemistry. The insights from our Mexico City analysis have been tentatively applied to the upcoming urbanization of Asia

Evolution of Star Formation in the UKIDSS Ultra Deep Survey Field - II. Star Formation as a Function of Stellar Mass Between z=1.46 and z=0.63

We present new results on the evolution of the cosmic star formation rate as a function of stellar mass in the SXDS-UDS field. We make use of narrow-band selected emission line galaxies in four redshift slices between z = 1.46 and z = 0.63, and compute stellar masses by fitting a series of templates to recreate each galaxy's star formation history. We determine mass-binned luminosity functions in each redshift slice, and derive the star formation rate density (rhoSFR) as a function of mass using the [OIII] or [OII] emission lines. We calculate dust extinction and metallicity as a function of stellar mass, and investigate the effect of these corrections on the shape of the overall rhoSFR(M). We find that both these corrections are crucial for determining the shape of the rhoSFR(M), and its evolution with redshift. The fully corrected rhoSFR(M) is a relatively flat distribution, with the normalisation moving towards lower values of rhoSFR with increasing cosmic time/decreasing redshift, and requiring star formation to be truncated across all masses studied here. The peak of rhoSFR(M) is found in the 10^10.5<Msun<10^11.0 mass bin at z = 1.46. In the lower redshift slices the location of the peak is less certain, however low mass galaxies in the range 10^7.0<Msun<10^8.0 play an important part in the overall rhoSFR(M) out to at least z ~ 1.2

Monitoring Cognitive and Emotional Processes Through Pupil and Cardiac Response During Dynamic Versus Logical Task

The paper deals with the links between physiological measurements and cognitive and emotional functioning. As long as the operator is a key agent in charge of complex systems, the definition of metrics able to predict his performance is a great challenge. The measurement of the physiological state is a very promising way but a very acute comprehension is required; in particular few studies compare autonomous nervous system reactivity according to specific cognitive processes during task performance and task related psychological stress is often ignored. We compared physiological parameters recorded on 24 healthy subjects facing two neuropsychological tasks: a dynamic task that require problem solving in a world that continually evolves over time and a logical task representative of cognitive processes performed by operators facing everyday problem solving. Results showed that the mean pupil diameter change was higher during the dynamic task; conversely, the heart rate was more elevated during the logical task. Finally, the systolic blood pressure seemed to be strongly sensitive to psychological stress. A better taking into account of the precise influence of a given cognitive activity and both workload and related task-induced psychological stress during task performance is a promising way to better monitor operators in complex working situations to detect mental overload or pejorative stress factor of error