arXiv subjects

Evan Johnson

Publications and source records attributed to Evan Johnson.

13 recordsLinked to original sources

arXiv2026

An economic geography dataset of U.S. skill specialization, relatedness, and complexity

We release a new dataset of U.S. skill specialization, relatedness, and complexity, derived from 433.6 million job postings between 2010 and 2024. The panel covers 3,194 counties across 15 years and reports 201 variables that describe the volume of job postings (e.g., labor demand), the modality and nature of work (e.g., remote share, internship share), and the structure of employer skill demand by category (e.g., specialized, software, and common). We develop a suite of economic geography variables: skill-based measures of county specialization, relatedness, diversity, complexity, and dynamics. These measures are further decomposed by employer entity type (corporate, university, government, and federal lab), along with entity-pair measures of alignment, overlap, and directional skill gaps. An accompanying interactive dashboard supports both academic research and applied use, with features including spatiotemporal visualization, county rankings and trends, pairwise county comparisons, and individual county profiles.

econ.GN↗

arXiv2022

Private delegated computations using strong isolation

Sensitive computations are now routinely delegated to third-parties. In response, Confidential Computing technologies are being introduced to microprocessors, offering a protected processing environment, which we generically call an isolate, providing confidentiality and integrity guarantees to code and data hosted within -- even in the face of a privileged attacker. Isolates, with an attestation protocol, permit remote third-parties to establish a trusted "beachhead" containing known code and data on an otherwise untrusted machine. Yet, the rise of these technologies introduces many new problems, including: how to ease provisioning of computations safely into isolates; how to develop distributed systems spanning multiple classes of isolate; and what to do about the billions of "legacy" devices without support for Confidential Computing? Tackling the problems above, we introduce Veracruz, a framework that eases the design and implementation of complex privacy-preserving, collaborative, delegated computations among a group of mutually mistrusting principals. Veracruz supports multiple isolation technologies and provides a common programming model and attestation protocol across all of them, smoothing deployment of delegated computations over supported technologies. We demonstrate Veracruz in operation, on private in-cloud object detection on encrypted video streaming from a video camera. In addition to supporting hardware-backed isolates -- like AWS Nitro Enclaves and Arm Confidential Computing Architecture Realms -- Veracruz also provides pragmatic "software isolates" on Armv8-A devices without hardware Confidential Computing capability, using the high-assurance seL4 microkernel and our IceCap framework.

cs.CR↗

arXiv2022

Resolving conceptual issues in Modern Coexistence Theory

In this paper, we discuss the conceptual underpinnings of Modern Coexistence Theory (MCT), a quantitative framework for understanding ecological coexistence. In order to use MCT to infer how species are coexisting, one must relate a complex model (which simulates coexistence in the real world) to simple models in which previously proposed explanations for coexistence have been codified. This can be accomplished in three steps: 1) relating the construct of coexistence to invasion growth rates, 2) mathematically partitioning the invasion growth rates into coexistence mechanisms (i.e., classes of explanations for coexistence), and 3) relating coexistence mechanisms to simple explanations for coexistence. Previous research has primarily focused on step 2. Here, we discuss the other crucial steps and their implications for inferring the mechanisms of coexistence in real communities. Our discussion of step 3 -- relating coexistence mechanisms to simple explanations for coexistence -- serves a heuristic guide for hypothesizing about the causes of coexistence in new models; but also addresses misconceptions about coexistence mechanisms. For example, the storage effect has little to do with bet-hedging or "storage" via a robust life-history stage; relative nonlinearity is more likely to promote coexistence than originally thought; and fitness-density covariance is an amalgam of a large number of previously proposed explanations for coexistence (e.g., the competition-colonization trade-off, heteromyopia, spatially-varying resource supply ratios). Additionally, we review a number of topics in MCT, including the role of "scaling factors"; whether coexistence mechanisms are approximations; whether the magnitude or sign of invasion growth rates matters more; whether Hutchinson solved the paradox of the plankton; the scale-dependence of coexistence mechanisms; and much more.

