Consider a population of individuals, each of which are either infected with Disease X or not. On day , individual has probability of infecting individual with Disease X. Besides, individual was a probability of death, which depends on the age of and his state of infection. New healthy individuals enter into the population at a rate .

This came up as a proposed model for studying the spread of HIV when I was at the San Diego State REU last summer. We considered drawing a graph whose nodes represent individuals, such that an edge existed if individual was infected with HIV and in sexual contact with individual .

We never went through with this model, for lack of time (and because we feared that if was large enough to be realistic, computation time on MATLAB would become rather intractable for our resources); we were also unsure of how to prove theoretical results about such a model, such as the basic reproduction number (defined to be the expected number of new infections from infected individual when is introduced to an otherwise perfectly susceptible population) and the expected prevalence, defined to be the expected number of infected individuals divided by . I am not familiar with work on problems such as this, but let me record a few prospective definitions for my own amusement.

Let be an index set (which we shall assume for simplicity) and let be probability spaces.

Let’s say that a graph (whose vertices are indexed by ) is decorated by if for the graph , each node and each edge we associate random variables , , .

Let , the product taken in the sense of measure spaces. Then a decoration is nothing more than a random variable . We interpret decorations as referring to the variables , etc. described above.

Let be the category of random graphs which have been decorated by .

A map is a stochastic graph if is deterministic (i.e. there is a fixed graph , which we call the initial data, such that for each almost surely).

We interpret a map as an assignment which takes the decoration of and returns the random graph (so that at time , the random graph is “parametrized by the decorations of time “).

As it is, it seems like I’ve written down a very broad definition, and I’m not sure if it’s actually useful. Indeed, I’m not too sure how to restrict this definition to particularly useful cases. It’ll be an interesting problem to keep in the back of my head, until I grow bored of it or find some literature on the matter.