Scanamorphos: a map-making software for Herschel and similar scanning bolometer arrays

Scanamorphos is one of the public softwares available to post-process scan observations performed with the Herschel photometer arrays. This post-processing mainly consists in subtracting the total low-frequency noise (both its thermal and non-thermal components), masking high-frequency artefacts such as cosmic ray hits, and projecting the data onto a map. Although it was developed for Herschel, it is also applicable with minimal adjustment to scan observations made with some other imaging arrays subjected to low-frequency noise, provided they entail sufficient redundancy; it was successfully applied to P-Artemis, an instrument operating on the APEX telescope. Contrary to matrix-inversion softwares and high-pass filters, Scanamorphos does not assume any particular noise model, and does not apply any Fourier-space filtering to the data, but is an empirical tool using purely the redundancy built in the observations -- taking advantage of the fact that each portion of the sky is sampled at multiple times by multiple bolometers. It is an interactive software in the sense that the user is allowed to optionally visualize and control results at each intermediate step, but the processing is fully automated. This paper describes the principles and algorithm of Scanamorphos and presents several examples of application.Comment: This is the final version as accepted by PASP (on July 27, 2013). A copy with much better-quality figures is available on http://www2.iap.fr/users/roussel/herschel

Symmetrised Characterisation of Noisy Quantum Processes

A major goal of developing high-precision control of many-body quantum systems is to realise their potential as quantum computers. Probably the most significant obstacle in this direction is the problem of "decoherence": the extreme fragility of quantum systems to environmental noise and other control limitations. The theory of fault-tolerant quantum error correction has shown that quantum computation is possible even in the presence of decoherence provided that the noise affecting the quantum system satisfies certain well-defined theoretical conditions. However, existing methods for noise characterisation have become intractable already for the systems that are controlled in today's labs. In this paper we introduce a technique based on symmetrisation that enables direct experimental characterisation of key properties of the decoherence affecting a multi-body quantum system. Our method reduces the number of experiments required by existing methods from exponential to polynomial in the number of subsystems. We demonstrate the application of this technique to the optimisation of control over nuclear spins in the solid state.Comment: About 12 pages, 5 figure

Efficient Symmetry Reduction and the Use of State Symmetries for Symbolic Model Checking

One technique to reduce the state-space explosion problem in temporal logic model checking is symmetry reduction. The combination of symmetry reduction and symbolic model checking by using BDDs suffered a long time from the prohibitively large BDD for the orbit relation. Dynamic symmetry reduction calculates representatives of equivalence classes of states dynamically and thus avoids the construction of the orbit relation. In this paper, we present a new efficient model checking algorithm based on dynamic symmetry reduction. Our experiments show that the algorithm is very fast and allows the verification of larger systems. We additionally implemented the use of state symmetries for symbolic symmetry reduction. To our knowledge we are the first who investigated state symmetries in combination with BDD based symbolic model checking

Negative Quasi-Probability as a Resource for Quantum Computation

A central problem in quantum information is to determine the minimal physical resources that are required for quantum computational speedup and, in particular, for fault-tolerant quantum computation. We establish a remarkable connection between the potential for quantum speed-up and the onset of negative values in a distinguished quasi-probability representation, a discrete analog of the Wigner function for quantum systems of odd dimension. This connection allows us to resolve an open question on the existence of bound states for magic-state distillation: we prove that there exist mixed states outside the convex hull of stabilizer states that cannot be distilled to non-stabilizer target states using stabilizer operations. We also provide an efficient simulation protocol for Clifford circuits that extends to a large class of mixed states, including bound universal states.Comment: 15 pages v4: This is a major revision. In particular, we have added a new section detailing an explicit extension of the Gottesman-Knill simulation protocol to deal with positively represented states and measurement (even when these are non-stabilizer). This paper also includes significant elaboration on the two main results of the previous versio

Model Checking CTL is Almost Always Inherently Sequential

The model checking problem for CTL is known to be P-complete (Clarke, Emerson, and Sistla (1986), see Schnoebelen (2002)). We consider fragments of CTL obtained by restricting the use of temporal modalities or the use of negations---restrictions already studied for LTL by Sistla and Clarke (1985) and Markey (2004). For all these fragments, except for the trivial case without any temporal operator, we systematically prove model checking to be either inherently sequential (P-complete) or very efficiently parallelizable (LOGCFL-complete). For most fragments, however, model checking for CTL is already P-complete. Hence our results indicate that, in cases where the combined complexity is of relevance, approaching CTL model checking by parallelism cannot be expected to result in any significant speedup. We also completely determine the complexity of the model checking problem for all fragments of the extensions ECTL, CTL+, and ECTL+

Bulk de novo mitogenome assembly from pooled total DNA elucidates the phylogeny of weevils (Coleoptera: Curculionoidea)

