Planck pre-launch status: Expected LFI polarisation capability

We present a system-level description of the Low Frequency Instrument (LFI) considered as a differencing polarimeter, and evaluate its expected performance. The LFI is one of the two instruments on board the ESA Planck mission to study the cosmic microwave background. It consists of a set of 22 radiometers sensitive to linear polarisation, arranged in orthogonally-oriented pairs connected to 11 feed horns operating at 30, 44 and 70 GHz. In our analysis, the generic Jones and Mueller-matrix formulations for polarimetry are adapted to the special case of the LFI. Laboratory measurements of flight components are combined with optical simulations of the telescope to investigate the values and uncertainties in the system parameters affecting polarisation response. Methods of correcting residual systematic errors are also briefly discussed. The LFI has beam-integrated polarisation efficiency >99% for all detectors, with uncertainties below 0.1%. Indirect assessment of polarisation position angles suggests that uncertainties are generally less than 0°.5, and this will be checked in flight using observations of the Crab nebula. Leakage of total intensity into the polarisation signal is generally well below the thermal noise level except for bright Galactic emission, where the dominant effect is likely to be spectral-dependent terms due to bandpass mismatch between the two detectors behind each feed, contributing typically 1–3% leakage of foreground total intensity. Comparable leakage from compact features occurs due to beam mismatch, but this averages to < 5 × 10^(-4) for large-scale emission. An inevitable feature of the LFI design is that the two components of the linear polarisation are recovered from elliptical beams which differ substantially in orientation. This distorts the recovered polarisation and its angular power spectrum, and several methods are being developed to correct the effect, both in the power spectrum and in the sky maps. The LFI will return a high-quality measurement of the CMB polarisation, limited mainly by thermal noise. To meet our aspiration of measuring polarisation at the 1% level, further analysis of flight and ground data is required. We are still researching the most effective techniques for correcting subtle artefacts in polarisation; in particular the correction of bandpass mismatch effects is a formidable challenge, as it requires multi-band analysis to estimate the spectral indices that control the leakage

Modular termination verification for non-blocking concurrency

© Springer-Verlag Berlin Heidelberg 2016.We present Total-TaDA, a program logic for verifying the total correctness of concurrent programs: that such programs both terminate and produce the correct result. With Total-TaDA, we can specify constraints on a thread’s concurrent environment that are necessary to guarantee termination. This allows us to verify total correctness for nonblocking algorithms, e.g. a counter and a stack. Our specifications can express lock- and wait-freedom. More generally, they can express that one operation cannot impede the progress of another, a new non-blocking property we call non-impedance. Moreover, our approach is modular. We can verify the operations of a module independently, and build up modules on top of each other

Effect of supplementary food on age ratios of European turtle doves (Streptopelia turtur L.)

