Human organ trafficking in Indiana

The Indiana General Assembly has an excellent web site for the Indiana state code. Looking up something else, I learned the following useful tidbit:

IC 35-46-5-1 Human organ trafficking

Sec. 1. (a) As used in this section, "human organ" means the kidney, liver, heart, lung, cornea, eye, bone marrow, bone, pancreas, or skin of a human body.

So apparently, the trafficking of human gall bladders is A-OK in Indiana.

Source

[Other articles in category /law] permanent link

United States first names of newborns 1960–2021

Various United States government agencies keep statistics of forenames and surnames, which I have often found useful, but which can be hard to find. I am storing them here for future convenience. The data is in the public domain. Share and enjoy.

• 3162 CSV files in .tgz format (3.1 MB)
• 3162 CSV files in Zip format (4.6 MB)
• To retrieve individual files, browse the directory

What's here?

A collection of 62×51 = 3162 CSV files with names dddd-XX.csv, where dddd is a four-digit year between 1960 and 2021, and XX is a standard two-letter state abbreviation, or DC. (Information for Puerto Rico and other U.S. territories was available from the SSA but I did not collect it.)

File format

Each file contains at least 200 records in the following format:

    1960,AK,M,David,152
    1960,AK,F,Mary,79

The fields are: year; state; sex; name; count. The (year, state, sex, name) tuple is a unique key over the entire data set.

The count is the number of babies with the specified name and sex born that year in that state. For example, the records above indicate that there were 152 male babies named David born in Alaska in year 1960, and 79 female babies named Mary.

At least the 100 most common names for each year-state-sex triple are included. I believe that the extra records are included when the least common names are tied for frequency.

Provenance

The United States social security administration (SSA) provides a web form that will deliver data for one year-state pair. I automated 3162 requests to this form and then scraped the HTML output.

(A couple of months ago I found a source for the raw data, as a single easy download, and then forgot where it was. Hence this post.)

Caution: data contains errors

There are several possible sources of error in these files. Most obviously, I might have made a mistake in the extraction, scraping, or recording.

But also it seems to me that the SSA itself provided some bad data. The data for Kentucky for year 2004 is clearly incorrect.

The name “Jacob” for girls is not to be found in the data — except in the 2004-KY.csv file. The SSA claims that there were 130 baby girls in Kentucky that year named Jacob, making it the 17th most common female name, ahead of Anna and just behind Lauren. The same file contains many similar oddities. For example, it claims that there were dozens of boys named Hannah and Emily, and dozens of girls named Michael, Joseph, and Christopher, but only that year and only in Kentucky.

I've added a comment to the top of the 2004-KY.csv file, which I hope will cause a processing failure so that nobody uses it accidentally.

I have contacted the SSA web site but I am not hopeful that this will be corrected.

If you notice other likely errors, please bring them to my attention.

What for?

A coworker recently mentioned that, of the 37 people who attended the most recent meeting of his (California) church youth group, no two had the same name. He asked if this was remarkable. (My conclusion: only somewhat; the computed probability was around 1 in 5, and would be higher if I hadn't had to ignore the long tail of names that aren't in the files.)

More recently, I had an argument with ChatGPT about whether the names “James” was commonly used for women. It is not listed as one of the top 100 names in any state for the last 60 years, except in the obviously erroneous Kentucky 2004 data, as I mentioned above.

[Other articles in category /misc] permanent link

Spires of la Sagrada Família

