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

Regulating Television and the Case of Football World Cup

This paper deals with EU-Directive 89/552/EEC "Television Without Frontiers", which enables each EU-country to set up a list of major events that are not allowed to be transmitted in Pay-TV. We analyze this kind of regulation using instruments of game-theory and monopoly-theory. We compare the market results of the EU-Regulation with two alternative arrangements, namely with a general ban of Pay-TV and with a 'laisser-faire'-solution. Our model shows that a selective ban may be welfare-superior to both other forms of Pay-TV treatment. Finally we show that there are good arguments to forbid Pay-TV-broadcasting of major football events. -- Dieses Paper beschäftigt sich mit der Frage, ob sportliche Großereignisse im Pay-TV oder im Free-TV übertragen werden sollten. Aktueller Anlaß für eine breite Diskussion dieses Themas ist der Kauf der Übertragungsrechte für die Fußballweltmeisterschaften 2002 und 2006 durch die ISL/Kirch-Gruppe. Verfechter einer weit-reichenden Regulierung des Fernsehmarktes befürworten Maßnahmen, die bis zu einem Verbot von Pay-TV reichen. Andere wollen hingegen der ISL/Kirch-Gruppe die freie Vermarktung ihrer Rechte belassen. Unsere Analyse nähert sich dem Problem aus ökonomischer Sicht. Wir gehen dabei von einem dreistufigen Fernsehmarkt aus, in dem ein Erstrechteinhaber als Monopolanbieter die Übertragungslizenz vergibt. Auf einer zweiten Stufe entscheidet der Lizenznehmer über die Ausstrahlungsform. Die unterste Ebene ist von fußballbegeisterten Fernsehzuschauern geprägt, die eine wertvolle Zielgruppe für die Werbewirtschaft darstellen. In einem einfachen monopoltheoretischen Modell werden Bedingungen abgeleitet, unter denen eine Regulie-rung des Fernsehmarktes erfolgen sollte. Unsere Empfehlungen stützen sich dabei auf eine wohlfahrtsökonomische Bewertung der Modellergebnisse.Pay-TV,Football,Media economics,Advertising,Applied Game Theory,EU-Directive 89/552/EEC

Lockdown: Dynamic Control-Flow Integrity

Applications written in low-level languages without type or memory safety are especially prone to memory corruption. Attackers gain code execution capabilities through such applications despite all currently deployed defenses by exploiting memory corruption vulnerabilities. Control-Flow Integrity (CFI) is a promising defense mechanism that restricts open control-flow transfers to a static set of well-known locations. We present Lockdown, an approach to dynamic CFI that protects legacy, binary-only executables and libraries. Lockdown adaptively learns the control-flow graph of a running process using information from a trusted dynamic loader. The sandbox component of Lockdown restricts interactions between different shared objects to imported and exported functions by enforcing fine-grained CFI checks. Our prototype implementation shows that dynamic CFI results in low performance overhead.Comment: ETH Technical Repor

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

In vivo imaging of the tonoplast intrinsic protein family in Arabidopsis roots

Background: Tonoplast intrinsic proteins (TIPs) are widely used as markers for vacuolar compartments in higher plants. Ten TIP isoforms are encoded by the Arabidopsis genome. For several isoforms, the tissue and cell specific pattern of expression are not known. Results: We generated fluorescent protein fusions to the genomic sequences of all members of the Arabidopsis TIP family whose expression is predicted to occur in root tissues (TIP1;1 and 1;2; TIP2;1, 2;2 and 2;3; TIP4;1) and expressed these fusions, both individually and in selected pairwise combinations, in transgenic Arabidopsis. Analysis by confocal microscopy revealed that TIP distribution varied between different cell layers within the root axis, with extensive co-expression of some TIPs and more restricted expression patterns for other isoforms. TIP isoforms whose expression overlapped appeared to localise to the tonoplast of the central vacuole, vacuolar bulbs and smaller, uncharacterised structures. Conclusion: We have produced a comprehensive atlas of TIP expression in Arabidopsis roots, which reveals novel expression patterns for not previously studied TIPs

Pressure buildup during CO2 injection in brine aquifers using the Forchheimer equation

If geo-sequestration of CO2 is to be employed as a key emissions reduction method in the global effort to mitigate climate change, simple yet robust screening of the risks of disposal in brine aquifers will be needed. There has been significant development of simple analytical and semi-analytical techniques to support screening analysis and performance assessment for potential carbon sequestration sites. These techniques have generally been used to estimate the size of CO2 plumes for the purpose of leakage rate estimation. A common assumption has been that both the fluids and the geological formation are incompressible. Consequently, calculation of pressure distribution requires the specification of an arbitrary radius of influence. In this talk, a new similarity solution is derived using the method of matched asymptotic expansions. By allowing for slight compressibility in the fluids and formation, the solution improves on previous work by not requiring the specification of an arbitrary radius of influence. A large-time approximation of the solution is then extended to account for non-Darcy inertial effects using the Forchheimer equation. Both solutions are verified by comparison with finite difference solutions. The results show that inertial losses will often be comparable, and sometimes greater than, the viscous Darcy-like losses associated with the brine displacement, although this is strongly dependent on formation porosity and permeability

Noise and thermal stability of vibrating micro-gyrometers preamplifiers

The preamplifier is a critical component of gyrometer's electronics. Indeed the resolution of the sensor is limited by its signal to noise ratio, and the gyrometer's thermal stability is limited by its gain drift. In this paper, five different kinds of preamplifiers are presented and compared. Finally, the design of an integrated preamplifier is shown in order to increase the gain stability while reducing its noise and size.Comment: Submitted on behalf of EDA Publishing Association (http://irevues.inist.fr/EDA-Publishing

Highly efficient, tunable single photon source based on single molecules

The authors studied spatially isolated terrylene molecules immobilized in a quasiplanar optical λ/2-microresonator using confocal microscopy and spectroscopy at variable temperatures. At T = 1.8 K, they observed individual molecules relaxing into microresonator-allowed vibronic levels of their electronic ground state by emission of single fluorescence photons. Coupling the purely electronic transition of embedded molecules to the longitudinal photonic mode of the microresonator resulted in an ultimate spectral narrowing and an increased collection efficiency of the emitted single photon wave trains

Dynamical Surface Gravity in Spherically Symmetric Black Hole Formation

We study dynamical surface gravity in a general spherically symmetric setting using Painlev\'{e}-Gullstrand (PG) coordinates. Our analysis includes several definitions that have been proposed in the past as well as two new definitions adapted to PG coordinates. Various properties are considered, including general covariance, value at extremality, locality and static limit. We illustrate with specific examples of "dirty" black holes that even for spacetimes possessing a global timelike Killing vector, local definitions of surface gravity can differ substantially from "non-local" ones that require an asymptotic normalization condition. Finally, we present numerical calculations of dynamical surface gravity for black hole formation via spherically symmetric scalar field collapse. Our results highlight the differences between the various definitions in a dynamical setting and provide further insight into the distinction between local and non-local definitions of surface gravity.Comment: Final version to appear in Phys. Rev. D. Slight name change, further improvements to numerics and presentation, 25 pages, 7 figure

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