Check out Geoff's channel. Here's a video I'm in about Platforms Zero: • Visiting All Platform ...
Find your nearest Park Run: www.parkrun.com/
Thanks to all of Geoff's running buddies for being involved. This is Matt's Runderground channel: / runderground
Cheers to my Patreon supporters who keep this whole channel running. But not literally. You can also help support and shape the videos I make: / standupmaths
CORRECTIONS
- 10:49 Yes, I said "converges" by accident when filming and I dropped in a "diverges" in the edit. I don't think anyone will notice.
- I think my big divergent observation may not hold! Clarence Lam was the first to spot that the lead n out the front of the series can explain the increasing times without the series itself needing to diverge. I suspect there is still an argument to be made around the rate at which times go up outpacing n, but I’m not sure it’ll be super intuitive.
-Let me know if you spot any other mistakes!
Early morning filming and editing by Alex Genn-Bash
Props by Matt Parker
Music by Howard Carter
Design by Simon Wright and Adam Robinson
English subtitles by Max, Rob Macdonald, Eric Rodríguez and Matt Parker
MATT PARKER: Stand-up Mathematician
Website: standupmaths.com/
US book: www.penguinrandomhouse.com/bo...
UK book: mathsgear.co.uk/collections/b...
Ok, many are suggestion I should have stood up to reveal an even bigger table next to me. Great concept, but ideas like that require some serious resources. *cough* patreon.com/standupmaths
Hi
second
…and there was the recursive “first a sense-check”before we start the sense-check. As usual, I wish I had undertaken another layer of sense-check before watching a Matt video.
Nobody noticed the "diverges" was fixed in post Matt. good job.
@@Eli-su6ql I did but figured it was his math autocorrect tool.
You were right, we all knew there was a second even SMALLER miniature table prop
And that makes us very happy :)
I was kinda expecting him to go out a layer as well, and standing up from the table between a giant clock and calendar prop
I was thinking, he wouldn't have stopped with one 1/10 scale model, and I knew it, I was very happy to see that
and it was absolutely worth it
I legitimately laughed out loud with relief when the smaller one came out. The pause where he should have got it was just a smidgen too long. Perfection!
Recursive tables was definitely the pro-KZheadr move.
I would like this, but it's at 420 likes so...
Guess I'll have to wait until 669 likes!
The second layer got me. Earned the thumbs up
It reminded me of something Vsauce would do. Who, by all means, is a certified pro-KZheadr.
The third table got an instant up-vote!
Thank you for having me as a guest! My official parkrun time was confirmed to be still *one* second out 😭
Thank you for sharing this! A little shame you couldn't have texted him on the day. Statistically, even sandbagging it should take a few attempts, so you prove the point
Subbed, I need motivation to get back into cardio
It's been a few months, have you gotten your time?? Fingers crossed for you!
showcasing your prop ability whilst explaining probability, what a beautiful moment
Nice. A djadj joke.
+
The way Matt could read our minds with the third level of recursion was a very neat trick.
Recursive patterns are predictable, but not as predictable as people making jokes about recursive patterns.
@@vigilantcosmicpenguin8721 People making jokes about recursive patterns are predictable, but not as predictable as people making jokes about people making jokes about recursive patterns.
This recursion joke was no joke. It's a nerd's duty.
This recursion joke was no joke. It's a nerd's duty.
This recursion joke was no joke. It's a nerd's duty.
I hate to break it to you guys, but due to how YT comments work, you can only do one recursion. All the rest would be iteration jokes. This technically correct joke was no joke, It's a nerd's duty.
@@TlalocTemporal thank you i knew something was off
A park run special, as opposed to a Parker run, where you give running a go, but don't really get the result you wanted.
I was going to make a similar joke but take my like instead.
It's sad Matt doesn't run anymore. He could've earned himself the nickname "Park Run Parker"! You know, basically the opposite of "Run, Forrest, run!"
@@unvergebeneid Wow, I got to laugh three times at this, understanding one little detail at a time :D
@@SpassNVDR 😄😄😄
@@unvergebeneid Is a parkrun parker someone who turns up at parkruns and doesn't get out of their car? Matt could then be the parkrun Parker^2, rearranging would make him the park^3 runerer.
You can't conclude that the harmonic series diverges just because the expected time goes to infinity. The expected time reaches infinity because n goes to infinity. n being finite doesn't mean that the harmonic series goes to infinity; it just so happens that both n and nth harmonic number go to infinity. If the n out front were replaced with a *constant*, then you could conclude that. As an example, consider the function f(n) = n(1+1/2+1/4+...+1/2^i+...+1/2^n). f(n) reaches infinity as n goes to infinity, but clearly (1+1/2+1/4+...+1/2^i+...+1/2^n) doesn't diverge; it's always less than 2. So the argument here doesn't work.
Parker divergence of a series
Parker proof
I think you’re right: that lead n breaks my divergent observation. I suspect the result may be salvageable but not in any intuitive way.
I think the argument can be saved if you observe the average time needed to collect a coupon ( n(1+1/2+...+1/n)/n ) diverges as the number of coupons goes to infinity.
@@fejfo6559 The problem is, that is not intuitive. The first coupon always takes one try, the one in the middle on average 2. Sure, the last one takes on average n, but that might be negligible among the n coupons. It's not that hard to prove that the harmonic series diverges, but I don't think the park runs can give an easier explanation.
I was so pumped to start this challenge, knowing I had a 60/60 chance of getting my first 'coupon.' Little did I know that you actually had to finish the run to do so...
The recursive tables gag really put the 'stand-up' in 'Stand-up Maths'.
Puts the sit down in stand-up math. Lol
Is 2 layers even enough to deduce recursion?
As someone writing my Bachelor's on this exact problem (and the Poisson Process) this was a gem to watch.
Luckier than all those runners!
What are you majoring in?
By "this exact problem" you mean tables with unnecessary props, right?
@@DonReba I wish!
@@ajschlem Well, technically I'll be a maths and physics teacher, but I do get the swedish equivalece of a bachelors in maths (and physics if I just write the thesis since im eligible for it).
I don't think the seconds would be uniformly distributed even when you're not trying. That would require your time to fluctuate much more than a minute and I think most people run more consistent times. Also, while training you gradually increase your time and might "scan" through a minute, so that way you'd need less runs than if it was randomly distributed.
Hi, runner here. Of course I run a consistent time (when lucky, even slightly increasing), but not that consistent. A variation of +/-1min is to be expected - at least in my case. Additionally one has to take different terain features across locations into account.
If you scan over a minute, there's not an insignificant chance of missing a seconds value. If you converge on a run time, which is a reasonable assumption for most runners, then your chances of achieving previously skipped times are much, much lower, thereby increasing the number of runs necessary. So, even though I agree with your modelling, I think a uniformity assumption is still a safe approximation.
@@tth-2507 Yeah I was thinking about time per kilometer, which is pretty consistent for me (basically between 4min 20 and 4min 30 every time). I forgot that you have to multiply the spread by 5 for 5km obviously. It would still cluster, but less than I had in mind.
It would be cool to see the time distribution of a runner on the park run
Matt's time (Runderground Matt, not Matt Parker) was around 22 minutes. At that pace, a variation of a minute is less than 5%. That seems reasonable, especially given variable weather and terrain - some parks are going to be hillier than others, for example.
16:03 Matt -single-handedly- bi-pedally saved the narrative of this video.
Really upset you missed the “run the numbers” pun!
Not to mention the Parker Run pun
I came here to say this
No he didn't, 1:18
He says it 10:57 as well
Me, "But you didn't make a tinier table prop for your tiny table prop." Mat, "You know I did!" Me, "Yay"
There's actually a recursive solution to this problem. Let f(n) be the answer for n coupons. Your first coupon is guaranteed to be a new one, after which you're left with n-1 coupons to collect, except, you have probability 1/n of getting your first coupon again so only (n-1)/n of your attempts matter. So f(n) = 1 + n*f(n-1)/(n-1). Divide both sides by n to get f(n)/n = f(n-1)/(n-1) + 1/n. Thus f(n)/n is the harmonic series up to 1/n, as expected.
4:59 I love you, Matt. I was hoping for it, wishing in my heart, and you did it!
The recursion bit was incredible, I might have to use that! This video is giving me discrete math flashbacks
11:40 the camera man awkwardly walking past the two other guys talking was hilarious but completely relatable
Let me tell you a joke about recursion: two people were sitting at a table, and one turned to the other and said "let me tell you a joke about recursion:"
In one of the early copies of the VRTX operating system documentation there were two entries: Recursion: see Hofstadter, Douglas Hofstadter, Douglas: see Recursion It made the nerd in me laugh out loud...unfortunately nobody else in the room got the joke...
Pete and repeat were sitting on a bridge. Pete fell off. Who was left?
@@Pseudomous Repeat?
This reminds me of the old seaside Fascination games where you had to sink balls in holes, 1 in each. At the start youd get loads but as you get closer to the end it'd get harder and harder to get the final ones.
Love the jokes and props; never stop, Matt : )
Two of my favourite KZheadrs together again! The platform 0 video made me subscribe here. Loved the Choose Corrour T-shirt too!!
So what you are saying is that to run every single possible trailing decimal amount of seconds, all I have to do is run 1/12th of one park run backwards? This should be easy!
-60/12
I might have missed something, but the -1/12 or -60/12 joke would have worked only if there was the (1+2+3+...) series instead of the harmonic one, right ?
@@ghislainbugnicourt3709 joke worked fine since you got it 😘
Next challenge: Do the run when a leap second is introduced to tick off the number 60.
that is possible with an absolute position in time, but never with a duration, I think
If the stopwatch is coded by an average programmer, yes.
@@jurjenbos228 but how should the result be displayed for the 61s minute case?
@@henrym5034 61s in minutes and seconds is 1 min 01 seconds, so 01 I guess?
@@jazzabighits4473 I mean it’s definitely correct to say 2017/01/01 00:00:00 is 61 seconds past 2016/12/31 23:59:00. It’s also correct to say it’s 1 minute past that (that minute has 61 seconds). That makes me wonder if it’s okay to say it’s “1 minute and 1 second” though.
The mean value would be n*(1+1/2+1/3+...+1/n). In that case, that would be 60*(1+1/2+1/3+...+1/60), or 280.7922. As you already mentioned. The variance, however, would be n²(1+1/2²+1/3²+...+1/n²) minus the mean. In this case, that would be 60²(1+1/4+1/9+1/16+...+1/60²) - 280.7922, or 5581.4676. That means the standard deviation is the square root of that, or 74.7092. So, for him to get so far under the expected value is not really that out of the ordinary.
Yeah, I just ran a bunch of simulations, and the complete set occurs by run 229 a bit under 28% of the time.
isnt that the average value is n*(1+1/2+1/3+...+1/n), but the mean value should be lower shouldnt it? The distribution of 1 out of 60 will be 1 to infinite. Which pulls the average tries needed to higher number than the mean. edit: sorry got confused with median. But I'm curious if the average or mean is the value people are really interested in. Or the value at which 50% of the people would have completed it
@@driwen The mean is exactly the expected value calculation done in the video. That's usually what we mean by average. The median is more complicated to calculate, but ends up being 267.5.
So I've run 1 milion loops (simulations). Average got pretty close: 281.78, min: 103 max: 1146
@@gmalivuk yeah as i said after my edit i got the median and mean confused. But this shows that we wont see a bell curve around 281 but before 267.
10:48 Sounds like editing Matt had to edit the right word in. 🤔 Why do I notice these things...
Can anyone read lips to see what he really said?
Harmonic series discovered from park runners. Amazing.
I was hoping for the third recursion level, but didn't expect you to do it. And I was very pleasantly surprised.
Thanks for giving the parkrun a shout out. I now have to cross post this in the Global Running Channel. They would probably get a kick out of it. I didn't know that there was a Parkrun Bingo.....in do now.
I was waiting for the second prop table Glad you didn't disappoint
I just want to validate that the extra effort to build out the props was absolutely worth it. I was laughing out loud by myself 🤣
I love the 10:45 "We've managed to prove that harmonic series -converges- *DIVERGES* "
I was kinda expecting him to go out a layer as well, and standing up from the table between a giant clock and calendar prop.
I feel like a more modern name for this problem might be the (unweighted) lootbox completion problem... (the weighted lootbox problem would be where different outcomes have different probabilities)
Holy crap man you're so close to the big milli! Good Luck!
Recently I saw a rerun on an old TV show where scientists were rating crazy inventions or build made by people (usually using KZhead videos), and you were there! Didn't remembered that, that was a nice surprise!
that recursion gag is the reason no mater how uninterested i am in the title, i will watch any video you put out, you're awesome!
Getting so close to 1 mil Matt! Hope you have a good video idea to celebrate:)
The initial Matt Parker comparison to the props seemed perfectly proportionally sized, but the Matt Parker that we had for the prop set of props was at least an order of magnitude too large, never mind the Matt Parker that was presenting the prop set of prop props!
Matt was like "if I can find them" and I looked at the remaining duration of the video and I was like "he couldn't find them". And that made me sad.
great video as always. love the props
Now that's what I call running the numbers.
Nice save at 10:48 🤣
“diverges”
Great video as always, but for me the highlight was to see Geoff smile and laugh so much 😎
All of this was interesting, but I was expecting an entirely different set of math about the odds of completing a 1/n task in n attempts, which is not 50%. If I remember correctly, as n increases, those odds converge on 1-1/e, and its fun to see how the formula to calculate it resembles (one of) the formulae for e.
Yeah, I was pondering this instead of sleeping... If I were to catch a bus, which comes once an hour, my expectation is to not wait for more than half an hour. If the bus were there I'd say it was a miracle. If I had to wait 59 minutes I'd say I was jinxed. But if I waited over an hour I'd say I wasn't paying attention. This probability starts as 1 / 60. So 59 / 60 it wasn't there. Then next minute would be multiplied by 58 / 59, and the next 57 / 58. Hmm... I could multiply that all out... hmm cancel the 59s, then cancel the 58s... so at 30 minutes I have 30 / 60 just as one would expect. BUT, if the bus doesn't come once an hour, but has a 1 / 60 chance of having left the depot, then there is a string of 59 / 60 multiplied together. That would make my expected wait longer. And by "expected" I mean the "life is fair" type of expectation where half the time I'm pleasantly surprised and half the time I'm a little disappointed, and very rarely see miracles or damnations.
Legendary crossover
This morning volunteered at my local park run, this evening watched a math video about Park run, a very recursive Saturday))
Geoff Marshall Collab. Gonna be a great video
I appreciate the gift of laughter in addition to the gift of knowledge.
Great video Matt! I was just solving this problem myself, the other day. I'm trying to collect one of every pokemon card in the latest set. I calculated it to be a LOT more packs of random cards than I'm willing to buy, so I'll just buy my remaining cards individually ;)
A park run in which you almost finish, but not quite, is known as a Parker run.
I'm very excited because after Matt stated the problem, I figured out the formula for myself and calculated, got 281, and was very happy when I skipped to the reveal, and he had the same answer!
The props were definitely helpful to demonstrate your point, Matt. Time well spent indeed
I was waiting for the prop on a prop table. Thanks for not letting me down, Matt.
This video is a perfect explanation of predicting fossil collecting in Animal Crossing!
I had the same thought but with collecting all the DIY recipes! My odds are not looking so great to find the one I am endlessly searching for :D
The profound knowledge shared to us by Matt that 60>52. I didnt know that before :) Great video mate!
Absolutely worth the effort!
15:25 “I used to be a runner like you, but then I took an arrow to the knee”
For the record, I really appreciated the recursion bit :)
12:23 Saying "Have a cup of tea or something" in a high pitched voice when upset is the most British thing
This was fantastic!
This may be my favorite Matt Parker recursion.
The average time to get k out of n "coupons" is a harmonic series which can be approximated by logarithms and inverting the question to "What's the average number of unique coupons after time t?" gives us k = n(1-e^(-t/n)) which fits nicely to the graph.
That recursion joke. That's the kind of quality joke I love you for.
I like the setup with the drawing tablet!
60 is a bigger number than 52 😲 You just never know what you're going to learn about math when you watch this channel!
The props made me laugh way more than I thought I was going to watching a math video 🤣🤣👌
4:57 LOL - I DID know! I was literally sitting there waiting for it.
You haven't actually proven that the harmonic series diverges. The argument says that as n approaches infinity the number of runs also approaches infinity, but n is not bounded as it approaches infinity. We could have a situation where n(H_n) only diverges because n diverges. EDIT: diverges, not converges.
At least we know it does not converge to 0 faster than 1/n sooo that is something XD (especially for a sequence with all positive terms)
Every single revile in this video is more fulfilling than the last!
I’ve done the maths for this before! Did parkrun here in australia for a few years, and this was one of the first things I worked out haha.
Matt is such a fun guy. Spending an afternoon guinea-pigging for his experiments while listening to his passion for maths would be one of my ideal days.
The miniatures were definitely worth the extra effort. Thx for the fun.
Extra Effort Earned a Like... keep up the good work.. Thank You...
I liked the video at that recursion joke; worth the extra effort to me!
The crossover we didn't know we needed!
I love how the end scene was like "Chariots of Fire"
Great work Matt!
Absolutely love how this is your typical intro-to-probability problem but solved completely using intuition. So stripped down from bulky theory and just beautiful
i really love the recursion joke, definatly worth the extra effort
Love the extra effort
My one criticism is about the last bit where you hypothesize that you're going to see two clusters, one for sandbaggers at below 281 somewhere, and one for 'the rest' at roughly 281. I dispute this, and would willingly bet money that the actual average of 'attempts' for people who don't know about the bingo at all is going to be significantly higher than 281. The 281 figure relies on a randomized finishing time, and that's simply not going to be the case for... well, anyone who's going to be running exactly 5km regularly enough to even reach 281 runs in the first place. Their time from run to run is simply going to be too consistent to be compared to a 60sided die.
Fair point, though I don't think you would see THAT much consistency in the seconds value unless you're talking professional or short-distance runners. In my experience of running casual 5 or 10k races (like the one in this video), there is likely to be consistency in minutes, but not so much for seconds. All you need to do is deviate from your average time up to +/- 30 seconds, and any of those 59 values are game. When you consider variables like the weather, how much sleep you got, your general energy level that day, etc, I don't think it's that far-fetched to get (almost) effectively-random seconds values. So while I agree that the value would certainly be higher than 281 (because you're right, it's not like rolling a 60-sided die), I don't think it would be particularly significant.
@@dflosounds I guess it's possible it won't be a significant deviation, though I still imagine it would be when averaged across a large sample. It'd definitely be very interesting to see data on it though.
@@dflosounds Fair enough, but it's not really accurate to say you can deviate by ±30 seconds and expect a flat distribution. It's probably more Gaussian, so you need that 60-second interval to be well inside the meaty part of the bell curve. Not way out at the edges of it.
@@Hakasedess Would definitely be interesting!
Hakkapeele, it looks like you've missed something, but if we take your objection with the bit it looks like you've missed, we get an interesting question. We're dropping the minutes value of the time; we're only taking the seconds value. Now, I don't know how long a 5km run could be in minutes; I'm deliberately not looking at that. Instead, what I'm thinking is, _if the number of minutes is large enough,_ even the most consistent runner will only be consistent to the nearest minute. Then things get interesting. If a runner has a 1-minute range, would the distribution of times be a bell curve? What if he has a 90-second range of times? I think it gets way more complicated than I can work out in the middle of the night with a headache, at least. :)
This analysis makes the unsafe assumption of a uniform distribution of finishing times across the seconds. Over long enough distances this this assumption is likely increasingly safe, but consider the distribution of finishing times you'd see for a 50 meter dash: probably a Gaussian distribution (AKA "bell curve"; with Olympic sprinters at one end, couch potatoes at the other, and most of us around the middle). Even at longer distances like 500 meters - 1k meters you likely still don't see a uniform distribution across the seconds. Not to nit-pick: I loved the video and really appreciated seeing the approach taken, just trying to particulate as a supportive KZhead collaborator thinking about other ways to refine the theoretical analysis. Looking forward to future episodes!
3:47 Whoa whoa whoa, slow down there, braniac! This is a lot of information to process!
All hail, the Amazing Mark - he who digs Matt Parker out of a hole of his own making, by simply being a Thoroughly Decent Chap. Thank you, Mark - you're a good egg!
I would love to see a video explaining the geometry calculations for the Olympic ski jumpers when they move the starting gate!
i would have been disappointed if there was not a second miniature table. Thank you :D
I love British KZheadr crossovers and recursion jokes!
You had me there for a second. I was starting to worry you didn't make a second recursive miniature table.
How did I miss this Video... Amazing Job.. I guess we will never see the parker sandbag metric
I liked the video because of the extra recursion effort. That second level in pushed did it for me.
Congrats on 1 Million! Soon™️
this ‘fun activity’ will be in my personal purgatory
Call me shallow, but the lighting, colours, and exposure of the video look really good for a cloudy day in a park. Props to the cinematographer. I'm sure the content of the video is great too.
Hey Matt! I love your channel, been watching for years! I love card games and collecting various trading cards, and was wondering if you could do a statistics video based around trading cards!
It wasn't one of Matt's, but there is a Numberphile video about collecting Panini world cup stickers. Look up "The Math (and money) of Soccer Stickers"
the props were DEFINITELY worth the extra effort. Totally agreeed Matt
Yeah! Love parkrun!!
I gotta give you props, that recursion joke was great.