Updates from May, 2017 Toggle Comment Threads | Keyboard Shortcuts

  • Joseph Nebus 6:00 pm on Sunday, 28 May, 2017 Permalink | Reply
    Tags: , , , , , , Oh Brother, Break of Day, Best Medicine Cartoon   

    Reading the Comics, May 27, 2017: Panels Edition 

    Can’t say this was too fast or too slow a week for mathematically-themed comic strips. A bunch of the strips were panel comics, so that’ll do for my theme.

    Norm Feuti’s Retail for the 21st mentions every (not that) algebra teacher’s favorite vague introduction to group theory, the Rubik’s Cube. Well, the ways you can rotate the various sides of the cube do form a group, which is something that acts like arithmetic without necessarily being numbers. And it gets into value judgements. There exist algorithms to solve Rubik’s cubes. Is it a show of intelligence that someone can learn an algorithm and solve any cube? — But then, how is solving a Rubik’s cube, with or without the help of an algorithm, a show of intelligence? At least of any intelligence more than the bit of spatial recognition that’s good for rotating cubes around?

    'Rubik's cube, huh? I never could solve one of those.' 'I'm just fidgeting with it. I never bothered learning the algorithm either.' 'What algorithm?' 'The pattern you use to solve it.' 'Wait. All you have to do to solve it is memorize a pattern?' 'Of course. How did you think people solved it?' 'I always thought you had to be super smart to figure it out.' 'Well, memorizing the pattern does take a degree of intelligence.' 'Yeah, but that's not the same thing as solving it on your own.' 'I'm sure some people figured out the algorithm without help.' 'I KNEW Chad Gustafson was a liar! He was no eighth-grade prodigy, he just memorized the pattern!' 'Sounds like you and the CUBE have some unresolved issues.'

    Norm Feuti’s Retail for the 21st of May, 2017. A few weeks ago I ran across a book about the world of competitive Rubik’s Cube solving. I haven’t had the chance to read it, but am interested by the ways people form rules for what would seem like a naturally shapeless feature such as solving Rubik’s Cubes. Not featured: the early 80s Saturday morning cartoon that totally existed because somehow that made sense back then.

    I don’t see that learning an algorithm for a problem is a lack of intelligence. No more than using a photo reference shows a lack of drawing skill. It’s still something you need to learn, and to apply, and to adapt to the cube as you have it to deal with. Anyway, I never learned any techniques for solving it either. Would just play for the joy of it. Here’s a page with one approach to solving the cube, if you’d like to give it a try yourself. Good luck.

    Bob Weber Jr and Jay Stephens’s Oh, Brother! for the 22nd is a word-problem avoidance joke. It’s a slight thing to include, but the artwork is nice.

    Brian and Ron Boychuk’s Chuckle Brothers for the 23rd is a very slight thing to include, but it’s looking like a slow week. I need something here. If you don’t see it then things picked up. They similarly tried sprucing things up the 27th, with another joke for taping onto the door.

    Nate Fakes’s Break of Day for the 24th features the traditional whiteboard full of mathematics scrawls as a sign of intelligence. The scrawl on the whiteboard looks almost meaningful. The integral, particularly, looks like it might have been copied from a legitimate problem in polar or cylindrical coordinates. I say “almost” because while I think that some of the r symbols there are r’ I’m not positive those aren’t just stray marks. If they are r’ symbols, it’s the sort of integral that comes up when you look at surfaces of spheres. It would be the electric field of a conductive metal ball given some charge, or the gravitational field of a shell. These are tedious integrals to solve, but fortunately after you do them in a couple of introductory physics-for-majors classes you can just look up the answers instead.

    Samson’s Dark Side of the Horse for the 26th is the Roman numerals joke for this installment. I feel like it ought to be a pie chart joke too, but I can’t find a way to make it one.

    Izzy Ehnes’s The Best Medicine Cartoon for the 27th is the anthropomorphic numerals joke for this paragraph.

  • Joseph Nebus 6:00 pm on Thursday, 25 May, 2017 Permalink | Reply
    Tags: GIS, , , statistical sampling   

    Getting Into Shapes 

    This is, in part, a post for myself. They all are, but this is moreso. My day job includes some Geographic Information Services stuff, which is how we say “maps” when we want to be taken seriously as Information Technology professionals. When we make maps, what we really do is have a computer draw polygons, and then put dots on them. A common need is to put a dot in the middle of a polygon. Yes, this sounds silly, but describe your job this abstractly and see how it comes out.

    The trouble is polygons can be complicated stuff. Can be, not are. If the polygon is, like, the border of your building’s property it’s probably not too crazy. It’s probably a rectangle, or at least a trapezoid. Maybe there’s a curved boundary. If you need a dot, such as to place the street address or a description of the property, you can make a good guess about where to put it so it’s inside the property and not too close to an edge.

    But you can’t always. The polygons can be complicated. Especially if you’re representing stuff that reflects government or scientific or commercial interest. There’s good reasons to be interested in the boundaries between the low-low tide and the high-high tide lines of a beach, but that’s not going to look like anything simple for any realistic property. Finding a representative spot to fix labels or other business gets tricky.

    So this crossed my Twitter feed and I’ll probably want to refer back to it at some point. It’s an algorithm, published last August by Vladimir Agafonkin at Mapbox, which uses some computation tricks to find a reasonable center.

    The approach is, broadly, of a kind with many numerical methods. It tries to find an answer by taking a guess and then seeing if any obvious variations will make it a little better. If you can, then, repeat these variations. Eventually, usually, you’ll get to a pretty good answer. It may not be the exact best possible answer, but that’s all right. We accept that we’ll have a merely approximate answer, but we’ll get it more quickly than we otherwise would have. Often this is fine. Nobody will be upset that the label on a map would be “better” moved one pixel to the right if they get the map ten seconds faster. Optimization is often like that.

    I have not tried putting this code into mine yet; I’ve just now read it and I have some higher-priority tasks at work. But I’m hoping to remember that this exists and to see whether I can use it.

  • Joseph Nebus 6:00 pm on Tuesday, 23 May, 2017 Permalink | Reply
    Tags: ,   

    Dabbing and the Pythagorean Theorem 

    The picture explains itself nicely. Just a thought on an average day.

    Mean Green Math

    I enjoyed this article from Fox Sports. Apparently, a French Precalculus textbook created a homework problem asking if football (soccer) superstar Paul Pogba is doing the perfect dab by creating two right triangles.

    View original post

  • Joseph Nebus 6:00 pm on Sunday, 21 May, 2017 Permalink | Reply
    Tags: bowling, , , Inspector Danger, , , Questionable Quotebook,   

    Reading the Comics, May 20, 2017: Major Computer Malfunction Week Edition 

    I was hit by a massive computer malfunction this week, the kind that forced me to buy a new computer and spend half a week copying stuff over from a limping hard drive and hoping it would maybe work if I held things just right. Mercifully, Comic Strip Master Command gave me a relatively easy week. No huge rush of mathematically-themed comic strips and none that are going to take a thousand words of writing to describe. Let’s go.

    Sam Hepburn’s Questionable Quotebook for the 14th includes this week’s anthropomorphic geometry sketch underneath its big text block.

    Eric the Circle for the 15th, this one by “Claire the Square”, is the rare Eric the Circle to show off properties of circles. So maybe that’s the second anthropomorphic geometry sketch for the week. If the week hadn’t been dominated by my computer woes that might have formed the title for this edition.

    Werner Wejp-Olsen’s Inspector Danger’s Crime Quiz for the 15th puts a mathematician in mortal peril and leaves him there to die. As is traditional for this sort of puzzle the mathematician left a dying clue. (Mathematicians were similarly kind to their investigators on the 4th of July, 2016 and the 9th of July, 2012. I was expecting the answer to be someone with a four-letter and an eight-letter name, none of which anybody here had. Doesn’t matter. It’ll never stand up in court.

    John Graziano’s Ripley’s Believe It Or Not for the 17th features one of those astounding claims that grows out of number theory. Graziano asserts that there are an astounding 50,613,244,155,051,856 ways to score exactly 100 points in (ten-pin) bowling. I won’t deny that this seems high to me. But partitioning a number — that is, taking a (positive) whole number and writing down the different ways one can add up (positive) whole numbers to get that sum — often turns up a lot of possibilities. That there should be many ways to get a score of 100 by adding between ten and twenty numbers that could be between zero and ten each, plus the possibility of adding pairs of the numbers (for spares) or trios of numbers (for strikes) makes this less astonishing.

    Wikipedia led me to this page, from Balmoral Software, about all the different ways there are to score different numbers. The most surprising thing it reveals to me is that 100 isn’t even the score with the greatest number of possible scores. 77 is. There are 172,542,309,343,731,946 ways to score exactly 77 points. I agree this ought to make me feel better about my game. It doesn’t. It turns out there are, altogether, something like 5,726,805,883,325,784,576 possible different outcomes for a bowling game. And how we can tell that, given there’s no practical way to go and list all of them, is described at the end of the page.

    The technique is called “divide and conquer”. There’s no way to list all the outcomes of ten frames of bowling, but there’s certainly a way to list all the outcomes of one. Or two. Or three. So, work out how many possible scores there would be in few enough frames you can handle that. Then combine these shortened games into one that’s the full ten frames. There’s some trouble in matching up the ends of the short games. A spare or a strike in the last frame of a shortened game means one has to account for the first or first two frames of the next one. But this is still an easier problem than the one we started with.

    Bill Amend’s FoxTrot Classics for the 18th (rerun from the 25th of May, 2006) is your standard percentages and infinities joke. Really would have expected Paige’s mother to be wise to this game by now, but this sort of thing happens.

  • Joseph Nebus 6:00 pm on Sunday, 14 May, 2017 Permalink | Reply
    Tags: , , Ben, , ,   

    Reading the Comics, May 13, 2017: Quiet Tuesday Through Saturday Edition 

    From the Sunday and Monday comics pages I was expecting another banner week. And then there was just nothing from Tuesday on, at least not among the comic strips I read. Maybe Comic Strip Master Command has ordered jokes saved up for the last weeks before summer vacation.

    Tony Cochrane’s Agnes for the 7th is a mathematics anxiety strip. It’s well-expressed, since Cochrane writes this sort of hyperbole well. It also shows a common attitude that words and stories are these warm, friendly things, while mathematics and numbers are cold and austere. Perhaps Agnes is right to say some of the problem is familiarity. It’s surely impossible to go a day without words, if you interact with people or their legacies; to go without numbers … well, properly impossible. There’s too many things that have to be counted. Or places where arithmetic sneaks in, such as getting enough money to buy a thing. But those don’t seem to be the kinds of mathematics people get anxious about. Figuring out how much change, that’s different.

    I suppose some of it is familiarity. It’s easier to dislike stuff you don’t do often. The unfamiliar is frightening, or at least annoying. And humans are story-oriented. Even nonfiction forms stories well. Mathematics … has stories, as do all human projects. But the mathematics itself? I don’t know. There’s just beautiful ingenuity and imagination in a lot of it. I’d just been thinking of the just beautiful scheme for calculating logarithms from a short table. But it takes time to get to that beauty.

    Gary Wise and Lance Aldrich’s Real Life Adventures for the 7th is a fractions joke. It might also be a joke about women concealing their ages. Or perhaps it’s about mathematicians expressing things in needlessly complicated ways. I think that’s less a mathematician’s trait than a common human trait. If you’re expert in a thing it’s hard to resist the puckish fun of showing that expertise off. Or just sowing confusion where one may.

    Daniel Shelton’s Ben for the 8th is a kid-doing-arithmetic problem. Even I can’t squeeze some deeper subject meaning out of it, but it’s a slow week so I’ll include the strip anyway. Sorry.

    Brian Boychuk and Ron Boychuk’s Chuckle Brothers for the 8th is the return of anthropomorphic-geometry joke after what feels like months without. I haven’t checked how long it’s been without but I’m assuming you’ll let me claim that. Thank you.

  • Joseph Nebus 6:00 pm on Thursday, 11 May, 2017 Permalink | Reply
    Tags: , Legendre transform   

    Excuses, But Classed Up Some 

    Afraid I’m behind on resuming Why Stuff Can Orbit, mostly as a result of a power outage yesterday. It wasn’t a major one, but it did reshuffle all the week’s chores to yesterday when we could be places that had power, and kept me from doing as much typing as I wanted. I’m going to be riding this excuse for weeks.

    So instead, here, let me pass this on to you.

    It links to a post about the Legendre Transform, which is one of those cool advanced tools you get a couple years into a mathematics or physics major. It is, like many of these cool advanced tools, about solving differential equations. Differential equations turn up anytime the current state of something affects how it’s going to change, which is to say, anytime you’re looking at something not boring. It’s one of mathematics’s uses of “duals”, letting you swap between the function you’re interested in and what you know about how the function you’re interested in changes.

    On the linked page, Jonathan Manton tries to present reasons behind the Legendre transform, in ways he likes better. It might not explain the idea in a way you like, especially if you haven’t worked with it before. But I find reading multiple attempts to explain an idea helpful. Even if one perspective doesn’t help, having a cluster of ideas often does.

  • Joseph Nebus 6:00 pm on Friday, 21 April, 2017 Permalink | Reply
    Tags: , , Mobius strips,   

    In Which I Offer Excuses Instead Of Mathematics 

    I’d been hoping to get back into longer-form essays. And then the calculations I meant to do on one problem turned out more complicated than I’d wanted. And they’re hard to square with the approach I used in some earlier work. Not that the results I was looking at were wrong, mind, just that an approach I’d used as “convenient for this sort of problem” turned inconvenient here.

    So while I have the whole piece back in the shop for re-thinking, which is harder than even thinking, let me give you some other stuff to read. Or look at. One is from regular Singaporean correspondent MathTuition88. If you know anything about topology it’s because you’ve heard about Möbius strips. Surfaces with a single side are neat, and form the base of 95 percent of all science fiction stories in which the mathematics is the fantastic element. Klein bottles are often mentioned as a four-dimensional analogue to the Möbius strip, a solid object with no distinguishable interior or exterior. And a Klein bottle can be divided into two Möbius strips. MathTuition88 showcases a picture about how to turn two strips into a bottle. Or at least the best approximation of a bottle we can do; the actual Klein bottle is a four-dimensional structure and we can just make a three-dimensional imitation of the thing.

    For something a bit more vector-analytic Joe Heafner’s Tensor Time has an essay about vectors. It’s about Heafner’s dislike for the way some vector problems are presented. Some common and easy ways to solve vector equations lead to spurious solutions that have to be weeded out by ad hoc reasoning; can’t we do better? Heafner argues that we can and should. The suggested alternative looks a little stuffy, but as often happens, spending more time on the setup means one spends less time confused later on. Worth pondering.

    And this is a late addition, but I couldn’t resist.

    Now I have a new favorite first chapter for a calculus text.

    • sheldonk2014 7:43 pm on Monday, 1 May, 2017 Permalink | Reply

      Thank you for visiting Joseph
      Sorry it has taken me so long to get back to you
      But I know you understand
      As Sheldon Always


      • Joseph Nebus 3:23 am on Tuesday, 9 May, 2017 Permalink | Reply

        Oh yes. Nothing you ever need to apologize for. I don’t check in on everyone often enough myself. Just glad you’re here and basically all right.


  • Joseph Nebus 6:00 pm on Sunday, 12 March, 2017 Permalink | Reply
    Tags: , Basic Instructions, , Little Iodine, Phoebe and her Unicorn, Piranha Club,   

    Reading the Comics, March 6, 2017: Blackboards Edition 

    I can’t say there’s a compelling theme to the first five mathematically-themed comics of last week. Screens full of mathematics turned up in a couple of them, so I’ll run with that. There were also just enough strips that I’m splitting the week again. It seems fair to me and gives me something to remember Wednesday night that I have to rush to complete.

    Jimmy Hatlo’s Little Iodine for the 1st of January, 1956 was rerun on the 5th of March. The setup demands Little Iodine pester her father for help with the “hard homework” and of course it’s arithmetic that gets to play hard work. It’s a word problem in terms of who has how many apples, as you might figure. Don’t worry about Iodine’s boss getting fired; Little Iodine gets her father fired every week. It’s their schtick.

    Little Iodine wakes her father early after a night at the lodge. 'You got to help me with my [hard] homework.' 'Ooh! My head! Wha'?' 'The first one is, if John has twice as many apples as Tom and Sue put together ... ' 'Huh? kay! Go on, let's get this over with.' They work through to morning. Iodine's teacher sees her asleep in class and demands she bring 'a note from your parents as to why you sleep in school instead of at home!' She goes to her father's office where her father's boss is saying, 'Well, Tremblechin, wake up! The hobo hotel is three blocks south and PS: DON'T COME BACK!'

    Jimmy Hatlo’s Little Iodine for the 1st of January, 1956. I guess class started right back up the 2nd, but it would’ve avoided so much trouble if she’d done her homework sometime during the winter break. That said, I never did.

    Dana Simpson’s Phoebe and her Unicorn for the 5th mentions the “most remarkable of unicorn confections”, a sugar dodecahedron. Dodecahedrons have long captured human imaginations, as one of the Platonic Solids. The Platonic Solids are one of the ways we can make a solid-geometry analogue to a regular polygon. Phoebe’s other mentioned shape of cubes is another of the Platonic Solids, but that one’s common enough to encourage no sense of mystery or wonder. The cube’s the only one of the Platonic Solids that will fill space, though, that you can put into stacks that don’t leave gaps between them. Sugar cubes, Wikipedia tells me, have been made only since the 19th century; the Moravian sugar factory director Jakub Kryštof Rad got a patent for cutting block sugar into uniform pieces in 1843. I can’t dispute the fun of “dodecahedron” as a word to say. Many solid-geometric shapes have names that are merely descriptive, but which are rendered with Greek or Latin syllables so as to sound magical.

    Bud Grace’s Piranha Club for the 6th started a sequence in which the Future Disgraced Former President needs the most brilliant person in the world, Bud Grace. A word balloon full of mathematics is used as symbol for this genius. I feel compelled to point out Bud Grace was a physics major. But while Grace could as easily have used something from the physics department to show his deep thinking abilities, that would all but certainly have been rendered as equation and graphs, the stuff of mathematics again.

    At the White Supremacist House: 'I have the smartest people I could find to help me run this soon-to-be-great-again country, but I'm worried that they're NOT SMART ENOUGH! I want the WORLD'S SMARTEST GENIUS to be my SPECIAL ADVISOR!' Meanwhile, cartoonist Bud Grace thinks of stuff like A = pi*r^2 and a^2 + b^2 = c^2 and tries working out 241 times 365, 'carry the one ... hmmmm ... '

    Bud Grace’s Piranha Club for the 6th of March, 2017. 241 times 635 is 153,035 by the way. I wouldn’t work that out in my head if I needed the number. I might work out an estimate of how big it was, in which case I’d do this: 241 is about 250, which is one-quarter of a thousand. One-quarter of 635 is something like 150, which times a thousand is 150,000. If I needed it exactly I’d get a calculator. Unless I just needed something to occupy my mind without having any particular emotional charge.

    Scott Meyer’s Basic Instructions rerun for the 6th is aptly titled, “How To Unify Newtonian Physics And Quantum Mechanics”. Meyer’s advice is not bad, really, although generic enough it applies to any attempts to reconcile two different models of a phenomenon. Also there’s not particularly a problem reconciling Newtonian physics with quantum mechanics. It’s general relativity and quantum mechanics that are so hard to reconcile.

    Still, Basic Instructions is about how you can do a thing, or learn to do a thing. It’s not about how to allow anything to be done for the first time. And it’s true that, per quantum mechanics, we can’t predict exactly what any one particle will do at any time. We can say what possible things it might do and how relatively probable they are. But big stuff, the stuff for which Newtonian physics is relevant, involve so many particles that the unpredictability becomes too small to notice. We can see this as the Law of Large Numbers. That’s the probability rule that tells us we can’t predict any coin flip, but we know that a million fair tosses of a coin will not turn up 800,000 tails. There’s more to it than that (there’s always more to it), but that’s a starting point.

    Michael Fry’s Committed rerun for the 6th features Albert Einstein as the icon of genius. Natural enough. And it reinforces this with the blackboard full of mathematics. I’m not sure if that blackboard note of “E = md3” is supposed to be a reference to the famous Far Side panel of Einstein hearing the maid talk about everything being squared away. I’ll take it as such.

  • Joseph Nebus 6:00 pm on Sunday, 5 March, 2017 Permalink | Reply
    Tags: , , , Luann Againn, , , Poor Richard's Almanac, ,   

    Reading the Comics, March 4, 2017: Frazz, Christmas Trees, and Weddings Edition 

    It was another of those curious weeks when Comic Strip Master Command didn’t send quite enough comics my way. Among those they did send were a couple of strips in pairs. I can work with that.

    Samson’s Dark Side Of The Horse for the 26th is the Roman Numerals joke for this essay. I apologize to Horace for being so late in writing about Roman Numerals but I did have to wait for Cecil Adams to publish first.

    In Jef Mallett’s Frazz for the 26th Caulfield ponders what we know about Pythagoras. It’s hard to say much about the historical figure: he built a cult that sounds outright daft around himself. But it’s hard to say how much of their craziness was actually their craziness, how much was just that any ancient society had a lot of what seems nutty to us, and how much was jokes (or deliberate slander) directed against some weirdos. What does seem certain is that Pythagoras’s followers attributed many of their discoveries to him. And what’s certain is that the Pythagorean Theorem was known, at least a thing that could be used to measure things, long before Pythagoras was on the scene. I’m not sure if it was proved as a theorem or whether it was just known that making triangles with the right relative lengths meant you had a right triangle.

    Greg Evans’s Luann Againn for the 28th of February — reprinting the strip from the same day in 1989 — uses a bit of arithmetic as generic homework. It’s an interesting change of pace that the mathematics homework is what keeps one from sleep. I don’t blame Luann or Puddles for not being very interested in this, though. Those sorts of complicated-fraction-manipulation problems, at least when I was in middle school, were always slogs of shuffling stuff around. They rarely got to anything we’d like to know.

    Jef Mallett’s Frazz for the 1st of March is one of those little revelations that statistics can give one. Myself, I was always haunted by the line in Carl Sagan’s Cosmos about how, in the future, with the Sun ageing and (presumably) swelling in size and heat, the Earth would see one last perfect day. That there would most likely be quite fine days after that didn’t matter, and that different people might disagree on what made a day perfect didn’t matter. Setting out the idea of a “perfect day” and realizing there would someday be a last gave me chills. It still does.

    Richard Thompson’s Poor Richard’s Almanac for the 1st and the 2nd of March have appeared here before. But I like the strip so I’ll reuse them too. They’re from the strip’s guide to types of Christmas trees. The Cubist Fur is described as “so asymmetrical it no longer inhabits Euclidean space”. Properly neither do we, but we can’t tell by eye the difference between our space and a Euclidean space. “Non-Euclidean” has picked up connotations of being so bizarre or even horrifying that we can’t hope to understand it. In practice, it means we have to go a little slower and think about, like, what would it look like if we drew a triangle on a ball instead of a sheet of paper. The Platonic Fir, in the 2nd of March strip, looks like a geometry diagram and I doubt that’s coincidental. It’s very hard to avoid thoughts of Platonic Ideals when one does any mathematics with a diagram. We know our drawings aren’t very good triangles or squares or circles especially. And three-dimensional shapes are worse, as see every ellipsoid ever done on a chalkboard. But we know what we mean by them. And then we can get into a good argument about what we mean by saying “this mathematical construct exists”.

    Mark Litzler’s Joe Vanilla for the 3rd uses a chalkboard full of mathematics to represent the deep thinking behind a silly little thing. I can’t make any of the symbols out to mean anything specific, but I do like the way it looks. It’s quite well-done in looking like the shorthand that, especially, physicists would use while roughing out a problem. That there are subscripts with forms like “12” and “22” with a bar over them reinforces that. I would, knowing nothing else, expect this to represent some interaction between particles 1 and 2, and 2 with itself, and that the bar means some kind of complement. This doesn’t mean much to me, but with luck, it means enough to the scientist working it out that it could be turned into a coherent paper.

    'Has Carl given you any reason not to trust him?' 'No, not yet. But he might.' 'Fi ... you seek 100% certainty in people, but that doesn't exist. In the end,' and Dethany is drawn as her face on a pi symbol, 'we're *all* irrational numbers.'

    Bill Holbrook’s On The Fastrack for the 3rd of March, 2017. Fi’s dress isn’t one of those … kinds with the complicated pattern of holes in it. She got it torn while trying to escape the wedding and falling into the basement.

    Bill Holbrook’s On The Fastrack is this week about the wedding of the accounting-minded Fi. And she’s having last-minute doubts, which is why the strip of the 3rd brings in irrational and anthropomorphized numerals. π gets called in to serve as emblematic of the irrational numbers. Can’t fault that. I think the only more famously irrational number is the square root of two, and π anthropomorphizes more easily. Well, you can draw an established character’s face onto π. The square root of 2 is, necessarily, at least two disconnected symbols and you don’t want to raise distracting questions about whether the root sign or the 2 gets the face.

    That said, it’s a lot easier to prove that the square root of 2 is irrational. Even the Pythagoreans knew it, and a bright child can follow the proof. A really bright child could create a proof of it. To prove that π is irrational is not at all easy; it took mathematicians until the 19th century. And the best proof I know of the fact does it by a roundabout method. We prove that if a number (other than zero) is rational then the tangent of that number must be irrational, and vice-versa. And the tangent of π/4 is 1, so therefore π/4 must be irrational, so therefore π must be irrational. I know you’ll all trust me on that argument, but I wouldn’t want to sell it to a bright child.

    'Fi ... humans are complicated. Like the irrational number pi, we can go on forever. You never get to the bottom of us! But right now, upstairs, there are two variables who *want* you in their lives. Assign values to them.' Carl, Fi's fiancee, is drawn as his face with a y; his kid as a face on an x.

    Bill Holbrook’s On The Fastrack for the 4th of March, 2017. I feel bad that I completely forgot Carl had a kid and that the face on the x doesn’t help me remember anything.

    Holbrook continues the thread on the 4th, extends the anthropomorphic-mathematics-stuff to call people variables. There’s ways that this is fair. We use a variable for a number whose value we don’t know or don’t care about. A “random variable” is one that could take on any of a set of values. We don’t know which one it does, in any particular case. But we do know — or we can find out — how likely each of the possible values is. We can use this to understand the behavior of systems even if we never actually know what any one of it does. You see how I’m going to defend this metaphor, then, especially if we allow that what people are likely or unlikely to do will depend on context and evolve in time.

  • Joseph Nebus 6:00 pm on Sunday, 5 February, 2017 Permalink | Reply
    Tags: , , , , , , Pajama Diaries, ,   

    Reading the Comics, February 2, 2017: I Haven’t Got A Jumble Replacement Source Yet 

    If there was one major theme for this week it was my confidence that there must be another source of Jumble strips out there. I haven’t found it, but I admit not making it a priority either. The official Jumble site says I can play if I activate Flash, but I don’t have enough days in the year to keep up with Flash updates. And that doesn’t help me posting mathematics-relevant puzzles here anyway.

    Mark Anderson’s Andertoons for January 29th satisfies my Andertoons need for this week. And it name-drops the one bit of geometry everyone remembers. To be dour and humorless about it, though, I don’t think one could likely apply the Pythagorean Theorem. Typically the horizontal axis and the vertical axis in a graph like this measure different things. Squaring the different kinds of quantities and adding them together wouldn’t mean anything intelligible. What would even be the square root of (say) a squared-dollars-plus-squared-weeks? This is something one learns from dimensional analysis, a corner of mathematics I’ve thought about writing about some. I admit this particular insight isn’t deep, but everything starts somewhere.

    Norm Feuti’s Gil rerun for the 30th is a geometry name-drop, listing it as the sort of category Jeopardy! features. Gil shouldn’t quit so soon. The responses for the category are “What is the Pythagorean Theorem?”, “What is acute?”, “What is parallel?”, “What is 180 degrees?” (or, possibly, 360 or 90 degrees), and “What is a pentagon?”.

    Parents' Glossary Of Terms: 'Mortifraction': That utter shame when you realize you can no longer do math in your head. Parent having trouble making change at a volunteer event.

    Terri Libenson’s Pajama Diaries for the 1st of February, 2017. You know even for a fundraising event $17.50 seems a bit much for a hot dog and bottled water. Maybe the friend’s 8-year-old child is way off too.

    Terri Libenson’s Pajama Diaries for the 1st of February shows off the other major theme of this past week, which was busy enough that I have to again split the comics post into two pieces. That theme is people getting basic mathematics wrong. Mostly counting. (You’ll see.) I know there’s no controlling what people feel embarrassed about. But I think it’s unfair to conclude you “can no longer” do mathematics in your head because you’re not able to make change right away. It’s normal to be slow or unreliable about something you don’t do often. Inexperience and inability are not the same thing, and it’s unfair to people to conflate them.

    Gordon Bess’s Redeye for the 21st of September, 1970, got rerun the 1st of February. And it’s another in the theme of people getting basic mathematics wrong. And even more basic mathematics this time. There’s more problems-with-counting comics coming when I finish the comics from the past week.

    'That was his sixth shot!' 'Good! OK, Paleface! You've had it now!' (BLAM) 'I could never get that straight, does six come after four or after five?'

    Gordon Bess’s Redeye for the 21st of September, 1970. Rerun the 1st of February, 2017. I don’t see why they’re so worried about counting bullets if being shot just leaves you a little discombobulated.

    Dave Whamond’s Reality Check for the 1st hopes that you won’t notice the label on the door is painted backwards. Just saying. It’s an easy joke to make about algebra, also, that it should put letters in to perfectly good mathematics. Letters are used for good reasons, though. We’ve always wanted to work out the value of numbers we only know descriptions of. But it’s way too wordy to use the whole description of the number every time we might speak of it. Before we started using letters we could use placeholder names like “re”, meaning “thing” (as in “thing we want to calculate”). That works fine, although it crashes horribly when we want to track two or three things at once. It’s hard to find words that are decently noncommittal about their values but that we aren’t going to confuse with each other.

    So the alphabet works great for this. An individual letter doesn’t suggest any particular number, as long as we pretend ‘O’ and ‘I’ and ‘l’ don’t look like they do. But we also haven’t got any problem telling ‘x’ from ‘y’ unless our handwriting is bad. They’re quick to write and to say aloud, and they don’t require learning to write any new symbols.

    Later, yes, letters do start picking up connotations. And sometimes we need more letters than the Roman alphabet allows. So we import from the Greek alphabet the letters that look different from their Roman analogues. That’s a bit exotic. But at least in a Western-European-based culture they aren’t completely novel. Mathematicians aren’t really trying to make this hard because, after all, they’re the ones who have to deal with the hard parts.

    Bu Fisher’s Mutt and Jeff rerun for the 2nd is another of the basic-mathematics-wrong jokes. But it does get there by throwing out a baffling set of story-problem-starter points. Particularly interesting to me is Jeff’s protest in the first panel that they couldn’t have been doing 60 miles an hour as they hadn’t been out an hour. It’s the sort of protest easy to use as introduction to the ideas of average speed and instantaneous speed and, from that, derivatives.

  • Joseph Nebus 6:00 pm on Tuesday, 17 January, 2017 Permalink | Reply
    Tags: capitals, , , ,   

    48 Altered States 

    I saw this intriguing map produced by Brian Brettschneider.

    He made it on and for Twitter, as best I can determine. I found it from a stray post in Usenet newsgroup soc.history.what-if, dedicated to ways history could have gone otherwise. It also covers ways that it could not possibly have gone otherwise but would be interesting to see happen. Very different United States state boundaries are part of the latter set of things.

    The location of these boundaries is described in English and so comes out a little confusing. It’s hard to make concise. Every point in, say, this alternate Missouri is closer to Missouri’s capital of … uhm … Missouri City than it is to any other state’s capital. And the same for all the other states. All you kind readers who made it through my recent A To Z know a technical term for this. This is a Voronoi Diagram. It uses as its basis points the capitals of the (contiguous) United States.

    It’s an amusing map. I mean amusing to people who can attach concepts like amusement to maps. It’d probably be a good one to use if someone needed to make a Risk-style grand strategy game map and didn’t want to be to beholden to the actual map.

    No state comes out unchanged, although a few don’t come out too bad. Maine is nearly unchanged. Michigan isn’t changed beyond recognition. Florida gets a little weirder but if you showed someone this alternate shape they’d recognize the original. No such luck with alternate Tennessee or alternate Wyoming.

    The connectivity between states changes a little. California and Arizona lose their border. Washington and Montana gain one; similarly, Vermont and Maine suddenly become neighbors. The “Four Corners” spot where Utah, Colorado, New Mexico, and Arizona converge is gone. Two new ones look like they appear, between New Hampshire, Massachusetts, Rhode Island, and Connecticut; and between Pennsylvania, Maryland, Virginia, and West Virginia. I would be stunned if that weren’t just because we can’t zoom far enough in on the map to see they’re actually a pair of nearby three-way junctions.

    I’m impressed by the number of borders that are nearly intact, like those of Missouri or Washington. After all, many actual state boundaries are geographic features like rivers that a Voronoi Diagram doesn’t notice. How could Ohio come out looking anything like Ohio?

    The reason comes to historical subtleties. At least once you get past the original 13 states, basically the east coast of the United States. The boundaries of those states were set by colonial charters, with boundaries set based on little or ambiguous information about what the local terrain was actually like, and drawn to reward or punish court factions and favorites. Never mind the original thirteen (plus Maine and Vermont, which we might as well consider part of the original thirteen).

    After that, though, the United States started drawing state boundaries and had some method to it all. Generally a chunk of territory would be split into territories and later states that would be roughly rectangular, so far as practical, and roughly similar in size to the other states carved of the same area. So for example Missouri and Alabama are roughly similar to Georgia in size and even shape. Louisiana, Arkansas, and Missouri are about equal in north-south span and loosely similar east-to-west. Kansas, Nebraska, South Dakota, and North Dakota aren’t too different in their north-to-south or east-to-west spans.

    There’s exceptions, for reasons tied to the complexities of history. California and Texas get peculiar shapes because they could. Michigan has an upper peninsula for quirky reasons that some friend of mine on Twitter discovers every three weeks or so. But the rough guide is that states look a lot more similar to one another than you’d think from a quick look. Mark Stein’s How The States Got Their Shapes is an endlessly fascinating text explaining this all.

    If there is a loose logic to state boundaries, though, what about state capitals? Those are more quirky. One starts to see the patterns when considering questions like “why put California’s capital in Sacramento instead of, like, San Francisco?” or “Why Saint Joseph instead Saint Louis or Kansas City?” There is no universal guide, but there are some trends. Generally states end up putting their capitals in a city that’s relatively central, at least to the major population centers around the time of statehood. And, generally, not in one of the state’s big commercial or industrial centers. The desire to be geographically central is easy to understand. No fair making citizens trudge that far if they have business in the capital. Avoiding the (pardon) first tier of cities has subtler politics to it; it’s an attempt to get the government somewhere at least a little inconvenient to the money powers.

    There’s exceptions, of course. Boston is the obviously important city in Massachusetts, Salt Lake City the place of interest for Utah, Denver the equivalent for Colorado. Capitals relocated; Atlanta is Georgia’s eighth(?) I think since statehood. Sometimes they were weirder. Until 1854 Rhode Island rotated between five cities, to the surprise of people trying to name a third city in Rhode Island. New Jersey settled on Trenton as compromise between the East and West Jersey capitals of Perth Amboy and Burlington. But if you look for a city that’s fairly central but not the biggest in the state you get to the capital pretty often.

    So these are historical and cultural factors which combine to make a Voronoi Diagram map of the United States strange, but not impossibly strange, compared to what has really happened. Things are rarely so arbitrary as they seem at first.

    • Matthew Wright 6:49 pm on Tuesday, 17 January, 2017 Permalink | Reply

      New Zealand’s provincial borders were devised at much the same time as the midwestern and western US and in much the same way. Some guy with a map that only vaguely showed rivers, and a ruler. Well, when I say ‘some guy’ I mean George Grey, Edward Eyre and their factotum, Alfred Domett among only a handful of others. Early colonial New Zealand was like that. The civil service consisted of about three people (all of them Domett) and because the franchise system meant some voting districts might have as few as 25 electors, anybody had at least a 50/50 chance of becoming Prime Minister.


      • Joseph Nebus 3:45 pm on Saturday, 21 January, 2017 Permalink | Reply

        I am intrigued and delighted to learn this! For all that I do love maps and seeing how borders evolve over time I’m stronger on United States and Canadian province borders; they’re just what was easily available when I grew up. (Well, and European boundaries, but I don’t think there’s a single one of them that’s based on anything more than “this is where the armies stood on V-E Day”.)

        Would you have a recommendation on a pop history of New Zealand for someone who knows only, mostly, that I guess confederation with Australia was mooted in 1900 but refused since the islands are actually closer to the Scilly Isles than they are Canberra for crying out loud?

        Liked by 1 person

    • Matthew Wright 8:43 pm on Saturday, 21 January, 2017 Permalink | Reply

      Europe has had so many boundary changes since Roman times that I wouldn’t be surprised if there’s a tradition for governments to issue people with an eraser and pot of paint to update their maps – and, no question, their history IS the history of those boundary changes. Certainly it explains their wars…

      On matters NZ, I wrote just such a book – it was first published in 2004 and has been through a couple of editions (I updated it in 2012). My publishers, Bateman, put it up on Kindle:

      It’s ‘publisher priced’ but I’d thoroughly recommend it! :-) The parallels between NZ’s settler period and the US ‘midwestern’ expansion through to California at the same time are direct.

      The reasons why NZ never joined Australia in 1900 have been endlessly debated and never answered but probably had something to do with the way NZ was socially re-identifying itself with Britain at the time. The British ignored the whole thing for defence/strategic purposes, deploying just one RN squadron to Sydney as the ‘mid point’ of Australasia. Sydney-siders liked it, but everybody from Perth to Wellington was annoyed. I wrote my thesis on the political outcome, way back when.


      • Joseph Nebus 6:19 am on Saturday, 28 January, 2017 Permalink | Reply

        Aw, thank you kindly! I’d thought you might have something suitable.

        The organizing of territory that white folks told themselves was unsettled is a process I find interesting, I suppose because I’ve always wondered about how one goes about establishing systems. I think it’s similar to my interest in how nations devastated by wars get stuff like trash collection and fire departments and regional power systems running again. The legal system for at least how the United States organized territory is made clear enough in public schools (at least to students who pay attention, like me), but it isn’t easy to find the parallel processes in other countries. Now and then I try reading about Canada and how two of every seven sections of land in (now) Quebec and Ontario was reserved to the church and then I pass out and by the time I wake up again they’re making infrastructure promises to Prince Edward Island.

        I’m not surprised that from the British side of things the organization of New Zealand and Australia amounted to a bit of afterthought and trusting things would work out all right. I have read a fair bit (for an American) about the British Empire and it does feel like all that was ever thought about was India and the route to India and an ever-widening corridor of imagined weak spots on the route to India. The rest of the world was, pick some spot they had already, declare it “the Gibraltar of [ Geographic Region ]” and suppose there’d be a ship they could send there if they really had to.


  • Joseph Nebus 6:00 pm on Sunday, 8 January, 2017 Permalink | Reply
    Tags: , , Birdbrains, , Elderberries, Grand Avenue, , Pot Shots, ,   

    Reading the Comics, January 7, 2016: Just Before GoComics Breaks Everything Edition 

    Most of the comics I review here are printed on GoComics.com. Well, most of the comics I read online are from there. But even so I think they have more comic strips that mention mathematical themes. Anyway, they’re unleashing a complete web site redesign on Monday. I don’t know just what the final version will look like. I know that the beta versions included the incredibly useful, that is to say dumb, feature where if a particular comic you do read doesn’t have an update for the day — and many of them don’t, as they’re weekly or three-times-a-week or so — then it’ll show some other comic in its place. I mean, the idea of encouraging people to find new comics is a good one. To some extent that’s what I do here. But the beta made no distinction between “comic you don’t read because you never heard of Microcosm” and “comic you don’t read because glancing at it makes your eyes bleed”. And on an idiosyncratic note, I read a lot of comics. I don’t need to see Dude and Dude reruns in fourteen spots on my daily comics page, even if I didn’t mind it to start.

    Anyway. I am hoping, desperately hoping, that with the new site all my old links to comics are going to keep working. If they don’t then I suppose I’m just ruined. We’ll see. My suggestion is if you’re at all curious about the comics you read them today (Sunday) just to be safe.

    Ashleigh Brilliant’s Pot-Shots is a curious little strip I never knew of until GoComics picked it up a few years ago. Its format is compellingly simple: a little illustration alongside a wry, often despairing, caption. I love it, but I also understand why was the subject of endless queries to the Detroit Free Press (Or Whatever) about why was this thing taking up newspaper space. The strip rerun the 31st of December is a typical example of the strip and amuses me at least. And it uses arithmetic as the way to communicate reasoning, both good and bad. Brilliant’s joke does address something that logicians have to face, too. Whether an argument is logically valid depends entirely on its structure. If the form is correct the reasoning may be excellent. But to be sound an argument has to be correct and must also have its assumptions be true. We can separate whether an argument is right from whether it could ever possibly be right. If you don’t see the value in that, you have never participated in an online debate about where James T Kirk was born and whether Spock was the first Vulcan in Star Fleet.

    Thom Bluemel’s Birdbrains for the 2nd of January, 2017, is a loaded-dice joke. Is this truly mathematics? Statistics, at least? Close enough for the start of the year, I suppose. Working out whether a die is loaded is one of the things any gambler would like to know, and that mathematicians might be called upon to identify or exploit. (I had a grandmother unshakably convinced that I would have some natural ability to beat the Atlantic City casinos if she could only sneak the underaged me in. I doubt I could do anything of value there besides see the stage magic show.)

    Jack Pullan’s Boomerangs rerun for the 2nd is built on the one bit of statistical mechanics that everybody knows, that something or other about entropy always increasing. It’s not a quantum mechanics rule, but it’s a natural confusion. Quantum mechanics has the reputation as the source of all the most solid, irrefutable laws of the universe’s working. Statistical mechanics and thermodynamics have this musty odor of 19th-century steam engines, no matter how much there is to learn from there. Anyway, the collapse of systems into disorder is not an irrevocable thing. It takes only energy or luck to overcome disorderliness. And in many cases we can substitute time for luck.

    Scott Hilburn’s The Argyle Sweater for the 3rd is the anthropomorphic-geometry-figure joke that’s I’ve been waiting for. I had thought Hilburn did this all the time, although a quick review of Reading the Comics posts suggests he’s been more about anthropomorphic numerals the past year. This is why I log even the boring strips: you never know when I’ll need to check the last time Scott Hilburn used “acute” to mean “cute” in reference to triangles.

    Mike Thompson’s Grand Avenue uses some arithmetic as the visual cue for “any old kind of schoolwork, really”. Steve Breen’s name seems to have gone entirely from the comic strip. On Usenet group rec.arts.comics.strips Brian Henke found that Breen’s name hasn’t actually been on the comic strip since May, and D D Degg found a July 2014 interview indicating Thompson had mostly taken the strip over from originator Breen.

    Mark Anderson’s Andertoons for the 5th is another name-drop that doesn’t have any real mathematics content. But come on, we’re talking Andertoons here. If I skipped it the world might end or something untoward like that.

    'Now for my math homework. I've got a comfortable chair, a good light, plenty of paper, a sharp pencil, a new eraser, and a terrific urge to go out and play some ball.'

    Ted Shearer’s Quincy for the 14th of November, 1977, and reprinted the 7th of January, 2017. I kind of remember having a lamp like that. I don’t remember ever sitting down to do my mathematics homework with a paintbrush.

    Ted Shearer’s Quincy for the 14th of November, 1977, doesn’t have any mathematical content really. Just a mention. But I need some kind of visual appeal for this essay and Shearer is usually good for that.

    Corey Pandolph, Phil Frank, and Joe Troise’s The Elderberries rerun for the 7th is also a very marginal mention. But, what the heck, it’s got some of your standard wordplay about angles and it’ll get this week’s essay that much closer to 800 words.

  • Joseph Nebus 6:00 pm on Sunday, 1 January, 2017 Permalink | Reply
    Tags: , , Bad Machinery, Buni, Daily Drawing, , Madeline L'Engle, , , , Speechless, Wrong Hands   

    Reading the Comics, December 30, 2016: New Year’s Eve Week Edition 

    So last week, for schedule reasons, I skipped the Christmas Eve strips and promised to get to them this week. There weren’t any Christmas Eve mathematically-themed comic strips. Figures. This week, I need to skip New Year’s Eve comic strips for similar schedule reasons. If there are any, I’ll talk about them next week.

    Lorie Ransom’s The Daily Drawing for the 28th is a geometry wordplay joke for this installment. Two of them, when you read the caption.

    John Graziano’s Ripley’s Believe It or Not for the 28th presents the quite believable claim that Professor Dwight Barkley created a formula to estimate how long it takes a child to ask “are we there yet?” I am skeptical the equation given means all that much. But it’s normal mathematician-type behavior to try modelling stuff. That will usually start with thinking of what one wants to represent, and what things about it could be measured, and how one expects these things might affect one another. There’s usually several plausible-sounding models and one has to select the one or ones that seem likely to be interesting. They have to be simple enough to calculate, but still interesting. They need to have consequences that aren’t obvious. And then there’s the challenge of validating the model. Does its description match the thing we’re interested in well enough to be useful? Or at least instructive?

    Len Borozinski’s Speechless for the 28th name-drops Albert Einstein and the theory of relativity. Marginal mathematical content, but it’s a slow week.

    John Allison’s Bad Machinery for the 29th mentions higher dimensions. More dimensions. In particular it names ‘ana’ and ‘kata’ as “the weird extra dimensions”. Ana and kata are a pair of directions coined by the mathematician Charles Howard Hinton to give us a way of talking about directions in hyperspace. They echo the up/down, left/right, in/out pairs. I don’t know that any mathematicians besides Rudy Rucker actually use these words, though, and that in his science fiction. I may not read enough four-dimensional geometry to know the working lingo. Hinton also coined the “tesseract”, which has escaped from being a mathematician’s specialist term into something normal people might recognize. Mostly because of Madeline L’Engle, I suppose, but that counts.

    Samson’s Dark Side of the Horse for the 29th is Dark Side of the Horse‘s entry this essay. It’s a fun bit of play on counting, especially as a way to get to sleep.

    John Graziano’s Ripley’s Believe It or Not for the 29th mentions a little numbers and numerals project. Or at least representations of numbers. Finding other orders for numbers can be fun, and it’s a nice little pastime. I don’t know there’s an important point to this sort of project. But it can be fun to accomplish. Beautiful, even.

    Mark Anderson’s Andertoons for the 30th relieves us by having a Mark Anderson strip for this essay. And makes for a good Roman numerals gag.

    Ryan Pagelow’s Buni for the 30th can be counted as an anthropomorphic-numerals joke. I know it’s more of a “ugh 2016 was the worst year” joke, but it parses either way.

    John Atkinson’s Wrong Hands for the 30th is an Albert Einstein joke. It’s cute as it is, though.

  • Joseph Nebus 6:00 pm on Thursday, 29 December, 2016 Permalink | Reply
    Tags: , China, , , , , Mersenne numbers, , ,   

    The End 2016 Mathematics A To Z: Yang Hui’s Triangle 

    Today’s is another request from gaurish and another I’m glad to have as it let me learn things too. That’s a particularly fun kind of essay to have here.

    Yang Hui’s Triangle.

    It’s a triangle. Not because we’re interested in triangles, but because it’s a particularly good way to organize what we’re doing and show why we do that. We’re making an arrangement of numbers. First we need cells to put the numbers in.

    Start with a single cell in what’ll be the top middle of the triangle. It spreads out in rows beneath that. The rows are staggered. The second row has two cells, each one-half width to the side of the starting one. The third row has three cells, each one-half width to the sides of the row above, so that its center cell is directly under the original one. The fourth row has four cells, two of which are exactly underneath the cells of the second row. The fifth row has five cells, three of them directly underneath the third row’s cells. And so on. You know the pattern. It’s the one that pins in a plinko board take. Just trimmed down to a triangle. Make as many rows as you find interesting. You can always add more later.

    In the top cell goes the number ‘1’. There’s also a ‘1’ in the leftmost cell of each row, and a ‘1’ in the rightmost cell of each row.

    What of interior cells? The number for those we work out by looking to the row above. Take the cells to the immediate left and right of it. Add the values of those together. So for example the center cell in the third row will be ‘1’ plus ‘1’, commonly regarded as ‘2’. In the third row the leftmost cell is ‘1’; it always is. The next cell over will be ‘1’ plus ‘2’, from the row above. That’s ‘3’. The cell next to that will be ‘2’ plus ‘1’, a subtly different ‘3’. And the last cell in the row is ‘1’ because it always is. In the fourth row we get, starting from the left, ‘1’, ‘4’, ‘6’, ‘4’, and ‘1’. And so on.

    It’s a neat little arithmetic project. It has useful application beyond the joy of making something neat. Many neat little arithmetic projects don’t have that. But the numbers in each row give us binomial coefficients, which we often want to know. That is, if we wanted to work out (a + b) to, say, the third power, we would know what it looks like from looking at the fourth row of Yanghui’s Triangle. It will be 1\cdot a^4 + 4\cdot a^3 \cdot b^1 + 6\cdot a^2\cdot b^2 + 4\cdot a^1\cdot b^3 + 1\cdot b^4 . This turns up in polynomials all the time.

    Look at diagonals. By diagonal here I mean a line parallel to the line of ‘1’s. Left side or right side; it doesn’t matter. Yang Hui’s triangle is bilaterally symmetric around its center. The first diagonal under the edges is a bit boring but familiar enough: 1-2-3-4-5-6-7-et cetera. The second diagonal is more curious: 1-3-6-10-15-21-28 and so on. You’ve seen those numbers before. They’re called the triangular numbers. They’re the number of dots you need to make a uniformly spaced, staggered-row triangle. Doodle a bit and you’ll see. Or play with coins or pool balls.

    The third diagonal looks more arbitrary yet: 1-4-10-20-35-56-84 and on. But these are something too. They’re the tetrahedronal numbers. They’re the number of things you need to make a tetrahedron. Try it out with a couple of balls. Oranges if you’re bored at the grocer’s. Four, ten, twenty, these make a nice stack. The fourth diagonal is a bunch of numbers I never paid attention to before. 1-5-15-35-70-126-210 and so on. This is — well. We just did tetrahedrons, the triangular arrangement of three-dimensional balls. Before that we did triangles, the triangular arrangement of two-dimensional discs. Do you want to put in a guess what these “pentatope numbers” are about? Sure, but you hardly need to. If we’ve got a bunch of four-dimensional hyperspheres and want to stack them in a neat triangular pile we need one, or five, or fifteen, or so on to make the pile come out neat. You can guess what might be in the fifth diagonal. I don’t want to think too hard about making triangular heaps of five-dimensional hyperspheres.

    There’s more stuff lurking in here, waiting to be decoded. Add the numbers of, say, row four up and you get two raised to the third power. Add the numbers of row ten up and you get two raised to the ninth power. You see the pattern. Add everything in, say, the top five rows together and you get the fifth Mersenne number, two raised to the fifth power (32) minus one (31, when we’re done). Add everything in the top ten rows together and you get the tenth Mersenne number, two raised to the tenth power (1024) minus one (1023).

    Or add together things on “shallow diagonals”. Start from a ‘1’ on the outer edge. I’m going to suppose you started on the left edge, but remember symmetry; it’ll be fine if you go from the right instead. Add to that ‘1’ the number you get by moving one cell to the right and going up-and-right. And then again, go one cell to the right and then one cell up-and-right. And again and again, until you run out of cells. You get the Fibonacci sequence, 1-1-2-3-5-8-13-21-and so on.

    We can even make an astounding picture from this. Take the cells of Yang Hui’s triangle. Color them in. One shade if the cell has an odd number, another if the cell has an even number. It will create a pattern we know as the Sierpiński Triangle. (Wacław Sierpiński is proving to be the surprise special guest star in many of this A To Z sequence’s essays.) That’s the fractal of a triangle subdivided into four triangles with the center one knocked out, and the remaining triangles them subdivided into four triangles with the center knocked out, and on and on.

    By now I imagine even my most skeptical readers agree this is an interesting, useful mathematical construct. Also that they’re wondering why I haven’t said the name “Blaise Pascal”. The Western mathematical tradition knows of this from Pascal’s work, particularly his 1653 Traité du triangle arithmétique. But mathematicians like to say their work is universal, and independent of the mere human beings who find it. Constructions like this triangle give support to this. Yang lived in China, in the 12th century. I imagine it possible Pascal had hard of his work or been influenced by it, by some chain, but I know of no evidence that he did.

    And even if he had, there are other apparently independent inventions. The Avanti Indian astronomer-mathematician-astrologer Varāhamihira described the addition rule which makes the triangle work in commentaries written around the year 500. Omar Khayyám, who keeps appearing in the history of science and mathematics, wrote about the triangle in his 1070 Treatise on Demonstration of Problems of Algebra. Again so far as I am aware there’s not a direct link between any of these discoveries. They are things different people in different traditions found because the tools — arithmetic and aesthetically-pleasing orders of things — were ready for them.

    Yang Hui wrote about his triangle in the 1261 book Xiangjie Jiuzhang Suanfa. In it he credits the use of the triangle (for finding roots) was invented around 1100 by mathematician Jia Xian. This reminds us that it is not merely mathematical discoveries that are found by many peoples at many times and places. So is Boyer’s Law, discovered by Hubert Kennedy.

    • gaurish 6:46 pm on Thursday, 29 December, 2016 Permalink | Reply

      This is first time that I have read an article about Pascal triangle without a picture of it in front of me and could still imagine it in my mind. :)


      • Joseph Nebus 5:22 am on Thursday, 5 January, 2017 Permalink | Reply

        Thank you; I’m glad you like it. I did spend a good bit of time before writing the essay thinking about why it is a triangle that we use for this figure, and that helped me think about how things are organized and why. (The one thing I didn’t get into was identifying the top row, the single cell, as row zero. Computers may index things starting from zero and there may be fair reasons to do it, but that is always going to be a weird choice for humans.)

        Liked by 1 person

  • Joseph Nebus 6:00 pm on Sunday, 18 December, 2016 Permalink | Reply
    Tags: , dinosaurs,   

    Reading the Comics, December 17, 2016: Sleepy Week Edition 

    Comic Strip Master Command sent me a slow week in mathematical comics. I suppose they knew I was on somehow a busier schedule than usual and couldn’t spend all the time I wanted just writing. I appreciate that but don’t want to see another of those weeks when nothing qualifies. Just a warning there.

    'Dadburnit! I ain't never gonna git geometry!' 'Bah! Don't fret, Jughaid --- I never understood it neither! But I still manage to work all th' angles!'

    John Rose’s Barney Google and Snuffy Smith for the 12th of December, 2016. I appreciate the desire to pay attention to continuity that makes Rose draw in the coffee cup both panels, but Snuffy Smith has to swap it from one hand to the other to keep it in view there. Not implausible, just kind of busy. Also I can’t fault Jughaid for looking at two pages full of unillustrated text and feeling lost. That’s some Bourbaki-grade geometry going on there.

    John Rose’s Barney Google and Snuffy Smith for the 12th is a bit of mathematical wordplay. It does use geometry as the “hard mathematics we don’t know how to do”. That’s a change from the usual algebra. And that’s odd considering the joke depends on an idiom that is actually used by real people.

    Patrick Roberts’s Todd the Dinosaur for the 12th uses mathematics as the classic impossibly hard subject a seven-year-old can’t be expected to understand. The worry about fractions seems age-appropriate. I don’t know whether it’s fashionable to give elementary school students experience thinking of ‘x’ and ‘y’ as numbers. I remember that as a time when we’d get a square or circle and try to figure what number fits in the gap. It wasn’t a 0 or a square often enough.

    'Teacher! Todd just passed out! But he's waring one of those medic alert bracelets! ... Do not expose the wearer of this bracelet to anything mathematical, especially x's and y's, fractions, or anything that he should remember for a test!' 'Amazing how much writing they were able to fit on a little ol' T-Rex wrist!'

    Patrick Roberts’s Todd the Dinosaur for the 12th of December, 2016. Granting that Todd’s a kid dinosaur and that T-Rexes are not renowned for the hugeness of their arms, wouldn’t that still be enough space for a lot of text to fit around? I would have thought so anyway. I feel like I’m pluralizing ‘T-Rex’ wrong, but what would possibly be right? ‘Ts-rex’? Don’t make me try to spell tyrannosaurus.

    Jef Mallett’s Frazz for the 12th uses one of those great questions I think every child has. And it uses it to question how we can learn things from statistical study. This is circling around the “Bayesian” interpretation of probability, of what odds mean. It’s a big idea and I’m not sure I’m competent to explain it. It amounts to asking what explanations would be plausibly consistent with observations. As we get more data we may be able to rule some cases in or out. It can be unsettling. It demands we accept right up front that we may be wrong. But it lets us find reasonably clean conclusions out of the confusing and muddy world of actual data.

    Sam Hepburn’s Questionable Quotebook for the 14th illustrates an old observation about the hypnotic power of decimal points. I think Hepburn’s gone overboard in this, though: six digits past the decimal in this percentage is too many. It draws attention to the fakeness of the number. One, two, maybe three digits past the decimal would have a more authentic ring to them. I had thought the John Allen Paulos tweet above was about this comic, but it’s mere coincidence. Funny how that happens.

  • Joseph Nebus 6:00 pm on Sunday, 11 December, 2016 Permalink | Reply
    Tags: , , , pranks, , titles   

    Reading the Comics, December 5, 2016: Cameo Appearances Edition 

    Comic Strip Master Command sent a bunch of strips my way this past week. They’ll get out to your way over this week. The first bunch are all on Gocomics.com, so I don’t feel quite fair including the strips themselves. This set also happens to be a bunch in which mathematics gets a passing mention, or is just used because they need some subject and mathematics is easy to draw into a joke. That’s all right.

    Jef Mallet’s Frazz for the 4th uses blackboard arithmetic and the iconic minor error of arithmetic. It’s also strikingly well-composed; look at the art from a little farther away. Forgetting to carry the one is maybe a perfect minor error for this sort of thing. Everyone does it, experienced mathematicians included. It’s very gradable. When someone’s learning arithmetic making this mistake is considered evidence that someone doesn’t know how to add. When someone’s learned it, making the mistake isn’t considered evidence the person doesn’t know how to add. A lot of mistakes work that way, somehow.

    Rick Stromoski’s Soup to Nutz for the 4th name-drops Fundamentals of Algebra as a devilish, ban-worthy book. Everyone feels that way. Mathematics majors get that way around two months in to their Introduction To Not That Kind Of Algebra course too. I doubt Stromoski has any particular algebra book in mind, but it doesn’t matter. The convention in mathematics books is to make titles that are ruthlessly descriptive, with not a touch of poetry to them. Among the mathematics books I have on my nearest shelf are Resnikoff and Wells’s Mathematics in Civilization; Koks’ Explorations in Mathematical Physics: The Concepts Behind An Elegant Language; Enderton’s A Mathematical Introduction To Logic; Courant, Robbins, and Stewart’s What Is Mathematics?; Murasagi’s Knot Theory And Its Applications; Nishimori’s Statistical Physics of Spin Glasses and Information Processing; Brush’s The Kind Of Motion We Call Heat, and so on. Only the Brush title has the slightest poetry to it, and it’s a history (of thermodynamics and statistical mechanics). The Courant/Robbins/Stewart has a title you could imagine on a bookstore shelf, but it’s also in part a popularization.

    It’s the convention, and it’s all right in its domain. If you are deep in the library stacks and don’t know what a books is about, the spine will tell you what the subject is. You might not know what level or depth the book is in, but you’ll know what the book is. The down side is if you remember having liked a book but not who wrote it you’re lost. Methods of Functional Analysis? Techniques in Modern Functional Analysis? … You could probably make a bingo game out of mathematics titles.

    Johnny Hart’s Back to B.C. for the 5th, a rerun from 1959, plays on the dawn of mathematics and the first thoughts of parallel lines. If parallel lines stir feelings in people they’re complicated feelings. One’s either awed at the resolute and reliable nature of the lines’ interaction, or is heartbroken that the things will never come together (or, I suppose, break apart). I can feel both sides of it.

    Dave Blazek’s Loose Parts for the 5th features the arithmetic blackboard as inspiration for a prank. It’s the sort of thing harder to do with someone’s notes for an English essay. But, to spoil the fun, I have to say in my experience something fiddled with in the middle of a board wouldn’t even register. In much the way people will read over typos, their minds seeing what should be there instead of what is, a minor mathematical error will often not be seen. The mathematician will carry on with what she thought should be there. Especially if the error is a few lines back of the latest work. Not always, though, and when it doesn’t it’s a heck of a problem. (And here I am thinking of the week, the week, I once spent stymied by a problem because I was differentiating the function ex wrong. The hilarious thing here is it is impossible to find something easier to differentiate than ex. After you differentiate it correctly you get ex. An advanced squirrel could do it right, and here I was in grad school doing it wrong.)

    Nate Creekmore’s Maintaining for the 5th has mathematics appear as the sort of homework one does. And a word problem that uses coins for whatever work it does. Coins should be good bases for word problems. They’re familiar enough and people do think about them, and if all else fails someone could in principle get enough dimes and quarters and just work it out by hand.

    Sam Hepburn’s Questionable Quotebook for the 5th uses a blackboard full of mathematics to signify a monkey’s extreme intelligence. There’s a little bit of calculus in there, an appearance of “\frac{df}{dx} ” and a mention of the limit. These are things you get right up front of a calculus course. They’ll turn up in all sorts of problems you try to do.

    Charles Schulz’s Peanuts for the 5th is not really about mathematics. Peppermint Patty just mentions it on the way to explaining the depths of her not-understanding stuff. But it’s always been one of my favorite declarations of not knowing what’s going on so I do want to share it. The strip originally ran the 8th of December, 1969.

  • Joseph Nebus 6:00 pm on Wednesday, 7 December, 2016 Permalink | Reply
    Tags: , , , inverse functions, principal values,   

    The End 2016 Mathematics A To Z: Principal 

    Functions. They’re at the center of so much mathematics. They have three pieces: a domain, a range, and a rule. The one thing functions absolutely must do is match stuff in the domain to one and only one thing in the range. So this is where it gets tricky.


    Thing with this one-and-only-one thing in the range is it’s not always practical. Sometimes it only makes sense to allow for something in the domain to match several things in the range. For example, suppose we have the domain of positive numbers. And we want a function that gives us the numbers which, squared, are whatever the original function was. For any positive real number there’s two numbers that do that. 4 should match to both +2 and -2.

    You might ask why I want a function that tells me the numbers which, squared, equal something. I ask back, what business is that of yours? I want a function that does this and shouldn’t that be enough? We’re getting off to a bad start here. I’m sorry; I’ve been running ragged the last few days. I blame the flat tire on my car.

    Anyway. I’d want something like that function because I’m looking for what state of things makes some other thing true. This turns up often in “inverse problems”, problems in which we know what some measurement is and want to know what caused the measurement. We do that sort of problem all the time.

    We can handle these multi-valued functions. Of course we can. Mathematicians are as good at loopholes as anyone else is. Formally we declare that the range isn’t the real numbers but rather sets of real numbers. My what-number-squared function then matches ‘4’ in the domain to the set of numbers ‘+2 and -2’. The set has several things in it, but there’s just the one set. Clever, huh?

    This sort of thing turns up a lot. There’s two numbers that, squared, give us any real number (except zero). There’s three numbers that, squared, give us any real number (again except zero). Polynomials might have a whole bunch of numbers that make some equation true. Trig functions are worse. The tangent of 45 degrees equals 1. So is the tangent of 225 degrees. Also 405 degrees. Also -45 degrees. Also -585 degrees. OK, a mathematician would use radians instead of degrees, but that just changes what the numbers are. Not that there’s infinitely many of them.

    It’s nice to have options. We don’t always want options. Sometimes we just want one blasted simple answer to things. It’s coded into the language. We say “the square root of four”. We speak of “the arctangent of 1”, which is to say, “the angle with tangent of 1”. We only say “all square roots of four” if we’re making a point about overlooking options.

    If we’ve got a set of things, then we can pick out one of them. This is obvious, which means it is so very hard to prove. We just have to assume we can. Go ahead; assume we can. Our pick of the one thing out of this set is the “principal”. It’s not any more inherently right than the other possibilities. It’s just the one we choose to grab first.

    So. The principal square root of four is positive two. The principal arctangent of 1 is 45 degrees, or in the dialect of mathematicians π divided by four. We pick these values over other possibilities because they’re nice. What makes them nice? Well, they’re nice. Um. Most of their numbers aren’t that big. They use positive numbers if we have a choice in the matter. Deep down we still suspect negative numbers of being up to something.

    If nobody says otherwise then the principal square root is the positive one, or the one with a positive number in front of the imaginary part. If nobody says otherwise the principal arcsine is between -90 and +90 degrees (-π/2 and π/2). The principal arccosine is between 0 and 180 degrees (0 and π), unless someone says otherwise. The principal arctangent is … between -90 and 90 degrees, unless it’s between 0 and 180 degrees. You can count on the 0 to 90 part. Use your best judgement and roll with whatever develops for the other half of the range there. There’s not one answer that’s right for every possible case. The point of a principal value is to pick out one answer that’s usually a good starting point.

    When you stare at what it means to be a function you realize that there’s a difference between the original function and the one that returns the principal value. The original function has a range that’s “sets of values”. The principal-value version has a range that’s just one value. If you’re being kind to your audience you make some note of that. Usually we note this by capitalizing the start of the function: “arcsin z” gives way to “Arcsin z”. “Log z” would be the principal-value version of “log z”. When you start pondering logarithms for negative numbers or for complex-valued numbers you get multiple values. It’s the same way that the arcsine function does.

    And it’s good to warn your audience which principal value you mean, especially for the arc-trigonometric-functions or logarithms. (I’ve never seen someone break the square root convention.) The principal value is about picking the most obvious and easy-to-work-with value out of a set of them. It’s just impossible to get everyone to agree on what the obvious is.

  • Joseph Nebus 6:00 pm on Monday, 5 December, 2016 Permalink | Reply
    Tags: , , , , Daffy Duck, , , , ,   

    The End 2016 Mathematics A To Z: Osculating Circle 

    I’m happy to say it’s another request today. This one’s from HowardAt58, author of the Saving School Math blog. He’s given me some great inspiration in the past.

    Osculating Circle.

    It’s right there in the name. Osculating. You know what that is from that one Daffy Duck cartoon where he cries out “Greetings, Gate, let’s osculate” while wearing a moustache. Daffy’s imitating somebody there, but goodness knows who. Someday the mystery drives the young you to a dictionary web site. Osculate means kiss. This doesn’t seem to explain the scene. Daffy was imitating Jerry Colonna. That meant something in 1943. You can find him on old-time radio recordings. I think he’s funny, in that 40s style.

    Make the substitution. A kissing circle. Suppose it’s not some playground antic one level up from the Kissing Bandit that plagues recess yet one or two levels down what we imagine we’d do in high school. It suggests a circle that comes really close to something, that touches it a moment, and then goes off its own way.

    But then touching. We know another word for that. It’s the root behind “tangent”. Tangent is a trigonometry term. But it appears in calculus too. The tangent line is a line that touches a curve at one specific point and is going in the same direction as the original curve is at that point. We like this because … well, we do. The tangent line is a good approximation of the original curve, at least at the tangent point and for some region local to that. The tangent touches the original curve, and maybe it does something else later on. What could kissing be?

    The osculating circle is about approximating an interesting thing with a well-behaved thing. So are similar things with names like “osculating curve” or “osculating sphere”. We need that a lot. Interesting things are complicated. Well-behaved things are understood. We move from what we understand to what we would like to know, often, by an approximation. This is why we have tangent lines. This is why we build polynomials that approximate an interesting function. They share the original function’s value, and its derivative’s value. A polynomial approximation can share many derivatives. If the function is nice enough, and the polynomial big enough, it can be impossible to tell the difference between the polynomial and the original function.

    The osculating circle, or sphere, isn’t so concerned with matching derivatives. I know, I’m as shocked as you are. Well, it matches the first and the second derivatives of the original curve. Anything past that, though, it matches only by luck. The osculating circle is instead about matching the curvature of the original curve. The curvature is what you think it would be: it’s how much a function curves. If you imagine looking closely at the original curve and an osculating circle they appear to be two arcs that come together. They must touch at one point. They might touch at others, but that’s incidental.

    Osculating circles, and osculating spheres, sneak out of mathematics and into practical work. This is because we often want to work with things that are almost circles. The surface of the Earth, for example, is not a sphere. But it’s only a tiny bit off. It’s off in ways that you only notice if you are doing high-precision mapping. Or taking close measurements of things in the sky. Sometimes we do this. So we map the Earth locally as if it were a perfect sphere, with curvature exactly what its curvature is at our observation post.

    Or we might be observing something moving in orbit. If the universe had only two things in it, and they were the correct two things, all orbits would be simple: they would be ellipses. They would have to be “point masses”, things that have mass without any volume. They never are. They’re always shapes. Spheres would be fine, but they’re never perfect spheres even. The slight difference between a perfect sphere and whatever the things really are affects the orbit. Or the other things in the universe tug on the orbiting things. Or the thing orbiting makes a course correction. All these things make little changes in the orbiting thing’s orbit. The actual orbit of the thing is a complicated curve. The orbit we could calculate is an osculating — well, an osculating ellipse, rather than an osculating circle. Similar idea, though. Call it an osculating orbit if you’d rather.

    That osculating circles have practical uses doesn’t mean they aren’t respectable mathematics. I’ll concede they’re not used as much as polynomials or sine curves are. I suppose that’s because polynomials and sine curves have nicer derivatives than circles do. But osculating circles do turn up as ways to try solving nonlinear differential equations. We need the help. Linear differential equations anyone can solve. Nonlinear differential equations are pretty much impossible. They also turn up in signal processing, as ways to find the frequencies of a signal from a sampling of data. This, too, we would like to know.

    We get the name “osculating circle” from Gottfried Wilhelm Leibniz. This might not surprise. Finding easy-to-understand shapes that approximate interesting shapes is why we have calculus. Isaac Newton described a way of making them in the Principia Mathematica. This also might not surprise. Of course they would on this subject come so close together without kissing.

  • Joseph Nebus 6:00 pm on Wednesday, 30 November, 2016 Permalink | Reply
    Tags: , , , , , , , , Monster Group, , ,   

    The End 2016 Mathematics A To Z: Monster Group 

    Today’s is one of my requested mathematics terms. This one comes to us from group theory, by way of Gaurish, and as ever I’m thankful for the prompt.

    Monster Group.

    It’s hard to learn from an example. Examples are great, and I wouldn’t try teaching anything subtle without one. Might not even try teaching the obvious without one. But a single example is dangerous. The learner has trouble telling what parts of the example are the general lesson to learn and what parts are just things that happen to be true for that case. Having several examples, of different kinds of things, saves the student. The thing in common to many different examples is the thing to retain.

    The mathematics major learns group theory in Introduction To Not That Kind Of Algebra, MAT 351. A group extracts the barest essence of arithmetic: a bunch of things and the ability to add them together. So what’s an example? … Well, the integers do nicely. What’s another example? … Well, the integers modulo two, where the only things are 0 and 1 and we know 1 + 1 equals 0. What’s another example? … The integers modulo three, where the only things are 0 and 1 and 2 and we know 1 + 2 equals 0. How about another? … The integers modulo four? Modulo five?

    All true. All, also, basically the same thing. The whole set of integers, or of real numbers, are different. But as finite groups, the integers modulo anything are nice easy to understand groups. They’re known as Cyclic Groups for reasons I’ll explain if asked. But all the Cyclic Groups are kind of the same.

    So how about another example? And here we get some good ones. There’s the Permutation Groups. These are fun. You start off with a set of things. You can label them anything you like, but you’re daft if you don’t label them the counting numbers. So, say, the set of things 1, 2, 3, 4, 5. Start with them in that order. A permutation is the swapping of any pair of those things. So swapping, say, the second and fifth things to get the list 1, 5, 3, 4, 2. The collection of all the swaps you can make is the Permutation Group on this set of things. The things in the group are not 1, 2, 3, 4, 5. The things in the permutation group are “swap the second and fifth thing” or “swap the third and first thing” or “swap the fourth and the third thing”. You maybe feel uneasy about this. That’s all right. I suggest playing with this until you feel comfortable because it is a lot of fun to play with. Playing in this case mean writing out all the ways you can swap stuff, which you can always do as a string of swaps of exactly two things.

    (Some people may remember an episode of Futurama that involved a brain-swapping machine. Or a body-swapping machine, if you prefer. The gimmick of the episode is that two people could only swap bodies/brains exactly one time. The problem was how to get everybody back in their correct bodies. It turns out to be possible to do, and one of the show’s writers did write a proof of it. It’s shown on-screen for a moment. Many fans were awestruck by an episode of the show inspiring a Mathematical Theorem. They’re overestimating how rare theorems are. But it is fun when real mathematics gets done as a side effect of telling a good joke. Anyway, the theorem fits well in group theory and the study of these permutation groups.)

    So the student wanting examples of groups can get the Permutation Group on three elements. Or the Permutation Group on four elements. The Permutation Group on five elements. … You kind of see, this is certainly different from those Cyclic Groups. But they’re all kind of like each other.

    An “Alternating Group” is one where all the elements in it are an even number of permutations. So, “swap the second and fifth things” would not be in an alternating group. But “swap the second and fifth things, and swap the fourth and second things” would be. And so the student needing examples can look at the Alternating Group on two elements. Or the Alternating Group on three elements. The Alternating Group on four elements. And so on. It’s slightly different from the Permutation Group. It’s certainly different from the Cyclic Group. But still, if you’ve mastered the Alternating Group on five elements you aren’t going to see the Alternating Group on six elements as all that different.

    Cyclic Groups and Alternating Groups have some stuff in common. Permutation Groups not so much and I’m going to leave them in the above paragraph, waving, since they got me to the Alternating Groups I wanted.

    One is that they’re finite. At least they can be. I like finite groups. I imagine students like them too. It’s nice having a mathematical thing you can write out in full and know you aren’t missing anything.

    The second thing is that they are, or they can be, “simple groups”. That’s … a challenge to explain. This has to do with the structure of the group and the kinds of subgroup you can extract from it. It’s very very loosely and figuratively and do not try to pass this off at your thesis defense kind of like being a prime number. In fact, Cyclic Groups for a prime number of elements are simple groups. So are Alternating Groups on five or more elements.

    So we get to wondering: what are the finite simple groups? Turns out they come in four main families. One family is the Cyclic Groups for a prime number of things. One family is the Alternating Groups on five or more things. One family is this collection called the Chevalley Groups. Those are mostly things about projections: the ways to map one set of coordinates into another. We don’t talk about them much in Introduction To Not That Kind Of Algebra. They’re too deep into Geometry for people learning Algebra. The last family is this collection called the Twisted Chevalley Groups, or the Steinberg Groups. And they .. uhm. Well, I never got far enough into Geometry I’m Guessing to understand what they’re for. I’m certain they’re quite useful to people working in the field of order-three automorphisms of the whatever exactly D4 is.

    And that’s it. That’s all the families there are. If it’s a finite simple group then it’s one of these. … Unless it isn’t.

    Because there are a couple of stragglers. There are a few finite simple groups that don’t fit in any of the four big families. And it really is only a few. I would have expected an infinite number of weird little cases that don’t belong to a family that looks similar. Instead, there are 26. (27 if you decide a particular one of the Steinberg Groups doesn’t really belong in that family. I’m not familiar enough with the case to have an opinion.) Funny number to have turn up. It took ten thousand pages to prove there were just the 26 special cases. I haven’t read them all. (I haven’t read any of the pages. But my Algebra professors at Rutgers were proud to mention their department’s work in tracking down all these cases.)

    Some of these cases have some resemblance to one another. But not enough to see them as a family the way the Cyclic Groups are. We bundle all these together in a wastebasket taxon called “the sporadic groups”. The first five of them were worked out in the 1860s. The last of them was worked out in 1980, seven years after its existence was first suspected.

    The sporadic groups all have weird sizes. The smallest one, known as M11 (for “Mathieu”, who found it and four of its siblings in the 1860s) has 7,920 things in it. They get enormous soon after that.

    The biggest of the sporadic groups, and the last one described, is the Monster Group. It’s known as M. It has a lot of things in it. In particular it’s got 808,017,424,794,512,875,886,459,904,961,710,757,005,754,368,000,000,000 things in it. So, you know, it’s not like we’ve written out everything that’s in it. We’ve just got descriptions of how you would write out everything in it, if you wanted to try. And you can get a good argument going about what it means for a mathematical object to “exist”, or to be “created”. There are something like 1054 things in it. That’s something like a trillion times a trillion times the number of stars in the observable universe. Not just the stars in our galaxy, but all the stars in all the galaxies we could in principle ever see.

    It’s one of the rare things for which “Brobdingnagian” is an understatement. Everything about it is mind-boggling, the sort of thing that staggers the imagination more than infinitely large things do. We don’t really think of infinitely large things; we just picture “something big”. A number like that one above is definite, and awesomely big. Just read off the digits of that number; it sounds like what we imagine infinity ought to be.

    We can make a chart, called the “character table”, which describes how subsets of the group interact with one another. The character table for the Monster Group is 194 rows tall and 194 columns wide. The Monster Group can be represented as this, I am solemnly assured, logical and beautiful algebraic structure. It’s something like a polyhedron in rather more than three dimensions of space. In particular it needs 196,884 dimensions to show off its particular beauty. I am taking experts’ word for it. I can’t quite imagine more than 196,883 dimensions for a thing.

    And it’s a thing full of mystery. This creature of group theory makes us think of the number 196,884. The same 196,884 turns up in number theory, the study of how integers are put together. It’s the first non-boring coefficient in a thing called the j-function. It’s not coincidence. This bit of number theory and this bit of group theory are bound together, but it took some years for anyone to quite understand why.

    There are more mysteries. The character table has 194 rows and columns. Each column implies a function. Some of those functions are duplicated; there are 171 distinct ones. But some of the distinct ones it turns out you can find by adding together multiples of others. There are 163 distinct ones. 163 appears again in number theory, in the study of algebraic integers. These are, of course, not integers at all. They’re things that look like complex-valued numbers: some real number plus some (possibly other) real number times the square root of some specified negative number. They’ve got neat properties. Or weird ones.

    You know how with integers there’s just one way to factor them? Like, fifteen is equal to three times five and no other set of prime numbers? Algebraic integers don’t work like that. There’s usually multiple ways to do that. There are exceptions, algebraic integers that still have unique factorings. They happen only for a few square roots of negative numbers. The biggest of those negative numbers? Minus 163.

    I don’t know if this 163 appearance means something. As I understand the matter, neither does anybody else.

    There is some link to the mathematics of string theory. That’s an interesting but controversial and hard-to-experiment-upon model for how the physics of the universe may work. But I don’t know string theory well enough to say what it is or how surprising this should be.

    The Monster Group creates a monster essay. I suppose it couldn’t do otherwise. I suppose I can’t adequately describe all its sublime mystery. Dr Mark Ronan has written a fine web page describing much of the Monster Group and the history of our understanding of it. He also has written a book, Symmetry and the Monster, to explain all this in greater depths. I’ve not read the book. But I do mean to, now.

    • gaurish 9:17 am on Saturday, 10 December, 2016 Permalink | Reply

      It’s a shame that I somehow missed this blog post. Have you read “Symmetry and the Monster,”? Will you recommend reading it?


      • Joseph Nebus 5:57 am on Saturday, 17 December, 2016 Permalink | Reply

        Not to fear. Given how I looked away a moment and got fourteen days behind writing comments I can’t fault anyone for missing a post or two here.

        I haven’t read Symmetry and the Monster, but from Dr Ronan’s web site about the Monster Group I’m interested and mean to get to it when I find a library copy. I keep getting farther behind in my reading, admittedly. Today I realized I’d rather like to read Dan Bouk’s How Our Days Became Numbered: Risk and the Rise of the Statistical Individual, which focuses in large part on the growth of the life insurance industry in the 19th century. And even so I just got a book about the sale of timing data that was so common back when standard time was being discovered-or-invented.


  • Joseph Nebus 6:00 pm on Wednesday, 23 November, 2016 Permalink | Reply
    Tags: , , , Jordan Curve, , , ,   

    The End 2016 Mathematics A To Z: Jordan Curve 

    I realize I used this thing in one of my Theorem Thursday posts but never quite said what it was. Let me fix that.

    Jordan Curve

    Get a rubber band. Well, maybe you can’t just now, even if you wanted to after I gave orders like that. Imagine a rubber band. I apologize to anyone so offended by my imperious tone that they’re refusing. It’s the convention for pop mathematics or science.

    Anyway, take your rubber band. Drop it on a table. Fiddle with it so it hasn’t got any loops in it and it doesn’t twist over any. I want the whole of one edge of the band touching the table. You can imagine the table too. That is a Jordan Curve, at least as long as the rubber band hasn’t broken.

    This may not look much like a circle. It might be close, but I bet it’s got some wriggles in its curves. Maybe it even curves so much the thing looks more like a kidney bean than a circle. Maybe it pinches so much that it looks like a figure eight, a couple of loops connected by a tiny bridge on the interior. Doesn’t matter. You can bring out the circle. Put your finger inside the rubber band’s loops and spiral your finger around. Do this gently and the rubber band won’t jump off the table. It’ll round out to as perfect a circle as the limitations of matter allow.

    And for that matter, if we wanted, we could take a rubber band laid down as a perfect circle. Then nudge it here and push it there and wrinkle it up into as complicated a figure as you like. Either way is as possible.

    A Jordan Curve is a closed curve, a curve that loops around back to itself. And it’s simple. That is, it doesn’t cross over itself at any point. However weird and loopy this figure is, as long as it doesn’t cross over itself, it’s got in a sense the same shape as a circle. We can imagine a function that matches every point on a true circle to a point on the Jordan Curve. A set of points in order on the original circle will match to points in the same order on the Jordan Curve. There’s nothing missing and there’s no jumps or ambiguous points. And no point on the Jordan Curve matches to two or more on the original circle. (This is why we don’t let the curve to cross over itself.)

    When I wrote about the Jordan Curve Theorem it was about how to tell how a curve divides a plane into two pieces, an inside and an outside. You can have some pretty complicated-looking figures. I have an example on the Jordan Curve Theorem essay, but you can make your own by doodling. And we can look at it as a circle, as a rubber band, twisted all around.

    This all dips into topology, the study of how shapes connect when we don’t care about distance. But there are simple wondrous things to find about them. For example. Draw a Jordan Curve, please. Any that you like. Now draw a triangle. Again, any that you like.

    There is some trio of points in your Jordan Curve which connect to a triangle the same shape as the one you drew. It may be bigger than your triangle, or smaller. But it’ll look similar. The angles inside will all be the same as the ones you started with. This should help make doodling during a dull meeting even more exciting.

    There may be four points on your Jordan Curve that make a square. I don’t know. Nobody knows for sure. There certainly are if your curve is convex, that is, if no line between any two points on the curve goes outside the curve. And it’s true even for curves that aren’t complex if they are smooth enough. But generally? For an arbitrary curve? We don’t know. It might be true. It might be impossible to find a square in some Jordan Curve. It might be the Jordan Curve you drew. Good luck looking.

Compose new post
Next post/Next comment
Previous post/Previous comment
Show/Hide comments
Go to top
Go to login
Show/Hide help
shift + esc
%d bloggers like this: