Catastrophe Theory

By Salix alba – Own work, CC BY-SA 3.0, https://commons.wikimedia.org/w/index.php?curid=26446257

I’ve already covered the topic of fractals and Chaos Theory, but the arrival and popularity of these two obscures a slightly earlier and rather similar mathematical topic which has a number of things in common with them, although it’s a lot “smoother”. This was Catastrophe Theory.

On 28th July 1975, BBC-2 broadcast a ‘Horizon’ documentary entitled ‘Happy Catastrophe’ which got a larger response from its viewership than any other ‘Horizon’ episode. It clearly captured the public’s imagination, attracting more correspondence than any other ‘Horizon’ up until that point, and in fact stuck in my own mind more than most other programmes at the time. Looking back at it, I found a number of other episodes in the mid-’70s quite memorable, such as the one on epilepsy and another on Erich von Däniken, which I mention here, but certainly this is one of them, and in fact epileptic seizures themselves could be modelled using catastrophe theory (CT) itself. To an extent, I want to blog about CT today, but I’m also interested in why it was so popular, and why it seems to be largely ignored today.

CT deals with discontinuities, which are moments of sudden change. For example, if you take a thin card and press it at its sides, it will do very little for quite a while, then suddenly crumple or flip into a different shape, and letting go of the card will not lead to its return to anything like the flat form it had before, although it will tend to spring back a little. The same applies to a snapping rubber band under tension and a host of other situations, such as the epileptic seizures I mentioned just now, although one would hope in this last case that the brain can in fact fairly quickly return to a more organised state. Unfortunately this is rarely not so, in which case it becomes a medical emergency.

The programme’s title, ‘Happy Catastrophe’, is interesting. When we use the word in English, and it is of course a Greek word, we generally mean something negative. The Greek word, “καταστροφη”, consists of the words “κατα”, meaning “down”, and “στρεφειν” – to turn, in other words a “downturn”, and with the usual connotations of falling does indeed have negative connotations. The word was prominently used in drama, where it referred to the fourth and final part of a play, after protasis, epitasis and katastasis. We’re familiar with it today through tragedy, but in fact it also applied to comedy, and in that setting it referred to a happy ending such as a wedding. Hence our own usage has become predominantly negative, but for some time I attempted to use it with a more neutral connotation, which in fact makes the word a lot more useful, although it can be confusing and we don’t really have control over the meaning of words, particularly when we lack something like L’Académie Française. There were two types of catastrophe, whether happy or otherwise, in Greek drama. In a simple catastrophe, there’s simply a transition from dramatic events to a quieter set of circumstances without any change in character, unravelling or revelation. Complex catastrophes involve sudden discoveries by the character or sudden changes in fortune which are feasible and upon which the plot depends, rather than being a deus ex machina. In a way, simple catastrophes occupy one side of the graph whereas complex ones occupy the other. This is what I mean:

Taken from here. Will be removed on request.

A simple catastrophe can be thought of as a movement across the steady slope on the left hand side of this graph. It descends into repose without anything huge happening. I don’t know what examples there are of this but to be honest they sound a bit boring. Complex catastrophes, on the other hand, are movements along the right hand side of the graph and involve events “falling off a cliff” in such a way that they permanently change things. This graph is of course the “cusp catastrophe”. It makes me wonder what the variable labelled as “u” is in drama. ‘Œdipus Rex‘ definitely occupies the right hand side – it has a low value of u, whatever that might be. It’s also important to remember that if you turn this graph upside down, you more or less have the same graph, and that therefore comedies are also catastrophic in nature. ‘Much Ado About Nothing’ is just as catastrophic as ‘Œdipus Rex‘, but in a positive way.

Incidentally, in what I’ve just said I can’t help but be reminded of this:

Can you usefully take a quantitative approach to literature? In a way the answer is a definite “yes”, because for instance you could look at repetition of certain words and phrases or the prosody or rhyme scheme of a particular poem, but in general it does have a bad rap. But I can’t help noticing that when John Keating gets the pupils to rip out the introduction to ‘Understanding Poetry’, it is a catastrophic event, and of course later in the film there are other incidents more deserving of the word, but there’s no going back once the introduction has been ripped out, as the end of the film illustrates.

