You might have been led to believe the only way to make sense of the equation  is with "zeta function regularization," involving analytic continuation or similar high-tech tools, and that there is no way to develop intuition for this.

You were probably was told this by mathematicians, to whom "intuition" means something very different than it does to me.

So here follows what I consider an intuitive explanation for this result. Prerequisites include an intuition for the arithmetic of positive integers (most readers will have this), and a willingness to stfu about rigor.

The "Counting" Function 

For historical reasons, involving "counting" the number of individual objects (sheep, stones, sticks, whatever) in a collection, there exists a function  that acts on ordered tuples of positive integers and outputs a single positive integer. For example,

 [1]

Now, this function has several nice[2] properties (which have names like "commutativity" and "associativity"), which means that things like the following is also true:

.

I shall be dropping the superscript over the arrow for the rest of this.

Fractions, Negative numbers, Zero

Now, playing with this function, we might ask questions like, 

Is there a number  such that ? 

Or Is there a number  such that ?

Now, obviously, the answer is "No, of course not. The output of the 'counting' function is greater than every number in the input, and there is no number smaller than 1." 

However, we're going to make them up in such a way that all the nice properties of the function  hold; this is a silly exercise with no real-world meaning, but mathematicians like doing things like this, and they turn out to have surprising real-world applications, in fields like physics (something, something "unreasonable effectiveness"). These new "numbers" are called negative numbers and fractions.

 and 

Now, playing with these new "numbers," we find that to preserve the nice properties of  we need to introduce something called a "zero" or "0" such that .

With me so far?

Infinitely Large Tuples and Pattern Consistency

What happens if we apply our function  to a tuple with infinitely many elements? The obvious answer is "That doesn't make any sense! You can't count infinitely many elements; you'll never get to the end. Consider Achilles and the tortoise …." Yes, of course, but like before, just go with it, okay?

