Does -1/12 Protect Us From Infinity? - Numberphile

Поделиться
HTML-код
  • Опубликовано: 25 дек 2024
  • НаукаНаука

Комментарии • 2,7 тыс.

  • @numberphile
    @numberphile  10 месяцев назад +149

    Also newly uploaded today about -1/12: ruclips.net/video/FmLIGN8ZGdw/видео.html
    And see the full -1/12 playlist at: ruclips.net/p/PLt5AfwLFPxWK2zCU-4X1iuuu5m8hf6L1B
    -1/12 shield sticker and tee: numberphile.creator-spring.com/listing/1-12-shield-numberphile

    • @sulabhvarshney1721
      @sulabhvarshney1721 10 месяцев назад +1

      Beautiful video.
      if we are able to regularise the most basic summation sum(n) without throwing away infinity, like this video, I guess very soon we would be able to regularise every other infinite sum with some combination of above weighting functions and some other known techniques. May be we misunderstood infinity till now. can someone do it for 1+1+1+1+1+..... ? may be we get a finite sum for this too.
      another thing that struck me is that all of this is not for a continuum set like R but for N , and Quantum Theory is about denying the continuum at various places. May be there is a subtle but a fundamental reason why such results find their shadows in bits and pieces in Quantum Theory. Something like you always find a circle somewhere whenever there is pi in some formula.

    • @flymypg
      @flymypg 10 месяцев назад +9

      For some reason, the constant refocusing on this video made me slightly motion sick. PLEASE either stop down the aperture or add a separate overhead PaperCam!

    • @kennethgee2004
      @kennethgee2004 10 месяцев назад +4

      but then you can choose a regulating function at results in the -1/12 being canceled with with some C +1/12. This shows that the series is divergent as you can get any result you like. I would also point out that all the infinitely small numbers are known as infinitesimals and are the basis of how we perform calculus in the first place, so you cannot simple ignore an infinite amount of infinitesimals. This goes along the same lines of you cannot zap an infinite amount of zeroes in an infinite series without changing the value.

    • @sbok9481
      @sbok9481 10 месяцев назад

      Infinity plus 1 is NOT Infinity. Because if it was, then 1 has to be treated as 0 in an infinity equation. There is something called an infinitesimal unit. That unit can represent 1. And that unit is as far from 1 as infinity is from the integer 1. It means that 1 could even represent 1 google, if we count in Google units.
      -1/12 is only believed by those that are too lazy to use common sense. With all respect to Ramanujan.

    • @rickytaylor3623
      @rickytaylor3623 10 месяцев назад +2

      There are 12 fundamental particles that interact with the higgs field that causes them to slow down from the speed of light providing the minus sign🤷

  • @cmelonwheels
    @cmelonwheels 10 месяцев назад +978

    "I saw a tweet that made me so mad that I disproved it and wrote a paper about it" is the best way to do research

    • @TurdBoi666
      @TurdBoi666 10 месяцев назад +12

      Based

    • @JorgetePanete
      @JorgetePanete 10 месяцев назад +23

      "I saw a tweet that made me so mad" is always true

    • @Paulo_Dirac
      @Paulo_Dirac 10 месяцев назад +5

      now that tweeter is called "X" what are tweets called?
      someone write a paper about that please

    • @supersuede91
      @supersuede91 9 месяцев назад +22

      @Paulo_Dirac No one calls it X, we all still call it Twitter and tweets

    • @JorgetePanete
      @JorgetePanete 9 месяцев назад

      @@supersuede91 Xitter
      xeets

  • @atrumluminarium
    @atrumluminarium 10 месяцев назад +1458

    For what it's worth, the original -1/12 video is the reason I went on to study maths and physics in uni and here I am now 😂

    • @co2metal
      @co2metal 10 месяцев назад +24

      Doubt

    • @atrumluminarium
      @atrumluminarium 10 месяцев назад +49

      @@co2metal 🤷‍♂️

    • @Intellllect
      @Intellllect 10 месяцев назад +82

      So -1/12 didn't protect you from infinities, quite the opposite.

    • @v2ike6udik
      @v2ike6udik 10 месяцев назад

      And now you go to work for corps/state/mill and start removing ppl with fake saiens.

    • @vigilantcosmicpenguin8721
      @vigilantcosmicpenguin8721 10 месяцев назад +24

      @@Intellllect Some must make the sacrifice of fighting infinity to save the rest of us from it.

  • @justforfunforever1010
    @justforfunforever1010 10 месяцев назад +628

    I was more or less mathematically illiterate and despised everything mathematics, and then I watched this video back in the day and it really intrigued me. Now, a few years later I am a grad student in pure mathematics, and it all started with watching these videos, particularly the one about -1/2! You can say what you want about the rigor of these computations, but for me, this is what started my love for mathematics!

    • @sachamm
      @sachamm 10 месяцев назад +9

      haha that's a great story!

    • @QContinuuum
      @QContinuuum 10 месяцев назад +17

      That is great, thanks for sharing it. The -1/12 videos also rekindled my interest in maths, as did the superb video of hackerdashery on the p vs. np problem

    • @RekiWylls
      @RekiWylls 10 месяцев назад +11

      That's awesome! I still do that hacky "proof" in my junior-level high school math classes sometimes just to rope students in in pursuit of exactly that response.

    • @AndrewWolboldt
      @AndrewWolboldt 10 месяцев назад +8

      I subscribed to numbphile 10 years ago because of -1/12 video

    • @samueldeandrade8535
      @samueldeandrade8535 10 месяцев назад +5

      Wow, that's a story! Hahaha. What a surprise.

  • @seifqiblawi4546
    @seifqiblawi4546 10 месяцев назад +694

    You can genuinely feel Tony going "I told you so!" to everyone by the way he's talking. Man's been brooding for literally a decade

    • @InXLsisDeo
      @InXLsisDeo 10 месяцев назад +22

      Sqrt(-1) isn't intuitive either. But it's now well understood, and it wasn't well understood for hundreds of years, and yet it was used since Bernouilli. We are with inifinite series at the same place Bernouilli was when he was using sqrt(-1) without really knowing if that was legitimate.

    • @herbie_the_hillbillie_goat
      @herbie_the_hillbillie_goat 10 месяцев назад

      @@InXLsisDeo No we're not. Infinite series are well understood and the imbecil in the video needs to give it up. The of whole numbers diverges. Always has, always will.

    • @Lolwutdesu9000
      @Lolwutdesu9000 10 месяцев назад +21

      You do realise he didn't tell anyone anything. This entire video is just avoiding the simple fact that he's wrong, with extra steps.

    • @yosefmacgruber1920
      @yosefmacgruber1920 10 месяцев назад +2

      @@InXLsisDeo
      But there is no solution in the reals. No real times itself yields a negative product. Complex numbers, problem solved. This question can not be solved that way, because it obviously blows up to infinity.
      So what does Tony say that infinity + 1 equals? Less than infinity?

    • @ericgoldman7533
      @ericgoldman7533 9 месяцев назад +3

      Maybe that's part of why I'm so put off by this one.

  • @Mk-qk5bw
    @Mk-qk5bw 10 месяцев назад +194

    One thing i love about numberphile is how passionate these very intelligent people are about such an awesome topic. Very nice change from the constant bombardment of low level nonsense. Thank you numberphile

    • @sloaiza81
      @sloaiza81 10 месяцев назад +6

      well said.

  • @1104Tea
    @1104Tea 10 месяцев назад +889

    Good lord have i really been watchng your videos for 10 years or more? Time sure flies by.

    • @dagudelo88
      @dagudelo88 10 месяцев назад +8

      i had the same thought.

    • @bnm0312
      @bnm0312 10 месяцев назад +3

      @@dagudelo88Likewise!

    • @ram79la
      @ram79la 10 месяцев назад +1

      same!

    • @PhilBagels
      @PhilBagels 10 месяцев назад +2

      I've been watching these videos for -1/12 years. That's negative one month.

    • @scriptorpaulina
      @scriptorpaulina 10 месяцев назад

      It’s been 12 years… I can’t imagine

  • @dmitryrybin7831
    @dmitryrybin7831 10 месяцев назад +673

    If you plot the graph f(N) = N(N+1)/2, it is a parabola that intersect X axis at points 0 and -1. The area bounded by parabola between 0 and -1 is exactly -1/12

    • @Mortys_Toilet_Attendant
      @Mortys_Toilet_Attendant 10 месяцев назад +61

      My dad showed me that just after the first -1/12 video!

    • @adb012
      @adb012 10 месяцев назад +10

      @@L9MN4sTCUk ... An integral is not a partial sum but it is the limit of a partial sum as n goes to infinity. int[a,b] f(x) dx = lim [n to inf] sum [i=1 to n] f((b-a)/n*i)*(b-a)/n). It's the Riemann sum of the area of rectangles f(x)*Δx as Δx goes to zero (and hence n, the number of rectangles, goes to infinity)

    • @dr_rich_r
      @dr_rich_r 10 месяцев назад

      I figured that was just a coincidence. But I looked at the sum of cubes, fifth powers, 7th powers and 9th powers, and it always worked. Note, the 5th and 9th powers have extra roots outside [-1, 0], but I still only integrated from -1 to 0 to get the Riemann zeta result.
      The graphs are really nice, I wish I could post them (with a zoomed in vertical axis). But search Faulhaber polynomials if you care to check yourself.

    • @B3Band
      @B3Band 10 месяцев назад +22

      Area can't be negative

    • @adb012
      @adb012 10 месяцев назад +152

      @@B3Band In math yes, area can absolutely be negative.

  • @Kram1032
    @Kram1032 10 месяцев назад +682

    C N² - 1/12 + O(1/N) such that C happens to be 0 makes way more sense than just a blanket -1/12. This is very cool

    • @khaduopha2640
      @khaduopha2640 10 месяцев назад +91

      I remember feeling unsatisfied with the way -1/12 was justified with the zeta function. That's just one arbitrary function, who's to say if you used a different function you wouldn't get a different finite value, you know? This is much more convincing!

    • @BryanLu0
      @BryanLu0 10 месяцев назад +65

      ​@@khaduopha2640Analytic continuation is kind of weird. There is only one correct continuation for any function

    • @p0utan
      @p0utan 10 месяцев назад +25

      Whatever the method of regularization, if it allows shifting, adding, etc., its value must be -1/12.
      That is what the original video showed.
      There are many such regularization methods, some of which have physical realizations.
      But even if they don't have a physical realization, the math still exists.

    • @vezokpiraka
      @vezokpiraka 10 месяцев назад +1

      But what about the O(1/N). How do you get rid of it? Or what does its existence imply?

    • @lucanalon1576
      @lucanalon1576 10 месяцев назад +40

      ​​@@vezokpiraka O(1/N) is something that converges to zero as N goes to infinity "by definition". The expression CN^2 - (1/12) + O(1/N) is telling us than *any* analytic continuation that gives us "1+2+3+4+..." at a non-singular point *must* have value -1/12 at that point.

  • @FourthDerivative
    @FourthDerivative 10 месяцев назад +508

    Finally, the long-awaited -1/12 redemption arc.

    • @supersuede91
      @supersuede91 9 месяцев назад +1

      @@bjshnog You think you have average IQ but really its room temperature. Ignorance is bliss!

    • @GetterRay
      @GetterRay 9 месяцев назад

      "falsehood"@@bjshnog

    • @whiskeyecho3523
      @whiskeyecho3523 9 месяцев назад +8

      ​@@bjshnogyou are firmly in the middle of the bell curve meme

    • @delusionnnnn
      @delusionnnnn 8 месяцев назад +6

      ​@@bjshnog Yep. This whole thing could have been avoided if they had not been weaselly with terms. They're using "equals" in a novel sense, when they should have said that "this particular function is interesting. The value of this function of this series is -1/12", to which nobody would have objected, but instead they change the game whenever it's convenient to them, such as moving entities, spacing out entities, etc., which would not matter if this were basic algebra, and most importantly, pretending that this function is "equals". Go ahead and add as many positive integers as you want, the amount never decreases. So clearly this is not about a series "equalling" as sum.
      Maddening.

    • @ethanandrews3076
      @ethanandrews3076 7 месяцев назад +4

      @@bjshnog I don’t think you understand the argument he was making. With certain choices of weighting functions, you get some value C*N^2 - 1/12 where C is determined by the chosen weighting function. If you choose a specific weighting function which gives C equal 0 (like the cos function described in the video), that function converges on -1/12 as N grows very large. However, you seemed to have missed his other point, which is as N grows very large, the sum becomes the standard 1+2+3… where each term is equally weighted. This is because the weighting function is defined as a function that begins at 1, and ends at 0. This means the weighting function equals 1 at w(0). Each terms weight in the series corresponds to w(n_i/N). This means that as N goes to infinity, each term tends to w(0) which equals 1. So as N goes to infinity, the sum equals -1/12, and each term becomes weighted as 1, giving the result: 1+2+3…=-1/12
      There are no tangentially related concepts, he very clearly showed the same result just using a different method.

  • @maxtrax3258
    @maxtrax3258 10 месяцев назад +82

    I have not seen Tony so excited for years. I like it. Good luck on his way

  • @Examantel
    @Examantel 10 месяцев назад +612

    For those wondering why e^(-n/N)*cos(n/N) is so elegant, it's the fact that in C*N^2, C is the Mellin transform of the regulator function, which basically amounts to integrating x*e^(-x)*cos(x) from 0 to infinity, and it ends up being 0.

    • @whataboutthis10
      @whataboutthis10 10 месяцев назад +12

      Beautiful!

    • @j.vonhogen9650
      @j.vonhogen9650 10 месяцев назад +9

      Thanks!

    • @laci272
      @laci272 10 месяцев назад +63

      YOu explained it very well, now i only need a maths phd to understand it:)

    • @FunkyDexter
      @FunkyDexter 10 месяцев назад +28

      I'm not sure I see that beauty you speak about. This regulating function is a periodic function (which binds any value between two maxima) times a negative exponential, which makes the two maxima converge. It's not surprising at all it results in a finite value. It amounts to doing +1-1+(0,5)+(-0,5)+(0,2)+(-0,2).... Which eventually converges to 0. These kinds of functions are used everywhere in NMR spectroscopy to regulate noise in the output signals.

    • @ijuhi
      @ijuhi 10 месяцев назад +16

      I have no idea what my entry point to begin understanding that is.

  • @alokaggarwal6859
    @alokaggarwal6859 10 месяцев назад +16

    Thanks! I love your channel, and this particular video is one of my all-time favorites. It explained a complex topic in a clear and compelling way. Amazing.

  • @y2536524
    @y2536524 10 месяцев назад +266

    Best Numberphile video I have seen in a while. Thanks Brady.

  • @gariyamelperaltaalvarez5115
    @gariyamelperaltaalvarez5115 10 месяцев назад +94

    I was an undergraduate when the infamous -1/12 video came out and now I’m close to finish a PhD in arithmetic geometry. This made me feel so nostalgic.

    • @RingxWorld
      @RingxWorld 10 месяцев назад +6

      We played that video in my calc 2 class when we got to infinite series. The professor basically said nah it's divergent vid is wrong. 💀

    • @gariyamelperaltaalvarez5115
      @gariyamelperaltaalvarez5115 10 месяцев назад +2

      @@RingxWorld I asked my calc professor about that video at the time. Turns out his PhD advisor is the same as Terry Tao’s, and he gave a talk on the dept colloquium about the summability methods and how to make sense of this (which is half of the topic of this video). This was such a flashback 😂

    • @YEC999
      @YEC999 9 месяцев назад +2

      @@RingxWorld yeah that's what it is simply wrong...

  • @Toobula
    @Toobula 10 месяцев назад +79

    Professor Padilla is a brilliant physicist and mathematician and incredibly skilled at explaining his thinking to us, even when ,like here, it gets into the realm of wonder. Thank you, Brady, for bringing him to us.

  • @eugenemasoniv8641
    @eugenemasoniv8641 10 месяцев назад +106

    Man I love how Brady just goes in with the tough questions and points. Great video!

    • @SecularMentat
      @SecularMentat 10 месяцев назад +12

      Me too, that's one of the reasons I like Brady's videos so much. Once he groks it, he throws curveballs at it. Sometimes people miss things that he sees pretty quickly.

    • @YEC999
      @YEC999 9 месяцев назад +1

      But the answeer was. "Of course i reverse engineerd it..." = fraud.

    • @Voshchronos
      @Voshchronos 9 месяцев назад +5

      @@YEC999 Almost the entirety of maths is developed this way, bro. You reverse engineer an answer *and then* check to see if it breaks stuff. Then you slowly prove that the answer couldn't be any other. Quite the opposite of a fraud. It's the most sure-fire way to prove things.

    • @YEC999
      @YEC999 9 месяцев назад

      @@Voshchronos If you think to multiply whole number with a cos function is the most "sure-fire way" to prove that the sum of whole numbers=-1/12. than i would never believe anything scientific you say.Literally if i knew your name i would not believe anything you say. You should really play with a cos function before you make claims like this...
      Another thing that you don't understand: To manipulate to reverse engineer a weighing fucntion that it outputs what you want to have is a brutal fraud. It is like the definition of fraud: You use an manipulative function to get the result you wanted. The equivalent in economics is balance sheet manipulation like Enron or Bernie Madoff where people went 30 years to jail for.That is all that is: a manipulative weighing function to get to a sum that you wanted to have. in Case of Enron: lower debt than it would be. In case of this: lower sum to get to -1/12
      And no nothing was invented in maths with manipulated weighing functions. No Complex numbers (they came through a very tanngible problem) no negative numbers no reals no nothing..

    • @rwpexpert
      @rwpexpert 5 месяцев назад +1

      @@YEC999 I mean, I am not going to claim to understand the technicalities but it seemed very clear to me what he was saying.
      It wasn't that no other equation worked, it's just the particular one used showed it more clearly.
      All these "smoothing the curve" equations have a -1/12th in them, and the -1/12th becomes more prominent as they all get infinitesimally close to the sudden drop from 1 to 0.

  • @RandoBox
    @RandoBox 10 месяцев назад +423

    Lot more gray hairs on Tony. Cannot believe we have been growing up with this man for more than a decade.
    On a side note, any more of them big numbers?

    • @ashleylawrence2110
      @ashleylawrence2110 10 месяцев назад +28

      Besides his age?

    • @GNLatYT
      @GNLatYT 10 месяцев назад

      Somewhere between Grahams number and Tree(3)?@@ashleylawrence2110

    • @michixinqq
      @michixinqq 10 месяцев назад +6

      my exact thought when I saw the thumbnail. Been heavy watching numberphile 10-12 years ago just when they were starting out, but then abruptly stopped following besides casual video here and there, and was kind of shocked and sad to realise so much changed

    • @kkupsky6321
      @kkupsky6321 10 месяцев назад +1

      Rude hahaha it’s graceful.

    • @kkupsky6321
      @kkupsky6321 10 месяцев назад +3

      Also I think he’s got kids.

  • @taylanbilal6652
    @taylanbilal6652 10 месяцев назад +9

    Thanks! Incredibly cool stuff!

  • @trreev
    @trreev 10 месяцев назад +6

    I always hated mathematics, my brain just couldn't handle how numbers work, but I can appreciate people like Dr. Padilla who have devoted their lives to trying to explain things that were previously unexplainable. I admire his humility in saying "I don't want to understand infinity, I want to understand the journey of why we would want to get there in the first place". It may be just numbers, but it's an incredibly profound way of thinking and applying them to help explain how the very fabric of our universe works.

  • @Shaqfu283
    @Shaqfu283 10 месяцев назад +86

    Ten years ago I was very unhappy with my career and watched the original video. I was so intrigued and inspired, I quit my job and went back to school for a math degree to better understand this result. I've never regretted this decision and seeing this video feels like everything has come full circle.

    • @sbnwnc
      @sbnwnc 10 месяцев назад +9

      What do you do for work now?

    • @jgg75
      @jgg75 9 месяцев назад

      ​@@sbnwncfishes for likes on RUclips...

    • @oscar278
      @oscar278 5 месяцев назад +5

      @@sbnwncnever ask a math major that question

    • @sbnwnc
      @sbnwnc 5 месяцев назад +3

      @@oscar278 Is it always computer programming? Lol

    • @vanessakitty8867
      @vanessakitty8867 4 месяца назад +2

      ​@@sbnwncI did a double major in math and comp. sci. after I retired from the USAF. Then, 17 years later, I completed a master's degree in math. Lots of computers, programming etc in all my careers I have done. Your comment was pretty close

  • @sobhansyed4482
    @sobhansyed4482 10 месяцев назад +50

    I watched the first -1/12 video when I was in 7th grade, and I am now a junior in university. I remember in elementary math was my favorite subject and when I reached sixth grade I had a horrible math teacher which made me dislike math. Thanks to you guys for making that video as it absolutely rekindled my love for math when I was in seventh grade.

  • @MatheusLeston
    @MatheusLeston 10 месяцев назад +30

    10 years ago, because of your videos, I got really into this -1/12 thing. I kept researching it for quite a while. But this new video is just amazing; what a fascinating result!

  • @hahahasan
    @hahahasan 10 месяцев назад +140

    I am absolutely entranced with this linking of such a bizarre result from number theory and the physical workings of our universe. Tony Padilla is such a treasure.

    • @hmx10011
      @hmx10011 10 месяцев назад +5

      It makes me wonder if it is that our descriptions are wrong since infinities pop up that we have to throw out or is that since we can, in a sense, wrangle the infinity to finite using regularization, that nature at the quantum level is infinite but has a way of regulating itself back to finite.

    • @H2SO4pyro
      @H2SO4pyro 10 месяцев назад +4

      ​​​@@hmx10011Well you are right in at least one way: in quantum physics there are infinities that are reduced back to finite. The values for any property of a particle is a superposition of all the values this property could have, and the possibilities are indeed infinite, yet they all add up in a way to a single usable physical value.
      So is this process more generalized that we are expecting or is it inherently only tied to possibilities ? Hard to tell

    • @discotecc
      @discotecc 10 месяцев назад +1

      The separation between mathematics and reality is the distinction between the computable and the infinite/continuous

    • @discotecc
      @discotecc 10 месяцев назад +1

      Processes in nature are computationally bounded in the same way that your computer does not have enough time in the universe to calculate all the digits of pi

    • @H2SO4pyro
      @H2SO4pyro 10 месяцев назад +1

      @@discotecc A circle doesnt need to compute the value of pi to have it's diameter as the exact value.
      Your argument is ridiculously wrong

  • @SBDAVINCI
    @SBDAVINCI 9 месяцев назад +11

    Terrence Tao’s formulation is so elegant and beautiful. The first video that was published 10 years ago had a lot of debate around it. This video probably won’t because it’s so convincing. One of the best math videos I have seen

  • @dobacetr
    @dobacetr 10 месяцев назад +32

    I feel like the weighing functions should be strictly positive for this example. In the cos example, we are not summing everything anymore. Especially when N->Inf, you don't even know which numbers are summed which are subtracted (I like to think they are added and subtracted at the same time).
    I also feel like for weighing functions to make sense, they should be strictly decreasing from 1 to 0. In other words, 1>=w(n)>=0 and dw(n)/dn=0 .

    • @volkeru2718
      @volkeru2718 10 месяцев назад +12

      I was thinking exactly the same till I looked more closely: n/N is always a positive number below 1 and therefore cos(n/N) is also always positive 😊

    • @dobacetr
      @dobacetr 10 месяцев назад +4

      @@volkeru2718 While you are correct, there is a caveat. The sum is infinite and cos(n/N) is not. They calculate the result of that infinite sum and only then set N to infinity. If they start with sum of N numbers and then looked at the limiting case N->Inf, I think your assertion would be valid.
      In other words, the initial sum has a period of T, which repeats infinitely within the sum already. Increasing its period to infinity voids the initial solution because It (probably) requires infinite repeat of that period (I assume this is correct. Else, we could just repeat the entire thing with sum up to N, then do N goes to infinity.).
      I am however wrong in my other assertions. We are not increasing frequency but decreasing it. However, the assumption that cos cycles infinite times within the sum remains even when N->Inf.

    • @volkeru2718
      @volkeru2718 10 месяцев назад +4

      Thanks! I indeed overlooked the infinite sum. It is a pity that they did not even mention that the weighing function gets negative and why they are allowed to do so... Or maybe, as before, they do not ask these questions... They simply do it, as before when treating the sum of a non converging row as if it was just a normal number 😬

    • @volkeru2718
      @volkeru2718 10 месяцев назад +3

      I am still reflecting about this one. And I Excel-led it... Guess I am much more a financial analyst / controller than a mathematician by now. 😅 However currently I tend to say that if they first proved that the result is proportional to C*N^2-1/12+epsilon independent of the weighing function then they are thereafter free to choose any weighing function, even a negative one. And indeed it is amazing that the results using the function shown in the video converge to -1/12 though nothing in the function itself hints in this direction. However interpreting the result as the sum of all integers would clearly be wrong. Allmost all weighing functions will result in a C ≠ 0 and therefore diverge to infinity which is the intuitive result.

    • @Crazy_Diamond_75
      @Crazy_Diamond_75 10 месяцев назад +1

      @@volkeru2718 Lol my instinct after watching this video was to do the exact same thing--create an excel spreadsheet that approximates taking each component to infinity. Must be the engineer in me. 😆 Unfortunately, Excel limits any sequence to being about 10^6 items long, but that still gives you some leeway to play around. What's really interesting is if you try to apply this to other, established, convergent series. The ones I've tried it with so far still worked perfectly fine.

  • @ibbuntu
    @ibbuntu 10 месяцев назад +51

    I feel like I've watched something incredibly profound. What a great discovery! I hope there's something to it.

    • @VikingTeddy
      @VikingTeddy 10 месяцев назад +8

      I'm completely math illiterate, I understand the individual concepts, but I can't put them together even when explained. I still felt the profoundness.
      It's like watching a foreign movie. I don't know what's going on, but the effects and action is awesome 😊

  • @AnotherRoof
    @AnotherRoof 10 месяцев назад +225

    I remember getting upset at the original -1/12 video. I enjoyed this one much more and it was the first I'd heard of these regulators as a way of studying series! Also, 10 years since the original? I feel very old.

    • @Scum42
      @Scum42 10 месяцев назад +16

      Hey! Lovely seeing you here :)

  • @FlorianBendl
    @FlorianBendl 10 месяцев назад +11

    Watching your videos for many years I sometimes regret I left academia. So much to still be discovered. Thanks for making these intriguing videos that even I can keep track with.

  • @a52productions
    @a52productions 10 месяцев назад +41

    Your videos were one of the things that really got me into mathematics, and now I'm in graduate school for my physics PhD. Looking in the comments, I'm not alone in this either! Thanks for ten years of accessible math education -- even if some of it isnt entirely rigorous :p
    This sum regulation method is fascinating... I wouldnt buy putting an equals sign anywhere, but it's still extremely compelling that -1/12 is just as important here as it is via analytic continuation.
    Edit: That connection to physics -- wow! It makes me think that there must be some universally "preferred" method of renormalizing sums, some way that's "natural" in both mathematics and physics for reasons that arent entirely clear. I'm very curious why certain regularizations produce that behavior but not others...

    • @Crazy_Diamond_75
      @Crazy_Diamond_75 10 месяцев назад +1

      You can actually set this up in Excel by using a "SEQUENCE" function to create the series and then wrapping a simple "SUM" function around it. If you set n to be sufficiently large compared to N, it does converge on -0.08333. So, the infinite sum if you're using that weighting function does actually equal -1/12. No weird math tricks or anything. Just changing the way you weight it.

  • @ardencassie5150
    @ardencassie5150 10 месяцев назад +310

    This feels like the most significant and profound numberphile video ever made.

    • @sachamm
      @sachamm 10 месяцев назад +5

      New knowledge! Very exciting.

    • @FuncleChuck
      @FuncleChuck 10 месяцев назад +5

      Or least! Who knows!

    • @HameedNawaz
      @HameedNawaz 10 месяцев назад +16

      Indeed, the optimist in me is already looking forward to a numberphile mention at a future nobel ceremony, this seems like it could be a potientialy fundamental insight once properly understood, was left very excited after watching this.

    • @LetsGetIntoItMedia
      @LetsGetIntoItMedia 10 месяцев назад +7

      It really does. Full circle on a topic that kicked off controversy, excitement, and many peoples' math careers. But this time, it comes back with new insights. Amazing 😍🤩

    • @thelanavishnuorchestra
      @thelanavishnuorchestra 10 месяцев назад +5

      Yeah, but string theory....

  • @deliciousrose
    @deliciousrose 10 месяцев назад +41

    What a Valentine's day treat XD

  • @gastonmarian7261
    @gastonmarian7261 10 месяцев назад +85

    I loved the "smells of String Theory" line around 13:30, so much of cutting edge mathematics is about feeling out into those intuitive spaces where we don't have models for, in order to get a clearer picture of what we're trying to model.

    • @ellaser93
      @ellaser93 10 месяцев назад

      To be fair, String Theory is been shown to be pretty much a hoax as well. Michio Kaku is basically a Charlatan. Dr. Angela Collier (@acollierastro) has an excellent video about it.

    • @t.c.bramblett617
      @t.c.bramblett617 10 месяцев назад +2

      I know, it blew my mind. More so than Eulers identity which was the big thing that blew my mind in math

  • @lescarter9956
    @lescarter9956 9 месяцев назад +3

    Love your content, presented in a very accessible way. Coming from St. Helens, hearing someone who comes from the Northwest providing such great insights into mathematics feels comforting and even more relatable (and hopefully inspiring for kids growing up in the region). Thanks!

  • @njpf34
    @njpf34 Месяц назад

    I appreciate Tony’s passion for the subject! It’s always awesome to see someone apply their passion and continue to push it to new edges and in new ways!

  • @Sinnistering
    @Sinnistering 10 месяцев назад +20

    I love that his takeaway was "it got people interested in mathematics, so I'm glad we did it." It's something that resonates with me so much. Sometimes in education and outreach, it's not about teaching the right answer, but getting people interested.

  • @nikankwon
    @nikankwon 10 месяцев назад +224

    I personally think this is genuinely a momentous find. The fact that infinities can be numerically represented and define behavior of systems without having to be aggressively gotten rid of can possibly reconstitute many of the existing conjectures and hypotheses that are stuck due to infinities... not all, but even if one, that'd be huge.

    • @dlevi67
      @dlevi67 10 месяцев назад +59

      Regularisation has been used for about a century... and there are a number of experimentally verified results that 'use' it. The novel intuition is that there may be a 'best' or 'preferred' way to regularise certain types of expressions.

    • @MrTrollo2
      @MrTrollo2 10 месяцев назад +1

      but isn't this basically the gist of many of the videos on the topic 10 years ago?

    • @radeklew1
      @radeklew1 10 месяцев назад +6

      This is pretty much the point of another video, "-1/12 is a Gold Nugget"

    • @thenoobalmighty8790
      @thenoobalmighty8790 10 месяцев назад

      The Chonotop conjecture

    • @adb012
      @adb012 10 месяцев назад +4

      He selected a weighting function that, for any value of N, goes NEGATIVE for half of the values of n. That's not something "between 1 and zero" as he claims and totally denaturalizes the addition of NATRUAL numbers which are NEVER negative.

  • @ians8843
    @ians8843 10 месяцев назад +9

    I love Tony’s passion in how he presents things. And a bit of string theory thrown in for good measure!!

  • @jpphoton
    @jpphoton 10 месяцев назад +3

    this is so insightful and to see how Terrance approached the problem with regulator functions and Tony's way of explaining it

  • @acmillard71
    @acmillard71 9 месяцев назад +2

    What a delightful video! Finally an honest way to do renormalization, and great to see more of the amazing work that Terry's been doing since we were grad school room mates :)

    • @yaitz3313
      @yaitz3313 7 месяцев назад

      You were roommates with Terrence Tao??

  • @Pancasikha
    @Pancasikha 10 месяцев назад +59

    That video was 10 years ago?? Feel like the biggest mathematical mystery here is where that time went.

    • @numberphile
      @numberphile  10 месяцев назад +32

      I hear that.

    • @rquaidpro
      @rquaidpro 10 месяцев назад +4

      No. It was like three Tuesdays ago, MAX.

  • @MrMctastics
    @MrMctastics 10 месяцев назад +18

    This is astounding! Relating a childhood fascination of mine with a current intrest of mine. What a delight! I'm going to read this paper

  • @garysilvester
    @garysilvester 10 месяцев назад +15

    This is the most exciting science news I've heard for a long time!

  • @BurleyBoar
    @BurleyBoar 10 месяцев назад +4

    You can express a partial sum of an infinite series in terms of the sum of the infinite series.... WHAT? I had to rewatch 3:30 to 5:30 again and then pause on this to ruminate how amazing what is being expressed here. Excellent videos. This feels like you all are mass producing the discovery of one person down for the rest of us to understand. Just as important, to me, than the discovery itself. Thank you.

  • @IllidanS4
    @IllidanS4 10 месяцев назад +7

    Oh my how the time has passed. 10 years ago I was in high school, watching these videos with astonishment and a genuine feel of adventure and love for all these awesome discoveries. A decade and two degrees later, and nothing has changed, except maybe for greying Professor Padilla, but still as enthusiastic as ever.
    Thank you, sincerely.

  • @psniem
    @psniem 10 месяцев назад +103

    The best way my math professor described infinity is that it's not a number, but more like a direction. It's like traveling east, you never reach the end because you can always go more east. So, treating infinity like a number doesn't make sense since there's always more east.

    • @Varooooooom
      @Varooooooom 10 месяцев назад +7

      Wow I love this

    • @sachamm
      @sachamm 10 месяцев назад +14

      Exactly. I think what we're seeing is that there might be different ways of travelling east (one step at a time or two steps at a time for a simple example), and there might be ways of quantifying those different destinations other than "they blow up to east".

    • @andrewj22
      @andrewj22 10 месяцев назад +3

      You can only go east as far as the international date line. From there, there's only north, south, west, up, and down.

    • @Varooooooom
      @Varooooooom 10 месяцев назад +38

      @@andrewj22 love when people are pedantic about a metaphor, that doesn’t deride the point at all

    • @andrewj22
      @andrewj22 10 месяцев назад +1

      @@Varooooooom Of course the point stands. It's just a bad analogy.

  • @NuclearCraftMod
    @NuclearCraftMod 10 месяцев назад +50

    Great video! I would love for it to become public and viewed by more people as this really helps explain where the "-1/12"th-ness of the sum is. To use Ed Frenkel's terminology, this is how to extract the gold nugget from the infinite dirt!

    • @peterlustig8778
      @peterlustig8778 9 месяцев назад

      No this is the dirt. Infinity is just OK.

  • @Vodboi
    @Vodboi 10 месяцев назад +160

    Wow can't believe it's been 10 years since that video

  • @smoorej
    @smoorej 10 месяцев назад +7

    Without a doubt the most important topic ever covered on Numberphile. People probably laughed the first time someone said “let’s just call SQRT(-1) i and see what happens”. Now, instead of just ignoring the fact that -1/12 keeps popping up, a few courageous mathematicians are seeing where the clues lead. Kudos to Dr. Padilla and others for boldly going where no mathematicians have gone before.

    • @CorrectHorseBatteryStaple472
      @CorrectHorseBatteryStaple472 10 месяцев назад +1

      Glad to see a few commenters picking up on this. I agree completely, and hope to live long enough to see what the -1/12 is really all about.

  • @restcure
    @restcure 10 месяцев назад +57

    But then ... integers _do_ make for a rather sharp cutoff. As far as making it -1/12, I would agree with Tom Petty that the weighting is the hardest part.

    • @radoskan
      @radoskan 10 месяцев назад +1

      Yeah, but that may only be our "idealized" perception of integers. Perhaps there's a better way to grasp that which involves weightings.

    • @restcure
      @restcure 10 месяцев назад +4

      @@radoskan I see it not as a way of _perceiving_ integers, but of extending them for injection into the squishy world of ℝeal numbers.

    • @MarioFinishers
      @MarioFinishers 10 месяцев назад +4

      @@radoskanit’s not idealized or a perception, it’s just the definition

    • @CalifornianViking
      @CalifornianViking 10 месяцев назад +3

      Is this a joke? Let's redefine integers as squishy real numbers?

    • @restcure
      @restcure 10 месяцев назад +1

      @@CalifornianViking You're right - I said it wrong. I should have said real _world_ - as in "protecting us from infinity"

  • @ciscoortega9789
    @ciscoortega9789 10 месяцев назад +5

    Agree with the others, this is one of my favorite Numberphile viedos in a long while (and a good redemption of Dr Padilla :))) ). It's fun and interesting and it communicates a lot of high-level ideas without being too bogged down by details. It reminds me of being in undergrad and having much smarter people than me explain deep ideas over lunch, or during "office hours".

  • @Diogenes_ofSinope
    @Diogenes_ofSinope 7 месяцев назад

    Many have said this before but numberphile is the channel that I credit for sparking my interest in and subsequent love for mathematics. And without that I wouldn't have started studying computer science.
    I also remember the original -1/12 video being absolutely mind blowing and as one of the key factors that sparked this love.

  • @EmblemParade
    @EmblemParade 4 месяца назад +5

    When I watched the original -1/12 video I was just a nobody. But it sparked an interest in me for the supernatural. I am now a Gold Rank wizard in the Coven of Unfathomable Incantations and routinely create new spells and magicks to assuage nether demons and other fell beasts of the inbetween places. I owe the inspiration to Numberphile! What a journey.

  • @watcher314159
    @watcher314159 10 месяцев назад +57

    I really like this weighting function explanation.

  • @excrubulent
    @excrubulent 10 месяцев назад +24

    Astounding result. It really does seem like something quite fundamental has been uncovered, and it comes out of such a simple question that seemed unanswerable for the longest time. I wonder if this is what it felt like when people started taking imaginary numbers seriously and realised they gave real, verifiable answers to questions. It seems super weird, but if the maths gives you useful answers then you just have to follow it.

    • @CorrectHorseBatteryStaple472
      @CorrectHorseBatteryStaple472 10 месяцев назад +4

      "I wonder if this is what it felt like when"
      No, this is _exactly_ what it felt like

    • @InXLsisDeo
      @InXLsisDeo 10 месяцев назад +7

      that is the result of Terrence Tao I believe. First time I kinda understand something he wrote, and you can really see a glimpse of his genius with this.

    • @herbie_the_hillbillie_goat
      @herbie_the_hillbillie_goat 10 месяцев назад +2

      This unanswerable question was solved in the 16th century. The sum diverges. Sorry, but It is not and will never be -1/12.

    • @algebrilleexceller3455
      @algebrilleexceller3455 8 месяцев назад +1

      ​@@herbie_the_hillbillie_goat"the *sum* diverges". You didn't heard (or understood) the whole point of the video.
      You wouldn't have said "it was solved since". Not it wasn't "solved". And you need to understand clearly why by reflecting some more time on the topic.

  • @BigDBrian
    @BigDBrian 10 месяцев назад +5

    10:17 this weighting function does not go between 1 and 0 as stated, as cos(n/N) will have negative values for π/2 +2kπ < n/N < 3π/2 + 2kπ. (integer k)
    the ne^(-n/N) factor is always positive, so it oscillates.

    • @danym101
      @danym101 10 месяцев назад +1

      I think it is exactly the purpose of this setup, it is a weight function that allows a smooth landing in infinity without having to throw away a CN². The interesting part is that the landing is exactly on -1/12. The reason why breaks my brain but I find it fascinating!

    • @j.r.8176
      @j.r.8176 10 месяцев назад +1

      Yes but as N tends to infinity e^(-n/N)cos(n/N) tends to e(0)cos(0) = 1 meaning you are multiplying every term by 1 which is trivial.

    • @danym101
      @danym101 10 месяцев назад +1

      @@j.r.8176 Unless I got it wrong, I believe that n is not smaller than N., therefore it will not be equal to 1. N is an arbitrary cutting point in the sum and n will go past that number. Cos will then oscilate and the sum will be -1/12

    • @BigDBrian
      @BigDBrian 10 месяцев назад

      @@j.r.8176 n is not a finite constant.

    • @j.r.8176
      @j.r.8176 10 месяцев назад +1

      @@BigDBrian So what if it's not? I'm talking about N not n. Also when did I say n was a constant?

  • @KipIngram
    @KipIngram 9 месяцев назад +3

    Well, I agree that our intuition isn't necessarily right, but neither is doing something BECAUSE it gives the answer you want it to give you.

  • @Moneyisgoodforme
    @Moneyisgoodforme 5 месяцев назад +1

    Thank you for fighting the hate and discovering this exciting connection to sting theory as a result!

  • @Kowzorz
    @Kowzorz 10 месяцев назад +24

    "Lemme give you another example of another choice you could make"
    Best words to hear in math video 😊

  • @zancudo300
    @zancudo300 10 месяцев назад +17

    My problem is the statement "I am removing the regulator because I'm taking N to infinity". The weights are still there even as N goes to infinity. With W(n,N) = exp(-n/N)cos(n/N), even though for a fix n, W(n,N)--->1 as N--> infty, those weights are still N. For example W(2N,N) ~ -0.056, no matter how large N is. That means, even taking N to infinity ("removing the regulator"), the weighted sum always includes the term -0.056*2*N. It seems to me that these weights being considered are too general. The weighted sums they yield don't have much to do with the original sum 1+2+...+n+...

    • @johngalmann9579
      @johngalmann9579 10 месяцев назад +9

      The fact that the form
      CN^2 - 1/12 + o(1) is independent of weight, still says there's something very special about -1/12. Wheter you think of it as "the" sum or 'the finite residue' is splitting hairs for me at that point.

    • @wroscel
      @wroscel 10 месяцев назад

      @@johngalmann9579 Seeing this form makes me wonder if the result comes from an assumption that a 'C' that evaluates to zero can 'overpower' an N^2 that goes to infinity. Similar to how 0^0 has different limits when approached from different directions, 0 x infinity has different values depending how the 0 and infinity are arrived at. If I take a limit of a sum of 0x1 + 0x2 + 0x3 etc it is easy to say that all terms are zero, then extend to N->infinity, but if I take the sum of N first and then multiply, will I get a different answer?

    • @YEC999
      @YEC999 9 месяцев назад +2

      It does change them. At 3:40 he tells you quite open. That he did everything he could to get to the -1/12 he is clearly not a scientist. He wanted that result.

    • @kazedcat
      @kazedcat 8 месяцев назад

      The summation function is from n=0 to n=N. You do not add the terms for n>N because the summation function explicitly tells you to stop at n=N.

    • @yaitz3313
      @yaitz3313 7 месяцев назад +1

      ​@@YEC999The -1/12 is always there, as -1/12+CN^2. If you pick your weighting such that C=0, you'll get -1/12, but even if you don't, the -1/12 is still there. It's always the constant term of the asymptotic expansion.

  • @LukeSeed
    @LukeSeed 10 месяцев назад +18

    Using the cos function to "smooth" the cutoff point seems a much more physical way of doing this. Any RF engineer will tell you there's no such thing as a pure step function; that rising edge is always a collection of ever increasing frequencies so that it just looks like a step.

  • @pidigi
    @pidigi 6 месяцев назад +2

    It’s just the best youtube video of all time and i need to put this comment to be part of this wonderful work

  • @mitchr752
    @mitchr752 10 месяцев назад +2

    AMAZING video. I can't wait for more research to come of this.

  • @NickCombs
    @NickCombs 10 месяцев назад +18

    I'd hazard that arriving at -1/12 tells us more about these weighting functions than it does about the concept of infinity. So in a way we're still "sweeping infinity under the rug."

    • @kazedcat
      @kazedcat 10 месяцев назад +2

      Yes but now we are doing it with a Roomba instead of a broom.

    • @Bob_Burton
      @Bob_Burton 10 месяцев назад +5

      That would be my conclusion too. Introducing a weighting function of anything other than 1 or 0 is just sleight of hand, ie a deception

    • @ComaVN
      @ComaVN 10 месяцев назад +4

      I thought that as well, but I think the idea is, that as N goes to infinity, these weighting functions all go to w(n/N)=1, so you're back at the original infinite sum. The only thing that wasn't really clear to me, is if there are weighting functions that go to a different finite constant. He says he reverse-engineered the cos(n/N) one, so is it possible to reverse-engineer a w that makes the sum go to eg. -1/42?

    • @tabeh-
      @tabeh- 10 месяцев назад +4

      @@ComaVN the thing is, you're not "back at the original sum". fundamentally, infinite sums are not sums at all, they are limits of sequences. the original sum is a limit of N(N+1)/2. and that's not because we just chose to "cut it off", it's because that's the way the idea is formally defined. and that same definition is used even in these other regularization methods.
      when you introduce the weights, you're taking some limit of infinite sums (which are themselves limits of sequences). you're changing the sequence under the limit, so you're changing the result. and yes, by the way, you could get any result you want. any of the methods that will give you -1/12 are basically just asking "what if we treated these sums as some other object". because the idea of "adding to infinity" is meaningless without a formal definition, we're allowed to explore alternatives like this. you just have to be careful not to conflate the different definitions.

    • @kazedcat
      @kazedcat 10 месяцев назад +1

      @@ComaVN No either C=0 which makes the limit -1/12 or C≠0 and makes the limit blow up. There are no other finite limit only -1/12.

  • @AndersVappling
    @AndersVappling 10 месяцев назад +9

    Great video!! It truly felt like this "coincidence" of weighting functions, unique pathways to the minefield of the infinite and particle physics is telling us something. Like a jab of the prospector pick, hitting straight into the gilded veins flowing from the inner most reality and up into our realm.

    • @LookToWindward
      @LookToWindward 10 месяцев назад +2

      Yep. And this is all undoubtedly connected to the p-adics in some way. We just don’t know how. This is the profound mathematical and scientific mystery of our time.

    • @4984christian
      @4984christian 10 месяцев назад

      ​@@LookToWindwardhow are the p-adics involved in this? Please explain a little more.

    • @LookToWindward
      @LookToWindward 10 месяцев назад +1

      @@4984christian It is easy to represent and manipulate these sums in -adic notation. For example, the powers of tens sum mentioned in the video is just ….1111 in the 10-adics. Now I know 10 is not prime but that is the general idea. These infinite sums in the -adics act a lot like repeating decimals do in the ordinary reals (technically the reals are a subset of each n-adic number system.)

    • @4984christian
      @4984christian 10 месяцев назад

      @@LookToWindward So you could represent the infinite series over the integers by a lot of infinite "power-series" over some p? Like the powerseries over p = 10 would yield 11111111...?

    • @LookToWindward
      @LookToWindward 10 месяцев назад +1

      @@4984christian yes but the dots are on the left. Adic numbers can extend infinitely to the left just like the reals can extend infinitely to the right.

  • @nopetuber
    @nopetuber 10 месяцев назад +39

    My layman understanding of the need for a weighting function is that you only see the sharp cutoff at N if you stop the partial sum at N, but you're interested in what happens when N goes to infinity so you will never see a cutoff: it's infinitely "far away".

    • @adb012
      @adb012 10 месяцев назад +9

      Worse than that. He selected a weighting function that, for any value of N, goes NEGATIVE for half of the values of n. That's not something "between 1 and zero" as he claims and totally denaturalizes the addition of NATRUAL numbers which are NEVER negative.

    • @dexterPL
      @dexterPL 10 месяцев назад +7

      @@adb012 you copy this comment like 20 times already. Make a yt video proving this is wrong, don't create spam

    • @adb012
      @adb012 10 месяцев назад +5

      @@dexterPL ... I copied it only 2 or 3 times as responses to other comments where it was relevant. In some of these places it triggered some constructive discussion. I also wrote a long comment myself (not in response to another comment) explaining my position more formally and in more detail. You don't need to like what I do and I don't need to care whether you like what I do or not. I will not make a yt video.

    • @NnO0Worries
      @NnO0Worries 10 месяцев назад

      Hey, maybe you were the guy from the tweet he talked about @1:08 ;-) @@adb012

    • @MuffinsAPlenty
      @MuffinsAPlenty 10 месяцев назад +4

      @@adb012 I don't know why you're so concerned about negative numbers. Using just e^(-n/N) as the "weighting function" produces a series where _not one single term_ of the series is a natural number. So I find it a bit odd that you are outraged that he uses a regulator which allows for negative terms but aren't equally outraged by the fact that other regulators produce series which have no natural numbers at all.
      But maybe this point has already been made in another discussion. I don't know where that discussion is, though.

  • @TehMuNjA
    @TehMuNjA 10 месяцев назад +1

    i find this explanation so much more insightful than any other treatment of this topic ive seen before!

  • @jmathg
    @jmathg 8 месяцев назад

    That's a wonderful way to look at series!!
    For anyone curious about the formula at 7:54, this can be gotten nicely using generating functions! For simplicity of notation, let A = e^(-1/N).
    Let G(x) be sum from n=0 to infinity of A^nx^n. Then that inner term (the summand) can be written as (Ax)^n, so G(x) is a geometric series equal to 1/(1-Ax). Taking the derivative of the series G(x) gives a sum from n=1 to infinity of nA(Ax)^(n-1). So xG'(x) has summand xnA(Ax)^(n-1) = n(Ax)^n and setting x = 1 gives our desired sum.
    So taking the derivative of 1/(1-Ax) gives A/(1-Ax)^2, and setting x = 1 gives A/(1-A)^2, which they rearranged as A/(A-1)^2 because the square cancels out the negative anyway.
    That second one with cosine...I'd have to think on!

    • @jmathg
      @jmathg 8 месяцев назад

      Actually, it looked so similar to the last problem and it made me think of that nice trick where you use Euler's identity e^(ix) = cos(x) + isin(x) to get info about a sum multiplied by cosine and sine at the same time. Then taking the real part gives the cosine sum. Let's try!
      In this case, we let B = e^((i-1)/N), so that Sum(B^n) = Sum(e^(-n/N)cos(n/N)) + iSum(e^(-n/N)sin(n/N)).
      Then writing G(x) = Sum((Bx)^n) gives two infinite sums C(x) = Sum(e^(-n/N)cos(n/N)) and S(x) = Sum(e^(-n/N)sin(n/N)), so that G(x) = C(x) + iS(x).
      So our desired sum is again xG'(x) at x = 1, which is equal to B/(1-B)^2. Writing bar(z) for the complex conjugate of a complex number z, the real part of z is (z + bar(z))/2. Since bar(B/(1-B)^2) = bar(B)/(1-bar(B))^2, we can use this to calculate the real part C(1). And we immediately get S(1) as well!

  • @ericpeterson6520
    @ericpeterson6520 10 месяцев назад +64

    Do we need to start a gofundme to buy Tony a new phone charger

    • @RyanAtOptimism
      @RyanAtOptimism 10 месяцев назад +1

      Came here to say this!

    • @davidmiller7000
      @davidmiller7000 10 месяцев назад +2

      I saw that too!!😬😬

    • @andrassvraka
      @andrassvraka 10 месяцев назад +2

      That charger does not do a smooth transition.

  • @idjles
    @idjles 10 месяцев назад +24

    This how math moves forwards - craziness for a long time and denial and then a little piece of wisdom from a genius like Terry, Euler or Ramanujan and we sheeple get a little further.

  • @spooderman9122
    @spooderman9122 10 месяцев назад +19

    Even though i enjoy what I'm studying this video honestly made me regret not studying maths or physics

    • @numberphile
      @numberphile  10 месяцев назад +28

      It's never too late!

    • @andrewj22
      @andrewj22 10 месяцев назад +2

      ​@@numberphile If only I could still pay my rent while being back at school.

    • @tylerrolfe8516
      @tylerrolfe8516 10 месяцев назад

      I’ve literally had lectures taught by this guy and this still doesn’t make much sense to me

  • @VaraNiN
    @VaraNiN 8 месяцев назад

    Definetly one of your most interesting videos in recent memory!
    This could turn out to be the first step in something big after all

  • @randomplantsandstuff
    @randomplantsandstuff 9 месяцев назад

    I think I might have gotten a little bit more insight into why it is -1/12. But only at the last minute when Tony talked about it in a more general sense in the "outro". It is like a very tiny click happened in my brain. I am neither a mathematician nor a physicist but for some reason this finally made a very very tiny amount more sense to me. So thank you for that!

  • @TheGodpharma
    @TheGodpharma 10 месяцев назад +12

    I understood this about as well as the original -1/12 video.

    • @YEC999
      @YEC999 9 месяцев назад

      but the math in the first video was HORRIBLY wrong. You can't attach a fixed value to a infinite series that is not convergened.

  • @michalsejak
    @michalsejak 10 месяцев назад +5

    seeing the phone cord at 0:22 worsened my asthma and shortened my life by 30 minutes

  • @Jocedu06
    @Jocedu06 10 месяцев назад +3

    « Infinity has made Cantor mad … »
    Nicely said !

  • @LouisGarez
    @LouisGarez 10 месяцев назад

    I started following you about one year before that -1/12 video. And then gone in other area. So happy that RUclips pushed me this video!

  • @rickitynick4463
    @rickitynick4463 7 месяцев назад

    Always a pleasure to see the professor on the channel!

  • @grindpalm
    @grindpalm 10 месяцев назад +12

    Wow, thanks for an excellent revisit to -1/12. This was just beautiful! Pure partial and infinite sums, to end up where we all know we would end up... love it!❤

  • @VectorSpace33
    @VectorSpace33 10 месяцев назад +28

    There is something very metaphysical about this episode.

    • @jneal4154
      @jneal4154 10 месяцев назад +1

      That's a flaw, not a feature.
      I personally don't want math videos to feel or sound like a horoscope.

    • @japanada11
      @japanada11 10 месяцев назад +2

      New ideas always start off sounding like this. Calculus (as Newton and Leibniz knew it) sounded even more like a horoscope for over a hundred years; people like George Berkeley in 1734 criticized the whole subject as being nothing but the study of "ghosts of departed quantities." It wasn't until the 1800s that mathematicians like Weierstrass and Dedekind came around in the to formalize what was going on. You can't expect a new mathematical idea to sound like it came straight from a textbook the moment people start thinking about it.

    • @jneal4154
      @jneal4154 10 месяцев назад

      @@japanada11 Anyone that believes the natural numbers actually sums to -1/12 is a fool.
      Period.
      Believe whatever fantasies you wish. The rest of us will be doing real math while you twiddle your thumbs with neo-sacred geometry.

    • @brandonsaffell4100
      @brandonsaffell4100 10 месяцев назад +1

      It's because they crammed metaphysics into the video without any reason to do so, and in a very philosophically unsound manner.

  • @elib2670
    @elib2670 10 месяцев назад +82

    I feel like I'm in a Numberphile speakeasy

    • @codycast
      @codycast 10 месяцев назад +2

      ?

    • @dadp
      @dadp 10 месяцев назад +3

      @@codycastthis video was previously unlisted

  • @kalkhasse
    @kalkhasse 10 месяцев назад +1

    Awesome to see the joy and excitement in the eyes of Tony when he talks about this. ❤

  • @PhillipStarke
    @PhillipStarke 10 месяцев назад +5

    -1/12 is the error code you receive when part of your formula tries to treat an infinity as a number.

  • @rainerzufall42
    @rainerzufall42 10 месяцев назад +15

    I honestly think, that this was the way, that Ramanujan approached these problems. That was his talent, to be open minded to techniques. I'm not surprised, that Terence Tao was the one to decode parts of this secret...

    • @idjles
      @idjles 10 месяцев назад +3

      No, Ramanujan was way beyond this kind of stuff.

    • @rainerzufall42
      @rainerzufall42 10 месяцев назад +2

      @@idjles May well be, for sure. Sadly he died too young. But the questions, he asked, about the nature of mathematics, are similar to this stuff. But he was in mathematical spheres, that were never documented, but they gave him some answers, that we, over a hundred productive years later, find hard to understand!

    • @Kram1032
      @Kram1032 10 месяцев назад +3

      @@idjles actually, if you check the paper, you'll see that Ramanujan precisely used this kind of trick a lot. It is indeed pretty much what he did.
      The insane thing is, that he did so without having to be told that this is even a thing by a Fields Medal winning mathematician. He just kinda did it all auto didact style with barely any support until he got discovered.

  • @koenth2359
    @koenth2359 10 месяцев назад +43

    What Tony says in the end is actually a request to *redefine* infinite sums, because the very definition (being the limit of a finite sum upto N, where N goes to infinity) has built this sharp cutoff in. Like there's a Cesaro sum etc, we will be having the Padilla Sum.

    • @surrendherify
      @surrendherify 10 месяцев назад +5

      the "limit of partial sums" definition is much more ad hoc than it might seem because it's essentially mathematical induction used outside of it's domain of applicability. i.e. induction only works for a countably finite number of steps, whereas here we're DEFINING the value of the sum such that it keeps the induction valid past infinity. though ad hoc, this could potentially be a reasonable approach. but it turns out there are - arguably - better ways of assigning unique values to divergent sums, as shown in the video.

    • @toxicore1190
      @toxicore1190 10 месяцев назад +1

      @@surrendherify induction is not limited to finite ordinals

    • @surrendherify
      @surrendherify 10 месяцев назад +1

      @@toxicore1190 Sure but if you want to go "past" a limit ordinal (like the infinity of natural numbers), the proposition has to be proved separately at the "limit ordinal"th step, it's truth doesn't follow via the usual induction principle.

    • @surrendherify
      @surrendherify 10 месяцев назад +1

      @@toxicore1190 when assigning the value infinity to divergent sums whose finite partial sums blow up, no such proof is involved, instead it's just a definition.

    • @herbie_the_hillbillie_goat
      @herbie_the_hillbillie_goat 10 месяцев назад

      @@surrendherify Since when is induction limited to a finite number of steps?

  • @kevfoster2199
    @kevfoster2199 9 месяцев назад +10

    "That's what you're really doing here," is gaslighting.

  • @francixlam
    @francixlam 10 месяцев назад +1

    That’s an amazing episode. Thank you

  • @harktischris
    @harktischris 10 месяцев назад

    my coping for so long from first learning about -1/12 (i'm older so this was pre-numberphile) was that it was an analytic continuation, so it wasn't *really* equal, it was rather some system to assign a value (perhaps even arbitrarily) to a divergent sum.
    when the prof started talking about regulator functions and how the intuitive "sum up to N" is too drastic a cut, i started getting a sense of foreboding dread in my gut.
    when the -1/12 first popped up in the exponentiation regulator, i literally did a double-take. when he had the revised regulator that just spat out -1/12, i realized i could no longer cope, this infinite sum is crazy and it equals -1/12.
    to that, i am so so happy brady asked the question at 18:12 and hearing the response after. this is just so trippy and we are finite beings try to get a handle on the infinite. thanks numberphile

  • @mellertid
    @mellertid 10 месяцев назад +4

    I like Numberphile. In other places, I sometimes don't understand the explanation. Here I don't understand the question, much refreshing.

  • @Guyflyer12
    @Guyflyer12 10 месяцев назад +14

    This is incredible. You should really consider doing this as a full release video (not unlisted).

    • @numberphile
      @numberphile  10 месяцев назад +35

      It will be - just when we release two videos at once we keep one unlisted for a few hours.

    • @harriehausenman8623
      @harriehausenman8623 10 месяцев назад +2

      @@numberphile oh no. It smells of math-drama now.
      The best kind of drama! 🤗

  • @hypnogri5457
    @hypnogri5457 10 месяцев назад +9

    this shouldn't be unlisted. amazing video

  • @mark0wenmo27
    @mark0wenmo27 10 месяцев назад +2

    This is a cracking video. Best one for a few years !

  • @z4zuse
    @z4zuse 3 месяца назад

    Saw this on day1, now watching again. Very enjoyable.

  • @Vodboi
    @Vodboi 10 месяцев назад +8

    12:45 One thing I feel like he should have acknowledged here, is the fact that cos(n/N) makes some of the terms in the sum negative. Thus it makes more sense that the "infinite part" could disappear. I have no problem saying the sum of the natural numbers are "related" to -1/12 in some way, but completely disregarding the fact that the behaviour of the sum is altered by the weight function seems a bit weird.

    • @sangeeth6655
      @sangeeth6655 10 месяцев назад +1

      When N tends to infinity, cos(n/N) tends to 1, since n/N tends to 0. So, as he says, while the partial sums depend on the choice of the weight function, the infinite sum in not altered. From, what I can gather.

    • @Bollibompa
      @Bollibompa 10 месяцев назад

      You have misunderstood what the weighting function does and what your plot along the real number line actually means.

    • @Vodboi
      @Vodboi 10 месяцев назад +1

      @@sangeeth6655 Well the infinite sum is the limit of the partial sums. So since the partial sums are different, it's expected that the limit may also be different. You say "the infinite sum is not altered", well clearly it is, because it is different depending on the weighting function used.
      I guess his point is that you "could" define the sum of the series as the "leftover" part, so that it becomes independent of the weight function used (the fact that it is independent of the weight function is a really cool result, which i feel like should be emphasized more, instead of trying to say "so therefore the sum is -1/12")

    • @justforplaylists
      @justforplaylists 10 месяцев назад +1

      I think the argument is something like this: "standard" addition is only defined on a finite sequence of terms. To define addition on an infinite sequence of terms, we have to make a decision about how to define that addition. And how we should define it depends on the context and what sorts of problems we want to solve.

    • @hgarde
      @hgarde 10 месяцев назад +2

      You cannot get rid of the weight functions with a limit, since you cannot swap the series and the limit using e.g. dominated convergence (precisely as the sum of the natural numbers diverge, in the standard definition of series). The two mathematical objects are not equivalent. He should have acknowledged this of course, which makes it frustrating to watch, as many people will not grasp the difference.

  • @floyo
    @floyo 10 месяцев назад +8

    Great video! This video gives another beautiful argument why -1/12 is closely related to the series 1 + 2 + 3 + ... I think the problem with the first video is that it claimed that 1 + 2 + 3 + ... = -1/12 using an invalid proof. The value of an infinite series is defined in litterature as the limit of partial sums. This video basically changes the series to make it converge by adding weights and then compute it using partial sums. Mathematics is based on definitions so you cannot say 1 + 2 + 3 + ... = -1/12 without specifying what this statement means.

  • @thehug0naut
    @thehug0naut 10 месяцев назад +2

    This feels like one of the most exciting videos Ive watched on youtube. All those years ago numberphile inspired the sense in me that there was something myserious going on with -1/12. A decade later Brady goes full circle, showcasing new maths to explain it and maybe change our fundamental understanding of reality!

  • @CatBarron
    @CatBarron 7 месяцев назад +1

    I was screaming that this is exactly the basis for why renormalization works in QFT.(once I saw the power series come out of the sum) But I had no idea that only the regulators with convergent answers preserve the symmetry. I'm reading this paper for sure.

  • @Nonkel_Jef
    @Nonkel_Jef 10 месяцев назад +15

    It’s an endless debate. People will still be arguing about about this 1 month ago.

    • @soonahero
      @soonahero 7 месяцев назад

      The debate ended in the original video where he pointed into a textbook that didn’t use an equals sign

    • @Nonkel_Jef
      @Nonkel_Jef 7 месяцев назад +5

      @@soonahero 1 month ago means -1/12th year, implying infinite years.

    • @ts4gv
      @ts4gv 7 месяцев назад

      very nice

  • @Kobriks1
    @Kobriks1 10 месяцев назад +4

    Wow I finally feel like I have some intuitive grasp on how this -1/12 makes sense. Amazing explanation, thank you.

  • @jessedoof4054
    @jessedoof4054 10 месяцев назад +13

    Why doesnt this video show up on your channel?

    • @greatquux
      @greatquux 10 месяцев назад +1

      Got to be a mistake

    • @SirKibble15
      @SirKibble15 10 месяцев назад +4

      Unlisted

    • @Kram1032
      @Kram1032 10 месяцев назад +3

      @@greatquux nope, this is normal for Numberphile. They always get listed eventually (as this one now has)

    • @LookToWindward
      @LookToWindward 10 месяцев назад +2

      The secret knowledge must be kept safe from profane eyes 😛