bluuebunny/crossref_metadata_2025 huggingface dataset:
Carotenoid availability affects the development of a colour-based mate preference and the sensory bias to which it is genetically linked
Authors: Grether Gregory F , Kolluru Gita R , Rodd F. Helen , de la Cerda Jennifer , Shimazaki Kaori
Published: September 2005

Regardless of their origins, mate preferences should, in theory, be shaped by their benefits in a mating context. Here we show that the female preference for carotenoid colouration in guppies (
Poecilia reticulata
) exhibits a phenotypically plastic response to carotenoid availability, confirming a key prediction of sexual selection theory. Earlier work indicated that this mate preference is genetically linked to, and may be derived from, a sensory bias that occurs in both sexes: attraction to orange objects. The original function of this sensory bias is unknown, but it may help guppies find orange-coloured fruits in the rainforest streams of Trinidad. We show that the sensory bias also exhibits a phenotypically plastic response to carotenoid availability, but only in females. The sex-specificity of this reaction norm argues against the hypothesis that it evolved in a foraging context. We infer instead that the sensory bias has been modified as a correlated effect of selection on the mate preference. These results provide a new type of support for the hypothesis that mate preferences for sexual characters evolve in response to the benefits of mate choice—the alternatives being that such preferences evolve entirely in a non-mating context or in response to the costs of mating.
Moon orientation in adult and young sandhoppers under artificial light
Authors: Ugolini Alberto , Boddi Vieri , Mercatelli Luca , Castellini Carlo
Published: September 2005

Our experiments, carried out at night and during the day on adults and laboratory-born young of the sandhopperTalitrus saltator, deal with the identification and use of the moon as an orientating factor. Sandhoppers were released in an apparatus (a Plexiglas dome) that produced a scenario similar to the natural one (with artificial sky, moon or sun illuminated at different intensities).

When tested at night, the adult and young sandhoppers used the artificial moon like the natural one, independently of the intensity of illumination of the artificial sky and moon. In other words, sandhoppers tested at night always identified the artificial moon as the moon and never as the sun. In daytime releases, the seaward orientation failed at low intensities of artificial sky and sun illumination (3.07 and 1.55 μW cm2, respectively), whereas the sun compass was used effectively at higher levels of artificial sun and sky illumination. The innate ability of moon compass orientation in inexpert young sandhoppers was demonstrated even under artificial light.
Limiting cheaters in mutualism: evidence from hybridization between mutualist and cheater yucca moths
Authors: Segraves Kari A , Althoff David M , Pellmyr Olle
Published: September 2005

Mutualisms are balanced antagonistic interactions where both species gain a net benefit. Because mutualisms generate resources, they can be exploited by individuals that reap the benefits of the interaction without paying any cost. The presence of such ‘cheaters’ may have important consequences, yet we are only beginning to understand how cheaters evolve from mutualists and how their evolution may be curtailed within mutualistic lineages. The yucca–yucca moth pollination mutualism is an excellent model in this context as there have been two origins of cheating from within the yucca moth lineage. We used nuclear and mitochondrial DNA markers to examine genetic structure in a moth population where a cheater species is parapatric with a resident pollinator. The results revealed extensive hybridization between pollinators and cheaters. Hybrids were genetically intermediate to parental populations, even though all individuals in this population had a pollinator phenotype. The results suggest that mutualisms can be stable in the face of introgression of cheater genes and that the ability of cheaters to invade a given mutualism may be more limited than previously appreciated.
Evidence of three maternal lineages in near eastern sheep supporting multiple domestication events
Authors: Pedrosa Susana , Uzun Metehan , Arranz Juan-José , Gutiérrez-Gil Beatriz , San Primitivo Fermín , Bayón Yolanda
Published: September 2005

The variability of mtDNA was analysed in local sheep breeds reared throughout Turkey, for which a fragment of theD-loopregion and the complete cytochromebwere sequenced. Phylogenetic analyses performed independently for theD-loopand theCyt bgene revealed three clearly separated clusters indicating three major maternal lineages, two of which had been previously described as types B and A. The new type, C, was present in all the breeds analysed and showed considerable mtDNA variability. Divergence time was obtained on the basis ofCyt bgene and was estimated to be around 160 000–170 000 years ago for lineages B and A, whereas the divergence of lineage C proved to have occurred earlier (between 450 000 and 750 000 years ago). These times greatly predate domestication and suggest that the origin of modern sheep breeds was more complex than previously thought and that at least three independent sheep domestication events occurred. Our results, together with archaeological information and the current wild sheep populations in the Near East region support the high importance of this area in the sheep domestication process. Finally, the evidence of a third maternal lineage has important implications regarding the history of modern sheep.
Alternative use of chromatic and achromatic cues in a hawkmoth
Authors: Kelber Almut
Published: September 2005

