Thin accretion disks onto brane world black holes

The braneworld description of our universe entails a large extra dimension and a fundamental scale of gravity that might be lower by several orders of magnitude as compared to the Planck scale. An interesting consequence of the braneworld scenario is in the nature of the vacuum solutions of the brane gravitational field equations, with properties quite distinct as compared to the standard black hole solutions of general relativity. One possibility of observationally discriminating between different types of black holes is the study of the emission properties of the accretion disks. In the present paper we obtain the energy flux, the emission spectrum and accretion efficiency from the accretion disks around several classes of static and rotating brane world black holes, and we compare them to the general relativistic case. Particular signatures can appear in the electromagnetic spectrum, thus leading to the possibility of directly testing extra-dimensional physical models by using astrophysical observations of the emission spectra from accretion disks.Comment: 37 pages, 14 figures, accepted for publication in PR

Deadlock checking by a behavioral effect system for lock handling

AbstractDeadlocks are a common error in programs with lock-based concurrency and are hard to avoid or even to detect. One way for deadlock prevention is to statically analyze the program code to spot sources of potential deadlocks. Often static approaches try to confirm that the lock-taking adheres to a given order, or, better, to infer that such an order exists. Such an order precludes situations of cyclic waiting for each other’s resources, which constitute a deadlock.In contrast, we do not enforce or infer an explicit order on locks. Instead we use a behavioral type and effect system that, in a first stage, checks the behavior of each thread or process against the declared behavior, which captures potential interaction of the thread with the locks. In a second step on a global level, the state space of the behavior is explored to detect potential deadlocks. We define a notion of deadlock-sensitive simulation to prove the soundness of the abstraction inherent in the behavioral description. Soundness of the effect system is proven by subject reduction, formulated such that it captures deadlock-sensitive simulation.To render the state-space finite, we show two further abstractions of the behavior sound, namely restricting the upper bound on re-entrant lock counters, and similarly by abstracting the (in general context-free) behavioral effect into a coarser, tail-recursive description. We prove our analysis sound using a simple, concurrent calculus with re-entrant locks

Stream-based dynamic data race detection

Detecting data races in modern code executing on multicore processors is challenging. Instrumentation-based techniques for race detection not only have a high performance impact, but also are not likely to be certified for safety-critical systems. This paper presents a data race detector based on the well-known lockset algorithm in the runtime verification language TeSSLa, which is a stream-based specification using dynamic data structures to record lock operations and memory accesses. Such a specification can then be instantiated with particular parameters to make it suitable for the more limited planned monitoring using field- programmable gate arrays

I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking

Under embargo until: 2023-07-04Static analysers are traditionally used to check various correctness properties of software. In the face of refactorings that can have adverse effects on correctness, developers need to analyse the code after refactoring and possibly revert their changes. Here, we take a different approach: we capture the effect of the Hide Delegate refactoring on programs in the ABS modelling language in terms of the base program, which allows us to predict the correctness of the refactored program. In particular, we focus on deadlock-detection. The actual check is encoded with the help of an additional data structure and assertions. Developers can then attempt to discharge assertions as vacuous with the help of a theorem prover such as KeY. On the one hand, this means that we do not require a specific static analyser nor theorem prover, but rather profit from the strength and advances of modern tool support. On the other hand, developers can choose to rely on existing tests to confirm that no assertion is triggered before executing the actual refactoring. Finally, we argue the correctness of our over-approximation.acceptedVersio

Thin accretion disks in f(R) modified gravity models

We consider the basic physical properties of matter forming a thin accretion disc in the static and spherically symmetric space-time metric of the vacuum $f(R)$ modified gravity models. The Lagrangian of the generalized gravity theory is also obtained in a parametric form, and the conditions of the viability of the model are discussed. The exact Schwarzschild type solution of the gravitational field equations in the $f(R)$ gravity contains a linearly increasing term, as well as a logarithmic correction, as compared to the standard Schwarzschild solution of general relativity, and it depends on four arbitrary integration constants. The energy flux and the emission spectrum from the accretion disk around the $f(R)$ gravity black holes are obtained, and they are compared to the general relativistic case. Particular signatures can appear in the electromagnetic spectrum, thus leading to the possibility of directly testing modified gravity models by using astrophysical observations of the emission spectra from accretion disks.Comment: 21 pages, 3 figures, accepted for publication in PR

High Resolution mid-Infrared Imaging of SN 1987A

Using the Thermal-Region Camera and Spectrograph (T-ReCS) attached to the Gemini South 8m telescope, we have detected and resolved 10 micron emission at the position of the inner equatorial ring (ER) of supernova SN 1987A at day 6067. ``Hot spots'' similar to those found in the optical and near-IR are clearly present. The morphology of the 10 micron emission is globally similar to the morphology at other wavelengths from X-rays to radio. The observed mid-IR flux in the region of SN1987A is probably dominated by emission from dust in the ER. We have also detected the ER at 20 micron at a 4 sigma level. Assuming that thermal dust radiation is the origin of the mid-IR emission, we derive a dust temperature of 180^{+20}_{-10} K, and a dust mass of 1.- 8. 10^{-5} Mo for the ER. Our observations also show a weak detection of the central ejecta at 10 micron. We show that previous bolometric flux estimates (through day 2100) were not significantly contaminated by this newly discovered emission from the ER. If we assume that the energy input comes from radioactive decays only, our measurements together with the current theoretical models set a temperature of 90 leq T leq 100 K and a mass range of 10^{-4} - 2. 10^{-3} Mo for the dust in the ejecta. With such dust temperatures the estimated thermal emission is 9(+/-3) 10^{35} erg s^{-1} from the inner ring, and 1.5 (+/-0.5) 10^{36} erg s^{-1} from the ejecta. Finally, using SN 1987A as a template, we discuss the possible role of supernovae as major sources of dust in the Universe.Comment: aastex502, 14 pages, 4 figures; Accepted for publication in ApJ Content changed: new observations, Referee's comments and suggestion

The Magnetorotational Instability in Core Collapse Supernova Explosions

We investigate the action of the magnetorotational instability (MRI) in the context of iron-core collapse. Exponential growth of the field on the rotation time scale by the MRI will dominate the linear growth process of field line "wrapping" with the same characteristic time. We examine a variety of initial rotation states, with solid body rotation or a gradient in rotational velocity, that correspond to models in the literature. A relatively modest value of the initial rotation, a period of ~ 10 s, will give a very rapidly rotating PNS and hence strong differential rotation with respect to the infalling matter. We assume conservation of angular momentum on spherical shells. Results are discussed for two examples of saturation fields, a fiducial field that corresponds to Alfven velocity = rotational velocity and a field that corresponds to the maximum growing mode of the MRI. Modest initial rotation velocities of the iron core result in sub-Keplerian rotation and a sub-equipartition magnetic field that nevertheless produce substantial MHD luminosity and hoop stresses: saturation fields of order 10^{15} - 10^{16} G develop within 300 msec after bounce with an associated MHD luminosity of about 10^{52} erg/s. Bi-polar flows driven by this MHD power can affect or even cause the explosions associated with core-collapse supernovae.Comment: 42 pages, including 15 figures. Accepted for publication in ApJ. We have revised to include an improved treatment of the convection, and some figures have been update