Blog - prospects for a green mathematics (Rev #11, changes)

Showing changes from revision #10 to #11:
Added | ~~Removed~~ | ~~Chan~~ged

This page is a blog article in progress, written by John Baez and David Tanzer. To see discussions of this article while it was being written, visit the Azimuth Forum.

*contribution to the MPE 2013 blog by John Baez and David Tanzer*

It is increasingly clear that we are initiating a sequence of dramatic events across our planet. They include habitat loss, an increased rate of extinction, global warming, the melting of ice caps and permafrost, an increase in extreme weather events, gradually rising sea levels, ocean acidification, the spread of oceanic “dead zones”, a depletion of natural resources, and ensuing social strife.

These events are all connected. They come from a way of life that views the Earth as essentially infinite, human civilization as a negligible perturbation, and exponential economic growth as a permanent condition. Deep changes will occur as these idealizations bring us crashing into the brick wall of reality. If we do not muster the will to act before things get significantly worse, we will need to do so later. While we may plead that it is “too difficult” or “too late”, this doesn’t matter: a transformation is inevitable. All we can do is start where we find ourselves, and begin adapting to life on a finite-sized planet.

Where does math fit into all this? While the problems we face have deep roots, major transformations in society have always caused and been helped along by revolutions in mathematics. Starting near the end of the last ice age, the Agricultural Revolution eventually led to the birth of written numerals and geometry. Centuries later, the Industrial Revolution brought us calculus, and eventually a flowering of mathematics unlike any before. Now, as the 21st century unfolds, mathematics will become increasingly driven by our need to understand the biosphere and our role within it.

We refer to mathematics suitable for understanding the biosphere as *green mathematics*. Although it is just being born, we can already see some of its outlines.

Since the biosphere is a massive network of interconnected elements, we expect *network theory* ~~ to~~ will play an important role in~~ the~~ green mathematics. Network theory is a sprawling field, just beginning to become organized, which combines ideas from graph theory, probability theory, biology, ecology, sociology and more. Computation plays an important role here, both because it has a network structure—think of networks of logic gates—and because it provides the means for*simulating* ~~ network~~ networks.~~ processes.~~

One application of network theory is totipping points~~ ~~ , where a system abruptly passes from one regime to another. Scientists need to identify nearby tipping points in the~~ biosphere,~~ biosphere~~ in~~~~ order~~ to help policy makers to head off catastrophic changes. Mathematicians, in turn, are challenged to develop~~ new~~~~ data~~~~ analysis~~ techniques for detecting incipient tipping points. Another application of network theory is the study of shocks and resilience. When can a network recover from a major blow to one of its subsystems?

We claim that network theory is not just another name for biology, ecology, or any other existing science, because in it~~ shows~~ we~~ the~~ can~~ outlines~~ see~~ of~~*new mathematical terrains* . Here~~ we~~ are~~ portray~~ two~~ recent~~ examples.~~ developments.~~

First, consider a leaf. In The Formation of a Tree Leaf by Qinglan Xia, we see a possible key to Nature’s algorithm for the growth of leaf veins. The vein system, which is a transport network for nutrients and other substances, is modeled by Xia as a directed graph with nodes for cells and edges for the “pipes” that connect the cells. Each cell gives a revenue of energy, and~~ adds~~ incurs a cost for transporting substances to and from it.

The total transport cost depends on the network structure. There are costs for each of the pipes, and costs for turning the fluid around the bends. For each pipe, the cost is proportional to the product of its length, its cross-sectional area raised to a power α, and the number of leaf cells that it feeds. The exponent α captures the savings from using a thicker pipe to transport materials together. Another parameter β expresses the turning cost.

Development proceeds through cycles of growth and network optimization. During growth, a layer of cells gets added, containing each potential cell with a revenue that would exceed its cost. During optimization, the graph is adjusted to find a local cost minimum. Remarkably, by varying α and β, simulations~~ give~~ yield~~ schematic~~~~ images~~~~ of~~~~ natural~~ leaves~~ like~~ resembling those of specific plants, such as maple~~ and~~ or mulberry.

A growing network.

Unlike approaches that~~ just~~ merely create pretty images~~ which~~ resembling~~ resemble~~ leaves, Xia presents an algorithmic model,~~ which~~~~ is~~ simplified yet illuminating, of how leaves actually develop. It is a*network-theoretic* approach to a biological subject, and it is *mathematics*—replete with lemmas, theorems and algorithms—from start to finish.

~~ Here~~ A~~ is~~ second~~ another~~ example~~ illustration,~~ comes~~ in~~ from~~ the~~~~ field~~~~ of~~stochastic Petri nets , which are a model for networks of reactions.~~ Entities~~ In a stochastic Petri net, entities are designated by “tokens” and entity types by “places” which hold the tokens. “Reactions” remove tokens from their input~~ places,~~ places and deposit tokens at their~~ outputs.~~ output~~ Concurrently,~~ places.~~ they~~~~ generate~~~~ a~~~~ flow~~~~ of~~~~ tokens.~~ The reactions fire probabilistically, in a Markov chain where each reaction rate depends on the number of its input tokens.

A stochastic Petri net.

~~ Notably,~~ Perhaps surprisingly, many techniques from quantum field theory are transferable to stochastic Petri nets. The key is to represent stochastic states by power series. Monomials represent pure states, which have a definite number of tokens at each place. Each variable in the monomial stands for a place, and its exponent indicates the token count. In a~~ real-valued~~ linear combination of monomials, each coefficient represents the probability of being in the associated state.

~~ Analogously,~~ In~~ in~~ quantum field theory, states are representable by power series with complex coefficients. The annihilation and creation of particles are cast as operators on power series. These same operators, when applied to the stochastic states of a Petri net, describe the annihilation and creation of*tokens*. Remarkably, the commutation relations between annihilation and creation operators, which are often viewed as a hallmark of quantum theory, make perfect sense in this classical probabilistic context.

Each stochastic Petri net has a “Hamiltonian” which gives its probabilistic law of motion. It is built from the annihilation and creation~~ operators,~~ operators.~~ in~~ Using~~ a~~ this,~~ way~~~~ that~~~~ reflects~~~~ the~~~~ network~~~~ connection~~~~ structure.~~~~ With~~~~ these~~~~ representations,~~ one can prove many theorems about reaction networks,~~ which~~~~ are~~ already known to chemists, in a compact and elegant way. See the Azimuthnetwork theory series for details.

Conclusion: The life of a network, and the networks of life, are brimming with mathematical content.

We are pursuing these subjects in the Azimuth Project, an open collaboration between mathematicians, scientists, engineers and programmers trying to help save the planet. On the Azimuth Wiki and Azimuth Blog we are trying to explain the main environmental and energy problems the world faces today. We are also studying plans of action, network theory, climate cycles, the programming of climate models, and more.

If you would like to help, we need you and your special expertise. You can write articles, contribute information, pose questions, fill in details, write software, help with research, help with writing, and more. Just drop us a line, either here or on the Azimuth Blog.

category: blog