Double Maths First Thing is halfway through Ouch to 5k.
Hello! My name is Colin and I am a mathematician on a mission to spread the joy of doing maths. And this week, I’ve been doing some cool maths, looking at Oskar van Deventer’s Blocks puzzle and models of crowd movement.
I’m also half-following the British & Irish Lions rugby tour: I’m told by reliable sources that no pair of the 47 squad members share a birthday. What are the chances?!
Links
Since pi approximation day is coming up next week, let’s start by looking at pi’s evil twin, the lemniscate constant.
If you or someone you know has recently finished a great dissertation, and wants to write an article about it for Chalkdust (a magazine, I understand, for the mathematically curious), the IMA are offering a £100 prize to the best submission. Learn more here.
That’s all I’ve got for this week. If you have friends and/or colleagues who would enjoy Double Maths First Thing, do send them the link to sign up — they’ll be very welcome here.
Meanwhile, if there’s something I should know about, you can find me on Mathstodon as @icecolbeveridge, or at my personal website. You can also just reply to this email if there’s something you want to tell me.
Double Maths First Thing couldn’t possibly comment.
Hello! My name is Colin and I am a mathematician on a mission to spread joy and delight in engaging with maths, for any reason or for none. I’ve made it back from rehearsal and am feeling a lot better (thanks for asking).
(By the way, if you know of any Colin-shaped work, please let me know about it — I’d love something stable, remote, part-time and reasonably paid but neither soul-crushing nor burnout-inducing. Plus the moon on a stick, obviously. I can write. I can code. I can solve weird problems. There must be something, right?)
Links
Let’s start with something on my to-read list: Tai-Danae Bradley’s guide to category theory and notes on Applied category theory. I feel like there’s something going on a level up from where I normally look at things and that category theory might be a lens to examine it through.
And following on from Minesweeper in issue 2B, we’ve now got Mark Round’s Primesweeper. Which is not in the slightest bit stressful.
Currently
I enjoyed the Finite Group livestream last week, especially the bit about bees’ ancestry following a Fibonacci sequence. You can join and, for a very reasonable monthly outlay, have access to some of the previous livestreams and all of the new ones. (You can even join for free and hang out in the Discord with awesome maths people.)
One small appeal from me: it’s striking, looking back through past DMFTs how heavily the links skew towards male (or male-presenting) mathematicians. I’m keen to amplify the voices of women and other members of under-represented groups. if you stumble on a link spoken in such a voice and think “I’m not sure Colin would be interested” or “I don’t want to bother him” — I’ll tell you right now, it’s no bother and I’m certainly interested.
That’s all I’ve got for this week. If you have friends and/or colleagues who would enjoy Double Maths First Thing, do send them the link to sign up — they’ll be very welcome here.
Meanwhile, if there’s something I should know about, you can find me on Mathstodon as @icecolbeveridge, or at my personal website. You can also just reply to this email if there’s something you want to tell me.
Double Maths First Thing could really do with a hot lemon and honey
Hello! My name is Colin and I am a mathematician on a mission to shift this blooming cold before the weekend, when I’m meant to be in Peterborough to rehearse for the PRE show in August. Have I mentioned that previously? We’re playing at the Warwick Arts Centre as part of Talking Maths in Public.
Speaking of TMiP (and I know this belongs under “Currently”, but continuity > consistency), the animation challenge for July is live. Can you show that two reflections make a rotation?
As I say, I’m a bit under the weather this week (which might explain, if not excuse, my triple DNF at the cubing competition; I’ll be trying again in September. One of them was very close, but you don’t get anything for that) and I’ll be keeping DMFT correspondingly short.
The only horrifying thing about Simon Tatham’s Portable Puzzles Collection is the amount of time it has sucked out of the world over the last however-many years. His version of Minesweeper — which, unlike the version that comes with a popular OS, is always solvable, is twenty years old.
Another great name of British espionage and subterfuge was William Playfair, who — among other pieces of villainy, invented (or at least popularised) the pie chart.
Meanwhile, there’s been some commotion over the recently-constructed monostable tetrahedron, a shape that always lands on the same face. The paper claims that they built and lost a model in the 1980s. It’s not lost, it’s on Colin Wright’s desk, potato patato.
The deadline for the next Carnival is… not approaching as quickly as I thought, it’s a double-header and posts need to be in by August 1st.
What is approaching quickly is the next Finite Group livestream: all four of the generators will be trying to tell us something we don’t know on Friday July 4th (7pm UK time). Free membership grants you access to the Discord, where all the cool people hang out, and paid memberships allow you to watch the livestreams, as well as other goodies.
That’s all I’ve got for this week. If you have friends and/or colleagues who would enjoy Double Maths First Thing, do send them the link to sign up — they’ll be very welcome here.
Meanwhile, if there’s something I should know about, you can find me on Mathstodon as @icecolbeveridge, or at my personal website. You can also just reply to this email if there’s something you want to tell me.
We do these things, not because they are difficult, but because they are ridiculous – Matt Parker, probably
Matt Parker is going to the moon. I mean, not literally. Everyone’s favourite Stand-Up Mathematician is the sort of person who’s more likely to go to hyperspace than to space. However, when Matt was approached to do “something ridiculous” with spare computing power on a lunar rover, there was only ever going to be one outcome: an attempt to calculate \( \pi \) on the moon.
But… why?
That is an excellent question, beautifully presented. I compliment you for asking it. Next!
Moon-te Carlo
Because it’s important to do ridiculous things properly — there’s no point in going to the moon and doing calculations you could do on Earth — Matt made the decision to approximate \( \pi \) using the readings from the rover as a source of randomness for a Monte Carlo calculation.
Monte Carlo methods are typically used to work things out when it’s too difficult or too boring to do them analytically. While there were some earlier randomised calculation methods — Buffon’s needle, for example — the first real Monte Carlo experiment was done by Stanisław Ulam while recovering from an illness. Ulam wondered how likely it was that a game of solitaire would come out successfully and, rather than calculate it properly, decided to play a hundred games and count how many they won. It was a short step from there to the atomic bomb.
Matt showed the standard Monte Carlo approach to calculating \( \pi \) in the video announcing the moon \( \pi \) project — it’s often used as a simple example when introducing the idea. If you put a circular dartboard in a square box that just fits it, and threw darts at the box, assuming you were equally likely to hit any point in the box, each dart would have a probability of \( \frac{\pi}{4} \) of hitting the dartboard. If you threw 100 darts and 80 of them hit the board, you would conclude that \( \frac{\pi}{4} \approx 0.8 \) and that \( \pi \approx 3.2 \). Throwing more darts should get you a better estimate — although rather slowly. If you throw \( N \) darts, the standard error of your probability is proportional to \( N^{-\frac{1}{2}} \), which means becoming half as inaccurate requires four times as many darts.
An image from Christian’s Pi Day simulation, which does exactly this experiment. 10,233 out of 13,083 “darts”, coloured blue, have landed in the quadrant while the remainder landed outside, coloured red. That gives an estimate for \( pi \) of 3.129 or so, off by about 0.013. To improve that to “off by about 0.0065”, we’d need four times as many darts — 52,000.
Holding out for a Hero
Matt famously thinks Heron’s formula is one of trigonometry’s most remarkable results. It’s been known to make Matt extremely emotional. So, naturally, my first thought was “I bet an approach based on Heron’s formula could converge more quickly.”
And it could! The approach entailed starting with a right-angled triangle with legs of length one inside a unit circle in the first quadrant. It would then pick a random x-coordinate between 0 and 1, figure out the corresponding point on the arc, and add a triangle based on the two adjacent points. Here’s the code. It converges to several decimal places within 10,000 iterations.
But that’s not really Monte Carlo, now, is it?
That is an excellent question, beautifully presented. I complime… what do you mean, I need to answer it? Who’s writing… OK. Fine. Sheesh.
You’re right, this isn’t a traditional Monte Carlo method. While it uses random points, it doesn’t use them to generate a probability. I do still maintain that it’s technically a Monte Carlo method, using a very involved adaptive weighting function, but I take the point.
What about proper Monte Carlo methods?
A less sophisticated (but still significantly more efficient than the integration-by-darts method) approach is to use the fact that \( x^2 + y^2 = 1 \) on the unit circle. If you pick an \( x \) value at random, you can immediately calculate the probability of a random \( y \) value giving a point inside the circle — it’s \( \sqrt{1- x^2} \). Rather than sample and add 1 or 0 to your total to approximate the probability, why not just add the probability? This converges very nicely.
The mean distance of a point on the circle from the axis is \( \frac{\pi}{4} \) — a fact we’ll (likely) be using for the actual experiment on the moon.
I’m not officially allowed to reveal that the reason for my interest in calculating \( \pi \) on the moon is that I’m helping to design Matt’s experiment, or that my codename is FizzBuzz Aldrin. (Is that lede sufficiently buried? Excellent.) And I’m definitely not officially allowed to say what we’re actually doing, because I imagine Matt will want to do a video about it.
However, I can say that the method above is equivalent to the fact that the expected distance between a point on the unit circle and an axis — any axis — is \( \frac{\pi}{4} \). By extension, using the magical incantation “SYMMETRY!” and a magisterial wave of the hand, it turns out that any point on a unit sphere is — on average — \( \frac{\pi}{4} \) from any axis of the sphere. That’s a fact that could be exploited, just to pick a random example, by a simulated rover making random moves on the surface in a sort of random moonwalk.
It would take small steps for a rover, and giant LOOPs for Matt-kind.
You can donate to Matt’s kickstarter here, if you’re so inclined. At the time of writing, they’ve raised well over a quarter of a million pounds towards their £75k target, so I’m looking forward to them launching their own space mission before long.
If you’re a teacher who wants to be involved, you can sign up here. Get the kiddos to estimate \( \pi \) by hand and they’ll get (I understand) a certificate, possibly their own value of lunar \( \pi \), and their name in a text file that goes to the moon. [Edited 2025-06-26 for formatting and to clarify that the personal \( \pi \) value is not guaranteed.]
Hello! My name is Colin and I am a mathematician on a mission to the moon! But I’m also on a mission to spread joy and delight in doing maths anywhere in the cosmos.
Talking of doing maths in strange and hostile environments, I’m going to Bristol this weekend for my Rubik’s cube competition. Going by my current success rate at blindfold, it’s about 60-40 whether I’ll manage to complete a solve.
This week I’ve also been working on a nice combinatorics problem with Zoe Griffiths for her AEOUD talk about finding sets of children’s names with no common letters. I learned that in 2023, at least three families decided to name a child “C”. I don’t like to judge, but that feels even worse than calling them JavaScript.
Links
There’s a breathless, magaziney furore over a link between primes and integer partitions (ArXiv paper here) — it’s not my field, and part of me doesn’t feel very surprised that there’s a link, but having used the method of “Leonhard Euler would have thought of that already” to rebut a “proof” this week, I feel like there’s a corresponding method of “if it was trivial, Ken Ono wouldn’t be publishing it.”
Here’s an old post from David R Hagen about an XKCD cartoon. He wonders “how come the 11th of the month doesn’t show up as often as it should?”
I enjoyed Vanessa Madu’s talk at Big MathsJam about rubber ducks and ocean currents, but I also enjoyed her article about consecutive odd semi-primes, another of those questions that you didn’t know you needed to wonder about, and which then drops out quite neatly. Quack!
Currently
It’s a big couple of weeks for the Finite Group, with a livestream today (June 25th, 2pm UK time) and another in a couple of weeks (Friday July 4th, 7pm UK time) — meaning that joining today for £4 will get you access to both. Bargain!
You’ve got a week or so to submit entries for this month’s Carnival — and I imagine Katie would love it if you volunteered to host a future event. (It’s not that much work if you’ve already got a blog.)
That’s all I’ve got for this week. If you have friends and/or colleagues who would enjoy Double Maths First Thing, do send them the link to sign up — they’ll be very welcome here.
Meanwhile, if there’s something I should know about, you can find me on Mathstodon as @icecolbeveridge, or at my personal website. You can also just reply to this email if there’s something you want to tell me.
The other was Matt Parker going to the moon — or at least sending code to the moon to estimate pi. The kickstarter is already way beyond its goal, and schools are encouraged to get involved. I keep telling non-mathematicians about it, and they look blank and say “… why?!”. I shake my head at them. IT’S MATHS ON THE MOON! (I seem to be involved in the project. It is great fun working with bizarre restrictions.)
Links
My favourite link of the week is this, from Abigail Pain, in which she hacks into her cybersecurity homework assignment to avoid having to do it. This falls squarely in the mathematician’s remit of going to extreme lengths to avoid doing any proper work. Of course, there’s also a relevant XKCD.
Walking legend Robin Houston has pointed me at an online version of Stewart T Coffin’s The Puzzling World of Polyhedral Dissections, which I’ve barely had a chance to glance at, because I would vanish into it for a couple of weeks and DMFT wouldn’t go out on time, my work would go unfinished and neither the kids nor Pete would be fed. If you can read it and summarise for me, that would be great, hmmkay?
What else is good here? Oh yeah square theory. I keep flipping between “this is really obvious” and “that’s actually a really nice model for several things I enjoy” — crosswords, jokes, and proofs.
And my most fun fact of the week: Raisa Smetanina won an Olympic gold medal for cross-country skiing a couple of weeks before her sixth birthday.
Currently
There’s a Finite Group livestream taking place a week today (on Wednesday 25th June) at 2pm UK time. It’s Games Time with James Grime, which is a good title because the names rhyme.
The Carnival of Mathematics is coming home this month, being hosted by Katie at the Aperiodical. If you’ve got a blog that could provide a future stopping-point for the Carnival, let Katie know!
Also, Talking Maths in Public is a couple of months away — whether a Pseudorandom Ensemble show is enough to persuade you or not, bursaries for those who wouldn’t otherwise be able to go are available, but the deadline is this Friday, June 20th at noon UK time.
That’s all I’ve got for this week. If you have friends and/or colleagues who would enjoy Double Maths First Thing, do send them the link to sign up — they’ll be very welcome here.
Meanwhile, if there’s something I should know about, you can find me on Mathstodon as @icecolbeveridge, or at my personal website. You can also just reply to this email if there’s something you want to tell me.
Hello! My name is Colin and I am a mathematician on a mission to spread joy and delight in playing with patterns, puzzles, figures and logic.
First up, an apology: in last week’s issue, I mistyped the number of solvable nonograms: rather than 25,000, there are 25,000,000. As of Tuesday evening, humanity has solved about 27% of them. Good work, fellow humans!
Links
One fellow human doing good nonogram work is Lucas Cimon, who has developed code to generate nonogram QR codes. He says it will likely be “difficult to solve manually”.
Since we’re looking at puzzles and logic, all-round good egg Tony Mann has pointed me at a remarkable 4-by-4 sudoku and Cracking the Cryptic’s solution video. Meanwhile, there’s a ferocious argument going on in the group chat about Zp-ordle, the daily puzzle game for people who think Wordle needs more p-adic integers. (Which is everyone, right?)
There’s one question on everyone’s lips: “Will Jesus Christ return in an election year?” Eric Neyman explains why the likelihood given on Polymarket is 3%, considerably higher than most analysts would predict.
And in mental arithmetic news, Niklas Oberhuber estimates some logarithms. (I particularly liked that 5^10 is about 9.8 million, which I’ll store in the Useful Approximations drawer of my brain.)
Currently
It’s mid-month, which means that your local MathsJam is coming up soon (Tuesday 17th in many locations, including Weymouth). Find yours here, or email Katie to find out how to start your own.
That’s all I’ve got for this week. If you have friends and/or colleagues who would enjoy Double Maths First Thing, do send them the link to sign up — they’ll be very welcome here.
Meanwhile, if there’s something I should know about, you can find me on Mathstodon as @icecolbeveridge, or at my personal website. You can also just reply to this email if there’s something you want to tell me.