Complete mitochondrial genomes have been shown to be reliable markers for phylogeny reconstruction among diverse animal groups. However, the relative difficulty and high cost associated with obtaining de novo full mitogenomes have frequently led to conspicuously low taxon sampling in ensuing studies. Here, we report the successful use of an economical and accessible method for assembling complete or near-complete mitogenomes through shot-gun next-generation sequencing of a single library made from pooled total DNA extracts of numerous target species. To avoid the use of separate indexed libraries for each specimen, and an associated increase in cost, we incorporate standard polymerase chain reaction-based “bait” sequences to identify the assembled mitogenomes. The method was applied to study the higher level phylogenetic relationships in the weevils (Coleoptera: Curculionoidea), producing 92 newly assembled mitogenomes obtained in a single Illumina MiSeq run. The analysis supported a separate origin of wood-boring behavior by the subfamilies Scolytinae, Platypodinae, and Cossoninae. This finding contradicts morphological hypotheses proposing a close relationship between the first two of these but is congruent with previous molecular studies, reinforcing the utility of mitogenomes in phylogeny reconstruction. Our methodology provides a technically simple procedure for generating densely sampled trees from whole mitogenomes and is widely applicable to groups of animals for which bait sequences are the only required prior genome knowledge

Observing biogeochemical cycles at global scales with profiling floats and gliders: prospects for a global array

Chemical and biological sensor technologies have advanced rapidly in the past five years. Sensors that require low power and operate for multiple years are now available for oxygen, nitrate, and a variety of bio-optical properties that serve as proxies for important components of the carbon cycle (e.g., particulate organic carbon). These sensors have all been deployed successfully for long periods, in some cases more than three years, on platforms such as profiling floats or gliders. Technologies for pH, pCO2, and particulate inorganic carbon are maturing rapidly as well. These sensors could serve as the enabling technology for a global biogeochemical observing system that might operate on a scale comparable to the current Argo array. Here, we review the scientific motivation and the prospects for a global observing system for ocean biogeochemistry

Equivariant comparison of quantum homogeneous spaces

We prove the deformation invariance of the quantum homogeneous spaces of the q-deformation of simply connected simple compact Lie groups over the Poisson-Lie quantum subgroups, in the equivariant KK-theory with respect to the translation action by maximal tori. This extends a result of Neshveyev-Tuset to the equivariant setting. As applications, we prove the ring isomorphism of the K-group of Gq with respect to the coproduct of C(Gq), and an analogue of the Borsuk-Ulam theorem for quantum spheres.Comment: 21 page

On the Nature of Andromeda IV

Lying at a projected distance of 40' or 9 kpc from the centre of M31, Andromeda IV is an enigmatic object first discovered during van den Bergh's search for dwarf spheroidal companions to M31. Being bluer, more compact and higher surface brightness than other known dwarf spheroidals, it has been suggested that And IV is either a relatively old `star cloud' in the outer disk of M31 or a background dwarf galaxy. We present deep HST WFPC2 observations of And IV and the surrounding field which, along with ground-based long-slit spectroscopy and Halpha imagery, are used to decipher the true nature of this puzzling object. We find compelling evidence that And IV is a background galaxy seen through the disk of M31. The moderate surface brightness (SB(V)~24), very blue colour (V-I<~0.6), low current star formation rate (~0.001 solar mass/yr) and low metallicity (~10% solar) reported here are consistent with And IV being a small dwarf irregular galaxy, perhaps similar to Local Group dwarfs such as IC 1613 and Sextans A. Although the distance to And IV is not tightly constrained with the current dataset, various arguments suggest it lies in the range 5<~D<~8 Mpc, placing it well outside the confines of the Local Group. It may be associated with a loose group of galaxies, containing major members UGC 64, IC 1727 and NGC 784. We report an updated position and radial velocity for And IV.Comment: 26 pages, LaTex with 9 figures (including 6 jpg plates). Accepted for publication in A

Broadcasting graphic war violence: the moral face of Channel 4

Drawing on empirical data from Channel 4 (C4) regarding the broadcasting of violent war imagery, and positioned within Goffman’s notion of the interaction ritual (1959, 1967), this article investigates how C4 negotiate potentially competing commercial, regulatory and moral requirements through processes of discretionary decision-making. Throughout, the article considers the extent to which these negotiations are presented through a series of ‘imaginings’ – of C4 and its audience – which serve to simultaneously guide and legitimate the decisions made. This manifestation of imaginings moves us beyond more blanket explanations of ‘branding’ and instead allows us to see the final programmes as the end product of a series of complex negotiations and interactions between C4 and those multiple external parties significant to the workings of their organization. The insights gleaned from this case study are important beyond the workings of C4 because they help elucidate how all institutions and organizations may view, organize and justify their practices (to both themselves and others) within the perceived constraints in which they operate