“Dimensionally transcendental” was initially a cool-sounding phrase mentioned by, I think, Susan Foreman in the first episode of ‘Doctor Who’. It meant “bigger on the inside”, and definitely sounds like technobabble. TARDIS stands, as we all know, for “Time And Relative Dimensions In Space”, but even in the Whoniverse this is probably a backronym because why would something from Gallifrey have an English initialism? I think most people who think about it would probably say that Susan came up with the abbreviation, which probably explains why it doesn’t make much sense.
The BBC, and also Terry Nation’s estate, are quite protective about their intellectual property with respect to ‘Doctor Who’, which has led to a couple of disputes over the use of the likeness of police boxes and the word “Tardis”. Therefore I’ve posted a picture of a Portaloo up there instead of a Tardis or police box. In 2013, the portable toilet hire company Tardis Environmental came into dispute with the BBC over the use of the word, which was registered as a trademark by the Corporation in 1976. The BBC claimed that the company might end up seeming to be endorsed by them, to which they responded, “we don’t roam the universe in little police boxes from the 1930s, we actually hire out portable toilets and remove waste.”. I think we can all be grateful to them for clearing that up. I suppose it does make sense that the taboo against human excrement is not a positive association for this word. There was also a dispute with the Met. In 2002, after six years, the BBC won a case against the Metropolitan Police who took them to court over their use of the police box in ‘Doctor Who’ merchandise because they claimed that since they were responsible for the original boxes, it rightly belonged to them. I think I’ve seen two or possibly three police boxes, in Glasgow, Bradgate Park and London, this last being the one I’m least confident about, and I don’t think any of them look very like the Tardis. The one in Bradgate Park I’ve seen on a regular basis, and looks like this:
This is a listed building and is apparently still in use. It doesn’t look like a Tardis to me really but it’s a nice shade of blue. It’s 9 646 metres from where I’m sitting right now. The one in Glasgow is rather further away. It was the Met against which the BBC won the case, but the Tardis props are clearly wooden, a different shade of blue and have different windows, at least compared to the one I’m familiar with, so it seems a bit unfair. To be honest I don’t understand why this dispute even happened. It was between two publicly-funded bodies, I think, and seems to be a bit of a waste of money and time. Even if it was BBC Worldwide or BBC Enterprises, the Met was still involved.
Anyway, this is not what I came here to talk about today, but the concept of dimensional transcendentality. I’ve previously mentioned the fact that extremely large spheres are appreciably larger on the inside than their Euclidean volume because space is non-Euclidean – parallel lines always meet, at a distance of many gigaparsecs. This is possible because Euclid’s Fifth Postulate is based on observation rather than axiomatic or deduction, and the observation turned out to be incorrect. A sphere whose radius is equivalent to that of the Universe’s has a volume of five thousand quintillion (long scale) cubic light years, but if it were to be considered a sphere in Euclidean space, its volume would be only four hundred and twenty quintillion cubic light years, a difference of a dozenfold. This is quite counter-intuitive and I’ve ended up checking the calculation about five times to ensure it’s correct, but it starts to indicate how very confounding to the human mind higher dimensions really are.
I want to consider three cases of curved shapes in hyperspace to illustrate what I mean. Well, actually one of them is rotary motion rather than a literal curved shape, and I’ll go into that first. Here’s a circle with a dot in the middle:
(I’m drawing all of these in a ZX Spectrum emulator because Chromebooks rule out the use of more sophisticated graphics programs as far as I know). The circle can be rotated around the dot, so in a sense that dot is the “axis” of rotation of that circle. Now consider this as a cross-section down the middle of a sphere:
This is an axis of symmetry and also of rotation. Spinning the sphere through which this is a cross-section would lead to it turning round this line, which would be the only stationary part of the sphere just as the point is the only stationary part of the circle. Geometrically speaking, these are infinitely thin and infinitely small, so it’s rather abstract, but in the real world the closer you get to the centre of a spinning circle or sphere, the less you’d move.
Now consider the hypersphere, i.e. a four-dimensional version of a sphere: that which is to a sphere as a sphere is to a circle. If that rotates, doesn’t that mean its “axis” is a circular portion of a plane bisecting it? Can we even imagine something rotating about a two-dimensional axis? Also, just as two-dimensional objects have lines or points of symmetry and three-dimensional ones lines or planes of symmetry, surely that means that four-dimensional ones can have solids of symmetry? A hypersphere could be divided into two hemihyperspheres along a central sphere touching its surface, and since it’s symmetrical in that way, just as points on or in a sphere describe circles when they spin, doesn’t that mean line segments on or in a hypersphere would describe spheres? I find this entirely unimaginable, but is that a failure of my three-dimensional imagination or a flaw in the idea of hyperspace. It’s probably the former but this brings up a surprising recent finding about the nature of the human brain, which is that small cliques of neurones form which are best modelled topologically in up to eleven dimensions. No, I don’t really understand that either.
This hints the nature of hyperspace is very counter-intuitive, which isn’t that surprising really. Another issue is that of the torus. This is a Clifford Torus:
And this is a flat torus:

