No stratification without representation

Sortition is an alternative approach to democracy, in which representatives are not elected but randomly selected from the population. Most electoral democracies fail to accurately represent even a handful of protected groups. By contrast, sortition guarantees that every subset of the population will in expectation fill their fair share of the available positions. This fairness property remains satisfied when the sample is stratified based on known features. Moreover, stratification can greatly reduce the variance in the number of positions filled by any unknown group, as long as this group correlates with the strata. Our main result is that stratification cannot increase this variance by more than a negligible factor, even in the presence of indivisibilities and rounding. When the unknown group is unevenly spread across strata, we give a guarantee on the reduction in variance with respect to uniform sampling. We also contextualize stratification and uniform sampling in the space of fair sampling algorithms. Finally, we apply our insights to an empirical case study.Accepted manuscrip

The Plasmaspheric Plume and Magnetopause Reconnection

We present near-simultaneous measurements from two THEMIS spacecraft at the dayside magnetopause with a 1.5 h separation in local time. One spacecraft observes a high-density plasmaspheric plume while the other does not. Both spacecraft observe signatures of magnetic reconnection, providing a test for the changes to reconnection in local time along the magnetopause as well as the impact of high densities on the reconnection process. When the plume is present and the magnetospheric density exceeds that in the magnetosheath, the reconnection jet velocity decreases, the density within the jet increases, and the location of the faster jet is primarily on field lines with magnetosheath orientation. Slower jet velocities indicate that reconnection is occurring less efficiently. In the localized region where the plume contacts the magnetopause, the high-density plume may impede the solar wind-magnetosphere coupling by mass loading the reconnection site

Attacking Group Protocols by Refuting Incorrect Inductive Conjectures

Automated tools for finding attacks on flawed security protocols often fail to deal adequately with group protocols. This is because the abstractions made to improve performance on fixed 2 or 3 party protocols either preclude the modelling of group protocols all together, or permit modelling only in a fixed scenario, which can prevent attacks from being discovered. This paper describes Coral, a tool for finding counterexamples to incorrect inductive conjectures, which we have used to model protocols for both group key agreement and group key management, without any restrictions on the scenario. We will show how we used Coral to discover 6 previously unknown attacks on 3 group protocols

A Theoretical Analysis of Two-Stage Recommendation for Cold-Start Collaborative Filtering

In this paper, we present a theoretical framework for tackling the cold-start collaborative filtering problem, where unknown targets (items or users) keep coming to the system, and there is a limited number of resources (users or items) that can be allocated and related to them. The solution requires a trade-off between exploitation and exploration as with the limited recommendation opportunities, we need to, on one hand, allocate the most relevant resources right away, but, on the other hand, it is also necessary to allocate resources that are useful for learning the target's properties in order to recommend more relevant ones in the future. In this paper, we study a simple two-stage recommendation combining a sequential and a batch solution together. We first model the problem with the partially observable Markov decision process (POMDP) and provide an exact solution. Then, through an in-depth analysis over the POMDP value iteration solution, we identify that an exact solution can be abstracted as selecting resources that are not only highly relevant to the target according to the initial-stage information, but also highly correlated, either positively or negatively, with other potential resources for the next stage. With this finding, we propose an approximate solution to ease the intractability of the exact solution. Our initial results on synthetic data and the Movie Lens 100K dataset confirm the performance gains of our theoretical development and analysis

Effect of high temperature heat treatments on the quality factor of a large-grain superconducting radio-frequency niobium cavity

