Gauge invariance in two-particle scattering

It is shown how gauge invariance is obtained for the coupling of a photon to a two-body state described by the solution of the Bethe-Salpeter equation. This is illustrated both for a complex scalar field theory and for interaction kernels derived from chiral effective Lagrangians.Comment: 16 pages, 2 figures, references added and commented o

Pion photoproduction off the proton in a gauge-invariant chiral unitary framework

We investigate pion photoproduction off the proton in a manifestly gauge-invariant chiral unitary extension of chiral perturbation theory. In a first step, we consider meson-baryon scattering taking into account all next-to-leading order contact interactions. The resulting low-energy constants are determined by a fit to s-wave pion-nucleon scattering and the low-energy data for the reaction pi- p --> eta n. To assess the theoretical uncertainty, we perform two different fit strategies. Having determined the low-energy constants, we then analyse the data on the s-wave multipole amplitudes E0+ of pion and eta photoproduction. These are parameter-free predictions, as the two new low-energy constants are determined by the neutron and proton magnetic moments.Comment: 23 pages, 17 figure

Echo Delay and Overlap with Emitted Orientation Sounds and Doppler-shift Compensation in the Bat, Rhinolophus ferrumequinum

The compensation of Doppler-shifts by the bat, Rhinolophusferrumequinum, functions only when certain temporal relations between the echo and the emitted orientation sound are given. Three echo configurations were used: a) Original orientation sounds were electronically Doppler-shifted and played back either cut at the beginning (variable delay) or at the end (variable duration) of the echo. b) Artificial constant frequency echoes with variable delay or duration were clamped to the frequency of the emitted orientation sound at different Doppler-shifts. c) The echoes were only partially Doppler-shifted and the Doppler-shifted component began after variable delays or had variable durations. With increasing delay or decreasing duration of the Doppler-shifted echo the compensation amplitude for a sinusoidally modulated + 3 kHz Dopplershift (modulation rate 0.08 Hz) decreases for all stimulus configurations (Figs. 1, 2, 3). The range of the Doppler-shift compensation system is therefore limited by the delay due to acoustic travel time to about 4 m distance between bat and target. In this range the overlap duration of the echo with the emitted orientation sound is always sufficiently long, when compared with data on the orientation pulse length during target approach from Schnitzler (1968) (Fig. 5)

Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory

There are two fundamentally different approaches to specifying and verifying properties of systems. The logical approach makes use of specifications given as formulae of temporal or modal logics and relies on efficient model checking algorithms; the behavioural approach exploits various equivalence or refinement checking methods, provided the specifications are given in the same formalism as implementations. In this paper we provide translations between the logical formalism of Hennessy-Milner logic with greatest fixed points and the behavioural formalism of disjunctive modal transition systems. We also introduce a new operation of quotient for the above equivalent formalisms, which is adjoint to structural composition and allows synthesis of missing specifications from partial implementations. This is a substantial generalisation of the quotient for deterministic modal transition systems defined in earlier papers

Crystal and magnetic structure of La_{1-x}Sr_{1+x}MnO_{4} : role of the orbital degree of freedom

The crystal and magnetic structure of La_{1-x}Sr_{1+x}MnO_4 (0<x<0.7) has been studied by diffraction techniques and high resolution capacitance dilatometry. There is no evidence for a structural phase transition like those found in isostructural cuprates or nickelates, but there are significant structural changes induced by the variation of temperature and doping which we attribute to a rearrangement of the orbital occupation.Comment: 8 pages, 6 figures, submitted to PR

Reconstructing Deconstruction: High-Velocity Cloud Distance Through Disruption Morphology

We present Arecibo L-band Feed Array 21-cm observations of a sub-complex of HVCs at the tip of the Anti-Center Complex. These observations show morphological details that point to interaction with the ambient halo medium and differential drag within the cloud sub-complex. We develop a new technique for measuring cloud distances, which relies upon these observed morphological and kinematic characteristics, and show that it is consistent with H-alpha distances. These results are consistent with distances to HVCs and halo densities derived from models in which HVCs are formed from cooling halo gas.Comment: 8 pages, 2 figures, 1 tabe, Accepted to Ap

Spitzer and z' Secondary Eclipse Observations of the Highly Irradiated Transiting Brown Dwarf KELT-1b

