Small groups and long memories promote cooperation

Complex social behaviors lie at the heart of many of the challenges facing evolutionary biology, sociology, economics, and beyond. For evolutionary biologists the question is often how group behaviors such as collective action, or decision making that accounts for memories of past experience, can emerge and persist in an evolving system. Evolutionary game theory provides a framework for formalizing these questions and admitting them to rigorous study. Here we develop such a framework to study the evolution of sustained collective action in multi-player public-goods games, in which players have arbitrarily long memories of prior rounds of play and can react to their experience in an arbitrary way. We construct a coordinate system for memory-m strategies in iterated n-player games that permits us to characterize all cooperative strategies that resist invasion by any mutant strategy, and stabilize cooperative behavior. We show that, especially when groups are small, longer- memory strategies make cooperation easier to evolve, by increasing the number of ways to stabilize cooperation. We also explore the co-evolution of behavior and memory. We find that even when memory has a cost, longer-memory strategies often evolve, which in turn drives the evolution of cooperation, even when the benefits for cooperation are low

The population genetics of cooperative gene regulation.

Changes in gene regulatory networks drive the evolution of phenotypic diversity both within and between species. Rewiring of transcriptional networks is achieved either by changes to transcription factor binding sites or by changes to the physical interactions among transcription factor proteins. It has been suggested that the evolution of cooperative binding among factors can facilitate the adaptive rewiring of a regulatory network

Combining computational effects: commutativity and sum

We begin to develop a unified account of modularity for computational effects. We use the notion of enriched Lawvere theory, together with its relationship with strong monads, to reformulate Moggi’s paradigm for modelling computational effects; we emphasise the importance here of the operations that induce computational effects. Effects qua theories are then combined by appropriate bifunctors (on the category of theories). We give a theory of the commutative combination of effects, which in particular yields Moggi’s side-effects monad transformer (an application is the combination of side-effects with nondeterminism). And we give a theory for the sum of computational effects, which in particular yields Moggi’s exceptions monad transformer (an application is the combination of exceptions with other effects)

The Calcitonin and Glucocorticoids Combination: Mechanistic Insights into Their Class-Effect Synergy in Experimental Arthritis

PMCID: PMC3564948This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited

An extremely powerful long-lived superluminal ejection from the black hole MAXI J1820+070

Black holes in binary systems execute patterns of outburst activity where two characteristic X-ray states are associated with different behaviours observed at radio wavelengths. The hard state is associated with radio emission indicative of a continuously replenished, collimated, relativistic jet, whereas the soft state is rarely associated with radio emission, and never continuously, implying the absence of a quasi-steady jet. Here we report radio observations of the black hole transient MAXI J1820$+$070 during its 2018 outburst. As the black hole transitioned from the hard to soft state we observed an isolated radio flare, which, using high angular resolution radio observations, we connect with the launch of bi-polar relativistic ejecta. This flare occurs as the radio emission of the core jet is suppressed by a factor of over 800. We monitor the evolution of the ejecta over 200 days and to a maximum separation of 10$''$, during which period it remains detectable due to in-situ particle acceleration. Using simultaneous radio observations sensitive to different angular scales we calculate an accurate estimate of energy content of the approaching ejection. This energy estimate is far larger than that derived from state transition radio flare, suggesting a systematic underestimate of jet energetics

Rapid-response radio observations of short GRB 181123B with the Australia Telescope Compact Array