id=1387006
Travelling across the surface of a torus, one would find oneself disappearing off the top or bottom of a map and appearing on the bottom or top of it, or doing the same at the right and left hand sides. This is not like a cylindrical map projection of a planet, where the poles are either at an infinite distance or one would traverse horizontally exactly half way across the map and appear 180° of longitude away vertically but do the same as on a torus horizontally. With a four-dimensional torus, one would be in an apparently three-dimensional warped space forming the analogue of its surface, which you might think of as a cube with linked opposite faces, but the faces could be linked in different ways. One of the dimensions could be like a spherical map, with the concomitant traversal near the faces, or two of them could be, so there seem to be at least two different four-dimensional toroidal analogues. I confess at this point that this may not be what the above two animations represent.
The third problem relates to what ‘Doctor Who’ calls dimensional transcendentality, and it’s this which I’ve only recently heard about, from Numberphile. To illustrate this, I’ll go back to the Spectrum:
These are supposed to be four circles fifty pixels in radius touching each other. Now the question arises of what the biggest circle fitting among those four would be. The answer is quite straightfoward because squares can be drawn around each circle whose diagonals touch at the centre of these four circles. If you think of each circle as having a radius of one, the diagonal of the containing square has a length of the square root of 22 +22, or roughly 2.8. The radius of the circles is one, so subtract that from 1.4, or half the length of that diagonal, and you have 0.6. In other words, the square root of two is involved.
If you then extend this into three dimensions and imagine eight spheres stacked together in a similar manner, there’s a bit more room. The hypotenuse of a right angled triangle from the centre of an outer sphere to the inner one’s is then the square root of the sum of the squares of the three sides, which is root three, so the radius of the inner sphere is just over 73% of the outers’. This makes sense intuitively, for the last time, because it’s easy to understand that the diagram above shows a cross-section of the equators of all the spheres and therefore the minimum space between them, so a larger sphere is possible than one with the same circumference as the central circle in two dimensions.
The radius of the hyperspheres at the centres of analogous arrangements in higher dimensions is always going to be one less than the square root of the number of dimensions involved. At four dimensions, the central hypersphere’s radius is one less than root four, also known as 2-1, which is one, so rather surprisingly perhaps, it’s possible to fit seventeen equally sized spheres into a hypercubic arrangement. At five dimensions, the central “sphere” is actually 23% larger in radius, as root 5 minus 1. This is actually nearly three times the size in terms of a five-dimensional “bulk”, if that’s the right word. At nine dimensions, even the radius is double that of the surrounding hyperspheres, which makes it five hundred and twelve times larger altogether. There’s no limit to the increase in radius at all. I find this highly counterintuitive.
Moreover, these sphere analogues don’t even occupy the whole space. What does is a peculiar pointed shape which starts off like a square with concave sides in two dimensions (whose bottom point I’ve accidentally cut off) and a kind of inwardly-curved octahedron in three. In three, it has to be greater than the area of the largest circle in six different directions. In four, it resembles a concave version of a cross polytope, which is the higher-dimensional counterpart to the octahedron. Cross polytopes always have twice the number of vertices as they have dimensions, whereas measure polytopes, also known as hypercubes, always have twice the number of faces as dimensions.
Now consider a nine-dimensional stack of hyperspheres intersecting with our three dimensional space at one of its equators, with the centres of the hyperspheres aligned at the vertices of a nine-dimensional measure polytope. This would appear to be a stack of eight spheres, so this can be simplified by cutting off the outer spheres and converting them to hemidemisemispheres, if that’s the word, stacked together. Similar slicing could occur in hyperspace. So, it’s converted to a cube, then you put a door in the middle of one of the faces of the cube and find that it opens into a space which is quite a bit larger than the volume of the cube. The trimmed cube is only an eighth of the volume of the original, but it contains a “sphere” which is four thousand and ninety six times larger. With a mere four dimensions this becomes a mere eight times the size. This is starting to sound very like dimensional transcendentality.
The term has two words in it. “Dimensional” is fairly straightforward if one sticks to a simple definition instead of the non-integral dimensions used with fractal geometry. “Transcendental” brings to mind transcendental meditation, which is probably one reason for using it along with the fact that it was also used to refer to a particular set of numbers. What, then, are transcendental numbers?
A transcendental number is defined as a number which is not the root of a non-zero polynomial of finite degree with rational coefficients. The numbers e and π are both transcendental. All such numbers are irrational, that is, they cannot be expressed as the ratio of two whole numbers, since all rational numbers can be expressed in the way transcendental numbers can’t. Π is sometimes approximated by such values as 22/7, but these are not accurate values of the constant in question. Since the value is in fact involved in calculations of these volumes and hypervolumes, there might be a way of including the word “transcendental” in the description of this property of being “larger on the inside”. The square root of two is involved in two dimensions, but that’s merely irrational and not transcendental because it can be expressed using algebra – it’s a square root. This also means that the method of calculating the volume of a central sphere within a stack of hyperspheres is not transcendental either, so a good bet for including the concept would be to use π instead.
Although I can see that π is useful in calculating the surface area of the shape between the spheres, I don’t know what this thing is called. There’s a gallery of similar shapes here but they don’t include this one. I find it hard to believe this thing neither has a name nor has been extensively studied. I can assert various things about it. Its volume is greater than the largest sphere it can contain. It’s also greater than six times the spheres which can be placed touching the equators of the spheres it can occur within. I don’t know if the central sphere overlaps with its neighbours in the points. Each of its eight curved surfaces has an area equal to ½(πr2), meaning that its total surface area is equal to a sphere whose diameter is equal to the length of its largest diameters. Similar criteria apply to its higher dimensional friends. Hence I could perhaps be allowed to say that it’s dimensionally transcendental because its volume or hypervolume, or the volume of its hypersurface in higher-dimensional space can be calculated using the transcendental number π. And it can be, as I will now show.
Up until now I’ve been describing the central spheres and hyperspheres as if they’re three dimensional, and it is possible to lodge three dimensional spheres in there if you want, although it would be rather a waste of space. However, the actual volume of a four-dimensional space is not its bulk but its surface. I’m going to consider this nameless shape as having a length of two units, which is the same as the cube it’s found inside. The surface area of a sphere is 4πr2 and the circumference of a circle is 2πr. If it just carries on like this, it makes the volume of the hypersurface of this shape in four dimensions 8πr3 (spot today’s deliberate mistake with the volume of a sphere half the size of the Universe, incidentally). This means the volume of this shape is a bit more than twenty-five cubic metres, which is equivalent to that of a cube 2.9 metres on a side. For a nine-dimensional version, this would be over eight hundred cubic metres, which is a nine-metre cube. That’s about the size of a three-story house.
The TARDIS is of course bigger than that, although as far as I can remember Nu-Who has never shown its real internal size. If the door was located at a point where it was at the end of one of the projections and located in three-dimensional space, it would be accessible to a three-dimensional being. In fact it could have up to six such doors, though if it had there’d be one in the roof and another underneath it, and there could also be two other doors opening into four-dimensional space. If, however, it had nine dimensions, it could have a total of eighteen doors, only a third of which would be accessible from normal space and the majority of which wouldn’t even open into four-dimensional hyperspace.
I think it makes more sense for the police box to be closer to a cube than just a cuboid, for the sake of neatness, so maybe the chamæleon circuit should’ve got stuck on the Bradgate Park police box after all, with two secret trap doors and two hypersecret doors for which there is no name because they’re ana and kata 3-space.







