No Arabic abstract
Star-formation rates (SFRs) of galaxies are commonly calculated by converting the measured Halpha luminosities (L_Halpha) into current SFRs. This conversion is based on a constant initial mass function (IMF) independent of the total SFR. As recently recognised the maximum stellar mass in a star cluster is limited by the embedded total cluster mass and, in addition, the maximum embedded star cluster mass is constrained by the current SFR. The combination of these two relations leads to an integrated galaxial initial stellar mass function (IGIMF, the IMF for the whole galaxy) which is steeper in the high mass regime than the constant canonical IMF, and is dependent on the SFR of the galaxy. Consequently, the L_Halpha-SFR relation becomes non-linear and flattens for low SFRs. Especially for dwarf galaxies the SFRs can be underestimated by up to three orders of magnitude. We revise the existing linear L_Halpha-SFR relations using our IGIMF notion. These are likely to lead to a revision of the cosmological star formation histories. We also demonstrate that in the case of the Sculptor dwarf irregular galaxies the IGIMF-formalism implies a linear dependence of the total SFR on the total galaxy gas mass. A constant gas depletion time scale of a few Gyrs results independently of the galaxy gas mass with a reduced scatter compared to the conventional results. Our findings are qualitatively independent of the explicit choice of the IGIMF details and challenges current star formation theory in dwarf galaxies.
The recent finding that the IGIMF (integrated galaxial initial stellar mass function) composed of all newly formed stars in all young star clusters has, in dependence of the SFR, a steeper slope in the high mass regime than the underlying canonical IMF of each star cluster offers new insights into the galactic star formation process: The classical linear relation between the SFR and the produced H$alpha$ luminosity is broken and SFRs are always underestimated. Our new relation is likely to lead to a revision of the cosmological SFH.
The connection method has earned good reputation in the area of automated theorem proving, due to its simplicity, efficiency and rational use of memory. This method has been applied recently in automatic provers that reason over ontologies written in the description logic ALC. However, proofs generated by connection calculi are difficult to understand. Proof readability is largely lost by the transformations to disjunctive normal form applied over the formulae to be proven. Such a proof model, albeit efficient, prevents inference systems based on it from effectively providing justifications and/or descriptions of the steps used in inferences. To address this problem, in this paper we propose a method for converting matricial proofs generated by the ALC connection method to ALC sequent proofs, which are much easier to understand, and whose translation to natural language is more straightforward. We also describe a calculus that accepts the input formula in a non-clausal ALC format, what simplifies the translation.
Quantum resource theories provide a diverse and powerful framework for extensively studying the phenomena in quantum physics. Quantum coherence, a quantum resource, is the basic ingredient in many quantum information tasks. It is a subject of broad and current interest in quantum information, and many new concepts have been introduced and generalized since its establishment. Here we show that the block coherence can be transformed into entanglement via a block incoherent operation. Moreover, we find that the POVM-based coherence associated with block coherence through the Naimark extension acts as a potential resource from the perspective of generating entanglement. Finally, we discuss avenues of creating entanglement from POVM-based coherence, present strategies that require embedding channels and auxiliary systems, give some examples, and generalize them.
We empirically test the relation between the SFR(LIR) derived from the infrared luminosity, LIR, and the SFR(Ha) derived from the Ha emission line luminosity using simple conversion relations. We use a sample of 474 galaxies at z = 0.06 - 0.46 with both Ha detection (from 20k zCOSMOS survey) and new far-IR Herschel data (100 and 160 {mu}m). We derive SFR(Ha) from the Ha extinction corrected emission line luminosity. We find a very clear trend between E(B - V) and LIR that allows to estimate extinction values for each galaxy even if the Ha emission line measurement is not reliable. We calculate the LIR by integrating from 8 up to 1000 {mu}m the SED that is best fitting our data. We compare SFR(Ha) with the SFR(LIR). We find a very good agreement between the two SFR estimates, with a slope of m = 1.01 pm 0.03 in the SFR(LIR) vs SFR(Ha) diagram, a normalization constant of a = -0.08 pm 0.03 and a dispersion of sigma = 0.28 dex.We study the effect of some intrinsic properties of the galaxies in the SFR(LIR)-SFR(Ha) relation, such as the redshift, the mass, the SSFR or the metallicity. The metallicity is the parameter that affects most the SFR comparison. The mean ratio of the two SFR estimators log[SFR(LIR)/SFR(Ha)] varies by approx. 0.6 dex from metal-poor to metal-rich galaxies (8.1 < log(O/H) + 12 < 9.2). This effect is consistent with the prediction of a theoretical model for the dust evolution in spiral galaxies. Considering different morphological types, we find a very good agreement between the two SFR indicators for the Sa, Sb and Sc morphologically classified galaxies, both in slope and normalization. For the Sd, irregular sample (Sd/Irr), the formal best-fit slope becomes much steeper (m = 1.62 pm 0.43), but it is still consistent with 1 at the 1.5 sigma level, because of the reduced statistics of this sub-sample.
Although a rigorous theoretical ground on metasurfaces has been established in the recent years on the basis of the equivalence principle, the majority of metasurfaces for converting a propagating wave into a surface wave are developed in accordance with the so-called generalized Snells law being a simple heuristic rule for performing wave transformations. Recently, for the first time, Tcvetkova et al. [Phys. Rev. B 97, 115447 (2018)] have rigorously studied this problem by means of a reflecting anisotropic metasurface, which is, unfortunately, difficult to realize, and no experimental results are available. In this paper, we propose an alternative practical design of a metasurface-based converter by separating the incident plane wave and the surface wave in different half-spaces. It allows one to preserve the polarization of the incident wave and substitute the anisotropic metasurface by an omega-bianisotropic one. The problem is approached from two sides: By directly solving the corresponding boundary problem and by considering the ``time-reversed scenario when a surface wave is converted into a nonuniform plane wave. We develop a practical three-layer metasurface based on a conventional printed circuit board technology to mimic the omega-bianisotropic response. The metasurface incorporates metallic walls to avoid coupling between adjacent unit cells and accelerate the design procedure. The design is validated with full-wave three-dimensional numerical simulations and demonstrates high conversion efficiency.