Putting Free-Riding to Work: A Partnership Solution to the Common-Property Problem

The common-property problem results in excessive mining, hunting, and extraction of oil and water. The same phenomenon is also responsible for excessive investment in R&D and excessive outlays in rent-seeking contests. We propose a "Partnership Solution" to eliminate or at least mitigate these excesses. Each of N players joins a partnership in the first stage and chooses his effort in the second stage. Under the rules of a partnership, each member must pay his own cost of effort but receives an equal share of the partnership's revenue. The incentive to free-ride created by such partnerships turns out to be beneficial since it naturally offsets the excessive effort inherent in such problems. In our two-stage game, this institutional arrangement can, under specified circumstances, induce the social optimum in a subgame-perfect equilibrium: no one has a unilateral incentive (1) to switch to another partnership (or create a new partnership) in the first stage or (2) to deviate from socially optimal actions in the second stage. The game may have other subgame-perfect equilibria, but the one associated with the ``Partnership Solution'' is strictly preferred by every player. We also propose a modification of the first stage which generates a unique subgame-perfect equilibrium. Antitrust authorities should recognize that partnerships can have a less benign use. By organizing as competing partnerships, an industry can reduce the ``excessive'' output of Cournot oligopoly to the monopoly level. Since no partner has any incentive to overproduce in the current period, there is no need to deter cheating with threats of future punishments.partnerships;common property;tragedy of the commons;cartels

The impact of sarcoptic mange Sarcoptes scabiei on the British fox Vulpes vulpes population

1. Disease epizootics can significantly influence host population dynamics and the structure and functioning of ecological communities. Sarcoptic mange Sarcoptes scabiei has dramatically reduced red fox populations Vulpes vulpes in several countries, including Britain, although impacts on demographic processes are poorly understood. We review the literature on the impact of mange on red fox populations, assess its current distribution in Britain through a questionnaire survey and present new data on resultant demographic changes in foxes in Bristol, UK. 2. A mange epizootic in Sweden spread across the entire country in < 10 years resulting in a decline in fox density of up to 95%; density remained lowered for 15–20 years. In Spain, mange has been enzootic for > 75 years and is widely distributed; mange presence was negatively correlated with habitat quality. 3. Localized outbreaks have occurred sporadically in Britain during the last 100 years. The most recent large-scale outbreak arose in the 1990s, although mange has been present in south London and surrounding environs since the 1940s. The questionnaire survey indicated that mange was broadly distributed across Britain, but areas of perceived high prevalence (> 50% affected) were mainly in central and southern England. Habitat type did not significantly affect the presence/absence of mange or perceived prevalence rates. Subjective assessments suggested that populations take 15–20 years to recover. 4. Mange appeared in Bristol’s foxes in 1994. During the epizootic phase (1994–95), mange spread through the city at a rate of 0.6–0.9 km/month, with a rise in infection in domestic dogs Canis familiaris c. 1–2 months later. Juvenile and adult fox mortality increased and the proportion of females that reproduced declined but litter size was unaffected. Population density declined by > 95%. 5. In the enzootic phase (1996–present), mange was the most significant mortality factor. Juvenile mortality was significantly higher than in the pre-mange period, and the number of juveniles classified as dispersers declined. Mange infection reduced the reproductive potential of males and females: females with advanced mange did not breed; severely infected males failed to undergo spermatogenesis. In 2004, Bristol fox population density was only 15% of that in 1994

Scale-invariant large nonlocality in polycrystalline graphene

