Adapting Real Quantifier Elimination Methods for Conflict Set Computation

The satisfiability problem in real closed fields is decidable. In the context of satisfiability modulo theories, the problem restricted to conjunctive sets of literals, that is, sets of polynomial constraints, is of particular importance. One of the central problems is the computation of good explanations of the unsatisfiability of such sets, i.e.\ obtaining a small subset of the input constraints whose conjunction is already unsatisfiable. We adapt two commonly used real quantifier elimination methods, cylindrical algebraic decomposition and virtual substitution, to provide such conflict sets and demonstrate the performance of our method in practice

Nonstationary Stochastic Resonance in a Single Neuron-Like System

Stochastic resonance holds much promise for the detection of weak signals in the presence of relatively loud noise. Following the discovery of nondynamical and of aperiodic stochastic resonance, it was recently shown that the phenomenon can manifest itself even in the presence of nonstationary signals. This was found in a composite system of differentiated trigger mechanisms mounted in parallel, which suggests that it could be realized in some elementary neural networks or nonlinear electronic circuits. Here, we find that even an individual trigger system may be able to detect weak nonstationary signals using stochastic resonance. The very simple modification to the trigger mechanism that makes this possible is reminiscent of some aspects of actual neuron physics. Stochastic resonance may thus become relevant to more types of biological or electronic systems injected with an ever broader class of realistic signals.Comment: Plain Latex, 7 figure

Five Dimensional Cosmological Models in General Relativity

A Five dimensional Kaluza-Klein space-time is considered in the presence of a perfect fluid source with variable G and $\Lambda$. An expanding universe is found by using a relation between the metric potential and an equation of state. The gravitational constant is found to decrease with time as $G \sim t^{-(1-\omega)}$ whereas the variation for the cosmological constant follows as $\Lambda \sim t^{-2}$, $\Lambda \sim (\dot R/R)^2$ and $\Lambda \sim \ddot R/R$ where $\omega$ is the equation of state parameter and $R$ is the scale factor.Comment: 13 pages, 4 figures, accepted in Int. J. Theor. Phy

Phase-Field Approach for Faceted Solidification

We extend the phase-field approach to model the solidification of faceted materials. Our approach consists of using an approximate gamma-plot with rounded cusps that can approach arbitrarily closely the true gamma-plot with sharp cusps that correspond to faceted orientations. The phase-field equations are solved in the thin-interface limit with local equilibrium at the solid-liquid interface [A. Karma and W.-J. Rappel, Phys. Rev. E53, R3017 (1996)]. The convergence of our approach is first demonstrated for equilibrium shapes. The growth of faceted needle crystals in an undercooled melt is then studied as a function of undercooling and the cusp amplitude delta for a gamma-plot of the form 1+delta(|sin(theta)|+|cos(theta)|). The phase-field results are consistent with the scaling law "Lambda inversely proportional to the square root of V" observed experimentally, where Lambda is the facet length and V is the growth rate. In addition, the variation of V and Lambda with delta is found to be reasonably well predicted by an approximate sharp-interface analytical theory that includes capillary effects and assumes circular and parabolic forms for the front and trailing rough parts of the needle crystal, respectively.Comment: 1O pages, 2 tables, 17 figure

Challenges and Obstacles for a Bouncing Universe in Brane Models

A Brane evolving in the background of a charged AdS black-hole displays in general a bouncing behaviour with a smooth transition from a contracting to an expanding phase. We examine in detail the conditions and consequences of this behaviour in various cases. For a cosmological-constant-dominated Brane, we obtain a singularity-free, inflationary era which is shown to be compatible only with an intermediate-scale fundamental Planck mass. For a radiation-dominated Brane, the bouncing behaviour can occur only for background-charge values exceeding those allowed for non-extremal black holes. For a matter-dominated Brane, the black-hole mass affects the proper volume or the expansion rate of the Brane. We also consider the Brane evolving in an asymmetric background of two distinct charged AdS black hole spacetimes being bounded by the Brane and find that, in the case of an empty critical Brane, bouncing behaviour occurs only if the black-hole mass difference is smaller than a certain value. The effects of a Brane curvature term on the bounce at early and late times are also investigated.Comment: 23 pages, Latex file, comments and references added, version to appear in Phys. Rev.