Large-grain Nb has become a viable alternative to fine-grain Nb for the fabrication of superconducting radio-frequency cavities. In this contribution we report the results from a heat treatment study of a large-grain 1.5 GHz single-cell cavity made of "medium purity" Nb. The baseline surface preparation prior to heat treatment consisted of standard buffered chemical polishing. The heat treatment in the range 800 - 1400 C was done in a newly designed vacuum induction furnace. Q0 values of the order of 2x1010 at 2.0 K and peak surface magnetic field (Bp) of 90 mT were achieved reproducibly. A Q0-value of (5+-1)1010 at 2.0 K and Bp = 90 mT was obtained after heat treatment at 1400 C. This is the highest value ever reported at this temperature, frequency and field. Samples heat treated with the cavity at 1400 C were analyzed by secondary ion mass spectrometry, secondary electron microscopy, energy dispersive X-ray, point contact tunneling and X-ray diffraction and revealed a complex surface composition which includes titanium oxide, increased carbon and nitrogen content but reduced hydrogen concentration compared to a non heat-treated sample

Inverse-kinematics one-neutron pickup with fast rare-isotope beams

New measurements and reaction model calculations are reported for single neutron pickup reactions onto a fast \nuc{22}{Mg} secondary beam at 84 MeV per nucleon. Measurements were made on both carbon and beryllium targets, having very different structures, allowing a first investigation of the likely nature of the pickup reaction mechanism. The measurements involve thick reaction targets and $\gamma$-ray spectroscopy of the projectile-like reaction residue for final-state resolution, that permit experiments with low incident beam rates compared to traditional low-energy transfer reactions. From measured longitudinal momentum distributions we show that the \nuc{12}{C} (\nuc{22}{Mg},\nuc{23}{Mg}+\gamma)X reaction largely proceeds as a direct two-body reaction, the neutron transfer producing bound \nuc{11}{C} target residues. The corresponding reaction on the \nuc{9}{Be} target seems to largely leave the \nuc{8}{Be} residual nucleus unbound at excitation energies high in the continuum. We discuss the possible use of such fast-beam one-neutron pickup reactions to track single-particle strength in exotic nuclei, and also their expected sensitivity to neutron high-$\ell$ (intruder) states which are often direct indicators of shell evolution and the disappearance of magic numbers in the exotic regime.Comment: 8 pages, 5 figure

Allocation in Practice

How do we allocate scarcere sources? How do we fairly allocate costs? These are two pressing challenges facing society today. I discuss two recent projects at NICTA concerning resource and cost allocation. In the first, we have been working with FoodBank Local, a social startup working in collaboration with food bank charities around the world to optimise the logistics of collecting and distributing donated food. Before we can distribute this food, we must decide how to allocate it to different charities and food kitchens. This gives rise to a fair division problem with several new dimensions, rarely considered in the literature. In the second, we have been looking at cost allocation within the distribution network of a large multinational company. This also has several new dimensions rarely considered in the literature.Comment: To appear in Proc. of 37th edition of the German Conference on Artificial Intelligence (KI 2014), Springer LNC

The Fictive Reflex : A Fresh Look at Reflexiveness and Narrative Representation

Reflexiveness in literary contexts tends to be assimilated to self-reference; to the various ways in which a work may foreground the artifice and conventionality of its own features as representation, narrative or language. In this sense it is equated with metafiction, and regarded as a sophisticated and highly self-conscious use of narrative; here, however, I offer a contrary view of reflexiveness, one which sees it as elementary, pervasive, and constitutive of fictionality. In this view, there is a continuity between the basic logic of mimesis and the self-conscious “baring of the device” that, for the Russian Formalists, defines the literary. I begin by clarifying the nature of (fictive) representation as an act, and identify its intrinsic reflexiveness, and go on to compare this perspective with both the metafictional notion of reflexiveness and the theoretical discourse on reflexiveness around “mirror neurons” in cognitive literary studies. I then situate reflexiveness within a broader interdisciplinary environment, framed by complex systems science and the conceptualization of emergence in terms of representational recursiveness, which allows the two sides of the discussion so far to be understood as complementary aspects of reflexiveness, one of which aligns with the cultivation of (self-) consciousness, the other with the simple enactment of systemic relations. Finally I address the conceptual challenge presented by an account of narrative, and fiction, based upon reflexiveness, and suggest some ways in which it can be understood