Efecto de la alimentación complementaria en la razón de edad de la tórtola europea (Streptopelia turtur L.) Son numerosas las aves de los hábitats agrícolas que tienen dificultades para encontrar suficiente alimento en los ecosistemas agrícolas intensivos y que, en los hábitats explotados de forma más extensiva, suelen ser atraídas por las fuentes antrópicas de alimento. La tórtola europea, Streptopelia turtur, se alimenta de semillas que se hallan en el suelo y es atraída inmediatamente por los cereales que se aportan como complemento a los comederos. El aporte complementario de alimento es una práctica habitual en la gestión de los cotos de caza de todo el mundo. Este estudio se realizó en 40 cotos de caza ubicados en el centro y el oeste de España: 20 zonas en las que se aportó alimentación complementaria para atraer a las tórtolas y 20 zonas de control sin comederos. En las zonas con alimentación complementaria, las razones de edad en el campo y en las aves cazadas fueron, respectivamente, un 20% y un 33% más elevadas que en las zonas de control, lo que indica que la alimentación complementaria tiene un efecto positivo en el éxito reproductivo en torno a las zonas con aporte de alimento complementario. Tanto la cantidad de alimento suministrado por día como el período en el que se aportó (20-120 días) se correlacionaron positivamente con la razón de edad en el campo y, con menos intensidad, con la razón de edad en las aves cazadas. Estos datos sugieren que el suministro de alimento extra puede aumentar el éxito reproductivo de esta especie si la cantidad aportada es suficientemente abundante y si se empieza a proporcionar a principios de la temporada de cría. No obstante, la presión cinegética también fue mayor en las zonas con aporte de alimento complementario, por lo que sería necesario analizar minuciosamente los efectos positivos y negativos de dicho aporte con vistas a determinar qué prácticas de gestión garantizarán la viabilidad de estas importantes poblaciones de tórtola europea.Many farmland birds have difficulties finding sufficient food in intensely managed agricultural ecosystems, and in more extensively worked landscapes they are often attracted to human–induced dietary sources. European turtle doves Streptopelia turtur feed on seeds collected on the ground, and are readily attracted to supplementary provided grain at feeding stations. Supplementary feeding is a common management practice on hunting estates around the world. This study was conducted in 40 hunting estates located in central west Spain: 20 sites where supplementary food was provided to attract turtle doves and 20 control sites without feeding stations. At sites with supplemental feeding, the field age ratio was 20% higher and the hunted age ratio was 33% higher than at control sites, indicating a positive effect of the food supplementation of the breeding success around supplemented sites. Both the amount of food provided per day and the amount of time where supplemental food was given (20–120 days) were positively correlated with the field age ratio and, less strongly, with the hunted age ratio. These data suggest that providing extra food can increase the breeding success of this species when the amount provided is sufficiently large and when supplementary food is provided early in the breeding season. However, hunting pressure was also higher at supplemented sites. Future studies should therefore closely monitor the positive and negative effects in order to ascertain which management practices will ensure the viability of these important European turtle dove populations.Efecto de la alimentación complementaria en la razón de edad de la tórtola europea (Streptopelia turtur L.) Son numerosas las aves de los hábitats agrícolas que tienen dificultades para encontrar suficiente alimento en los ecosistemas agrícolas intensivos y que, en los hábitats explotados de forma más extensiva, suelen ser atraídas por las fuentes antrópicas de alimento. La tórtola europea, Streptopelia turtur, se alimenta de semillas que se hallan en el suelo y es atraída inmediatamente por los cereales que se aportan como complemento a los comederos. El aporte complementario de alimento es una práctica habitual en la gestión de los cotos de caza de todo el mundo. Este estudio se realizó en 40 cotos de caza ubicados en el centro y el oeste de España: 20 zonas en las que se aportó alimentación complementaria para atraer a las tórtolas y 20 zonas de control sin comederos. En las zonas con alimentación complementaria, las razones de edad en el campo y en las aves cazadas fueron, respectivamente, un 20% y un 33% más elevadas que en las zonas de control, lo que indica que la alimentación complementaria tiene un efecto positivo en el éxito reproductivo en torno a las zonas con aporte de alimento complementario. Tanto la cantidad de alimento suministrado por día como el período en el que se aportó (20-120 días) se correlacionaron positivamente con la razón de edad en el campo y, con menos intensidad, con la razón de edad en las aves cazadas. Estos datos sugieren que el suministro de alimento extra puede aumentar el éxito reproductivo de esta especie si la cantidad aportada es suficientemente abundante y si se empieza a proporcionar a principios de la temporada de cría. No obstante, la presión cinegética también fue mayor en las zonas con aporte de alimento complementario, por lo que sería necesario analizar minuciosamente los efectos positivos y negativos de dicho aporte con vistas a determinar qué prácticas de gestión garantizarán la viabilidad de estas importantes poblaciones de tórtola europea

Quantum Hall Effect in Graphene with Interface-Induced Spin-Orbit Coupling

We consider an effective model for graphene with interface-induced spin-orbit coupling and calculate the quantum Hall effect in the low-energy limit. We perform a systematic analysis of the contribution of the different terms of the effective Hamiltonian to the quantum Hall effect (QHE). By analysing the spin-splitting of the quantum Hall states as a function of magnetic field and gate-voltage, we obtain different scaling laws that can be used to characterise the spin-orbit coupling in experiments. Furthermore, we employ a real-space quantum transport approach to calculate the quantum Hall conductivity and investigate the robustness of the QHE to disorder introduced by hydrogen impurities. For that purpose, we combine first-principles calculations and a genetic algorithm strategy to obtain a graphene-only Hamiltonian that models the impurity

A computationally efficient method for calculating the maximum conductance of disordered networks: Application to 1-dimensional conductors

Random networks of carbon nanotubes and metallic nanowires have shown to be very useful in the production of transparent, conducting films. The electronic transport on the film depends considerably on the network properties, and on the inter-wire coupling. Here we present a simple, computationally efficient method for the calculation of conductance on random nanostructured networks. The method is implemented on metallic nanowire networks, which are described within a single-orbital tight binding Hamiltonian, and the conductance is calculated with the Kubo formula. We show how the network conductance depends on the average number of connections per wire, and on the number of wires connected to the electrodes. We also show the effect of the inter-/intra-wire hopping ratio on the conductance through the network. Furthermore, we argue that this type of calculation is easily extendable to account for the upper conductivity of realistic films spanned by tunneling networks. When compared to experimental measurements, this quantity provides a clear indication of how much room is available for improving the film conductivity.Comment: 7 pages, 5 figure

