Scotland's aquifers and groundwater bodies

Scotland’s groundwater is a highly valuable resource. The volume of groundwater is greater than the water found in our rivers and lochs, but is hidden from sight beneath our feet. Groundwater underpins Scotland’s private drinking water supplies and provides reliable strategic public water supply to many rural towns; it also sustains the bottled water and whisky industries and is relied upon for irrigation by many farmers. Groundwater also provides many important environmental functions, providing at least 30% of the flow in most Scottish rivers, and maintaining many precious ecosystems. Groundwater management in Scotland is delivered primarily through the River Basin Management framework. Groundwater bodies are a key component of this, defining areas of groundwater that behave in a similar way, both naturally and in response to pressures from human activity. Groundwater bodies provide a risk-based framework for prioritising action to remediate problems, and preventing new problems. Scottish groundwater bodies have undergone a major review for the second River Basin Management cycle, using the latest geological information from the British Geological Survey (BGS), and improved experience of groundwater management from the Scottish Environment Protection Agency (SEPA). A key new development is the separation of groundwater bodies into two layers: a shallow layer of superficial groundwater bodies, and a deep layer of bedrock groundwater bodies. This is important in order to help target action. Shallow groundwater bodies are more at risk from activities such as agriculture, whilst deeper bodies are more at risk from activities such as mining. This report provides a summary of the results of the review, which has been a collaborative project by BGS and SEPA. It documents the process of how the groundwater bodies and aquifers of Scotland were defined, and describes the hydrogeology of each of the main aquifers. The report can therefore be used as a technical introduction to the hydrogeology of Scotland. The two maps overleaf illustrate Scotland’s aquifers and the latest iteration of groundwater bodies as developed during this project

Unconditionally verifiable blind computation

Blind Quantum Computing (BQC) allows a client to have a server carry out a quantum computation for them such that the client's input, output and computation remain private. A desirable property for any BQC protocol is verification, whereby the client can verify with high probability whether the server has followed the instructions of the protocol, or if there has been some deviation resulting in a corrupted output state. A verifiable BQC protocol can be viewed as an interactive proof system leading to consequences for complexity theory. The authors, together with Broadbent, previously proposed a universal and unconditionally secure BQC scheme where the client only needs to be able to prepare single qubits in separable states randomly chosen from a finite set and send them to the server, who has the balance of the required quantum computational resources. In this paper we extend that protocol with new functionality allowing blind computational basis measurements, which we use to construct a new verifiable BQC protocol based on a new class of resource states. We rigorously prove that the probability of failing to detect an incorrect output is exponentially small in a security parameter, while resource overhead remains polynomial in this parameter. The new resource state allows entangling gates to be performed between arbitrary pairs of logical qubits with only constant overhead. This is a significant improvement on the original scheme, which required that all computations to be performed must first be put into a nearest neighbour form, incurring linear overhead in the number of qubits. Such an improvement has important consequences for efficiency and fault-tolerance thresholds.Comment: 46 pages, 10 figures. Additional protocol added which allows arbitrary circuits to be verified with polynomial securit

Cross-verification of independent quantum devices

Quantum computers are on the brink of surpassing the capabilities of even the most powerful classical computers. This naturally raises the question of how one can trust the results of a quantum computer when they cannot be compared to classical simulation. Here we present a verification technique that exploits the principles of measurement-based quantum computation to link quantum circuits of different input size, depth, and structure. Our approach enables consistency checks of quantum computations within a device, as well as between independent devices. We showcase our protocol by applying it to five state-of-the-art quantum processors, based on four distinct physical architectures: nuclear magnetic resonance, superconducting circuits, trapped ions, and photonics, with up to 6 qubits and 200 distinct circuits

Entanglement Transfer via XXZ Heisenberg chain with DM Interaction

The role of spin-orbit interaction, arises from the Dzyaloshinski-Moriya anisotropic antisymmetric interaction, on the entanglement transfer via an antiferromagnetic XXZ Heisenberg chain is investigated. From symmetrical point of view, the XXZ Hamiltonian with Dzyaloshinski-Moriya interaction can be replaced by a modified XXZ Hamiltonian which is defined by a new exchange coupling constant and rotated Pauli operators. The modified coupling constant and the angle of rotations are depend on the strength of Dzyaloshinski-Moriya interaction. In this paper we study the dynamical behavior of the entanglement propagation through a system which is consist of a pair of maximally entangled spins coupled to one end of the chain. The calculations are performed for the ground state and the thermal state of the chain, separately. In both cases the presence of this anisotropic interaction make our channel more efficient, such that the speed of transmission and the amount of the entanglement are improved as this interaction is switched on. We show that for large values of the strength of this interaction a large family of XXZ chains becomes efficient quantum channels, for whole values of an isotropy parameter in the region $-2 \leq \Delta \leq 2$.Comment: 21 pages, 9 figure