The cusp catastrophe graph looks like the kind of shape you’d get if you held a thin sheet of metal horizontally and bent it towards or away from you. This is because that situation is in fact a catastrophe with two control dimensions and one behaviour dimension. The buckling which occurs on one side of the sheet is dramatically greater than on the other. This now sounds like an engineering or metallurgy issue, but can be used for drama, as with the 1951 film ‘No Highway In The Sky’, which involves the catastrophic failure of aircraft in this way. In this case the behaviour axis involves the plane falling out of the sky and killing everyone, although there’s another catastrophe where Theodore Honey deliberately damages a plane to prevent it taking off and killing the occupants:

I’ve mentioned control and behaviour dimensions, or axes, without really explaining what they are. To elaborate, it makes sense to consider the simplest possible models, including non-catastrophic ones, which have two dimensions. A section of a two-dimensional line graph can have a number of shapes relevant to CT. It can be a slope, a trough, a peak or a fold. Except for the slope, these are all the same basic shape. With a fold, the shape is like a C rather than a U or an “n”. This means that as the control variable increases, the behaviour of the system can either become more dramatic or less so, to choose one possible label for a variable, but will be stuck in that trend unless the other variable reduces considerably. Or, it can be reflected along the Y axis and will be stuck in a trend unless that variable increases a lot. This is the “zone of inaccessibility” and can be shown in several other examples.

There are substances whose melting points are not the same as their freezing points. That is, if a solid of this nature is heated, it will melt at a particular point, but if the resultant liquid is then cooled, it may need to be made colder than the temperature at which it melted to solidify. I seem to remember that cocoa butter does this, but there are many examples. Similarly, when tuning in an analogue radio with a manual tuner, one can find a station, then tune up past it and then find that it seems to be on a lower frequency than one previously found it when twisting the knob back again. These are examples of the kind of behaviour which is modelled in the overhang found in the cusp catastrophe. A value can increase smoothly until it leaps to a higher value if another value is high, but can also stay on the lower surface, and likewise can stay on the higher surface until it is lower than when it initially leapt up. I have a feeling that tidiness is like this. It takes more effort to tidy something up in one big go than it appears to when one does it bit by bit, and then it slips down into untidiness more easily.

Adding a dimension clearly results in three-dimensional graphs, and again there are a certain number of these. Incidentally, before I go on I want to point out that CT graphs only focus on a narrow range of variables where something interesting is occurring, and are therefore small portions of potentially infinite graphs. The two-dimensional “fold” catastrophe could easily diverge to an ever-increasing but smooth extent along its control axis, even to infinity. Also, in illustrating these graphs the section can be a small map of a much larger landscape, such as one including peaks and basins or mountains and valleys. It’s just that the distinctive shapes can be broken down in this way.

Three-dimensional graphs could just be extensions of two-dimensional ones, so for example a valley could just be long and not do much interesting in the Z-axis, so all the types still exist in three and more dimensions and are not cancelled out by the new ones, but each added dimension does introduce additional graphs. In the three-dimensional case, X and Z can be the controls and Y the behaviour, which makes the surfaces more relatable as they’re more like topographical features. There’s the slope which rises diagonally to the axes, the peak, what I’m going to call the “crater”, which is a dent in a surface, and two less familiar shapes, the col and the cusp. I want to mention the col even though it isn’t catastrophic, because it’s less well-known or easy to relate to than the others.

A col is a gap between two peaks. These are often nameless locations, although passes are cols. They occur also in air pressure patterns, where there’s a low-pressure point between two high pressure weather systems. There’s also the saddle:

Saddles differ from cols in continuing to curve away in both directions, concave on one side and convex on the other. A col is the central point of a saddle according to one definition.

The cusp is crucially different from all of these because it has a kind of asymmetry to it along one axis, although it also is rotationally symmetrical in that turning it 180° around the axis labelled u in the earlier graph, assuming it’s aligned correctly, will lead the same shape. This mixture of asymmetry and symmetry doesn’t apply to the other shapes and the cusp is the only discontinuous shape involved.

