Symbolic Automata: The Toolkit

Abstract. The symbolic automata toolkit lifts classical automata anal-ysis to work modulo rich alphabet theories. It uses the power of state-of-the-art constraint solvers for automata analysis that is both expres-sive and efficient, even for automata over large finite alphabets. The toolkit supports analysis of finite symbolic automata and transducers over strings. It also handles transducers with registers. Constraint solving is used when composing and minimizing automata, and a much deeper and powerful integration is also obtained by internalizing automata as theories. The toolkit, freely available from Microsoft Research1, has re-cently been used in the context of web security for analysis of potentially malicious data over Unicode characters. Introduction. The distinguishing feature of the toolkit is the use and oper-ations with symbolic labels. This is unlike classical automata algorithms that mostly work assuming a finite alphabet. Adtantages of a symbolic representa-tion are examined in [4], where it is shown that the symbolic algorithms con

Low Background Micromegas in CAST

Solar axions could be converted into x-rays inside the strong magnetic field of an axion helioscope, triggering the detection of this elusive particle. Low background x-ray detectors are an essential component for the sensitivity of these searches. We report on the latest developments of the Micromegas detectors for the CERN Axion Solar Telescope (CAST), including technological pathfinder activities for the future International Axion Observatory (IAXO). The use of low background techniques and the application of discrimination algorithms based on the high granularity of the readout have led to background levels below 10$^{-6}$ counts/keV/cm$^2$/s, more than a factor 100 lower than the first generation of Micromegas detectors. The best levels achieved at the Canfranc Underground Laboratory (LSC) are as low as 10$^{-7}$ counts/keV/cm$^2$/s, showing good prospects for the application of this technology in IAXO. The current background model, based on underground and surface measurements, is presented, as well as the strategies to further reduce the background level. Finally, we will describe the R&D paths to achieve sub-keV energy thresholds, which could broaden the physics case of axion helioscopes.Comment: 6 pages, 3 figures, Large TPC Conference 2014, Pari

Data Analysis Challenges for the Einstein Telescope

The Einstein Telescope is a proposed third generation gravitational wave detector that will operate in the region of 1 Hz to a few kHz. As well as the inspiral of compact binaries composed of neutron stars or black holes, the lower frequency cut-off of the detector will open the window to a number of new sources. These will include the end stage of inspirals, plus merger and ringdown of intermediate mass black holes, where the masses of the component bodies are on the order of a few hundred solar masses. There is also the possibility of observing intermediate mass ratio inspirals, where a stellar mass compact object inspirals into a black hole which is a few hundred to a few thousand times more massive. In this article, we investigate some of the data analysis challenges for the Einstein Telescope such as the effects of increased source number, the need for more accurate waveform models and the some of the computational issues that a data analysis strategy might face.Comment: 18 pages, Invited review for Einstein Telescope special edition of GR

Steady-State Dynamics of the Forest Fire Model on Complex Networks

Many sociological networks, as well as biological and technological ones, can be represented in terms of complex networks with a heterogeneous connectivity pattern. Dynamical processes taking place on top of them can be very much influenced by this topological fact. In this paper we consider a paradigmatic model of non-equilibrium dynamics, namely the forest fire model, whose relevance lies in its capacity to represent several epidemic processes in a general parametrization. We study the behavior of this model in complex networks by developing the corresponding heterogeneous mean-field theory and solving it in its steady state. We provide exact and approximate expressions for homogeneous networks and several instances of heterogeneous networks. A comparison of our analytical results with extensive numerical simulations allows to draw the region of the parameter space in which heterogeneous mean-field theory provides an accurate description of the dynamics, and enlights the limits of validity of the mean-field theory in situations where dynamical correlations become important.Comment: 13 pages, 9 figure

An action for the exact string black hole

A local action is constructed describing the exact string black hole discovered by Dijkgraaf, Verlinde and Verlinde in 1992. It turns out to be a special 2D Maxwell-dilaton gravity theory, linear in curvature and field strength. Two constants of motion exist: mass M>1, determined by the level k, and U(1)-charge Q>0, determined by the value of the dilaton at the origin. ADM mass, Hawking temperature T_H \propto \sqrt{1-1/M} and Bekenstein-Hawking entropy are derived and studied in detail. Winding/momentum mode duality implies the existence of a similar action, arising from a branch ambiguity, which describes the exact string naked singularity. In the strong coupling limit the solution dual to AdS_2 is found to be the 5D Schwarzschild black hole. Some applications to black hole thermodynamics and 2D string theory are discussed and generalizations - supersymmetric extension, coupling to matter and critical collapse, quantization - are pointed out.Comment: 41 pages, 2 eps figures, dedicated to Wolfgang Kummer on occasion of his Emeritierung; v2: added ref; v3: extended discussion in sections 3.2, 3.3 and at the end of 5.3 by adding 2 pages of clarifying text; updated refs; corrected typo

Comparison of large-scale flows on the Sun measured by time-distance helioseismology and local correlation tracking technique

We present a direct comparison between two different techniques time-distance helioseismology and a local correlation tracking method for measuring mass flows in the solar photosphere and in a near-surface layer: We applied both methods to the same dataset (MDI high-cadence Dopplergrams covering almost the entire Carrington rotation 1974) and compared the results. We found that after necessary corrections, the vector flow fields obtained by these techniques are very similar. The median difference between directions of corresponding vectors is 24 degrees, and the correlation coefficients of the results for mean zonal and meridional flows are 0.98 and 0.88 respectively. The largest discrepancies are found in areas of small velocities where the inaccuracies of the computed vectors play a significant role. The good agreement of these two methods increases confidence in the reliability of large-scale synoptic maps obtained by them.Comment: 14 pages, 6 figures, just before acceptance in Solar Physic