q-bio.PE↗

arXiv2022

Coexistence in spatiotemporally fluctuating environments

Ecologists have put forward many explanations for coexistence, but these are only partial explanations; nature is complex, so it is reasonable to assume that in any given ecological community, multiple mechanisms of coexistence are operating at the same time. Here, we present a methodology for quantifying the relative importance of different explanations for coexistence, based on an extension of Modern Coexistence Theory. Current versions of Modern Coexistence Theory only allow for the analysis of communities that are affected by spatial or temporal environmental variation, but not both. We show how to analyze communities with spatiotemporal fluctuations, how to parse the importance of spatial variation and temporal variation, and how to measure everything with either mathematical expressions or simulation experiments. Our extension of Modern Coexistence Theory allows empiricists to use realistic models and more data to better infer the mechanisms of coexistence in real communities.

q-bio.PE↗

arXiv2022

Towards a heuristic understanding of the storage effect

The storage effect is a general explanation for coexistence in a variable environment. The generality of the storage effect is both a strength - it can be quantified in many systems - and a challenge - there is not a clear relationship between the abstract conditions for storage effect and species' life-history traits (e.g., dormancy, stage-structure, non-overlapping generations), thus precluding a simple ecological interpretation of the storage effect. Our goal here is to provide a clearer understanding of the conditions for the storage effect as a step towards a better general explanation for coexistence in a variable environment. Our approach focuses on dividing one of the key conditions for the storage effect, covariance between environment and competition, into two pieces, namely that there must be a causal relationship between environment and competition, and that the effects of the environment do not change too quickly. This finer-grained definition can explain a number of previous results, including 1) that the storage effect promotes annual plant coexistence when the germination rate fluctuates, but not when the seed yield fluctuates, 2) that the storage effect is more likely to be induced by resource competition than apparent competition, and 3) that the spatial storage effect is more probable than the temporal storage effect. Additionally, our expanded definition suggests two novel mechanisms by which the temporal storage effect can arise: transgenerational plasticity, and causal chains of environmental variables. These mechanisms produce coexistence via the storage effect without any need for stage structure or a temporally autocorrelated environment.

q-bio.PE↗

arXiv2022

Methods for calculating coexistence mechanisms: Beyond scaling factors

How do species coexist? A framework known as Modern Coexistence Theory measures mechanisms of coexistence by comparing a species perturbed to low density (the invader) to other species that remain at their typical densities (the residents); this invader-resident comparison measures a rare-species advantage that results from specialization. However, there are several reasonable ways (i.e., methods) to compare invaders and residents, each differing in practicality and biological interpretation. Here, using theoretical arguments and case studies, we compare four such methods for calculating coexistence mechanisms: 1) Scaling factors, the traditional approach where resident growth rates are scaled by a measure of relative sensitivity to competition, obtained by solving a system of linear equations; 2) The simple comparison, which gives equal weight to all resident species; 3) Speed conversion factors, a novel method in which resident growth rates are scaled by a ratio of generation times, and; 4) The invader-invader comparison, another novel method in which a focal species is compared to itself at high vs. low density. We conclude that the conventional scaling factors can be useful in some theoretical research, but are not recommended for empirical applications, i.e., determining the mechanisms of coexistence in real communities. Instead, we recommend the simple comparison and speed conversion factor methods. The speed conversion factors are most useful when comparing species with dissimilar generation times. However, ecologists often study coexistence in guilds of species with similar life-histories, and therefore, similar generation times. In such scenarios, the easier-to-use simple comparison method is reasonable.

q-bio.PE↗

arXiv2021

Isolation Without Taxation: Near Zero Cost Transitions for SFI