The diurnal hummingbird hawkmothMacroglossum stellatarumcan learn the achromatic (intensity-related) and the chromatic (wavelength-related) aspect of a spectral colour. Free-flying moths learn to discriminate two colours differing in the chromatic aspect of colour fast and with high precision. In contrast, they learn the discrimination of two stimuli differing in the achromatic aspect more slowly and less reliably. When trained to use the chromatic aspect, they disregard the achromatic aspect, and when trained to use the achromatic aspect, they disregard the chromatic aspect, at least to some degree. In a conflicting situation, hummingbird hawkmoths clearly rely on the chromatic aspect of colour. Generally, the moths pay attention to the most reliable cue that allows them to discriminate colours in the learning situation. This is usually the chromatic aspect of the colour but they can learn to attend to the achromatic aspect instead. There is no evidence for relative colour learning, i.e. moths do not learn to choose the longer or shorter of two wavelengths, but it is possible that they learn to choose the darker or brighter shade of a colour, and thereby its relative intensities.
Mode of origin differentially influences the fitness of parthenogenetic freshwater snails
Authors: Johnson Steven G
Published: September 2005

How parthenogenetic lineages arise from sexual ancestors may strongly influence their persistence over evolutionary time. Hybrid parthenogens often have elevated heterozygosity and ploidy, thus making it difficult to disentangle the influence of reproductive mode, hybridity and ploidy on their relative fitness. By comparing the relative fitness of both hybrid and non-hybrid parthenogens to their sexual ancestors, further insight may be gained into how these three factors influence the maintenance of sexual and parthenogenetic reproduction. In the present study, hybrid and non-hybrid parthenogenetic and sexual snails (Campelomasp.) were compared for the following characteristics: female size-fecundity curves, offspring size, survivorship, and growth. Compared to nearby sexual populations, triploid hybrid parthenogens from the Florida Gulf coast have similar fecundity and offspring size, five-times higher survivorship, and 60% higher growth. Relative to nearby sexual populations, non-hybrid parthenogeneticC. limumfrom the Atlantic coast have significantly higher fecundity, smaller offspring size, similar survivorship and slightly lower growth. Given the considerable fitness advantages of parthenogens, especially hybrid parthenogens, it is enigmatic as to why these parthenogens occupy marginal natural habitats.
Socially induced and rapid increases in aggression are inversely related to brain aromatase activity in a sex-changing fish,
Lythrypnus dalli
Authors: Black Michael P , Balthazart Jacques , Baillien Michelle , Grober Matthew S
Published: September 2005

Social interactions can generate rapid and dramatic changes in behaviour and neuroendocrine activity. We investigated the effects of a changing social environment on aggressive behaviour and brain aromatase activity (bAA) in a sex-changing fish,
Lythrypnus dalli
. Aromatase is responsible for the conversion of androgen into oestradiol. Male removal from a socially stable group resulted in rapid and dramatic (≥200%) increases in aggression in the dominant female, which will become male usually 7–10 days later. These dominant females and recently sex-changed individuals had lower bAA but similar gonadal aromatase activity (gAA) compared to control females, while established males had lower bAA than all groups and lower gAA than all groups except dominant females. Within hours of male removal, dominant females' aggressive behaviour was inversely related to bAA but not gAA. These results are novel because they are the first to: (i) demonstrate socially induced decreases in bAA levels corresponding with increased aggression, (ii) identify this process as a possible neurochemical mechanism regulating the induction of behavioural, and subsequently gonadal, sex change and (iii) show differential regulation of bAA versus gAA resulting from social manipulations. Combined with other studies, this suggests that aromatase activity may modulate fast changes in vertebrate social behaviour.
Long-term decline in a red-winged blackbird population: ecological causes and sexual selection consequences
Authors: Weatherhead Patrick J
Published: September 2005

Habitat loss and large-scale climate phenomena are widely implicated as causing decline in animal populations. I examined how both factors contributed to a precipitous decline in an Ontario red-winged blackbird (Agelaius phoeniceus) population using 16 years of data collected between 1974 and 1995. The decline was manifested as an almost 50% reduction in mean harem size, which reduced the opportunity for sexual selection threefold. Regional hay production, which should affect recruitment into the study population, also declined substantially. Correlation between blackbirds and hay may be coincidental, however, because annual changes in harem size were not associated with annual changes in hay production. This study coincided with an unprecedented positive phase of the North Atlantic Oscillation (NAO). Changes in harem size were correlated with winter NAO index values, suggesting that winter mortality contributed to the population decline. Positive correlation between harem size change and male return rates also supported the winter mortality hypothesis. Continued declines will cause this blackbird population to change from socially polygynous to socially monogamous. Study of red-winged blackbird winter ecology is needed to identify the proximate causes of mortality, whereas breeding studies can explore the consequences of relaxed sexual selection.
Pterin pigments amplify iridescent ultraviolet signal in males of the orange sulphur butterfly,Colias eurytheme
Authors: Rutowski R.L , Macedonia J.M , Morehouse N , Taylor-Taft L
Published: September 2005

