Graph Creation, Visualisation and Transformation

We describe a tool to create, edit, visualise and compute with interaction nets - a form of graph rewriting systems. The editor, called GraphPaper, allows users to create and edit graphs and their transformation rules using an intuitive user interface. The editor uses the functionalities of the TULIP system, which gives us access to a wealth of visualisation algorithms. Interaction nets are not only a formalism for the specification of graphs, but also a rewrite-based computation model. We discuss graph rewriting strategies and a language to express them in order to perform strategic interaction net rewriting

Physics, Topology, Logic and Computation: A Rosetta Stone

In physics, Feynman diagrams are used to reason about quantum processes. In the 1980s, it became clear that underlying these diagrams is a powerful analogy between quantum physics and topology: namely, a linear operator behaves very much like a "cobordism". Similar diagrams can be used to reason about logic, where they represent proofs, and computation, where they represent programs. With the rise of interest in quantum cryptography and quantum computation, it became clear that there is extensive network of analogies between physics, topology, logic and computation. In this expository paper, we make some of these analogies precise using the concept of "closed symmetric monoidal category". We assume no prior knowledge of category theory, proof theory or computer science.Comment: 73 pages, 8 encapsulated postscript figure

Observation of the Ankle and Evidence for a High-Energy Break in the Cosmic Ray Spectrum

We have measured the cosmic ray spectrum at energies above $10^{17}$ eV using the two air fluorescence detectors of the High Resolution Fly's Eye experiment operating in monocular mode. We describe the detector, PMT and atmospheric calibrations, and the analysis techniques for the two detectors. We fit the spectrum to models describing galactic and extragalactic sources. Our measured spectrum gives an observation of a feature known as the ``ankle'' near $3\times 10^{18}$ eV, and strong evidence for a suppression near $6\times 10^{19}$ eV.Comment: 14 pages, 9 figures. To appear in Physics Letters B. Accepted versio

Observation of exclusive DVCS in polarized electron beam asymmetry measurements

We report the first results of the beam spin asymmetry measured in the reaction e + p -> e + p + gamma at a beam energy of 4.25 GeV. A large asymmetry with a sin(phi) modulation is observed, as predicted for the interference term of Deeply Virtual Compton Scattering and the Bethe-Heitler process. The amplitude of this modulation is alpha = 0.202 +/- 0.028. In leading-order and leading-twist pQCD, the alpha is directly proportional to the imaginary part of the DVCS amplitude.Comment: 6 pages, 5 figure

A Kinematically Complete Measurement of the Proton Structure Function F2 in the Resonance Region and Evaluation of Its Moments

We measured the inclusive electron-proton cross section in the nucleon resonance region (W < 2.5 GeV) at momentum transfers Q**2 below 4.5 (GeV/c)**2 with the CLAS detector. The large acceptance of CLAS allowed for the first time the measurement of the cross section in a large, contiguous two-dimensional range of Q**2 and x, making it possible to perform an integration of the data at fixed Q**2 over the whole significant x-interval. From these data we extracted the structure function F2 and, by including other world data, we studied the Q**2 evolution of its moments, Mn(Q**2), in order to estimate higher twist contributions. The small statistical and systematic uncertainties of the CLAS data allow a precise extraction of the higher twists and demand significant improvements in theoretical predictions for a meaningful comparison with new experimental results.Comment: revtex4 18 pp., 12 figure

The ANTARES Optical Beacon System

ANTARES is a neutrino telescope being deployed in the Mediterranean Sea. It consists of a three dimensional array of photomultiplier tubes that can detect the Cherenkov light induced by charged particles produced in the interactions of neutrinos with the surrounding medium. High angular resolution can be achieved, in particular when a muon is produced, provided that the Cherenkov photons are detected with sufficient timing precision. Considerations of the intrinsic time uncertainties stemming from the transit time spread in the photomultiplier tubes and the mechanism of transmission of light in sea water lead to the conclusion that a relative time accuracy of the order of 0.5 ns is desirable. Accordingly, different time calibration systems have been developed for the ANTARES telescope. In this article, a system based on Optical Beacons, a set of external and well-controlled pulsed light sources located throughout the detector, is described. This calibration system takes into account the optical properties of sea water, which is used as the detection volume of the ANTARES telescope. The design, tests, construction and first results of the two types of beacons, LED and laser-based, are presented.Comment: 21 pages, 18 figures, submitted to Nucl. Instr. and Meth. Phys. Res.

First validation of high-resolution satellite-derived methane emissions from an active gas leak in the UK

Atmospheric methane (CH4) is the second-most-important anthropogenic greenhouse gas and has a 20-year global warming potential 82 times greater than carbon dioxide (CO2). Anthropogenic sources account for ∼ 60 % of global CH4 emissions, of which 20 % come from oil and gas exploration, production and distribution. High-resolution satellite-based imaging spectrometers are becoming important tools for detecting and monitoring CH4 point source emissions, aiding mitigation. However, validation of these satellite measurements, such as those from the commercial GHGSat satellite constellation, has so far not been documented for active leaks. Here we present the monitoring and quantification, by GHGSat's satellites, of the CH4 emissions from an active gas leak from a downstream natural gas distribution pipeline near Cheltenham, UK, in the spring and summer of 2023 and provide the first validation of the satellite-derived emission estimates using surface-based mobile greenhouse gas surveys. We also use a Lagrangian transport model, the UK Met Office's Numerical Atmospheric-dispersion Modelling Environment (NAME), to estimate the flux from both satellite- and ground-based observation methods and assess the leak's contribution to observed concentrations at a local tall tower site (30 km away). We find GHGSat's emission estimates to be in broad agreement with those made from the in situ measurements. During the study period (March–June 2023) GHGSat's emission estimates are 236–1357 kg CH4 h−1, whereas the mobile surface measurements are 634–846 kg CH4 h−1. The large variability is likely down to variations in flow through the pipe and engineering works across the 11-week period. Modelled flux estimates in NAME are 181–1243 kg CH4 h−1, which are lower than the satellite- and mobile-survey-derived fluxes but are within the uncertainty. After detecting the leak in March 2023, the local utility company was contacted, and the leak was fixed by mid-June 2023. Our results demonstrate that GHGSat's observations can produce flux estimates that broadly agree with surface-based mobile measurements. Validating the accuracy of the information provided by targeted, high-resolution satellite monitoring shows how it can play an important role in identifying emission sources, including unplanned fugitive releases that are inherently challenging to identify, track, and estimate their impact and duration. Rapid, widespread access to such data to inform local action to address fugitive emission sources across the oil and gas supply chain could play a significant role in reducing anthropogenic contributions to climate change

Surface Plasmon mediated near-field imaging and optical addressing in nanoscience

We present an overview of recent progress in plasmonics. We focus our study on the observation and excitation of surface plasmon polaritons (SPPs) with optical near-field microscopy. We discuss in particular recent applications of photon scanning tunnelling microscope (PSTM) for imaging of SPP propagating in metal and dielectric wave guides. We show how near-field scanning optical microscopy (NSOM) can be used to optically and actively address remotely nano-objects such as quantum dots. Additionally we compare results obtained with near-field microscopy to those obtained with other optical far-field methods of analysis such as leakage radiation microscopy (LRM)