Software sandboxing or software-based fault isolation (SFI) is a lightweight approach to building secure systems out of untrusted components. Mozilla, for example, uses SFI to harden the Firefox browser by sandboxing third-party libraries, and companies like Fastly and Cloudflare use SFI to safely co-locate untrusted tenants on their edge clouds. While there have been significant efforts to optimize and verify SFI enforcement, context switching in SFI systems remains largely unexplored: almost all SFI systems use \emph{heavyweight transitions} that are not only error-prone but incur significant performance overhead from saving, clearing, and restoring registers when context switching. We identify a set of \emph{zero-cost conditions} that characterize when sandboxed code has sufficient structured to guarantee security via lightweight \emph{zero-cost} transitions (simple function calls). We modify the Lucet Wasm compiler and its runtime to use zero-cost transitions, eliminating the undue performance tax on systems that rely on Lucet for sandboxing (e.g., we speed up image and font rendering in Firefox by up to 29.7\% and 10\% respectively). To remove the Lucet compiler and its correct implementation of the Wasm specification from the trusted computing base, we (1) develop a \emph{static binary verifier}, VeriZero, which (in seconds) checks that binaries produced by Lucet satisfy our zero-cost conditions, and (2) prove the soundness of VeriZero by developing a logical relation that captures when a compiled Wasm function is semantically well-behaved with respect to our zero-cost conditions. Finally, we show that our model is useful beyond Wasm by describing a new, purpose-built SFI system, SegmentZero32, that uses x86 segmentation and LLVM with mostly off-the-shelf passes to enforce our zero-cost conditions; our prototype performs on-par with the state-of-the-art Native Client SFI system.

cs.CR↗

arXiv2021

Swivel: Hardening WebAssembly against Spectre

We describe Swivel, a new compiler framework for hardening WebAssembly (Wasm) against Spectre attacks. Outside the browser, Wasm has become a popular lightweight, in-process sandbox and is, for example, used in production to isolate different clients on edge clouds and function-as-a-service platforms. Unfortunately, Spectre attacks can bypass Wasm's isolation guarantees. Swivel hardens Wasm against this class of attacks by ensuring that potentially malicious code can neither use Spectre attacks to break out of the Wasm sandbox nor coerce victim code-another Wasm client or the embedding process-to leak secret data. We describe two Swivel designs, a software-only approach that can be used on existing CPUs, and a hardware-assisted approach that uses extension available in Intel 11th generation CPUs. For both, we evaluate a randomized approach that mitigates Spectre and a deterministic approach that eliminates Spectre altogether. Our randomized implementations impose under 10.3% overhead on the Wasm-compatible subset of SPEC 2006, while our deterministic implementations impose overheads between 3.3% and 240.2%. Though high on some benchmarks, Swivel's overhead is still between 9x and 36.3x smaller than existing defenses that rely on pipeline fences.

cs.CR↗

arXiv2017

Zero-Range Effective Field Theory for Resonant Wino Dark Matter III. Annihilation Effects

Near a critical value of the wino mass where there is a zero-energy S-wave resonance at the neutral-wino-pair threshold, low-energy winos can be described by a zero-range effective field theory (ZREFT) in which the winos interact nonperturbatively through a contact interaction and through Coulomb interactions. The effects of wino-pair annihilation into electroweak gauge bosons are taken into account through the analytic continuation of the real parameters for the contact interaction to complex values. The parameters of ZREFT can be determined by matching wino-wino scattering amplitudes calculated by solving the Schr\"odinger equation for winos interacting through a real potential due to the exchange of electroweak gauge bosons and an imaginary potential due to wino-pair annihilation into electroweak gauge bosons. ZREFT at leading order gives an accurate analytic description of low-energy wino-wino scattering, inclusive wino-pair annihilation, and a wino-pair bound state. ZREFT can also be applied to partial annihilation rates, such as the Sommerfeld enhancement of the annihilation rate of wino pairs into monochromatic photons.

hep-ph↗

arXiv2017