The nice property we're going to make up for  is that it follows patterns: in cases where the output isn't clear (such as with an infinite number of terms when we've only ever seen finite tuples), but there's a neat pattern that would be formed if it had some specific value, that is the value of the function. This is a little vague, but an example might make it clear:

The pattern we're going to match is , and so on.

The output, following the pattern , … is .

The pattern is actually more general than that, and for any ,

Here's the key idea:

The outputs we've assigned using this pattern-matching technique can themselves be used as part of new patterns!

 For the tuple 

the analogous sequence , etc. doesn't suggest any particular value. However, we can match it to the metapattern , where 

Important caveat: If there are multiple patterns that suggest different values for the output of a particular unclear tuple, this pattern matching approach won't work. That's fine, let's see how far it takes us!  Remember, if some patterns don't suggest any value,  that's not a problem as long as all the ones that do suggest the same value.

For some tuples, like  the order of elements matters! Keep that in mind when matching patterns.  

Finish

There isn't much more intuition involved to get from  to . The hard part is finding the right patterns: many of the obvious things you might try don't suggest any value. After a lot of (other people's) work, here's an example of something that works.

  …

and if you go far enough (use a computer!), the pattern suggests approximately 

Now, we can use the results of these patterns to match a metapattern:

 …

Notice that this pattern of infinite tuples does match what we want, . The value suggested by this pattern is . □

It turns out no pattern that suggests a value suggests any other, though this is hard to prove.

Concluding Remarks

 In precisely the same sense that we can write

despite that no real-world process of "addition" involving infinitely many terms may be performed in a finite number of steps, we can write

It is only familiarity that keeps us from seeing this.

Further, "limit of partial sums" is only one of a whole class of "patterns" that may be used to assign values to infinite series. Its strength is that it's easy to describe in general, but it is not the only one, and where it fails to suggest a particular value in the limit, there are others that are no less reasonable.

  1. ^

    This is usually notated . Some people annoyingly include quotation marks around some of these symbols, but most people omit them for clarity.

  2. ^

    "Nice" is deliberately vague. We're gonna make up a bunch of elegant properties as we need them.

New Comment
28 comments, sorted by Click to highlight new comments since:

In precisely the same sense that we can write 1 + 1/2 + 1/4 + ... = 2, despite that no real-world process of "addition" involving infinitely many terms may be performed in a finite number of steps, we can write 1 + 2 + 3 + 4 + 5 + ... = -1/12

I think this is overstating things (which is fair enough to make the point you're making).

The first is simply a shorthand for "the limit of this sum is 2", which is an extremely simple, general definition, which applies in almost all contexts, and matches up with what addition means in almost all contexts. It preserves far more of the properties of addition as well - it's commutative, associative, etc. In most cases where you want to work with the sum of an infinite series, the correct value to use for this series is 2.

The second is a shorthand for something far more complex, which applies in a far more limited range of cases, and doesn't preserve almost any of the properties we expect of addition. It's not linear or stable. In most cases where you want to work with sums of infinite series, the correct sum for this series is infinity. Only very rarely would you want -1/12.

The first is simply a shorthand for "the limit of this sum is 2",

It doesn't need to be! It can be more generally something like "the unique value that matches patterns," where what counts is extended first beyond integers, and then to infinite series, and then to divergent infinite series.

You run into the trouble of having to defend why your way to fit the divergent series into a pattern is the right one - other approaches may give different results.

other approaches may give different results

The claim is that they don't: any pattern that points to a finite result points to the same one. If you want proof, then you need a more rigorous formalism.

Sure, but you're just claiming that, and I don't think it's actually true.

That's clearly not true in a general sense. Here's a pattern that points to a different sum:

1 + 2 + 3 + ... = 1 + (1 + 1) + (1 + 1 + 1) + ... = 1 + 1 + 1 + ... = - 1/2

Now the problem is this pattern leads to a contradiction because it can equally prove any number you want. So we don't choose to use it as a definition for an infinite sum.

So you need to do a bit more work here to define what you mean here.

[-]Max H1821

 In precisely the same sense that we can write

,

despite that no real-world process of "addition" involving infinitely many terms may be performed in a finite number of steps, we can write

.

 

Well, not precisely. Because the first series converges, there's a whole bunch more we can practically do with the equivalence-assignment in the first series, like using it as an approximation for the sum of any finite number of terms. -1/12 is a terrible approximation for any of the partial sums of the second series.

IMO the use of "=" is actually an abuse of notation by mathematicians in both cases above, but at least an intuitive / forgivable one in the first case because of the usefulness of approximating partial sums. Writing things as  or   (R() denoting Ramanujan summation, which for convergent series is equivalent to taking the limit of partial sums) would make this all less mysterious.

In other words, (1, 2, 3, ...) is in an equivalence class with -1/12, an equivalence class which also contains any finite series which sum to -1/12, convergent infinite series whose limit of partial sums is -1/12, and divergent series whose Ramanujan sum is -1/12.

an abuse of notation by mathematicians in both cases above

Writing things as  or  

The point I was trying to make is that we already have perfectly good notation for sums, namely the + and = signs, that we've already extended well beyond the (apocryphal) original use of adding finite sets of positive integers. As long as there's no conflict in meaning (where saying "there's no answer" or "it's divergent" doesn't count) extending it further is fine.

My point is that there is a conflict for divergent series though, which is why 1 + 2 + 3 + … = -1/12 is confusing in the first place. People (wrongly) expect the extension of + and = to infinite series to imply stuff about approximations of partial sums and limits even when the series diverges.
 

My own suggestion for clearing up this confusion is that we should actually use less overloaded / extended notation even for convergent sums, e.g.  seems just as readable as the usual  and  notation.

[-]gjm1111

It is not true that "no pattern that suggests a value suggests any other", at least not unless you say more precisely what you are willing to count as a pattern.

Here's a template describing the pattern you've used to argue that 1+2+...=-1/12:

We define numbers  with the following two properties. First, , so that for each  we can think of  as a sequence that's looking more and more like (1,2,3,...) as  increases. Second,  where , so the sums of these sequences that look more and more like (1,2,3,...) approach -1/12.

(Maybe you mean something more specific by "pattern". You haven't actually said what you mean.)

Well, here are some  to consider. When  we'll let . When  we'll let . And when  we'll let . Here,  is some fixed number; we can choose it to be anything we like.

This array of numbers satisfies our first property: . Indeed, once  we have , and the limit of an eventually-constant sequence is the thing it's eventually constant at.

What about the second property? Well, as you'll readily see I've arranged that for each  we have . So the sequence of sums converges to .

In other words, this is a "pattern" that makes the sum equal to . For any value of  we choose.

I believe there are more stringent notions of "pattern" -- stronger requirements on how the  approach  for large  -- for which it is true that every "pattern" that yields a finite sum yields . But does this actually end up lower-tech than analytic continuation and the like? I'm not sure it does.

(One version of the relevant theory is described at https://terrytao.wordpress.com/2010/04/10/the-euler-maclaurin-formula-bernoulli-numbers-the-zeta-function-and-real-variable-analytic-continuation.)

I'm one of these professional mathematicians, and I'll say that this article completely fails to demonstrate it's central thesis that there is a valid intuitive argument for concluding that 1 + 2 + 3 + ... = -1/12 makes sense. What's worse, it only pretends to do so by what's essentially a swindle. In my understanding, it's relatively easy to reason that a given divergent series "should" take an arbitrary finite value by the kind of arguments employed here, so what is being done is taking a foregone conclusion and providing some false intuition for why it should be true.

On a less serious note, speaking to the real reason why 1 + 2 + 3 + ... = -1/12, that's actually what physicists will tell you, and we all know one should be careful around those.

is the = -12 a typo or a joke?

Typo, thanks for pointing it out. Also, see here for the physics reference: https://en.m.wikipedia.org/wiki/1_%2B_2_%2B_3_%2B_4_%2B_⋯

In bosonic string theory, the attempt is to compute the possible energy levels of a string, in particular, the lowest energy level. Speaking informally, each harmonic of the string can be viewed as a collection of 'D' − 2 independent quantum harmonic oscillators, one for each transverse direction, where D is the dimension of spacetime. If the fundamental oscillation frequency is ω, then the energy in an oscillator contributing to the n-th harmonic is nħω/2. So using the divergent series, the sum over all harmonics is −ħω(D − 2)/24. Ultimately it is this fact, combined with the Goddard–Thorn theorem, which leads to bosonic string theory failing to be consistent in dimensions other than 26.

Haha what the fuck

It's astonishing, but yes, that is the reason why that form of string theory takes place in a 26 dimensional space-time.

 

wait till you see E8*E8 heterotic string theory,

https://en.wikipedia.org/wiki/Heterotic_string_theory

This might be a better description: link

I did warn about the prereqs.

The finish was quite a jump for me. I guess I could go and try to stare at your parenthesis and figure it out myself, but mostly I feel somewhat abandoned at that step. I was excited when I found 1, 2, 4, 8... = -1 to be making sense, but that excitement doesn't quite feel sufficient for me to want to decode the relationships between the terms in those two(?) patterns and all the relevant values

That's fair. What I was trying to convey (in my notation, deliberately annoying to reduce a sense of familiarity) is  . Any ideas for how I could write that better?

I added some actual values for concreteness. Hopefully that helps.

Do we have the value of the sum as a function of x, before going to the limit as x goes to 0 ? If yes, it would help (bonus points if it can be proven in a few lines).

Mathematica yields . That probably simplifies though.

Here is another explanation, kind of:

Taylor expansion of 1/(1+x)^2 is 1 - 2x + 3x^2 - 4x^3 + 5x^4...

When x = 1, it means that 1 - 2 + 3 - 4 + 5... = 1/4

But 1 - 2 + 3 - 4 + 5... can be written as 1 + 2 + 3 + 4 + 5... - 2×2 - 2×4 - 2×6...

= 1 + 2 + 3 + 4 + 5... - 2×(2 + 4 + 6...)

= 1 + 2 + 3 + 4 + 5... - 2×2×(1 + 2 + 3...)

= (1 - 2×2) × (1 + 2 + 3...)

= -3 × (1 + 2 + 3...)

So if 1 - 2 + 3 - 4 + 5... = 1/4, we get:

1/4 = -3 × (1 + 2 + 3...)

-1/12 = 1 + 2 + 3...

(Found here.)

Sure, but if you see , you already have all the intuition you need. The rest is detail.

The example I used, , is the same kind of thing, a power series applied outside its domain of convergence, which I used instead because, while it doesn't lend itself to the derivation directly, it looks more like the sum we seek (in particular, all positive integers on the left and a negative number on the right), and I expected the formula for an infinite geometric series to be more familiar to most readers.

Shay you want here is Matthew D.  Schwarz, Quantum Theory and the Standard Model, chapter 15.

(or the original paper by CasiMir cited in the above book chapter.

 

Zeta regularisation is a much saner way to explain it.

 

====

 

in a physics context .. suppose that the laws of physics you have are only valid up to some energy scale E, where E is presumed large.

The physical quantity you 're interested in is f(E) - g(E). 
 

lim E -> infinity of f(E) and g(E) is infinite, so can't safely exchange the order of the limits and the subtraction. But lim E -> infinity (f(E) - g(E)) exists and is finite, so you're good to go, and the result is insensitive to what the energy scale E actually is,

This was a fun read and felt (for me) more simple and follow-able than most things I've read explaining math! Thank you.

I got up to the sums of powers of  being . That bit took a few close reads but I followed that there was a pattern where infinite sums of  equal , and there's reason to believe this holds for  between  and . Then you write that if we apply it to  then it's equal to , which is a daring question to even ask and also a curious answer! But what justification do you have for thinking that equation holds for  that aren’t between  and ? I think that this was skipped over (though I may be missing something simple).

(Also, if it does hold for numbers that aren't between  and  that I believe this also implies that all infinite sums of  equal to negative numbers, and suggests maybe all infinite sums of positive integers will too.)

But what justification do you have for thinking that equation holds

I don't have one: this is simply filling in the the pattern. You can say "No, for any  there is no answer," (just like you could reasonably say things like " has no square root") but if you decide to extend the domain of the function  this is not just a possible value, it is the value. (The proof of this claim requires actual rigor, but if you're willing to go along with pattern matching, you get the right answer.)

[-]Zane10

If I'm understanding correctly, the argument here is:

A) 

B) 

C) 

Therefore, .

 

First off, this seems to have an implicit assumption that .

I think this assumption is true for any functions f and g, but I've learned not to always trust my intuitions when it comes to limits and infinity; can anyone else confirm this is true?

Second, A seems to depend on the relative sizes of the infinities, so to speak. If j and k are large but finite numbers, then  if and only if j is substantially greater than k; if k is close to or larger than j, it becomes much less than or greater than -1/12.

I'm not sure exactly how this works when it comes to infinities - does the infinity on the sum have to be larger than the infinity on the limit for this to hold? I'm pretty sure what I just said was nonsense; is there a non-nonsensical version?

In conclusion, I don't know how infinities work and hope someone else does.

I didn't make any claim about limits. If you're looking for rigor, you're in the wrong place, as I tried to make clear in the introduction.

But (A) is true without any unconventional weirdness:  (from Mathematica), and  of that is .