Clastic Polygonal Networks Around Lyot Crater, Mars: Possible Formation Mechanisms From Morphometric Analysis

Polygonal networks of patterned ground are a common feature in cold-climate environments. They can form through the thermal contraction of ice-cemented sediment (i.e. formed from fractures), or the freezing and thawing of ground ice (i.e. formed by patterns of clasts, or ground deformation). The characteristics of these landforms provide information about environmental conditions. Analogous polygonal forms have been observed on Mars leading to inferences about environmental conditions. We have identified clastic polygonal features located around Lyot crater, Mars (50°N, 30°E). These polygons are unusually large (> 100 m diameter) compared to terrestrial clastic polygons, and contain very large clasts, some of which are up to 15 metres in diameter. The polygons are distributed in a wide arc around the eastern side of Lyot crater, at a consistent distance from the crater rim. Using high-resolution imaging data, we digitised these features to extract morphological information. These data are compared to existing terrestrial and Martian polygon data to look for similarities and differences and to inform hypotheses concerning possible formation mechanisms. Our results show the clastic polygons do not have any morphometric features that indicate they are similar to terrestrial sorted, clastic polygons formed by freeze-thaw processes. They are too large, do not show the expected variation in form with slope, and have clasts that do not scale in size with polygon diameter. However, the clastic networks are similar in network morphology to thermal contraction cracks, and there is a potential direct Martian analogue in a sub-type of thermal contraction polygons located in Utopia Planitia. Based upon our observations, we reject the hypothesis that polygons located around Lyot formed as freeze-thaw polygons and instead an alternative mechanism is put forward: they result from the infilling of earlier thermal contraction cracks by wind-blown material, which then became compressed and/or cemented resulting in a resistant fill. Erosion then leads to preservation of these polygons in positive relief, while later weathering results in the fracturing of the fill material to form angular clasts. These results suggest that there was an extensive area of ice-rich terrain, the extent of which is linked to ejecta from Lyot crater

eta-prime photoproduction on the proton for photon energies from 1.527 to 2.227 GeV

Differential cross sections for the reaction gamma p -> eta-prime p have been measured with the CLAS spectrometer and a tagged photon beam with energies from 1.527 to 2.227 GeV. The results reported here possess much greater accuracy than previous measurements. Analyses of these data indicate for the first time the coupling of the etaprime N channel to both the S_11(1535) and P_11(1710) resonances, known to couple strongly to the eta N channel in photoproduction on the proton, and the importance of j=3/2 resonances in the process.Comment: 6 pages, 3 figure

BB flavour tagging using charm decays at the LHCb experiment

An algorithm is described for tagging the flavour content at production of neutral $B$ mesons in the LHCb experiment. The algorithm exploits the correlation of the flavour of a $B$ meson with the charge of a reconstructed secondary charm hadron from the decay of the other $b$ hadron produced in the proton-proton collision. Charm hadron candidates are identified in a number of fully or partially reconstructed Cabibbo-favoured decay modes. The algorithm is calibrated on the self-tagged decay modes $B^+ \to J/\psi \, K^+$ and $B^0 \to J/\psi \, K^{*0}$ using $3.0\mathrm{\,fb}^{-1}$ of data collected by the LHCb experiment at $pp$ centre-of-mass energies of $7\mathrm{\,TeV}$ and $8\mathrm{\,TeV}$. Its tagging power on these samples of $B \to J/\psi \, X$ decays is $(0.30 \pm 0.01 \pm 0.01) \%$.Comment: All figures and tables, along with any supplementary material and additional information, are available at http://lhcbproject.web.cern.ch/lhcbproject/Publications/LHCbProjectPublic/LHCb-PAPER-2015-027.htm

Search for direct production of charginos and neutralinos in events with three leptons and missing transverse momentum in √s = 7 TeV pp collisions with the ATLAS detector

A search for the direct production of charginos and neutralinos in final states with three electrons or muons and missing transverse momentum is presented. The analysis is based on 4.7 fb−1 of proton–proton collision data delivered by the Large Hadron Collider and recorded with the ATLAS detector. Observations are consistent with Standard Model expectations in three signal regions that are either depleted or enriched in Z-boson decays. Upper limits at 95% confidence level are set in R-parity conserving phenomenological minimal supersymmetric models and in simplified models, significantly extending previous results