4,937 research outputs found

    Comments on 4-point functions in the CFT/AdS correspondence

    Get PDF
    We study the four--point function of chiral primaries corresponding to the dilaton--axion sector in supergravity in the AdS5AdS_5/CFT4_4 correspondence. We find relations between some of the supergravity graphs and compute their leading singularities. We discuss the issue of logarithmic singularities and their significance for the OPE structure of the CFT.Comment: Latex, 12 pages, Some typos correcte

    Intersectionality, Race-Gender Subordination, and Education

    Get PDF
    In this chapter, we unpack intersectionality as an analytical framework. First, we cite Black Lives Matter as an impetus for discussing intersectionality’s current traction. Second, we review the genealogy of “intersectionality” beginning with Kimberlé Crenshaw’s formulation, which brought a Black Studies provocation into legal discourse in order to challenge existing antidiscrimination doctrine and single-axis theorizing. The third, and most central, task of the chapter is our account of intersectionality’s utility for social analysis. We examine some of the issues raised by the metaphor of the intersection and some of the debates surrounding the concept, such as the tension between fragmenting and universalizing perspectives mediated by the notion of “strategic essentialism.” Fourth, we review how education researchers have explained race and gender subordination in education since Ladson-Billings and Tate’s Teachers College Record article. We conclude with some remarks concerning future research on intersectionality

    Non(anti)commutative gauge theories in harmonic superspace

    Get PDF
    [no abstract

    Verifying Quantum Programs: From Quipper to QPMC

    Get PDF
    In this paper we present a translation from the quantum programming language Quipper to the QPMC model checker, with the main aim of verifying Quipper programs. Quipper is an embedded functional programming language for quantum computation. It is above all a circuit description language, for this reason it uses the vector state formalism and its main purpose is to make circuit implementation easy providing high level operations for circuit manipulation. Quipper provides both an high-level circuit building interface and a simulator. QPMC is a model checker for quantum protocols based on the density matrix formalism. QPMC extends the probabilistic model checker IscasMC allowing to formally verify properties specified in the temporal logic QCTL on Quantum Markov Chains. We implemented and tested our transla

    Are all pastures eligible for conservation? A phytosociological survey of the Sardinian–Corsican Province as a basic tool for the Habitats Directive

    Get PDF
    A consistent vegetation classification is an essential tool for conservation and monitoring purposes, also for semi-natural habitats such as pastures and hay meadows that are linked to traditional land use and generally considered crucial to maintain biodiversity within agricultural systems. Indeed, these habitats can be strongly affected by land abandonment or agriculture intensification. Despite their importance in the framework of the EU Habitats Directive (43/92/EEC), information on distribution, species composition, and conservation status is still lacking for many regions. To fill these gaps, we investigated from a phytosociological point of view the sheep pastures of the North-Western Sardinian trachy-basaltic sector. Three main communities were described as new: (i) perennial montane (meso-supratemperate) cattle and sheep pastures (Loto alpini- Festucetum morisianae); (ii) mixed (annual and perennial) Mediterranean (lower Thermomediterranean to lower supratemperate) sheep pastures (Ornithogalo corsici-Poetum bulbosae); and (iii) annual ploughed subnitrophilous Mediterranean and Temperate pastures (Cynosuro polybracteati-Vulpietum ligusticae). As the first two host numerous endemic taxa and show a peculiar floristic composition, we assign them a higher conservation value, testified also by their classification in two new syntaxa: Danthonio decumbentis-Caricenion insularis (Molinio-Arrhenatheretea) and Ornithogalo corsici-Trifolienion subterranei (Poetea bulbosae), respectively
    • …
    corecore