These shapes appeal to the eye, and it’s been said that CT is particularly visual. It shares this feature with many fractals and the Mandelbrot Set, and in this respect serves as a kind of herald to those later, particularly visually appealing, mathematical excursions. It also has a kind of universalising tendency, which despite its name has been described as modelling rather than a theory. Calling it a theory is a bit like counting two legs on a person and seeing that there are two stars in a binary star system and calling that “integer theory”. It’s more that this kind of model can be applied to natural phenomena, and as seen above with the illustration of catastrophes as a dramatic device, also in the social sciences and humanities. The issue of their beauty may be similar to the beauty of regular fractals and the Mandelbrot Set, in that certain features echo the characteristics of being a product of the Universe, which is who we are in one respect.

There are a total of seven graphs, according to CT, which can between them be used to model all discontinuities. These are: the fold, cusp, butterfly, swallowtail, hyperbolic umbilic, parabolic umbilic and elliptic umbilic. The hyperbolic umbilic is illustrated at the start of this post, where it comprises the upper part of the image. Because it’s a five-dimensional shape, the illustration isn’t exactly what it “looks” like, but is in fact what’s known as the bifurcation set of the hyperbolic umbilic. This is a projection of the shapes which are discontinuous in the graph. In the case of the cusp, this is a kind of curved V-shape extending to infinity or the edge of the graph, like a kind of shadow cast by illumination on a transparent model, or alternatively, and this is more important than it might seem, the kind of light reflected by illuminating a smooth metallic version. The bifurcation set of an hyperbolic umbilic is like two superimposed half-pipes at a shallow angle to each other semicircular in cross-section at opposite ends smoothly becoming curved V-shapes at the other. That probably isn’t very clear. It has two behaviour dimensions rather than one, and three control dimensions. Umbilics are points on locally spherical surfaces, and hyperbolic ones have just one ridge line passing through the point in question, which if I’ve described the above clearly means the point of intersection between the two half-pipes. It’s interesting to contemplate what it would be like to skateboard around the bifurcation set of an hyperbolic umbilic.

The other two umbilics are the parabolic and elliptic. Elliptic umbilics have three control and two behaviour dimensions and the bifurcation set looks like a cross-sectionally curved triangular prism pinched smoothly to a point at the centre, which is the three ridge points passing through the umbilic point. Finally, the parabolic umbilic is six-dimensional, with four control and two behavioural dimensions, making it particularly hard to visualise as even the bifurcation set has four dimensions, but are transitional between hyperbolic and elliptic umbilics, with two ridges, one of which is singular. Visualised using the fourth dimension as time, running in one direction the bifurcation of a parabolic umbilic looks like a shrinking paper plane crashing through the fold in a sheet of paper folded into a V-shape while another V-folded paper shape at the bottom is flattening out and bowing outward.

The other two are the rather less awkwardly-named butterfly and swallowtail. The former is interestingly named because of the butterfly effect, but is not more closely linked to that than the others. It’s five-dimensional, with four control dimensions and one behaviour dimension, and has been used to model eating disorders. It looks odd, even reduced to three dimensions, which effectively destroys its usefulness but enables one to work out what it’s doing, as it looks like a cusp catastrophe with three cusps linked in a kind of triangle. That is, a triangle can be drawn between the three points where the cusps split off from the smooth side, but that triangle isn’t oriented in three-dimensional space unless the butterfly is rotated in such a way that most of it is in hyperspace.

The swallowtail catastrophe is so named because a mathematician was trying to describe it to a blind person, who responded that it sounded like a swallowtail, which it does. It’s merely four-dimensional and its bifurcation set looks like a swallowtail at one end with a U-shape above it with the tail diminishing into the U halfway along. This has one behaviour dimension and three of control. Salvador Dalí’s last painting, if it was his, in 1983, was based on this graph, and was entitled “The Swallow’s Tail”:

