Skip to content

Tag Archives: maths

Preview
Image
The phase has passed for the most part, but I thought it was worth archiving anyway...

Structuralism, The Canonical Formula, and Computer Games

A copied/pasted selection of a thread from tigsource. There is certain amount of extra discussion there, but all the actual analyses are copied below. It’s a little messy (especially the opening description, which might anger some specialists immensely, should they be unfortunate enough to stumble across this page), for which I apologise.

After having played about a little bit today with things relating to structuralism, I thought it might be fun to try to apply Levi-Strauss‘s canonical formula of mythology to some games. (the closest I could find to a discussion of this nature on the web was this rather elementary discussion on gamedev.net).

The canonical formula looks like:

http://ded.increpare.com/cgi-bin/mimetex.cgi?\frac{f_x%28a%29}{f_y%28b%29}\Rightarrow\frac{f_x%28b%29}{f_{a^{-1}}}%28y%29

It’s supposed to depict some sort of transformation, with the fraction on the left representing some sort of relationship between the numerator and the demoninator, the arrow in the middle representing the transformation, and the fraction on the right a relationship between the permuted contents of its numerator and denominator. Basically, you can fill it out however you want. a-1 is supposed to be some sort of opposite of a. Also, generally either a and b represent characters, and x and y represent some properties, or vice versa. And generally f doesn’t mean anything. (I take that back. f indicates that there’s a functional relationship between its two arguments. ‘functional relationship’ means that one of its arguments is a property of the other, or is an action performed on/by the other. Basically by ‘meaningless’ I mean ‘not a variable’).

It all is a bit arbitrary, but there’s certainly a knack to describing things using it. Actual analyses follow below the fold

Continue reading ›

Preview
Image
for want of a more abstract accompanying image

The rack; the rack!

nobody expected it, not for a moment

(not due to me, but rather to an acquaintance; new to the internet I think though, so I’m taking the liberty of putting it up here).

Preview
Image
And that's also what I was alluding to with the pictures of directed graphs back there a few posts ago.

In which the hero sketches something, for he hath not the strength to venture, unbidden, into more detail. Gerbes? He thinks not.

Hmm. This is going to be harder than I had initially thought now that I think of it. Basically, given three melodies that work in counterpoint they are written on three staves, one above the other. And we have the identity that the interval between the lower and middle voice added to the interval between the middle and upper voice will give the interval between the lower and upper voice. And we have rules that relate how these voices should interact with eachother.

However, one can still apply most of the rules quite well if we make things a little bit abstract and no longer require the above relationship [a,b]+[b,c]=[a,c] to hold, but rather that it hold only up to a certain constant interval I.

And what’s the sense in this? Well with this you still have three melodies, only now instead of all three being contrapuntally amenable, we have that any two of them are. I haven’t seen this expounded elsewhere, and given how practical it seems I thought I’d mention it here.

And why the devil did I want to mix up Fuchs with cohomology? Well, I was trying to figure out an easy example of a Gerbe :) (I failed, as it happened, but it’s quite teasingly close!).

And why this rambley ramble here as opposed to something more deliberate? Because I’ve been meaning to post this since November last year, that’s why. So this means I get to relax about it now. Chill, you know? And if anybody should wish for any explication I would be Only Too Happy to provide it.

Preview
Image
Oh, everyone go check out the second issue of the carnival of mathematics!

Serial: Chapter 3: C – Columbus

Isaac, dearest,

I was leaving through the recently published memoirs of Christopher Columbus (curiously written in the third person; surely such an odd style cannot have been introduced by the translator, whatever other factual errors he makes), last year, and I felt you might be amused with the following story; at least insofar as it contrasts with your recent proof of the finiteness of the the geometrical space in this universe.

Ah, no point faffing about; I will just quote the passage from near the end of the book you now

Columbus sat in his study, overlooking Cádiz, with a Bible on his desk. He stared across to the horizon, and thought.

“How terrible it must be,t o be a highly situated savage, to see the world about you to the horizon and think there nothing more, to feel one’s self trapped on so small a disk of earth”.

Though, then he fancied that maybe a normal man might be able to live feeling so encaged, but not an explorer such as he.

“God has set forth, he had been told, a bigger cage for us in which to live, many orders of magnitude larger than the disk to our horizon, yet finite nonetheless. More than enough to go on exploring for generations”, he reassured himself.

And yet, he felt he could not accept this: How could God imbue the greatest of his men with the spirit of exploration, if there might be some age, maybe in a few centuries, when there will be no to explore, to discover, to find, on this planet. He would have verify this himself, to see the edge of the world with his own eyes, or alternatively spend the rest of his life travelling farther and farther out, boundless.

With this monumental task in mind, he petitioned the king for enough gold to sail for five years continuously west and, after five years petitioning, he was granted this sum.

One year of eager preparations passed before he was ready to set sail to see if the Atlantic actually had an edge. Six months at sea and land ahoy! What joys he experienced, what vindication: some islands, then a whole new expanse of land – the Vatican said that there was nothing west of Europe: they were wrong, he now knew!

