Holographic Composite Higgs Model Building: Soft Breaking, Maximal Symmetry, and the Higgs Mass

We study the emergence and phenomenological consequences of recently proposednew structures, namely soft breaking of the Higgs shift symmetry and `maximalsymmetry' of the composite sector, in holographic realizations of compositeHiggs models. For the former, we show that soft breaking can also successfullybe implemented in a full 5D warped model, where symmetry-restoring universalboundary conditions for the fermion fields allow to break the problematicconnection between a realistically light Higgs and anomalously light toppartners. For the latter, we demonstrate that the minimal incarnation ofmaximal symmetry in the holographic dual leads to a sharp prediction of$m_h\approx 197$ GeV for $f=800$ GeV. We find that a viable implementation ispossible with sizable negative gauge brane kinetic terms, allowing for$m_h=125$ GeV. Overall, both approaches offer promising directions to improvethe naturalness also of holographic realizations of composite Higgs models.<br

Propositional Dynamic Logic for Message-Passing Systems

We examine a bidirectional propositional dynamic logic (PDL) for finite and infinite message sequence charts (MSCs) extending LTL and TLC-. By this kind of multi-modal logic we can express properties both in the entire future and in the past of an event. Path expressions strengthen the classical until operator of temporal logic. For every formula defining an MSC language, we construct a communicating finite-state machine (CFM) accepting the same language. The CFM obtained has size exponential in the size of the formula. This synthesis problem is solved in full generality, i.e., also for MSCs with unbounded channels. The model checking problem for CFMs and HMSCs turns out to be in PSPACE for existentially bounded MSCs. Finally, we show that, for PDL with intersection, the semantics of a formula cannot be captured by a CFM anymore

Leveraging OpenStack and Ceph for a Controlled-Access Data Cloud

While traditional HPC has and continues to satisfy most workflows, a new generation of researchers has emerged looking for sophisticated, scalable, on-demand, and self-service control of compute infrastructure in a cloud-like environment. Many also seek safe harbors to operate on or store sensitive and/or controlled-access data in a high capacity environment. To cater to these modern users, the Minnesota Supercomputing Institute designed and deployed Stratus, a locally-hosted cloud environment powered by the OpenStack platform, and backed by Ceph storage. The subscription-based service complements existing HPC systems by satisfying the following unmet needs of our users: a) on-demand availability of compute resources, b) long-running jobs (i.e., $> 30$ days), c) container-based computing with Docker, and d) adequate security controls to comply with controlled-access data requirements. This document provides an in-depth look at the design of Stratus with respect to security and compliance with the NIH's controlled-access data policy. Emphasis is placed on lessons learned while integrating OpenStack and Ceph features into a so-called "walled garden", and how those technologies influenced the security design. Many features of Stratus, including tiered secure storage with the introduction of a controlled-access data "cache", fault-tolerant live-migrations, and fully integrated two-factor authentication, depend on recent OpenStack and Ceph features.Comment: 7 pages, 5 figures, PEARC '18: Practice and Experience in Advanced Research Computing, July 22--26, 2018, Pittsburgh, PA, US

The beginning of time? Evidence for catastrophic drought in Baringo in the early nineteenth century

New developments in the collection of palaeo-data over the past two decades have transformed our understanding of climate and environmental history in eastern Africa. This article utilises instrumental and proxy evidence of historical lake-level fluctuations from Baringo and Bogoria, along with other Rift Valley lakes, to document the timing and magnitude of hydroclimate variability at decadal to century time scales since 1750. These data allow us to construct a record of past climate variation not only for the Baringo basin proper, but also across a sizable portion of central and northern Kenya. This record is then set alongside historical evidence, from oral histories gathered amongst the peoples of northern Kenya and the Rift Valley and from contemporary observations recorded by travellers through the region, to offer a reinterpretation of human activity and its relationship to environmental history in the nineteenth century. The results reveal strong evidence of a catastrophic drought in the early nineteenth century, the effects of which radically alters our historical understanding of the character of settlement, mobility and identity within the Baringo–Bogoria basin

Towards Verifying Nonlinear Integer Arithmetic

We eliminate a key roadblock to efficient verification of nonlinear integer arithmetic using CDCL SAT solvers, by showing how to construct short resolution proofs for many properties of the most widely used multiplier circuits. Such short proofs were conjectured not to exist. More precisely, we give n^{O(1)} size regular resolution proofs for arbitrary degree 2 identities on array, diagonal, and Booth multipliers and quasipolynomial- n^{O(\log n)} size proofs for these identities on Wallace tree multipliers.Comment: Expanded and simplified with improved result

55% conversion efficiency to green in bulk quasi-phase-matching lithium niobate

High voltage and liquid electrodes were used for periodic poling of lithium niobate. A sample with a period of 6.80 µm was used for first-order frequency doubling of 1064 nm Q-switched Nd:YAG light with an average power conversion of 55%, implying greater than 90% power conversion at the peak of the pulse. The effective nonlinear coefficient for both Q-switched and continuous-wave measurements was ~15 pm/V

White Blood, Black Gold: The Commodification of Wild Rubber in the Bolivian Amazon, 1870-1920

The Bolivian rubber boom thrived during the 1880 and 1920 decades throughout the Amazonian fluvial network (Madre de Dios, Beni, Purús, Madeira and Beni rivers). The economic potential of rubber quickly became a decisive phenomenon in the social history of Eastern Bolivia, linked with the definitive ocupation of marginal territories, new interethnic relations, national and international migration, taxation, property entitlement, the foundation of cities, the rise of nationalism, the struggle to settle republican frontiers and a novel regional opening to global economy. The boom also encouraged substantial developments in cartography, hidrography, botanics and ethnology. Our goal is to describe the singularities of the rubber-tapping industry in Bolivia and to analyse the representations of “nature” held by rubber tappers of the period: there was indeed a modernist discourse based on the usual ideas of "progress" and "civilization" of the industry opposed to the "wildness", "savagery" and "barbarism" massively attributed to Amazonia, and also a generalized notion of the jungle as a "desert land" open to opportunities for the self-made man. In retrospect, these discourses can certainly reveal a lack of “ecological awareness”. However, a closer analysis of historical sources also shows the existence of voices that were more nuanced and reflexive, and in some cases even dared to point out the limits of extractivism –not only in "ecological" terms but also in reference to the life of the indigenous and creole populations involved in the rubber boom