Critical steps to ensure the successful reintroduction of the Eurasian red squirrel

Pasos fundamentales para garantizar la eficacia de la reintroducción de la ardilla roja El objetivo de las estrategias de reintroducción de fauna silvestre es establecer poblaciones viables a largo plazo, fomentar la concienciación con respecto a la conservación y aportar beneficios económicos para las comunidades locales. La ardilla roja (Sciurus vulgaris), que estaba extinta en Portugal desde el s. XVI, fue reintroducida en varios parques urbanos en la década de los años 90, principalmente con fines estéticos y recreativos. Evaluamos la eficacia de esta reintroducción en dos parques urbanos y describimos los pasos fundamentales de la misma. Se evaluaron la utilización del hábitat, la densidad y abundancia de la población y las medidas de gestión adoptadas durante los proyectos de reintroducción. Las reintroducciones fueron relativamente eficaces dado a que las ardillas seguían presentes 20 años después de la liberación. No obstante, las poblaciones en ambos parques están disminuyendo debido a la falta de una gestión activa y a la mala calidad del hábitat. La reintroducción eficaz de la ardilla roja en zonas donde no hay ardillas arborícolas exóticas conlleva tres etapas fundamentales. La etapa previa al proyecto comprende estudios sobre la calidad del hábitat; la proximidad genética entre los donantes y la población silvestre más cercana, y la salud de las poblaciones donantes. En la etapa de liberación, el número de individuos liberados dependerá de la variabilidad de los recursos disponibles; asimismo, se ha observado que la técnica de liberación dura es un método eficaz y viable desde el punto de vista económico. Las actividades posteriores a la liberación deberían analizar la adaptación, mitigar la mortalidad, hacer un seguimiento de la necesidad de aportar alimentación complementaria, prestar apoyo veterinario y fomentar la sensibilización pública y la educación.Wildlife reintroduction strategies aim to establish viable long–term populations, promote conservation awareness and provide economic benefits for local communities. In Portugal, the Eurasian red squirrel (Sciurus vulgaris) became extinct in the 16th century and was reintroduced in urban parks in the 1990s, mainly for aesthetic and leisure purposes. We evaluated the success of this reintroduction in two urban parks and here described the critical steps. We assessed habitat use, population density and abundance, and management steps carried out during reintroduction projects. Reintroductions have been successful to some extent given squirrels are present 20 years after release. However, populations in both parks are declining due to the lack of active management and poor quality habitat. Successful reintroduction of Eurasian red squirrel in areas without competition of alien tree squirrels involves three critical main stages. The pre–project stage includes studies on habitat quality, genetic proximity between donors and closest wild population, and health of donor stocks. In the release stage, the number of individuals released will depend on resource variability, and the hard release technique is an effective and economically viable method. Post–release activities should evaluate adaptation, mitigate mortality, monitor the need for supplementary feeding, provide veterinary support, and promote public awareness and education.Pasos fundamentales para garantizar la eficacia de la reintroducción de la ardilla roja El objetivo de las estrategias de reintroducción de fauna silvestre es establecer poblaciones viables a largo plazo, fomentar la concienciación con respecto a la conservación y aportar beneficios económicos para las comunidades locales. La ardilla roja (Sciurus vulgaris), que estaba extinta en Portugal desde el s. XVI, fue reintroducida en varios parques urbanos en la década de los años 90, principalmente con fines estéticos y recreativos. Evaluamos la eficacia de esta reintroducción en dos parques urbanos y describimos los pasos fundamentales de la misma. Se evaluaron la utilización del hábitat, la densidad y abundancia de la población y las medidas de gestión adoptadas durante los proyectos de reintroducción. Las reintroducciones fueron relativamente eficaces dado a que las ardillas seguían presentes 20 años después de la liberación. No obstante, las poblaciones en ambos parques están disminuyendo debido a la falta de una gestión activa y a la mala calidad del hábitat. La reintroducción eficaz de la ardilla roja en zonas donde no hay ardillas arborícolas exóticas conlleva tres etapas fundamentales. La etapa previa al proyecto comprende estudios sobre la calidad del hábitat; la proximidad genética entre los donantes y la población silvestre más cercana, y la salud de las poblaciones donantes. En la etapa de liberación, el número de individuos liberados dependerá de la variabilidad de los recursos disponibles; asimismo, se ha observado que la técnica de liberación dura es un método eficaz y viable desde el punto de vista económico. Las actividades posteriores a la liberación deberían analizar la adaptación, mitigar la mortalidad, hacer un seguimiento de la necesidad de aportar alimentación complementaria, prestar apoyo veterinario y fomentar la sensibilización pública y la educación