418 research outputs found

    Semiparametric theory and empirical processes in causal inference

    Full text link
    In this paper we review important aspects of semiparametric theory and empirical processes that arise in causal inference problems. We begin with a brief introduction to the general problem of causal inference, and go on to discuss estimation and inference for causal effects under semiparametric models, which allow parts of the data-generating process to be unrestricted if they are not of particular interest (i.e., nuisance functions). These models are very useful in causal problems because the outcome process is often complex and difficult to model, and there may only be information available about the treatment process (at best). Semiparametric theory gives a framework for benchmarking efficiency and constructing estimators in such settings. In the second part of the paper we discuss empirical process theory, which provides powerful tools for understanding the asymptotic behavior of semiparametric estimators that depend on flexible nonparametric estimators of nuisance functions. These tools are crucial for incorporating machine learning and other modern methods into causal inference analyses. We conclude by examining related extensions and future directions for work in semiparametric causal inference

    A proposal for broad spectrum proof certificates

    Get PDF
    International audienceRecent developments in the theory of focused proof systems provide flexible means for structuring proofs within the sequent calculus. This structuring is organized around the construction of ''macro'' level inference rules based on the ''micro'' inference rules which introduce single logical connectives. After presenting focused proof systems for first-order classical logics (one with and one without fixed points and equality) we illustrate several examples of proof certificates formats that are derived naturally from the structure of such focused proof systems. In principle, a proof certificate contains two parts: the first part describes how macro rules are defined in terms of micro rules and the second part describes a particular proof object using the macro rules. The first part, which is based on the vocabulary of focused proof systems, describes a collection of macro rules that can be used to directly present the structure of proof evidence captured by a particular class of computational logic systems. While such proof certificates can capture a wide variety of proof structures, a proof checker can remain simple since it must only understand the micro-rules and the discipline of focusing. Since proofs and proof certificates are often likely to be large, there must be some flexibility in allowing proof certificates to elide subproofs: as a result, proof checkers will necessarily be required to perform (bounded) proof search in order to reconstruct missing subproofs. Thus, proof checkers will need to do unification and restricted backtracking search

    An Extreme Solar Event of 20 January 2005: Properties of the Flare and the Origin of Energetic Particles

    Full text link
    The extreme solar and SEP event of 20 January 2005 is analyzed from two perspectives. Firstly, we study features of the main phase of the flare, when the strongest emissions from microwaves up to 200 MeV gamma-rays were observed. Secondly, we relate our results to a long-standing controversy on the origin of SEPs arriving at Earth, i.e., acceleration in flares, or shocks ahead of CMEs. All emissions from microwaves up to 2.22 MeV line gamma-rays during the main flare phase originated within a compact structure located just above sunspot umbrae. A huge radio burst with a frequency maximum at 30 GHz was observed, indicating the presence of a large number of energetic electrons in strong magnetic fields. Thus, protons and electrons responsible for flare emissions during its main phase were accelerated within the magnetic field of the active region. The leading, impulsive parts of the GLE, and highest-energy gamma-rays identified with pi^0-decay emission, are similar and correspond in time. The origin of the pi^0-decay gamma-rays is argued to be the same as that of lower energy emissions. We estimate the sky-plane speed of the CME to be 2000-2600 km/s, i.e., high, but of the same order as preceding non-GLE-related CMEs from the same active region. Hence, the flare itself rather than the CME appears to determine the extreme nature of this event. We conclude that the acceleration, at least, to sub-relativistic energies, of electrons and protons, responsible for both the flare emissions and the leading spike of SEP/GLE by 07 UT, are likely to have occurred simultaneously within the flare region. We do not rule out a probable contribution from particles accelerated in the CME-driven shock for the leading GLE spike, which seemed to dominate later on.Comment: 34 pages, 14 Postscript figures. Solar Physics, accepted. A typo corrected. The original publication is available at http://www.springerlink.co

    High-contrast imaging constraints on gas giant planet formation - The Herbig Ae/Be star opportunity

    Full text link
    Planet formation studies are often focused on solar-type stars, implicitly considering our Sun as reference point. This approach overlooks, however, that Herbig Ae/Be stars are in some sense much better targets to study planet formation processes empirically, with their disks generally being larger, brighter and simply easier to observe across a large wavelength range. In addition, massive gas giant planets have been found on wide orbits around early type stars, triggering the question if these objects did indeed form there and, if so, by what process. In the following I briefly review what we currently know about the occurrence rate of planets around intermediate mass stars, before discussing recent results from Herbig Ae/Be stars in the context of planet formation. The main emphasis is put on spatially resolved polarized light images of potentially planet forming disks and how these images - in combination with other data - can be used to empirically constrain (parts of) the planet formation process. Of particular interest are two objects, HD100546 and HD169142, where, in addition to intriguing morphological structures in the disks, direct observational evidence for (very) young planets has been reported. I conclude with an outlook, what further progress we can expect in the very near future with the next generation of high-contrast imagers at 8-m class telescopes and their synergies with ALMA.Comment: Accepted by Astrophysics and Space Science as invited short review in special issue about Herbig Ae/Be stars; 12 pages incl. 5 figures, 2 tables and reference

    Galaxy And Mass Assembly (GAMA): the galaxy stellar mass function to z = 0.1 from the r-band selected equatorial regions

    Get PDF
    We derive the low-redshift galaxy stellar mass function (GSMF), inclusive of dust corrections, for the equatorial Galaxy And Mass Assembly (GAMA) data set covering 180 deg2. We construct the mass function using a density-corrected maximum volume method, using masses corrected for the impact of optically thick and thin dust. We explore the galactic bivariate brightness plane (M⋆–μ), demonstrating that surface brightness effects do not systematically bias our mass function measurement above 107.5 M⊙. The galaxy distribution in the M–μ plane appears well bounded, indicating that no substantial population of massive but diffuse or highly compact galaxies are systematically missed due to the GAMA selection criteria. The GSMF is fitted with a double Schechter function, with M⋆=1010.78±0.01±0.20M⊙ M⋆=1010.78±0.01±0.20M⊙ , ϕ⋆1=(2.93±0.40)×10−3h370 ϕ1⋆=(2.93±0.40)×10−3h703 Mpc−3, α1 = −0.62 ± 0.03 ± 0.15, ϕ⋆2=(0.63±0.10)×10−3h370 ϕ2⋆=(0.63±0.10)×10−3h703 Mpc−3 and α2 = −1.50 ± 0.01 ± 0.15. We find the equivalent faint end slope as previously estimated using the GAMA-I sample, although we find a higher value of M⋆ M⋆ . Using the full GAMA-II sample, we are able to fit the mass function to masses as low as 107.5  M⊙, and assess limits to 106.5  M⊙. Combining GAMA-II with data from G10-COSMOS, we are able to comment qualitatively on the shape of the GSMF down to masses as low as 106 M⊙. Beyond the well-known upturn seen in the GSMF at 109.5, the distribution appears to maintain a single power-law slope from 109 to 106.5. We calculate the stellar mass density parameter given our best-estimate GSMF, finding Ω⋆=1.66+0.24−0.23±0.97h−170×10−3 Ω⋆=1.66−0.23+0.24±0.97h70−1×10−3 , inclusive of random and systematic uncertainties

    Monitoring Charge Exchange in P3HT-Nanotube Composites Using Optical and Electrical Characterisation

    Get PDF
    Charge exchange at the bulk heterojunctions of composites made by mixing single wall nanotubes (SWNTs) and polymers show potential for use in optoelectronic devices such as solar cells and optical sensors. The density/total area of these heterojunctions is expected to increase with increasing SWNT concentration but the efficiency of solar cell peaks at low SWNT concentrations. Most researchers use current–voltage measurements to determine the evolution of the SWNT percolation network and optical absorption measurements to monitor the spectral response of the composites. However, these methods do not provide a detailed account of carrier transport at the concentrations of interest; i.e., near or below the percolation threshold. In this article, we show that capacitance–voltage (C–V) response of (metal)-(oxide)-(semiconducting composite) devices can be used to fill this gap in studying bulk heterojunctions. In an approach where we combine optical absorption methods withC–Vmeasurements we can acquire a unified optoelectronic response from P3HT-SWNT composites. This methodology can become an important tool for optoelectronic device optimization

    The type II-plateau supernova 2017eaw in NGC 6946 and its red supergiant progenitor

    Get PDF
    We present extensive optical photometric and spectroscopic observations, from 4 to 482 days after explosion, of the Type II-plateau (II-P) supernova (SN) 2017eaw in NGC 6946. SN 2017eaw is a normal SN II-P intermediate in properties between, for example, SN 1999em and SN 2012aw and the more luminous SN 2004et, also in NGC 6946. We have determined that the extinction to SN 2017eaw is primarily due to the Galactic foreground and that the SN site metallicity is likely subsolar. We have also independently confirmed a tip-of-the-red-giant-branch (TRGB) distance to NGC 6946 of 7.73 ± 0.78 Mpc. The distances to the SN that we have also estimated via both the standardized candle method and expanding photosphere method corroborate the TRGB distance. We confirm the SN progenitor identity in pre-explosion archival Hubble Space Telescope (HST) and Spitzer Space Telescope images, via imaging of the SN through our HST Target of Opportunity program. Detailed modeling of the progenitor's spectral energy distribution indicates that the star was a dusty, luminous red supergiant consistent with an initial mass of ~15 M ⊙

    The Origin, Early Evolution and Predictability of Solar Eruptions

    Get PDF
    Coronal mass ejections (CMEs) were discovered in the early 1970s when space-borne coronagraphs revealed that eruptions of plasma are ejected from the Sun. Today, it is known that the Sun produces eruptive flares, filament eruptions, coronal mass ejections and failed eruptions; all thought to be due to a release of energy stored in the coronal magnetic field during its drastic reconfiguration. This review discusses the observations and physical mechanisms behind this eruptive activity, with a view to making an assessment of the current capability of forecasting these events for space weather risk and impact mitigation. Whilst a wealth of observations exist, and detailed models have been developed, there still exists a need to draw these approaches together. In particular more realistic models are encouraged in order to asses the full range of complexity of the solar atmosphere and the criteria for which an eruption is formed. From the observational side, a more detailed understanding of the role of photospheric flows and reconnection is needed in order to identify the evolutionary path that ultimately means a magnetic structure will erupt
    corecore