Seismic response to evolving injection at the Rotokawa geothermal field, New Zealand

Catalogs of microseismicity are routinely compiled at geothermal reservoirs and provide valuable insights into reservoir structure and fluid movement. Hypocentral locations are typically used to infer the orientations of structures and constrain the extent of the permeable reservoir. However, frequency-magnitude distributions may contain additional, and underused, information about the distribution of pressure. Here, we present a four-year catalog of seismicity for the Rotokawa geothermal field in the central Taupō Volcanic Zone, New Zealand starting two years after the commissioning of the 140 MWe Nga Awa Purua power station. Using waveform-correlation-based signal detection we double the size of the previous earthquake catalog, refine the location and orientation of two reservoir faults and identify a new structure. We find the rate of seismicity to be insensitive to major changes in injection strategy during the study period, including the injectivity decline and shift of injection away from the dominant injector, RK24. We also map the spatial distribution of the earthquake frequency-magnitude distribution, or b-value, and show that it increases from ∼1.0 to ∼1.5 with increasing depth below the reservoir. As has been proposed at other reservoirs, we infer that these spatial variations reflect the distribution of pressure in the reservoir, where areas of high b-value correspond to areas of high pore-fluid pressure and a broad distribution of activated fractures. This analysis is not routinely conducted by geothermal operators but shows promise for using earthquake b-value as an additional tool for reservoir monitoring and management

Manufacturing time operators: covariance, selection criteria, and examples

We provide the most general forms of covariant and normalized time operators and their probability densities, with applications to quantum clocks, the time of arrival, and Lyapunov quantum operators. Examples are discussed of the profusion of possible operators and their physical meaning. Criteria to define unique, optimal operators for specific cases are given

Seismic Response to Injection Well Stimulation in a High-Temperature, High-Permeability Reservoir

Fluid injection into the Earth's crust can induce seismic events that cause damage to local infrastructure but also offer valuable insight into seismogenesis. The factors that influence the magnitude, location, and number of induced events remain poorly understood but include injection flow rate and pressure as well as reservoir temperature and permeability. The relationship between injection parameters and injection-induced seismicity in high-temperature, high-permeability reservoirs has not been extensively studied. Here we focus on the Ngatamariki geothermal field in the central Taupō Volcanic Zone, New Zealand, where three stimulation/injection tests have occurred since 2012. We present a catalog of seismicity from 2012 to 2015 created using a matched-filter detection technique. We analyze the stress state in the reservoir during the injection tests from first motion-derived focal mechanisms, yielding an average direction of maximum horizontal compressive stress (SHmax) consistent with the regional NE-SW trend. However, there is significant variation in the direction of maximum compressive stress (σ1), which may reflect geological differences between wells. We use the ratio of injection flow rate to overpressure, referred to as injectivity index, as a proxy for near-well permeability and compare changes in injectivity index to spatiotemporal characteristics of seismicity accompanying each test. Observed increases in injectivity index are generally poorly correlated with seismicity, suggesting that the locations of microearthquakes are not coincident with the zone of stimulation (i.e., increased permeability). Our findings augment a growing body of work suggesting that aseismic opening or slip, rather than seismic shear, is the active process driving well stimulation in many environments

Deriving Bisimulation Congruences: 2-categories vs precategories

G-relative pushouts (GRPOs) have recently been proposed by the authors as a new foundation for Leifer and Milner’s approach to deriving labelled bisimulation congruences from reduction systems. This paper develops the theory of GRPOs further, arguing that they provide a simple and powerful basis towards a comprehensive solution. As an example, we construct GRPOs in a category of ‘bunches and wirings.’ We then examine the approach based on Milner’s precategories and Leifer’s functorial reactive systems, and show that it can be recast in a much simpler way into the 2-categorical theory of GRPOs

Boundary conformal fields and Tomita--Takesaki theory

Motivated by formal similarities between the continuum limit of the Ising model and the Unruh effect, this paper connects the notion of an Ishibashi state in boundary conformal field theory with the Tomita--Takesaki theory for operator algebras. A geometrical approach to the definition of Ishibashi states is presented, and it is shownthat, when normalisable the Ishibashi states are cyclic separating states, justifying the operator state correspondence. When the states are not normalisable Tomita--Takesaki theory offers an alternative approach based on left Hilbert algebras, opening the way to extensions of our construction and the state-operator correspondence.Comment: plain Te

Factors influencing prognosis in adults with acute myelogenous leukaemia.

A study of the thymidine labelling index (TLI) of bone marrow blast cells in 58 untreated patients with acute myelogenous leukemia showed no correlation with remission rate but there was a strong correlation between labelling index and remission length in the 21 patients who achieved remission. The median remission length of the patients was 33 weeks. Of the 12 patients with initial labelling indices greater than 10%, only 2 had remissions longer than 33 weeks whereas 8 of the 9 patients with labelling indices less than 10% had remissions longer than 33 weeks. No correlation could be found between the degree of cytological differentiation and remission induction, remission length or survival. No correlation was found between the TLI and the degree of cytological differentiation. Age and initial platelet count were confirmed to be important factors influencing complete remission rate, but these factors did not correlate with remission length. Sixteen patients had their pretreatment sera assayed for mouse marrow colony stimulating activity and inhibitor levels but there was no correlation with subsequent response to treatment, although the number of patients examined was clearly too small for any definite conclusions to be drawn

Diamonds's Temperature: Unruh effect for bounded trajectories and thermal time hypothesis

We study the Unruh effect for an observer with a finite lifetime, using the thermal time hypothesis. The thermal time hypothesis maintains that: (i) time is the physical quantity determined by the flow defined by a state over an observable algebra, and (ii) when this flow is proportional to a geometric flow in spacetime, temperature is the ratio between flow parameter and proper time. An eternal accelerated Unruh observer has access to the local algebra associated to a Rindler wedge. The flow defined by the Minkowski vacuum of a field theory over this algebra is proportional to a flow in spacetime and the associated temperature is the Unruh temperature. An observer with a finite lifetime has access to the local observable algebra associated to a finite spacetime region called a "diamond". The flow defined by the Minkowski vacuum of a (four dimensional, conformally invariant) quantum field theory over this algebra is also proportional to a flow in spacetime. The associated temperature generalizes the Unruh temperature to finite lifetime observers. Furthermore, this temperature does not vanish even in the limit in which the acceleration is zero. The temperature associated to an inertial observer with lifetime T, which we denote as "diamond's temperature", is 2hbar/(pi k_b T).This temperature is related to the fact that a finite lifetime observer does not have access to all the degrees of freedom of the quantum field theory.Comment: One reference correcte

Gopi: compiling linear and static channels in go

PTDC/CCI-COM/32166/2017We identify two important features to enhance the design of communication protocols specified in the pi-calculus, that are linear and static channels, and present a compiler, named GoPi, that maps high level specifications into executable Go programs. Channels declared as linear are deadlock-free, while the scope of static channels, which are bound by a hide declaration, does not enlarge at runtime; this is enforced statically by means of type inference, while specifications do not include annotations. Well-behaved processes are transformed into Go code that supports non-deterministic synchronizations and race-freedom. We sketch two main examples involving protection against message forwarding, and forward secrecy, and discuss the features of the tool, and the generated code. We argue that GoPi can support academic activities involving process algebras and formal models, which range from the analysis and testing of concurrent processes for research purposes to teaching formal languages and concurrent systems.publishersversionpublishe