This meant for him one of two things: We live on a much, much larger world than the Vatican claim, or alternatively, and his personal theological views led him to regard this as being much more likely: the world is infinite in extent, that one can travel forever in any direction without reaching an edge – this would be the only possible world he could see god having created – otherwise what a cruel fate would await the noble pursuit of exploration!

Okay, so here there’s a big chapter about America, which I’m not going to quote for you in full, but essentially what happens is that I decide that I must move south along the coast, because, even if it does go on forever in both directions, the only alternative is to give up and go back and there’s no way I’m gonna do that. So we travel down around, and west for a few more months, until hitting land again. Bang. And they anchor. And, lo, what’s this? A VILLAGE. Sweet. Then:

Shortly after entering the village, he found that he himself did find the people look quite familiar, some words of their language, their customs, from his travels east of India; had these people, from the other side of Europe, travelled here first, made these vast journeys? The very notion seemed impossible; the Indians and Chinese hated sailing, he knew. And yet, as his crew went further inland, he began to find more and more similarities until there was no doubt left: they were in China.

This world repeated itself then, he realized – it was not Rome’s disk, nor was it an explorer’s world – “What a cruel trick to play”, he thought “To think, if you had a powerful enough telescope you might catch sight of yourself, looking away, that the world was, despite all of it’s illusions, really finite in extent; that one might still sail west forever, but never come across anything new, that the world was finite – there were no barriers to travel, but, nonetheless, there was only a finite amount to discover in it – how cruel a discovery for an explorer to have make!

Of course, *everyone* knows that Galileo believed the earth to be shaped like an aubergine. So this casts everything, really, in to the most terrible of doubts, don’t you think? But then again, it is a charming story, neh?

Anyway, I hope to see you in the new year.

Yours,

xxx

Nicolas

Preview
Image
He had peppers on the mind. Don't...don't we all?

My favourite calculation: Combination tones

Hmm, so in the interest of subscribing to this mathematical carnival what’s doing the rounds now, I’m writing something specifically mathematical in nature, my favourite elementary derivation. I’m trying to make it understandable and brief – if anyone is having trouble following, I can help in the comments.

Okay, so lets say we’re hearing a signal given by f(t); let’s assume it’s periodic. Now, to monitor what we hear, we have to view this as a sum of sine waves

f=a*sin(t)+b*sin(2t)+c*sin(3t)+ …

so a,b,c represent the frequencies we hear of frequency 1,2,3, etc, and the bigger the coefficient the bigger the amplitude.

Lets look at two really simple sounds, pure sine waves of different frequencies sin(at), and sin(bt). SO, they each have exactly one frequency present.

Now, so what if there were some non-linearity of our hearing system. That is what if, when someone plays f=sin(at)+sin(bt), we don’t actually hear this, but rather something more complicated.

So, the simplest way of such a thing being non-trivial is to introduce a quadratic non-linearity (ignoring coefficients…we’re thinking that because “all” functions can be taylor expanded as f(t)+f(t)2/2+f(t)3/3!+…, the next best thing to having just f(t) is to having the first two terms).

So, anyway, now when someone plays a signal f(t), we don’t hear f(t), but rather f(t)+f(t)2

So, what results from this? Well, we have to break down f(t)+f(t)2 to being a sum of sine waves first.

f(t)+f(t)2=sin(at)+sin(bt)+ (sin(at)+sin(bt))2
=sin(at)+sin(bt)+sin(at)2+sin(bt)2+2sin(at)sin(bt)

looking up trig tables and decomposing further we get (ignoring coefficients)

=sin(at)+sin(bt)+cos(2a)+cos(2b)+sin(a+b)+sin(a-b)

Ah, so look at this. We might be led to deduce from this that, if non-linearities were present, when someone plays two frequencies at the time, we will also perceive sounds playing at double either frequency, their sum, and their difference.

Now, the multiples of a and b can be reasonably expected to be masked by overtones (though it is possible to bring them out), but the difference (and, to a lesser extent, the sum), on the other hand, can be controlled very easily, just by bringing the two source sounds closer together or further apart. And, indeed, we can quite easily hear them.* Which is darnedly neat.

I like this calculation so very, very much because it’s surprisingly fruitful; whenever I feel like I’m loosing my faith in the power of Taylor expansions, I go through this derivation again.

The phenomenon was first noted by Tartini, the derivation was by Helmholtz, and these extra tones are sometimes called Tartini tones or, more commonly combination tones.

What’s also interesting, by the by, is that these effects are actually quadratic: I remember, the first time I heard an example (they can be found on the interweb quite easily, here for instance), I was listening to them with earphones, and the strength of the combination tone totally overwhelmed the two base ones. But, when I played it on speakers, it was much weaker relative to these tones, and if I went too far away, I couldn’t hear it at all.

*okay; this is a lie, actually the third order terms are the easiest to hear, corresponding to things like 2a-b…and there’s an explanation for this (check out Dave Benson’s notes if you want to know more).