Effective field theory for resonant wino dark matter

Enhancements in WIMP annihilation rates have been identified with a nonperturbative "Sommerfeld enhancement" arising from the exchange of light mediators. At certain critical values of the WIMP mass, the enhancement is increased dramatically due to a zero-energy resonance at the WIMP-pair threshold. For masses near these critical values, WIMP scattering processes are accurately described by an effective field theory where WIMPs have nonperturbative zero-range contact interactions. The effective field theory is controlled by a renormalization-group fixed point at which the WIMPs are degenerate in mass and their scattering length is infinite. If the WIMPs can exchange massless mediators, the resulting long-range interaction must also be treated nonperturbatively. We develop an effective field theory for SU(2)-triplet dark matter, which have short-range weak and long-range electromagnetic interactions. We refer to these dark matter particles as winos. The long-range Coulomb interaction between charged winos is resummed to all orders. The parameters of the effective field theory can be determined by matching wino-wino scattering amplitudes calculated by solving the Schr\"odinger equation with a potential describing exchange of electroweak gauge bosons. With Coulomb resummation, the effective field theory at leading order gives a good description of the low-energy two-body observables for winos.

hep-ph↗

arXiv2017

Zero-Range Effective Field Theory for Resonant Wino Dark Matter II. Coulomb Resummation

Near a critical value of the wino mass where there is a zero-energy S-wave resonance at the neutral-wino-pair threshold, low-energy winos can be described by a zero-range effective field theory (ZREFT) in which the winos interact nonperturbatively through a contact interaction and charged winos also have electromagnetic interactions. At energies near the wino-pair thresholds, the Coulomb interaction from photon exchange between charged winos must also be treated nonperturbatively. The parameters of ZREFT can be determined by matching wino-wino scattering amplitudes calculated by solving the Schr\"odinger equation for winos interacting through a potential due to the exchange of electroweak gauge bosons. With Coulomb resummation, ZREFT at leading order gives a good description of the low-energy two-body observables for winos.

hep-ph↗

arXiv2017

Zero-Range Effective Field Theory for Resonant Wino Dark Matter I. Framework

The most dramatic "Sommerfeld enhancements" of neutral-wino-pair annihilation occur when the wino mass is near a critical value where there is a zero-energy S-wave resonance at the neutral-wino-pair threshold. Near such a critical mass, low-energy winos can be described by a zero-range effective field theory in which the winos interact nonperturbatively through a contact interaction. The effective field theory is controlled by a renormalization-group fixed point at which the neutral and charged winos are degenerate in mass and their scattering length is infinite. The parameters of the zero-range effective field theory can be determined by matching wino-wino scattering amplitudes calculated by solving the Schr\"odinger equation for winos interacting through a potential due to the exchange of weak gauge bosons. If the wino mass is larger than the critical value, the resonance is a wino-pair bound state. The power of the zero-range effective field theory is illustrated by calculating the rate for formation of the bound state in the collision of two neutral winos through the emission of two soft photons.

hep-ph↗

arXiv2016

Wino dark matter annihilation through the radiative formation of bound states

The most dramatic "Sommerfeld enhancements" of neutral-wino-pair annihilation occur when the wino mass is tuned to near critical values where there is a zero-energy S-wave resonance at the neutral-wino-pair threshold. If the wino mass is larger than the critical value, the resonance is a wino-pair bound state. If the wino mass is near a critical value, low-energy winos can be described by a zero-range effective field theory in which the winos interact nonperturbatively through a contact interaction. The parameters of the zero-range effective field theory can be determined by matching wino scattering amplitudes calculated by solving the Schr\"odinger equation for a nonrelativistic effective field theory in which the winos interact through a potential due to the exchange of electroweak gauge bosons. The utility of the zero-range effective field theory is illustrated by calculating the rate for formation of an S-wave bound state in the collision of two neutral winos through the emission of two soft photons.

hep-ph↗