We introduce the Australia Telescope Compact Array (ATCA) rapid-response mode by presenting the first successful trigger on the short-duration gamma-ray burst (GRB) 181123B. Early-time radio observations of short GRBs may provide vital insights into the radio afterglow properties of Advanced LIGO- and Virgo-detected gravitational wave events, which will in turn inform follow-up strategies to search for counterparts within their large positional uncertainties. The ATCA was on target within 12.6 hr post-burst, when the source had risen above the horizon. While no radio afterglow was detected during the 8.3 hr observation, we obtained force-fitted flux densities of $7 \pm 12$ and $15 \pm 11~\mu$Jy at 5.5 and 9 GHz, respectively. Afterglow modelling of GRB 181123B showed that the addition of the ATCA force-fitted radio flux densities to the Swift X-ray Telescope detections provided more stringent constraints on the fraction of thermal energy in the electrons (log$\epsilon_e = -0.75^{+0.39}_{-0.40}$ rather than log$\epsilon_e = -1.13^{+0.82}_{-1.2}$ derived without the inclusion of the ATCA values), which is consistent with the range of typical $\epsilon_e$ derived from GRB afterglow modelling. This allowed us to predict that the forward shock may have peaked in the radio band $\sim10$ days post-burst, producing detectable radio emission $\gtrsim3-4$ days post-burst. Overall, we demonstrate the potential for extremely rapid radio follow-up of transients and the importance of triggered radio observations for constraining GRB blast wave properties, regardless of whether there is a detection, via the inclusion of force-fitted radio flux densities in afterglow modelling efforts

Category theoretic semantics for theorem proving in logic programming: embracing the laxness

A propositional logic program $P$ may be identified with a $P_fP_f$-coalgebra on the set of atomic propositions in the program. The corresponding $C(P_fP_f)$-coalgebra, where $C(P_fP_f)$ is the cofree comonad on $P_fP_f$, describes derivations by resolution. Using lax semantics, that correspondence may be extended to a class of first-order logic programs without existential variables. The resulting extension captures the proofs by term-matching resolution in logic programming. Refining the lax approach, we further extend it to arbitrary logic programs. We also exhibit a refinement of Bonchi and Zanasi's saturation semantics for logic programming that complements lax semantics.Comment: 20 pages, CMCS 201

A mathematical and computational review of Hartree-Fock SCF methods in Quantum Chemistry

We present here a review of the fundamental topics of Hartree-Fock theory in Quantum Chemistry. From the molecular Hamiltonian, using and discussing the Born-Oppenheimer approximation, we arrive to the Hartree and Hartree-Fock equations for the electronic problem. Special emphasis is placed in the most relevant mathematical aspects of the theoretical derivation of the final equations, as well as in the results regarding the existence and uniqueness of their solutions. All Hartree-Fock versions with different spin restrictions are systematically extracted from the general case, thus providing a unifying framework. Then, the discretization of the one-electron orbitals space is reviewed and the Roothaan-Hall formalism introduced. This leads to a exposition of the basic underlying concepts related to the construction and selection of Gaussian basis sets, focusing in algorithmic efficiency issues. Finally, we close the review with a section in which the most relevant modern developments (specially those related to the design of linear-scaling methods) are commented and linked to the issues discussed. The whole work is intentionally introductory and rather self-contained, so that it may be useful for non experts that aim to use quantum chemical methods in interdisciplinary applications. Moreover, much material that is found scattered in the literature has been put together here to facilitate comprehension and to serve as a handy reference.Comment: 64 pages, 3 figures, tMPH2e.cls style file, doublesp, mathbbol and subeqn package

Syndromes with congenital brittle bones

BACKGROUND: There is no clear definition of osteogenesis imperfecta (OI). The most widely used classification of OI divides the disease in four types, although it has been suggested that there may be at least 12 forms of OI. These forms have been named with numbers, eponyms or descriptive names. Some of these syndromes can actually be considered congenital forms of brittle bones resembling OI (SROI). DISCUSSION: A review of different syndromes with congenital brittle bones published in the literature is presented. Syndromes are classified in "OI" (those secondary to mutations in the type I pro-collagen genes), and "syndromes resembling OI" (those secondary to mutations other that the type I pro-collagen genes, identified or not). A definition for OI is proposed as a syndrome of congenital brittle bones secondary to mutations in the genes codifying for pro-collagen genes (COL1A1 and COL1A2). SUMMARY: A debate about the definition of OI and a possible clinical and prognostic classification are warranted