Dog leashes, braids, and groups
Nov. 21st, 2021 10:15 pmWhen we got our greyhounds, we were told to hold onto the leash using a particular method: lark's-head the leash loop around your wrist and wrap the leash around your fingers. This is quite secure: even if a dog lunges after a squirrel or something and pulls the leash out of your hand, the lark's-head will tighten around your wrist and you won't drop the leash. Of course, it also means that the leash, which is basically a long flat ribbon, gets twisted; if you're like me and your sense of the rightness of the universe requires untwisting the leash, it sometimes requires undoing this whole assembly, untwisting, and redoing the lark's-head and all that.
Of course, I have two dogs, whom I frequently walk together. Which means not only can each leash get twisted, but they can get twisted around one another, and you can't untwist either of them individually until you've undone the twist-around-one-another.
This sounds like a job for... Math! (Into a nearby phone booth, a quick clothes change, and out comes Algebraman!)
I'm sure that better mathematicians than myself have analyzed cord-twisting and braiding from a group-theory perspective, but (a) I want to try developing it from first principles myself, and (b) most of those mathematicians don't know about fingerloop braiding, so I might have something to add.
First, I should give a roadmap to what I'm doing and why. Much of what mathematicians do is "find a concrete phenomenon, erase as many details as possible, and prove things about the resulting abstract concept." If you can prove something about the abstract concept, then since the original concrete phenomenon was an example of the abstract concept, whatever you proved must be true of it. Furthermore, by erasing the details, you may find lots of other concrete phenomena, apparently completely unrelated, that turn out to be examples of the same abstract concept, so the same must be true of them too. So today's voyage is inspired by the concrete phenomena of twisting dog leashes and fingerloop braids, but it'll have things to say about lots of other concrete phenomena like piles of paper in my office and infinite checkerboards.
( Cut a lot of math-for-the-layman content )
Things get much more interesting when you have three or more bowes. But I'd better wrap this up and prepare for bed.
Of course, I have two dogs, whom I frequently walk together. Which means not only can each leash get twisted, but they can get twisted around one another, and you can't untwist either of them individually until you've undone the twist-around-one-another.
This sounds like a job for... Math! (Into a nearby phone booth, a quick clothes change, and out comes Algebraman!)
I'm sure that better mathematicians than myself have analyzed cord-twisting and braiding from a group-theory perspective, but (a) I want to try developing it from first principles myself, and (b) most of those mathematicians don't know about fingerloop braiding, so I might have something to add.
First, I should give a roadmap to what I'm doing and why. Much of what mathematicians do is "find a concrete phenomenon, erase as many details as possible, and prove things about the resulting abstract concept." If you can prove something about the abstract concept, then since the original concrete phenomenon was an example of the abstract concept, whatever you proved must be true of it. Furthermore, by erasing the details, you may find lots of other concrete phenomena, apparently completely unrelated, that turn out to be examples of the same abstract concept, so the same must be true of them too. So today's voyage is inspired by the concrete phenomena of twisting dog leashes and fingerloop braids, but it'll have things to say about lots of other concrete phenomena like piles of paper in my office and infinite checkerboards.
( Cut a lot of math-for-the-layman content )
Things get much more interesting when you have three or more bowes. But I'd better wrap this up and prepare for bed.