This is a short journey through some regions of Mathematics inspired by a seemingly-random question from Catriona Shearer on twitter that flew past me on twitter one day. It starts with a morning of bell ringing, spends some time braiding, and ends the journey with a mad dash in a taxi.
2 Bell Ringing
Those around me have gotten used to me declaring "But that's Mathematics" to the point that they are quick to reply "Yes, but you say that everything is Mathematics.". Which is fair enough. I do have a tendency to think that. But with bell ringing, I'm not on my own in this claim.
I should confess at the outset that I know nothing about bell ringing itself. All I know are its connections to Mathematics. So I'll shift to the Mathematics straightaway to avoid demonstrating my lamentable ignorance.
The bells are rung in rounds which consist of ringing each bell in a given order. In successive rounds the order can be changed but only to the extent of two neighbouring bells swapping position in the order (more than two pairs can swap between each round). (It is possible for the last bell of one round to swap with the first bell of the next but this isn't usually done.)
As an example, here's a few rounds with five bells.
"Ringing the Changes" refers to doing a succession of swaps (with just one pair swapping each time) which traverses the full set of permutations. That isn't what I'm interested in.
When listing a sequence of rounds, it can be helpful to illustrate the changes by drawing lines following each bell. Figure 1 shows what the above rounds would look like.
A few sources that I've read refer to this as a braid. It isn't. Despite the temptation of both braids and bells being about ropes, simply tracing the location of each bell does not make it a braid. To be a braid, we need to include information as to which strand crosses over which at each crossing. In bell ringing, this has no interpretation since two bells simply swap position in the round: they don't actually swap (as amusing it might be to make the ringers swap position, the tangling of the ropes would quickly make it so that the bells didn't chime).
That shouldn't stop us playing with the idea, though. We just need to determine a rule for setting the crossings. Some to play around with are:
For each pair of numbers, pick a "winner" and make that one always cross over the other.
For example, with five strands we could simulate Rock, Paper, Scissors, Lizard, Spock.
Similar to the above, but rather than deciding by strand, decide by current position.
Make all crossings left over right.
Make a choice for one crossing, then choose the others so that the braid is alternating.
There are then numerous questions that one could ask about these braids. I'll pose just one before getting on with this story.
For this to work, the final order of the bells needs to be the same as its initial order.
Using the first rule for deciding the crossings, since for each pair one particular strand always passes over the other, then any pair of strands are unlinked. To what extent does this hold for more sets of strands?
If it is the case that removing any one strand leaves all the others unlinked then the braid is known as Brunnian.
The motivating question for this journey relates to the area swept out between two strands as the braid progresses. (It is worth pointing out that this doesn't depend on the choices of crossings in the braid.) The original problem also imposed a "must swap if possible" rule but we don't have to assume that.
Let's take a look at a diagram created with five strands which progresses by repeated application of two moves. The first move swaps the strands in positions and and in and . The second swaps the strands in positions and and in and . A full sequence takes ten moves to return to the beginning and is shown in Figure 2 (with the over–unders chosen so that the crossings make the braid alternating).
Let's look at a part of this. At the first change, let's look at the blue and green strands (bells and ). To talk about area, we need to decide on units, so let's assign length to every atomic length (i.e., the horizontal distance between strands and the vertical distance between the lines that correspond to the bells being played). So the part of first change concerning the blue and green strands looks like Figure 3.
This is a trapezium, so its area is straightforward to calculate. Our choice of units means that the area is the average of the two horizontal distances. More generally, the area of most sections will be the average of their horizontal distances. The only exceptions are where there are crossings, as in Figure 4.
When there is a crossing, the area given by the average of their horizontal distances is but the area between the lines is half that. Alternatively, we can write it as , where the corresponds to the area given by the "average of their horizontal distances" rationale and the is the correction from the crossing.
To put this all together we need to establish some notation. It is traditional to use greek lowercase letters such as to denote permutations, so let us write for the permutation of the bells at the th level, with as the identity. Standard notation is to write, for example, for the position of the first strand at the third level, so in Figure 2 then .
The distance between two strands is therefore the sum of terms like:
with a correction factor of for each crossing. In the sum, varies but and are held fixed. What is important to note is that the second part of the term for is equal to the first part of the next term for . That means that with the exception of the start and end, all the s will add up to s. So the total area is:
where is half the number of crossings between strands and .
Let us make the assumption that our bell ringers end up where they started. This means that and our formula therefore simplifies to:
Note that if we use a crossing rule that ensures that the crossings between any two strands alternate, then is the linking number of those two strands. One way to achieve this property is to make the crossings all the same way, for example, left over right. Another, for the braid of Figure 2, is shown in Figure 5. Regardless, is the maximum linking number over all possible ways of deciding the crossings.
So the second term is a measure of how much the two strands cross each other.
The first term is where the taxis arrive.
The taxicab metric, more formally known as the –metric, is a way of measuring distance between points. In , the image is of points laid out on a grid, much like a city such as New York, as in Figure 6. You can move along the lines on the grid but you can't move across them. The distance between two points is therefore not the standard Euclidean distance but a different formula. More prosaically, it is not "as the crow flies" but rather "as the taxi drives".
The distance between the two points in Figure 6 is . No matter what choice of route, no shorter distance can be found. This gives rise to the formula taxicab distance between two points as:
There's nothing special about here. The analogous formula holds with arbitrary length vectors. Thinking of a vector as just a list of numbers (i.e., without trying to assign any physical meaning to the directions), we can get just such a vector from a strand of our braid by listing the positions. Thus in our running example, the red strand gives rise to the vector:
Let us write for the vector arising from the strand that starts in position . Then the area formula simplifies to
If we list all the vectors arising from Figure 2, we see some more structure:
Each vector is a cyclic permutation of the others. That is, if we define the operation on vectors to be the operation which cycles the components around, we have:
This reduces the number of calculations we have to do as we can use the fact that the taxicab metric gives the same answer if both vectors are rotated by the same amount. We therefore only have to calculate:
From this, we can work out all the areas swept out between different strands (noting that the contribution from crossings is in each case). We get:
In conclusion, the area between two strands is given by the difference of the taxicab metric applied to the corresponding vectors, and the maximum linking number between the strands.
As with the majority of my mathematical journeys these days, this started with an intriguing problem, then began travelling through areas that I thought I knew before emerging in another completely different region which I never believed would be connected to the others. This particular journey hasn't taught me any new mathematical knowledge, but by linking together topics that I hadn't thought of together, it's given me a whole new set of things to ponder. I'm now curious as to what patterns can emerge from these ringing patterns. More investigation is clearly needed!
Plus it gives me an excuse to draw some more braid diagrams, which is always a bonus.