Gravitational waves from stochastic relativistic sources: primordial turbulence and magnetic fields

The power spectrum of a homogeneous and isotropic stochastic variable, characterized by a finite correlation length, does in general not vanish on scales larger than the correlation scale. If the variable is a divergence free vector field, we demonstrate that its power spectrum is blue on large scales. Accounting for this fact, we compute the gravitational waves induced by an incompressible turbulent fluid and by a causal magnetic field present in the early universe. The gravitational wave power spectra show common features: they are both blue on large scales, and peak at the correlation scale. However, the magnetic field can be treated as a coherent source and it is active for a long time. This results in a very effective conversion of magnetic energy in gravitational wave energy at horizon crossing. Turbulence instead acts as a source for gravitational waves over a time interval much shorter than a Hubble time, and the conversion into gravitational wave energy is much less effective. We also derive a strong constraint on the amplitude of a primordial magnetic field when the correlation length is much smaller than the horizon.Comment: Replaced with revised version accepted for publication in Phys Rev

J004457+4123 (Sharov 21): not a remarkable nova in M31 but a background quasar with a spectacular UV flare

We announce the discovery of a quasar behind the disk of M31, which was previously classified as a remarkable nova in our neighbour galaxy. The paper is primarily aimed at the outburst of J004457+4123 (Sharov 21), with the first part focussed on the optical spectroscopy and the improvement in the photometric database. Both the optical spectrum and the broad band spectral energy distribution of Sharov 21 are shown to be very similar to that of normal, radio-quiet type 1 quasars. We present photometric data covering more than a century and resulting in a long-term light curve that is densely sampled over the past five decades. The variability of the quasar is characterized by a ground state with typical fluctuation amplitudes of ~0.2 mag around B~20.5, superimposed by a singular flare of ~2 yr duration (observer frame) with the maximum at 1992.81 where the UV flux has increased by a factor of ~20. The total energy in the flare is at least three orders of magnitudes higher than the radiated energy of the most luminous supernovae, provided that it comes from an intrinsic process and the energy is radiated isotropically. The profile of the flare light curve appears to be in agreement with the standard predictions for a stellar tidal disruption event where a ~10 M_sun giant star was shredded in the tidal field of a ~2...5 10^8 M_sun black hole. The short fallback time derived from the light curve requires an ultra-close encounter where the pericentre of the stellar orbit is deep within the tidal disruption radius. Gravitational microlensing provides an alternative explanation, though the probability of such a high amplification event is very low.Comment: Accepted for publication in Astronomy and Astrophysics, 14 pages, 11 figure

Inertial range scaling in numerical turbulence with hyperviscosity

Numerical turbulence with hyperviscosity is studied and compared with direct simulations using ordinary viscosity and data from wind tunnel experiments. It is shown that the inertial range scaling is similar in all three cases. Furthermore, the bottleneck effect is approximately equally broad (about one order of magnitude) in these cases and only its height is increased in the hyperviscous case--presumably as a consequence of the steeper decent of the spectrum in the hyperviscous subrange. The mean normalized dissipation rate is found to be in agreement with both wind tunnel experiments and direct simulations. The structure function exponents agree with the She-Leveque model. Decaying turbulence with hyperviscosity still gives the usual t^{-1.25} decay law for the kinetic energy, and also the bottleneck effect is still present and about equally strong.Comment: Final version (7 pages

The generic HASKELL user's guide : version 0.99 - Amber release

Software development often consists of designing datatypes around which functionality is added. Some functionality is datatype specific, whereas other functionality is defined on almost all datatypes in such a way that it depends only on the structure of the datatype. A function that works on many datatypes in this way is called a generic (or polytypic) function. Examples of generic functionality include storing a value in a database, editing a value, comparing two values for equality, and pretty-printing a value. Since datatypes often change and new datatypes are introduced, we have developed Generic HASKELL which supports generic definitions to save the programmer from (re)writing instances of generic functions. Generic HASKELL extends the functional programming language Haskell [5] with, among other things, a construct for defining type-indexed values with kind-indexed types, based on recent work by Hinze [2]. These values can be specialised to all Haskell datatypes, facilitating wider application of generic programming than provided by earlier systems such as PolyP [4]

Mobile annotation of geo-locations in digital books

This demo paper introduces an editor for manual annotation of locations in digital books, using a crowd-sourcing approach. It is the first of its kind and allows book lovers and literary travel enthusiasts to annotate the locations in their digital books on-the-go. We show both a mobile and a desktop version, and briefly explain the linkage to the Digital Library that is holding the digital books

Proof Relevant Corecursive Resolution

Resolution lies at the foundation of both logic programming and type class context reduction in functional languages. Terminating derivations by resolution have well-defined inductive meaning, whereas some non-terminating derivations can be understood coinductively. Cycle detection is a popular method to capture a small subset of such derivations. We show that in fact cycle detection is a restricted form of coinductive proof, in which the atomic formula forming the cycle plays the role of coinductive hypothesis. This paper introduces a heuristic method for obtaining richer coinductive hypotheses in the form of Horn formulas. Our approach subsumes cycle detection and gives coinductive meaning to a larger class of derivations. For this purpose we extend resolution with Horn formula resolvents and corecursive evidence generation. We illustrate our method on non-terminating type class resolution problems.Comment: 23 pages, with appendices in FLOPS 201

Anisotropic Local Stress and Particle Hopping in a Deeply Supercooled Liquid

The origin of the microscopic motions that lead to stress relaxation in deeply supercooled liquid remains unclear. We show that in such a liquid the stress relaxation is locally anisotropic which can serve as the driving force for the hopping of the system on its free energy surface. However, not all hopping are equally effective in relaxing the local stress, suggesting that diffusion can decouple from viscosity even at local level. On the other hand, orientational relaxation is found to be always coupled to stress relaxation.Comment: 4 pages, 3 figure

On Birthing Dancing Stars: The Need for Bounded Chaos in Information Interaction

While computers causing chaos is acommon social trope, nearly the entirety of the history of computing is dedicated to generating order. Typical interactive information retrieval tasks ask computers to support the traversal and exploration of large, complex information spaces. The implicit assumption is that they are to support users in simplifying the complexity (i.e. in creating order from chaos). But for some types of task, particularly those that involve the creative application or synthesis of knowledge or the creation of new knowledge, this assumption may be incorrect. It is increasingly evident that perfect order—and the systems we create with it—support highly-structured information tasks well, but provide poor support for less-structured tasks.We need digital information environments that help create a little more chaos from order to spark creative thinking and knowledge creation. This paper argues for the need for information systems that offerwhat we term ‘bounded chaos’, and offers research directions that may support the creation of such interface