On the strength of the finite intersection principle

We study the logical content of several maximality principles related to the finite intersection principle (F\IP) in set theory. Classically, these are all equivalent to the axiom of choice, but in the context of reverse mathematics their strengths vary: some are equivalent to \ACA over \RCA, while others are strictly weaker, and incomparable with \WKL. We show that there is a computable instance of F\IP all of whose solutions have hyperimmune degree, and that every computable instance has a solution in every nonzero c.e.\ degree. In terms of other weak principles previously studied in the literature, the former result translates to F\IP implying the omitting partial types principle ($\mathsf{OPT}$). We also show that, modulo $\Sigma^0_2$ induction, F\IP lies strictly below the atomic model theorem ($\mathsf{AMT}$).Comment: This paper corresponds to section 3 of arXiv:1009.3242, "Reverse mathematics and equivalents of the axiom of choice", which has been abbreviated and divided into two pieces for publicatio

Lyapunov spectrum of asymptotically sub-additive potentials

For general asymptotically sub-additive potentials (resp. asymptotically additive potentials) on general topological dynamical systems, we establish some variational relations between the topological entropy of the level sets of Lyapunov exponents, measure-theoretic entropies and topological pressures in this general situation. Most of our results are obtained without the assumption of the existence of unique equilibrium measures or the differentiability of pressure functions. Some examples are constructed to illustrate the irregularity and the complexity of multifractal behaviors in the sub-additive case and in the case that the entropy map that is not upper-semi continuous.Comment: 44 page

Hyaluronidase of Bloodsucking Insects and Its Enhancing Effect on Leishmania Infection in Mice

Hyaluronidases are enzymes degrading the extracellular matrix of vertebrates. Bloodsucking insects use them to cleave the skin of the host, enlarge the feeding lesion and acquire the blood meal. In addition, resulting fragments of extracellular matrix modulate local immune response of the host, which may positively affect transmission of vector-borne diseases, including leishmaniasis. Leishmaniases are diseases with a wide spectrum of clinical forms, from a relatively mild cutaneous affection to life-threatening visceral disease. Their causative agents, protozoans of the genus Leishmania, are transmitted by phlebotomine sand flies. Sand fly saliva was described to enhance Leishmania infection, but the information about molecules responsible for this exacerbating effect is still very limited. In the present work we demonstrated hyaluronidase activity in salivary glands of various Diptera and in fleas. In addition, we showed that hyaluronidase exacerbates Leishmania lesions in mice and propose that salivary hyaluronidase may facilitate the spread of other vector-borne microorganisms

Mycobacteria Exploit Host Hyaluronan for Efficient Extracellular Replication

In spite of the importance of hyaluronan in host protection against infectious organisms in the alveolar spaces, its role in mycobacterial infection is unknown. In a previous study, we found that mycobacteria interact with hyaluronan on lung epithelial cells. Here, we have analyzed the role of hyaluronan after mycobacterial infection was established and found that pathogenic mycobacteria can grow by utilizing hyaluronan as a carbon source. Both mouse and human possess 3 kinds of hyaluronan synthases (HAS), designated HAS1, HAS2, and HAS3. Utilizing individual HAS-transfected cells, we show that HAS1 and HAS3 but not HAS2 support growth of mycobacteria. We found that the major hyaluronan synthase expressed in the lung is HAS1, and that its expression was increased after infection with Mycobacterium tuberculosis. Histochemical analysis demonstrated that hyaluronan profoundly accumulated in the granulomatous legion of the lungs in M. tuberculosis-infected mice and rhesus monkeys that died from tuberculosis. We detected hyaluronidase activity in the lysate of mycobacteria and showed that it was critical for hyaluronan-dependent extracellular growth. Finally, we showed that L-Ascorbic acid 6-hexadecanoate, a hyaluronidase inhibitor, suppressed growth of mycobacteria in vivo. Taken together, our data show that pathogenic mycobacteria exploit an intrinsic host-protective molecule, hyaluronan, to grow in the respiratory tract and demonstrate the potential usefulness of hyaluronidase inhibitors against mycobacterial diseases

formosa

Dicentra formosa (Haworth) WalpersPacific bleeding-heartdicentre à belles fleursWishon Campwoodland, found in shade4000 feetperennial 9 dm. tall with lavender flower

The Costs and Limits of Availability for Replicated Services

As raw system and network performance continues to improve at exponential rates, the utility of many services is increasingly limited by availability rather than performance. A key approach to improving availability involves replicating the service across multiple, wide-area sites. However, replication introduces well-known tradeoffs between service consistency and availability. Thus, this paper explores the benefits of dynamically trading consistency for availability using a continuous consistency model. In this model, applications specify a maximum deviation from strong consistency on a per-replica basis. In this paper, we: i) evaluate availability of a prototype replication system running across the Internet as a function of consistency level, consistency protocol, and failure characteristics, ii) demonstrate that simple optimizations to existing consistency protocols result in significant availability improvements (more than an order of magnitude in some scenarios), iii) use our experience with these optimizations to prove tight upper bounds on the availability of services, and iv) show that maximizing availability typically entails remaining as close to strong consistency as possible during times of good connectivity, resulting in a communication versus availability tradeoff