We present secondary eclipse observations of the highly irradiated transiting brown dwarf KELT-1b. These observations represent the first constraints on the atmospheric dynamics of a highly irradiated brown dwarf, and the atmospheres of irradiated giant planets at high surface gravity. Using the Spitzer Space Telescope, we measure secondary eclipse depths of 0.195+/-0.010% at 3.6um and 0.200+/-0.012% at 4.5um. We also find tentative evidence for the secondary eclipse in the z' band with a depth of 0.049+/-0.023%. These measured eclipse depths are most consistent with an atmosphere model in which there is a strong substellar hotspot, implying that heat redistribution in the atmosphere of KELT-1b is low. While models with a more mild hotspot or even with dayside heat redistribution are only marginally disfavored, models with complete heat redistribution are strongly ruled out. The eclipse depths also prefer an atmosphere with no TiO inversion layer, although a model with TiO inversion is permitted in the dayside heat redistribution case, and we consider the possibility of a day-night TiO cold trap in this object. For the first time, we compare the IRAC colors of brown dwarfs and hot Jupiters as a function of effective temperature. Importantly, our measurements reveal that KELT-1b has a [3.6]-[4.5] color of 0.07+/-0.11, identical to that of isolated brown dwarfs of similarly high temperature. In contrast, hot Jupiters generally show redder [3.6]-[4.5] colors of ~0.4, with a very large range from ~0 to ~1. Evidently, despite being more similar to hot Jupiters than to isolated brown dwarfs in terms of external forcing of the atmosphere by stellar insolation, KELT-1b has an atmosphere most like that of other brown dwarfs. This suggests that surface gravity is very important in controlling the atmospheric systems of substellar mass bodies.Comment: 14 pages, 3 tables, 11 figures. Accepted by ApJ. Updated to reflect the accepted versio

Class and rank of differential modules

A differential module is a module equipped with a square-zero endomorphism. This structure underpins complexes of modules over rings, as well as differential graded modules over graded rings. We establish lower bounds on the class--a substitute for the length of a free complex--and on the rank of a differential module in terms of invariants of its homology. These results specialize to basic theorems in commutative algebra and algebraic topology. One instance is a common generalization of the equicharacteristic case of the New Intersection Theorem of Hochster, Peskine, P. Roberts, and Szpiro, concerning complexes over noetherian commutative rings, and of a theorem of G. Carlsson on differential graded modules over graded polynomial rings.Comment: 27 pages. Minor changes; mainly stylistic. To appear in Inventiones Mathematica

Automated Certification of Authorisation Policy Resistance

Attribute-based Access Control (ABAC) extends traditional Access Control by considering an access request as a set of pairs attribute name-value, making it particularly useful in the context of open and distributed systems, where security relevant information can be collected from different sources. However, ABAC enables attribute hiding attacks, allowing an attacker to gain some access by withholding information. In this paper, we first introduce the notion of policy resistance to attribute hiding attacks. We then propose the tool ATRAP (Automatic Term Rewriting for Authorisation Policies), based on the recent formal ABAC language PTaCL, which first automatically searches for resistance counter-examples using Maude, and then automatically searches for an Isabelle proof of resistance. We illustrate our approach with two simple examples of policies and propose an evaluation of ATRAP performances.Comment: 20 pages, 4 figures, version including proofs of the paper that will be presented at ESORICS 201

Political hashtag publics and counter-visuality: a case study of #fertilityday in Italy

In 2016 the Italian health ministry launched the ‘Fertility Day’ campaign, aimed at tackling Italy’s low birth rate. Under the accusation of delivering sexist and racist messages, the campaign became a trending topic on Twitter, and a protest was launched to be held during Fertility Day. By applying a combination of digital methods and visual content analysis to the #fertilityday Twitter stream, this paper contributes to existing research on the deliberative strength of political hashtag publics, with a particular focus on their power structures, communication patterns and visual content use. Findings on gatekeeping dynamics downsize optimistic views on the democratising potential of Twitter’s socio-technical infrastructure as they point to the emergence of online satirical media and ‘tweetstars’ – along with mainstream news media– as main producers of spreadable content, with ordinary users only surfacing when traditional media elites and new satirical actors lack or lose interest in the debate. Results confirm that political hashtag publics follow acute event communication patterns, with users highly engaged in retweeting and referencing external material and visual content playing a key role in these gatewatching practices. The transient counter-visuality – or critical stance – of tweets with user-manipulated images, however, also suggests that the deliberative potential of these publics is not easily sustainable over time