• Testing of network services represents one of the biggest challenges in cyber security. Because new vulnerabilities are detected on a regular basis, more research is needed. These faults have their roots in the software development cycle or because of intrinsic leaks in the system specification. Conformance testing checks whether a system behaves according to its specification. Here model-based testing provides several methods for automated detection of shortcomings. The formal specification of a system behavior represents the starting point of the testing process. In this paper, a widely used cryptographic protocol is specified and tested for conformance with a test execution framework. The first empirical results are presented and discussed.
  • Testing of network services represents one of the biggest challenges in cyber security. Because new vulnerabilities are detected on a regular basis, more research is needed. These faults have their roots in the software development cycle or because of intrinsic leaks in the system specification. Conformance testing checks whether a system behaves according to its specification. Here model-based testing provides several methods for automated detection of shortcomings. The formal specification of a system behavior represents the starting point of the testing process. In this paper, a widely used cryptographic protocol is specified and tested for conformance with a test execution framework. The first empirical results are presented and discussed.
  • The relation between Science (what we can explain) and Art (what we can't) has long been acknowledged and while every science contains an artistic part, every art form also needs a bit of science. Among all scientific disciplines, programming holds a special place for two reasons. First, the artistic part is not only undeniable but also essential. Second, and much like in a purely artistic discipline, the act of programming is driven partly by the notion of aesthetics: the pleasure we have in creating beautiful things. Even though the importance of aesthetics in the act of programming is now unquestioned, more could still be written on the subject. The field called "psychology of programming" focuses on the cognitive aspects of the activity, with the goal of improving the productivity of programmers. While many scientists have emphasized their concern for aesthetics and the impact it has on their activity, few computer scientists have actually written about their thought process while programming. What makes us like or dislike such and such language or paradigm? Why do we shape our programs the way we do? By answering these questions from the angle of aesthetics, we may be able to shed some new light on the art of programming. Starting from the assumption that aesthetics is an inherently transversal dimension, it should be possible for every programmer to find the same aesthetic driving force in every creative activity they undertake, not just programming, and in doing so, get deeper insight on why and how they do things the way they do. On the other hand, because our aesthetic sensitivities are so personal, all we can really do is relate our own experiences and share it with others, in the hope that it will inspire them to do the same. My personal life has been revolving around three major creative activities, of equal importance: programming in Lisp, playing Jazz music, and practicing Aikido. But why so many of them, why so different ones, and why these specifically? By introspecting my personal aesthetic sensitivities, I eventually realized that my tastes in the scientific, artistic, and physical domains are all motivated by the same driving forces, hence unifying Lisp, Jazz, and Aikido as three expressions of a single essence, not so different after all. Lisp, Jazz, and Aikido are governed by a limited set of rules which remain simple and unobtrusive. Conforming to them is a pleasure. Because Lisp, Jazz, and Aikido are inherently introspective disciplines, they also invite you to transgress the rules in order to find your own. Breaking the rules is fun. Finally, if Lisp, Jazz, and Aikido unify so many paradigms, styles, or techniques, it is not by mere accumulation but because they live at the meta-level and let you reinvent them. Working at the meta-level is an enlightening experience. Understand your aesthetic sensitivities and you may gain considerable insight on your own psychology of programming. Mine is perhaps common to most lispers. Perhaps also common to other programming communities, but that, is for the reader to decide...
  • The magnetic ordering of La$_{1/3}$Sr$_{2/3}$FeO$_3$ perovskite has been studied by neutron powder diffraction and $^{57}$Fe M\"ossbauer spectroscopy down to 2 K. From symmetry analysis, a chiral helical model and a collinear model are proposed to describe the magnetic structure. Both are commensurate, with progagation vector k = (0,0,1) in R-3c space group. In the former model, the magnetic moments of Fe adopt the magnetic space group P3$_{2}$21 and have helical and antiferromagnetic ordering propagating along the c axis. The model allows only one Fe site, with a magnetic moment of 3.46(2) $\mu_{\rm{B}}$ at 2 K. In the latter model, the magnetic moments of iron ions adopt the magnetic space group C2/c and are aligned collinearly. The model allows the presence of two inequivalent Fe sites with magnetic moments of amplitude 3.26(3) $\mu_{\rm{B}}$ and 3.67(2) $\mu_{\rm{B}}$, respectively. The neutron diffraction pattern is equally well fitted by either model. The M\"ossbauer spectroscopy study suggests a single charge state Fe$^{3.66+}$ above the magnetic transition and a charge disproportionation into Fe$^{(3.66-\zeta)+}$ and Fe$^{(3.66+2\zeta)+}$ below the magnetic transition. The compatibility of the magnetic structure models with the M\"ossbauer spectroscopy results is discussed.
  • The HeRSCheL detector consists of a set of scintillating counters, designed to increase the coverage of the LHCb experiment in the high-rapidity regions on either side of the main spectrometer. The new detector improves the capabilities of LHCb for studies of diffractive interactions, most notably Central Exclusive Production. In this paper the construction, installation, commissioning, and performance of HeRSCheL are presented.
  • We analyze the observations of a quiescent prominence acquired by the Telescope Heliographique pour l'Etude du Magnetisme et des Instabilites Solaires (THEMIS) in the He I 5876 A (He I D3) multiplet aiming to measure the spectral characteristics of the He I D3 profiles and to find for them an adequate fitting model. The component characteristics of the He I D3 Stokes I profiles are measured by the fitting system approximating them with a double Gaussian. This model yields an He I D3 component peak intensity ratio of $5.5\pm0.4$, which differs from the value of 8 expected in the optically thin limit. Most of the measured Doppler velocities lie in the interval $\pm5$ km/s, with a standard deviation of $\pm1.7$ km/s around the peak value of 0.4 km/s. The wide distribution of the full-width at half maximum has two maxima at 0.25 A and 0.30 A for the He I D3 blue component and two maxima at 0.22 A and 0.31 A for the red component. The width ratio of the components is $1.04\pm0.18$. We show that the double-Gaussian model systematically underestimates the blue wing intensities. To solve this problem, we invoke a two-temperature multi-Gaussian model, consisting of two double-Gaussians, which provides a better representation of He I D3 that is free of the wing intensity deficit. This model suggests temperatures of 11.5 kK and 91 kK, respectively, for the cool and the hot component of the target prominence. The cool and hot components of a typical He I D3 profile have component peak intensity ratios of 6.6 and 8, implying a prominence geometrical width of 17 Mm and an optical thickness of 0.3 for the cool component, while the optical thickness of the hot component is negligible. These prominence parameters seem to be realistic, suggesting the physical adequacy of the multi-Gaussian model with important implications for interpreting He I D3 spectropolarimetry by current inversion codes.
  • The X-ray spectra of many active galactic nuclei (AGN) show a soft X-ray excess below 1-2 keV on top of the extrapolated high- energy power law. The origin of this component is uncertain. It could be a signature of relativistically blurred, ionized reflection, or the high-energy tail of thermal Comptonization in a warm (kT $\sim$ 1 keV), optically thick ($\tau\simeq$ 10-20) corona producing the optical/UV to soft X-ray emission. The purpose of the present paper is to test the warm corona model on a statistically significant sample of unabsorbed, radio-quiet AGN with XMM-newton archival data, providing simultaneous optical/UV and X-ray coverage. The sample has 22 objects and 100 observations. We use two thermal comptonization components to fit the broad-band spectra, one for the warm corona emission and one for the high-energy continuum. In the optical-UV, we also include the reddening, the small blue bump and the Galactic extinction. In the X-rays, we include a WA and a neutral reflection. The model gives a good fit (reduced $\chi^2 <1.5$) to more than 90% of the sample. We find the temperature of the warm corona to be uniformly distributed in the 0.1-1 keV range, while the optical depth is in the range $\sim$10-40. These values are consistent with a warm corona covering a large fraction of a quasi-passive accretion disc, i.e. that mostly reprocesses the warm corona emission. The disk intrinsic emission represents no more than 20% of the disk total emission. According to this interpretation, most of the accretion power would be released in the upper layers of the accretion flow.
  • We build analytic surfaces in $\mathbb{R}cubec$ represented by the most general sixth Painlev\'e equation $P_{VI}$ in two steps. Firstly, the moving frame of the surfaces built by Bonnet in 1867 is extrapolated to a new, second order, isomonodromic matrix Lax pair of $P_{VI}$, whose elements depend rationally on the dependent variable and quadratically on the monodromy exponents $\theta_j$. Secondly, by converting back this Lax pair to a moving frame, we obtain an extrapolation of Bonnet surfaces to surfaces with two more degrees of freedom. Finally, we give a rigorous derivation of the quantum correspondence for $P_{VI}$.
  • The angular distributions of $^{8}$Be states in the excitation energy region, E$_{x}$ $\ \sim$($16.5-18.2$) MeV, produced in the $^{7}$Li($^{3}% $He,d)$^{8}$Be proton transfer reaction have been measured at the Orsay 14.8$-$MV tandem accelerator for $^{3}$He$^{2+}$ ion bombarding energy, E$_{lab}$ $=20$ MeV, and forward anglular range, $\theta_{lab}=5^{\circ}-50^{\circ}$. A high energy resolution detection system composed of a split-pole magnetic spectrometer and a $\Delta E-E$,\ position-sensitive drift chamber was used to record the energy spectra of outgoing deuterons. The measured cross section data for the direct reaction component have been separated from the compound nucleus one, then analyzed in the framework of the non local, FR-DWBA theory. New values of the $C^{2}S$ and ($S_{p1/2},$ $S_{p3/2})$ proton absolute and partial spectroscopic factors and related $\gamma_{p}^{2}(a)$\ proton reduced widths versus the p $+$ $^{7}$Li channel radius have been extracted for the $2^{+}(16.626)$ and $2^{+}(16.922),T=0+1$ isospin-mixed loosely bound states of astrophysical interest and the $1^{+}(17.640)$, $T=1$ unbound state of $^{8}$Be. They are compared to sparse earlier experimental values and to shell-model predicted ones from the literature, and are discussed. In particular, the status of the spectroscopic information on the $2^{+}$ isospin-mixed doublet is reviewed and up-dated. The application in nuclear astrophysics of the DWBA derived results is emphasised.
  • Frama-C is a software analysis framework that provides a common infrastructure and a common behavioral specification language to plugins that implement various static and dynamic analyses of C programs. Most plugins do not support concurrency. We have proposed Conc2Seq, a Frama-C plugin based on program transformation, capable to leverage the existing huge code base of plugins and to handle concurrent C programs. In this paper we formalize and sketch the proof of correctness of the program transformation principle behind Conc2Seq, and present an effort towards the full mechanization of both the formalization and proofs with the proof assistant Coq.
  • The thermal evolution of Neutron Stars is affected by the elementary excitations that characterize the stellar matter. In particular, the low-energy excitations, with a spectrum linear in momentum, can play a major role in the emission and propagation of neutrinos. In this paper, we focus on the elementary modes in the region of proton superfluidity, where the neutron component is expected to have a very small or zero pairing gap. We study the overall spectral functions of protons, neutrons and electrons on the basis of the Coulomb and nuclear interactions. This study is performed in the framework of the Random Phase Approximation, generalized in order to describe the response of a superfluid system. The formalism we use ensures that the Generalized Ward's Identities are satisfied. Despite their relative small fraction, the protons turn out to modify the neutron spectral function as a consequence of the nuclear neutron-proton interaction. This effect is particularly evident at the lower density, just below the crust for a density close to the saturation value, while at increasing density the neutrons and the protons are mainly decoupled. The proton spectral function is characterized by a pseudo-Goldstone mode below $ 2\Delta $, twice the pairing gap, and a pair-breaking mode above $ 2\Delta $. The latter merges in the sound mode of the normal phase at higher momenta. The neutron spectral function develops a collective sound mode only at the higher density. The electrons have a strong screening effect on the proton-proton interaction at the lower momenta, and decouple from the protons at higher momenta.
  • The most abundant components of primitive meteorites (chondrites) are millimeter-sized glassy spherical chondrules formed by transient melting events in the solar protoplanetary disk. Using Pb-Pb dates of 22 individual chondrules, we show that primary production of chondrules in the early solar system was restricted to the first million years after formation of the Sun and that these existing chondrules were recycled for the remaining lifetime of the protoplanetary disk. This is consistent with a primary chondrule formation episode during the early high-mass accretion phase of the protoplanetary disk that transitions into a longer period of chondrule reworking. An abundance of chondrules at early times provides the precursor material required to drive the efficient and rapid formation of planetary objects via chondrule accretion.
  • Context. An extension method is a method declared in a package other than the package of its host class. Thanks to extension methods, developers can adapt to their needs classes they do not own: adding methods to core classes is a typical use case. This is particularly useful for adapting software and therefore to increase reusability. Inquiry. In most dynamically-typed languages, extension methods are globally visible. Because any developer can define extension methods for any class, naming conflicts occur: if two developers define an extension method with the same signature in the same class, only one extension method is visible and overwrites the other. Similarly, if two developers each define an extension method with the same name in a class hierarchy, one overrides the other. To avoid such "accidental overrides", some dynamically-typed languages limit the visibility of an extension method to a particular scope. However, their semantics have not been fully described and compared. In addition, these solutions typically rely on a dedicated and slow method lookup algorithm to resolve conflicts at runtime. Approach. In this article, we present a formalization of the underlying models of Ruby refinements, Groovy categories, Classboxes, and Method Shelters that are scoping extension method solutions in dynamically-typed languages. Knowledge. Our formal framework allows us to objectively compare and analyze the shortcomings of the studied solutions and other different approaches such as MultiJava. In addition, language designers can use our formal framework to determine which mechanism has less risk of "accidental overrides". Grounding. Our comparison and analysis of existing solutions is grounded because it is based on denotational semantics formalizations. Importance. Extension methods are widely used in programming languages that support them, especially dynamically-typed languages such as Pharo, Ruby or Python. However, without a carefully designed mechanism, this feature can cause insidious hidden bugs or can be voluntarily used to gain access to protected operations, violate encapsulation or break fundamental invariants.
  • Context. An extension method is a method declared in a package other than the package of its host class. Thanks to extension methods, developers can adapt to their needs classes they do not own: adding methods to core classes is a typical use case. This is particularly useful for adapting software and therefore to increase reusability. Inquiry. In most dynamically-typed languages, extension methods are globally visible. Because any developer can define extension methods for any class, naming conflicts occur: if two developers define an extension method with the same signature in the same class, only one extension method is visible and overwrites the other. Similarly, if two developers each define an extension method with the same name in a class hierarchy, one overrides the other. To avoid such "accidental overrides", some dynamically-typed languages limit the visibility of an extension method to a particular scope. However, their semantics have not been fully described and compared. In addition, these solutions typically rely on a dedicated and slow method lookup algorithm to resolve conflicts at runtime. Approach. In this article, we present a formalization of the underlying models of Ruby refinements, Groovy categories, Classboxes, and Method Shelters that are scoping extension method solutions in dynamically-typed languages. Knowledge. Our formal framework allows us to objectively compare and analyze the shortcomings of the studied solutions and other different approaches such as MultiJava. In addition, language designers can use our formal framework to determine which mechanism has less risk of "accidental overrides". Grounding. Our comparison and analysis of existing solutions is grounded because it is based on denotational semantics formalizations. Importance. Extension methods are widely used in programming languages that support them, especially dynamically-typed languages such as Pharo, Ruby or Python. However, without a carefully designed mechanism, this feature can cause insidious hidden bugs or can be voluntarily used to gain access to protected operations, violate encapsulation or break fundamental invariants.
  • We report the realization of a bonded-bridge on-chip superconducting coil and its use in impedance-matching a highly ohmic quantum dot (QD) to a $\rm{3~GHz}$ measurement setup. The coil, modeled as a lumped-element $LC$ resonator, is more compact and has a wider bandwidth than resonators based on coplanar transmission lines (e.g. $\lambda/4$ impedance transformers and stub tuners) at potentially better signal-to-noise ratios. In particular for measurements of radiation emitted by the device, such as shot noise, the 50$\times$ larger bandwidth reduces the time to acquire the spectral density. The resonance frequency, close to 3.25 GHz, is three times higher than that of the one previously reported wire-bonded coil. As a proof of principle, we fabricated an $LC$ circuit that achieves impedance-matching to a $\rm{\sim 15~k\Omega}$ load and validate it with a load defined by a carbon nanotube QD of which we measure the shot noise in the Coulomb blockade regime.
  • In this paper we introduce {\em global and local announcement logic} (GLAL), a dynamic epistemic logic with two distinct announcement operators -- $[\phi]^+_A$ and $[\phi]^-_A$ indexed to a subset $A$ of the set $Ag$ of all agents -- for global and local announcements respectively. The boundary case $[\phi]^+_{Ag}$ corresponds to the public announcement of $\phi$, as known from the literature. Unlike standard public announcements, which are {\em model transformers}, the global and local announcements are {\em pointed model transformers}. In particular, the update induced by the announcement may be different in different states of the model. Therefore, the resulting computations are trees of models, rather than the typical sequences. A consequence of our semantics is that modally bisimilar states may be distinguished in our logic. Then, we provide a stronger notion of bisimilarity and we show that it preserves modal equivalence in GLAL. Additionally, we show that GLAL is strictly more expressive than public announcement logic with common knowledge. We prove a wide range of validities for GLAL involving the interaction between dynamics and knowledge, and show that the satisfiability problem for GLAL is decidable. We illustrate the formal machinery by means of detailed epistemic scenarios.
  • Forensic science suffers from a lack of studies with high-quality design, such as randomized controlled trials (RCT). Evidence in forensic science may be of insufficient quality, which is a major concern. Results from RCT are criticized for providing artificial results that are not useful in real life and unfit for individualized prescription. Various sources of collected data (e.g. data collected in routine practice) could be exploited for distinct goals. Obstacles remain before such data can be practically accessed and used, including technical issues. We present an easy-to-use software dedicated to innovative data analyses for practitioners and researchers. We provide 2 examples in forensics. Spe3dLab has been developed by 3 French teams: a bioinformatics laboratory (LaTIM), a private partner (Tekliko) and a department of forensic medicine (Jean Verdier Hospital). It was designed to be open source, relying on documented and maintained libraries, query-oriented and capable of handling the entire data process from capture to export of best predictive models for their integration in information systems. Spe3dLab was used for 2 specific forensics applications: i) the search for multiple causal factors and ii) the best predictive model of the functional impairment (total incapacity to work, TIW) of assault survivors. 2,892 patients were included over a 6-month period. Time to evaluation was the only direct cause identified for TIW, and victim category was an indirect cause. The specificity and sensitivity of the predictive model were 99.9% and 90%, respectively. Spe3dLab is a quick and efficient tool for accessing observational, routinely collected data and performing innovative analyses. Analyses can be exported for validation and routine use by practitioners, e.g., for computer-aided evaluation of complex problems. It can provide a fully integrated solution for individualized medicine.
  • Observations towards L1630 in the Orion B molecular cloud, comprising the iconic Horsehead Nebula, allow us to study the interplay between stellar radiation and a molecular cloud under relatively benign conditions, that is, intermediate densities and an intermediate UV radiation field. Contrary to the well-studied Orion Molecular Cloud 1 (OMC1), which hosts much harsher conditions, L1630 has little star formation. We aim to relate the [CII] fine-structure line emission to the physical conditions predominant in L1630 and compare it to studies of OMC1. The [CII] $158\,\mu\mathrm{m}$ emission from an area of $12' \times 17'$ in L1630 was observed using the upGREAT instrument onboard SOFIA. Of the [CII] emission from the mapped area 95%, $13\,L_{\odot}$, originates from the molecular cloud; the adjacent HII region contributes only 5%, that is, $1\,L_{\odot}$. From comparison with other data (CO (1-0)-line emission, far-infrared (FIR) continuum studies, emission from polycyclic aromatic hydrocarbons (PAHs)), we infer a gas density of the molecular cloud of $n_{\mathrm{H}}\sim 3\cdot 10^3\,\mathrm{cm^{-3}}$, with surface layers, including the Horsehead Nebula, having a density of up to $n_{\mathrm{H}}\sim 4\cdot 10^4\,\mathrm{cm^{-3}}$. The temperature of the surface gas is $T\sim 100\,\mathrm{K}$. The average [CII] cooling efficiency within the molecular cloud is $1.3\cdot 10^{-2}$. The fraction of the mass of the molecular cloud within the studied area that is traced by [CII] is only $8\%$. Our PDR models are able to reproduce the FIR-[CII] correlations and also the CO (1-0)-[CII] correlations. Finally, we compare our results on the heating efficiency of the gas with theoretical studies of photoelectric heating by PAHs, clusters of PAHs, and very small grains, and find the heating efficiency to be lower than theoretically predicted, a continuation of the trend set by other observations.
  • In dense and cold molecular clouds dust grains are surrounded by thick icy mantles. It is however not clear if dust growth and coagulation take place before the switch-on of a protostar. This is an important issue, as the presence of large grains may affect the chemical structure of dense cloud cores, including the dynamically important ionization fraction, and the future evolution of solids in protoplanetary disks. To study this further, we focus on L1544, one of the most centrally concentrated pre-stellar cores on the verge of star formation, and with a well-known physical structure. We observed L1544 at 1.2 and 2 mm using NIKA, a new receiver at the IRAM 30 m telescope, and we used data from the Herschel Space Observatory archive. We find no evidence of grain growth towards the center of L1544 at the available angular resolution. Therefore, we conclude that single dish observations do not allow us to investigate grain growth toward the pre-stellar core L1544 and high sensitivity interferometer observations are needed. We predict that dust grains can grow to 200 $\mu$m in size toward the central ~300 au of L1544. This will imply a dust opacity change by a factor of ~2.5 at 1.2 mm, which can be detected using the Atacama Large Millimeter and submillimeter Array (ALMA) at different wavelengths and with an angular resolution of 2".
  • The SOL2001-12-26 moderate solar eruptive event (GOES importance M7.1, microwaves up to 4000 sfu at 9.4 GHz, CME speed 1446 km/s) produced strong fluxes of solar energetic particles and ground-level enhancement of cosmic-ray intensity (GLE63). To find a possible reason for the atypically high proton outcome of this event, we study multi-wavelength images and dynamic radio spectra and quantitatively reconcile the findings with each other. An additional eruption probably occurred in the same active region about half an hour before the main eruption. The latter produced two blast-wave-like shocks during the impulsive phase. The two shock waves eventually merged around the radial direction into a single shock traced up to $25R_\odot$ as a halo ahead of the expanding CME body, in agreement with an interplanetary Type II event recorded by the Radio and Plasma Wave Investigation (WAVES) experiment on the Wind spacecraft. The shape and kinematics of the halo indicate an intermediate regime of the shock between the blast wave and bow shock at these distances. The results show that i) the shock wave appeared during the flare rise and could accelerate particles earlier than usually assumed; ii) the particle event could be amplified by the preceding eruption, which stretched closed structures above the developing CME, facilitated its lift-off and escape of flare-accelerated particles, enabled a higher CME speed and stronger shock ahead; iii) escape of flare-accelerated particles could be additionally facilitated by reconnection of the flux rope, where they were trapped, with a large coronal hole; iv) the first eruption supplied a rich seed population accelerated by a trailing shock wave.
  • MAGIC Collaboration: M. L. Ahnen, L. A. Antonelli, P. Bangale, J. Becerra González, B. Biasuzzi, G. Bonnoli, A. Chatterjee, J. Cortina, A. De Angelis, M. Doert, M. Doro, M. Engelkemeier, D. Fidalgo, R. J. García López, P. Giammaria, D. Guberman, M. Hayashida, K. Ishio, D. Lelas, M. López, K. Mannheim, D. Mazin, E. Moretti, K. Nilsson, S. Paiano, J. M. Paredes, L. Perri, E. Prandini, M. Ribó, S. Schroeder, I. Šnidarić, T. Surić, T. Terzić, N. Torres-Albà, J. E. Ward, L. Guillemot ETH Zurich, Institute for Particle Physics, Zurich, Switzerland, Università di Udine, INFN, sezione di Trieste, Italy, Udine, Italy, INAF - National Institute for Astrophysics, Roma, Italy, Dipartimento di Fisica ed Astronomia, Università di Padova, INFN sez. di Padova, Padova, Italy, Croatian MAGIC Consortium: Rudjer Boskovic Institute, University of Rijeka, University of Split - FESB, University of Zagreb-FER, University of Osijek, Split, Croatia, Saha Institute of Nuclear Physics, HBNI, Kolkata, India, Max-Planck-Institut für Physik, München, Germany, Grupo de Altas Energias, Universidad Complutense, Madrid, Madrid, Spain, Instituto de Astrofisica de Canarias, La Laguna Division of Astrophysics, University of Lodz, Lodz, Poland, Zeuthen, Zeuthen, Germany, , The Barcelona Institute of Science, Technology, Bellaterra Dipartimento di Fisica, Università di Siena, INFN sez. di Pisa, Siena, Italy, Institut für Theoretische Physik und Astrophysik - Fakultät für Physik und Astronomie - Universität Würzburg, Würzburg, Germany, Technische Universität Dortmund, Dortmund, Germany, Finnish MAGIC Consortium, Tuorla Observatory, University of Turku, Astronomy Division, University of Oulu, Finland, Piikkiö, Finland, Universitat Autònoma de Barcelona, Barcelona, Spain, Universitat de Barcelona, Barcelona, Spain, Institute for Nuclear Research, Nuclear Energy, Sofia, Bulgaria, Universita di Pisa, INFN Pisa, Pisa, Italy, ICREA, Institut de Ciencies de l'Espai also at the Department of Physics of Kyoto University, Japan, now at Centro Brasileiro de Pesquisas Físicas, R. Dr. Xavier Sigaud, 150 - Urca, Rio de Janeiro - RJ, 22290-180, Brazil, now at NASA Goddard Space Flight Center, Greenbelt, MD 20771, USA, Department of Physics, Department of Astronomy, University of Maryland, College Park, MD 20742, USA, Humboldt University of Berlin, Institut für Physik Newtonstr. 15, 12489 Berlin Germany, now at Ecole polytechnique fédérale de Lausanne also at Japanese MAGIC Consortium, now at Finnish Centre for Astronomy with ESO also at INAF-Trieste, Dept. of Physics, Astronomy, University of Bologna, Laboratoire de Physique et Chimie de l'Environnement et de l'Espace, LPC2E, CNRS-Universite d'Orleans, F-45071 Orleans, France, Station de Radioastronomie de Nancay, Observatoire de Paris, CNRS/INSU, F-18330 Nancay, France)
    June 5, 2017 astro-ph.HE
    B1957+20 is a millisecond pulsar located in a black widow type compact binary system with a low mass stellar companion. The interaction of the pulsar wind with the companion star wind and/or the interstellar plasma is expected to create plausible conditions for acceleration of electrons to TeV energies and subsequent production of very high energy {\gamma} rays in the inverse Compton process. We performed extensive observations with the MAGIC telescopes of B1957+20. We interpret results in the framework of a few different models, namely emission from the vicinity of the millisecond pulsar, the interaction of the pulsar and stellar companion wind region, or bow shock nebula. No significant steady very high energy {\gamma}-ray emission was found. We derived a 95% confidence level upper limit of 3.0 x 10 -12 cm -2 s -1 on the average {\gamma}-ray emission from the binary system above 200 GeV. The upper limits obtained with MAGIC constrain, for the first time, different models of the high-energy emission in B1957+20. In particular, in the inner mixed wind nebula model with mono-energetic injection of electrons, the acceleration efficiency of electrons is constrained to be below ~(2-10)% of the pulsar spin down power. For the pulsar emission, the obtained upper limits for each emission peak are well above the exponential cut-off fits to the Fermi-LAT data, extrapolated to energies above 50 GeV. The MAGIC upper limits can rule out a simple power-law tail extension through the sub-TeV energy range for the main peak seen at radio frequencies.
  • An original experimental setup has been elaborated in order to get a better view of turbulent flows in a von Karman geometry. The availability of a very fast camera allowed to follow in time the evolution of the flows. A surprising finding is that the development of smaller whorls ceases earlier than expected and the aspect of the flows remains the same above Reynolds number of a few thousand. This fact provides an explanation of the constancy of the reduced dissipation in the same range without the need of singularity. Its cause could be in relation with the same type of behavior observed in a rotating frame.
  • We report that the lowest energy transverse-optic phonon in metallic SnTe softens to near zero energy at the structural transition at $T_C=75 \text{~K}$ and importantly show that the energy of this mode below $T_C$ increases as the temperature decreases. Since the mode is a polar displacement this proves unambiguously that SnTe undergoes a ferroelectric displacement below $T_C$. Concentration gradients and imperfect stoichiometry in large crystals may explain why this was not seen in previous inelastic neutron scattering studies. Despite SnTe being metallic we find that the ferroelectric transition is similar to that in ferroelectric insulators, unmodified by the presence of conduction electrons: we find that (i) the damping of the polar mode is dominated by coupling to acoustic phonons rather than electron-phonon coupling (ii) the transition is almost an ideal continuous transition (iii) comparison with density functional calculations identifies the importance of dipolar-dipolar screening for understanding this behaviour.
  • Excitation of a semiconductor quantum dot with a chirped laser pulse allows excitons to be created by rapid adiabatic passage. In quantum dots this process can be greatly hindered by the coupling to phonons. Here we add a high chirp rate to ultra-short laser pulses and use these pulses to excite a single quantum dot. We demonstrate that we enter a regime where the exciton-phonon coupling is effective for small pulse areas, while for higher pulse areas a decoupling of the exciton from the phonons occurs. We thus discover a reappearance of rapid adiabatic passage, in analogy to the predicted reappearance of Rabi rotations at high pulse areas. The measured results are in good agreement with theoretical calculations.
  • We derive apparent and absolute ultraviolet (UV) magnitudes, and luminosities in the infrared (IR) range of a large sample of low-redshift (0<z<1) compact star-forming galaxies (CSFGs) selected from the Data Release 12 of the Sloan Digital Sky Survey (SDSS). These data are used to constrain the extinction law in the UV for our galaxies and to compare the absorbed radiation in the UV range with the emission in the IR range. We find that the modelled far- and near-UV apparent magnitudes are in good agreement with the observed GALEX magnitudes. It is found that galaxies with low and high equivalent widths EW(Hbeta) of the Hbeta emission line require different reddening laws with steeper slopes for galaxies with higher EW(H$\beta$). This implies an important role of the hard ionising radiation in shaping the dust grain size distribution. The IR emission in the range of 8-1000 mum is determined using existing data obtained by various infrared space telescopes. We find that the radiation energy absorbed in the UV range is nearly equal to the energy emitted in the IR range leaving very little room for hidden star formation in our galaxies. Using extinction-corrected Hbeta luminosities and modelled SEDs in the UV range we derive efficiencies of ionising photon production \xi for the entire sample of CSFGs. It is found that $\xi$ in CSFGs with high EW(Hbeta) are among the highest known for low- and high-redshift galaxies. If galaxies with similar properties existed at redshifts z=5-10, they could be considered as promising candidates for the reionisation of the Universe.