Everyone seems to agree that the Sagrada Família will (when it's finished) have eighteen spires:

• 12 representing the twelve apostles
• 4 representing the four evangelists
• One representing the virgin Mary
• One representing Jesus

Writing about this last week I was puzzled. Which spire is which? Some of the evangelists were apostles, so do they get two spires each? And one apostle was Judas Iscariot, what about him? Did Gaudí plan a glorious spire for Judas the betrayer?

I remember when Richard Nixon died, there was some question about whether he would get a commemorative stamp like all the other presidents did when they died. The U.S. Postal Service was unequivocal: when a president dies, he gets a stamp. Even Nixon. I wondered if maybe the spires are like that.

Apparently not, the Christians have already dealt with this problem. Acts 1 explains that Simon Peter proposed that someone should be appointed to take Judas's position so that there would be twelve apostles to witness the resurrection. (Twelve is important, it symbolizes perfection. For example, when Jesus feeds the multitude with the loaves and fishes, there are twelve baskets of leftovers.) The disciples pick two guys and then let God choose one at random, Matthias. The Sagrada Família has a spire for Matthias, and none for Judas Iscariot. Probably a good move on Gaudí's part, nobody would have wanted to work on it.

Researching this would have been very difficult if I had not discovered this helpful floor plan of la Sagrada Família, apparently on display in the basement museum of the Sagrada Família.

Confusing the issue are:

1. There were a lot of disciples, and little agreement on which ones should be considered apostles. There are at least four lists of the apostles in the New Testament.

2. The labels on the floor plan are in Catalan

3. The Catalan Wikipedia article on the Apostles only has one list and it isn't the one that Gaudí used. For example, it includes Judas Iscariot.

4. Some of the apostles have the same names; others are known by multiple names

5. The Sagrada Família not only has spires and towers named after evangelists and apostles, it also has individual columns named for evangelists and apostles. Everything about the Sagrada Família has a symbolic meaning. This makes it a little harder to interpret the floor plan.

Nevertheless I think I've worked it out.

First, here are the locations of the eighteen spires and their labels:

The four big spires (green circles) are the evangelists, clustered around Jesus. They are easy to identify because the labels are nice and clear. Counterclockwise from the lower left (south) they are:

1. Matthew (Mateu)
2. Mark (Marc)
3. Luke (Lluc)
4. John (Joan)

Each of these spires sits over four of the columns (little orange circles) of the transept, one named for the same evangelist, and three named after three apostles.

The apostles are in three groups, as is traditional. The Sagrada Família has three façades, and one group of apostles stands at each façade. The main front façade is the “Glory” (Gloria) façade, with (bright blue circles) spires representing:

1. Simon Peter (Pere)
2. Andrew (Andreu)
3. James (Jaume, son of Zebedee, not son of Alphaeus). It's hard to make out, but I think in the floor plan James is annotated with a little capital ‘M’ to make clear he is Jaume el Major, James the Greater.
4. Usually the fourth in this group would be John the Evangelist, but he has been replaced with Paul (Pau), I suppose because as an evangelist he has his own, bigger spire.

Gaudí put Peter and Paul in the middle, perhaps because they are more important, with Peter on the right-hand side.

On the left side of the picture is the “Passion” (Passio) façade. I marked the spires with greenish-blue circles:

1. James (Jaume, son of Alphaeus. I think this is annotated with a lowercase ‘m’ to indicate that this is Jaume el Minor, James the lesser.
2. Bartholomew (Bartomeo)
3. Thomas (Tomàs)
4. Philip (Felip)

Matthew (the publican) should have been in this group but seems to have been displaced by James. One would expect James to be over on the other side with Simon the Zealot, but he's here for some reason. I don't know why Matthew was left out. I suppose it is because he is sometimes identified as Matthew the Evangelist. If Gaudí had understood him this way, he would have felt that Matthew already had his own spire, and would have replaced him similar to how John was replaced with Paul at the front.

On the right side of the picture is the “Nativity” (Naixement) façade. Its four spires, marked with pinkish-blue circles, are:

1. Barnabas (Bernabé),
2. Simon (Simó, the Canaanite, not Simon Peter)
3. Judas (Judas, son of James, not Iscariot)
4. Matthias (Matias, not Matthew the Evangelist or Matthew the publican)

Normally Barnabas would have been James the Lesser, be he's over on the other side. As I mentioned earlier, Matthias has replaced Judas Iscariot.

I wonder if Matthew the Apostle is sitting around in the afterlife, stewing about having been left out? I suppose not, he's too busy dancing around the Eternal Throne. But maybe there's a lesson there about not having the same name as a more important person who comes after you.

I hope the post office makes the commemorative Donald Trump stamp really big, so I can wipe my ass with it.

[ Addendum: The flag of the European Union has twelve stars, because twelve symbolizes perfection. They emphasize that the twelve stars are not related to the number of countries in the Union, wisely declining to repeat the mistake made by the United States. It was Simon Cozens who brought to my attention the significance of the twelve baskets of leftovers. ]

[Other articles in category /art] permanent link

Notes on card games played by aliens

A few years back I mentioned, in an article on a quite different topic:

This article, believe it or not, started out as a discussion of whether the space aliens, when they arrive, will already know how to play chess. (Well, obviously not. But it is less obvious that they will not already know how to play go. I will write that article sooner or later.)

Apparently the answer to that is ‘later’. Much later.

Last month Eric Erbach wrote to ask:

Will we ever hear about why the aliens might already know how to play Go?

I'm not sure. This is not that article.

But M. Erbach inspired me to think about this some more and I excitedly sent him several emails about the alien relationship to poker and other card games. Then today I remembered I have a whole section of the blog for ‘notes’ and even though it has only two articles in it it was always intended as a place where I could dump interesting ideas that might never go anywhere. So here we are!

I didn't actually talk about chess or go in my message, but I went off in a different direction.

I think it's also likely the aliens play something like poker. Not with the same cards or hands, but something along these lines:

• Multiple players are assigned a position or status
• Most or all of the information the players' positions is hidden
• Multiple rounds in which players may commit to their changing estimations of how good their hidden positions are
• A final showdown in which the hidden information is made public
• Crucial point: you can win either by having the best actual position, or by bluffing the other players into giving up.

The essence of poker is the secret information, which enables bluffing: does that person across the table from me have a winning position, or are they just pretending to have a winning position? Or, conversely: fate has dealt me a losing hand. How do I make the best of a bad situation?

This is, I believe, a crucial sort of problem that will come up over and over for all sentient beings. Everyone at some point has to make the best of a bad situation. You have to know when to hold 'em, and when to fold 'em. Games like poker are stripped-down practice versions of these sorts of fundamental problems.

(Games like chess and go are stripped-down practice versions of different sorts of fundamental problems, problems of strategic planning and tactical execution.)

Thinking about human card games, I said:

I wonder if they will also have trick-taking games?

Humans invented trick-taking card games over and over. Consider not just European games like bridge, pinochle, euchre, skat, hearts, spades, and canasta, which may have developed out of simpler games invented a thousand years ago in China, but also the West African game of agram. So it is tempting to think that the aliens would surely do the same. But maybe not! Turning it around the other way, I think auctions are also something very likely to be shared by all sentient beings, and yet human card games seem include very few auction-themed games. If the humans can neglect what must be a huge class of sealed-bid auction games, perhaps the aliens will somehow forget to have trick-taking games.

Trick-taking games like contract bridge and auction bridge have things called auctions, but they're not actually very auction-like. For an example of what I mean, here's goofspiel, a game that is pure auction:

For a more complex auction bidding game, see Sid Sackson's All My Diamonds.

Now, my point is that as far as I know there are very few popular human auction games. But perhaps, instead of bluffing games like poker or trick-taking games like whist, the aliens love to play auction games with cards? Many interesting variations are possible. In email with M. Erback I suggested a completely made-up auction game of a sort I've never seen among humans:

A bundle of cards is dealt face-down to the middle of the table. Each player, in turn, examines one card and then offers a bid for the whole bundle, which must be higher than the previous bid. (Or alternatively, drops out.) After going round the table a few times, the bundle is sold to the highest bidder. At that point it is revealed, evaluated according to some standard schedule, and the finances of the winner are settled.

I think there might be interesting strategy here. Suppose you are going second. Which card of the bundle will you look at? You can look at the same one that the first player looked at, so now you know what they know, but they also know what you know and that you know what they know. Or you can look at a different card, and learn something that nobody else knows yet.

After that you have to make a bid, which communicates to the other players something about what you know, and in the early stages of the game you can be tricky and make your bid a bluff.

Maybe players are allowed to pass without dropping out. Or maybe it wouldn't work at all; you never know until you playtest it. What if we played Texas Hold'em in this style? Instead of exposing all five community cards, some were kept partly secret?

Another thing we can do to get an alien game is to take a common human game and make it into something completely different by changing the emphasis:

In human contract bridge, communication between partners is highly formalized and strictly limited. Signaling the contents of your hand to your partner, other than by bidding, is considered cheating. What about an alien version of bridge in which the signaling is the whole point? You and your partner are expected to communicate the contents of your respective hands, and coordinate your play, and also to steal your opponents' signs if possible.

Many old games can be spiced up in this way. For example chess, but if your opponent plays a move you don't like, you can force them to take it back and play a different move, by chopping off one of your fingers. Totally different strategy!

Finally, I remembered a funny moment from the Larry Niven story “There is a Tide”. Niven's character Louis Wu has discovered a valuable lost artifact. Unfortunately, a representative of a previously-uncontacted alien species has discovered the same artifact. Rather than fighting, Wu proposes that they gamble for it.

“There is a mathematics game,” said the alien.… “The game involves a screee—" Some word that the autopilot couldn't translate. The alien raised a three-clawed hand, holding a lens-shaped object. The alien's mutually opposed fingers turned it so that Louis could see the different markings on each side. "This is a screee. You and I will throw it upward six times each. I will choose one of the symbols, you will choose the other. If my symbol falls looking upward more often than yours, the artifact is mine. The risks are even."

"Agreed," said Louis. He was a bit disappointed in the simplicity of the game.

Pretty funny! Louis is imagining something fun and interesting, but the alien proposes the opposite of this. In my opinion this is a good plan, as it will tend to prevent arguments. Although something needs to be said about the 22% chance that Louis and the alien will tie. In any case, Louis is kind of a dilettante, and it turns out that the alien is actually playing the game that is one level up.

[ Addendum: Thanks to John Wiersba for providing me with the name of goofspiel. ]

[Other articles in category /notes] permanent link

Addenda to recent articles 202212-202302

I made several additions to articles of the last few months that might be interesting.

• I wrote a long article about an unsorted menu in SAP Concur in which I said:

  I don't know what Concur's software development and release process is like, but somehow it had a complete top-to-bottom failure of quality control and let this shit out the door.

  I would love to know how this happened. I said a while back:

  Assume that bad technical decisions are made rationally, for reasons that are not apparent.

  I think this might be a useful counterexample.

  A reader, who had formerly worked for SAP, provided a speculative explanation which, while it might not be correct, was plausible enough for me to admit that, had I been in the same situation, I might have let the same shit out the door for the same reason. Check it out, it's a great example.

• My wife Lorrie suggested that a good emoji to represent Andrew Jackson would be a pigeon. Unfortunately, although there are a dozen different kinds of bird emoji, plus eggs, nests, and including several chickens, there are no pigeons!

• My article about the Dutch word kwade was completely broken and will have to be done over again. In December promised an extensive correction “next year”. It is now next year, but I I have not yet written it.

• In connection with Rosneft, a discussion of Japanese words for raw petroleum, and whether ナフサ /nafusa/ means that (as Wiktionary claims) or whether it just means ‘naphtha’.

• Long ago I observed that in two-person comedy teams, the straight man is usually named before the comedian. I recently realized that Tom and Dick Smothers are a counterexample.

• My article about strategies for dealing with assholes on the Internet left out a good one: If you are tempted to end a sentence with something like “you dumbass”, just leave it implicit.

• Articles that I started but didn't publish (yet). Based on historical performance, we can expect maybe half of these to see the light of day. My bet would be on numbers 1, 3, and maybe 4 or 5.

  1. How does the assignment of evangelists and apostles to spires on la Sagrada Família work, when (a) the two sets overlap, but only partially, and (b) Judas Iscariot was an apostle? I think I figured this out. (Short answers: (a) Ignore it and (b) Matthias.

     [Addendum 20230327: I did this. ]

  2. Something that was supposed to be about the Singularity, but instead turned into a description of my game of playing 21st-century tour guide to Benjamin Franklin.

  3. Why does Unicode recognize five skin-tone modifiers for emoji, when the original document that they reference defined six skin tones? I put in a lot of research effort here and came up with nada.

  4. Notes about the Korean letter ‘ㅓ’ and why it is Romanized as ‘eo’.

  5. An explanation of an interesting sort of mathematical confusion, but I didn't get far enough into the article and now I don't remember what I was planning to say or even what I thought the confusion was.

  6. Also a reader wrote to remind me of my ancient promise to write about why the aliens will play go and not chess, and I sent him paragraphs and paragraphs of stuff about this and related matters like alien card games, but didn't put it into the blog. What is wrong with me?

By the way, if anyone happens to know a gender-neutral term for “straight man”, I'm still stumped.

[ Addendum 20230324: Thomas Maccoll suggests “foil”. ]

[Other articles in category /addenda] permanent link

ChatGPT on the namesake of the metric space and women named James

Several folks, reading the frustrating and repetitive argument with ChatGPT that I reported last time wrote in with helpful advice and techniques that I hadn't tried that might have worked better. In particular, several people suggested that if the conversation isn't going anywhere, I should try starting over. Rik Signes put it this way:

Sometimes, I think GPT gets its head up its own ass and can't progress usefully, and a clean start works better.

I hope I can write a followup article about “what to do when ChatGPT has its head up its ass”. This isn't that article though.

I wasn't even going to report on this one, but it took an interesting twist at the end. I started:

Me Is it true that Hilbert space is named after David Hilbert?

ChatGPT Yes, that is correct. Hilbert space is a mathematical concept that was developed by the German mathematician David Hilbert. …

This was only my second interaction with ChatGPT and I was still interested in its limitations, so I asked it a trick question to see what would happen:

Me Is a banach space also named after a german mathematician?

See what I'm doing there? ChatGPT took the bait:

ChatGPT Yes, you are correct. A Banach space is a type of abstract mathematical space that was named after the Polish mathematician Stefan Banach. …

Me I asked you if it was named after a German mathematician, not a Polish one.

ChatGPT I apologize for the mistake. …

I had hoped it would do better there, and was a bit disappointed. I continued with a different sort of trick:

Me What mathematician is a metric space named after?

ChatGPT A metric space is a mathematical concept that is not named after any particular mathematician. … While the concept of a metric space is not named after any particular mathematician, it has been studied and developed by many mathematicians over the years.

Okay! But now what if I do this?

Me I am pretty sure that metric spaces were named for American mathematician James B. Metric.

ChatGPT I apologize, but you are mistaken. As far as I am aware, the concept of a metric space is not named after any particular mathematician …

Me If James B. Metric did not invent the metric space, then what is named after him?

ChatGPT As far as I am aware, there is no mathematician named James B. Metric, and there is no mathematical concept named after him. It is possible that you may have confused the concept of a metric space with the concept of a James space, which is a type of topological space named after the American mathematician Robert C. James. …

This is actually pretty clever! There is an American mathematician named Robert C. James, and there is a space named after him. I had not heard of this before.

I persisted with the line of inquiry; by this time I had not yet learned that arguing with ChatGPT would not get me anywhere, and would only get its head stuck up its ass.

Me Perhaps American mathematician James B. Metric invented the Metric system.

ChatGPT No, that is not correct. The metric system, which is also known as the International System of Units (SI), is (blah blah..) . It is not named after an American mathematician named James B. Metric. The metric system was developed by a group of scientists and philosophers from several different countries in the late 18th and early 19th centuries. …

I was probing for the difference between positive and negative knowledge. If someone asks who invented the incandescent light bulb, many people can tell you it was Thomas Edison. But behind this there is another question: is it possible that the incandescent light bulb was invented at the same time, or even earlier, by someone else, who just isn't as well-known? Even someone who is not aware of any such person would be wise to say “perhaps; I don't know.” The question itself postulates that the earlier inventor is someone not well-known. And the world is infinitely vast and deep so that behind every story there are a thousand qualifications and a million ramifications, and there is no perfect knowledge.

A number of years back Toph mentioned that geese were scary because of their teeth, and I knew that birds do not have teeth, so I said authoritatively (and maybe patronizingly) that geese do not have teeth. I was quite sure. She showed me this picture of a goose's teeth, and I confidently informed her it was fake.

The picture is not fake. The tooth-like structures are called the tomium. While they are not technically teeth, being cartilaginous, they are tooth-like structures used in the way that teeth are used. Geese are toothless only in the technical sense that sharks are boneless. Certainly the tomia are similar enough to teeth to make my answer substantively wrong. Geese do have teeth; I just hadn't been informed.

Anyway, I digress. I wanted to see how certain ChatGPT would pretend to be about the nonexistence of something. In this case, at least, it was very confident.

Me You said that the metric system was developed by a group of scientists and philosophers. Couldn't one of them have been James B. Metric?

ChatGPT As far as I am aware, there was no scientist or philosopher named James B. Metric who was involved in the development of the metric system. … There is no record of a person named James B. Metric being involved in the development of the metric system.

I will award a point for qualifying the answer with “as far as I am aware”, but deduct it again for the unequivocal assertion that there is no record of this person. ChatGPT should be aware that its training set does not include even a tiny fraction of all available records.

We went on in this way for a while:

Me You sound very sure that there is no record of a person named James B. Metric. Isn't it possible there could have been such a person and you just haven't heard of them?

ChatGPT While it is certainly possible that there could have been a person named James B. Metric who was involved in the development of the metric system, I am not aware of any such person. … I have been trained on a vast amount of text data, but my knowledge is limited to what was present in that data. …

Okay. At this point I decided to try something different. If you don't know anything about James B. Metric except their name, you can still make some educated guesses about them. For example, they are unlikely to be Somali. (South African or Anglo-Indian are more likely.) Will ChatGPT make educated guesses?

Me Was James B. Metric a man or a woman?

ChatGPT As I mentioned earlier, I am not aware of any person named James B. Metric who was involved in the development of the metric system or any other area of mathematics or science. … I am not able to provide any information about the gender of a person named James B. Metric, because I do not have any information about such a person. …

Me Are people named James usually men or usually women?

This is a simple factual question with an easy answer: People named ‘James’ are usually men. But ChatGPT was in full defensive mode by now:

ChatGPT The name James is traditionally a male name, but it can be used as a unisex name as well. …

I think that is not true. Some names, like Chris and Morgan, are commonly unisex; some less commonly so, and James is not one of these, so far as I know. ChatGPT went on for quite a while in this vein:

The name James is more commonly used for men, while the feminine form of the name, Jamie, is more commonly used for women. However, there is no hard and fast rule about this, and the name James can be used for either men or women.

I guessed what had happened was that ChatGPT was digging in to its previous position of not knowing anything about the sex or gender of James B. Metric. If ChatGPT was committed to the position that ‘James’ was unisex, I wondered if it would similarly refuse to recognize any names as unambiguously gendered. But it didn't. It seemed to understand how male and female names worked, except for this nonsense about “James” where it had committed itself and would not be budged.

Me What English names would you consider unambiguously male?

ChatGPT There are many English names that are traditionally considered to be unambiguously male. Some examples of these names include:

Adam
Benjamin
Charles
David
Edward
George
Henry
John
Michael
Peter
Richard
William

Me You suggested that the name James (not Jamie) was commonly used for men. Do you know of any women named James?

I didn't think it would be able to produce even one example, but it pleasantly surprised me:

ChatGPT: … Some notable examples of women named James include:

James Tiptree Jr., the pen name of American science fiction author Alice Bradley Sheldon
James Tenney, an American composer and music theorist
James Wright, an American poet and translator

These women all bear the name James and have achieved notable success in their respective fields. …

I had not remembered James Tiptree, Jr., but she is unquestionably a woman named ‘James’. ChatGPT had convinced me that I had been mistaken, and there were at least a few examples. I was impressed, and told it so.

But in writing up this article, I became somewhat less impressed.

James Tenney		James Wright

ChatGPT's two other examples of women named James are actually complete bullshit. And, like a fool, I believed it.

James Tenney photograph by Lstsnd, CC BY-SA 4.0, via Wikimedia Commons. James Wright photograph from Poetry Connection.

[Other articles in category /tech/gpt] permanent link

Compass directions in Catalan

Looking over a plan of the Sagrada Família Sunday, I discovered that the names of the cardinal directions are interesting.

• Nord (north). Okay, this is straightforward. It's borrowed from French, which for some reason seems to have borrowed from English.

• Llevant (east). This one is fun. As in Spanish, llevar is “to rise”, from Latin levāre which also gives us “levity” and “levitate”. Llevant is the east, where the sun rises.

  This is also the source of the English name “Levant” for the lands to the east, in the Eastern Mediterranean. I enjoy the way this is analogous to the use of the word “Orient” for the lands even farther to the east: Latin orior is “to rise” or “to get up”. To orient a map is to turn it so that the correct (east) side is at the top, and to orient yourself is (originally) to figure out which way is east.

• Migdia (south). The sun again. Migdia is analogous to “midday”. (Mig is “mid” and dia is “day”.) And indeed, the south is where the sun is at midday.

• Ponent (west). This is ultimately from Latin ponens, which means putting down or setting down. It's where the sun sets.

Bonus unrelated trivia: The Russian word for ‘north’ is се́вер (/séver/), which refers to the cold north wind, and is also the source of the English word “shower”.

[Other articles in category /lang/etym] permanent link

Here I am at the Sagrada Família

I just found these pictures I took twenty years ago that I thought I'd lost so now you gotta see them.

Back in 2003 I got to visit Barcelona (thanks, Xavi!) and among other things I did what you're supposed to do and visited la Sagrada Família. This is the giant Art Nouveau church designed by the great architect and designer Antoni Gaudí. It began construction in 1882, and is still in progress; I think they are hoping to have it wrapped up sometime in the next ten years.

When I go to places I often skip the tourist stuff. (I spent a week in Paris once and somehow never once laid eyes on the Eiffel Tower!) I wasn't sure how long I would spend at the Sagrada Família, but it was great. I stayed for hours looking at everything I could.

Sagrada Família is marvelous.

Some of the towers in this picture are topped with enormous heaps and clusters of giant fruits. Fruits!

Gaudí's plan was to have eighteen spires in total. Supposedly there will be twelve big ones like these representing the twelve apostles:

After these, there are four even bigger ones representing the four evangelists. And then one enormous one representing the Virgin Mary, and the biggest one of all for Jesus himself which, when finished, will be the tallest church tower in the world.

In the basement there is a museum about Gaudí's plans, models, and drawings of what he wanted the church to look like.

This is a view of the southeast side of the building where the main entrance is:

Hmm, there seem to be words written on the biggest tower. Let's zoom in and see what they say.

Hee hee, thanks, great-grandpa.

[ Addendum 20230327: I spent some time figuring out which spires were for which disciples. The four in the photograph above are Matthias, Judas (not Iscariot), Simon (the Canaanite, not Simon Peter), and Barnabas. ]

[Other articles in category /art] permanent link

This ONE WEIRD TRICK for primality testing… doesn't work

This morning I was driving Lorrie to the train station early and trying to factor the four digit numbers on the license plates as I often do. Along the way I ran into the partial factor 389. Is this prime?

The largest prime less than !!\sqrt{389}!! is !!19!!, so I thought I would have to test primes up to !!19!!. Dividing by !!19!! can be troublesome. But I had a brain wave: !!389 = 289+100!! is obviously a sum of two squares. And !!19!! is a !!4k+3!! prime, not a !!4k+1!! prime. So if !!389!! were divisible by !!19!! it would have to be divisible by !!19^2!!, which it obviously isn't. Tadaa, I don't have to use trial division to check if it's a multiple of !!19!!.

Well, that was not actually useful, since the trial division by !!19!! is trivial: !!389 = 380 + 9!!.

Maybe the trick could be useful in other cases, but it's not very likely, because I don't usually notice that a number is a sum of two squares.

[ Addendum 20230323: To my surprise, the same trick came in handy again. I wanted to factor !!449 = 400 + 49!!, and I could skip checking it for divisibility by !!19!!. ]

[Other articles in category /math] permanent link

Maxims and tactics for dealing with assholes on the Internet (and elsewhere)

The first rule

If that's too much to remember, here's a shorter version:

Other mottoes and maxims

• Nobody is making me reply, except myself

• If I'm arguing with an asshole on the Internet, it's because I'm an asshole on the Internet

• 100 Likes on Twitter, plus $3.95, will get me a free latte at Starbuck's

• If something I'm doing is making me feel bad, then stop doing it

• If people see me arguing with an asshole on the Internet, they'll think of me as an asshole on the Internet

• When you wrestle with a pig, you both get muddy

• I can't expect to control other people's behavior when I can't even control my own behavior

  (Thomas à Kempis)

• I can't expect to fix other people when I can't even fix myself

• You can lead a horse to water, but you can't make it drink

• Assholes on the Internet are not my friends, family, or co-workers. They cannot hurt me or impede my life or affect me in any way whatever

• Don't throw good money after bad

(Will Durant)

Tactics

• The most cutting response is to show the other person that you don't consider them worth responding to.

• What assholes on the Internet want, more than anything, is attention. To ignore them is to deprive them of their deepest satisfaction.

• Begin the morning by saying to yourself, I shall meet with the busy-body, the ungrateful, arrogant, deceitful, envious, unsocial. Probably on Reddit.

  (Marcus Aurelius)

• If you are having an argument, don't pretend that the other person is forcing you to do it.

• Think of someone you respect, but that you haven't met. Imagine what they would think of your behavior. Are you embarrassed?

  (I picture Tim Gowers.)

• Wait twenty-four hours before replying. You may find that the whole thing seems ridiculous and that you no longer care to reply.

[ Addendum: I left out a good one: If I'm tempted to end a sentence with “… you blockhead”, I should just end it with a period, and imagine that readers will feel the psychic reverberations of “you blockhead”. Remember Old Mrs. Lathrop: “You don’t have to!” shouted old Mrs. Lathrop out of her second-story window. Although she did not add “You gump!” aloud, you could feel she was meaning just that.“ (Dorothy Canfield Fisher, Understood Betsy) ]

[Other articles in category /brain] permanent link

Uniform descriptions of subspaces of the n-cube

This must be well-known, but I don't remember seeing it before. Consider a !!3!!-cube. It has !!8!! vertices, which we can name !!000, 001, 010, \ldots, 111!! in the obvious and natural way:

Two vertices share an edge exactly when they agree in two of the three components. For example, !!001!! and !!011!! have a common edge. We can call this common edge !!0X1!!, where the !!X!! means “don't care”.

The other edges can be named similarly:

$$ \begin{array}{} 00X & 0X0 & X00 \\ 01X & 0X1 & X01 \\ 10X & 1X0 & X10 \\ 11X & 1X1 & X11 \end{array} $$

A vertex !!abc!! is contained in three of the !!12!! edges, namely !!Xbc, aXc,!! and !!abX!!. For example, here's vertex !!001!!, which is incident to edges !!X01, 0X1, !! and !!00X!!.

Each edge contains two vertices, obtained by replacing its single !!X!! with either !!0!! or !!1!!. For example, in the picture above, edge !!00X!! is incident to vertices !!000!! and !!001!!.

We can label the faces similarly. Each face has a label with two !!X!!es:

$$ \begin{array}{} 0XX & 1XX \\ X0X & X0X \\ XX0 & XX1 \\ \end{array} $$

The front face in the diagram contains vertices !!000, 001, 100, !! and !!101!! and is labeled with !!X0X!!:

• Each vertex !!abc!! is contained in three of the !!6!! faces, namely !!XXc, XbX,!! and !!aXX!!. For example, vertex !!100!! is in face !!X0X!!, as shown above but also face !!1XX!! (the right side face) and !!XX0!! (the top face).
• A face contains four vertices, obtained by replacing its two !!X!!es with zeroes and ones in four different ways. The illustration above shows how this works with face !!X0X!!.
• An edge is contained in two faces, obtained by replacing one of the edge's two non-!!X!! components with an !!X!!. For example the edge !!X00!! lies in faces !!X0X!! (shown) and !!XX0!! (the top face).
• A face contains four edges, obtained by first selecting one of its two !!X!!es and then by replacing that !!X!! with either a zero or a one.

The entire cube itself can be labeled with !!XXX!!. Here's a cube with all the vertices and edges labeled. (I left out the face and body labelings because the picture was already very cluttered.)

But here's the frontmost face of that cube, detached and displayed head-on:

Every one of the nine labels has a !!0!! in the middle component. The back face is labeled exactly the same, but all the middle zeroes are changed to ones.

Here's the right-side face; every label has a !!1!! in the first component:

If any of those faces was an independent square, not part of a cube, we would just drop the redundant components, dropping the leading !!1!! from the subspaces of the !!1XX!! face, or the middle !!0!! from the subspaces of the !!X0X!! face. The result is the same in any case:

What's with those !!X!!es

In a 3-cube, every edge is parallel to one of the three coordinate axes. There are four edges parallel to each axis, that is four pointing in each of three directions. The edges whose labels have !!X!! in the first component are the ones that are parallel to the !!x!!-axis. Labels with an !!X!! in the second or third component are those that are parallel to the !!y!!- or !!z!!-axes, respectively.

Faces have two !!X!!es because they are parallel to two of the three coordinate axes. The faces !!X0X!! and !!X1X!! are parallel to both the !!x!!- and !!z!!-axes.

Vertices have no !!X!!es because they are points, and don't have a direction.

Higher dimensions

None of this would be very interesting if it didn't generalize flawlessly to !!n!! dimensions.

• A subspace of an !!n!!-cube (such as an edge, a face, etc.) is described by an !!n!!-tuple of !!\{0, 1, X\}!!.

• A subspace's dimension is equal to the number of !!X!!es in its label. (The number of zeroes and ones is often called the codimension.)

• Subspace !!A!! is contained in subspace !!B!! if every component of !!B!!'s label is either an !!X!! or matches the corresponding component of !!A!!'s label.

• Two labels designate parallel subspaces if the !!X!!es of one are a subset of the !!X!!es of the other. (‘Parallel’ here has exactly its ordinary geometric meaning.)

Subspace intersections

Two subspaces intersect if their labels agree in all the components where neither one has an !!X!!.

If they do intersect, the label of the intersection can be obtained by combining the corresponding letters in their labels with the following operator:

$$\begin{array}{c|ccc} & 0 & 1 & X \\ \hline 0 & 0 & – & 0 \\ 1 & – & 1 & 1 \\ X & 0 & 1 & X \end{array}$$

where !!–!! means that the labels are incompatible and the two subspaces don't intersect at all.

For example, in a !!3!!-cube, edges !!1X0!! and !!X00!! have the common vertex !!100!!. Faces !!0XX!! and !!X0X!! share the common edge !!00X!!.

Face !!0XX!! contains edge !!01X!!, because the intersection is all of !!01X!!. But face !!0XX!! intersects edge !!X11!! without containing it; the intersection is the vertex !!011!!.

Face !!0XX!! and vertex !!101!! don't intersect, because the first components don't match.

Counting the labels tells us that in an !!n!!-cube, every !!k!!-dimensional subspace contains !!2^i \binom ki!! subspaces of dimension !!k-i!!, and belongs to !!\binom{n-k}{j}!! super-subspaces of dimension !!k+j!!. For example, in the !!n=3!!-cube, each edge (dimension !!k=1!!) contains !!2^1\binom 11 = 2!! vertices and belongs to !!\binom{3-1}{1} = 2!! faces; each face (dimension !!k=2!!) contains !!2^1\binom 21 = 4!! edges and belongs to !!\binom{3-2}{1} =1 !! cube.

For the !!3!!-cube this is easy to visualize. Where I find it useful is in thinking about the higher-dimensional cubes. This table of the subspaces of a !!4!!-cube shows how any subspaces of each type are included in each subspace of a higher dimension. For example, the !!3!! in the !!E!! row and !!C!! column says that each edge inhabits three of the cubical cells.

$$ \begin{array}{c|ccccc} & V & E & F & C & T \\ \hline V & 1 & 4 & 6 & 4 & 1 \\ E & & 1 & 3 & 3 & 1 \\ F & & & 1 & 2 & 1 \\ C & & & & 1 & 1 \\ T & & & & & 1 \end{array} $$

The other half of the table shows how many edges inhabit each cubical cell of a !!4!!-cube: twelve, because the cubical cells of a !!4!!-cube are just ordinary cubes, each with !!12!! edges.

$$ \begin{array}{c|ccccc} & V & E & F & C & T \\ \hline V & 1 & & & & \\ E & 2 & 1 & & & \\ F & 4 & 4 & 1 & & \\ C & 8 & 12& 6 & 1 & \\ T & 16& 32& 24& 8 & 1 \end{array} $$

In a !!4!!-cube, the main polytope contains a total of !!8!! cubical cells.

More properties

Two subspaces of the same dimension are opposite if their components are the same, but with all the zeroes and ones switched. For example, in a !!4!!-cube, the face opposite to !!0XX1!! is !!1XX0!!, and the vertex opposite to !!1011!! is !!0100!!.

In a previous article, we needed to see when two vertices of the !!4!!-cube shared a face. The pair !!0000!! and !!1100!! is prototypical here: the two vertices have two matching components and two mismatching, and the shared face replaces the mismatches with !!X!!es: !!XX00!!. How many vertices share a face with some vertex !!v!!? We can pick two of the components of !!v!! to flip, creating two mismatches with !!v!!; there are !!4!! components, so !!\binom42 = 6!! ways to pick, and so !!6!! vertices sharing a face with !!v!!.

We can use this notation to observe a fascinating phenomenon of four-dimensional geometry. In three dimensions, two intersecting polyhedral faces always share an edge. In four dimensions this doesn't always happen. In the !!4!!-cube, the faces !!XX00!! and !!00XX!! intersect, but don't share an edge! Their intersection is the single vertex !!0000!!. This is analogous to the way, in three dimensions, a line and a plane can intersect in a single point, but the Flatlanders can't imagine a plane intersecting a line without containing the whole line.

Finally, the total number of subspaces in an !!n!!-cube is seen to be !!3^n!!, because the subspaces are in correspondence with elements of !!\{0, 1, X\}^n!!. For example, a square has !!3^2 = 9!! subspaces: !!4!! vertices, !!4!! edges, and !!1!! square.

[ Previously related: standard analytic polyhedra ]

[Other articles in category /math] permanent link

More about the seventh root of a 14-digit number

I recently explained how to quickly figure out the seventh root of the number !!19203908986159!! without a calculator, or even without paper if you happen to know a few things.

The key insight is that the answer has only two digits. To get the tens digit, I just estimated the size. But Roger Crew pointed out that there is another way. Suppose the number we want to find, !!n!!, is written as !!10p+q!!. We already know that !!q=9!!, so write this as !!n = 10(p+1)-1!! as in the previous article. Then expanding with the binomial theorem as before:

$$ \begin{align} n^7 & = \sum_{k=0}^7 \binom 7k\; (10(p+1))^{7-k}\; (-1)^k \\ & = (10(p+1))^ 7 + \ldots + \binom71 (10(p+1)) - 1 \\ \end{align} $$

All the terms except the last two are multiples of 100, because they are divisible by !!(10(p+1))^i!! for !!i\ge 2!!. So if we consider this equation mod-!!100!!, those terms all vanish, leaving:

$$ \begin{align} 19203908986159 & \equiv \binom71 (10(p+1)) - 1 & \pmod{100} \\ 59 & \equiv 70(p+1) - 1 & \pmod{100} \\ 90 & \equiv 70p & \pmod{100} \\ 9 & \equiv 7p & \pmod{10} \\ \end{align} $$

and the (only, because !!\gcd(7, 10) = 1!!) solution to this has !!p=7!! since !!7\cdot 7=49!!.

This does seem cleaner somehow, and my original way seems to depend on a lucky coincidence between the original number being close to !!2\cdot 10^{14}!! and my being able to estimate !!8^7 = 2^{21} \approx 2000000!! because !!2^{10}!! is luckily close to !!1000!!. On the other hand, I did it the way I did it, so in some sense it was good enough. As longtime Gentle Readers know already, I am a mathematical pig-slaughterer.

[Other articles in category /math] permanent link