Animal colouration is typically the product of nanostructures that reflect or scatter light and pigments that absorb it. The interplay between these colour-producing mechanisms may influence the efficacy and potential information content of colour signals, but this notion has received little empirical attention. Wing scales in the male orange sulphur butterfly (Colias eurytheme) possess ridges with lamellae that produce a brilliant iridescent ultraviolet (UV) reflectance via thin-film interference. Curiously, these same scales contain pterin pigments that strongly absorb wavelengths below 550 nm. Given that male UV reflectance functions as a sexual signal inC. eurytheme, it is paradoxical that pigments in the wing scales are highly UV absorbing. We present spectrophotometric analyses of the wings before and after pterin removal that show that pterins both depress the amplitude of UV iridescence and suppress a diffuse UV reflectance that emanates from the scales. This latter effect enhances the directionality and spectral purity of the iridescence, and increases the signal's chromaticity and potential signal content. Our findings also suggest that pterins amplify the contrast between iridescent UV reflectance and scale background colour as a male's wings move during flight.
Sex-contingent face after-effects suggest distinct neural populations code male and female faces
Authors: Little Anthony C , DeBruine Lisa M , Jones Benedict C
Published: September 2005

Exposure to faces biases perceptions of subsequently viewed faces. Faces similar to those seen previously are judged more normal and attractive than they were prior to exposure. Here we show sex-contingent after-effects following adaptation to eye-spacing (experiment 1), facial identity (experiment 2) and masculinity (experiment 3). Viewing faces of one sex with increased eye-spacing and faces of the other sex with decreased eye-spacing simultaneously induced opposite after-effects for male and female faces (assessed by normality judgments). Viewing faces transformed in identity or masculinity increased preferences for novel faces with characteristics similar to those viewed only when the sex of the faces presented in the adaptation phase and in post-adaptation preference tests were congruent. Because after-effects reflect changes in responses of neural populations that code faces, our findings indicate that distinct neural populations code male and female faces.
Barriers and distances as determinants for the evolution of bird migration links: the arctic shorebird system
Authors: Henningsson Sara S , Alerstam Thomas
Published: September 2005

We analysed migratory connectivity between different winter quarters and breeding sectors in the circumpolar tundra region for arctic shorebirds, in relation to migratory distances and ecological barriers. Total distances and barriers were calculated and measured for all potential migratory orthodrome links between 10 selected winter regions and 12 breeding sectors. The migratory segment between the northernmost stopover site and the breeding area, associated with the entry to and exit from the tundra during spring and autumn migration, respectively, was also identified and measured for each potential link.

