\documentclass[12pt,titlepage]{article}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}
%----Macros----------
%
% Unresolved issues:
%
% \righttoleftarrow
% \lefttorightarrow
%
% \color{} with HTML colorspec
% \bgcolor
% \array with options (without options, it's equivalent to the matrix environment)
% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}
% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.
% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother
% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
\ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
\else \append@sup#2 \@suptrue \fi%
\expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
\reset@sup\mk@scripts#3_/}
\makeatother
% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
\@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
\copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother
% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
% http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}
% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}
% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}
% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}
% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
<-6> MnSymbolE5
<6-7> MnSymbolE6
<7-8> MnSymbolE7
<8-9> MnSymbolE8
<9-10> MnSymbolE9
<10-12> MnSymbolE10
<12-> MnSymbolE12}{}
% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
\let#1=\undefined
\DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother
% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
\if\relax\noexpand#1%
\let#1\undefined
\fi
\DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother
% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
\setbox\z@\hbox{\m@th$#1#2$}%
\setbox\tw@\hbox{\m@th$#1%
\widehat{%
\vrule\@width\z@\@height\ht\z@
\vrule\@height\z@\@width\wd\z@}$}%
\dp\tw@-\ht\z@
\@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
\setbox\tw@\hbox{%
\raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
{\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother
% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter
% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother
%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}
%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}
% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}
%-------------------------------------------------------------------
\begin{document}
%-------------------------------------------------------------------
\section*{Blog - hierarchical organization and biological evolution (part 1)}
This page is a [[blog article in progress]], written by [[Cameron Smith]]. To discuss this article while it's being written, visit the \href{http://www.math.ntnu.no/~stacey/Mathforge/Azimuth/comments.php?DiscussionID=788}{Azimuth Forum}.
An attempt to review some of the literature on \href{http://en.wikipedia.org/wiki/The_Major_Transitions_in_Evolution}{major transitions in evolution} and \href{http://en.wikipedia.org/wiki/Multi-level_selection#Multilevel_selection_theory}{multi-level selection}, sketch a few connections to concepts in category theory, and discuss the potential for using \href{http://en.wikipedia.org/wiki/Experimental_evolution}{experimental evolution} to investigate and strengthen those connections.
\href{http://www.azimuthproject.org/azimuth/edit/Blog+-+hierarchical+organization+and+biological+evolution+%28part+1%29}{Edit} :: \href{http://www.azimuthproject.org/azimuth/source/Blog+-+hierarchical+organization+and+biological+evolution+%28part+1%29}{Source} :: [[Blog - hierarchical organization and biological evolution (part 2)|Part 2]] :: [[Blog - hierarchical organization and biological evolution (part 3)|Part 3]]
Thoughts like these lead me to believe that, as a whole, we humans need to reassess some of our approaches to understanding. I'm not opposed to reductionism, but I think it would be useful to try to characterize those situations that might require something more than an exclusively reductionist approach. One way to do that is to break down some barriers that we've constructed between . So I'm here on Azimuth trying to help out this process.
Indeed, Azimuth is just one of many endeavors people are beginning to work on that might just lead to the unification of humanity into a . Regardless of the external reality, a fear of climate change could have a unifying effect. And, if we humans are simply a set of constituents of the superorganism that is Earth's biosphere, it appears we are its only candidate germ line. So, assuming we'd like our descendants to have a chance at existence in the universe, we need to figure out either how to keep this superorganism alive or help it reproduce.
We each have to recognize our own individual limitations of time, commitment, and brainpower. So, I'm trying to limit my work to the study of biological evolution rather than conjuring up a `pet theory of everything'. However, I'm also trying not to let those disciplinary and institutional barriers limit the tools I find valuable, or the people I interact with. So, the more I've thought about the complexity (let's just let `complexity' = `anything humans don't yet understand' for now) of evolution, the more I've been driven to search for new languages. And in that search, I've been driven toward pure mathematics, where there are many exciting languages lurking around. Perhaps one of these languages has already obviated the need to invent new ideas to understand biological evolution\ldots{} or perhaps an altogether new language needs to be constructed.
The prospects of a general theory of evolution point to the same intellectual challenge that we see in the quote above from Bar-Yam: assuming we'd like to be able to consistently manipulate the universe, when can we neglect and when can't we?
Consider the concept. Since different details of a system can be effectively ignored at different scales, our scientific theories have themselves become `stratified':
$\bullet$ G. L. Farre, The energetic structure of observation: a philosophical disquisition, (May 1997), 717-728.
In other words, science tends to be organized in `layers'. These layers have come to be conceived of as levels of organization, and each scientific theory tends to address only one of these levels (click the image to see the flash animation that ascends through many scales or levels):
It might be useful to work explicitly on connecting theories that tell us about particular levels of organization in order to attempt to develop some theories that levels of organization. One type of insight that could be gained from this approach is an understanding of the mutual development of bottom-up models of simple systems and top-down models of complex ones.
Simon has written an interesting discussion of the quasi-continuum that ranges from simple systems to complex ones:
$\bullet$ H. A. Simon, , (1962), 467–482.
But if we take an ideological perspective on science that says ``let's unify everything!'' (), a significant challenge is the development of a language able to unify our descriptions of simple and complex systems. Such a language might help communication among scientists who work with complex systems that apparently involve multiple levels of organization. Something like category theory may provide the nucleus of the framework necessary to formally address this challenge. But, in order to head in that direction, I'll try out a few examples in a series of posts, albeit from the somewhat limited perspective of a biologist, from which some patterns might begin to surface.
In this introductory post, I'll try to set a basis for thinking about this tension between simple and complex systems without wading through any treatises on `complexity'. It will be remarkably imprecise, but I'll try to describe the ways in which I think it provides a useful metaphor for thinking about how we humans have dealt with this simple $\leftrightarrow$ complex tension in science. Another tack that I think could accomplish a similar goal, perhaps in a clearer way, would be to discuss , and maybe even . I might try that out in a later post if I get a little help from my new Azimuth friends, but I don't think I'm qualified yet to do it alone.
What is the organizational structure of the products of evolutionary processes? Herbert Simon provides a perspective that I find intuitive in his .
He argues that the systems containing modules that don't instantaneously fall apart (`stable intermediates') and can be assembled hierarchically take less time to evolve complexity than systems that lack stable intermediates. Given a particular set of internal and environmental constraints that can only be satisfied by some relatively complex system, a hierarchically organized one will be capable of meeting those constraints with the fewest resources and in the least time (i.e. most efficiently). The constraints any system is subject to determine the types of structures that can form. If organization is an unavoidable outcome of evolutionary processes, it should be possible to characterize the causes that lead to its emergence.
Simon describes a property that some complex systems have in common, which he refers to as `near decomposability':
$\bullet$ H. A. Simon, , (June 2002), 587-599.
A system is if it's made of parts that interact rather weakly with each other; these parts in turn being made of smaller parts with the same property.
For example, suppose we have a system modelled by a first-order linear differential equation. To be concrete, consider the fictitious building imagined by Simon: the Mellon Institute, with 12 rooms. Suppose the temperature of the $i$th room at time $t$ is $T_i(t)$. Of course most real systems seem to be , but for the sake of this metaphor we can imagine that the temperatures of these rooms interact in a linear way, like this:
\begin{displaymath}
\frac{d}{d t}T_i(t) = \sum_{j}a_{ij}\left(T_{j}(t)-T_{i}(t)\right),
\end{displaymath}
where $a_{ij}$ are some numbers. Suppose also that the matrix $a_{ij}$ looks like this:
For the sake of the metaphor I'm trudging through here, let's also assume
\begin{displaymath}
a\gg\epsilon_l\gg\epsilon_2
\end{displaymath}
Then our system is nearly decomposable. Why? It has three `layers', with two cells at the top level, each divided into two subcells, and each of these subdivided into three sub-subcells. The numbers of the rows and columns designate the cells, cells 1–6 and 7–12 constitute the two top-level subsystems, cells 1–3, 4–6, 7–9 and 10–12 the four second-level sub- systems. The interactions within the latter subsystems have intensity $a$, those within the former two subsystems, intensity $\epsilon_l$, and those between components of the largest subsystems, intensity $\epsilon_2$ (\hyperlink{Simon2002}{Simon, 2002}). This is why Simon states that this matrix is in . Another, probably more common, terminology for this would be . This terminology is a bit sloppy, but it basically means that we have a square matrix whose diagonal entries are square matrices and all other elements are zero. That `approximately' there is what differentiates from honest block diagonal matrices whose off diagonal matrix elements are precisely zero.
This is a trivial system, but it illustrates that the near decomposability of the coefficient matrix allows these equations to be solved in a hierarchical fashion. As an approximation, rather than simulating all the equations at once (e.g. all twelve in this example) one can take a recursive approach and solve the four systems of three equations (each of the blocks containing $a$s), and average the results to produce initial conditions for two systems of two equations with coefficients:
\begin{displaymath}
\begin{bmatrix}
\epsilon_1 & \epsilon_1 & \epsilon_2 & \epsilon_2 \\
\epsilon_1 & \epsilon_1 & \epsilon_2 & \epsilon_2\\
\epsilon_2 & \epsilon_2 & \epsilon_1 & \epsilon_1 \\
\epsilon_2 & \epsilon_2 & \epsilon_1 & \epsilon_1
\end{bmatrix},
\end{displaymath}
and then average those results to produce initial conditions for a single system of two equations with coefficients:
\begin{displaymath}
\begin{bmatrix}
\epsilon_2 & \epsilon_2 \\
\epsilon_2 & \epsilon_2
\end{bmatrix}.
\end{displaymath}
This example of simplification indicates that the study of a nearly decomposable systems system can be reduced to a series of smaller modules, which can be simulated in less computational time, if the error introduced in this approximation is tolerable. The degree to which this method saves time depends on the relationship between the size of the whole system and the size and number of hierarchical levels. However, as an example, given that the (i.e. solving a system of linear equations) is $O(n^2)$, then the hierarchical decomposition would lead to an algorithm with time complexity $O\left(\left(\frac{n}{L}\right)^2\right)$, where $L$ is the number of levels in the decomposition. (For example, $L=4$ in the Mellon Institute, assuming the individual rooms are the lowest level).
All of this deserves to be made much more precise. However, there are some potential metaphorical consequences for the evolution of complex systems:
The point I'd like to make is that in this system, the idea of switching back and forth between simple and complex perspectives is made explicit: we get a sort of conceptual :
In this simple case, the approximation that Simon suggests works well; however, for some other systems, it wouldn't work at all. If we aren't careful, we might even become victims of the . In other words: if we don't understand a system well from the start, we may overestimate how well we understand the limitations inherent to the simplifications we employ in studying it.
But if we at least recognize the potential of falling victim to the Dunning-Kruger effect, we can vigilantly guard against it in trying to understand, for example, the currently paradoxical tension between `groups' and `individuals' that lies at the heart of evolutionary theory\ldots{} and probably also the caricatures of evolution that breed social controversy.
Keeping this in mind, my starting point in the next post in this series will be to provide some examples of hierarchical organization in biological systems. I'll also set the stage for a discussion of evolution viewed as a dynamic process involving structural and functional transitions in hierarchical organization---or for the physicists out there, something like !
T. F. H. Allen and T. B. Starr, \href{http://en.wikipedia.org/wiki/Special:BookSources/9780226014326#Online_text}{Hierarchy: Perspectives for Ecological Complexity}. Chicago: University of Chicago Press, 1982, p. 326. \hyperlink{bAllenStarr1982}{$\hookleftarrow$}
A. J. Arnold and K. Fristrup, \href{http://www.empseb.unibe.ch/pdf/Arnold1982_Rankin.pdf}{The theory of evolution by natural selection: a hierarchical expansion}, \href{http://www.jstor.org/stable/2400448}{Paleobiology}, vol. 8, no. 2, pp. 113–129, 1982. \hyperlink{bArnoldFristrup1982}{$\hookleftarrow$}
A. C. Ehresmann and J. P. Vanbremeersch, \href{http://en.wikipedia.org/wiki/Special:BookSources/9780444522443#Online_text}{Memory Evolutive Systems; Hierarchy, Emergence, Cognition}, Volume 4 (Studies in Multidisciplinarity). Elsevier Science, 2007, p. 402. \hyperlink{bEhresmann2007}{$\hookleftarrow$}
S. A. Frank, \href{http://stevefrank.org/abstracts/95JTB-Price.html}{George Price’s contributions to evolutionary genetics}., \href{http://dx.doi.org/10.1006/jtbi.1995.0148}{Journal of theoretical biology}, vol. 175, no. 3, pp. 373-88, Aug. 1995. \hyperlink{b1Frank1995}{$\hookleftarrow^1$} \hyperlink{b2Frank1995}{$\hookleftarrow^2$}
S. A. Frank, \href{http://stevefrank.org/foundations/foundations.pdf}{Foundations of social evolution}. \href{http://en.wikipedia.org/wiki/Special:BookSources/9780691059341#Online_text}{Princeton Univ Press}, 1998. \hyperlink{bFrank1998}{$\hookleftarrow$}
S. Okasha, \href{http://en.wikipedia.org/wiki/Special:BookSources/9780199267972#Online_text}{Evolution and the levels of selection}. New York: Oxford University Press, USA, 2006. \hyperlink{bOkasha2006}{$\hookleftarrow$}
G. R. Price, \href{http://www.cs.ucl.ac.uk/staff/ucacbbl/ftp/papers/price_nature.pdf}{Selection and Covariance}, \href{http://dx.doi.org/10.1038/227520a0}{Nature}, vol. 227, no. 5257, pp. 520-521, Aug. 1970. \hyperlink{bPrice}{$\hookleftarrow$}
G. R. Price, \href{http://www.dynamics.org/Altenberg/LIBRARY/REPRINTS/Price_extension_AnnHumGenetLond.1972.pdf}{Extension of covariance selection mathematics}, \href{http://dx.doi.org/10.1111/j.1469-1809.1957.tb01874.x}{Annals of Human Genetics}, vol. 35, no. 4, pp. 485-490, Apr. 1972. \hyperlink{bPrice}{$\hookleftarrow$}
G. R. Price, The nature of selection, \href{http://dx.doi.org/10.1006/jtbi.1995.0149}{Journal of Theoretical Biology}, vol. 175, no. 3, pp. 389-396, Aug. 1995. (written ca. 1971 and published posthumously) \hyperlink{bPrice}{$\hookleftarrow$}
J. Maynard Smith and E. Szathmáry, \href{http://en.wikipedia.org/wiki/Special:BookSources/019850294X#Online_text}{The major transitions in evolution}. New York: Oxford University Press, USA, 1995. \hyperlink{bSmithSzathmary1995}{$\hookleftarrow$}
category:blog,biology
\end{document}