Planck intermediate results. VIII. Filaments between interacting clusters

About half of the baryons of the Universe are expected to be in the form of filaments of hot and low density intergalactic medium. Most of these baryons remain undetected even by the most advanced X-ray observatories which are limited in sensitivity to the diffuse low density medium. The Planck satellite has provided hundreds of detections of the hot gas in clusters of galaxies via the thermal Sunyaev-Zel'dovich (tSZ) effect and is an ideal instrument for studying extended low density media through the tSZ effect. In this paper we use the Planck data to search for signatures of a fraction of these missing baryons between pairs of galaxy clusters. Cluster pairs are good candidates for searching for the hotter and denser phase of the intergalactic medium (which is more easily observed through the SZ effect). Using an X-ray catalogue of clusters and the Planck data, we select physical pairs of clusters as candidates. Using the Planck data we construct a local map of the tSZ effect centered on each pair of galaxy clusters. ROSAT data is used to construct X-ray maps of these pairs. After having modelled and subtracted the tSZ effect and X-ray emission for each cluster in the pair we study the residuals on both the SZ and X-ray maps. For the merging cluster pair A399-A401 we observe a significant tSZ effect signal in the intercluster region beyond the virial radii of the clusters. A joint X-ray SZ analysis allows us to constrain the temperature and density of this intercluster medium. We obtain a temperature of kT = 7.1 +- 0.9, keV (consistent with previous estimates) and a baryon density of (3.7 +- 0.2)x10^-4, cm^-3. The Planck satellite mission has provided the first SZ detection of the hot and diffuse intercluster gas.Comment: Accepted by A&

Effects of prolonged and acute muscle pain on the force control strategy during isometric contractions

Musculoskeletal pain is associated with multiple adaptions in movement control. This study aimed to determine whether changes in movement control acquired during acute pain are maintained over days of pain exposure. On day 0, the extensor carpi radialis brevis muscle of healthy participants was injected with nerve growth factor (NGF) to induce persistent movement-evoked pain (n\ua0=\ua013) or isotonic saline as a control (n\ua0=\ua013). On day 2, short-lasting pain was induced by injection of hypertonic saline into extensor carpi radialis brevis muscles of all participants. Three-dimensional force components were recorded during submaximal isometric wrist extensions on day 0, day 4, and before, during, and after saline-induced pain on day 2. Standard deviation (variation of task-related force) and total excursion of center of pressure (variation of force direction) were assessed. Maximal movement-evoked pain was 3.3\ua0±\ua0.4 (0–10 numeric scale) in the NGF-group on day 2 whereas maximum saline-induced pain was 6.8\ua0±\ua0.3\ua0cm (10-cm visual analog scale). The difference in centroid position of force direction relative to day 0 was greater in the NGF group than in the control group (P\ua

Planck 2015 results. XXVII. The Second Planck Catalogue of Sunyaev-Zeldovich Sources

We present the all-sky Planck catalogue of Sunyaev-Zeldovich (SZ) sources detected from the 29 month full-mission data. The catalogue (PSZ2) is the largest SZ-selected sample of galaxy clusters yet produced and the deepest all-sky catalogue of galaxy clusters. It contains 1653 detections, of which 1203 are confirmed clusters with identified counterparts in external data-sets, and is the first SZ-selected cluster survey containing > $10^3$ confirmed clusters. We present a detailed analysis of the survey selection function in terms of its completeness and statistical reliability, placing a lower limit of 83% on the purity. Using simulations, we find that the Y5R500 estimates are robust to pressure-profile variation and beam systematics, but accurate conversion to Y500 requires. the use of prior information on the cluster extent. We describe the multi-wavelength search for counterparts in ancillary data, which makes use of radio, microwave, infra-red, optical and X-ray data-sets, and which places emphasis on the robustness of the counterpart match. We discuss the physical properties of the new sample and identify a population of low-redshift X-ray under- luminous clusters revealed by SZ selection. These objects appear in optical and SZ surveys with consistent properties for their mass, but are almost absent from ROSAT X-ray selected samples

Anisotropic flow of charged hadrons, pions and (anti-)protons measured at high transverse momentum in Pb-Pb collisions at sNN=2.76\sqrt{s_{\rm NN}}=2.76 TeV

The elliptic, $v_2$, triangular, $v_3$, and quadrangular, $v_4$, azimuthal anisotropic flow coefficients are measured for unidentified charged particles, pions and (anti-)protons in Pb-Pb collisions at $\sqrt{s_{\rm NN}} = 2.76$ TeV with the ALICE detector at the Large Hadron Collider. Results obtained with the event plane and four-particle cumulant methods are reported for the pseudo-rapidity range $|\eta|<0.8$ at different collision centralities and as a function of transverse momentum, $p_{\rm T}$, out to $p_{\rm T}=20$ GeV/$c$. The observed non-zero elliptic and triangular flow depends only weakly on transverse momentum for $p_{\rm T}>8$ GeV/$c$. The small $p_{\rm T}$ dependence of the difference between elliptic flow results obtained from the event plane and four-particle cumulant methods suggests a common origin of flow fluctuations up to $p_{\rm T}=8$ GeV/$c$. The magnitude of the (anti-)proton elliptic and triangular flow is larger than that of pions out to at least $p_{\rm T}=8$ GeV/$c$ indicating that the particle type dependence persists out to high $p_{\rm T}$.Comment: 16 pages, 5 captioned figures, authors from page 11, published version, figures at http://aliceinfo.cern.ch/ArtSubmission/node/186