This is a cross-section of the bifurcation set with some extra bits added. The monoline S shape is a cross-section of the cusp catastrophe. Dalí described CT as “the most beautiful æsthetic theory in the world”. The artist used to kind of “riff” on scientific theories in an artistic way, using them as inspiration without necessarily understanding them in an analytical way. He also included a formula describing the swallowtail in his 1983 painting linked here entitled ‘El rapte topològic d’Europa. Homenatge a René Thom’. The last few years of his life are controversial because it’s alleged that he was made to sign canvases by his carers which would later be used to paint forgeries, and the above painting may not be his because his hands were said to be too shaky for him to draw such a line, which brings Britney Spears to my mind. After completing this painting, if he did, Dalí tried to enter a state of suspended animation through fasting and died five years later, soon after giving the visiting Juan Carlos a drawing entitled ‘The Head Of Europa’.

One way of looking at these graphs is to see the compartments as representing different stable states. Hence the six “cells” of the parabolic umbilic plus the seventh open space nearby are each conditions some systems can enter if there are four main factors determining their behaviour, which can in turn be described in terms of two factors. The same can be applied to the others.

I mentioned Dalí’s tremor making his creation of ‘The Swallowtail’ questionable, but in fact tremor and noise are not likely to disturb the behaviour of catastrophes. They’re quite stable in this respect, which calls into question the often-quoted explanation as to why they’re now so seldom modelled in this way being that not many systems can be adequately described with so few variables. This property is accompanied by what are called “attractors”, which CT has in common with Chaos Theory. An attractor is a set of states a system tends to drift towards, or in this case jump towards. Each one of the cells I mentioned just now is an attractor. After having got there, the system will tend to continue to be at least somewhat like that. It occurs to me in fact that limerence could be modelled in this way. It’s easy to get fixated on someone but it can be a lot harder to get over them. That, then, would be literally an attractor: a person one finds attractive. This suggests it would be fruitful to work out which control variables are involved, since in certain crucial circumstances, people do end up suffering from long-term limerence. However, discussing it and other psychological models in this way raises the question of positivism, which can be criticised on the grounds of reductivism.

You may or may not have heard of Gartree Prison, which was well-known for its helicopter escape in 1987. I have two personal connections to Gartree. One is that it ended up housing the bloke who abducted me in 1989 and the other is that one of my tutors on the herbalism course was married to a Gartree prison guard. Rather startlingly, Gartree prison disturbances were modelled using CT, more specifically the cusp catastrophe. This makes for a significant case study of the application of CT to social phenomena. When this was done, CT was riding on a wave of popularity triggered by the ‘Horizon’ broadcast and was possibly quite immature in its development, although as a modelling method it dates back to Edwardian times, the modelling having been published in 1976. The control variables seem to have been tension and alienation, which were assessed quantitatively, an approach which seems quite vague. They were based on governor applications, inmates requesting segregation, staff absenteeism, welfare visits and inmates in the punishment cells, and the shape of the graph seems to have been derived using a method which, it’s said, could have been made to fit almost any data set. There may have been an issue in the dominant connotations of the word “catastrophe” here, because it tends to be interpreted as negative and would perhaps consequently tend to lead to applications of the theory to model negatively-perceived events such as prison riots. It might also have been used by the prison service to make its operations and management appear more scientific than it actually was. And in any case, scientific management is widely regarded as a bad thing, at least for workers, as it’s seen as leading to redundancy, monotonous work, exploitation of workers, and from the management side expensive to implement, time-consuming and leading to a deterioration in quality. This could have implications for the situation inside prisons, as they are also workplaces for the staff and sometimes also for prisoners, so simply making the measures required might impair the function of the institution.

This could be applied more widely to other institutions such as mental hospitals and schools. For instance, if it successfully predicted grades in a school and also ways of manipulating variables in order to get those grades onto a higher tier of the graph, it wouldn’t necessarily improve less quantifiable measures of school performance. Likewise, a similar approach might lead to higher “cure” rates in a mental hospital, but that would only be in terms of particular paradigms of “abnormal” behaviour. Could it be applied to increase the quality of poetry? Maybe it could. Maybe J Evans-Pritchard would be able to measure the greatness of the poetry output by all these “cured” psychotics and high-achieving school-leavers with his scale. Or, maybe we just like to imagine that we aren’t reducible in such a way to a few variables and graphs, but maybe we’re wrong about that.