The analysis indicated that the evolution of migratory links among arctic shorebirds is constrained not by distance as such but by distance across ecological barriers, possibly because of the complex adaptations required for barrier crossing and extensive detour migration (and in a few cases because barrier distances exceed the birds' theoretical flight range capacity). A particularly pronounced barrier effect of the Arctic Ocean, as apparent from a sharp decline in migratory connectivity between the opposite sides of the Arctic Ocean, may reflect a crucial importance of favourable entry and exit conditions for successfully occupying different sectors of the tundra breeding area by shorebirds from winter regions situated at widely different total distances in both the southern and northern hemispheres.
Gigantism, temperature and metabolic rate in terrestrial poikilotherms
Authors: Makarieva Anastassia M , Gorshkov Victor G , Li Bai-Lian
Published: September 2005

The mechanisms dictating upper limits to animal body size are not well understood. We have analysed body length data for the largest representatives of 24 taxa of terrestrial poikilotherms from tropical, temperate and polar environments. We find that poikilothermic giants on land become two–three times shorter per each 10 degrees of decrease in ambient temperature. We quantify that this diminution of maximum body size accurately compensates the drop of metabolic rate dictated by lower temperature. This supports the idea that the upper limit to body size within each taxon can be set by a temperature-independent critical minimum value of mass-specific metabolic rate, a fall below which is not compatible with successful biological performance.
Metamorphosis in a Silurian barnacle
Authors: Briggs Derek E.G , Sutton Mark D , Siveter David J , Siveter Derek J
Published: September 2005

Exceptionally preserved fossils from the Wenlock Series (Silurian) of Herefordshire, UK, provide unique evidence of metamorphosis from free-swimming cyprid larva to attached juvenile in a Palaeozoic barnacle. The larva had large brush-like anterior limbs. The juvenile shows the head transformed into a stalk and the development of the primordial condition of five mineralized plates within the carapace. The discovery of a cyprid larva indicates that crown group cirripedes had evolved by the Silurian.
Gene transfer from a parasitic flowering plant to a fern
Authors: Davis Charles C , Anderson William R , Wurdack Kenneth J
Published: September 2005

The rattlesnake fern (Botrychium virginianum(L.) Sw.) is obligately mycotrophic and widely distributed across the northern hemisphere. Three mitochondrial gene regions place this species with other ferns in Ophioglossaceae, while two regions place it as a member of the largely parasitic angiosperm order Santalales (sandalwoods and mistletoes). These discordant phylogenetic placements suggest that part of the genome inB. virginianumwas acquired by horizontal gene transfer (HGT), perhaps from root-parasitic Loranthaceae. These transgenes are restricted toB. virginianumand occur across the range of the species. Molecular and life-history traits indicate that the transfer preceded the global expansion ofB. virginianum, and that the latter may have happened very rapidly. This is the first report of HGT from an angiosperm to a fern, through either direct parasitism or the mediation of interconnecting fungal symbionts.
Linkage mapping reveals sex-dimorphic map distances in a passerine bird
Authors: Hansson Bengt , Åkesson Mikael , Slate Jon , Pemberton Josephine M
Published: September 2005

Linkage maps are lacking for many highly influential model organisms in evolutionary research, including all passerine birds. Consequently, their full potential as research models is severely hampered. Here, we provide a partial linkage map and give novel estimates of sex-specific recombination rates in a passerine bird, the great reed warbler (Acrocephalus arundinaceus). Linkage analysis of genotypic data at 51 autosomal microsatellites and seven markers on the Z-chromosome (one of the sex chromosomes) from an extended pedigree resulted in 12 linkage groups with 2–8 loci. A striking feature of the map was the pronounced sex-dimorphism: males had a substantially lower recombination rate than females, which resulted in a suppressed autosomal map in males (sum of linkage groups: 110.2 cM) compared to females (237.2 cM; female/male map ratio: 2.15). The sex-specific recombination rates will facilitate the building of a denser linkage map and cast light on hypotheses about sex-specific recombination rates.
Do unprofitable prey evolve traits that profitable prey find difficult to exploit?
Authors: Sherratt Thomas N , Franks Daniel W
Published: September 2005

Prey that are unprofitable to attack (for example, those containing noxious chemicals) are often conspicuously patterned and move in a slower and more predictable manner than species lacking these defences. Contemporary theories suggest these traits have evolved as warning signals because they can facilitate both associative and discriminative avoidance learning in predators. However, it is unclear why these particular traits and not others have tended to evolve in unprofitable prey. Here we show using a signal detection model that unprofitable prey will evolve conspicuous colours and patterns partly because these characteristics cannot readily evolve in profitable prey without close mimicry. The stability of this signal is maintained through the costs of dishonesty in profitable prey. Indeed, unprofitable prey will sometimes evolve a conspicuous form to reduce mimetic parasitism, even in the unlikely event that this form can be more closely mimicked. This is one of the first mathematical models of the evolution of warning signals to allow for the possibility of mimicry, yet our analyses suggest it may offer a general explanation as to why warning signals take the form that they do. Warning signals and mimicry may therefore be more closely related than is currently supposed.
Recurrent evolution of host-specialized races in a globally distributed parasite
Authors: McCoy Karen D , Chapuis Elodie , Tirard Claire , Boulinier Thierry , Michalakis Yannis , Bohec Céline Le , Maho Yvon Le , Gauthier-Clerc Michel
Published: September 2005

The outcome of coevolutionary interactions is predicted to vary across landscapes depending on local conditions and levels of gene flow, with some populations evolving more extreme specializations than others. Using a globally distributed parasite of colonial seabirds, the tickIxodes uriae, we examined how host availability and geographic isolation influences this process. In particular, we sampled ticks from 30 populations of six different seabird host species, three in the Southern Hemisphere and three in the Northern Hemisphere. We show that parasite races have evolved independently on hosts of both hemispheres. Moreover, the degree of differentiation between tick races varied spatially within each region and suggests that the divergence of tick races is an ongoing process that has occurred multiple times across isolated areas. AsI. uriaeis vector to the bacterium responsible for Lyme diseaseBorrelia burgdorferi sensu lato, these results may have important consequence for the epidemiology of this disease. With the increased occurrence of novel interspecific interactions due to global change, these results also stress the importance of the combined effects of gene flow and selection for parasite diversification.
Rodent malaria parasites
Plasmodium chabaudi
and
P. vinckei
do not increase their rates of gametocytogenesis in response to mosquito probing
Authors: Shutler Dave , Reece Sarah E , Mullie Adele , Billingsley Peter F , Read Andrew F
Published: September 2005

Several vector-borne infectious agents facultatively alter their life history strategies in response to local vector densities. Some evidence suggests that malaria parasites invest more heavily in transmission stage production (gametocytogenesis) when vectors are present. Such a strategy could rapidly increase malaria transmission rates, particularly when adult mosquitoes begin to appear after dry seasons. However, in contrast to a recent experiment with a rodent malaria (
Plasmodium chabaudi
), we found no change in gametocytogenesis in either
P. chabaudi
or in another rodent malaria,
P. vinckei
, when their mouse hosts were exposed to mosquitoes. Positive results in the earlier study may have been because mosquito-feeding caused anaemia in hosts, a known promoter of gametocytogenesis. The substantial evidence that malaria and a variety of other parasites facultatively alter transmission strategies in response to a variety of environmental influences makes our results surprising.
Interactions between intrinsic and extrinsic mechanisms in a cyclic species: testosterone increases parasite infection in red grouse
Authors: Seivwright Linzi J , Redpath Stephen M , Mougeot François , Leckie Fiona , Hudson Peter J
Published: September 2005

Field studies of mechanisms involved in population regulation have tended to focus on the roles of either intrinsic or extrinsic factors, but these are rarely mutually exclusive and their interactions can be crucial in determining dynamics. Experiments on red grouseLagopus lagopus scoticushave shown that population instability can be caused both by the effects of a parasitic nematode,Trichostrongylus tenuis, on host production or by changes in testosterone influencing aggressive behaviour and recruitment. We experimentally tested for an interaction between testosterone andT. tenuisin free-living male grouse. A total of 123 grouse were caught in autumn, treated with an anthelmintic to remove parasites, and then given either testosterone or empty, control, implants. After one month grouse were re-infected with a standard dose of parasites. We show that males with increased testosterone levels had greater parasite intensities than controls after one year. We discuss possible physiological and behavioural mechanisms linking testosterone and increased parasite intensity, and the implications for our understanding of complex, unstable population dynamics.
Adaptive male effects on female ageing in seed beetles
Authors: Maklakov Alexei A , Kremer Natacha , Arnqvist Göran
Published: September 2005

Selection can favour the evolution of a high reproductive rate early in life even when this results in a subsequent increase in the rate of mortality, because selection is relatively weak late in life. However, the optimal reproductive schedule of a female may be suboptimal to any one of her mates, and males may thus be selected to modulate female reproductive rate. Owing to such sexual conflict, coevolution between males and females may contribute to the evolution of senescence. By using replicated beetle populations selected for reproduction at an early or late age, we show that males evolve to affect senescence in females in a manner consistent with the genetic interests of males. ‘Late’ males evolved to decelerate senescence and increase the lifespan of control females, relative to ‘early’ males. Our findings demonstrate that adaptive evolution in one sex may involve its effects on senescence in the other, showing that the evolution of optimal life histories in one sex may be either facilitated or constrained by genes expressed in the other.
Cattle domestication in the Near East was followed by hybridization with aurochs bulls in Europe
Authors: Götherström Anders , Anderung Cecilia , Hellborg Linda , Elburg Rengert , Smith Colin , Bradley Dan G , Ellegren Hans
Published: September 2005

Domesticated cattle were one of the cornerstones of European Neolithisation and are thought to have been introduced to Europe from areas of aurochs domestication in the Near East. This is consistent with mitochondrial DNA (mtDNA) data, where a clear separation exists between modern European cattle and ancient specimens of British aurochsen. However, we show that Y chromosome haplotypes of north European cattle breeds are more similar to haplotypes from ancient specimens of European aurochsen, than to contemporary cattle breeds from southern Europe and the Near East. There is a sharp north–south gradient across Europe among modern cattle breeds in the frequencies of two distinct Y chromosome haplotypes; the northern haplotype is found in 20 out of 21 European aurochsen or early domestic cattle dated 9500–1000 BC. This indicates that local hybridization with male aurochsen has left a paternal imprint on the genetic composition of modern central and north European breeds. Surreptitious mating between aurochs bulls and domestic cows may have been hard to avoid, or may have occurred intentionally to improve the breeding stock. Rather than originating from a few geographical areas only, as indicated by mtDNA, our data suggest that the origin of domestic cattle may be far more complex than previously thought.
Genetic analysis reveals demographic fragmentation of grizzly bears yielding vulnerably small populations
Authors: Proctor Michael F , McLellan Bruce N , Strobeck Curtis , Barclay Robert M.R
Published: September 2005

Ecosystem conservation requires the presence of native carnivores, yet in North America, the distributions of many larger carnivores have contracted. Large carnivores live at low densities and require large areas to thrive at the population level. Therefore, if human-dominated landscapes fragment remaining carnivore populations, small and demographically vulnerable populations may result. Grizzly bear range contraction in the conterminous USA has left four fragmented populations, three of which remain along the Canada–USA border. A tenet of grizzly bear conservation is that the viability of these populations requires demographic linkage (i.e. inter-population movement of both sexes) to Canadian bears. Using individual-based genetic analysis, our results suggest this demographic connection has been severed across their entire range in southern Canada by a highway and associated settlements, limiting female and reducing male movement. Two resulting populations are vulnerably small (≤100 animals) and one of these is completely isolated. Our results suggest that these trans-border bear populations may be more threatened than previously thought and that conservation efforts must expand to include international connectivity management. They also demonstrate the ability of genetic analysis to detect gender-specific demographic population fragmentation in recently disturbed systems, a traditionally intractable yet increasingly important ecological measurement worldwide.
Contingent movement and cooperation evolve under generalized reciprocity
Authors: Hamilton Ian M , Taborsky Michael
Published: September 2005

How cooperation and altruism among non-relatives can persist in the face of cheating remains a key puzzle in evolutionary biology. Although mechanisms such as direct and indirect reciprocity and limited movement have been put forward to explain such cooperation, they cannot explain cooperation among unfamiliar, highly mobile individuals. Here we show that cooperation may be evolutionarily stable if decisions taken to cooperate and to change group membership are both dependent on anonymous social experience (generalized reciprocity). We find that a win–stay, lose–shift rule (where shifting is either moving away from the group or changing tactics within the group after receiving defection) evolves in evolutionary simulations when group leaving is moderately costly (i.e. the current payoff to being alone is low, but still higher than that in a mutually defecting group, and new groups are rarely encountered). This leads to the establishment of widespread cooperation in the population. If the costs of group leaving are reduced, a similar group-leaving rule evolves in association with cooperation in pairs and exploitation of larger anonymous groups. We emphasize that mechanisms of assortment within populations are often behavioural decisions and should not be considered independently of the evolution of cooperation.
Odour concentration affects odour identity in honeybees
Authors: Wright Geraldine A , Thomson Mitchell G.A , Smith Brian H
Published: September 2005

The fact that most types of sensory stimuli occur naturally over a large range of intensities is a challenge to early sensory processing. Sensory mechanisms appear to be optimized to extract perceptually significant stimulus fluctuations that can be analysed in a manner largely independent of the absolute stimulus intensity. This general principle may not, however, extend to olfaction; many studies have suggested that olfactory stimuli arenotperceptually invariant with respect to odour intensity. For many animals, absolute odour intensity may be a feature in itself, such that it forms a part of odour identity and thus plays an important role in discrimination alongside other odour properties such as the molecular identity of the odorant. The experiments with honeybees reported here show a departure from odour-concentration invariance and are consistent with a lower-concentration regime in which odour concentration contributes to overall odour identity and a higher-concentration regime in which it may not. We argue that this could be a natural consequence of odour coding and suggest how an ‘intensity feature’ might be useful to the honeybee in natural odour detection and discrimination.
Winter resource wealth drives delayed dispersal and family-group living in western bluebirds
Authors: Dickinson Janis L , McGowan Andrew
Published: September 2005

Delayed dispersal, where offspring remain with parents beyond the usual period of dependence, is the typical route leading to formation of kin-based cooperative societies. The prevailing explanations for why offspring stay home are variation in resource wealth, in which offspring of wealthy parents benefit disproportionately by staying home, and nepotism, where the tendency for parents to be less aggressive and share food with offspring makes home a superior place to wait to breed. These hypotheses are not strict alternatives, as only wealthy parents have sufficient resources to share. In western bluebirds,
Sialia mexicana
, sons usually delay dispersal until after winter, gaining feeding advantages through maternal nepotism in a familial winter group. Experimentally reducing resource wealth (mistletoe) by half on winter territories caused sons to disperse in summer, even though their parents remained on the territory during the winter. Only 8% of sons remained with their parents on mistletoe-removal territories compared to 50% of sons on control territories (
t
9,10
=3.33,
p
<0.005). This study is the first to demonstrate that experimentally reducing wealth of a natural food resource reduces delayed dispersal, facilitating nepotism and family-group living. The results clarify the roles of year-round residency, resource limitation and relative wealth outside the breeding season in facilitating the formation of kin-based cooperative societies.
Biology of extinction risk in marine fishes
Authors: Reynolds John D , Dulvy Nicholas K , Goodwin Nicholas B , Hutchings Jeffrey A
Published: September 2005

We review interactions between extrinsic threats to marine fishes and intrinsic aspects of their biology that determine how populations and species respond to those threats. Information is available on the status of less than 5% of the world's approximately 15 500 marine fish species, most of which are of commercial importance. By 2001, based on data from 98 North Atlantic and northeast Pacific populations, marine fishes had declined by a median 65% in breeding biomass from known historic levels; 28 populations had declined by more than 80%. Most of these declines would be sufficient to warrant a status of threatened with extinction under international threat criteria. However, this interpretation is highly controversial, in part because of a perception that marine fishes have a suite of life history characteristics, including high fecundity and large geographical ranges, which might confer greater resilience than that shown by terrestrial vertebrates. We review 15 comparative analyses that have tested for these and other life history correlates of vulnerability in marine fishes. The empirical evidence suggests that large body size and late maturity are the best predictors of vulnerability to fishing, regardless of whether differences among taxa in fishing mortality are controlled; there is no evidence that high fecundity confers increased resilience. The evidence reviewed here is of direct relevance to the diverse criteria used at global and national levels by various bodies to assess threat status of fishes. Simple life history traits can be incorporated directly into quantitative assessment criteria, or used to modify the conclusions of quantitative assessments, or used as preliminary screening criteria for assessment of the ∼95% of marine fish species whose status has yet to be evaluated either by conservationists or fisheries scientists.
Computing and the cultures of proving
Authors: MacKenzie Donald
Published: September 2005

This article discusses the relationship between mathematical proof and the digital computer from the viewpoint of the ‘sociology of proof’: that is, an understanding of what kinds of procedures and arguments count for whom, under what circumstances, as proofs. After describing briefly the first instance of litigation focusing on the nature of mathematical proof, the article describes a variety of ‘cultures of proving’ that are distinguished by whether the proofs they conduct and prefer are (i) mechanized or non-mechanized and (ii) formal proofs or ‘rigorous arguments’. Although these ‘cultures’ mostly coexist peacefully, the occasional attacks from within one on another are of interest in respect to what they reveal about presuppositions and preferences. A variety of factors underpinning the diverse cultures of proving are discussed.
The challenge of computer mathematics
Authors: Barendregt Henk , Wiedijk Freek
Published: September 2005

Progress in the foundations of mathematics has made it possible to formulate all thinkable mathematical concepts, algorithms and proofs in one language and in an impeccable way. This is not in spite of, but partially based on the famous results of Gödel and Turing. In this way statements are about mathematical objectsandalgorithms, proofs show the correctness of statementsandcomputations, and computations are dealing with objectsandproofs. Interactive computer systems for a full integration of defining, computing and proving are based on this. The human defines concepts, constructs algorithms and provides proofs, while the machine checks that the definitions are well formed and the proofs and computations are correct. Results formalized so far demonstrate the feasibility of this ‘computer mathematics’. Also there are very good applications. The challenge is to make the systems more mathematician-friendly, by building libraries and tools. The eventual goal is to help humans to learn, develop, communicate, referee and apply mathematics.
What is a proof?
Authors: Bundy Alan , Jamnik Mateja , Fugard Andrew
Published: September 2005

To those brought up in a logic-based tradition there seems to be a simple and clear definition of proof. But this is largely a twentieth century invention; many earlier proofs had a different nature. We will look particularly at the faulty proof of Euler's Theorem and Lakatos' rational reconstruction of the history of this proof. We will ask: how is it possible for the errors in a faulty proof to remain undetected for several years—even when counter-examples to it are known? How is it possible to have a proof about concepts that are only partially defined? And can we give a logic-based account of such phenomena? We introduce the concept of
schematic proofs
and argue that they offer a possible cognitive model for the human construction of proofs in mathematics. In particular, we show how they can account for persistent errors in proofs.
Panellist position statement: some industrial experience with program verification
Authors: Chapman Roderick
Published: September 2005

As the only obvious ‘industrial’ member of the panel, I would like to introduce myself and the work I am involved with. Praxis is a practising software engineering company that is well known for applying so-called ‘Formal Methods’ in the development of high-integrity software system. We are also responsible for the
Spark
programming language and verification tools (
John Barnes with Praxis High Integrity Systems 2003
).
Spark
remains one of the very few technologies to offer a sound verification system for an industrially usable imperative programming language. Despite the popular belief that ‘no one does formal methods’, we (and our customers) regularly employ strong verification techniques on industrial-scale software systems.

I would like to address three main points:
Highly complex proofs and implications of such proofs
Authors: Aschbacher Michael
Published: September 2005

Conventional wisdom says the ideal proof should be short, simple, and elegant. However there are now examples of very long, complicated proofs, and as mathematics continues to mature, more examples are likely to appear. Such proofs raise various issues. For example it is impossible to write out a very long and complicated argument without error, so is such a ‘proof’ really a proof? What conditions make complex proofs necessary, possible, and of interest? Is the mathematics involved in dealing with information rich problems qualitatively different from more traditional mathematics?
The mathematical significance of proof theory
Authors: Macintyre Angus
Published: September 2005

Returning to old ideas of Kreisel, I discuss how the mathematics of proof theory, often combined with tricks of the trade, can occasionally be useful in extracting hidden information from informal proofs in various areas of mathematics.
The justification of mathematical statements
Authors: Swinnerton-Dyer Peter
Published: September 2005

The uncompromising ethos of pure mathematics in the early post-war period was that any theorem should be provided with a proof which the reader could and should check. Two things have made this no longer realistic: (i) the appearance of increasingly long and complicated proofs and (ii) the involvement of computers. This paper discusses what compromises the mathematical community needs to make as a result.
Skolem and pessimism about proof in mathematics
Authors: Cohen Paul J
Published: September 2005

Attitudes towards formalization and proof have gone through large swings during the last 150 years. We sketch the development from Frege's first formalization, to the debates over intuitionism and other schools, through Hilbert's program and the decisive blow of the Gödel Incompleteness Theorem. A critical role is played by the Skolem–Lowenheim Theorem, which showed that no first-order axiom system can characterize a unique infinite model. Skolem himself regarded this as a body blow to the belief that mathematics can be reliably founded only on formal axiomatic systems. In a remarkably prescient paper, he even sketches the possibility of interesting new models for set theory itself, something later realized by the method of forcing. This is in contrast to Hilbert's belief that mathematics could resolve all its questions. We discuss the role of new axioms for set theory, questions in set theory itself, and their relevance for number theory. We then look in detail at what the methods of the predicate calculus, i.e. mathematical reasoning, really entail. The conclusion is that there is no reasonable basis for Hilbert's assumption. The vast majority of questions even in elementary number theory, of reasonable complexity, are beyond the reach of any such reasoning. Of course this cannot be proved and we present only plausibility arguments. The great success of mathematics comes from considering ‘natural problems’, those which are related to previous work and offer a good chance of being solved. The great glories of human reasoning, beginning with the Greek discovery of geometry, are in no way diminished by this pessimistic view. We end by wishing good health to present-day mathematics and the mathematics of many centuries to come.
DNA barcodes for biosecurity: invasive species identification
Authors: Armstrong K.F , Ball S.L
Published: September 2005

Biosecurity encompasses protecting against any risk through ‘biological harm’, not least being the economic impact from the spread of pest insects. Molecular diagnostic tools provide valuable support for the rapid and accurate identification of morphologically indistinct alien species. However, these tools currently lack standardization. They are not conducive to adaptation by multiple sectors or countries, or to coping with changing pest priorities. The data presented here identifies DNA barcodes as a very promising opportunity to address this. DNA of tussock moth and fruit fly specimens intercepted at the New Zealand border over the last decade were reanalysed using thecox1sequence barcode approach. Species identifications were compared with the historical dataset obtained by PCR–RFLP of nuclear rDNA. There was 90 and 96% agreement between the methods for these species, respectively. Improvements included previous tussock moth ‘unknowns’ being placed to family, genera or species and further resolution within fruit fly species complexes. The analyses highlight several advantages of DNA barcodes, especially their adaptability and predictive value. This approach is a realistic platform on which to build a much more flexible system, with the potential to be adopted globally for the rapid and accurate identification of invasive alien species.
DNA barcoding for effective biodiversity assessment of a hyperdiverse arthropod group: the ants of Madagascar
Authors: Smith M. Alex , Fisher Brian L , Hebert Paul D.N
Published: September 2005

The role of DNA barcoding as a tool to accelerate the inventory and analysis of diversity for hyperdiverse arthropods is tested using ants in Madagascar. We demonstrate how DNA barcoding helps address the failure of current inventory methods to rapidly respond to pressing biodiversity needs, specifically in the assessment of richness and turnover across landscapes with hyperdiverse taxa. In a comparison of inventories at four localities in northern Madagascar, patterns of richness were not significantly different when richness was determined using morphological taxonomy (morphospecies) or sequence divergence thresholds (Molecular Operational Taxonomic Unit(s); MOTU). However, sequence-based methods tended to yield greater richness and significantly lower indices of similarity than morphological taxonomy. MOTU determined using our molecular technique were a remarkably local phenomenon—indicative of highly restricted dispersal and/or long-term isolation. In cases where molecular and morphological methods differed in their assignment of individuals to categories, the morphological estimate was always more conservative than the molecular estimate. In those cases where morphospecies descriptions collapsed distinct molecular groups, sequence divergences of 16% (on average) were contained within the same morphospecies. Such high divergences highlight taxa for further detailed genetic, morphological, life history, and behavioral studies.
Wedding biodiversity inventory of a large and complex Lepidoptera fauna with DNA barcoding
Authors: Janzen Daniel H , Hajibabaei Mehrdad , Burns John M , Hallwachs Winnie , Remigio Ed , Hebert Paul D.N
Published: September 2005

By facilitating bioliteracy, DNA barcoding has the potential to improve the way the world relates to wild biodiversity. Here we describe the early stages of the use of
cox1
barcoding to supplement and strengthen the taxonomic platform underpinning the inventory of thousands of sympatric species of caterpillars in tropical dry forest, cloud forest and rain forest in northwestern Costa Rica. The results show that barcoding a biologically complex biota unambiguously distinguishes among 97% of more than 1000 species of reared Lepidoptera. Those few species whose barcodes overlap are closely related and not confused with other species. Barcoding also has revealed a substantial number of cryptic species among morphologically defined species, associated sexes, and reinforced identification of species that are difficult to distinguish morphologically. For barcoding to achieve its full potential, (i) ability to rapidly and cheaply barcode older museum specimens is urgent, (ii) museums need to address the opportunity and responsibility for housing large numbers of barcode voucher specimens, (iii) substantial resources need be mustered to support the taxonomic side of the partnership with barcoding, and (iv) hand-held field-friendly barcorder must emerge as a mutualism with the taxasphere and the barcoding initiative, in a manner such that its use generates a resource base for the taxonomic process as well as a tool for the user.