Cosmic-ray acceleration and gamma-ray signals from radio supernovae

In this work the efficiency of particle acceleration at the forward shock right after the SN outburst for the particular case of the well-known SN 1993J is analyzed. Plasma instabilities driven by the energetic particles accelerated at the shock front grow over intraday timescales and drive a fast amplification of the magnetic field at the shock, that can explain the magnetic field strengths deduced from the radio monitoring of the source. The maximum particle energy is found to reach 1-10 PeV depending on the instability dominating the amplification process. We derive the time dependent particle spectra and the associated hadronic signatures of secondary particles arising from proton proton interactions. We find that the Cherenkov Telescope Array (CTA) should easily detect objects like SN 1993J in particular above 1 TeV, while current generation of Cherenkov telescopes such as H.E.S.S. could only marginally detect such events. The gamma-ray signal is found to be heavily absorbed by pair production process during the first week after the outburst. We predict a low neutrino flux above 10 TeV, implying a detectability horizon with a KM3NeT-type telescope of 1 Mpc only. We finally discuss the essential parameters that control the particle acceleration and gamma-ray emission in other type of SNe.

Flexibility of the quasi-non-uniform exchange-correlation approximation

In our previous study [Phys. Rev. B 86, 201104 (2012)] we introduced the so called quasi-non-uniform gradient-level exchange-correlation approximation (QNA) and demonstrated its strength in producing highly accurate equilibrium volumes for metals and their alloys within the density-functional theory. In this paper we extend the scheme to include the accuracy of bulk modulus as an additional figure of merit and show that this scheme is flexible enough as to allow the computation of accurate equilibrium volumes and bulk moduli at the same time. The power and feasibility of this scheme is demonstrated on NiAl and FeV binary alloys.

Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees

We consider a specific class of tree structures that can represent basic structures in linguistics and computer science such as XML documents, parse trees, and treebanks, namely, finite node-labeled sibling-ordered trees. We present axiomatizations of the monadic second-order logic (MSO), monadic transitive closure logic (FO(TC1)) and monadic least fixed-point logic (FO(LFP1)) theories of this class of structures. These logics can express important properties such as reachability. Using model-theoretic techniques, we show by a uniform argument that these axiomatizations are complete, i.e., each formula that is valid on all finite trees is provable using our axioms. As a backdrop to our positive results, on arbitrary structures, the logics that we study are known to be non-recursively axiomatizable.

Episodic formation of cometary material in the outburst of a solar-like young star

Our Solar System originated in interstellar gas and dust; the latter is in the form of amorphous silicate particles and carbonaceous dust. The composition of cometary material shows that a significant fraction of the amorphous silicates was transformed into crystalline form during the early evolution of the protosolar nebula. How and when this transformation happened has been controversial, with the main options being heating by the young Sun or shock heating. Here we report mid-infrared features in the outburst spectrum of the young solar-like star EX Lupi that were not present in quiescence. We attribute them to crystalline forsterite; the crystals were produced via thermal annealing in the surface layer of the inner disk by heat from the outburst, a process that has hitherto not been considered. The observed lack of cold crystals excludes shock heating at larger radii.

Spitzer/MIPS 24um Observations of Galaxy Clusters: An Increasing Fraction of Obscured Star-forming Members from z=0.02 to z=0.83

We study the mid-infrared properties of 1315 spectroscopically confirmed members in eight massive (M>5x10^14 Msun) galaxy clusters covering the redshift range from 0.02 to 0.83. The selected clusters all have deep Spitzer MIPS 24um observations, Hubble and ground-based photometry, and extensive redshift catalogs. We observe for the first time an increase in the fraction of cluster galaxies with mid-infrared star formation rates higher than 4 solar masses per year from 3% at z=0.02 to 13% at z=0.83. This increase is reproduced even when considering only the most massive members (Mstars >4x10^10 Msun). The 24 micron observations reveal stronger evolution in the fraction of blue/star-forming cluster galaxies than color-selected samples: the number of red but strongly star-forming cluster galaxies increases with redshift, and combining these with the optically-defined Butcher-Oemler members increases the total fraction of blue/star-forming cluster galaxies to ~30% at z=0.83. These results, the first of our Spitzer/MIPS Infra-Red Cluster Survey (SMIRCS), support earlier studies indicating the increase in star-forming members is driven by cluster assembly and galaxy infall, as is expected in the framework of hierarchical formation.

On completing three cyclic transversals to a latin square

Let $P$ be a partial latin square of prime order $p>7$ consisting of three cyclically generated transversals. Specifically, let $P$ be a partial latin square of the form: [ P={(i,c+i,s+i),(i,c+i,s+i),(i,c+i,s+i)mid 0 leq i< p} ] for some distinct $c,c,c$ and some distinct $s,s,s$. In this paper we show that any such $P$ completes to a latin square which is diagonally cyclic.

The Arecibo Legacy Fast ALFA Survey: V. HI Source Catalog of the Anti-Virgo Region at dec=27 degrees

We present a second catalog of HI sources detected in the Arecibo Legacy Fast ALFA Survey. We report 488 detections over 135 square degrees, within the region of the sky having 22h<RA<03h and +26deg<Dec<+28deg. We present here the detections that have either (a) S/N>6.5, where the reliability of the catalog is better than 95% or (b) 5.0<S/N<6.5 and a previously measured redshift that corroborates our detection. Of the 488 objects presented here, 49 are High Velocity Clouds or clumps thereof with negative heliocentric recession velocities. These clouds are mostly very compact and isolated, while some of them are associated with large features such as Wrights Cloud or the northern extension of the Magellanic Stream. The remaining 439 candidate detections are identified as extragalactic objects and have all been matched with optical counterparts. Five of the six galaxies detected with M(HI)<10^7.5 solar masses are satellites of either the NGC672/IC1727 nearby galaxy pair or their neighboring dwarf irregular galaxy NGC784. The data of this catalog release include a slice through the Pisces-Perseus foreground void, a large nearby underdensity of galaxies. We report no detections within the void, where our catalog is complete for systems with HI masses of 10^8 solar masses. Gas-rich, optically-dark galaxies do not seem to constitute an important void population, and therefore do not suffice at producing a viable solution to the void phenomenon.