The modelling here, and in the other two as far as I know fictional examples I gave (the mental health one is less fictional than one might think), is applied to systems which depend on many assumptions about how society should be. For instance, assuming the prison study was valid, it might still fail to show anything because prisons of that kind are constrained by social factors always to be on one side of the cusp, and whereas manipulating the variables beyond that range is theoretically possible, doing so would not be possible given factors like level of public funding, policy regarding responses to crime and the nature of the buildings used. Then again, maybe we do want an entirely evidence-based set of policies. I would personally prefer that. It’s called socialism.

In a realm entirely outside the question of social policy, meditation, states of consciousness or mental illness, catastrophe graphs turn up in another rather surprising place: caustics. Caustics are projections of light rays reflected or refracted by a reflective or transparent medium onto a surface. I mentioned previously that a model of a cusp catastrophe could be made of mirror-like reflective material and be illuminated, and such a situation could lead to the projection of a caustic onto a flat screen. Caustics are the kind of light pattern you see when you look down into a clean, empty mug into which sunlight is shining, and they alter their shape and size according to the angle of incidence. They can also be seen in the dappling effect on a sandy seabed of waves on a sunny day. They can also have a kind of three-dimensional appearance, and in the teacup case they seem to look rather like a swallowtail bifurcation set, but in three dimensions in each case. Moving the cup leads to a different section of the graph. Caustics are odd because they’re always sharp and it isn’t clear what’s so special about the area they illuminate as opposed to its surroundings. They’ve also historically been problematic in computer graphics because depicting them accurately is computationally intensive, so in CGI they tend to be more decorative than realistic. It would be interesting to know whether catastrophe theory could simplify or has ever been used to generate caustics in computer images. Moreover, it would also be interesting to know if images of three-dimensional slices of higher-dimensional CT graphs could be accurately generated using three-dimensional reflective surfaces to generate their caustics.

A major question remains. Why don’t we hear so much about CT nowadays when it was so popular forty-odd years ago? An answer might be found in an illustration from herbalism, and at this point I shall intrepidly venture onto the territory of one of my other blogs. It’s been noted that herbal prescriptions with an odd number of remedies tend to be more successful than those with an even number. This needs to be restrained in various ways. For instance, it doesn’t mean that an even-numbered ℞ can be made more effective by omitting one of the herbs or adding one which is not relevant to the patient’s needs. I hypothesised that the reason for this was that an odd-numbered prescription could be modelled in terms of relative doses using catastrophe theory, whereas an even-numbered ℞ couldn’t. However, there are a number of problems with this which can be extended to other situations. The herbs here are presumed to be the control dimensions of the graph. A fold catastrophe has one control dimension, a cusp two, a swallowtail three, a butterfly four, a hyperbolic umbilic three, parabolic four and elliptic three, so the number of remedies would seem to have to be three or one if this is to hold true. In fact ℞s tend to have five or seven remedies, if one is in the low number of remedies in high doses as am I, because I feel the high number of remedies in low doses is beginning to look like homeopathy. Hence it can’t be applied to most herbal prescriptions other than simples, and there would have to be something which makes the fold, swallowtail and hyperbolic and elliptic umbilics distinctive in terms of their efficacy, which may be true but I’m not sure about that. But there’s a bigger problem which applies more widely. Herbs are not single remedies. They generally include a large number of different compounds with various effects on each other and physiology. Thus it seems implausible to apply catastrophe theory to herbalism, and this can be broadened out into biology more generally, since in most biological situations the number of control dimensions would be too high for CT to be relevant.

CT is still applicable to engineering and physics, but its intended target, the inexact sciences such as sociology, psychology and ecology, is rather more slippery. It does still happen, for instance in modelling the population dynamics of aphids via the butterfly catastrophe (it would have to be named after an insect – presumably the swallowtail is useful for modelling bird migration), but there really do seem to be too many variables and the smoothing effect initially claimed doesn’t seem to hold. That said, the formulæ used to generate the graphs are quite simple, and this could lend them to use in computer games, both in generating caustics on the graphics side and the likes of political and social interactions in games like Sim City.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s