Preview
Image
Hmmm...I wonder if such a short post is going to mess up formatting.

Serial: Chapter 2:C/A – Blackness

I was alone, and in darkness. It stretched out forever, and yet it was not a vertigo I felt at the feeling of this expanse, but rather found myself suffocating at the immediacy and intimacy of the blackness.

Preview
Image
Finsler, whatever.

Serial: Chapter 2: A – Riemannian

In a dream again, I found myself in a labyrinth. This was not a labyrinth of walls, though, it was a labyrinth of space and, instead of feeling claustrophobic confinement, I felt the oppression of a space too rich, too rich and dense, to meaningfully comprehend.

This was a desert, with occasional rocks, trees, allowing me some orientation with respect to my world and, yet, I couldn’t shake off a feeling of general disorientation.

I set my sight on a particular tree, which was standing next to a sharply jutting piece of sandstone several paces away. I made my way towards it, or rather, tried to – I found after one or two paces these to be on the periphery of my vision, though a little closer – I turned to face them again, and stepped forward: walking towards this tree was like keeping one’s balance on a bicycle – it took constant corrections.

I picked up a small stone, some black, rough stone, from the sand, and tossed it forwards a short distance; I found that I was getting the hang of this desert, and was able, with some small exertion of effort, to walk to it and pick it up again, though I could only move but slowly.

I picked up two stones, and made an effort to toss them both t the same point a few metres away. Indeed, they looked to land rather closely together. And, yet, as I walked towards one, I found the other getting further and further away, until, by the time I had reached my destination, the other one was almost as far from me as I was now from the point at which I had thrown it.

The geometry of this place was…thick; it seemed that even the slightest error in orientation, on a walk of but a few paces, could result in you being further away than when you started.

I then knew, as one does in dreams, that my destination – the place where I needed to go, was many miles away, that I could spend a lifetime of lifetimes trying to find it and, even if someone could point me in its rough direction from where I was, I would have little chance of ever finding it.

Preview
Image
Isotropy groups eat your heart out!

Serial: Chapter 2: C – Cube

I fell asleep to find myself standing on an interior wall of a cube. There was no gravity it seemed, though I was, it seemed, bound to walk on it’s surface.

This was not too small a chamber; it stretched almost a hundred metres in each direction, and the isolation or artifice of this situation did not in and of itself worry me. But, after a few minutes of exploration had passed, I noticed that this cube was not as spacious as it had seemed to me at first glance.

I stood at one corner and asked myself “Would it matter me if I was to stand at any other corner?” With this thought I could feel the space I had perceived contract about me. I thought “At this corner, is there any difference between facing one other corner, or any other one?” And with this, and all it’s variations and implications, I felt my freedom disappear, to be replaced with a noose, tightening about my neck.

Preview
Image
A thousand doors, all locked, invite thoughts on tantalizing possibilities shut off to one's self.

Serial: Chapter 1: C/A – High Dim.

The following night I had another dream: I awoke inside the dream, to find myself breathing deeply, calmly, in some spacious, geometrical environment. I looked about, trying to take in in my surroundings, only a fear began to grab at me: the space was uninhabited by anything else, it just went on forever in all directions, and yet there was more: as it dawned upon me that I was in a space of dimensions many more than three, that space was going to infinity not merely in three directions, but twenty – this frightened me, I found myself unable to move, praying for some relief to the immense extent of this world.

My prayers were suddenly answered: I found myself trapped in a cramped prison cell; trapped between forty different walls on forty different sides.

Preview
Image
lavish resplendent; now...where did I leave that stag-bust?

Serial: Chapter 1: C – Quotient

It took me some time to get to sleep that night. When I did, my fears blossomed into a nightmare:

I was, alone, in a dining room, with a heavy mahogany table and the walls were covered with a rich velvety wallpaper. Silver service laid on lace tablecloth, adorned about with plates of food.

In contrast to the evening’s fears of expanses, I now began to feel uncomfortably contained in my body, in this oppressive room; my apprehensions grew with every breath, and then I noticed some changes that restricted my enclosure upon me in a way I could not have expected:

There were no straightforward physical barriers developing, nor did the walls begin to close in on me; rather I began to perceive things differently – or rather, the reality of the situation changed. I had been looking at the contents of my plate, glancing fearfully away from it up to the ceiling every so often, lest it come crashing down upon me. But then the changes began: suddenly, the lampshade on the ceiling and the plate on the table were not separate things, but rather one thing; still the lampshade and the place, but now thoughts of separating them were impossible.

I pulled my eyes away from this transfiguration, allowing my sight to escape to the door, only the door was now not only the door, but simultaneously the lower shelf of the bookcase on the opposite end of the room, and then the bookcase as a whole became the bookcase and the table; this room was folding in on itself, but in no straightforward way; I tried then to look down, and found that the floor had become the floor and the ceiling, and then, all at once, up was combined with down.

I suddenly awoke, with the thought “What must be becoming of me?”