The observation of large nonlocal resistances near the Dirac point in graphene has been related to a variety of intrinsic Hall effects, where the spin or valley degrees of freedom are controlled by symmetry breaking mechanisms. Engineering strong spin or valley Hall signals on scalable graphene devices could stimulate further practical developments of spin- and valleytronics. Here we report on scale-invariant nonlocal transport in large-scale chemical vapour deposition graphene under an applied external magnetic field. Contrary to previously reported Zeeman spin Hall effect, our results are explained by field-induced spin-filtered edge states whose sensitivity to grain boundaries manifests in the nonlocal resistance. This phenomenon, related to the emergence of the quantum Hall regime, persists up to the millimeter scale, showing that polycrystalline morphology can be imprinted in nonlocal transport. This suggests that topological Hall effects in large-scale graphene materials are highly sensitive to the underlying structural morphology, limiting practical realizations.Comment: Main paper (14 pages, 5 figures) and Supplementary information (8 pages, 8 figures

Concise Concrete Syntax

We introduce a notion of ordered context-free grammars (OCFGs) with datatype tags to concisely specify grammars of programming languages. Our work is an extension of syntax definition formalism (SDF) and concrete datatypes that automate scanning, parsing, and syntax tree construction. But OCFGs also capture associativity and precedence at the level of production rules instead of lexical tokens such that a concrete syntax grammar is succinct enough be an abstract syntax definition. By expanding and re-indexing grammar symbols, OCFGs can be translated to grammars for standard lex and yacc such that existing and efficient parsing infrastructures can be reused. We have implemented a Java 5 compiler frontend with OCFGs. The complete grammar for such a realistic language fits comfortably in two pages of this paper, showing the practicality of our formalism

A Design for a Security-typed Language with Certificate-based Declassification

This paper presents a calculus that supports information-flow security policies and certificate-based declassification. The decentralized label model and its downgrading mechanisms are concisely expressed in the polymorphic lambda calculus with subtyping (System F≾). We prove a conditioned version of the noninterference theorem such that authorization for declassification is justified by digital certificates from public-key infrastructures

Run-time Principals in Information-flow Type Systems

Information-flow type systems are a promising approach for enforcing strong end-to-end confidentiality and integrity policies. Such policies, however, are usually specified in term of static information—data is labeled high or low security at compile time. In practice, the confidentiality of data may depend on information available only while the system is running. This paper studies language support for run-time principals, a mechanism for specifying information-flow security policies that depend on which principals interact with the system. We establish the basic property of noninterference for programs written in such language, and use run-time principals for specifying run-time authority in downgrading mechanisms such as declassification. In addition to allowing more expressive security policies, run-time principals enable the integration of language-based security mechanisms with other existing approaches such as Java stack inspection and public key infrastructures. We sketch an implementation of run-time principals via public keys such that principal delegation is verified by certificate chains

Run-time Principals in Information-flow Type Systems

Information-flow type systems are a promising approach for enforcing strong end-to-end confidentiality and integrity policies. Such policies, however, are usually specified in terms of static information — data is labeled high or low security at compile time. In practice, the confidentiality of data may depend on information available only while the system is running. This paper studies language support for run-time principals, a mechanism for specifying security policies that depend on which principals interact with the system. We establish the basic property of noninterference for programs written in such language, and use run-time principals for specifying run-time authority in downgrading mechanisms such as declassification. In addition to allowing more expressive security policies, run-time principals enable the integration of language-based security mechanisms with other existing approaches such as Java stack inspection and public key infrastructures. We sketch an implementation of run-time principals via public keys such that principal delegation is verified by certificate chains

Market tremors: shale gas exploration, earthquakes, and their impact on house prices

Shale gas has grown to become a major new source of energy in countries around the globe. While its importance for energy supply is well recognized, there has also been public concern over potential risks from hydraulic fracturing (‘fracking’). Although commercial development has not yet taken place in the UK, licenses for drilling were issued in 2008, signalling potential future development. This paper examines whether public fears about fracking affect house prices in areas that have been licensed for shale gas exploration. Our estimates suggest differentiated effects. Licensing did not affect house prices but fracking the first well in 2011, which caused two minor earthquakes, did. We find a 3.9–4.7 percent house price decrease in the area where the earthquakes occurred. The earthquakes were too minor to have caused any damage but we find the effect on prices extends to a radius of about 25 km served by local newspapers. This evidence suggests that the earthquakes and newspaper coverage increased awareness of exploration activity and fear of the local consequences