On the relative strengths of fragments of collection

Let $\mathbf{M}$ be the basic set theory that consists of the axioms of extensionality, emptyset, pair, union, powerset, infinity, transitive containment, $\Delta_0$-separation and set foundation. This paper studies the relative strength of set theories obtained by adding fragments of the set-theoretic collection scheme to $\mathbf{M}$. We focus on two common parameterisations of collection: $\Pi_n$-collection, which is the usual collection scheme restricted to $\Pi_n$-formulae, and strong $\Pi_n$-collection, which is equivalent to $\Pi_n$-collection plus $\Sigma_{n+1}$-separation. The main result of this paper shows that for all $n \geq 1$, (1) $\mathbf{M}+\Pi_{n+1}\textrm{-collection}+\Sigma_{n+2}\textrm{-induction on } \omega$ proves the consistency of Zermelo Set Theory plus $\Pi_{n}$-collection, (2) the theory $\mathbf{M}+\Pi_{n+1}\textrm{-collection}$ is $\Pi_{n+3}$-conservative over the theory $\mathbf{M}+\textrm{strong }\Pi_n \textrm{-collection}$. It is also shown that (2) holds for $n=0$ when the Axiom of Choice is included in the base theory. The final section indicates how the proofs of (1) and (2) can be modified to obtain analogues of these results for theories obtained by adding fragments of collection to a base theory (Kripke-Platek Set Theory with Infinity and $V=L$) that does not include the powerset axiom.Comment: 22 page

Definable orthogonality classes in accessible categories are small

We lower substantially the strength of the assumptions needed for the validity of certain results in category theory and homotopy theory which were known to follow from Vopenka's principle. We prove that the necessary large-cardinal hypotheses depend on the complexity of the formulas defining the given classes, in the sense of the Levy hierarchy. For example, the statement that, for a class S of morphisms in a locally presentable category C of structures, the orthogonal class of objects is a small-orthogonality class (hence reflective) is provable in ZFC if S is \Sigma_1, while it follows from the existence of a proper class of supercompact cardinals if S is \Sigma_2, and from the existence of a proper class of what we call C(n)-extendible cardinals if S is \Sigma_{n+2} for n bigger than or equal to 1. These cardinals form a new hierarchy, and we show that Vopenka's principle is equivalent to the existence of C(n)-extendible cardinals for all n. As a consequence, we prove that the existence of cohomological localizations of simplicial sets, a long-standing open problem in algebraic topology, is implied by the existence of arbitrarily large supercompact cardinals. This result follows from the fact that cohomology equivalences are \Sigma_2. In contrast with this fact, homology equivalences are \Sigma_1, from which it follows (as is well known) that the existence of homological localizations is provable in ZFC.Comment: 38 pages; some results have been improved and former inaccuracies have been correcte

Sex-partitioning of the <i>Plasmodium falciparum</i> stage V gametocyte proteome provides insight into <i>falciparum</i>-specific cell biology

One of the critical gaps in malaria transmission biology and surveillance is our lack of knowledge about Plasmodium falciparum gametocyte biology, especially sexual dimorphic development and how sex ratios that may influence transmission from the human to the mosquito. Dissecting this process has been hampered by the lack of sex-specific protein markers for the circulating, mature stage V gametocytes. The current evidence suggests a high degree of conservation in gametocyte gene complement across Plasmodium, and therefore presumably for sex-specific genes as well. To better our understanding of gametocyte development and subsequent infectiousness to mosquitoes, we undertook a Systematic Subtractive Bioinformatic analysis (filtering) approach to identify sex-specific P. falciparum NF54 protein markers based on a comparison with the Dd2 strain, which is defective in producing males, and with syntenic male and female proteins from the reanalyzed and updated P. berghei (related rodent malaria parasite) gametocyte proteomes. This produced a short list of 174 male- and 258 female-enriched P. falciparum stage V proteins, some of which appear to be under strong diversifying selection, suggesting ongoing adaptation to mosquito vector species. We generated antibodies against three putative female-specific gametocyte stage V proteins in P. falciparum and confirmed either conserved sex-specificity or the lack of cross-species sex-partitioning. Finally, our study provides not only an additional resource for mass spectrometry-derived evidence for gametocyte proteins but also lays down the foundation for rational screening and development of novel sex-partitioned protein biomarkers and transmission-blocking vaccine candidates

Magnetotransport in the Kondo model with ferromagnetic exchange interaction

We consider the transport properties in an applied magnetic field of the spin S=1/2 Kondo model with ferromagnetic exchange coupling to electronic reservoirs, a description relevant for the strong coupling limit of underscreened spin S=1 Kondo impurities. Because the ferromagnetic Kondo interaction is marginally irrelevant, perturbative methods should prove accurate down to low energies. For the purpose of this study, we use a combination of Majorana diagrammatic theory with Density Matrix Numerical Renormalization Group simulations. In the standard case of antiferromagnetic Kondo exchange, we first show that our technique recovers previously obtained results for the T-matrix and spin relaxation at weak coupling (above the Kondo temperature). Considering then the ferromagnetic case, we demonstrate how the low-energy Kondo anomaly splits for arbitrary small values of the Zeeman energy, in contrast to fully screened Kondo impurities near the strong coupling Fermi liquid fixed point, and in agreement with recent experimental findings for spin S=1 molecular quantum dots.Comment: 14 pages, 13 figures, minor changes in V

