Smile asymmetries and reputation as reliable indicators of likelihood to cooperate: An evolutionary analysis

Cooperating with individuals whose altruism is not motivated by genuine prosocial emotions could have been costly in ancestral division of labour partnerships. How do humans ‘know’ whether or not an individual has the prosocial emotions committing future cooperation? Frank (1988) has hypothesized two pathways for altruist-detection: (a) facial expressions of emotions signalling character; and (b) gossip regarding the target individual’s reputation. Detecting non-verbal cues signalling commitment to cooperate may be one way to avoid the costs of exploitation. Spontaneous smiles while cooperating may be reliable index cues because of the physiological constraints controlling the neural pathways mediating involuntary emotional expressions. Specifically, it is hypothesized that individuals whose help is mediated by a genuine sympathy will express involuntary smiles (which are observably different from posed smiles). To investigate this idea, 38 participants played dictator games (i.e. a unilateral resource allocation task) against cartoon faces with a benevolent emotional expression (i.e. concern furrows and smile). The faces were presented with information regarding reputation (e.g. descriptions of an altruistic character vs. a non-altruistic character). Half of the sample played against icons with symmetrical smiles (representing a spontaneous smile) while the other half played against asymmetrically smiling icons (representing a posed smile). Icons described as having altruistic motives received more resources than icons described as self-interested helpers. Faces with symmetrical smiles received more resources than faces with asymmetrical smiles. These results suggest that reputation and smile asymmetry influence the likelihood of cooperation and thus may be reliable cues to altruism. These cues may allow for altruists to garner more resources in division of labour situations

Formalizing Mathematical Knowledge as a Biform Theory Graph: A Case Study

A biform theory is a combination of an axiomatic theory and an algorithmic theory that supports the integration of reasoning and computation. These are ideal for formalizing algorithms that manipulate mathematical expressions. A theory graph is a network of theories connected by meaning-preserving theory morphisms that map the formulas of one theory to the formulas of another theory. Theory graphs are in turn well suited for formalizing mathematical knowledge at the most convenient level of abstraction using the most convenient vocabulary. We are interested in the problem of whether a body of mathematical knowledge can be effectively formalized as a theory graph of biform theories. As a test case, we look at the graph of theories encoding natural number arithmetic. We used two different formalisms to do this, which we describe and compare. The first is realized in ${\rm CTT}_{\rm uqe}$, a version of Church's type theory with quotation and evaluation, and the second is realized in Agda, a dependently typed programming language.Comment: 43 pages; published without appendices in: H. Geuvers et al., eds, Intelligent Computer Mathematics (CICM 2017), Lecture Notes in Computer Science, Vol. 10383, pp. 9-24, Springer, 201

What is liquid? Lyapunov instability reveals symmetry-breaking irreversibilities hidden within Hamilton's many-body equations of motion

Typical Hamiltonian liquids display exponential "Lyapunov instability", also called "sensitive dependence on initial conditions". Although Hamilton's equations are thoroughly time-reversible, the forward and backward Lyapunov instabilities can differ, qualitatively. In numerical work, the expected forward/backward pairing of Lyapunov exponents is also occasionally violated. To illustrate, we consider many-body inelastic collisions in two space dimensions. Two mirror-image colliding crystallites can either bounce, or not, giving rise to a single liquid drop, or to several smaller droplets, depending upon the initial kinetic energy and the interparticle forces. The difference between the forward and backward evolutionary instabilities of these problems can be correlated with dissipation and with the Second Law of Thermodynamics. Accordingly, these asymmetric stabilities of Hamilton's equations can provide an "Arrow of Time". We illustrate these facts for two small crystallites colliding so as to make a warm liquid. We use a specially-symmetrized form of Levesque and Verlet's bit-reversible Leapfrog integrator. We analyze trajectories over millions of collisions with several equally-spaced time reversals.Comment: 13 pages and 11 figures, prepared for Douglas Henderson's 80th Birthday Symposium at Brigham Young University in August 2014 revised to incorporate referee's suggestions as an acknowledgmen

Predation by \u3ci\u3eAchaearanea Tepidariorum\u3c/i\u3e (Araneae: Theridiidae) on \u3ci\u3eAnoplophora Glabripennis\u3c/i\u3e (Coleoptera: Cerambycidae)

Anoplophora glabripennis is a large wood-boring cerambycid beetle that has recently invaded North America and Europe from Asia. We discovered the common house spider, Achaearanea tepidariorum, in large cages housing A. glabripennis on trees and confirmed the ability of A. tepidariorum to prey upon adult A. glabripennis by placing the two species together within smaller containers where they could be more easily observed. Adult A. glabripennis, up to 600% of the spiders’ body length, exceed the maximum relative size of prey previously reported for A. tepidariorum or for solitary webbuilding spiders in general

Every Girl In Town Likes My Boy

https://digitalcommons.library.umaine.edu/mmb-vp/5082/thumbnail.jp

Complimentary Banquet by the American Institute of Instruction to the National Educational Association Boston Meeting

Booklet concerning the complimentary banquet held by the American Institute of Instruction, with a note inside for W. J. Kerr