The intergenerational transmission of language skill

This paper examines the relationship between parents' and children's language skills for a nationally representative birth cohort born in the United Kingdom-the Millennium Cohort Study (MCS). We investigate both socioeconomic and ethnic differentials in children's vocabulary scores and the role of differences in parents' vocabulary scores in accounting for these. We find large vocabulary gaps between highly educated and less educated parents, and between ethnic groups. Nevertheless, socioeconomic and ethnic gaps in vocabulary scores are far wider among the parents than among their children. Parental vocabulary is a powerful mediator of inequalities in offspring's vocabulary scores at age 14, and also a powerful driver of change in language skills between the ages of five and 14. Once we account for parental vocabulary, no ethnic minority group of young people has a negative "vocabulary gap" compared to whites

State space modelling and data analysis exercises in LISA Pathfinder

LISA Pathfinder is a mission planned by the European Space Agency to test the key technologies that will allow the detection of gravitational waves in space. The instrument on-board, the LISA Technology package, will undergo an exhaustive campaign of calibrations and noise characterisation campaigns in order to fully describe the noise model. Data analysis plays an important role in the mission and for that reason the data analysis team has been developing a toolbox which contains all the functionalities required during operations. In this contribution we give an overview of recent activities, focusing on the improvements in the modelling of the instrument and in the data analysis campaigns performed both with real and simulated data.Comment: Plenary talk presented at the 9th International LISA Symposium, 21-25 May 2012, Pari

The LISA pathfinder mission

ISA Pathfinder (LPF), the second of the European Space Agency's Small Missions for Advanced Research in Technology (SMART), is a dedicated technology validation mission for future spaceborne gravitational wave detectors, such as the proposed eLISA mission. LISA Pathfinder, and its scientific payload - the LISA Technology Package - will test, in flight, the critical technologies required for low frequency gravitational wave detection: it will put two test masses in a near-perfect gravitational free-fall and control and measure their motion with unprecedented accuracy. This is achieved through technology comprising inertial sensors, high precision laser metrology, drag-free control and an ultra-precise micro-Newton propulsion system. LISA Pathfinder is due to be launched in mid-2015, with first results on the performance of the system being available 6 months thereafter. The paper introduces the LISA Pathfinder mission, followed by an explanation of the physical principles of measurement concept and associated hardware. We then provide a detailed discussion of the LISA Technology Package, including both the inertial sensor and interferometric readout. As we approach the launch of the LISA Pathfinder, the focus of the development is shifting towards the science operations and data analysis - this is described in the final section of the paper

Beyond the required LISA free-fall performance: new LISA pathfinder results down to 20 μHz

In the months since the publication of the first results, the noise performance of LISA Pathfinder has improved because of reduced Brownian noise due to the continued decrease in pressure around the test masses, from a better correction of noninertial effects, and from a better calibration of the electrostatic force actuation. In addition, the availability of numerous long noise measurement runs, during which no perturbation is purposely applied to the test masses, has allowed the measurement of noise with good statistics down to 20  μHz. The Letter presents the measured differential acceleration noise figure, which is at (1.74±0.05)  fm s^{-2}/sqrt[Hz] above 2 mHz and (6±1)×10  fm s^{-2}/sqrt[Hz] at 20  μHz, and discusses the physical sources for the measured noise. This performance provides an experimental benchmark demonstrating the ability to realize the low-frequency science potential of the LISA mission, recently selected by the European Space Agency

A noise simulator for eLISA: migrating LISA pathfinder knowledge to the eLISA mission

We present a new technical simulator for the eLISA mission, based on state space modeling techniques and developed in MATLAB. This simulator computes the coordinate and velocity over time of each body involved in the constellation, i.e. the spacecraft and its test masses, taking into account the different disturbances and actuations. This allows studying the contribution of instrumental noises and system imperfections on the residual acceleration applied on the TMs, the latter reflecting the performance of the achieved free-fall along the sensitive axis. A preliminary version of the results is presented