Kinematic studies of transport across an island wake, with application to the Canary islands

Transport from nutrient-rich coastal upwellings is a key factor influencing biological activity in surrounding waters and even in the open ocean. The rich upwelling in the North-Western African coast is known to interact strongly with the wake of the Canary islands, giving rise to filaments and other mesoscale structures of increased productivity. Motivated by this scenario, we introduce a simplified two-dimensional kinematic flow describing the wake of an island in a stream, and study the conditions under which there is a net transport of substances across the wake. For small vorticity values in the wake, it acts as a barrier, but there is a transition when increasing vorticity so that for values appropriate to the Canary area, it entrains fluid and enhances cross-wake transport.Comment: 28 pages, 13 figure

The Wonder of Colors and the Principle of Ariadne

The Principle of Ariadne, formulated in 1988 ago by Walter Carnielli and Carlos Di Prisco and later published in 1993, is an infinitary principle that is independent of the Axiom of Choice in ZF, although it can be consistently added to the remaining ZF axioms. The present paper surveys, and motivates, the foundational importance of the Principle of Ariadne and proposes the Ariadne Game, showing that the Principle of Ariadne, corresponds precisely to a winning strategy for the Ariadne Game. Some relations to other alternative. set-theoretical principles are also briefly discussed

Small-worlds: How and why

We investigate small-world networks from the point of view of their origin. While the characteristics of small-world networks are now fairly well understood, there is as yet no work on what drives the emergence of such a network architecture. In situations such as neural or transportation networks, where a physical distance between the nodes of the network exists, we study whether the small-world topology arises as a consequence of a tradeoff between maximal connectivity and minimal wiring. Using simulated annealing, we study the properties of a randomly rewired network as the relative tradeoff between wiring and connectivity is varied. When the network seeks to minimize wiring, a regular graph results. At the other extreme, when connectivity is maximized, a near random network is obtained. In the intermediate regime, a small-world network is formed. However, unlike the model of Watts and Strogatz (Nature {\bf 393}, 440 (1998)), we find an alternate route to small-world behaviour through the formation of hubs, small clusters where one vertex is connected to a large number of neighbours.Comment: 20 pages, latex, 9 figure

Selfdual 2-form formulation of gravity and classification of energy-momentum tensors

It is shown how the different irreducibility classes of the energy-momentum tensor allow for a Lagrangian formulation of the gravity-matter system using a selfdual 2-form as a basic variable. It is pointed out what kind of difficulties arise when attempting to construct a pure spin-connection formulation of the gravity-matter system. Ambiguities in the formulation especially concerning the need for constraints are clarified.Comment: title changed, extended versio

HD 51106 and HD 50747: an ellipsoidal binary and a triple system observed with CoRoT

We present an analysis of the observations of HD 51106 and HD 50747 by the satellite CoRoT, obtained during its initial run, and of the spectroscopic preparatory observations. AIMS: We complete an analysis of the light curve, extract the main frequencies observed, and discuss some preliminary interpretations about the stars. Methods: We used standard Fourier transform and pre-whitening methods to extract information about the periodicities of the stars. Results: HD 51106 is an ellipsoidal binary, the light curve of which can be completely explained by the tidal deformation of the star and smaller secondary effects. HD 50747 is a triple system containing a variable star, which exhibits many modes of oscillation with periods in the range of a few hours. On the basis of this period range and the analysis of the physical parameters of the star, we conclude that HD 50747 is a Gamma-Doradus star.Comment: 7 pages, 8 figures, use (Astronomy-Astrophysics format/macro LAtex

Catalog of Galactic Beta Cephei Stars

We present an extensive and up-to-date catalog of Galactic Beta Cephei stars. This catalog is intended to give a comprehensive overview of observational characteristics of all known Beta Cephei stars. 93 stars could be confirmed to be Beta Cephei stars. For some stars we re-analyzed published data or conducted our own analyses. 61 stars were rejected from the final Beta Cephei list, and 77 stars are suspected to be Beta Cephei stars. A list of critically selected pulsation frequencies for confirmed Beta Cephei stars is also presented. We analyze the Beta Cephei stars as a group, such as the distributions of their spectral types, projected rotational velocities, radial velocities, pulsation periods, and Galactic coordinates. We confirm that the majority of these stars are multiperiodic pulsators. We show that, besides two exceptions, the Beta Cephei stars with high pulsation amplitudes are slow rotators. We construct a theoretical HR diagram that suggests that almost all 93 Beta Cephei stars are MS objects. We discuss the observational boundaries of Beta Cephei pulsation and their physical parameters. We corroborate that the excited pulsation modes are near to the radial fundamental mode in frequency and we show that the mass distribution of the stars peaks at 12 solar masses. We point out that the theoretical instability strip of the Beta Cephei stars is filled neither at the cool nor at the hot end and attempt to explain this observation