Fermi-surface topology of the iron pnictide LaFe2_2P2_2

We report on a comprehensive de Haas--van Alphen (dHvA) study of the iron pnictide LaFe$_2$P$_2$. Our extensive density-functional band-structure calculations can well explain the measured angular-dependent dHvA frequencies. As salient feature, we observe only one quasi-two-dimensional Fermi-surface sheet, i.e., a hole-like Fermi-surface cylinder around $\Gamma$, essential for $s_\pm$ pairing, is missing. In spite of considerable mass enhancements due to many-body effects, LaFe$_2$P$_2$ shows no superconductivity. This is likely caused by the absence of any nesting between electron and hole bands.Comment: 5 pages, 4 figure

Practical reasoning in political discourse: The UK government's response to the economic crisis in the 2008 Pre-Budget Report

This article focuses on practical reasoning in political discourse and argues for a better integration of argumentation theory with critical discourse analysis (CDA). Political discourse and its specific genres (for example, deliberation) primarily involve forms of practical reasoning, typically oriented towards finding solutions to problems and deciding on future courses of action. Practical reasoning is a form of inference from cognitive and motivational premises: from what we believe (about the situation or about means—end relations) and what we want or desire (our goals and values), leading to a normative judgement (and often a decision) concerning action. We offer an analysis of the main argument in the UK government’s 2008 Pre-Budget Report (HM Treasury, 2008) and suggest how a critical evaluation of the argument from the perspective of a normative theory of argumentation (particularly the informal logic developed by Douglas Walton) can provide the basis for an evaluation in terms of characteristic CDA concerns. We are advancing this analysis as a contribution to CDA, aimed at increasing the rigour and systematicity of its analyses of political discourse, and as a contribution to the normative concerns of critical social science

Connected Network of Minima as a Model Glass: Long Time Dynamics

A simple model to investigate the long time dynamics of glass-formers is presented and applied to study a Lennard-Jones system in supercooled and glassy phases. According to our model, the point representing the system in the configurational phase space performs harmonic vibrations around (and activated jumps between) minima pertaining to a connected network. Exploiting the model, in agreement with the experimental results, we find evidence for: i) stretched relaxational dynamics; ii) a strong T-dependence of the stretching parameter; iii) breakdown of the Stokes-Einstein law.Comment: 4 pages (Latex), 4 eps figure

Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables

We show that Branching-time temporal logics CTL and CTL*, as well as Alternating-time temporal logics ATL and ATL*, are as semantically expressive in the language with a single propositional variable as they are in the full language, i.e., with an unlimited supply of propositional variables. It follows that satisfiability for CTL, as well as for ATL, with a single variable is EXPTIME-complete, while satisfiability for CTL*, as well as for ATL*, with a single variable is 2EXPTIME-complete,--i.e., for these logics, the satisfiability for formulas with only one variable is as hard as satisfiability for arbitrary formulas.Comment: Prefinal version of the published pape

A GCSS model intercomparison for a tropical squall line observed during toga-coare. II: Intercomparison of single-column models and a cloud-resolving model

This paper presents single-column model (SCM) simulations of a tropical squall-line case observed during the Coupled Ocean-Atmosphere Response Experiment of the Tropical Ocean/Global Atmosphere Programme. This case-study was part of an international model intercomparison project organized by Working Group 4 ‘Precipitating Convective Cloud Systems’ of the GEWEX (Global Energy and Water-cycle Experiment) Cloud System Study. Eight SCM groups using different deep-convection parametrizations participated in this project. The SCMs were forced by temperature and moisture tendencies that had been computed from a reference cloud-resolving model (CRM) simulation using open boundary conditions. The comparison of the SCM results with the reference CRM simulation provided insight into the ability of current convection and cloud schemes to represent organized convection. The CRM results enabled a detailed evaluation of the SCMs in terms of the thermodynamic structure and the convective mass flux of the system, the latter being closely related to the surface convective precipitation. It is shown that the SCMs could reproduce reasonably well the time evolution of the surface convective and stratiform precipitation, the convective mass flux, and the thermodynamic structure of the squall-line system. The thermodynamic structure simulated by the SCMs depended on how the models partitioned the precipitation between convective and stratiform. However, structural differences persisted in the thermodynamic profiles simulated by the SCMs and the CRM. These differences could be attributed to the fact that the total mass flux used to compute the SCM forcing differed from the convective mass flux. The SCMs could not adequately represent these organized mesoscale circulations and the microphysicallradiative forcing associated with the stratiform region. This issue is generally known as the ‘scale-interaction’ problem that can only be properly addressed in fully three-dimensional simulations. Sensitivity simulations run by several groups showed that the time evolution of the surface convective precipitation was considerably smoothed when the convective closure was based on convective available potential energy instead of moisture convergence. Finally, additional SCM simulations without using a convection parametrization indicated that the impact of a convection parametrization in forced SCM runs was more visible in the moisture profiles than in the temperature profiles because convective transport was particularly important in the moisture budget

Characterization of the seismic environment at the Sanford Underground Laboratory, South Dakota

An array of seismometers is being developed at the Sanford Underground Laboratory, the former Homestake mine, in South Dakota to study the properties of underground seismic fields and Newtonian noise, and to investigate the possible advantages of constructing a third-generation gravitational-wave detector underground. Seismic data were analyzed to characterize seismic noise and disturbances. External databases were used to identify sources of seismic waves: ocean-wave data to identify sources of oceanic microseisms, and surface wind-speed data to investigate correlations with seismic motion as a function of depth. In addition, sources of events contributing to the spectrum at higher frequencies are characterized by studying the variation of event rates over the course of a day. Long-term observations of spectral variations provide further insight into the nature of seismic sources. Seismic spectra at three different depths are compared, establishing the 4100-ft level as a world-class low seismic-noise environment.Comment: 29 pages, 16 figure

Torsional oscillators and the entropy dilemma of putative supersolid He-4

Solid He-4 is viewed as a nearly perfect Debye solid. Yet, recent calorimetry measurements by the PSU group (J. Low Temp. Phys. 138, 853 (2005) and Nature 449, 1025 (2007)) indicate that at low temperatures the specific heat has both cubic and linear contributions. These features appear in the same temperature range where measurements of the torsional oscillator period suggest a supersolid transition. We analyze the specific heat and compare the measured with the estimated entropy for a proposed supersolid transition with 1% superfluid fraction and find that the observed entropy is too small. We suggest that the low-temperature linear term in the specific heat is due to a glassy state that develops at low temperatures and is caused by a distribution of tunneling systems in the crystal. We propose that dislocation related defects produce those tunneling systems. Further, we argue that the reported putative mass decoupling, that means an increase in the oscillator frequency, is consistent with a glass-like transition. The glass scenario offers an alternative interpretation of the torsional oscillator experiments in contrast to the supersolid scenario of nonclassical rotational inertia.Comment: Presented at LT-25, Amsterdam 200

Automated Synthesis of Tableau Calculi

This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau inference rules that can then be used to reason within the logic. The method guarantees that the generated rules form a calculus which is sound and constructively complete. If the logic can be shown to admit finite filtration with respect to a well-defined first-order semantics then adding a general blocking mechanism provides a terminating tableau calculus. The process of generating tableau rules can be completely automated and produces, together with the blocking mechanism, an automated procedure for generating tableau decision procedures. For illustration we show the workability of the approach for a description logic with transitive roles and propositional intuitionistic logic.Comment: 32 page