20 research outputs found

    Efficiently Parsable Extensions to Tree-Local Multicomponent TAG

    Get PDF
    Recent applications of Tree-Adjoining Grammar (TAG) to the domain of semantics as well as new attention to syntactic phenomena have given rise to increased interested in more expressive and complex multicomponent TAG formalisms (MCTAG). Although many constructions can be modeled using tree-local MCTAG (TL-MCTAG), certain applications require even more flexibility. In this paper we suggest a shift in focus from constraining locality and complexity through tree- and set-locality to constraining locality and complexity through restrictions on the derivational distance between trees in the same tree set in a valid derivation. We examine three formalisms, restricted NS-MCTAG, restricted Vector-TAG and delayed TL-MCTAG, that use notions of derivational distance to constrain locality and demonstrate how they permit additional expressivity beyond TL-MCTAG without increasing complexity to the level of set local MCTAG.Engineering and Applied Science

    Transient radio lines from axion miniclusters and axion stars

    Get PDF
    Gravitationally bound clumps of dark matter axions in the form of “miniclusters” or even denser “axion stars” can generate strong radio signals through axion-photon conversion when encountering highly magnetized neutron star magnetospheres. We systematically study encounters of axion clumps with neutron stars and characterize the axion infall, conversion and the subsequent propagation of the photons. We show that the high density and low escape velocity of the axion clumps lead to strong, narrow, and temporally characteristic transient radio lines with an expected duration varying from seconds to months. Our work comprises the first end-to-end modeling pipeline capable of characterizing the radio signal generated during these transient encounters, quantifying the typical brightness, anisotropy, spectral width, and temporal evolution of the radio flux. The methods developed here may prove essential in developing dedicated radio searches for transient radio lines arising from miniclusters and axion stars
    corecore